s f a multiple of 8?
False
Suppose 30*c - 14129602 = 8*c - 151*c. Is 194 a factor of c?
True
Let u(j) = -34*j - 10. Let h(g) = -g + 18. Let q be h(21). Does 14 divide u(q)?
False
Let y(w) = w**3 - 29*w**2 + 114*w - 62. Is 102 a factor of y(28)?
True
Suppose -49*t = -54*t + 40. Suppose 0 = 2*x - t + 2. Let r(j) = 3*j**3 + 6*j**2 - 6*j + 3. Is 15 a factor of r(x)?
True
Let f(k) = -20*k + 169. Let b be f(20). Let h = b - -297. Is h a multiple of 3?
True
Let u = -18070 + 37633. Does 27 divide u?
False
Does 61 divide (5733/(-52))/(15/(-500))?
False
Let s = 351 - -1658. Suppose -14*t + 1477 = -s. Suppose 5*y - 2*y = t. Does 24 divide y?
False
Let g = -10295 - -14434. Is g a multiple of 10?
False
Let q be (-1 + (-166)/(-10))/(2/160). Suppose 4*g - 12*g + q = 0. Let l = g + -80. Is l a multiple of 16?
False
Suppose 0 = s - 0*k - 2*k - 7094, -3*s + 21338 = k. Does 45 divide s?
True
Let h be 6/(-18)*1278/(-4)*2. Suppose -y - h = -2*y. Suppose 6*w - y - 537 = 0. Is 25 a factor of w?
True
Let h be ((-22)/(-2) - 0)/(1/(-6)). Let c = 73 + h. Suppose c*m - 16*m + 594 = 0. Is m a multiple of 11?
True
Is 1818/(-162) + 11 - 134518/(-18) a multiple of 97?
False
Let i(a) = 260*a**2 + 109*a + 15. Does 4 divide i(-3)?
True
Suppose 0 = -2*y + 4*l + 18, -l = -4*y - 4*l + 14. Suppose 2*w - 9 = -2*u + 1, -3*w - y*u = -7. Suppose w*p + 720 = 18*p. Is 16 a factor of p?
True
Suppose 239*s - 229*s = -10. Is 13 - s/8*0 a multiple of 3?
False
Suppose 6*m - 6 = 12. Suppose -5*w + 1170 = s, 9*w - 936 = 5*w - m*s. Is w a multiple of 39?
True
Let q = 1613 + 585. Is 157 a factor of q?
True
Suppose 34*r - 45*r + 25619 = 0. Is r a multiple of 17?
True
Suppose 0 = -17*d + 12*d + 1775. Suppose 5*n + 5*i - d = 0, 2*n - 74 = 2*i + 64. Suppose -4*w + n = -2*w. Is 20 a factor of w?
False
Let p = 14148 + -8838. Does 146 divide p?
False
Suppose -2180 - 1918 = -6*x. Is 3 a factor of x?
False
Let i(c) = 2*c - 11. Let s be i(7). Let n be (-1)/s + 28/12. Suppose -2*v + n*j = v - 310, 205 = 2*v - j. Is v a multiple of 29?
False
Let c be 1 + 5/(25/20). Suppose -2*w = -5*y - 16, 5*y - 5 = -0*y - c*w. Does 3 divide (-1 + -29 + -3)*y/6?
False
Suppose 6477 = 3*n + 4*s, 3*s + 0*s = -n + 2169. Is n a multiple of 15?
False
Let k(m) = -m**3 + 14*m**2 + 12*m - 14. Suppose -64 = -4*d - 228. Let y = d + 55. Is 20 a factor of k(y)?
False
Let p(k) = -27*k. Let n(h) be the first derivative of -h**3/3 + h**2/2 - 7*h - 7. Let s be n(0). Is p(s) a multiple of 27?
True
Suppose 2849 - 785 = 8*d. Suppose 4*x + 2*x - d = 0. Is x a multiple of 2?
False
Suppose 0 = -15*m + 2209 + 716. Suppose 37 = -q + m. Is q a multiple of 10?
False
Let t(b) = 2*b**2 + 4*b - 5. Let u = 41 - 20. Suppose 0 = -0*m + 3*m + u. Is 18 a factor of t(m)?
False
Let b = 3594 + -522. Does 96 divide b?
True
Suppose -5*m + 2*t = -7435, -2*m - 2*t + 2667 = -307. Is m a multiple of 6?
False
Let a(q) be the first derivative of -25*q**4/12 - 5*q**3/6 + 11*q**2/2 - 27. Let m(y) be the second derivative of a(y). Is m(-1) a multiple of 15?
True
Suppose q + 0 = 2. Suppose -2*u + q*z - z - 323 = 0, -u + 4*z = 179. Is (u/12)/((-4)/16) a multiple of 6?
False
Suppose -21 = -l - 17. Let b be ((-2)/(-3))/(l/60*-1). Is (-192 + -3)*6/b a multiple of 39?
True
Let b be 0 + 1 + 9/(-9). Let g be b*(-1 + (-4)/(-8)). Suppose -3*f = -g + 6, 0 = -2*o + 3*f + 174. Is o a multiple of 22?
False
Let w(i) = -2*i**3 - 6*i + 13. Let y be w(4). Let a = y - -244. Does 9 divide a?
False
Suppose 35*j - 33*j = 6. Suppose 0*y - 38 = -s + 2*y, -5*y + 114 = j*s. Let f = s + -31. Does 2 divide f?
False
Let t(z) = 8*z**3 - z**2 - 12*z - 12. Let m be t(-4). Let i = -293 - m. Is i a multiple of 49?
False
Suppose -5*b + 253*w - 250*w + 1076 = 0, 1070 = 5*b - 5*w. Is b a multiple of 7?
True
Let r be 10*(4 - 222/15). Let c be ((-28)/(-18) - (-24)/r)*3. Is c/18 - -2*331/18 a multiple of 4?
False
Let m = 426 + -90. Let p = -250 + m. Does 34 divide p?
False
Let o = -11306 + 11891. Is 81 a factor of o?
False
Suppose 120*g - 2752796 = -112076. Is g a multiple of 99?
False
Let w = 44 - 7. Suppose 0 = i + 4*s + 4, -2*i - w = 3*i + 3*s. Does 23 divide i/(32/12) - (0 + -72)?
True
Suppose 5*f = -5, -23*f = -3*m - 24*f + 11. Suppose -3*x + x + 1872 = m*d, 5*d - 5*x - 2310 = 0. Is 13 a factor of d?
False
Suppose 6 = 2*s, 6*q - 197 = 2*q + 5*s. Suppose -q*f + 702 = -50*f. Is f a multiple of 18?
True
Suppose -3*p - 459 = -12*p. Suppose -2*h - p + 351 = 0. Suppose -7*k + h = -2*k. Does 4 divide k?
False
Is 92 a factor of (190/19 - (-38)/(-4))*28804?
False
Let r be 187/(-51)*(-283 - -1). Suppose -3*u + r = 4*l, -5*u + 253 = l - 14. Suppose -2*z + 7*z - l = -2*f, 0 = 3*z + 5*f - 158. Is z a multiple of 13?
False
Let g(n) = 5*n**2 - 24*n - 7. Let u = 63 - 57. Let z be g(u). Suppose 5*i - 19 = -3*d + 18, 3*d = -4*i + z. Is 4 a factor of i?
True
Suppose -12*u + 3*l = -17*u + 11833, -4*l + 4 = 0. Does 14 divide u?
True
Suppose -14 = -x - 2*u, 3*x - 4*u - 52 = -0*x. Suppose 0*y + 4*y = x. Suppose p = 2*p + y*c - 41, 4*p - 113 = c. Does 4 divide p?
False
Suppose -1170*z = -1192*z + 34980. Does 15 divide z?
True
Let l = -389 + 394. Suppose 43 = -r - 5*f + 437, -l*f + 20 = 0. Does 6 divide r?
False
Suppose -3*l = 2*p + 274, 0 = 3*p + 2*l + 263 + 148. Let w = p - -430. Does 27 divide w?
False
Suppose -7*q + 3*s + 170927 = 0, 3*q = 4*q + 5*s - 24391. Is 22 a factor of q?
False
Let j(o) = o + 24. Let l be j(-20). Suppose -354 = -3*q - 0*q - 2*g, -q = -l*g - 132. Does 16 divide q?
False
Let i(n) = -n**3 - 74*n**2 - 54*n + 260. Is i(-74) a multiple of 17?
False
Suppose 0 = -2*v - 2*v + 84. Suppose -4961 = 10*k - v*k. Is k a multiple of 32?
False
Let k = 4527 - 1767. Is 60 a factor of k?
True
Let g(x) = -11*x + 24. Let v(t) = 1. Let f(o) = g(o) + 2*v(o). Let k = 3190 + -3196. Does 38 divide f(k)?
False
Let j(g) = 103*g - 71. Let q(d) = 4*d + 51. Let c be q(-11). Is 14 a factor of j(c)?
False
Suppose 5*j + 2*d + 2*d = -9, d = -5*j - 21. Let z be (-3)/30*6 + (-18)/j. Suppose 12 = -0*h + z*h. Is 4 a factor of h?
True
Let l = -91 - -214. Suppose 28*c = 25*c + l. Is 3 a factor of c?
False
Let x be (-2)/(-2) - 113 - 0. Let u = x + 63. Let j = -23 - u. Is j a multiple of 5?
False
Let m(t) = -348*t + 511. Does 14 divide m(-18)?
False
Let z = -42 + 41. Let h be (-8)/10*z/((-12)/(-690)). Suppose -6*p = -4*p - h. Does 12 divide p?
False
Suppose 4*i + 5*u - 20 = 0, 0 = 2*i - u + 5*u - 10. Let r(o) = 9*o**2 + 8*o. Let m(h) = 9*h**2 + 9*h. Let b(c) = i*r(c) - 4*m(c). Is b(-6) a multiple of 50?
True
Let o(c) = -3*c**3 + 64*c**2 + 78*c + 14. Is o(21) a multiple of 5?
False
Suppose 113*i - 10*i - 130295 = 0. Is 23 a factor of i?
True
Let w(r) = -9*r - 32. Let i be w(-4). Suppose -o + 347 + 135 = 5*j, -4*o = i*j - 392. Is j a multiple of 4?
True
Suppose 4*s = -12, 8*g + 5*s = 4*g - 571. Let w = g - -245. Is 3 a factor of w?
False
Suppose 14*g - 19*g + 940 = 0. Suppose 0 = 3*z + z - g. Does 33 divide z?
False
Let q = -26 - -54. Suppose -11*n + 12*n = q. Suppose g + 5 = n. Does 12 divide g?
False
Let t(l) = -8*l + 1268. Is 50 a factor of t(-41)?
False
Suppose 4*u + p + 27 = 0, -5*p + 57 = 17*u - 21*u. Let i(o) = -125*o - 32. Does 44 divide i(u)?
True
Let a(c) = -2*c**2 + 16*c - 78. Let i be a(15). Let t = -236 - i. Is t a multiple of 4?
True
Let p be 2420/(-120) - (-2)/12. Let s be p/(-70) - 4/14. Suppose s = -2*l + 81 - 25. Is l a multiple of 5?
False
Let l(k) = -k**3 - 7*k**2 - 6*k + 15. Let b be l(-6). Suppose 4*t - 1254 = -b*t. Is 6 a factor of t?
True
Let u = 15 - 10. Suppose -8*o + 3*o - 20 = -3*s, -u*o = 4*s + 20. Let t = s - -65. Is 13 a factor of t?
True
Let v be (2/(-4))/(19/1634). Let n = -39 - v. Is 5 - (0/n + 0) a multiple of 4?
False
Suppose 25*l + 104 - 4 = 0. Is -12*((-259)/35 + l/(-10)) a multiple of 7?
True
Suppose 0 = 5*r - 4*b - 0*b - 3, 3*b = r + 6. Suppose -4*a - 4 + 10 = -2*h, -3*h - 3 = -r*a. Does 17 divide (-2 - (-1 + h)) + 44?
False
Let r be (20/(-16))/((-3)/48*-4). Let w(l) = -37*l + 19. Is 14 a factor of w(r)?
False
Let n = 43076 + -30224. Is n a multiple of 68?
True
Let l = 20096 + -47330. Let f = l + 2385. Does 10 divide f/(-165) - (2/(-5) + 1)?
True
Suppose 10*c + 710 = 15*c. Suppose 4*v = -2*s + c, -3*s - 4*v = -v - 198. Let q = 9 + s. Does 35 divide q?
True
Let m(g) = 2*g**3 - 8*g**2 + 6*g - 21. Let i be 