True
Suppose -3*h = -0*h. Let j(m) = m**3 - m**2 + m + 42. Let w be j(h). Suppose 4*i = i + w. Is i a multiple of 14?
True
Suppose 5*n + 160 = 520. Suppose -2*v - v = -n. Is 14 a factor of v?
False
Suppose -4 = 2*l - 14. Suppose 65 = -2*r + 3*r - 2*k, -l*r + k + 280 = 0. Is 19 a factor of r?
False
Suppose 3*j = j + 66. Let l = j + -70. Let i = 53 + l. Is i a multiple of 10?
False
Let j(x) = -2*x**2 + 9*x - 1. Let q be j(6). Suppose 36 = -s + 3. Let c = q - s. Is 6 a factor of c?
False
Does 15 divide (9/5)/((-3)/(-45))?
False
Let f = -48 + 71. Is 22 a factor of f?
False
Suppose -h = -4*j - 3 - 2, -3*h + 15 = 5*j. Suppose 5*o + 3*d = -0*o + 58, d = h*o - 74. Does 14 divide o?
True
Suppose 0*y = -5*y + 4*w + 347, -4*y + 280 = -4*w. Let s = y - 39. Is 7 a factor of s?
True
Suppose 4*o - 22 = 10. Let d = -4 + o. Suppose 3*m = d*m - 8. Is m a multiple of 8?
True
Suppose -13 = 4*x + 11. Let a(l) = l**2 + 4*l. Is 10 a factor of a(x)?
False
Suppose 0 = w - c - 5 - 0, 2*c = 3*w - 13. Let n = w - 1. Suppose 24 + 1 = m - 3*z, -m - n*z = 0. Does 7 divide m?
False
Let n = 10 - 27. Let t = -29 - n. Does 11 divide (-130)/t + (-1)/(-6)?
True
Let r(j) = -3*j + 0*j + 5*j**3 - 3*j**3 + 4*j. Let v be r(1). Suppose 0 = -v*n - 41 + 143. Does 16 divide n?
False
Does 12 divide 72 + (2 - (2 - 0))?
True
Let s be (-26)/(-10) + (-33)/55. Suppose 14 + 54 = s*l. Does 21 divide l?
False
Let t = 1 - -2. Suppose t*u - 186 = 4*u - 3*f, -4*u + f = 689. Does 9 divide ((-1)/3)/(3/u)?
False
Let n = 72 + -40. Is n a multiple of 8?
True
Let o(l) = -l**3 + 7*l**2 - 3*l + 4. Let b be o(6). Suppose 0 = 2*w - b - 36. Is w a multiple of 9?
False
Let y(j) = 6*j + 3. Let k be y(2). Let z = k + -10. Is 5 a factor of z?
True
Let k(o) = 7*o**2 - 4*o + 3. Let z be k(2). Suppose -4*j - 4*c = -41 - z, c + 29 = 2*j. Let s = j + -3. Is s a multiple of 12?
True
Suppose -69 = -0*l - l - 4*g, 2*g = -4. Is l a multiple of 11?
True
Let j = 15 + -7. Let z = -6 + j. Suppose 2*o + 82 = z*x, -x + 2*o + 0*o = -40. Does 14 divide x?
True
Suppose m + 6 = 5*f, 7*m = 3*m + 16. Suppose 0 = -3*r - f*r + 35. Is 3 a factor of r?
False
Suppose r + 4 = -5*a, -4*a + 7 = 2*r + 3. Suppose -3*g + 45 = 3*c, 5*c - 57 = g - r. Is 7 a factor of c?
False
Is 6*(20/8 + 2) a multiple of 9?
True
Let n be 5*-6*24/(-10). Suppose 21 = 3*k - n. Is k a multiple of 18?
False
Let i be (61/(-4))/(4/(-16)). Suppose 3*x + 3*s - 158 = -s, -x + i = 3*s. Is x a multiple of 31?
False
Let j(h) = 10*h - 2. Is 28 a factor of j(3)?
True
Let o be (-2)/4 - 14/4. Let i = o - -5. Suppose -9 + i = -y. Is 4 a factor of y?
True
Is 18 a factor of 9/(27/6) - (1 + -76)?
False
Suppose -4*v - 28 = -8*v. Is v a multiple of 2?
False
Let f be 8*(0 + -4 + 3). Does 2 divide f*1/((-4)/2)?
True
Let j = 190 + -183. Does 7 divide j?
True
Let l = -256 - -416. Is l a multiple of 10?
True
Is 14 a factor of (4 - -1)*2772/110?
True
Let a(g) = 2*g**2 - 2*g + 1. Suppose 4*m + 0*m + 4 = -t, 2*t = 2*m + 12. Let c be 1/m - 15/(-6). Is a(c) a multiple of 5?
True
Suppose -3*j = -2 - 4. Suppose -2*i - 3*u + 141 = j*i, 0 = -i + 5*u + 41. Is 16 a factor of i?
False
Let w(k) = -k**3 - 16*k**2 - 18*k - 21. Let f be w(-15). Suppose -83 = -2*m - 3*v, m + f = -5*v + 62. Does 9 divide m?
False
Suppose 0*m + 88 = 2*m. Suppose -5*a = -m - 26. Is a a multiple of 9?
False
Let o = 21 - 17. Is 2 a factor of o?
True
Is (2 - -30) + 4 + 0 a multiple of 10?
False
Suppose -t + 29 = -7. Does 8 divide t?
False
Let q(f) = -f**3 - 10*f**2 + 15*f - 4. Is 19 a factor of q(-12)?
False
Is ((-25)/10 - -4)*(-104)/(-6) a multiple of 4?
False
Suppose -97 = -3*m - 2*u, -4*m - 4*u + 19 = -3*m. Is m a multiple of 10?
False
Let h(k) = -k**3 - 3*k**2 + 3*k + 6. Let s be h(-4). Let a = 1 + -6. Is 11 a factor of -1 + s - (a + 3)?
True
Let a(t) = -230*t**3 - 2*t**2 + t + 2. Is 17 a factor of a(-1)?
False
Let v(f) = f - 1. Let w be v(6). Suppose -5*p - 4*q = -135, -2*q + 58 = w*p - 87. Is p a multiple of 14?
False
Let h be (-4)/(-3) - (-2)/3. Let y = 61 + -28. Suppose -h*v + y = -13. Does 8 divide v?
False
Let u(n) = -n**3 - n**2 + n - 8. Let a be u(0). Let j = a - -8. Let i(x) = x + 31. Is i(j) a multiple of 12?
False
Let c = -17 - -41. Does 12 divide c?
True
Let l(x) = 3*x**2 - 7*x - 5. Is l(-4) a multiple of 18?
False
Is (3 - 4)*32*-4 a multiple of 16?
True
Let v = -32 - -85. Does 11 divide v?
False
Let q = 174 - 122. Is 13 a factor of q?
True
Suppose 4*q - 2*w - 112 = 0, 5*q - 3*q + 5*w - 68 = 0. Suppose 4*x + 58 = -m, 5*m - 55 = 3*x - 0*x. Let z = q + x. Is z a multiple of 14?
True
Let d = 196 + 74. Is d a multiple of 30?
True
Suppose 108 = n + 3*r, 0*n - r + 292 = 3*n. Does 13 divide n?
False
Let w(o) = -2*o + 10. Let s(m) = 3*m + 2. Let r be s(-3). Is 7 a factor of w(r)?
False
Let p = 9 - 12. Let o(r) = 5*r**2 + 3*r. Is o(p) a multiple of 18?
True
Suppose 0 = 4*o - 3*t + 5 + 8, 2*o - t = -7. Suppose 0*g = 5*g + 4*s + 39, 2*g = 4*s - 38. Let y = o - g. Is y a multiple of 7?
True
Let d = 8 - 8. Suppose d = 3*k - 145 + 25. Is 12 a factor of k?
False
Let m be (-8)/18*-3*3. Let r be (-4)/(0 + m/(-22)). Suppose 0 = 4*n + n - 25, 0 = a + n - r. Is 11 a factor of a?
False
Let h(m) = m**3 - 9*m**2 + 5*m - 13. Is 32 a factor of h(9)?
True
Let q = -11 + 13. Let r(c) = 4*c**3 - 2*c**2 + 2*c - 2. Is r(q) a multiple of 13?
True
Let u = -35 + 134. Is 9 a factor of u?
True
Suppose 7*y - 379 = 125. Is y a multiple of 6?
True
Let v(t) = 10*t**2 + 4*t - 7. Is 19 a factor of v(3)?
True
Suppose 0*r + 2*r = 0. Suppose -4*t - 20 = -r*w + 5*w, 3*t = -3*w - 15. Suppose -2*y = 5*h - 21, w = y + 3*h - 4*h - 28. Does 8 divide y?
False
Let l(n) = -n**2 + 6*n - 1. Let y be l(5). Suppose 6*i = y*i + 56. Does 5 divide i?
False
Let s(b) be the second derivative of -b**5/20 - 5*b**4/6 - 2*b**3 - 13*b**2/2 + 5*b. Is s(-9) a multiple of 4?
False
Let d(p) be the third derivative of -p**4/24 + 11*p**3/6 + 2*p**2. Let z be d(6). Let m = 3 + z. Does 4 divide m?
True
Let y = 51 + -29. Does 9 divide y?
False
Let t(z) = -z**3 + 6*z**2 - 4*z - 4. Suppose -4*w - 10 = -2. Let f = w + 6. Is t(f) a multiple of 10?
False
Suppose 0 = 4*p + 4*s - 236, 4*s + 205 = -4*p + 7*p. Is p a multiple of 7?
True
Let x(w) = -127*w. Suppose -2*q - 7 + 3 = 0. Let p be x(q). Is 14 a factor of 2/(-9) + p/9?
True
Let q be 1/((-44)/(-24) + -2). Is 14 a factor of 63/q*(-8)/3?
True
Suppose -4*w + 18 = -2*i, 3 = i - 5*w + 24. Let y = 2 - i. Does 11 divide (3 + 2)/(1/y)?
False
Suppose -27 = 2*i - 71. Suppose 0 = -4*v - 5*j + 67, -6*j + 2*j = -v + i. Does 18 divide v?
True
Suppose 7*w + 20 - 174 = 0. Is w a multiple of 22?
True
Suppose 8*w = -4*k + 3*w + 361, -2*w = k - 88. Suppose 3*r = j - 27 + k, 2*j + 8 = 0. Is 17 a factor of r?
False
Let d = -47 - -77. Is d a multiple of 30?
True
Let k(m) = m**3 + 5*m**2 + 4*m. Let v be k(-3). Suppose v = f + 3*u, 4*u = -5*f + u + 42. Does 3 divide f?
True
Let j = -1 + 2. Let w be 3/j*4/(-4). Does 4 divide 7 - (w + 1)*1?
False
Does 4 divide ((-5)/(-5))/((-1)/(-12))?
True
Suppose 5*j - 109 = -0*j - 3*u, 5*u - 115 = -5*j. Suppose -4*s = 4*y - j, 2*y - 2 - 6 = -s. Suppose -y*z = -5*z + 46. Is z a multiple of 23?
True
Let n(p) = -4*p - 7. Let z be n(-3). Suppose 73 = -z*a + 6*a. Is 33 a factor of a?
False
Let k = 0 + 5. Suppose k*w - 59 = -2*i, -w - i = -0 - 13. Is w a multiple of 8?
False
Let g(l) = 3*l - 4. Let d be 58/6 - (-4)/12. Does 13 divide g(d)?
True
Let a(v) = v**2 - 3*v - 7. Let r be a(5). Let k(g) = 2*g**2 - g + 4. Does 6 divide k(r)?
False
Let x(j) = 36*j**3 + j**2 - j. Does 29 divide x(2)?
True
Let n = 38 - 26. Does 3 divide n?
True
Suppose -30 = 4*a - a. Let n be 1 + a - (-2 - 0). Let x = 3 - n. Is x a multiple of 10?
True
Let z(o) = o**3 - 10*o**2 + 10*o - 11. Let q be z(9). Does 5 divide ((-5)/(-4))/(q/(-16))?
True
Let r be ((-18)/27)/((-4)/354). Let m = -35 + r. Is 12 a factor of m?
True
Let s be -3 + 1*(-2 + 3). Let c be 2/7 - (-390)/(-42). Is c/s*4 - -2 a multiple of 9?
False
Suppose 5*z - 4*d - 41 = 0, 3*z + d + 3*d + 1 = 0. Suppose 2*f - 3*c = 10, 0*f - 15 = -3*f - z*c. Suppose -f*g + 14 = -4*g. Is 14 a factor of g?
True
Let u = 0 + 10. Let m = 14 - u. Suppose -i + 16 = b + i, -3*b + m*i - 2 = 0. Is 3 a factor of b?
True
Let c = -4 + 7. Suppose c*l - 148 = -g, 5*l + g = l + 196. Is 24 a factor of l?
True
Suppose -2*n + 158 = 