 Is 498/8 - z/40 a multiple of 13?
False
Suppose -10*i - 3*i = -1404. Is 54 a factor of i?
True
Suppose -11452 + 4102 = -5*m. Is 21 a factor of m?
True
Let f(y) = y**3 - 6*y**2 - 14*y + 62. Does 41 divide f(11)?
False
Let w(d) = -46*d + 17. Does 19 divide w(-5)?
True
Is 6/(-8) + (8 - 50139/(-36)) a multiple of 70?
True
Let s be 1/(-5) - 8/10. Suppose 5*g - 6 = 39. Let r = s + g. Is 8 a factor of r?
True
Suppose -12 = -3*x + 3. Let o = 774 + -459. Suppose 0*v + x*v - o = 0. Is 21 a factor of v?
True
Suppose l - 7 = 2*j - 584, 293 = j - 5*l. Does 12 divide j?
True
Let z be (-15)/(-3)*(-111)/(-15). Suppose d + 2 - z = 0. Let o = 3 + d. Is o a multiple of 10?
False
Let i(q) be the third derivative of -1/30*q**5 + 0*q + 0 + 1/6*q**4 - 1/120*q**6 + 1/6*q**3 + 4*q**2. Is i(-5) a multiple of 7?
True
Suppose x = 40 + 41. Let i = x + -68. Is i even?
False
Suppose 3*s - 5*z = 12, -2*s - 4*z - 33 = -7*s. Suppose 0 = 3*w - 27 - s. Does 3 divide w?
True
Suppose -631 = -5*z - t - 2*t, 4*z - 2*t - 518 = 0. Does 7 divide z?
False
Suppose i - 60 = -4*i. Let a be 2/((16/i)/(-4)). Is 5 a factor of 2/a*(-1 + -23)?
False
Let l be 1 - 16/(-1)*-2. Let n = l - -1. Let q = 52 + n. Is q a multiple of 11?
True
Does 102 divide ((-699)/(-12))/(-8*(-1)/192)?
False
Suppose -24*z = -20*z + 232. Let b = 101 - z. Is b a multiple of 25?
False
Let z(d) = d + 1. Let t be z(-3). Let w = 36 - -22. Let j = w + t. Does 30 divide j?
False
Suppose 8*n = 3*n + 25. Suppose -8 = 2*z - 4*a, 28 = -n*z + a + a. Is ((-8)/(-5))/(z/(-15)) a multiple of 4?
True
Let k be -2 - (4 - 5)*8. Is 11 a factor of (-99)/(-6)*16/k?
True
Suppose 2*a = -4 - 10. Let m be (-268)/28 - (-3)/a. Does 11 divide m/(-3)*21 + 4?
False
Suppose -44800 = -13*n + 12179. Does 39 divide n?
False
Let r = -9 + 91. Suppose -9*z + r = -170. Is 9 a factor of z?
False
Suppose -4*p + 3*z - 684 = 0, 0*p + 3*z + 708 = -4*p. Let n = p - -560. Is n a multiple of 57?
False
Suppose -140 = -5*b - 5*u, -4*b + 0*b - 5*u + 116 = 0. Suppose 0 = b*o - 19*o - 405. Is o a multiple of 18?
False
Suppose -2254 = 5*q + 5006. Is ((-2)/(-4))/(1 + 1450/q) a multiple of 37?
False
Suppose -61*r = -137990 + 9402. Is 68 a factor of r?
True
Suppose -2*d - 546 = 4*d. Let z = d - -163. Is z a multiple of 18?
True
Suppose -3*w - 46 - 26 = 0. Let v = -10 + w. Let a = v - -47. Does 13 divide a?
True
Let o = 210 + -610. Let t = -276 - o. Is 12 a factor of t?
False
Let l = 14 + -9. Suppose -4*w = -329 + l. Is w a multiple of 27?
True
Let m(w) be the third derivative of w**4/24 + 5*w**3/2 + 25*w**2. Is 8 a factor of m(8)?
False
Suppose 296 + 316 = 4*c. Does 15 divide c/(5 - 2) + -1?
False
Suppose -4*t - 2*l - 50 = 0, -t + 2*l - 28 = t. Let y(c) = c**2 - 3*c - 6. Let r be y(6). Let d = r - t. Is 6 a factor of d?
False
Let q = -296 + 472. Does 7 divide q?
False
Suppose 4*p + 61 = -35. Let t be (64/p)/(4/(-30)). Let i = -11 + t. Is 5 a factor of i?
False
Let o(a) = 62*a**2 + 17*a + 76. Does 55 divide o(-5)?
False
Let w(v) = -16*v - 1. Let o be w(-1). Suppose 175 = 3*b + 160. Does 8 divide 134/6 - b/o?
False
Let d(s) be the second derivative of -23*s**5/20 - s**3/6 + 4*s. Suppose -5*l - 4 = 2*p - 3*p, -3*l = 3*p + 6. Is d(l) a multiple of 12?
True
Let z(v) = -4*v**2 - 6*v. Let f be z(-3). Let w be 15/((f/(-4))/9). Suppose r - w - 19 = 0. Is r a multiple of 8?
False
Is 22 a factor of (4 - 7)/((-12)/428)?
False
Let o(n) = 12*n**2 + 33*n + 226. Does 38 divide o(-12)?
True
Let x = -312 - -440. Let g = x + -95. Is g a multiple of 7?
False
Let c = -803 + 1007. Is 12 a factor of c?
True
Is 9 a factor of 34/12*-2*(-270 - 0)?
True
Let i be 5 - -6*1/(-6). Suppose i*s + 253 = 5*s + 2*q, -16 = -4*q. Is 19 a factor of s?
False
Let b be (-2)/4 + 42/12. Suppose -3*r + 131 + 58 = b*j, -3*r + 186 = 2*j. Is r a multiple of 10?
True
Let n = -38 + 101. Let z = -24 + n. Is 14 a factor of z?
False
Suppose 5*w + 2865 = 5*x, -7*x - 4*w = -5*x - 1164. Is x a multiple of 72?
True
Let d = -20 + 28. Let i = 12 + -9. Suppose 3*x - 27 = 3*n - 5*n, 0 = -i*n + 2*x + d. Does 6 divide n?
True
Let b(x) = 917*x - 409. Does 20 divide b(5)?
False
Let s be (-3 - 0 - 2)*6. Let o = s + 56. Is 13 a factor of o?
True
Suppose 0 = -s + h + 49, -4*h + h + 41 = s. Let v(m) = 26*m**2 - 2*m. Let o be v(-1). Let y = s - o. Does 6 divide y?
False
Suppose 0 = 11*a - 12*a + 3. Suppose -2*x = 2*l - 2, -a*x - l - l = -5. Let i = 7 + x. Is 5 a factor of i?
True
Let d be 0 - (22/(-1) - -3). Suppose 5*q - 15 = 0, 3*q + d = -4*z + 68. Does 12 divide (48/z)/(12/80)?
False
Let d(u) = u**3 + 16*u**2 - 11*u - 30. Is 8 a factor of d(-15)?
True
Let l(p) = -376*p**3 - 9*p**2 + 7*p + 7. Let x(h) = -188*h**3 - 4*h**2 + 3*h + 3. Let s(n) = 2*l(n) - 5*x(n). Is 31 a factor of s(1)?
False
Suppose 0 = -x - 141 - 73. Let l = -120 - x. Does 21 divide l?
False
Let n(z) = z**3 + 11*z**2 - 12*z + 2. Let t be (-156)/12 + (1 - 0). Let v be n(t). Suppose v*w - 74 = -u - 24, -3*w = -u - 85. Is 12 a factor of w?
False
Let n = 35 + -33. Suppose -2*g + n = 0, -100 = -4*t - 2*g - 2*g. Is t a multiple of 12?
True
Suppose -i = -2*c + 769, -c - 4*i + i + 381 = 0. Does 3 divide c?
True
Is 5 + 2 + 1 + 99 a multiple of 40?
False
Suppose -568*d + 2775 = -563*d. Is d a multiple of 15?
True
Let z(g) be the second derivative of g**3/6 - 3*g**2/2 + 5*g. Is z(13) a multiple of 3?
False
Let x = 3966 - 2334. Does 17 divide (1/(-2))/((-16)/x)?
True
Suppose -9 - 41 = -4*a + 2*l, -4*a = 3*l - 25. Suppose 3*u = -a + 28. Does 6 divide u?
True
Suppose 5*u = 2*u - 78. Let p = -32 + 52. Let c = p - u. Does 23 divide c?
True
Let w be ((-8)/24)/((-1)/(-75)). Let p = w - -31. Let l(t) = t**3 - 5*t**2 - 3*t + 2. Is 5 a factor of l(p)?
True
Let d(y) be the first derivative of -13 - 1/2*y**2 + 2/3*y**3 - 4*y. Does 13 divide d(4)?
False
Suppose 4*f - 16 = -c - c, -f - 4*c = 3. Let u be 4/((-12)/3) - -266. Suppose -f*b - u = -4*i - i, 3*b = 6. Is 11 a factor of i?
True
Let u = 138 + 136. Let x = u + -141. Is 9 a factor of x?
False
Suppose 3*t = -2*r - 18, -2*t = r - 2*r + 5. Let k = 29 + r. Is 4 a factor of k?
False
Let x(p) = -p**2 - 7*p - 6. Let h(j) = 5*j**3 + j. Let s be h(-1). Let c be x(s). Suppose c = -2*f + 3*f - 3*a, 5*f = 5*a + 30. Does 9 divide f?
True
Suppose -5*q - 3*g + 2216 = 0, -5*q + 2228 = 87*g - 88*g. Is q a multiple of 89?
True
Suppose -2*u + 2*k = -1110, -2*u + 455 = 2*k - 635. Does 10 divide u?
True
Let b(u) = -5*u**2 - 3*u - 4. Let z be b(3). Let f = 91 + z. Is f a multiple of 6?
False
Let v be 6*(6/(-9))/(-1). Suppose -v*s + 7*s = 3. Is 34/(-4)*s*-6 a multiple of 19?
False
Let v(i) = 42*i - 178. Does 2 divide v(18)?
True
Suppose 11817 = 5*v - 11*s + 9*s, -v - 2*s + 2373 = 0. Is v a multiple of 41?
False
Suppose 2*c = 5*l + 5*c + 770, -4*l - 616 = 3*c. Let h = 278 + l. Does 18 divide h?
False
Let r(u) = 584*u**2 - 4*u + 5. Is 41 a factor of r(1)?
False
Let o = 31 - 53. Let q = o + 35. Is q a multiple of 4?
False
Let n = -4 - -7. Suppose -90 = j - n*j. Suppose 5*u + j = 115. Is 10 a factor of u?
False
Suppose 4*w - 3*j - 899 = 0, 3*j = 2*w - 0*w - 451. Is w a multiple of 32?
True
Suppose 7*t = 295 + 104. Is 10 a factor of t + 3 + -7 + 8?
False
Let v = -34 - -27. Let k = v + 20. Does 13 divide k?
True
Suppose -97 = 16*w - 6721. Is w a multiple of 9?
True
Let c = 110 + 43. Does 17 divide c?
True
Does 24 divide (-64)/3*147/14*-6?
True
Suppose -204 = -2*u + 218. Suppose -5*k + u = 71. Does 4 divide k?
True
Suppose -r - 4*l = -6, 127 = 4*r - 3*l + 8. Let d = -27 + r. Does 11 divide ((-3)/(-12))/(d/(-164))?
False
Suppose 0 = -5*r + 3*r + 8. Is 19 a factor of (r + (-195)/(-2))*48/28?
False
Let c be (-46024)/(-30) + 58/(-435). Suppose -7*v + c - 582 = 0. Is 8 a factor of v?
True
Suppose 3*x - 4*x + 2 = 0. Suppose 2*u = -5*i - 0*u + 44, 0 = -x*i - 2*u + 14. Is 5 a factor of i?
True
Let o(l) = 7*l**2 - 17*l - l**3 - 2 + 7*l + 4*l**2 + l**2. Does 14 divide o(10)?
True
Suppose 0 = 44*g - 43*g - 550. Does 16 divide g?
False
Let s = 2590 + 378. Is s a multiple of 106?
True
Let u(w) = w**2 + 2*w + 6. Let h(t) = -t**3 + 3*t**2 - 6*t + 2. Let o be h(2). Is u(o) a multiple of 3?
True
Suppose 4*b = -4*s - 20, 3*s + 2*s - 2*b = 10. Let n(v) = 2*v**2. Let j be n(s). Let r = 34 + j. Does 11 divide r?
False
Suppose -2*d = -182 - 224. Does 4 divide d?
False
Let x = -4 - -41. Suppo