c + j + j + r. Is c a multiple of 4?
True
Suppose 3*i - 61 = -a + 2*i, -4*a - 2*i = -234. Suppose 4*b - a - 92 = 0. Does 13 divide b?
False
Suppose 0 = 5*u + 10*u - 1950. Is u a multiple of 55?
False
Let j(y) = y**2 + 5*y - 4. Let a be j(-6). Let s(n) = a + 0 - n + 6*n. Does 12 divide s(6)?
False
Let v be (-265)/(-2) - 2/4. Let y be -2 + v/(-3)*-1. Suppose y = 3*f + 9. Is 10 a factor of f?
False
Let c be (12/10)/((-21)/(-490)). Let q = 51 - c. Is q a multiple of 11?
False
Let j be (-2)/(20/4 + -3). Let t(i) = 11*i - 32*i - 12*i. Is t(j) a multiple of 11?
True
Suppose u = -4*u + 100. Suppose 4*q = q + p + 40, -3*q - 4*p + u = 0. Is 6 a factor of q?
True
Let z = -23 + 11. Let g be 3/(2 - (-27)/z). Is (-114)/g - (-1)/(-2) a multiple of 5?
False
Suppose 5*g + 1 + 34 = 0. Let p(t) = t**3 + 7*t**2 - 6*t - 3. Is 19 a factor of p(g)?
False
Let f(x) = -13*x**2 + 2*x + 2. Let h be f(2). Let l = -31 - h. Is 4 a factor of l?
False
Let y(u) = u**3 - 7*u**2 + 4*u. Does 23 divide y(7)?
False
Suppose 0*n - 2*n = -30. Is n a multiple of 13?
False
Let c(m) = 2*m**3 + 5*m**2 - 5*m. Let k(j) = 3*j**3 + 7*j**2 - 7*j. Let f(a) = -7*c(a) + 5*k(a). Let u be 6/(-21) - (-32)/14. Does 7 divide f(u)?
False
Suppose -12 = -z - 3*z + 4*t, 13 = 3*z + t. Suppose -4*k - 2*d = -34, 2*d = -z*k + 7*d + 41. Is 7 a factor of k?
False
Let p(m) = m**2 + 6*m + 4. Suppose a + 35 = -4*a. Let x be (-1)/1 - (-49)/a. Does 7 divide p(x)?
False
Let i = -3 + 1. Let q be 2*(i + 5 + -2). Suppose -82 = -4*j - q*h, 44 = 5*j - 4*h - 39. Does 19 divide j?
True
Let b be 1 - 2 - (-1)/1. Suppose -c = -b*c - v - 26, 0 = 5*c + 3*v - 146. Let o = 44 - c. Is o a multiple of 16?
True
Let r(x) be the first derivative of -x**3/3 + 3*x**2 + x - 4. Is r(5) a multiple of 6?
True
Let t = 235 + -132. Suppose -t = -c - 4. Suppose c = -0*o + 3*o. Is o a multiple of 14?
False
Suppose -8 = p - 2*h, 0 = -2*p + 5*p - 4*h + 16. Let q = -31 + 84. Suppose -3*x = 2*t - q, -2*t - x = -p*t - 59. Is t a multiple of 13?
False
Let u(t) = t**3 + 4*t**2 + 3*t + 1. Let d be u(-2). Suppose -d*x + 72 = 9. Is 3/((-18)/(-10))*x a multiple of 13?
False
Let b(t) = t**2 + 3*t - 53. Does 2 divide b(-11)?
False
Let g(c) = c**2 + 6*c + 6. Let i be g(-4). Does 15 divide (5/i)/(2/(-12))?
True
Let b = 6 + -1. Is b a multiple of 3?
False
Let f(p) = 0*p + 2*p - 1 + 5*p + 3. Let d = -4 - -8. Is f(d) a multiple of 15?
True
Suppose 5*d = 3*d - 4. Let z be 1*1*d*-1. Suppose l = -z*s + 6, l = s - 0 - 6. Is 2 a factor of s?
True
Is (-39)/(-6) - 3/(-6) a multiple of 2?
False
Let u(k) = 8*k**2 - 6*k - 13. Does 45 divide u(6)?
False
Suppose -f + 2*o = 2*f - 48, -4*o = 0. Suppose f = -4*b - 4. Is 13 a factor of (-6)/(b/(130/4))?
True
Suppose v = -d + 1, v + 3*v - 32 = 3*d. Suppose v*w + p + 4*p = 45, -w + 29 = -3*p. Is 14 a factor of w?
True
Suppose -a = 5*c - 97, -5*c + 32 - 7 = 0. Is 18 a factor of a?
True
Let a = -1 + 0. Let l be 2 - (a + 2 + -2). Suppose -27 = -4*r - l*f + 4*f, -4*f + 12 = 4*r. Is 2 a factor of r?
True
Let g(o) = o**2 - o - 8. Is 3 a factor of g(-5)?
False
Let a be ((-8)/(-10))/((-10)/25). Is 31 + (a - -1) + -2 a multiple of 7?
True
Suppose 4*o = d + 4*d - 428, -5*d + 2*o + 434 = 0. Is d a multiple of 15?
False
Suppose 0*l = -3*l - 4*c + 114, 0 = -5*c. Is 19 a factor of l?
True
Suppose -72*l + 75*l - 108 = 0. Is 6 a factor of l?
True
Suppose 0 = -q - 6. Let f = 8 + q. Is (6/(-6))/(f/(-30)) a multiple of 5?
True
Let w = 7 + -6. Let b(u) = -5*u - 3 + 1 + 0 + w. Is b(-1) a multiple of 3?
False
Suppose -175 = -5*n - 0*n. Let b be 44 - (-2 - -3)*-1. Suppose -b = -4*g + n. Does 10 divide g?
True
Let u = -1 - 4. Let n = 16 + u. Let m = -4 + n. Is m a multiple of 7?
True
Let y = -1 - -3. Does 7 divide 86/3 + y/(-3)?
True
Suppose 4*i + 20 = 6*i. Suppose 3*l + 3*d = 0, 2*l + i - 4 = d. Let q = 7 + l. Is 3 a factor of q?
False
Let n be (-19)/(-5) - 1/(-5). Is 19 - (n - 1 - 2) a multiple of 6?
True
Let w(q) = -29*q + 15. Let z(l) = -14*l + 7. Let m(b) = 2*w(b) - 5*z(b). Let t be m(6). Suppose 3*d - 54 = -4*x, d + 4*d - x = t. Is 10 a factor of d?
False
Let d = -1 + 43. Does 9 divide d?
False
Let s be (-1 + -2)/(3/(-4)). Suppose 0*r - 16 = -s*r. Is r a multiple of 4?
True
Suppose -2*g - 192 = -8*g. Does 16 divide g?
True
Does 13 divide (-6)/(-27) - 1520/(-45)?
False
Is 3 a factor of (-14)/(-28) + (-261)/(-6)?
False
Let n(t) = -t**3 + 5*t**2 - 2. Let f be n(5). Let u be (f - -5)/((-9)/12). Is 66/(u/(-2)) - 1 a multiple of 15?
False
Suppose 3*l + 76 = 7*l. Does 4 divide l?
False
Suppose -2*k + 0*f = -3*f - 203, 4*k + 4*f - 456 = 0. Is 12 a factor of k?
False
Let p(b) = -4 - 4*b**2 - b + 1 + 5*b**2. Is 4 a factor of p(4)?
False
Let g = 10 + 0. Let d = g + -21. Let y = -2 - d. Does 4 divide y?
False
Let p(t) = -t**2 + 9*t + 12. Let b be p(10). Suppose b*i - 253 = -3*q, -3*q - 147 = -5*q + 3*i. Is q a multiple of 27?
True
Suppose -c + 0*c = -12. Is c a multiple of 4?
True
Let z(b) = -b**2 - 1. Let o be z(-2). Let r(y) = -2*y**3 - 7*y**2 - 2*y - 4. Let q be r(o). Is (-1)/(q/42 - 2) a multiple of 10?
False
Let r(u) = -3*u + 1. Let b be r(-1). Let i = b - 7. Does 11 divide 25 - (-3 + i + 7)?
False
Suppose 3*r - 106 - 434 = 0. Is r a multiple of 15?
True
Suppose -2*r + 11 = 1, -2*r = -2*l + 36. Does 3 divide l?
False
Let k = 11 - -44. Is k a multiple of 11?
True
Let v(l) = 3*l - 29. Does 4 divide v(15)?
True
Suppose 3*r - 24 - 21 = 0. Is r a multiple of 5?
True
Let h(m) = 13*m + 13. Let s(r) = 6*r + 6. Let p(k) = 2*h(k) - 5*s(k). Is p(-9) a multiple of 16?
True
Suppose -u - 10 = -2*c - 3*u, 17 = c + 5*u. Let j = 10 + c. Suppose 0 = 3*i - 5*k - 8, -4*i + j = k - 14. Does 6 divide i?
True
Let i(d) = -5*d**2 - 3*d. Let r(g) = 11*g**2 + 6*g. Let o(w) = -9*i(w) - 4*r(w). Let b be o(-6). Suppose 4*k = -2 + b. Is k a multiple of 2?
True
Let m be (0 - -1) + (0 - -1). Suppose -5*a + 12 = o + m*o, -2*o + 8 = -5*a. Suppose 5*l - 100 = -3*u, 0*u - o*l + 31 = u. Does 14 divide u?
False
Let o(k) = k**3 + 9*k**2 - 3*k + 3. Is o(-9) a multiple of 10?
True
Suppose 5*c - 102 = 78. Is c a multiple of 12?
True
Let c(q) = -q**2 + 10*q - 5. Suppose 3*y = -2*y + 45. Let u be c(y). Suppose -u*i + 70 = -2*i. Does 15 divide i?
False
Let a = -19 - -54. Suppose -2*l = -a - 13. Does 12 divide l?
True
Let a(j) = -j**3 + 6*j**2 + 13*j - 6. Is 12 a factor of a(6)?
True
Let t(q) be the first derivative of -5*q**2/2 - q + 3. Let m be t(-2). Suppose -m*g = -5*g - 108. Is 9 a factor of g?
True
Does 5 divide ((-22)/5 + 2)/((-4)/110)?
False
Let d = -48 + 96. Is d a multiple of 22?
False
Let b(c) = 6*c**2 - c - 1. Let p(w) = 7*w**2 - 2*w - 2. Suppose 0*k + 12 = -4*k. Let y(d) = k*p(d) + 4*b(d). Does 5 divide y(-2)?
True
Let m be (-1)/(-2) + (-8)/16. Suppose m = 2*y - 10 - 0. Does 2 divide y?
False
Let y = -17 + 32. Does 15 divide y?
True
Let x = 62 - 22. Is x a multiple of 31?
False
Let z(g) = 35*g**2 + 3. Does 52 divide z(-2)?
False
Let y be (-1*1)/((-13)/65). Let v(z) be the second derivative of z**3 - 7*z**2/2 + z. Is 9 a factor of v(y)?
False
Suppose -11*w + 250 = -6*w. Is w a multiple of 25?
True
Suppose -5*j = -j. Let s(b) = 78*b**2 + b + 1. Let z be s(-1). Suppose -2*l + 0*l + z = j. Is 14 a factor of l?
False
Let x = -7 - -4. Let v = 3 - x. Is -3 + (-51)/(-6)*v a multiple of 16?
True
Suppose -3*y + 238 = 5*c, 0 = 3*y + 12. Let u = c + -20. Is u a multiple of 15?
True
Let x = 9 - 7. Let k be 3*x/18*6. Does 9 divide -42*1*k/(-4)?
False
Let s(x) = -x**3 - 7*x**2 + 5. Suppose -3*w - 28 + 7 = 0. Let h be s(w). Suppose -4 + 55 = 5*q + 2*u, 3*q - 23 = -h*u. Is q a multiple of 11?
True
Let f(x) = 4*x - 5. Let z be f(2). Suppose 0 = -3*p + 2*l + 47, -3*l = -z*p + 2*p + 11. Is p a multiple of 6?
False
Let k(h) be the third derivative of 0 - 2*h**2 + 0*h + 1/24*h**4 + 5/3*h**3. Is k(-7) even?
False
Suppose -6 = -5*a + 4. Suppose -r - v = -3, a*r = -3*v + 1 + 5. Suppose 0 = -2*n + r*z + 19, 3*z = -0*z - 3. Is 4 a factor of n?
True
Suppose -18*v - 56 = -22*v. Does 7 divide v?
True
Let u(z) be the first derivative of -z**2/2 + 5*z + 2. Is 3 a factor of u(0)?
False
Let x(j) = 8*j + 3. Is x(3) a multiple of 11?
False
Is 13 a factor of 13*4/((-4)/(-3))?
True
Suppose -4*l = -l. Let o be l + -1 + 0 + 5. Suppose 5*w + 0*j + o*j = 134, -5*w = 2*j - 132. Is 13 a factor of w?
True
Let z(f) = -f + 3. Let 