10 + 12. Suppose -h*c + 3 + 19 = 2*x, 61 = 5*c + 2*x. Is 5 a factor of c?
False
Suppose 0*t = -t + 9. Suppose 0*b - t = -3*b, -2*y = b - 65. Is y a multiple of 14?
False
Let d(c) = 3*c + 3. Let o(q) = 2*q + 3. Suppose 0*u + 4*u = -20. Let r(j) = u*d(j) + 4*o(j). Is r(-6) a multiple of 13?
True
Let o = 28 - 17. Does 11 divide o?
True
Let g = 5 + -3. Is 4 a factor of -4 + 52/g + -2?
True
Let g = -2 + 3. Let t be (-1 - (-4 + -2))*g. Suppose 58 = d + t*f, -f - 41 = -2*d + 4*f. Is 17 a factor of d?
False
Suppose 0 = -4*q - 28 + 88. Suppose -q = -w + 51. Is w a multiple of 22?
True
Is 74 + 3*(-1 + 0 + 2) a multiple of 11?
True
Let c = -7 - -7. Suppose c - 7 = -p. Is p a multiple of 5?
False
Suppose 2*p - 11 = -2*k + k, 0 = -2*p + 4*k - 14. Is 3 a factor of p?
True
Let k = 59 - 24. Does 5 divide k?
True
Suppose -x = -6*x - 5*k - 50, 2*x - 3*k + 5 = 0. Let h(s) be the second derivative of s**5/20 + s**4/2 - 7*s**3/6 + 7*s**2/2 - s. Is 3 a factor of h(x)?
False
Let v(z) be the second derivative of -z**3/2 + 2*z. Let s be v(1). Let m = s + 14. Is m a multiple of 10?
False
Let z be (-4)/(-6) + (-7)/(-3). Suppose -v + 0 = -z. Suppose u + 20 = 3*p, 5*p = v*p - 2*u. Is 2 a factor of p?
False
Let n(k) = 2*k**3 - k**2 - 7*k + 4. Let c(x) = 2*x**3 - x**2 - 6*x + 3. Let d(p) = -6*c(p) + 5*n(p). Let s = 4 - 6. Is 20 a factor of d(s)?
True
Let x(g) = -6*g**3 - 2*g**2 + 5*g + 6. Is x(-3) a multiple of 27?
True
Let x be 1 - ((-1)/(-1) + 0). Let g(n) = -n + 15. Does 7 divide g(x)?
False
Let h(g) = -g**3 - 9*g**2 - 10*g - 1. Is h(-8) a multiple of 5?
True
Suppose -2*u = -b - 7 - 1, -5*b - 10 = -5*u. Suppose 210 = c + u*c. Does 15 divide c?
True
Suppose 4*b - 5*q - 26 = 160, 3*b - 3*q - 141 = 0. Suppose 2*l = -v + 57, 4 = -2*l - 5*v + b. Is l a multiple of 12?
False
Let t(n) = n**3 - n**2 + 2*n + 18. Is 12 a factor of t(0)?
False
Let b(t) = -t + 6. Let u be b(3). Let n = 12 + u. Does 7 divide n?
False
Let w(d) be the second derivative of -4*d**3 + d**2/2 + d. Is w(-2) a multiple of 23?
False
Suppose 0 = -2*a - 6*a + 288. Is a a multiple of 11?
False
Suppose -3*m + 117 + 6 = 0. Is m a multiple of 6?
False
Let p = 7 + -10. Let g = p - -5. Suppose 0 = 7*n - g*n - 90. Does 8 divide n?
False
Let z(u) = -u**3 - 6*u**2 + u - 7. Is z(-7) a multiple of 18?
False
Let w(x) be the first derivative of 67*x**3/3 + x**2/2 - 2*x - 5. Does 22 divide w(1)?
True
Suppose 0*r = 3*r. Suppose y - 29 = -4*o, 3*y = -5*o - r*y + 45. Suppose -o = l - 27. Is l a multiple of 7?
True
Let g(c) be the second derivative of c**4/12 + c**3 + 5*c**2/2 + 2*c. Let x be g(-6). Suppose 5*o - x*s - 80 = 0, 2*s = 5*o - 69 + 1. Is o a multiple of 6?
True
Suppose -797 = -5*d - 137. Is d a multiple of 12?
True
Suppose g - 63 = -2*h - 0*h, 0 = -5*h - g + 156. Does 6 divide h?
False
Let z = 39 - 18. Let q = -11 + 0. Let d = z + q. Is 5 a factor of d?
True
Let n(y) = 7*y**2 + 3*y + 2. Let s be n(-3). Suppose p + 2*k = s, -4*p = -5*p + 3*k + 56. Is 23 a factor of p?
False
Suppose -12 - 2 = -7*x. Suppose -x*k + 3*k = 84. Does 28 divide k?
True
Let k be 0 - (-35 - -3)*1. Suppose 3*h - k = 43. Does 14 divide h?
False
Suppose -5*x - 3*g = -7*g - 10, 0 = -3*x - g + 23. Let z = x - 4. Suppose z*r - 20 = -2*r. Is 3 a factor of r?
False
Let d(z) = -z**3 - z**2 - 2*z. Let o be d(-2). Suppose 2*v + o = 4*v. Is -12*(v/2 + -3) a multiple of 4?
True
Let u = 334 + -231. Let r = u - 67. Does 12 divide r?
True
Let h = -41 + 121. Suppose -133 = -2*r - 5*f, -h = -4*r + 3*f + 199. Suppose 2*i - r = o, 2*i - 74 = 7*o - 5*o. Is i a multiple of 16?
True
Suppose -122 = -3*h + 64. Suppose h = 3*x + 20. Does 10 divide x?
False
Let s = 127 - 18. Is 23 a factor of s?
False
Let h(c) = -c**3 - 6*c**2 - c - 1. Let w be h(-6). Suppose 4*s - w*r = -2*r - 58, -2*s + 4*r = 24. Let u = s + 34. Does 11 divide u?
False
Suppose 3*q = 2*a - 12, -3*a - 4*q + 6*q + 8 = 0. Suppose -4*k - 3*m - 49 = 0, m + 3 = -a. Is (-2)/(21/k + 2) a multiple of 9?
False
Let v(w) = -3*w**3 - 4*w**2 - 4*w - 2. Is 11 a factor of v(-3)?
True
Suppose -49 - 75 = -2*q. Is 13 a factor of q?
False
Let y be -2*1 - (-8)/(-2). Let d(v) = -v - 6. Let q be d(y). Suppose -p = -13 - q. Is p a multiple of 11?
False
Let g(m) = -7*m - 3. Is g(-6) a multiple of 17?
False
Let x(f) be the second derivative of -f**3/6 + 27*f**2 - 4*f. Is 12 a factor of x(0)?
False
Let u be 69/2*12/9. Suppose -5*w - 114 = u. Is 12 a factor of (w/(-6))/(8/36)?
True
Let v be (-4)/18 + 76/18. Let l be -1 + (-1 - 0) + 14. Suppose -v*f = -l - 8. Does 4 divide f?
False
Let t be (4/(-10))/(5/(-25)). Suppose -t*j - 14 = -q, -5*j = -5*q - j + 88. Does 10 divide q?
True
Suppose 0 = 2*h + 55 - 271. Let f be 66/21 - (-4)/(-28). Suppose f*p - 18 - h = 0. Does 21 divide p?
True
Let n(v) = v**3 - 6*v**2 - 6*v - 2. Let d be n(7). Let c be 8/d - 2/(-5). Does 21 divide c/(-3 + 202/66)?
False
Let q = 1 + 1. Let d(x) = 5*x - 2*x**2 + 2*x**2 + 2*x**q + 7 + 2*x. Does 16 divide d(-6)?
False
Let j be 16/(-28)*7/(-1). Suppose j*b - 220 = -b - 3*r, 2*b + 5*r - 88 = 0. Is 11 a factor of b?
True
Does 5 divide -1*(3 + 0 + -16)?
False
Let d be -3*(-26)/(-9)*-3. Suppose -19 = -5*x + d. Suppose 5*z - x*z + 24 = 0. Is 6 a factor of z?
True
Let g = 16 + -37. Let b = -14 - -3. Let a = b - g. Is 4 a factor of a?
False
Let b = -1 - 0. Let i be -5*((-54)/(-10))/(-3). Let g = b + i. Is 4 a factor of g?
True
Suppose 2*d + 2*w - 200 = 170, -530 = -3*d + 2*w. Is d a multiple of 10?
True
Suppose 3*o - 23 = 2*o. Does 9 divide o?
False
Let b = -5 - -2. Is (-2)/(75/27 + b) a multiple of 5?
False
Let k(q) = q**3 + 8*q**2 - 12*q - 12. Is k(-9) a multiple of 5?
True
Suppose -2*j = -3*x - 215, 0*j = -j + 2*x + 109. Does 23 divide j?
False
Let x(y) = 6 - 3 + y + 3*y**2 + 3*y. Let c be x(-2). Suppose 2*q - 3*j + 3 = c, -j = -q + 2. Is q a multiple of 2?
True
Let g(n) = -n - 7. Let b be g(-9). Suppose -4*w - 5*l = -12, 4 = -b*l - 4. Does 8 divide w?
True
Let v(c) = c**3 + 6*c**2 + 2*c + 5. Let s be v(-6). Let b(l) = -2*l. Is 7 a factor of b(s)?
True
Suppose 0 = -4*t - 3*o - 2*o - 41, 0 = 2*t - 5*o - 17. Let n = t + -2. Let r = -1 - n. Is r a multiple of 2?
False
Suppose 2*r - 75 = -5*i, -r - 240 = -6*r - 2*i. Let p = -34 + r. Is 16 a factor of p?
True
Is 1 - (-7 + 4 + 0) a multiple of 4?
True
Suppose s + s + 259 = 5*z, 3*s = z - 44. Is z a multiple of 24?
False
Suppose -r - 4*r + 3*f - 819 = 0, 2*r + 318 = -2*f. Let z be (2/6)/((-9)/r). Suppose z = w - 6. Is 12 a factor of w?
True
Let r(u) = -u**3 + 5*u - 2 + 2 + 3*u**2 + 2 + u**2. Is 22 a factor of r(4)?
True
Suppose -1200 = -4*i - 6*i. Is 24 a factor of i?
True
Suppose 0 = 2*d - 0*d - 5*u - 9, -2*d + 2*u = -6. Suppose 0 = -v - 2*x + 7, 0 = 4*v - 2*x - 10 + d. Suppose h = -v*h + 128. Does 16 divide h?
True
Suppose -3*m - 2*m - 5*b + 235 = 0, 5*b + 25 = 0. Suppose 4*c + m = -32. Let w = 0 - c. Does 9 divide w?
False
Let s(j) = -j**2 - 6*j + 2. Let v be s(-6). Suppose v*k = 2*q + 52, -4*k = -5*k + 5*q + 46. Suppose -f + k + 15 = 0. Is 16 a factor of f?
False
Let x be 5 - (-2 - -2) - -2. Let h = x - 5. Suppose -a - b = -2*b - 17, 38 = h*a - 4*b. Is a a multiple of 13?
False
Suppose 4*r + 65 = 3*m, -3*m + 5*r - 51 = -5*m. Suppose 2*h - 57 = -5*u, -h + m = -0*u + 2*u. Is u a multiple of 11?
True
Suppose -7*x = -2*x - 105. Is x a multiple of 21?
True
Suppose -17 = -r - 4*h, 7 = 3*r + 3*h - 17. Suppose -r*z + 37 + 83 = 0. Is 13 a factor of z?
False
Let h = 16 + -4. Suppose -l + h = -14. Is l a multiple of 9?
False
Does 3 divide ((-342)/4)/9*-2?
False
Suppose -5*n - 227 = -3*y + 63, 2*y = -4*n + 164. Suppose -2*o - 10 = -0*o. Does 12 divide ((-2)/o)/(3/y)?
True
Let t(s) = -s**3 - 9*s**2 + 4*s - 10. Let v be t(-10). Let d = -32 + v. Does 15 divide d?
False
Suppose -5*p = -2*w - 10, -3*p + 8 = -4*w + p. Let f(k) = -k**3 - k**2 - k + 4. Let h be f(w). Suppose h*c = 4*v - 72, 4*v - c - 12 = 48. Is v a multiple of 14?
True
Suppose 22 = v + 5*t, v + 0*v - 3*t + 2 = 0. Let u(p) = -v + 2 - 8*p + 7. Is u(-2) a multiple of 9?
True
Let s(x) = x**2 + 9*x - 13. Let o be s(-10). Is -20*(18/4)/o a multiple of 11?
False
Suppose 5*q - 171 = -5*c + 584, 0 = -4*c + 4*q + 628. Is 7 a factor of c?
True
Suppose 0 = -2*n + n - 19. Let s = n + 27. Is s a multiple of 4?
True
Let t be (-4)/(-18) + (-6)/27. Suppose m = -t*m - 5. Let i = m + 14