ide 84/8 + 3/2?
True
Let g = -106 + 152. Is 23 a factor of g?
True
Let s = -8 + 13. Suppose -3*w = -s - 1. Let y(z) = 4*z**3 - z**2 + z - 2. Does 15 divide y(w)?
False
Let p(t) = -t**2 - 3*t - 3. Let j be p(-5). Let o = 23 + j. Is o a multiple of 10?
True
Let u(b) = -b**2 - 15. Let t be u(7). Let n = t + 112. Is 15 a factor of n?
False
Let f(d) = -d**3 + 5*d**2 + 4*d - 13. Is 7 a factor of f(5)?
True
Let x(f) = -2*f + 6 + 5*f + 4*f + 4*f**2 - 3*f**2. Is 14 a factor of x(-8)?
True
Let a = 31 + 13. Is 11 a factor of a?
True
Let h(b) = -3*b**3 + 7*b**2 + 2*b + 2. Let d(m) = -m**3 - m. Let n(c) = 2*d(c) - h(c). Let i be n(7). Is 3 a factor of (2/5)/((-2)/i)?
True
Let f(j) = -j**2 + 7*j + 4. Let u be f(7). Is u + (-4 - -2) + 18 a multiple of 20?
True
Let v = -4 + 4. Suppose c = i - 7, v = -5*i + i - 4*c + 44. Is i a multiple of 3?
True
Let b be (3/3)/(-1) - -433. Suppose 64 = -4*k + b. Suppose 0 = -3*x - x + k. Does 9 divide x?
False
Does 22 divide ((-3)/(-6))/(2/88)?
True
Let h = 11 - 8. Is ((-7)/h)/((-3)/36) a multiple of 7?
True
Let g = -46 + 91. Is g a multiple of 15?
True
Suppose 4*i - 134 = -54. Is 4 a factor of i?
True
Let r(m) = -2*m**3 + 2*m. Let d be r(2). Let q be (-26)/(-3) - d/(-18). Let s(b) = 2*b - 1. Is 9 a factor of s(q)?
False
Let q(b) be the first derivative of -b**4/4 + 2*b**3 - 3*b**2/2 - 2*b - 5. Suppose -v = v - 8. Is 9 a factor of q(v)?
True
Let x = -341 + 587. Is x a multiple of 25?
False
Suppose 76 = 4*h - 6*h. Suppose -9 = 2*w + y, -w - 3 - 9 = 3*y. Let n = w - h. Is 20 a factor of n?
False
Does 11 divide (564/(-10))/((-7)/(350/15))?
False
Suppose 0 = -5*j - 1648 - 932. Suppose -9 - 1 = 5*o. Does 17 divide j/(-15) - o/(-5)?
True
Let q = -4 - -6. Suppose 0 = -u - i, -u - i = -q*i - 10. Suppose -k + u*k - 80 = 0. Does 20 divide k?
True
Let h be 15/3 + -2 + -1. Suppose -27 = -5*b + h*b. Is b a multiple of 9?
True
Let d(l) = -9*l**3 + 22*l**2 - 7*l + 16. Let h(z) = -4*z**3 + 11*z**2 - 3*z + 8. Let s(x) = -3*d(x) + 7*h(x). Is s(11) a multiple of 2?
True
Let u be 8/(-12)*(-9)/2. Suppose 10 + 8 = -u*j. Let o(b) = -b + 7. Is 13 a factor of o(j)?
True
Suppose 3*q = 4*b + 96, 4*q = -2 + 18. Let l = 84 + -39. Let j = l + b. Is 12 a factor of j?
True
Suppose -415 = -3*y + 35. Does 30 divide y?
True
Suppose -3*s = -15, -5*s = -2*r + 44 + 5. Let y = -47 - -80. Suppose -r = -5*x + z + y, -4*z - 20 = 0. Is x a multiple of 12?
False
Suppose 5*v = 5*r - 25, 0*r - 2*v + 6 = 2*r. Is 3 a factor of r?
False
Suppose -2*z = 3*z - 4*n - 65, 5*z - 3*n - 70 = 0. Suppose 3*t - 65 = -z. Is t a multiple of 16?
True
Let q(s) be the second derivative of -s**3/6 + 13*s**2/2 + s. Let d be q(0). Let o = 1 + d. Does 14 divide o?
True
Suppose -4*z + 8*z = 140. Suppose -5*s - 74 + 11 = -2*c, -c - s = -z. Does 11 divide c?
False
Let j(d) = -d**3 - d**2 - d + 2. Let r be j(0). Let n = 21 + r. Let u = n + -15. Is 8 a factor of u?
True
Let x be 15 - (-1)/(-1 - -2). Let r(f) = -2*f**2 + 3*f + 3. Let v be r(3). Let h = x - v. Is h a multiple of 8?
False
Let i(k) = 5*k + 5. Let l(b) = -b - 1. Let h(v) = -2*i(v) - 11*l(v). Let m be h(4). Is (-54)/(-15)*m/2 a multiple of 9?
True
Let j(s) = 0 - 6 + 8 + 13 - s - s**2 - s**3. Is 5 a factor of j(0)?
True
Suppose -25 + 10 = -5*a. Does 3 divide a?
True
Suppose 88 = 2*o + 2*o. Let q = 32 - o. Does 5 divide q?
True
Let u = 14 - 9. Let o be (6/u)/(4/10). Suppose -s = 2*s + o*p - 57, -67 = -4*s - p. Does 8 divide s?
True
Suppose -4 - 10 = 2*y. Is y - -9 - (-14)/2 a multiple of 7?
False
Suppose -4*v - 4*r + 1 = -35, 2*r = -4*v + 42. Suppose 0 = 2*z - 6, 20 = 5*k + 4*z - v. Suppose 4*m = -2*s + 228, -272 = -7*m + 2*m + k*s. Is 21 a factor of m?
False
Suppose 2*d + 3 - 13 = 0. Suppose -5 - 50 = -d*a. Is 11 a factor of a?
True
Suppose 5*o - 3*x + 26 - 214 = 0, -164 = -4*o - x. Does 5 divide o?
True
Suppose -z - 22 = -2*z. Suppose -2 = -4*f + z. Does 3 divide f?
True
Suppose -3*m - 4*w + 2 = 0, -4*m + w + 9 = -0*w. Suppose y - m*y = 0. Suppose y = 4*o + 5*l - 29, -4*l + 14 - 4 = 2*o. Is 9 a factor of o?
False
Suppose 4*l = -l + 25. Suppose 2*c = l*c - 213. Is 26 a factor of c?
False
Let m be (-2)/(-4) + (-13)/(-2). Let z(y) = y**2 - 7*y + 4. Does 4 divide z(m)?
True
Let h(a) = -a**2 + 8*a - 7. Let s be h(5). Suppose -s = 2*d - 4*d. Is 4 a factor of d?
True
Suppose -2*i - 5*c = -19 - 23, -5*c = 3*i - 68. Does 6 divide i?
False
Suppose -j + 70 = 4*d - 3*j, 4*j - 40 = -4*d. Suppose -2*c - c = d, 3*v + 17 = -4*c. Suppose -5*g + v + 119 = 0. Does 11 divide g?
False
Let u(a) = -a**3 - 22*a**2 - 30*a + 9. Does 12 divide u(-21)?
False
Suppose 0 = -4*w - 3*w + 112. Does 15 divide w?
False
Let p = 37 - 21. Is p a multiple of 10?
False
Suppose 0 = 2*q + q - 15. Suppose -q*u = -10*u - 10. Is (u/(-3))/((-3)/(-45)) a multiple of 4?
False
Let o be (-6)/(-24) + (-170)/8. Let v(a) = -a**3 + 8*a**2 + 3. Let y be v(8). Is 8 a factor of 2/(-3)*y - o?
False
Suppose -4*y + 5 + 3 = 0. Suppose -6 = -2*u - y. Is 1/((-39)/(-18) - u) a multiple of 5?
False
Let g(w) = -w**2 + 5*w - 3. Let s be g(3). Suppose 44 = 3*x + s*c + 134, 3*c = x + 30. Let b = 74 + x. Is 18 a factor of b?
False
Suppose -1 - 24 = -5*j. Let w = -110 - -198. Suppose w = -q + j*q. Is q a multiple of 11?
True
Let x = 49 - -11. Does 12 divide x?
True
Let r be -2 + (0 - -1) - -77. Suppose -3*g - r = i - 3*i, 3*g - 76 = -2*i. Does 24 divide i?
False
Suppose -10*t + 9*t = -51. Does 19 divide t?
False
Does 21 divide (-2)/7 - 783/(-21)?
False
Let b(n) = -n**3 - 3*n**2 - 1. Let k be b(-3). Is 3 - -23 - (k + 1) a multiple of 13?
True
Let m = 427 - 60. Is 11 a factor of m?
False
Let n be 2/(-1) + (4 - -1). Suppose -n*f = 0, -r + f + 16 = -34. Does 26 divide r?
False
Let y(c) = 4*c**2 + c + 1. Let r(u) = -u**2 - 7*u + 9. Let f be r(-8). Does 4 divide y(f)?
False
Is 1016/8 - (1 + 3) a multiple of 13?
False
Let c be (2/(-1))/(1/(-24)). Suppose 4*m - 2*m - c = 0. Does 12 divide m?
True
Does 12 divide 342/14 - (-9)/(-21)?
True
Let v be 16/6*6/4. Let q(h) = -11*h**2 + 2*h + 1. Let k be q(-1). Does 8 divide (-106)/(-6) - v/k?
False
Let b = -121 - -131. Is 10 a factor of b?
True
Let q(c) = c**3 + c**2 + c + 1. Let h(b) = -6*b**3 + 4*b**2 + 2*b + 3. Let i(l) = -h(l) + 3*q(l). Does 7 divide i(1)?
False
Let y(x) = 27*x**2 - 5*x - 6. Does 7 divide y(-2)?
True
Let m(d) = -1 + d**2 + 5*d**2 + 0*d - d**2 - 2*d. Suppose 0 = 2*g - r - 7, -5*g - 2*r - 1 + 5 = 0. Is 6 a factor of m(g)?
False
Let n be (-2)/(-3)*(-9)/(-6). Let a = n - -2. Is a a multiple of 3?
True
Let g = -3 + 8. Suppose -g*f - z - 17 = -123, -4*z = f - 25. Does 6 divide f?
False
Is 4/(1 + (-63)/66) a multiple of 20?
False
Let h be (1 - -14)*(-1)/(-3). Suppose -l + 9 = j, h*j + 35 = 3*l - 8. Is 11 a factor of l?
True
Suppose 0*c + 135 = 3*c. Is c a multiple of 11?
False
Is ((-3)/(-6))/(1 - 231/234) a multiple of 13?
True
Let n(w) = -16*w + 3. Is n(-3) a multiple of 23?
False
Is (-5)/(-15)*18/2 a multiple of 2?
False
Let u(r) = 2*r + 3. Let s be u(0). Suppose 432 = a + s*a - 4*v, -v = -5*a + 548. Is 29 a factor of a?
False
Let a(k) = 2*k - 6. Let h = 14 + -9. Let r be a(h). Is 8 a factor of 89/r - 1/4?
False
Suppose 5*t = 3*q + 11, 5*t - 2*t = q + 9. Is q/(-1) - -2 - -52 a multiple of 17?
True
Suppose 0 = 3*x - b - 171, 2*x - 91 = b + 24. Is 14 a factor of x?
True
Let q = 272 + -56. Is 24 a factor of q?
True
Does 3 divide -14 + 21 + 0 + 2?
True
Let i(d) = -14*d - 34. Does 7 divide i(-4)?
False
Let g be 5 + (-3 - -4)*-3. Let q be 0 + g*(-6)/(-4). Let l(d) = 2*d**2 - d + 2. Does 9 divide l(q)?
False
Let a = 7 - 6. Let l(w) = -w - 9*w - a - 6*w + 2. Does 11 divide l(-2)?
True
Let l = 60 + -1. Suppose -3*m - l = -2*j, 2*j + 2*m + 3*m - 83 = 0. Suppose 3*b - j = 2*a, -5*a = 2*b - a + 4. Is 8 a factor of b?
True
Let t(d) = -7*d - 1. Let y be 2 + (0 - -3)/1. Let g be (-7)/y + 4/10. Does 4 divide t(g)?
False
Suppose -v + 4 + 65 = 0. Let u be -1*(-2 - v - 2). Suppose -5*x - 23 = -u. Is x a multiple of 5?
True
Let h(q) be the first derivative of q - 1/4*q**4 + 3 + 5/2*q**2 + 7/3*q**3. Does 18 divide h(7)?
True
Suppose 28 = 4*w - 4. Let s = w - 3. Let q(i) = i + 2. Is 4 a factor of q(s)?
False
Let v = -13 - -21. Is v*(-3)/6*-6 a multiple of 12?
True
Let y(q) = 6*q + 6. Suppose 12 = s + 3*s. Does 10 divide y(s)?
False
Suppose -u = 4*u + 4*l - 16, 3*u + 2*l = 8.