 factor of j?
False
Let h(g) = -g**3 + 23*g**2 + 23*g - 183. Is h(22) a multiple of 10?
False
Let b = 4 + 5. Is b a multiple of 9?
True
Is 2/15 + (-121394)/(-345) a multiple of 11?
True
Suppose -3*t = -0*t + 4*u - 17, 0 = 4*u - 8. Let x be 18/t + (-2 - -2). Suppose -x*k = -2*k - 236. Does 16 divide k?
False
Let h = -15 + 42. Let g = h - -41. Is g a multiple of 34?
True
Suppose -2*y + 12 = 2*i, -3*y + 2*i + 2 + 1 = 0. Suppose -a = -0*j - j - 73, 2*a - y*j = 141. Does 26 divide a?
True
Let n(g) = g**2 + 2*g - 29. Suppose -4*t - 24 = -2*t. Is n(t) a multiple of 13?
True
Let l(z) be the first derivative of -107*z**2/2 + 6*z - 51. Does 20 divide l(-2)?
True
Let c = -74 - -810. Does 46 divide c?
True
Suppose -3*u - 5*z = -3004, u + 2*u = -4*z + 3008. Suppose 0 = -w - 6*w + u. Does 12 divide w?
True
Let v = -1 - -2. Suppose -2941 = -17*y - 2295. Let i = y + v. Is i a multiple of 10?
False
Let q be 1 + 1 - (-23 + 5). Let z = q - 18. Suppose -z*r = 4*x - 70, 0*r = 5*x + r - 95. Is x a multiple of 10?
True
Let m = 26 - 44. Let v = m + 100. Suppose -5*a = -2*g - 196, -2*a + 0*g = g - v. Is a a multiple of 8?
True
Let h(u) = 6*u**2 - 3*u - 2. Let g(z) = 3*z**2 - 2*z - 1. Let n(y) = -5*g(y) + 3*h(y). Does 26 divide n(-9)?
False
Let r(h) = h - 19. Let x(s) = 11 + 3 - 5. Let n(d) = -3*r(d) - 7*x(d). Is n(-11) a multiple of 9?
True
Suppose 0 = -2*u - 3*w - w - 12, 5*w = 2*u - 24. Is 6 a factor of 3/(-6)*(-106 - u)?
True
Suppose 11 - 30 = -3*b - 4*t, 3*b - 12 = 3*t. Let y(a) = -8*a**2 + 25*a**2 - 12*a**2 + 6*a - a**3 - 2. Is y(b) a multiple of 14?
True
Suppose 38 = -5*z + 753. Is z a multiple of 33?
False
Suppose -10*x + 2691 = -14579. Suppose 17*j + 231 = x. Is 8 a factor of j?
True
Let i(s) be the third derivative of -s**5/60 - 13*s**4/24 + 5*s**3/3 + 4*s**2. Let r be 3 + -4 + -3 + -4. Does 10 divide i(r)?
True
Suppose -r - 4*u - 48 = 0, 2*u - 228 = r + 3*r. Suppose g + 5*a = -74, -3*g + 5*a - 230 = 52. Let d = r - g. Is 15 a factor of d?
False
Let l(x) = -52*x**2 + 8*x + 11. Let u(p) = -8*p**2 + 3*p + p**2 - 14*p**2 + 4*p**2 + 4. Let q(z) = -4*l(z) + 11*u(z). Does 10 divide q(-1)?
True
Let k = -178 - -448. Suppose 4*h = 7*h - k. Does 18 divide h?
True
Suppose 3*l = s + 30, 2*l - 13 - 7 = 5*s. Let j = 24 - l. Does 7 divide j?
True
Let u = -12 + 11. Let a be ((-2)/u)/(6/(-39)). Let b(o) = -o**3 - 14*o**2 - 14*o + 1. Is b(a) a multiple of 9?
False
Let v = 14 - 22. Let k be (-18)/12*v/6. Let u = 10 + k. Does 4 divide u?
True
Let g be -3 + (-4)/16*-4. Does 5 divide (-207)/(-4) - g/(8/(-3))?
False
Let g(u) = -u**2 + 5*u + 2. Let l be g(5). Suppose -2*z + 316 = l*z. Does 10 divide z?
False
Suppose 927*c + 16639 = 934*c. Is c a multiple of 13?
False
Let w = 14 + -16. Let c = 9 - w. Is 11 a factor of c?
True
Let k be -2*(-6)/((-60)/(-25)). Let i(p) = 2*p**2 + 4*p - 5. Does 39 divide i(k)?
False
Let g = -17 + 15. Let j(p) = -p**3 - 4*p**2 + 5*p + 4. Let o be j(-5). Is g + o - (-1 + -64) a multiple of 21?
False
Suppose -4*j + 25 = 77. Let x(r) = -r**3 - 14*r**2 - 12*r + 10. Let b be x(j). Is (-1 - (-12)/(-9))*b even?
False
Let f = -7 - -13. Let o = f - 3. Is 17 a factor of ((-36)/o)/3*-6?
False
Let c = -404 + 678. Is 11 a factor of c?
False
Let h(r) = -11*r - 14. Let z = -26 - -20. Is h(z) a multiple of 15?
False
Suppose 11 = 3*n + k, -4*n - 4 = -4*k - 40. Suppose 0 = -n*l + 14 + 16. Is 2 a factor of l?
True
Let b = 411 + -361. Is b a multiple of 3?
False
Suppose 5*l = -40*l + 17280. Is 4 a factor of l?
True
Let n = -2273 - -2423. Does 75 divide n?
True
Let f(y) = y**3 + 10*y**2 - 12*y + 4. Let t be f(-11). Suppose 0 = -0*d - 3*d - t, a = -4*d + 12. Is 8 a factor of a?
True
Let w be (-2 + 0 + -1)*-1 - -183. Suppose 3*p - w = 174. Is 20 a factor of p?
True
Let r(p) = -p**3 + p + 1686. Is r(0) a multiple of 6?
True
Let k = -2 - -8. Suppose -3*c + c = -k. Suppose -t = -s - 3, -c*s - 5*t + 0 = -31. Does 2 divide s?
True
Let r = -12 - -109. Is r even?
False
Let d = -50 - -57. Suppose d*p - 898 - 1062 = 0. Does 40 divide p?
True
Suppose -18 = -0*i - 6*i. Does 22 divide ((-8)/i)/(4/(396/(-3)))?
True
Let u = 71 - 71. Suppose 5*x + 3*f = 955, u = -x - f - 4*f + 213. Is x a multiple of 14?
False
Suppose 0*j + 2*x = j - 152, 0 = -3*j + 3*x + 465. Is 9 a factor of j?
False
Let y be (-128)/24 + (-8)/12. Is (-817)/(-6) + 1/y a multiple of 10?
False
Let u = 944 + -355. Is u a multiple of 13?
False
Let y = 603 + -272. Is y a multiple of 8?
False
Suppose -4*j = j + 3*h + 2, 6 = -j - 2*h. Suppose j*y + m = 4, -3*y + 3*m = m - 20. Suppose y*o - 34 = -2*n, 3*o + 4 = o. Is n a multiple of 7?
True
Let x(a) = 119*a + 21. Is x(6) a multiple of 35?
True
Let a(l) = -13*l**3 + 3*l**2 + l. Suppose -6 = -5*n - 16. Is a(n) a multiple of 19?
True
Suppose -10 = 2*l, 3*l + 520 = 58*w - 53*w. Does 2 divide w?
False
Suppose -9*r = -11*r + 4. Let p(l) = 2*l + 2. Let o be p(r). Suppose 3*a + o*s - 120 = 5*s, 3*a + 3*s = 126. Is 13 a factor of a?
True
Let b be -3 - (1*-176 + 0/4). Suppose -5*f = -3*h - b, -2*h = -f - 0*f + 36. Is f a multiple of 4?
False
Let q be (-15228)/(-126) - 1/(-7). Let h = q - 61. Does 30 divide h?
True
Suppose -2*a - 2*z + 166 = 0, -14*a + 11*a + 229 = -2*z. Does 9 divide a?
False
Let w = -13 - -18. Suppose -w*l = -l - 20. Suppose 3*t - l*o = 130, 2*t + 3*o - 6*o - 86 = 0. Is t a multiple of 10?
True
Let s(d) = -18*d + 9. Let q be s(4). Let a = -23 - q. Suppose 8*u + a = 13*u. Is u a multiple of 4?
True
Let z = -70 + 73. Suppose 6*c + 4*i - 289 = z*c, i = -4*c + 394. Is 9 a factor of c?
True
Let c be -4*(395/(-15))/((-4)/(-3)). Let q = -35 + c. Is 2 a factor of q?
True
Let a = 59 - 13. Suppose a*x = 51*x - 220. Is 4 a factor of x?
True
Let b be 23/8 - (-1)/8. Let w be (9/(-6))/(b/(-8)). Suppose 3*f + 0*f = -3*p + 48, -w*p - f + 55 = 0. Does 4 divide p?
False
Let g = -17 + 22. Let j = 7 - g. Let u(d) = 6*d**2 - d + 1. Does 5 divide u(j)?
False
Is 1295/5 + (1 - -4) a multiple of 9?
False
Let s be 199/5 - (-11)/55. Suppose 0*g - s = -5*g. Is g a multiple of 3?
False
Let d(h) = 11*h**2 - 8*h + 1. Is d(3) a multiple of 4?
True
Let d be 6/(-33) - 2/(-11). Suppose d*y - y = -5. Suppose 28 + 7 = y*b. Is b a multiple of 2?
False
Let m = 384 - 354. Does 7 divide m?
False
Suppose 45632 = 52*p - 29*p. Is p a multiple of 40?
False
Suppose 0 = -2*n + 4*j + 52, -2*j = -4*n + 10 + 106. Suppose 0 + n = -2*x. Does 4 divide (0 - -20) + x/5?
False
Let n = -466 - -700. Is n a multiple of 15?
False
Does 3 divide 1 + 1 - -92 - (-8)/2?
False
Suppose 5*u = 3*k - 2*k + 1781, 3*k + 702 = 2*u. Suppose 203 = 7*d - u. Does 22 divide d?
False
Let z(a) = 3*a**3 + a + 8. Let g be z(-3). Is 38 a factor of (-5 + 19/2)/((-3)/g)?
True
Suppose -5*i + 4*i + 5 = 0. Suppose 3*o - 2*q - 3*q = 105, i*q = -o + 15. Suppose -4*c - 2*m = -c - o, -5*c = -2*m - 66. Is c a multiple of 12?
True
Suppose -4*h - g = h - 67, 4*g - 73 = -5*h. Let s = h + -11. Suppose s*o = y + 91, -4*y = 2*o + o - 142. Does 10 divide o?
False
Let m = 867 - 617. Is 5 a factor of m?
True
Let q(k) be the third derivative of -k**6/120 + k**5/12 + 7*k**4/24 - k**3/3 - 5*k**2. Is q(6) a multiple of 4?
True
Is (-32)/(-80) + 2*(-357)/(-15) a multiple of 17?
False
Suppose 10*h - 14*h = -220. Does 13 divide h?
False
Let a(w) = -w**3 + 24*w**2 - 22*w - 27. Let l be a(23). Does 5 divide (2/(l/29))/(3/(-6))?
False
Suppose -5 = 5*x - 30. Suppose x*v - 1619 = 2256. Is 37 a factor of (-14)/(-49) + v/7?
True
Let s(w) = w + 0*w - w + w**2 + 3 + w. Let r be s(0). Suppose -8*m + r*m + 60 = 0. Is m a multiple of 4?
True
Let b(l) = -2*l + 3 - 6*l + 4*l + l**2. Let j be b(-4). Is 6 a factor of (j - 0/3) + 1?
True
Let b(s) = 3*s - 18. Let h be b(6). Suppose h*x + 288 = 6*x. Is x a multiple of 13?
False
Let x = -2774 - -4824. Is x a multiple of 30?
False
Suppose 0 = -l - o + 523, l + 2074 = 5*l - 2*o. Is 56 a factor of l?
False
Suppose -4*p = -2*m - 58, -2*m + p + 2*p - 53 = 0. Let o = 42 + m. Is o a multiple of 4?
False
Let a = 2395 - 1387. Is 24 a factor of a?
True
Let i = -36 - -56. Is 476/i + 1/5 a multiple of 6?
True
Is 11 a factor of 9607/169 + 2/13?
False
Let g(o) = -6*o**2 - o + 3. Let n(v) = 5*v**2 + 2*v - 3. Let y(r) = -4*g(r) - 5*n(r). Is 3 a factor of y(-3)?
True
Suppose -3*w = -r + 102 + 1008, w - 3310 = -3*r. Is r a multiple of 24?
True
Let o(j) = -j. Let l 