i(g) = -g**3 + g**2 + g + 2. Let b be i(-3). Suppose r - b = -0*r. Does 7 divide r?
True
Let q(i) = 290*i**2 - 7*i + 7. Does 12 divide q(1)?
False
Let c(q) = q**3 - 7*q**2 + 45*q + 12. Does 101 divide c(14)?
False
Suppose 0 = 5*a - 0*a - 545. Is 4 a factor of a?
False
Suppose 7*b + 3 = -w + 3*b, 0 = -3*w - b + 46. Does 2 divide w?
False
Is 11 a factor of 5 - 6/(6/(-295))?
False
Let j = 4 - -1. Suppose 2*y - j*h = 13, 3*h - 20 = -3*y + 31. Does 11 divide 4/y - (-766)/14?
True
Suppose -5*j + p + 202 = 0, 0 = -p + 3. Does 5 divide j?
False
Let h = -636 + 977. Is h a multiple of 21?
False
Let u(v) = -3*v - 10. Let x be u(-4). Is 9 a factor of (-353)/(-13) - x/13?
True
Suppose 0*u - 34*u + 194650 = 0. Is 25 a factor of u?
True
Suppose 3*g + w - 2 = 0, 1 = -3*w + 7. Suppose 2*o - 4*d - 154 = g, 0 = d - 3*d + 8. Is 5 a factor of o?
True
Let v = -2123 - -2270. Is 2 a factor of v?
False
Suppose 0*j + 1701 = 21*j. Is 12 a factor of j?
False
Let r(u) = u**3 + 2*u**2 + 2*u - 23. Is r(5) a multiple of 7?
False
Let m(p) = -p**2 + 14*p - 10. Let j be m(14). Let s = 24 - j. Is s a multiple of 14?
False
Suppose 5*z + 17*l - 18*l = 539, -545 = -5*z - 5*l. Is z a multiple of 12?
True
Suppose -5*d + 4 = -4*s, s = 2*d + 2 - 3. Let a = 49 - 17. Let i = a - s. Is i a multiple of 10?
False
Suppose -14*o + 18*o = 5*h - 24883, 0 = -5*o + 15. Is 13 a factor of h?
True
Let n = -18 - -13. Let m be 2 + 0 - (-7 - n). Suppose p - 6*p = -m*i + 182, 4*i + 5*p = 162. Is i a multiple of 10?
False
Let q = -16 + 20. Suppose q*x + 6 = 7*x. Does 17 divide (-1116)/(-33) + x/11?
True
Let k(n) = 19*n**2 - 5*n. Let m be k(6). Suppose -2*f + 320 = 2*l, 0*f - 3*l - m = -4*f. Is 18 a factor of f?
True
Let g = 22 + -6. Let p = -128 - -179. Suppose p = y + g. Is 25 a factor of y?
False
Suppose 2*q = -q + 99. Let l = 37 - q. Does 3 divide l?
False
Let y(w) = -67*w - 184. Is y(-16) a multiple of 24?
True
Suppose -1678 = -7*w - 523. Does 8 divide w?
False
Suppose -197 = -7*r + 2169. Is 24 a factor of r?
False
Let t(o) = -42*o + 58. Is t(-3) a multiple of 23?
True
Let d(s) = -3*s**2 - 120*s - 7. Let y(r) = -r**2 - 60*r - 4. Let c(h) = 2*d(h) - 5*y(h). Let p(v) be the first derivative of c(v). Is 20 a factor of p(0)?
True
Let j(w) = -w**3 + 15*w**2 - 12. Let s be j(15). Let d = 22 + s. Does 5 divide d?
True
Let n be (-46)/(-276) - (19/6 - 1). Does 3 divide 3/n*4/(-6) - -18?
False
Let t(h) = 70*h + 138. Is 14 a factor of t(9)?
False
Let r(j) = -3*j**2 - 109*j - 28. Is 40 a factor of r(-12)?
False
Suppose 4*d - 2*k + 361 = 55, -228 = 3*d - 3*k. Let f = d - -177. Is f a multiple of 5?
True
Suppose -28 = -2*a - 2*a. Let k(c) = 6 + 4*c - 10 - a. Does 20 divide k(15)?
False
Let f = -2423 + 6928. Does 85 divide f?
True
Is (7/(-2)*-1 - 4)*-146 even?
False
Let q(x) = 103*x**3 + 4*x**2 - 6*x + 7. Let r(d) = 102*d**3 + 3*d**2 - 5*d + 6. Let b(w) = -5*q(w) + 6*r(w). Let i be 2 + (1 - 3) + 1. Is 14 a factor of b(i)?
False
Let k(t) = 298*t**2 - 3*t - 2. Is 23 a factor of k(-1)?
True
Let w = 350 + -189. Suppose 0 = 3*d - 22 - w. Is 8 a factor of d?
False
Let r = 234 - 96. Is 31 a factor of r?
False
Let v be -1*18 + (-12)/(-3). Does 13 divide v/(-91) - (-672)/26?
True
Let j(t) = 2*t**2 + t + 23. Let k(h) = h - 14. Let d be k(4). Let a be j(d). Suppose 4*c + 0*g = -g + a, c - 4*g = 66. Does 9 divide c?
True
Let n = -98 - -54. Let s = 76 - n. Does 12 divide s?
True
Let y be 5*((-424)/10)/2. Let a = -3 - y. Suppose 8*h - 3*h - 280 = 2*w, -a = -2*h - w. Is 16 a factor of h?
False
Suppose -18 = 2*m - 8*m. Suppose -m*q - 102 = -6*q. Is q a multiple of 14?
False
Let n(c) = 11*c - 55. Let w be n(14). Suppose 0 = 5*a - 239 + w. Is 7 a factor of a?
True
Let o be (-3)/(-12) - 25/4. Let r be (-14)/(-6) + 2/o. Is r/(-3) - 38/(-3) a multiple of 12?
True
Suppose 3*i + i = -x + 8, -2*x + 4 = -4*i. Suppose -x*r - 83 = -211. Is 15 a factor of r?
False
Suppose 583 = 15*o - 482. Does 4 divide o?
False
Let v = -15 + 7. Let f = v + 50. Does 10 divide f?
False
Let z = -92 + 154. Suppose -y = -38 - z. Is y a multiple of 21?
False
Let q = -22 - -26. Suppose 11 = 3*a - k, q*a - 2*a - 5*k = 29. Suppose -a*s = -7*s + 175. Is s a multiple of 7?
True
Does 10 divide 5607/18 + (-1)/2?
False
Let v(q) = q**3 + 53*q**2 - 10*q - 130. Does 10 divide v(-53)?
True
Suppose 2*o - 6*o + 28 = 0. Suppose -o*z + 593 = 96. Is z a multiple of 21?
False
Suppose 3*l - 5*o = -11, -2*o + 10 = l - 1. Suppose 1 = m - l. Suppose -a + 1 = -4, 0 = j - m*a - 29. Is j a multiple of 14?
False
Let p(n) = 3 + n**2 + 0*n**2 - n + 9*n + 1. Let b be p(-6). Let a(q) = -q**3 - 8*q**2 - 4*q - 10. Is a(b) a multiple of 22?
True
Let q = 11 + 9. Suppose -10 = 3*v + 2*v, -q = -3*g + v. Suppose -3*y - y + g = d, 5*d + 5*y = 60. Is 14 a factor of d?
True
Suppose -7*i + 4305 - 1414 = 0. Does 24 divide i?
False
Let x(u) be the first derivative of 7/3*u**3 - 1/4*u**4 + 1/2*u**2 + u + 1. Is x(7) a multiple of 4?
True
Let a be (-126)/49*(-28)/6. Suppose 49 = 3*o + 5*f, 6*f - 3*f + a = 0. Is 5 a factor of o?
False
Let g = 198 + -100. Let n be -3 + 5 + g*1. Suppose -2*a + 4*i + 30 + 10 = 0, -i + n = 5*a. Is 17 a factor of a?
False
Let f(x) = x**3 - 2*x**2 + 1. Let s be f(0). Let v = s - 10. Is 6 a factor of (-158)/(-8) - v/36?
False
Let f(w) = w**2 - 10*w + 0*w**2 + 0*w**2 + 36 + 20*w. Is 10 a factor of f(-17)?
False
Suppose 0 = -5*p - p. Suppose 340 = 3*v + 4*m, 0*v + 3*v + m - 355 = p. Does 9 divide v?
False
Let p be (1 + 1/2)/(135/180). Does 7 divide p/10 - 734/(-5)?
True
Let q be -2 - (-2 - 90) - 4. Let x = q + -30. Does 7 divide x?
True
Suppose 54 = -8*i - 1658. Let n = -123 - i. Is 13 a factor of n?
True
Let x(u) = 5*u**3 - 2*u**2 - 4*u + 3. Let p be x(3). Suppose -t - p = -5*t. Let r = t - 6. Is r a multiple of 13?
False
Let q be -12 - 4/(-8)*8. Let c = 7 + q. Let n = c - -38. Does 24 divide n?
False
Let x be 8/((-8)/(-2)) - -1. Is 29 a factor of (12/(-6))/(x/(-87))?
True
Let j be 0/(-1 + (-8)/(-2)). Is 15 a factor of (-2)/((-3 + j)/45)?
True
Suppose 5*r - 4946 = -4*s, 974 = r - 30*s + 27*s. Is r a multiple of 34?
True
Let y(v) = 121*v + 2145. Is 15 a factor of y(0)?
True
Let h(o) = -3*o**3 - 2*o**2 + o + 2. Let w be h(-2). Let j be ((-6)/(-8))/(6/w). Is ((-34)/j)/((-5)/15) a multiple of 17?
True
Let i(j) = -j**2 + 23*j + 62. Is i(16) a multiple of 29?
True
Let u(p) = 3 - p**3 - 7*p**2 + 3*p + 1 + 0*p**3 + 3*p**3. Does 11 divide u(4)?
False
Let x be (-3)/18 + (-34)/12. Let k = x - -7. Suppose -290 = -k*r - r. Is r a multiple of 13?
False
Let b(g) = g + 2. Let j be b(3). Suppose j = 4*w - 83. Suppose -3*u - w = -5*u. Is u a multiple of 3?
False
Suppose 0*w + w - 2*c = -5, -5*w + 7 = -2*c. Suppose -2*d + 4*t = -148, w*t + 90 = -2*d + 217. Does 8 divide d?
False
Let a(j) = 21*j + 77 - 42 - 20*j + 55. Is a(-33) a multiple of 16?
False
Let b(t) = -t**3 + 3*t**2 + 8*t - 6. Suppose 0 = 4*u - 25 + 5. Let q be b(u). Let l = 25 + q. Is 9 a factor of l?
True
Let k(v) = 2*v**2 + 64*v + 284. Is k(-29) a multiple of 22?
True
Let u(f) = f**3 - 20*f**2 + 20*f + 13. Let b be u(19). Let h = -11 + b. Is 16 a factor of h?
False
Let t(p) = 3*p**2 + 9*p + 5. Let x be t(-5). Does 4 divide (x - (-1 + 3))/1?
False
Let g(m) be the first derivative of m**4/4 + m**3 - 6. Let d be g(-3). Suppose f = -d*f + 6. Is 6 a factor of f?
True
Let t be 0/(-1)*5/10. Does 32 divide (t - -3 - -1)*32?
True
Let t(d) = -34*d**3 + d - 1. Let i be t(-1). Is 2 a factor of i + -7 + (9 - 4)?
True
Suppose -5*p + 4*p - 2*g - 2 = 0, 3*p - g = 22. Suppose -c + 17 = -p. Suppose -9 + c = 2*v. Does 3 divide v?
False
Let j(l) = 8*l**2 - l - 3. Let k(m) = 1 + 8 - m + 2*m + 1. Let a be k(-8). Does 14 divide j(a)?
False
Let u(o) = -119*o + 43. Is u(-5) a multiple of 29?
True
Let h = 3 + -3. Suppose 3*p - 7*p + 12 = h. Is 13 a factor of 175/p + 1/(-3)?
False
Let f(k) = -169*k + 182. Is 65 a factor of f(-10)?
False
Suppose -3*p = -3, -5*d - 11*p = -15*p - 5431. Is d a multiple of 69?
False
Suppose -4*n + 4 = 0, 0*j = 3*j + 5*n - 11. Let l(v) = 6 + 14*v - 2*v**2 - 2*v**3 + v**3 - 2*v**j - 5*v. Is 6 a factor of l(-6)?
True
Let g(k) = -k. Let r be g(-5). Suppose q + 35 = -r*y - 31, q + 31 = 2*y. Let b = 79 + q. Does 15 divide b?
False
Let w(n) = n + 1. Let d(b) = -2*b**2 - 11*b - 5. Let q(o) = d(o) + 3*w(o). Let j be q(-3). Suppose 25 = j*k - 