 l + k. Does 12 divide l?
True
Suppose 2487 = 2*x - i - 263, 2*x - 4*i - 2762 = 0. Is 30 a factor of x?
False
Let s = 81 - 47. Does 17 divide s?
True
Suppose 8*g - 2194 = 2174. Is 42 a factor of g?
True
Suppose 0 = 2*c - 4 - 2. Suppose j = c*j. Suppose j = -3*q + 8*q - 40. Does 4 divide q?
True
Suppose -w - 311 + 689 = 0. Is w a multiple of 54?
True
Let p be (2/(-4))/(5/320). Does 4 divide (-368)/p - (-1)/2?
True
Suppose -3*u = -u + 4. Let i be (-2 + 0)/(1/u). Suppose 42 + 38 = i*o. Does 5 divide o?
True
Let q(v) = -15*v**3 - 2*v**2 + 2. Let b be q(-1). Is ((27/6)/3)/(b/850) a multiple of 5?
True
Suppose -5*c - 194 = -2*h, -4*h + 60*c = 58*c - 372. Is h a multiple of 10?
False
Does 31 divide 1 - (7572/(-6) + 8)?
False
Let y(r) be the third derivative of 0*r + 1/60*r**5 + 7/6*r**3 - 5*r**2 + 0 - 1/24*r**4. Is 3 a factor of y(0)?
False
Suppose 5*q - 132 = 728. Does 36 divide q?
False
Suppose 16 = 4*d + 2*q, 4*d - 2*d - 3*q - 8 = 0. Is (d - 379)*2/(-5) a multiple of 15?
True
Does 41 divide (-10)/(-6) + 0 + 18168/72?
False
Is 2 a factor of (-14)/(42/(-375)) - 7?
True
Suppose 50*b - 47*b = -2*c + 2246, -5596 = -5*c + 2*b. Is c a multiple of 16?
True
Suppose -4*w + 15 + 1 = 0. Let h(a) = a**3 - 4*a**2 + a + 4. Let i be h(w). Suppose -2*s = -3*s + i. Is s a multiple of 3?
False
Suppose 5*f - 10*f = -10. Suppose -f*k = 7 + 21. Let m(q) = -q**3 - 14*q**2 - 2*q - 18. Is m(k) a multiple of 5?
True
Suppose 4*j + 20 = -4*l, 2*l + 0 = -10. Suppose -71 = -j*p + p. Let s = -21 - p. Does 10 divide s?
True
Let t(l) = -35*l**3 + 7*l**2 + 5*l - 4. Is 14 a factor of t(-2)?
True
Let f(p) = 17*p - 15*p**3 + 9*p**3 + 6*p**2 - 6 + 5*p**3. Let h be f(8). Suppose -2*d + 5*l = -161, -d + 0*l = -h*l - 80. Does 26 divide d?
True
Suppose -m + 3*m + 6 = 0. Let j = m + 5. Suppose 30 = j*u - 3*f - 10, -5*u + 107 = -4*f. Is u a multiple of 23?
True
Suppose -h - 150 = -3*h. Let d(y) = 12*y + 7. Let i be d(-5). Let n = i + h. Is 11 a factor of n?
True
Suppose -2*p - 7 = -5*f, 5*p = -f + p + 19. Suppose -406 = -3*x - a, -f*x - 3*a + 208 = -194. Is 17 a factor of x?
True
Let m = -476 + 742. Does 11 divide m?
False
Is 68 a factor of (-549678)/(-255) + (-12)/20?
False
Let w be (3 - 6)*-1 + 1. Suppose 2*v = 4*v - w. Suppose 0 = v*i - 12 - 20. Is i a multiple of 3?
False
Let c = 155 + 55. Is c a multiple of 15?
True
Suppose -13 = 5*h + 2. Is -73*h/(9/(-6))*-1 a multiple of 49?
False
Let r(g) = 10*g - 29. Let s be r(4). Suppose -36 = 8*m - s*m. Is m a multiple of 3?
True
Suppose -37*t = -4476 - 815. Does 11 divide t?
True
Let x be 14/2*(-2)/(-2 + 0). Suppose 441 = -0*s + x*s. Is 31 a factor of s?
False
Suppose 0 = -3*q + 4*f - 14, 0*f = -5*q + f - 29. Let l be ((-207)/q)/(-1)*-4. Suppose 0 = -2*b - 4*a + l, 2*b + 2*a = -3*a + 138. Is 11 a factor of b?
False
Suppose -12290 + 1026 = -8*r. Does 30 divide r?
False
Suppose u - 2*w - 12 = -4*u, -12 = u - 4*w. Is 10 a factor of (u/(-6))/(40/(-2940))?
False
Suppose 0 = 28*w - 10968 + 3744. Is 42 a factor of w?
False
Let b = -263 - -395. Suppose -2*t = -3*t + b. Suppose 2*n - 5*n + 85 = 4*i, -5*n + 3*i + t = 0. Does 9 divide n?
True
Let d = 64 - 119. Let k = -22 - d. Suppose -7*w + k = -2*w + 4*r, r = -5*w + 42. Is 9 a factor of w?
True
Suppose -5*u + m = -754, 4*m = -2*u + m + 288. Let g = u - 76. Let h = g - -40. Does 38 divide h?
True
Let h(d) = -d**3 + 24*d**2 + 10*d - 28. Is h(22) a multiple of 58?
True
Suppose 7*c - 14*c = -14. Suppose 0 = 5*v - 2*s - 655 + 109, 0 = c*s - 4. Is v a multiple of 22?
True
Let i be (-5)/(-30) + (-47)/(-6). Let b(c) = -6*c + 2*c - 10*c - i + 1. Is b(-4) a multiple of 9?
False
Let s be 90/(-21) + 6/21. Let w(f) = f**3 + 8*f**2 + 2*f + 4. Let c be w(s). Suppose x = -g + 30, -4*g = -2*g - x - c. Is g a multiple of 15?
True
Let d = 53 + 57. Is d a multiple of 22?
True
Let v be (-9)/(18/(-32)) + 3. Let i = v + -20. Does 16 divide -1*103/(i + 0)?
False
Let u(y) = -15 + y + y + 8. Let k be u(5). Suppose k*i = 5*h + 179 - 26, i - 44 = 4*h. Is i a multiple of 32?
False
Suppose 49*b - 48*b = -1. Let m(w) = w - 2. Let z be m(0). Is 13 a factor of (1/z)/(b/38)?
False
Does 4 divide (574/42)/((-3)/(-36))?
True
Let u = 37 + -35. Let l be (2/4)/(1/(-20)). Let j = u - l. Is j a multiple of 12?
True
Suppose 0 = d - 1, 2*t + 2*t - 5*d = 2131. Is 50 a factor of t?
False
Suppose 5*d + 3 = 18. Suppose p + d = 4. Is (15/(-6) + p)*-2 a multiple of 3?
True
Let a = 127 - 63. Suppose -16 = -2*z + a. Is z a multiple of 8?
True
Suppose 0 = -4*s + 125 - 61. Suppose s*l = 19*l - 27. Is 5 a factor of l?
False
Suppose -3*f = -8*a + 12*a - 1502, -2*a - 1020 = -2*f. Is f a multiple of 25?
False
Suppose -3*n - 40 = -k, 0*k - 2*k + 2*n = -96. Let f = k + -36. Suppose -5*b + f = -b. Is b a multiple of 3?
False
Suppose -m + 1404 = -5*j, 4*m - 98*j - 5692 = -97*j. Does 29 divide m?
False
Suppose k = 5*h + 33, 4*k - 26 - 31 = 5*h. Is k a multiple of 6?
False
Let n be (-1 + -1 + 2)/(-1). Does 5 divide n + (22 - 3 - -4)?
False
Let w = -8 + 11. Suppose 3*c = -w*c + 984. Suppose -2*h + c = 2*h. Does 15 divide h?
False
Let o be (6*4/16)/(3/(-340)). Let i = 248 + o. Is 13 a factor of i?
True
Let h = 149 + 313. Does 36 divide h?
False
Let i = 28 - 26. Suppose 3*w - 150 = -4*s, -178 = -3*s - i*w - 66. Is s a multiple of 9?
True
Let h(f) = -4*f + 3 + 5*f + 13*f - 3*f. Is h(7) a multiple of 10?
True
Let m be (6/(-4) + -2)*-2. Suppose -g - m = -q, -3*g - 53 = 2*q + 3*q. Let y = g + 22. Is 11 a factor of y?
True
Let z(h) = 2*h - 10. Let i be z(6). Suppose 0 = -4*l - a + i*a + 71, 5*a = 5. Is 6 a factor of l?
True
Let n(z) = z**2 + 6*z + 2. Let i be n(-6). Suppose i*u - 241 + 51 = 0. Is 19 a factor of u?
True
Is 32 a factor of ((-174)/(-12))/(6/420)?
False
Let f be 4/18 - 7596/(-81). Let v be 2/(-8) - f/8. Is 889/42 - (-2)/v a multiple of 6?
False
Let f = 6312 - 4282. Is f a multiple of 14?
True
Let k(f) = f**3 + 36*f**2 + 64*f - 24. Does 11 divide k(-34)?
False
Let l(o) = -36*o - 65. Let m(j) = -j**2 + 7*j - 24. Let a be m(3). Is 34 a factor of l(a)?
False
Suppose 0 = 3*a - 11 - 4. Let b(i) = 6*i**2 - 10*i + 2. Let p(n) = 5*n**2 - 9*n + 3. Let v(l) = -2*b(l) + 3*p(l). Is 8 a factor of v(a)?
False
Suppose 4*o - 3 = r, -3*o + r + 3*r = 14. Suppose -31 - 9 = -o*p. Is 6 a factor of p?
False
Let c = 429 - 303. Does 17 divide c?
False
Let f(i) = 3*i + 151. Is 15 a factor of f(-17)?
False
Let z(k) = -k + 1. Let y(o) = -8*o + 14. Let t(j) = -2*y(j) + 28*z(j). Is 12 a factor of t(-3)?
True
Let m(u) = -u + 10. Let j be m(6). Suppose 0 = -3*b - j*q + 188, 52 - 168 = -2*b + 2*q. Does 20 divide b?
True
Let l(a) be the first derivative of a**4/12 + 5*a**3/6 - 5*a**2/2 + 6*a + 9. Let s(x) be the first derivative of l(x). Does 12 divide s(7)?
False
Let p(w) = w**2 + 4*w + 3. Let v be p(-1). Suppose q - 14 = -v*q. Is 3 a factor of q?
False
Let o = 668 + -294. Is 22 a factor of o?
True
Let p(w) = 14*w - 13. Let a = -38 - -45. Is 17 a factor of p(a)?
True
Let j be 57/(-21) - 2/7. Let n be 21 + 9/j + 3. Is 15 a factor of n + (0 - (1 + 1))?
False
Let i(u) = -6*u - 7. Let z(f) = -6*f - 8. Let p(w) = -7*i(w) + 6*z(w). Suppose 3*k - 3*l = 27, 0 = 3*k - 5*l - 41 + 4. Does 20 divide p(k)?
False
Let v(s) = 2*s**2 - 13*s + 30. Does 37 divide v(7)?
True
Suppose -6*r = -825 + 15. Does 45 divide r?
True
Let r = 7 + 265. Let v = r + -144. Is 32 a factor of v?
True
Suppose 50*k = -3*w + 53*k + 6927, 5*w = k + 11565. Is w a multiple of 26?
True
Let j be (0/(-2))/((-1)/1). Suppose 0*d + 2*d = 3*x + 43, 5*d + 2*x - 155 = j. Suppose -3*m = a + 2*m - d, 0 = -2*a - m + 31. Is a a multiple of 7?
True
Let r(z) = 6*z - 59. Is r(15) a multiple of 4?
False
Suppose -6*q - 2932 = -4*t - 7*q, 5*t - 3656 = q. Does 34 divide t?
False
Let v(s) = -2 + 14*s + 7*s - 36*s + 12*s. Does 18 divide v(-13)?
False
Suppose 2*a + 12*a = 112. Is 29 a factor of 416/a*(-45)/(-12)?
False
Suppose -3*x + 2 = -4. Suppose 4*y + 33 = x*r - y, 2*r = 3*y + 27. Is r a multiple of 5?
False
Let d = 301 + -493. Let p = -80 - d. Is p a multiple of 28?
True
Suppose -4*d - 222 = -3*a, 0*a = a + d - 74. Suppose -u = -3*i - a, u = -2*i + 5 + 79. Is u a multiple of 8?
True
Let h(m) = 48*m + 96. Is 14 a factor of h(7)?
False
Let b(g) = g**2 + 35*g + 37. Let q be b(-24). Let o = -18 - q. Is 11 a factor of o?
True
Let w(g) = -62*g - 65. Is w(