se -2*a - 1500 = -12*a. Is 20 a factor of a?
False
Suppose 2*b + 13*b = 5295. Does 34 divide b?
False
Let t(l) = l**3 + 10*l**2 + 3. Let d be t(-10). Let s = 7 - d. Suppose -34 + 94 = s*c. Is 7 a factor of c?
False
Let y = -102 - -105. Is y even?
False
Suppose -g + 120 = -35. Let p = g + -74. Suppose -b - 4*q - p = -4*b, -4*b + 3*q = -101. Is 16 a factor of b?
False
Suppose 2*o = -t + 5*o + 45, 3*t = -3*o + 111. Is 11 a factor of t?
False
Let b be 6 - (-1)/((-1)/2). Suppose -2*g - 4 = -2*h, 4*g - b = 5*h - 10. Let a(c) = 5*c**2 - c + 2. Is a(h) a multiple of 12?
True
Suppose 11 = y + 3*m, 3*y + 4*m = m + 33. Does 4 divide y?
False
Suppose p - 56 - 14 = 0. Let b = p - 48. Is b a multiple of 9?
False
Suppose 0 = 5*j - 6 - 19. Suppose f + j = -0*f. Let m = f - -13. Does 8 divide m?
True
Suppose -19*z + 15*z + 36 = 0. Does 4 divide z?
False
Let y(l) = 2*l**2 + 4*l + 6. Is 12 a factor of y(-5)?
True
Suppose 0 = 3*v + 2*a + 1, -a = 2*v - 5*a + 6. Does 16 divide v/4*3*-76?
False
Let w(y) = -y**3 + 5*y**2 + 2*y - 4. Let m(u) = -u**3 + 7*u**2 + 2*u - 10. Let b be m(7). Is w(b) a multiple of 10?
True
Suppose 1 = v, -45 = -2*i - 2*v + 29. Is 36 a factor of i?
True
Let r(l) = -6 - 3 + 7*l**2 - l**3 - 2*l + 2*l**3 + 4. Does 11 divide r(-5)?
True
Let d(y) = 2*y**2 + 4*y - 16. Is d(9) a multiple of 46?
False
Let v be (4 - 5)*(-1 + 0). Let l(b) = -19*b**2 + 2*b - 1. Let q be l(v). Let n = 29 + q. Is n a multiple of 3?
False
Suppose 3*z - 18 = -5*g, 2*z + 5*g + 18 = 5*z. Suppose 0*o - 2*o - z = 0. Let l = 2 - o. Is 2 a factor of l?
False
Does 8 divide (-7)/(-5) + -2 - (-9562)/70?
True
Let s = -28 + 43. Suppose 0*w = -2*w + o + 25, 3*o + s = w. Let h = w - -9. Does 21 divide h?
True
Let x be -1 - (0/(-1) - -2). Let z(i) = 4*i - 4. Let t(k) = -7*k + 8. Let c(p) = -6*t(p) - 11*z(p). Is c(x) a multiple of 2?
True
Suppose 0 = -4*g + 2*y + 164, 3*y - 62 = -2*g - y. Is g a multiple of 16?
False
Suppose 2*q = -24 - 78. Let i = q + 75. Is 8 a factor of i?
True
Suppose h = 5*h - 176. Does 29 divide h?
False
Let c = 42 - 20. Does 6 divide c?
False
Does 20 divide 133 - (3 + -6 + 0 + 6)?
False
Let u = -2 + 1. Does 17 divide 34/(0 - u/1)?
True
Let i(g) = 3*g**2 + g - 15. Is 55 a factor of i(-10)?
True
Suppose 2 = 5*n - 2*o + 9, o + 4 = 0. Is 7 a factor of 1 + n/(6/(-26))?
True
Suppose 2*r = 3*a + 120, 21 + 53 = r + 2*a. Is 33 a factor of r?
True
Does 12 divide ((-198)/15)/(9/(-270))?
True
Let c = -5 - -10. Let a = c - 12. Let o(p) = -2*p - 9. Does 3 divide o(a)?
False
Suppose 0 = -5*b + n + 10, -5*b - 4*n = n - 10. Let f be (-754)/(-10) - 4/10. Is 7 a factor of (f/(-20))/(b/(-8))?
False
Suppose -7 = t + 2*h, -4*h + 3 = -3*t + 2. Does 25 divide (-3)/(t + 6)*-52?
False
Let u(t) be the third derivative of t**5/60 + t**4/24 - t**3/3 + t**2. Let p be u(5). Suppose -4*z + p = 4*q, 0*z - 2*q = -3*z + 41. Is 11 a factor of z?
True
Let l(q) = 22*q**2. Let n be l(-1). Suppose 5*i - 69 = 4*t, i + i + 4*t = n. Let s = 27 - i. Is 6 a factor of s?
False
Let h(n) = n - 6. Let d be h(8). Does 3 divide d/10 + 78/10?
False
Let d(l) = 3 + 3 - 4*l - 4. Is 16 a factor of d(-6)?
False
Let i = 10 - 6. Does 7 divide (-16)/(-2) - (-3 + i)?
True
Let c = 2 + 4. Let g be (-8)/(-3) + 1/3. Suppose 3*i = -c, 5*r - 80 = g*i + 2*i. Is 7 a factor of r?
True
Let j = 23 + -20. Suppose -j*l = -2*l - 42. Is 25 a factor of l?
False
Suppose -3*c = 2*p - 99 - 332, 0 = -5*c + 3*p + 731. Is 31 a factor of c?
False
Let l(q) = q**3 + 8*q**2 + 2*q - 8. Is l(-6) a multiple of 13?
True
Let j be (21/(-4))/3*-4. Let x(f) = f**2 + f - 1. Let t be x(2). Suppose 90 = m + 5*p, j*p - 362 = -t*m + 4*p. Is m a multiple of 25?
False
Let c be (5/3)/(8/24). Suppose -c*r + 0*p = -5*p - 195, 0 = 4*r + 3*p - 135. Is 17 a factor of r?
False
Let f(v) = 15*v**2 - 4*v - 8. Is 13 a factor of f(-3)?
False
Let n = 78 - 10. Is n a multiple of 19?
False
Suppose 0 = -0*u - 5*u + 15. Let w = -45 - -63. Suppose j - u*j = -w. Is 8 a factor of j?
False
Let l(s) = -s**3 - s**2 + 3*s + 2. Is l(-3) a multiple of 4?
False
Let o = 159 - 108. Is 17 a factor of o?
True
Is 1/3 + 161/3 a multiple of 18?
True
Let w = 8 + -5. Suppose w*l = 12, 0 = 4*i + l - 3*l - 4. Is i even?
False
Suppose 0 = 4*x - 7*x + 342. Does 38 divide x?
True
Let x = 168 + -30. Is x a multiple of 14?
False
Suppose 4*b + 5*r - 100 = 35, -b + 2*r = -24. Suppose -2*w - b = -0*w. Let d = 0 - w. Is 8 a factor of d?
False
Suppose -9*q - 1328 = -13*q. Is 19 a factor of q?
False
Suppose 0 = 4*c + y - 1468, y = -1 + 5. Is 15 a factor of c?
False
Let x = 1 - -1. Suppose 5*n - x*v = 140, -7*v + 2*v - 65 = -3*n. Is n a multiple of 10?
True
Suppose 0 = -5*y + 13 - 3. Let u(c) = -4*c - c + 2*c**2 - 8 - c**2 + y*c. Is 4 a factor of u(6)?
False
Suppose 2*c = 8*c - 102. Does 4 divide c?
False
Let h = -16 - -112. Does 24 divide h?
True
Let z = 9 + -12. Let t(d) = -10*d - 5. Is t(z) a multiple of 11?
False
Suppose -r + 37 = 3*h, 2*r - 3*h + 175 = 6*r. Does 23 divide r?
True
Let q = 30 + -9. Suppose -3*j + q + 96 = 0. Is j a multiple of 24?
False
Suppose 2*w = -0*w. Suppose -200 = -4*n - w*n. Does 15 divide n?
False
Is 16 a factor of (-478)/(-5) - 14/(-35)?
True
Suppose 5*p + 50 = 2*a, -3*a + 0*p = -5*p - 65. Let w be 101/(-5) - (-3)/a. Is 4/10 - 832/w a multiple of 14?
True
Does 29 divide (7 + -961)/(-6) + (-1 - 0)?
False
Suppose 0 = -6*k + 4*k + 230. Is k a multiple of 34?
False
Suppose -5*d = v + 174, -2*d - 5*v + 6 - 71 = 0. Let a = d + 55. Suppose 0 = k + 3 - a. Does 17 divide k?
True
Let b(l) = -3*l**2 + 2*l. Let k be b(2). Let f = 13 + k. Suppose 2*d - f*d = -87. Is d a multiple of 10?
False
Is 19 a factor of 3 - (3/(-3) - 53)?
True
Suppose -12*g = -16*g + 32. Is g a multiple of 8?
True
Let h be 2/8 - (-12257)/28. Suppose -z + h = 2*m + 2*m, 0 = -3*m + 3*z + 336. Suppose -170 = -4*d - 2*x, 4*x = -2*d - 40 + m. Is d a multiple of 17?
False
Let f(w) = 2*w - 3. Let s be f(4). Suppose -s*g - 4*m + 28 = 0, -4*g + 0*m + m = -14. Is 5*g + 1 - -1 a multiple of 8?
False
Let c = 3 - 0. Suppose f - x = 1, 4*f - 3*x = c*f + 3. Suppose 28 = -f*d + 2*d. Is d a multiple of 7?
True
Suppose 2*i = -0*i + 108. Is 4 a factor of i?
False
Suppose -3*g + 8*g = 70. Let t = g + 40. Is 13 a factor of t?
False
Let s = -4 + 1. Let f = -9 - s. Let q = f + 11. Does 2 divide q?
False
Let g(y) = -y**2 + 2. Is g(0) a multiple of 2?
True
Suppose 3*w - 4*i - 671 = 0, -w + 2*i = 3*i - 233. Is 48 a factor of w?
False
Let q(f) = f**3 - 3*f + 1. Let z be q(2). Suppose 4*b - 5*n = 62 + 51, 5*b - z*n = 138. Let j = 43 - b. Does 8 divide j?
True
Suppose 4*r + 123 = h, -3*h - 4*r + 287 + 50 = 0. Is 9 a factor of h?
False
Let m(i) = 3*i + 3*i - 10*i - 1. Is 15 a factor of m(-5)?
False
Let u = -7 - 8. Let l = 17 - 6. Let o = l - u. Is 26 a factor of o?
True
Let a(b) = -b + 6. Let q be a(7). Let x = q + 3. Is 13 a factor of 28 - x/((-2)/(-2))?
True
Let v(j) = -j - j**2 - 3*j**2 - 3*j - 1 - j**3. Let p be v(-4). Suppose 60 = 5*m + p. Is 9 a factor of m?
True
Let r = -9 + 29. Suppose 0 = -5*k + r + 100. Suppose -h = -3*h + k. Is h a multiple of 12?
True
Let g(x) = 3*x - 9. Suppose 2*m + 20 = 4*i, -2*m - 6 = -5*i + 17. Suppose -3*l = -4*s - 20, i*l + 2*s - 68 = -2*l. Does 9 divide g(l)?
True
Suppose 0 = -y + 3*i + 145, 9*i = -y + 4*i + 177. Is 46 a factor of y?
False
Let q(j) = j**3 + 2*j**2 - 2*j + 5. Let i be q(-3). Suppose -1 - i = -3*l, 0 = f + 2*l - 12. Is 10 a factor of f?
True
Let s(n) = 23 + n**3 + 1 + n - 2. Let p = -1 - -1. Is 11 a factor of s(p)?
True
Suppose -7*i - 19 = -166. Is i a multiple of 7?
True
Let s(w) = w**3 - w**2 - 1. Let l(v) = 4*v**3 - 3*v**2 + 2*v - 7. Let y(i) = -l(i) + 5*s(i). Does 4 divide y(3)?
False
Let z(j) be the second derivative of j**7/2520 + j**6/720 - j**5/15 + j**4/12 - 4*j. Let f(s) be the third derivative of z(s). Is 17 a factor of f(6)?
True
Let j = -74 + 166. Is j a multiple of 23?
True
Suppose -2*r = -l - 43, 2*l + 3*l - 5 = 0. Is r a multiple of 7?
False
Let z(u) = 14*u + 86. Is 22 a factor of z(0)?
False
Let u = 201 + 6. Is 13 a factor of u?
False
Let t(b) = b**3 + 9*b**2 + 11*b + 10. Let u be t(-9). Let h = 126 + u. Is 16 a factor of h?
False
Let y(x) = 2*x**2 - 5*x + 6. Let o be 4/20 - (-11)/(-5). Let q be (-1)/o - (-14)/4. Is 7 a factor of y(q)?
False
Suppose 0 = 6*m - 9*m + 6. Suppose 3*c + 