tor of (130 - b)*9/12?
True
Let h = 18 + -4. Let t be 678/(-4)*h/(-21). Suppose 0 = -l + v - 13 + t, -l - 2*v + 94 = 0. Is l a multiple of 23?
False
Let k be 1/6*573*6. Let d be 283 - (-2 + 0/2). Is 1/(-2 + k/d) a multiple of 30?
False
Let o(b) = 3*b**2 - 7*b + 4 + 8*b**2 - 8*b**2 + 0. Is 6 a factor of o(4)?
True
Let d(j) = -40*j - 136. Is d(-16) a multiple of 21?
True
Let v(d) = d**2 + 30*d - 73. Does 17 divide v(-35)?
True
Suppose o = 2 - 13. Let j = o + 83. Is j a multiple of 9?
True
Let t be -1 + (-4)/10*-5. Suppose -4*k = -5*k + 2*d + t, 0 = k + 5*d - 15. Does 2 divide k?
False
Suppose -8*c + 9072 = -3504. Suppose 18*h + c = 6486. Is h a multiple of 35?
False
Suppose 0 = 8*q - 8022 - 7002. Does 8 divide q?
False
Suppose 59*m + 360 = 63*m. Is 3 a factor of m?
True
Let i(q) = -q**3 - q**2 + 2*q + 2. Let y = -18 - -18. Let c be i(y). Suppose -c*t - 4*j = -3*j - 116, -2*t = -3*j - 124. Is 14 a factor of t?
False
Let x(q) = q**3 + 47*q**2 - 51*q - 64. Is x(-48) a multiple of 32?
False
Suppose 475 = 7*o - 715. Is 17 a factor of o?
True
Suppose -17 = -3*k + 2*j, -5*j = -4*k + 3*k + 10. Suppose -3*p = k*f - 239, -p + f - 1 + 78 = 0. Is 26 a factor of p?
True
Suppose 112 = -r + u - 138, -3*r + 4*u - 748 = 0. Does 31 divide (3/(-6))/(2/r)?
False
Let o = -1982 - -2078. Is 16 a factor of o?
True
Let i be ((-20)/(-5))/((9/3)/3). Let t be -9*3/(6/(-2)). Suppose -10 = 3*d - 1, -b - i*d = -t. Does 7 divide b?
True
Let f be (2 + -3 - 0)*81. Suppose -70 = 2*c + 38. Let i = c - f. Is i a multiple of 9?
True
Let y(d) = 3*d**2 - 2*d - 1. Let v(j) = -8*j**2 + 9 + 0*j**3 + j**3 - 21 - 8*j. Let o be v(9). Is 6 a factor of y(o)?
False
Let w(h) = 11*h**2 - 29*h - 12. Is w(-14) a multiple of 25?
True
Let i be 1 + (3 - 0)/1. Suppose 0 = 10*u + 13*u - 943. Suppose -i*c = -71 - u. Does 14 divide c?
True
Is 17 a factor of (1/4)/((-4)/(-4624))?
True
Let y(v) = 182*v**2 + 20*v. Is y(2) a multiple of 24?
True
Let p = 272 - -248. Is 26 a factor of p?
True
Suppose -14*v + 11*v = -102. Suppose -4*c - 46 = 42. Let f = c + v. Is f a multiple of 12?
True
Does 38 divide (-2 + 1)*(6 - 5) - -39?
True
Let p(s) = s**3 - 10*s**2 - 3*s + 41. Let t(z) = -z**3 + 9*z**2 + 3*z - 40. Let q(g) = 3*p(g) + 2*t(g). Is q(12) a multiple of 4?
False
Is 20 a factor of (40/(-6))/(-7 + 4256/609)?
True
Let j be -1 + 1 - -1 - 4. Let i(c) = -2*c**3 - c**2 - 3*c + 4. Let d be i(j). Suppose -2*q + z = 6*z - 23, -d = -2*q + 2*z. Is 8 a factor of q?
True
Let v = 69 + -36. Let m = -25 + v. Is m a multiple of 2?
True
Let p = 1 + 85. Let h = 122 - p. Is 18 a factor of h?
True
Let u = 28 - 20. Is 10 a factor of -1*(-60)/8*u?
True
Let c(f) = -3 + f**2 + f + 3 + 1 + 0*f**2. Let j(k) = 3*k**2 + 14*k + 1. Let t(a) = 2*c(a) - j(a). Does 21 divide t(-7)?
False
Let q(t) be the first derivative of t**3 - 10*t**2 + t + 6. Is q(9) a multiple of 15?
False
Is (-294)/(-12)*(-8)/(-14)*6 a multiple of 12?
True
Suppose -h = -4*x + 3*x - 631, 2*h + 3*x = 1267. Is h a multiple of 8?
True
Let r(n) = n**3 + 6*n**2 + 4*n. Let k(q) = q - 12. Let d be k(7). Let p be r(d). Suppose -2*w - p*m - 12 = -101, -15 = -3*m. Is w a multiple of 8?
True
Suppose 18*a - 2109 = 14577. Does 16 divide a?
False
Let p(c) be the first derivative of c**3/3 - c**2/2 - c + 39. Let t(w) = w**2 + 5*w - 1. Let l be t(-6). Is 6 a factor of p(l)?
False
Suppose 5*c - 3*b + 1321 = 0, -4*c - 5*b - 1058 = -8*b. Let l = -68 - c. Does 15 divide l?
True
Let b(p) = 21*p**2 - 29*p - 244. Is 19 a factor of b(-7)?
True
Let l be ((-90)/27)/((-4)/6). Let u(d) = -d**2 - 4*d + 4. Let v be u(-4). Suppose -l*c - v - 11 = -5*f, -4*f = -c - 18. Does 2 divide f?
False
Does 28 divide -1 - -243 - (3 - -3)?
False
Let x(m) = -m**3 + 17*m**2 + 4*m - 4. Is 26 a factor of x(-7)?
True
Let m(d) = -d + 10*d**2 + 0 + 10*d**2 - 2. Does 14 divide m(2)?
False
Let i = 1 - -33. Suppose 3*b = 110 + i. Is b a multiple of 12?
True
Let f be (-2 + 2)/(-6 + 2). Suppose -38*i + 34*i + 424 = f. Is i a multiple of 12?
False
Let t(j) = -5*j + 184. Is t(-21) a multiple of 3?
False
Is 25 a factor of (30/(-20)*-31)/(2/28)?
False
Let t(m) = 5*m - 3. Let a be t(3). Let g = a + -9. Suppose -4*w = -g*w - 50. Is w a multiple of 13?
False
Let i be (2/(-5 + 4))/(-2). Is 19 a factor of (-1140)/24*(-3 + i)?
True
Let u be (-66)/(-2) + -3 + 5. Suppose -5*z + 195 = u. Is 16 a factor of z?
True
Let d(c) = c**2 - 2*c + 2. Let t be d(3). Suppose -2*h + 65 + 34 = -5*b, t*h - 219 = 3*b. Let j = -26 + h. Does 8 divide j?
True
Suppose -5*x - b - 182 = -3*b, 4*b = -5*x - 176. Let w = 68 + x. Does 5 divide w?
False
Let t = 0 - -3. Suppose 2*x = 4*u - t*u - 32, 4*x = 0. Suppose 3*s - u = -s. Is s a multiple of 3?
False
Let s = -12 - -15. Suppose -b = s*b. Suppose b = f - 2*f + 14. Is 6 a factor of f?
False
Let b(a) = 17*a**2 + 7*a - 15. Is 19 a factor of b(4)?
True
Let y(r) = -9*r + 19. Let t be y(14). Let q = -2 - t. Is 7 a factor of q?
True
Let k be -1 + (-2 - -3)*151. Suppose 491 = 11*f + k. Is 31 a factor of f?
True
Suppose -4*m = -16, -13*m + 1088 = g - 15*m. Does 71 divide g?
False
Suppose 64 = 3*m + 19. Suppose -4*q + 25 = -0*j + j, -2*j + 5*q = m. Suppose -4*w = 3*c + 2*c - 29, 2*w = -j*c + 7. Is w a multiple of 11?
True
Does 9 divide (0 + -186)*13/(-13)?
False
Suppose 2*f - 1 = 5. Suppose 2*k - 6 = -3*v, -4*k + 9 = 3*v - f*k. Suppose 0 = -v*c - c + 40. Does 5 divide c?
False
Let c(q) = -3*q. Let h(a) = -2*a - 9. Let d be h(-7). Suppose -d*i - 14 = 1. Does 2 divide c(i)?
False
Let k = 1433 - 1426. Let i(r) be the third derivative of -r**6/120 + 7*r**5/60 + r**4/8 + 11*r**3/6 - r**2. Does 8 divide i(k)?
True
Let k(u) = -61*u - 3 - 29*u + 5. Let l be k(-1). Is 31 a factor of l - (2 + 0 + -3)?
True
Does 23 divide 109*(-76)/(-18) + (-16)/72?
True
Let g(b) = b**3 + b**2 + 2*b + 4. Let f = -1 - -1. Let r be g(f). Suppose -2*q = r*c + q - 136, -3*c = -4*q - 127. Is c a multiple of 20?
False
Suppose 2*c + 369 + 607 = m, 5*c = -m + 955. Is 10 a factor of m?
True
Let j(a) = -3*a. Suppose 5*q - 2*x = -40, -4*q - 2*x = x + 55. Is 9 a factor of j(q)?
False
Let u = 7 + 5. Let x be u/(-8)*4/2. Let a(d) = -2*d - 3. Is a(x) a multiple of 2?
False
Let t be (5 - 1)/((-2)/36*-3). Let m(d) = d + 1. Let k be m(-6). Let l = t + k. Does 11 divide l?
False
Let b(n) = 4*n**3. Let o be b(1). Suppose o*y - 16 - 50 = -a, 4*y = -5*a + 362. Is a a multiple of 26?
False
Let r = 2 - 7. Let i(v) = 3*v**3 + 8*v**2 + 5*v. Let p(x) = -4*x**3 - 8*x**2 - 4*x - 1. Let y(g) = 3*i(g) + 2*p(g). Is y(r) a multiple of 19?
True
Is (-8)/(-64) + 40794/48 a multiple of 34?
True
Is (-7 - -17 - 7) + (602 - 0) a multiple of 12?
False
Suppose 0 = 5*y - 106 + 31. Let t = 209 + y. Is t a multiple of 14?
True
Let i(b) = -2*b**2 - 2*b + 5. Let q = -4 + 3. Let l(d) = -d. Let k(z) = q*i(z) - 2*l(z). Does 6 divide k(-5)?
False
Let y(t) = -361*t - 44. Does 31 divide y(-8)?
False
Is 10 a factor of 10/(-4) + (-192125)/(-106)?
True
Suppose -48 + 0 = -3*c. Does 4 divide c?
True
Suppose -3*h - 3*h = -1776. Suppose -h = 7*v - 15*v. Is v a multiple of 7?
False
Suppose -39 = 2*c - 47. Suppose -4*l = c*p - 1092, p = 6*p - 2*l - 1344. Is p a multiple of 45?
True
Let u be (-10)/35 - (-46)/14. Suppose 2*t = u*n + 2*n + 33, -n + 3 = 2*t. Suppose 48 = 4*o + t. Is 11 a factor of o?
True
Let m = -5 - -8. Suppose 6*v - 168 = m*v. Is v a multiple of 19?
False
Suppose -15*c + 1629 = -6*c. Does 15 divide c*2*3/6?
False
Suppose 0 = 4*u + 20, 5*b - 2*u = -7 + 42. Suppose -t - b - 9 = 0. Let z = -4 - t. Does 10 divide z?
True
Suppose -45 = -17*x + 873. Is 18 a factor of x?
True
Let p(v) = 7*v + 10*v**2 - 3*v**2 - v**2 - 2 - 21. Does 37 divide p(-7)?
True
Suppose -2*m - 24*m + 1014 = 0. Is 3 a factor of m?
True
Suppose 33*a = 17*a + 19904. Is a a multiple of 24?
False
Suppose 4*f - 5*r - 24 - 12 = 0, -3*f + 3*r = -24. Suppose 114 = f*j - 30. Does 6 divide j?
True
Let x(m) = 14 - 6*m**2 - m**3 - 4*m**2 - 7*m + 2*m. Let a(v) = -v**2 + v - 4. Let y be a(3). Does 16 divide x(y)?
True
Suppose 2*v - 1274 = -554. Is v a multiple of 53?
False
Suppose -311 = -3*t + 5*q, -27 = -4*t - q + 426. Does 12 divide t?
False
Let x be (-26)/(-65) - (-27)/(-5). Let y(d) = d**2 + 13*d + 4. Let a be y(-12). Let t = x - a. Is 2 a factor of t?
False
Suppose 3*h + 2*v - 406 = 0, 2*h = -0*h + v + 273. Is 4 a factor of h?
True
