 8 a factor of w?
True
Suppose 6*p - 1 - 23 = 0. Suppose 5*y - 16 = -p*o + 3, 2*y - o = 18. Is y a multiple of 2?
False
Let u(o) = 3*o + 40. Let i = 17 - 17. Is 18 a factor of u(i)?
False
Let u(h) = -h**3 + 2*h**2 + 3*h - 1. Let d be u(3). Let x be (-3 - -3)*(d + 2). Suppose x = 3*a - 36 - 72. Is a a multiple of 18?
True
Let d = 23 + -27. Does 5 divide (-6)/(-9)*(d + 40)?
False
Let c(w) = 11*w**3 + 4*w**2 + 1. Let o(a) = a**3 + a**2. Let s(f) = -c(f) + 5*o(f). Let i be s(1). Let z(u) = -7*u - 1. Does 21 divide z(i)?
False
Does 10 divide (-2)/(-5) - 1740/(-25)?
True
Let n(w) = 20*w**2 - 11*w + 4. Let u be ((-136)/51)/((-8)/(-6) - 2). Is 40 a factor of n(u)?
True
Suppose 58 - 658 = -10*x. Is x a multiple of 6?
True
Suppose 21 = -14*q + 49. Let f = 6 + 1. Suppose 0 = q*n - f*n + 215. Is 28 a factor of n?
False
Suppose -6*w + 285 = -603. Is w a multiple of 2?
True
Suppose 0 = 4*j - 0*j + 24. Let f(t) = -2*t + 6*t**2 + 5 + 2 + t**3 + 3*t + 5. Does 3 divide f(j)?
True
Let v = 435 - 181. Suppose -4*h - 2*p = -264, 6*p + v = 4*h + 3*p. Suppose -h - 25 = -5*q. Is q a multiple of 9?
True
Let x(b) = b + 10. Let p(d) = d + 10. Let m(y) = -4*p(y) + 3*x(y). Let h be m(-3). Let q(c) = -c**2 - 7*c + 8. Does 3 divide q(h)?
False
Let b = -69 - -71. Suppose -b*c - 2*c = 4, 4*j - 125 = -3*c. Does 16 divide j?
True
Let t(c) = -c - 9. Let w be t(10). Let g = w - -34. Suppose -g = -0*o - o. Does 6 divide o?
False
Suppose -6*x = -4*x + 2*v - 32, -3 = -3*v. Does 2 divide x?
False
Suppose -5*a - 570 = -5*b, a = -b - 3*a + 119. Does 5 divide b?
True
Is 8 a factor of ((-4)/(-1))/((-18)/(-1188))?
True
Does 4 divide 25/(-2)*3128/(-115)?
True
Suppose j = 5*t + 213, j - 834 = -3*j + 2*t. Suppose -2*v + j = 11*v. Is v a multiple of 8?
True
Let o = 850 + -407. Does 8 divide o?
False
Let t(o) = o - 2. Let s be t(4). Let b = 3 - s. Suppose b + 14 = 3*v. Is v a multiple of 5?
True
Let d be 2/(-9) - (-7865)/(-45). Let x = d + 293. Does 18 divide x?
False
Suppose 61 + 621 = 2*d. Suppose 568 = 9*g - d. Does 14 divide g?
False
Let a(x) = -5*x**2 + 111*x - 49. Is a(19) a multiple of 8?
False
Let g(o) = -o - 1. Let w(n) = n**2 + 4*n - 2. Let k(a) = -5*g(a) + w(a). Suppose -6*b + 3*x + 41 = -11*b, -5*b - 4*x = 38. Is 3 a factor of k(b)?
False
Does 20 divide (3 + -33)/(9/(-12))?
True
Let s = -203 - -276. Does 7 divide s?
False
Let k = 3 - -60. Suppose -k - 1 = -4*h. Is 18 a factor of 1562/16 + 6/h?
False
Let z(d) = d**3 + 9*d**2 + d + 9. Let w = -2 - 5. Let t be z(w). Suppose 0*x = 5*x - t. Does 7 divide x?
False
Suppose -15456 = 5*b - 10*b + 3*u, 0 = b - u - 3092. Is 15 a factor of b?
True
Let x(m) = 15*m**2 - 4*m - 1. Let t be (3/2)/((-3)/(7 - 1)). Is 14 a factor of x(t)?
False
Let q(v) = v**3 - 7*v**2 + 2*v + 9. Let s be q(4). Let y = s - -55. Is y a multiple of 12?
True
Let a be (-3*1)/(3/(-3)). Suppose 2*w + 3*x = -a, 0 = 3*w + 5*x - 4*x - 6. Suppose -32 - 4 = -w*g. Is g a multiple of 4?
True
Let t = 21 - 19. Let d(b) = b + 366. Let u be d(0). Suppose 0 = -2*n - t*n + 2*m + u, 2*n = -m + 181. Does 13 divide n?
True
Let d(y) = y**3 + 11*y**2 - 3*y - 1. Suppose 0 = 5*x - 45 - 140. Suppose 0 = 5*p - 20, 3*g - 2*p + x = -p. Is 16 a factor of d(g)?
True
Suppose 4*s - 5768 = -4*b, 4*s - 2096 = -2*b + 786. Is 13 a factor of b?
True
Suppose 3*g + 3*o = 3189, 5*g - 6103 = 4*o - 770. Is g a multiple of 50?
False
Suppose 0 = -10*w + 573 - 33. Does 8 divide w?
False
Let q(h) = 3*h**2 + 5*h + 6. Let z(s) = 4*s**2 + 4*s + 6. Let l(i) = 5*q(i) - 4*z(i). Does 10 divide l(5)?
False
Let m = 24 - 8. Suppose 14 = 2*h + 3*p - 10, 0 = -4*p - m. Suppose 17*k = h*k - 7. Is 5 a factor of k?
False
Let v(s) = 374*s**2 - 22*s - 21. Is 25 a factor of v(-1)?
True
Let a = -207 + 273. Does 4 divide a?
False
Suppose 2*u - 2*d = -124, 5*d - 3*d = -2. Let j = 113 + u. Is j a multiple of 10?
True
Let r(c) = 2*c**3 - 17*c**2 - 2*c - 91. Does 21 divide r(13)?
False
Suppose 5*l + 197 = -2*d, 0 = 5*d - 2*l + 5*l + 540. Let p = d - -174. Let n = 92 - p. Is n a multiple of 12?
False
Suppose -42*d = -37*d. Let b(j) be the first derivative of j**4/4 - j**3/3 + 57*j + 2. Does 19 divide b(d)?
True
Let d(r) = 544*r**2 + 16*r - 16. Is d(1) a multiple of 45?
False
Let z(r) = -r**3 - 32*r**2 - 32*r - 36. Let s be z(-31). Let j(k) = -10*k - 4. Is 6 a factor of j(s)?
False
Let n(j) = 14*j**2 + 2*j - 1. Let k be n(-3). Let p be (3 + -4 - 0) + 4. Suppose -151 = -p*i - 4*o, -5*i + k = -3*i - o. Is 22 a factor of i?
False
Let u(a) = -a**2 + 11*a + 15. Let g be u(11). Let j = g + -43. Is (40/j)/(4/(-28)) a multiple of 2?
True
Let w(t) be the second derivative of 7*t**4/4 - t**3/3 - t**2 - t. Let j be w(-2). Suppose 5*u - 352 + 110 = z, -5*z + j = 2*u. Does 12 divide u?
True
Suppose -18*k = -19*k + 296. Is 74 a factor of k?
True
Let h(s) = s**2 + s. Let y be h(-4). Let w = y - 10. Suppose -w*a + 29 = t + a, 3*t - 4*a - 100 = 0. Is t a multiple of 8?
True
Let f = 93 + -65. Suppose -4*i = -p - 38, 0*p - p = -3*i + f. Is i a multiple of 10?
True
Let q(n) = n**3 + 26*n + 16*n**2 + 9 - 6 + 8 + 5. Is 22 a factor of q(-14)?
True
Suppose 40 = 9*p - 536. Let o = 43 + -7. Let w = p - o. Is w a multiple of 5?
False
Is 192/1248 - (-34056)/26 a multiple of 14?
False
Let n(j) be the second derivative of -9*j**5/10 + j**4/6 - j**2/2 - j - 16. Does 15 divide n(-1)?
False
Suppose 4*y + 4 = 0, -5*y = 2*v - 1463 + 18. Is v a multiple of 29?
True
Suppose -2*s + 12 = -4*y - 0, -3*s = 5*y - 62. Suppose 0 = -p + s. Is p a multiple of 9?
False
Is 2 + -1 + -6 + 6 + 467 a multiple of 9?
True
Let r be 2/(-3) - (-2)/3. Suppose 5*s - 5*d = 90, s - 3*d + r*d = 28. Let y = s + -1. Does 7 divide y?
False
Let s = -83 - -155. Is 24 a factor of s?
True
Suppose 4*z - 721 = -229. Suppose -25 = -4*h + z. Suppose 0*r + 9 = j + r, 4*j = -3*r + h. Does 5 divide j?
True
Suppose 2*i - 4*g = 90, -5*i + g + 53 = -163. Suppose -4*d - i = -523. Is 22 a factor of d?
False
Let o(r) = -8*r**2 + r**2 + 4*r + 9 - 5*r + r**3. Let m be o(7). Suppose -3*b + 45 = -m*b. Is 11 a factor of b?
False
Let m = 606 - 267. Is 22 a factor of m?
False
Let c = 12 + -9. Suppose w + c = h, 3*h + w + 0*w - 29 = 0. Is (0 - 2) + 2 + h a multiple of 4?
True
Suppose -5*v = 2*w - 6250, -v + 1250 = -2*w + 7*w. Does 50 divide v?
True
Suppose -16 = -4*h + 2*h. Does 12 divide (-828)/h*(-8)/3?
True
Does 5 divide 28/(-112) + (-3234)/(-8)?
False
Let x = -20 + 42. Suppose -3*g + 80 = -2*s + x, -g + 2*s = -26. Is 4 a factor of g?
True
Let t be -64*(-2 - (-6 - -1)). Let d be (-2)/(t/92 + 2). Let f = 57 - d. Is 8 a factor of f?
False
Let b = 733 - 377. Let x = -140 + b. Is 35 a factor of x?
False
Let b(r) = -3*r + 119. Is b(25) even?
True
Let y be (15/10)/((-12)/(-16)). Suppose y*g = 8*g - 924. Does 22 divide g?
True
Let i = 38 + -41. Is (-6)/(52/248*14 + i) a multiple of 13?
False
Let s be (2 + (18/2)/(-3))*0. Suppose -13*a - 191 + 1374 = s. Is 7 a factor of a?
True
Let i(z) = z**2 - 7. Let b be i(3). Suppose 16 = 2*m - 5*r + r, -r = -3*m + 4. Suppose -b*o + m*o = -70. Is o a multiple of 7?
True
Suppose 10 = -2*w - 0*w. Let u(m) = -m**3 - 4*m**2 + 4*m. Let q be u(w). Suppose o = -4*j + 121, 3*o = q*j + 2*o - 149. Does 15 divide j?
True
Suppose 2*i = -7*i + 108. Suppose -i*f + 920 = -4*f. Does 13 divide f?
False
Let g(n) = 4*n + 33*n + 1 + 2. Let x be g(6). Suppose -4*c + 63 + x = 0. Does 23 divide c?
False
Is (-1532322)/(-2130) - (12/10)/(-2) a multiple of 40?
True
Let i(v) = v**2 + 21*v + 86. Does 6 divide i(-26)?
True
Let g(v) = v**3 - 66*v**2 - 108*v + 697. Does 17 divide g(68)?
True
Suppose 4*u - 1605 + 615 = -5*j, 4*j + 4*u - 796 = 0. Suppose 19*f + j = 21*f. Does 11 divide f?
False
Suppose -306 = -8*g + 7*g. Does 34 divide g?
True
Let v = -893 - -1021. Is v a multiple of 55?
False
Let u be (-26)/6 + 2/6. Is 12 a factor of (64/10)/(u/(-90))?
True
Suppose 1 = 2*g - 53. Let i = 46 + g. Suppose 3*t + 25 = i. Is 8 a factor of t?
True
Let k = 21 + -14. Let o(d) be the third derivative of -d**6/120 + 3*d**5/20 - 3*d**4/8 + d**3/3 - 5*d**2. Is o(k) a multiple of 15?
False
Let t = -196 - -331. Does 32 divide t?
False
Let h be 3 - (2 - -3)/5. Does 18 divide (49/(-21) + h/(-3))*-6?
True
Let j be ((0 + 0)/4)/(-3). Suppose j = 5*f - 2*f, -2*a = 3*f - 172. Suppose 8 = x - 5*x, -x = -4*i + a. Does 21 divide i?
True
Let f(l) = 1