136 = -4*u. Is r a multiple of 8?
True
Let x(d) = -d**2 + 50*d + 47. Is x(29) a multiple of 12?
False
Let m(c) = 3*c**3 - c**2 + c + 7. Let t be m(-3). Let s = 158 + t. Is 6 a factor of s?
True
Suppose 17 = f + 3*g, -2*f + 6*g = g + 21. Suppose 3*o = 5*q - 2*o - 5, q = -f*o - 5. Does 13 divide 1/(-1) + (26 - q)?
True
Suppose -3*s + 221 = 11. Is s a multiple of 10?
True
Let w be 314/6 - 14/42. Suppose 0 = x + 5, -2*k + 3*x + w = x. Does 7 divide k?
True
Suppose 22306 = 5*z - 2*z + 2*q, -22308 = -3*z - 3*q. Does 18 divide z?
True
Suppose 384 = 3*j + 3*j. Let v(g) = g - 1. Let i be v(6). Suppose 160 = i*o + 3*b, -2*o + 5*b = -0*o - j. Is o a multiple of 21?
False
Let t(d) = -2*d**2 + 7. Let s be t(4). Let k be (s + 13)*1/2. Let n(m) = m**2 + m - 10. Is 10 a factor of n(k)?
True
Suppose -3*i + 743 = -0*x + 2*x, 5*i - 368 = -x. Does 24 divide x?
False
Is 16/((-598)/200 - -3) a multiple of 80?
True
Let s(p) = -2*p**2 - 5*p - 13. Let n be s(-7). Let k = 110 + n. Is 17 a factor of k?
True
Let u = 266 + -189. Is u a multiple of 10?
False
Let q(i) = -i**2 + 18*i - 1. Let k be (-4)/(-12)*-3 + 18. Let y be q(k). Let p = y - 11. Is p a multiple of 5?
True
Let r(t) = -2*t**2 - 17*t - 5. Let h be 1/(1 - 12/10). Is 17 a factor of r(h)?
False
Let h(v) = 37*v**3 + 7*v**2 - 8*v + 1. Is h(4) a multiple of 79?
True
Let d = -264 + 1089. Is 25 a factor of d?
True
Let x(n) = 4*n**2 - 7*n - 6. Let h be 0 + (-81)/(-12) + 21/(-28). Does 12 divide x(h)?
True
Let i(o) = o**2 - 8*o + 20. Let x be i(3). Let a(p) = p**3 + 6*p**2 - 7*p + 1. Is 16 a factor of a(x)?
False
Let q(t) = 11*t + 2. Let z(d) = -2*d. Let f(m) = -q(m) + 6*z(m). Let k = -3 - -1. Is f(k) a multiple of 7?
False
Is -26 - -15 - (1 - 1109) a multiple of 15?
False
Let c be (-3)/(12/(-4)) + -13. Let v = c + 67. Does 18 divide v?
False
Suppose -a = 4 - 7. Suppose 5*j + 0*d - 141 = -2*d, a*j + 5*d = 96. Is j a multiple of 3?
True
Suppose 1798 = 5*y + 213. Let a = y - 6. Does 18 divide a?
False
Suppose -14*m + 15 = -9*m, -l + 3*m = -791. Is l a multiple of 100?
True
Let x(h) be the first derivative of 3*h**2/2 + 4*h + 10. Does 23 divide x(14)?
True
Is (-49)/(4 + (-10)/(-12) + -5) a multiple of 42?
True
Suppose -2*p + 3*h = -2013, 141*p - 5*h + 3029 = 144*p. Is p a multiple of 39?
False
Let g be 1 + 4 - (0 - -3). Suppose -5*z = 2*r - 35, 4*z - 3*r - 28 = -g*r. Suppose 5*m - 305 = 2*j - z*j, -5*m = -2*j + 129. Is j a multiple of 31?
True
Let b(z) = 2*z**3 - z**2 - z + 522. Does 26 divide b(0)?
False
Suppose 63 = 3*j + 2*z, -z - 2*z - 124 = -5*j. Suppose -2*b = -3*b + j. Is b a multiple of 23?
True
Let n(b) be the second derivative of -23*b**4/24 + 5*b**2/2 - 4*b. Let u(c) be the first derivative of n(c). Is u(-1) a multiple of 23?
True
Let f(i) = 2*i**2 - 6*i - 1. Let l(r) = -r - 9. Let t be l(-14). Is 8 a factor of f(t)?
False
Let z be (-12)/(-3)*-1 + 1. Let q(s) = -3*s - 5. Let h be q(z). Let u = 14 - h. Is 8 a factor of u?
False
Let g = 92 - -28. Let a = g + -42. Is 39 a factor of a?
True
Let n(p) = 2*p**2 + 6*p - 7. Let j be n(-5). Let v = -7 + j. Let r = 37 - v. Is r a multiple of 30?
False
Let c be ((-8)/(-14))/2 + 130/35. Suppose -n = u + 9 - 81, -87 = -n + c*u. Does 26 divide n?
False
Let m = -750 + 3162. Does 67 divide m?
True
Suppose -4*h - 42 = -2*o - 16, 2 = 2*o + 2*h. Suppose 2*u - 8 = -0*u. Suppose -5*v + u*d = -408, -o*v + 5*d + 53 = -357. Does 16 divide v?
True
Let o(i) = i**3 - 15*i**2 - 12*i + 54. Is 2 a factor of o(16)?
True
Suppose 298 = 5*q + 983. Let l = q - -218. Is 20 a factor of l?
False
Suppose 3*w = -2*w + 30. Let s = 144 + w. Does 5 divide s?
True
Let t(o) = 29*o**2 + 13*o - 21. Let g(z) = -2*z + 14. Let y be g(6). Is 10 a factor of t(y)?
False
Let i = 2 - -2. Suppose p + 12 = i*j, p = -j + 2*j. Suppose p*l + 8 = 3*l - 3*d, 5*d = -25. Does 3 divide l?
False
Let n be 22*(0 + -4)/(-4). Let q = 30 - n. Is 2 a factor of q?
True
Let a = 1052 - 2290. Does 3 divide (-4)/(-18) + a/(-18)?
True
Let b(l) = -103*l - 239. Does 39 divide b(-14)?
False
Suppose i = -3*i - 3*u + 104, i = 3*u + 26. Is 3 a factor of i?
False
Suppose -82 + 294 = 3*q + 5*u, -3*u - 302 = -4*q. Suppose 3*h + l - 202 = 28, 0 = h + l - q. Is h a multiple of 18?
False
Suppose 5*j + 5 = 0, 5*h - 7*j = -6*j + 1511. Let b = -200 + h. Does 8 divide b?
False
Let c(i) = 2*i**2 - 22*i + 78. Is 21 a factor of c(9)?
True
Let l = -188 + 468. Is 28 a factor of l?
True
Suppose -10 - 6 = -j - 4*w, -2*j = 4*w - 16. Let y(h) = h + 90. Is 35 a factor of y(j)?
False
Let r(c) = 0 + c**2 + 2*c**2 + 7 + 24*c + 1. Is r(-8) a multiple of 3?
False
Let t(l) = -3*l**2 + 11*l - 7 + 20 + 4*l**2. Let s be t(-10). Suppose -3*c - s*y + 102 = 0, -2*c + 5*y - 17 = -71. Does 8 divide c?
True
Is ((-1632)/(-96))/((-2)/(-162)) a multiple of 51?
True
Suppose 3*p - 376 = 170. Let s(b) = b + 1. Let m be s(-3). Is 20 a factor of p/9 - m/(-9)?
True
Let z = -87 - -95. Suppose -z*f = -213 - 939. Does 44 divide f?
False
Suppose 0 = j + z - 5*z - 11, j + 4*z = 11. Let m = j + -8. Suppose -c = -5*i + 126, -c = -4*i - m*c + 98. Is 6 a factor of i?
False
Suppose 2*o = -45 + 257. Suppose -9*d = -o - 74. Is d a multiple of 10?
True
Does 7 divide (-6150)/(-10) - 10/(-10)?
True
Suppose -276 - 369 = -5*k. Does 4 divide k?
False
Suppose 2*u + 3*k = 9, -u = k - 2 - 4. Suppose -3*c - 228 = -u*c. Does 5 divide c?
False
Suppose 3*z - 6507 = -h, -2*z + 233*h + 4338 = 228*h. Does 51 divide z?
False
Let i(w) = -2967*w - 12. Is 73 a factor of i(-1)?
False
Let r(c) = -c**3 + 16*c**2 + c - 16. Let n be r(16). Suppose 5*o - 2*o - 16 = 4*b, 2*b + 8 = n. Let y(i) = -i + 14. Is 7 a factor of y(o)?
True
Let l be 2 + -1 + (-1)/(-1) - 2. Suppose 17*v - 6*v - 77 = l. Does 3 divide v?
False
Let p(u) = -5*u + 115. Is 5 a factor of p(13)?
True
Let z = -91 + 93. Is 42 a factor of (3/12*2)/(z/1084)?
False
Suppose -2*m = z - m - 501, -3*z = -3*m - 1521. Is z a multiple of 10?
False
Is -11 + 2236 - (-2 - -8) a multiple of 66?
False
Suppose 4*a - 2*c + 22 = 0, 5*a - 3*c + 39 = 9. Is 3/(a/(-1))*30 a multiple of 8?
False
Let h(a) be the third derivative of 0 - 7/24*a**4 + 0*a - 7/2*a**3 - 8*a**2. Does 16 divide h(-6)?
False
Let p(q) = 2*q**2 - 1. Let h be p(1). Let j be 23 + (-2)/(h + -2). Does 9 divide 2 + (j - (0 - -2))?
False
Is 32364/132 - (1 + (-27)/33) a multiple of 3?
False
Let r(j) = 4*j + 21. Let h be r(12). Let n = h - 39. Is n a multiple of 3?
True
Let o(m) be the second derivative of -m**5/20 + 3*m**4/4 - 7*m**3/6 - 5*m**2 + m. Let s be o(7). Let y = s - 15. Is y a multiple of 6?
True
Suppose r + 16 = 5*o, 16 = 3*r + 4*o - 3*o. Suppose 0 = r*f + 68 + 124. Let g = f + 67. Does 17 divide g?
False
Let q = 254 - 60. Is q a multiple of 3?
False
Suppose 4*m = -2*m + 42. Suppose 4*b = m*b - 69. Does 8 divide b?
False
Let n = 91 + -48. Suppose -n = -t - 4*r, -3*t - 4*r + 6*r = -73. Does 18 divide t?
False
Let v be 104/5*(-2)/(-6)*15. Suppose -81*k + v = -77*k. Is 13 a factor of k?
True
Let f(h) = -50*h**2 - 4*h. Let r be f(2). Is (-2 - 0)/(4/r) a multiple of 8?
True
Let m(x) = -x**3 + 6*x**2 + 4. Let z be m(6). Suppose 9*r - z*r = -695. Let a = -75 - r. Is a a multiple of 16?
True
Is (-4)/(-5) - (-31)/(1395/22734) a multiple of 28?
False
Let b(f) = f**3 + 17*f**2 + 7*f + 15. Let i be b(-12). Let h be 6/(1 + i/(-660)). Suppose -3*w + 0*w + 6 = 0, 0 = 3*y - 2*w - h. Is 37 a factor of y?
True
Let t = 15 + -17. Let i be (t/(-4))/(3/18). Suppose -4*o = -i*o - 2. Does 2 divide o?
True
Suppose 138*n - 190836 = 81*n. Is n a multiple of 124?
True
Let r(c) = -30 + c - 3*c + 4. Let h be r(15). Does 24 divide ((-96)/14)/(8/h)?
True
Let l be (-2)/(-14) + 762/7. Does 18 divide (l + -1)*10/20?
True
Suppose -3*k - 5*f - 59 = -2*k, 4*k - 4*f = -356. Is 14 a factor of (k/4)/((-6)/16)?
True
Let b(f) = 12*f - f**2 + 24 + 0*f**2 - 29. Let m be b(11). Suppose m*n - 39 = 15. Does 9 divide n?
True
Let m = 209 + -153. Does 14 divide m?
True
Let t(n) = 24*n + 7. Let h be t(6). Suppose -6*g + 107 = -h. Is 9 a factor of g?
False
Suppose 2*l = -3*y - 421, -l + 147 = -5*y + 4*y. Let s = -99 - y. Is s a multiple of 7?
False
Let j = 2310 + -918. Is 9 a factor of j?
False
Suppose 4*c = 3*a - 634, 2*a - 338 = -2*c + 66. Does 14 divide a?
False
Suppose -n + 63 = 2*n. Let x(f) = 3 + n*f - 7 + 1. Is x(2) a multiple of 13?
True
Suppose -8*