s 9 divide 0 + o/((-6)/(-27))?
True
Let g = -39 + 66. Is 7 a factor of g?
False
Is ((-12)/5)/(24/(-60)) a multiple of 2?
True
Let i(o) = -22*o + 4. Is 24 a factor of i(-2)?
True
Let c be -26*(3 - (-21)/(-6)). Suppose -19 = -2*u + c. Does 6 divide u?
False
Let j(h) = 15*h**2 - 3*h + 3. Is j(2) a multiple of 12?
False
Let f(k) = -23*k**3 - 2*k**2 - k. Is 22 a factor of f(-1)?
True
Let y(a) = -a**3 - a**2 - 9*a - 2. Is y(-4) a multiple of 16?
False
Let k = -18 - -51. Does 11 divide k?
True
Let g be 3*17/3 - 2. Suppose 0 = 5*r - g - 5. Is 4 a factor of r?
True
Suppose -3*i + 49 = 5*d, -3*d - 3*i - 2*i = -23. Is 8 a factor of d?
False
Let c(m) = 16*m**2 + 1. Let y be c(1). Suppose -2*f + 0*o + 2*o = -14, 4*o = -f + y. Is f a multiple of 4?
False
Suppose -3*u + a = -138, 3*u + 2*a + a - 138 = 0. Is 13 a factor of u?
False
Let v be 3/6*4*2. Suppose 0 = -o - 2*c + 40, -46 = 3*o - v*o + c. Suppose f + o = 3*f. Does 11 divide f?
True
Let a(n) = n + 12 + n - n. Is 12 a factor of a(0)?
True
Suppose -7*s = 14 - 602. Is 8 a factor of s?
False
Suppose -50 = -3*a + 2*a. Is a/4 - (-7)/(-14) a multiple of 12?
True
Suppose 2*k + 2 = 3*k. Suppose -4*v = 3*s - 92, -4*v + k = -s - 74. Is 6 a factor of v?
False
Does 8 divide (19/1)/(3 - 2)?
False
Let d = 0 - 0. Suppose d = -4*y + 4 + 20. Does 3 divide y?
True
Suppose 5*p + 11 = -2*n - 2*n, 2*p = -n + 1. Let s = n - -17. Is 8 a factor of s?
True
Let f(c) = c**2 + 9*c - 11. Let i be f(-10). Let y(d) = -27*d + 2. Is y(i) a multiple of 7?
False
Let b = -6 - 5. Let c(r) = r**3 + 3*r**2 + r + 1. Let m be c(-2). Is -1*(m - 2)*b a multiple of 11?
True
Let u(h) = 14*h**2 - h - 1. Is u(-1) a multiple of 3?
False
Suppose -98 = 2*a - 2*s + 3*s, 5*s = 3*a + 121. Let w = -23 - a. Does 4 divide w?
True
Let u(x) = 2*x - 1. Let r be u(-3). Let g = r - -23. Does 16 divide g?
True
Suppose -3*b + 6 = 0, 2*g - 5*b - 92 = -2*b. Is 49 a factor of g?
True
Let b = 44 - 6. Is b a multiple of 7?
False
Suppose -3*a = 2*a - 125. Suppose -5*t + 0*t + a = 0. Is 2 a factor of t?
False
Let y = 7 - -1. Let a be (-6 - 0)/(y/(-20)). Is 12 a factor of 30*-2*(-3)/a?
True
Let k(r) = -2*r**2 - 7*r - 9. Let o(g) be the third derivative of g**5/10 + 7*g**4/8 + 9*g**3/2 + g**2. Let y(u) = 8*k(u) + 3*o(u). Does 22 divide y(-7)?
False
Let b = 76 + -137. Let c = b + 124. Is c a multiple of 21?
True
Let x(c) = c**2 + 15*c - 10. Is x(-20) a multiple of 10?
True
Suppose o = 5*t - 24, -1 = 3*o + o - t. Let z = -18 - -19. Does 5 divide 8 + 2 + (o - z)?
True
Suppose 3*b = 2*b - z, 3*b - 4*z + 35 = 0. Let k = 21 - 61. Does 21 divide (-2 - b)*-1 - k?
False
Let f be (45/(-4))/(-5)*-12. Let n = f + 13. Is 972/21 - (-4)/n a multiple of 23?
True
Suppose 0 = -4*b - 4*n + 58 + 86, -42 = -b - 4*n. Does 13 divide b?
False
Let m(k) = -k**3 - 3*k**2 - 2*k - 2. Let z be m(-3). Let x be ((-32)/(-3))/(z/18). Suppose -147 + x = -3*h. Is h a multiple of 15?
False
Let h(q) = q - 9. Let n(s) = -s + 4. Let v(i) = -2*h(i) - 5*n(i). Let m be (-25)/(-15)*((-15)/(-3) - 2). Does 13 divide v(m)?
True
Let c = -5 - -9. Let n = 28 - c. Is n a multiple of 12?
True
Suppose -2*g - 6 = -g. Let r(d) = -d**2 - 5*d + 4. Let w be r(g). Let l = w - -6. Is l a multiple of 2?
True
Suppose 3*s + 8 + 1 = 0, 3*t = 3*s + 27. Let d = 10 + -14. Is ((-22)/(-1))/(d + t) a multiple of 4?
False
Suppose 0 = -5*h + o + 33, 4*h - 3*o = 18 + 15. Is 4 a factor of h?
False
Suppose i + 9 = -2*t, -2*t = 3*t - 15. Let j = 29 + i. Is j a multiple of 7?
True
Suppose 2*s = 6*s - 88. Suppose -s = -x - 1. Does 4 divide x?
False
Let g(s) = 6*s**3 - s**2. Let q be g(1). Suppose -6 = -6*u + q*u. Suppose -a + 10 = -u. Is a a multiple of 13?
False
Let s be (-12)/10*(-10)/4. Suppose -4*d = 4*u - 84, s = d - u - 8. Suppose 0 = -5*v - 3*k + 39 + 53, -4*k = -d. Is 8 a factor of v?
True
Let f be 4 + -1 - 6 - (-4 + -139). Let u be (-6)/7*14/(-2). Suppose u*k = k + f. Does 28 divide k?
True
Let m = 16 - 14. Is (67 - m)*12/20 a multiple of 13?
True
Let f(u) = 13*u - 1. Is 18 a factor of f(4)?
False
Suppose -5*i - 19 = 11. Let o(c) = -c**3 - 5*c**2 + 6*c + 4. Let m be o(i). Let n = m - 0. Does 2 divide n?
True
Suppose -16 = -2*s + 10. Does 5 divide s?
False
Let y(b) = -b + 22. Let u be y(0). Let c = u + -5. Does 9 divide c?
False
Let g(a) = -a - 10. Let l be g(-10). Let z = 12 - l. Does 9 divide z?
False
Is -1*(-2 - 1) - -27 a multiple of 10?
True
Let z = 21 + -19. Suppose -255 = -z*h - h. Does 17 divide h?
True
Let a(j) be the second derivative of j**6/360 - 7*j**5/120 + 11*j**4/24 + j**3/2 + 2*j. Let l(n) be the second derivative of a(n). Does 13 divide l(9)?
False
Let z be (-1)/((-4)/3 - -1). Suppose 0*f - 75 = 2*v + 5*f, 135 = -z*v - 3*f. Let j = v - -113. Is 16 a factor of j?
False
Suppose -16 = 5*m - 36. Suppose 2*b = y + m, -4*y - 3*b = -5*b + 4. Does 25 divide (-2 - (y + -2)) + 56?
False
Let c(w) = w**3 + 10*w**2 - 5*w - 9. Does 10 divide c(-10)?
False
Suppose -i = i - 24. Does 6 divide i?
True
Suppose 5*y = y + 16. Suppose q + 29 = -5*c, -y*c - 27 = q - 4*q. Let g = 11 + c. Is g a multiple of 2?
False
Suppose -2*q - 3*q - 2*j = -1288, -5*q + 1289 = j. Is 16 a factor of q?
False
Suppose 11 = 5*s + x - 1, 2*s + 4*x = 12. Suppose 0*g - 54 = -s*g. Is g a multiple of 14?
False
Suppose -2*w + 378 = 2*t, -109 = -2*w - t + 272. Suppose -2*h + 5*h - w = 0. Is 32 a factor of h?
True
Suppose 0 = -4*k + 4*f, 0*k = -3*k + 4*f - 2. Suppose 3*j = 2*w - 21, -3*j + j + k = 4*w. Is w a multiple of 2?
False
Let u = -6 + 8. Let i be (2/4)/(u/(-36)). Does 3 divide 6/(-9)*(i - 0)?
True
Is 2*(1/3)/(6/522) a multiple of 15?
False
Let s(t) = -5 - 37*t + 41*t + 7*t**2 - 2*t**3 + 3*t**3. Let w = -13 + 7. Is 7 a factor of s(w)?
True
Suppose -8*b + 81 = -5*b. Does 7 divide b?
False
Let w = -93 + 177. Is w a multiple of 21?
True
Let m(g) be the second derivative of 3*g**5/20 - g**2/2 + 2*g. Does 2 divide m(1)?
True
Let s(y) = y**2 - 3*y + 9. Is 8 a factor of s(6)?
False
Suppose -36 = -3*j + 2*k, 24 + 29 = 5*j - k. Let y = j - 7. Suppose -x + 7 = y*s, 5*x - s - 49 = 3*x. Is x a multiple of 7?
False
Let m(x) = -x**3 + 7*x**2 + x - 5. Let g be -2 + 18*(-2)/(-4). Let p be m(g). Suppose p*j - 4*j - 2*n = 0, 3*j - 25 = 2*n. Is j a multiple of 3?
False
Let l(a) = -2*a - 1. Let r be l(-8). Suppose 0 = -4*s + 3*t - 8*t + r, t - 3 = 4*s. Suppose s*f = f - 8. Is 6 a factor of f?
False
Let c be (-1 - -1)*(2 - 3). Suppose c = -4*g + 2*g - 6. Let x(p) = p**2 + 2*p + 2. Does 3 divide x(g)?
False
Let c = -161 + 274. Is 8 a factor of c?
False
Let n = 54 + 36. Does 27 divide n?
False
Suppose -2*d - 20 + 84 = 0. Does 9 divide d?
False
Suppose -145 = -3*f + 71. Does 24 divide f?
True
Let y(g) = 110*g**2. Let x be y(-1). Suppose -5*v - 30 = -x. Is 3 a factor of v?
False
Let d be 4/(-18) + 274/18. Let x = d - 10. Suppose w - 50 = -0*w - 2*g, -w + x*g + 15 = 0. Is 15 a factor of w?
False
Let y = 21 - -30. Is y a multiple of 17?
True
Suppose 2*w - 3*l - 414 = -w, -5*l = 4*w - 507. Suppose 13 = -3*k + w. Is k a multiple of 10?
True
Let o(l) = -11*l + 1. Let z = -17 + 16. Is o(z) a multiple of 8?
False
Let s(p) = 13*p**2 - 9. Let r(m) = 3*m**2 - 2. Let d(a) = 9*r(a) - 2*s(a). Let v be d(0). Suppose -2*z = -2*q + 2*z + 64, 5*z - 10 = v. Does 18 divide q?
True
Let n = -5 - -7. Let x(m) = -9*m**2 + 9*m**2 - 3*m + 2 + 3*m**n. Is 19 a factor of x(4)?
True
Suppose -4*s - 5*c = -s - 133, s - 2*c - 59 = 0. Suppose -4*i - 15 + s = 0. Is 9 a factor of i?
True
Let i(j) = j**3 + 13*j**2 + 16*j - 2. Is 8 a factor of i(-11)?
True
Let q(y) = 1 + 11*y**2 + y**3 - 16*y + 0*y**3 - 18. Let z be q(-12). Suppose 5*o = -4*r + 27, 3*o - 5*r = -0 + z. Is o a multiple of 4?
False
Suppose 5*p + 83 = u, -3 = -p - 2*u - 13. Let c be 9/2*p/(-6). Does 8 divide 35/(-2)*c/(-15)?
False
Let w be ((-141)/(-12) + 0)*4. Let y = 83 - w. Is y a multiple of 12?
True
Suppose -5*m + 80 = -3*m. Is m a multiple of 8?
True
Let w(r) = r**2 - 3. Suppose -12 = -3*o + 6. Is w(o) a multiple of 33?
True
Suppose 1 + 11 = -3*b. Let o(n) = -2*n. Let s be o(b). Is 153/12 - 6/s a multiple of 6?
True
Let k be 2*4/(-12)*-9. Is 11 a factor of k/(-8) - 235/(-4)?
False
Suppose -2*j + 3*n + 7 = 0, -5*j - 5*n = -0*j + 45. Let l(z) = -7*z - 6. Is 9 a factor of l(j)?
False
Let a(k) = -6*k**2 - 30*k + 39. Let o(b) = -b**2 - 6*b + 8. Let w(v) = -2*a(