12*d - 670 - 422. Is d a multiple of 77?
False
Let b be (6 - 124/16)*4/1. Let q(d) be the second derivative of -d**4/12 - 7*d**3/6 + 5*d**2/2 - 2*d. Is 5 a factor of q(b)?
True
Suppose 0 = 4*g + 27 + 5. Let m(a) = -a**3 - 6*a**2 + 12*a + 9. Let l be m(g). Let t = l - 19. Is 17 a factor of t?
False
Suppose -8*m + 5*t - 741 = -9*m, 5*m - 3732 = 2*t. Does 15 divide m?
False
Suppose 10*j - 1383 = 7*j. Is j a multiple of 36?
False
Let w = -27 + 15. Let b = -169 + 289. Is (w/(-16))/(2/b) a multiple of 13?
False
Let q(a) be the third derivative of -a**4/3 + a**3/6 + 11*a**2. Let s be q(2). Let h = 28 + s. Is h a multiple of 2?
False
Let o = -30 + 11. Let v = o - -45. Is v a multiple of 26?
True
Let r(f) be the second derivative of -11*f**3/3 + 6*f**2 - 8*f. Does 14 divide r(-2)?
True
Let m(v) = -18*v - 45 + 2*v + 22 + 25. Let w be (2 + 0)/((-2)/3). Is m(w) a multiple of 17?
False
Suppose 13*x - 9*x = 2160. Suppose 0 = -2*z + 5*z - x. Does 20 divide z?
True
Let t(x) = -7*x**2 - 10*x + 19. Let d be t(8). Let p = -349 - d. Does 20 divide p?
True
Let w(g) be the first derivative of -4/3*g**3 + 1/4*g**4 + 3 - g**2 - 7*g. Is w(5) a multiple of 2?
True
Let y be (36/(-10))/(2/(-20)*4). Let s be (-2 + 3 - 2) + 1. Let g = y + s. Does 9 divide g?
True
Let y(n) = 0*n + 23*n + n**2 + 76 - 102. Is 4 a factor of y(-25)?
True
Suppose -3*f - 3*i = 186, 245 = -f - 3*f - 3*i. Is 7 a factor of (3 - 4)/(1/f)?
False
Suppose -5*q + 1188 = -3*q. Is q a multiple of 33?
True
Let h be 483/12 + 3/4. Suppose -10*f = -221 + h. Is 4 a factor of f?
False
Suppose -y - 203 + 918 = 3*j, 3505 = 5*y + j. Is y a multiple of 6?
False
Let z(u) = u - u**2 - 64 + 144 - 75. Let s = 1 - 1. Is 2 a factor of z(s)?
False
Let x = 6 - 3. Suppose -2*i + w + 211 = 2*i, 0 = -x*i - 5*w + 187. Suppose -4*b + 114 = -i. Is 18 a factor of b?
False
Let w(x) = x**3 - 7*x**2 - 9*x + 10. Let g be w(8). Let n be g/14 + (-13185)/(-21). Does 8 divide n/10 + 5/25?
False
Let i(l) = 2*l**2 - 37*l - 16. Let u be i(19). Suppose -4*k + 173 = -3*m, -3*k - 65 + 191 = -u*m. Is 46 a factor of k?
False
Let f = 639 + -421. Is f a multiple of 64?
False
Let p = 40 + -40. Suppose 5*b - b - 464 = p. Is b a multiple of 7?
False
Suppose -2*w + 12 = -0*w - 4*y, 5*y - 27 = -w. Let r = -4 + w. Let h(p) = 4*p - 12. Does 4 divide h(r)?
True
Let y(t) = 232*t**2 + t - 2. Let v be y(1). Suppose -2*i - 273 = -5*d - i, 4*d - v = 5*i. Does 27 divide d?
True
Suppose -5*t + 202 = 3*q - 132, -3*t + 194 = 5*q. Suppose -t = -4*r + 520. Does 35 divide r?
False
Let p(v) be the third derivative of v**7/2520 - v**6/80 + v**5/15 - v**4/24 - v**2. Let j(d) be the second derivative of p(d). Is j(12) a multiple of 22?
True
Let g(f) = -4*f + 7. Let u be g(7). Let w = -15 - u. Let p(d) = -d**3 + 7*d**2 - 3*d + 9. Is p(w) a multiple of 19?
False
Let n(k) = -k**3 + 5*k**2 + 14*k - 11. Suppose 0 = 2*f - 2 - 8. Is n(f) a multiple of 15?
False
Let v = 39 - -51. Is 15 a factor of v?
True
Let m be 3 + -7 + 129 - 3. Suppose 2*g + c - 36 = 5*c, 5*g - 2*c - m = 0. Suppose -4*d + o + 22 + 16 = 0, 2*d - g = 4*o. Does 9 divide d?
True
Let d(z) = -z + 7. Let i be d(5). Let o(t) = -235*t - 4. Let s be o(7). Is 33 a factor of s/(-51) + i/3?
True
Let p(d) = -d**3 + 12*d**2 - 6*d - 20. Is 13 a factor of p(9)?
True
Let m = 393 - 198. Does 21 divide m?
False
Let j(o) = -4*o + 67. Let k be j(16). Suppose -1 = -2*q + k, -4*r = 2*q - 1180. Is r a multiple of 49?
True
Suppose 5*z = -5*z + 350. Let q be ((-12)/(-8))/((-1)/(-10)). Let g = z - q. Does 20 divide g?
True
Let g(k) = 69*k + 3. Let w be g(-1). Let r = w - -154. Is 7 a factor of r?
False
Let l(f) = f**2 - 6*f + 8. Let x be l(4). Let c(v) = v - v**3 - 5 - 3 + 9*v**2 - 4*v + x. Is c(4) a multiple of 21?
False
Suppose -7*k - 73 = -213. Is 2 a factor of k?
True
Let u = 439 - 387. Is u a multiple of 13?
True
Suppose 35*w - 2256 = -12*w. Does 2 divide w?
True
Suppose -15*v + 10*v = 35. Let h(r) = -16*r + 59. Does 9 divide h(v)?
True
Let d = 127 - 121. Suppose d = 2*y - 24. Is 15 a factor of y?
True
Let u = -52 + 47. Is -5 - (u - 82) - 2 a multiple of 5?
True
Suppose 3*k = -k + 20. Suppose 0*z + z = k. Suppose z*g - 4*v = 108, -5*g - 2*v = 3*v - 90. Does 7 divide g?
False
Let l be ((-8)/(-2))/(1/1). Let i(c) = c**3 + c**2 - 6*c + 2. Is 12 a factor of i(l)?
False
Let n = 50 + -58. Let a = n + 20. Is 3 a factor of a?
True
Let x(w) = -22*w**3 + w**2 + 2*w - 4. Does 43 divide x(-2)?
True
Let v = 2817 + -1102. Is 22 a factor of v?
False
Is 65/30*4*12 a multiple of 52?
True
Let o = 75 + -105. Let g be 4/o - 693/(-135). Suppose -3*r - 2*r + 95 = 5*m, m = g. Is r a multiple of 10?
False
Is (-30)/25*(229/(-2) - -2) a multiple of 5?
True
Does 26 divide 242 - 25/(-5) - -6?
False
Let r = -51 - -109. Is r a multiple of 5?
False
Is (8 - 6 - -1346) + (-4)/(-1) a multiple of 26?
True
Let k(v) be the first derivative of v**3/3 - v**2 + 13. Suppose 5*c = 3*c - 6. Is k(c) a multiple of 8?
False
Let i = -191 - -252. Is i a multiple of 3?
False
Let g = -61 + 181. Suppose 7*i + g = 13*i. Does 5 divide i?
True
Let k = 330 + -135. Does 7 divide k?
False
Suppose -d = 3*j - 6237, 2*j - 3*d - 6373 + 2215 = 0. Is 21 a factor of j?
True
Suppose -1 = -2*p + o + 4, 0 = 2*p + 3*o - 9. Suppose 37 = -p*v - 155. Let m = 108 + v. Is m a multiple of 12?
False
Let y = -26 - -23. Let v(t) = 4 - 3*t + 0 + 0*t - 4*t. Is 25 a factor of v(y)?
True
Suppose j + 520 = -3*j. Let i = -57 - j. Let v = 112 - i. Is 10 a factor of v?
False
Let l = -94 - -87. Is (210/l)/(2/(-2)) a multiple of 2?
True
Let c be -9*(3 - 176/6). Suppose 0 = 4*p - 7*p + c. Suppose k + s = 53, 0 = 2*k + 4*s - 19 - p. Is k a multiple of 19?
True
Let w = 112 - 37. Is 15 a factor of w?
True
Let z = -11 - -11. Suppose z = -3*s + 3*t + 24 + 6, -15 = -5*s - 2*t. Suppose 0 = -3*c + 6, -s*k - 5*c + 68 = -c. Is 4 a factor of k?
True
Suppose 23*m - 8*m - 6885 = 0. Is m a multiple of 13?
False
Let n be -4*1 + (2 - 1). Suppose 5*j - 25 = -4*y + 23, -60 = -5*y + 2*j. Let g = y + n. Does 3 divide g?
True
Is 17 a factor of 3 + -4 - 434/(-2)?
False
Let a be (1 - -5)*(-9)/(-18). Suppose -a*p + 95 = 4*t - 0*t, t = -2*p + 65. Let s = -23 + p. Is 7 a factor of s?
False
Does 9 divide -7*-26*((-25)/10 - -3)?
False
Let k(o) = -o**3 - 6*o**2 + 3. Let u be k(-6). Suppose m + 60 = u*m. Does 30 divide m?
True
Let n = 579 + -267. Is n a multiple of 4?
True
Is 79 a factor of -4 - -8 - 5 - -609?
False
Suppose 4*p + 61 = 377. Suppose -p - 173 = -6*b. Does 10 divide b?
False
Suppose -2*m = 7 + 1. Does 11 divide 11/(m/(-48)*(-4)/(-1))?
True
Let v be 43152/176 - (-2)/(-11). Suppose 4*j = 5*a + v, -4*j + 2 = 3*a - 235. Is 23 a factor of j?
False
Suppose -6*k + 346 = -4*k. Let u = k - 25. Let c = -89 + u. Is c a multiple of 15?
False
Let o(q) = 6*q**2 + 10*q + 8. Let w(s) = s**2 + s. Let m(i) = -2*o(i) + 14*w(i). Is 14 a factor of m(9)?
False
Let s = 166 + -83. Suppose 3*p - 90 = 3*f, -2*p = f + 4*f - 25. Suppose -3*j + s = h, -2*j - 88 = -h - p. Is 21 a factor of h?
False
Let j be (-16 + 13)/((-3)/(-14)). Let a = j - -59. Is a a multiple of 9?
True
Let h(k) = k**2 - 4*k - 17. Let j be h(7). Suppose -t = j*t - 445. Let r = -53 + t. Is 18 a factor of r?
True
Let v(z) = 2*z**3 - 4*z**2 + 4*z - 3. Does 2 divide v(3)?
False
Suppose o + 12 = 2*d + 3*o, -o = -5*d + 54. Let b = 10 - d. Suppose -2*c - 4*a + 50 = b, -3*a = 5*c - a - 85. Does 8 divide c?
False
Let d(y) = y**3 + 4*y**2 - 4*y + 7. Let v be d(-5). Let c be (-13)/v + (-2)/(-4). Does 8 divide (-8)/(-12)*(-189)/c?
False
Suppose 12 - 1304 = 4*t. Let v = -102 - t. Does 11 divide v?
False
Is (-5445)/(-105) - 3/(-21) a multiple of 11?
False
Let o(p) = 98*p + 25. Is o(12) a multiple of 18?
False
Let r be 4/(4/(-2)) - -22. Suppose r = -5*p + 155. Let t = p + -15. Is t a multiple of 12?
True
Suppose 57 = -6*t + 1359. Does 7 divide t?
True
Let o be 5/(-20) + (-30)/8. Let x(k) = 10*k + 1. Let i(t) = 3*t. Let f(l) = o*x(l) + 14*i(l). Is 2 a factor of f(3)?
True
Let a(y) = y**3 + 6*y**2 + 3. Let t be a(-3). Let h = 5 - 3. Suppose 4*q - k + 27 = 102, h*k - t = -q. Is 5 a factor of q?
True
Suppose -6 = -5*b + b - 2*p, 5*b = 5*p - 30. Does 5 divide (((-6)/(-3))/4)/(b/(-26))?
False
Suppose 2*f + 4*b - 6 = 5*f, 21 = -4*f + b. Let v be (-63)/f*4/6. Let p(h) = 2*h + 22. Does 12 divide p(v)?
True
Let 