ultiple of 6?
True
Suppose -12 = -6*u + 2*u. Suppose 0 = u*y - 0*d + d - 11, 5*y - 4*d + 10 = 0. Suppose 3*o + 3*j - 75 = 0, 17 = -o + y*j + 51. Is 10 a factor of o?
False
Let g(c) = -c**3 + 8*c**2 - 3*c - 1. Does 9 divide g(7)?
True
Suppose -5*i - 213 - 563 = -3*b, 0 = 2*i - 10. Is 8 a factor of b?
False
Let k(r) = r - 7. Let i(d) = 4*d - 36. Let p(g) = -2*i(g) + 11*k(g). Let o be p(-5). Let a = 36 + o. Does 8 divide a?
True
Let i(u) = -5*u**3 - 8*u**2 + 15*u + 10. Let m(q) = -6*q**3 - 7*q**2 + 15*q + 11. Let l(o) = 7*i(o) - 6*m(o). Is 15 a factor of l(13)?
True
Let n = 24 - 15. Is 9 a factor of n?
True
Let x = -2 - -8. Suppose -x + 26 = 2*r. Does 6 divide r?
False
Let k(a) = -a + 6. Let q be k(3). Suppose 119 = q*l + 47. Does 24 divide l?
True
Suppose 21 - 3 = 2*h. Is h even?
False
Suppose -d + u + 54 = 0, -5*d + 2*u + 2*u = -269. Suppose 0 = 4*m - 9 + 157. Let i = d + m. Is 6 a factor of i?
False
Let l(w) = 11*w + 2. Let m be l(-3). Let t = m - -77. Is t a multiple of 26?
False
Suppose -4*k = -9 - 11. Suppose -5*c - k*v + 132 = -3*v, v = 4*c - 116. Is c a multiple of 14?
True
Let u be (0/((-3)/3))/(-1). Suppose -3*f = -5*b - u*b + 60, 3*f - 12 = -b. Is 5 a factor of b?
False
Suppose 2*g = -15 + 71. Suppose 28 = 2*p - g. Is p a multiple of 14?
True
Let k = -50 - -83. Suppose -k = -0*v - 3*v. Is 4 a factor of v?
False
Suppose -260 = 4*j - 5*h + h, 0 = 3*h. Let o be (-1)/2 - j/(-10). Does 10 divide (-2)/o + (-152)/(-7)?
False
Let b(z) = 6*z**2 + 2*z - 3. Is b(2) a multiple of 8?
False
Let g(m) = m**3 - m**2 + m + 1. Let q(u) be the first derivative of u**4 - 4*u**3/3 + 3*u**2/2 + 6*u + 2. Let k(a) = 3*g(a) - q(a). Is k(-3) a multiple of 15?
False
Let y be ((-2)/(-1) + -1)*50. Let g be 2/4 - y/4. Let v = 23 + g. Does 11 divide v?
True
Suppose 2*t + 70 = 3*o, -o + 5*t = -1 - 5. Is 4 a factor of o/7 - (-4)/14?
True
Let j be (0/1)/(4/2). Suppose j*l - 192 = -4*l. Let u = l - 32. Does 8 divide u?
True
Suppose z - 63 = -2*z. Let s = z + 17. Does 19 divide s?
True
Suppose f = -m + 13 - 0, 6 = 3*m. Is f a multiple of 6?
False
Let b be 266/12 + 2/(-12). Let n(k) = -10*k - 1. Let a(p) = p. Let t(l) = b*a(l) + 2*n(l). Does 4 divide t(5)?
True
Let d = 5 + -7. Does 12 divide (-62)/d - (0 - 1)?
False
Suppose 5*c + 0*c - 499 = -b, 4*c + 4*b - 396 = 0. Is 22 a factor of c?
False
Does 5 divide 21 - (1/(-2))/(2/(-4))?
True
Suppose 4*t + 1 = 5*t, 4*u = 5*t + 119. Suppose -4*x - 51 - 26 = -3*l, -73 = 5*x + 4*l. Let k = x + u. Is k a multiple of 14?
True
Suppose 12*u + 6 = 15*u. Suppose 0 = u*c + 1 - 7. Is c even?
False
Let d = 314 + -95. Does 24 divide d?
False
Let m be (1/(-1))/(2/4). Let i be (-2*m/(-4))/(-1). Does 14 divide (-84)/6*(-1 - i)?
True
Let x = -88 - -54. Let u = 72 + x. Does 19 divide u?
True
Suppose -3*w + 521 = -4*h - 59, -h + 560 = 3*w. Suppose 3*x + 2*x + 4*q - 239 = 0, 4*q = -4*x + w. Is 19 a factor of x?
False
Let q(j) = -3*j**3 - 9*j**2 - 6*j - 2. Is 14 a factor of q(-4)?
True
Let h(d) = d**3 + 2*d**2 + 2. Let r(x) = x**2 + 11*x + 12. Let i be r(-10). Is h(i) a multiple of 16?
False
Suppose -2*p + 2 = y, -15 - 5 = 5*y. Suppose -b + 2*b - 3*c + 12 = 0, -4*b = p*c - 27. Is b even?
False
Let t = 4 + -4. Let f = t - -10. Is 4 a factor of f?
False
Suppose 4*u = -w - 15, 2*u = 5*w + u - 9. Is 1 + 2 + w + 1 a multiple of 5?
True
Let f(g) be the third derivative of g**6/60 - g**5/12 + g**4/6 - g**3/2 + 3*g**2. Let y be f(3). Suppose 3*t + y = w, 5*t = 2*w - 6*w + 38. Is 5 a factor of w?
False
Let r(t) = -t + 6. Let n be r(4). Suppose -2*c = -6*c, -124 = -4*o - n*c. Let y = o - 19. Is 11 a factor of y?
False
Suppose -c + 17 = 3*r, r + 3 + 8 = 3*c. Let m be (18/c)/(3/45). Suppose -4*i + m = -2*i. Does 11 divide i?
False
Let u(r) = r**3 + r**2 + r + 9. Let d be u(0). Suppose o - 32 = -5*i - d, -o + 33 = -5*i. Suppose -n + o = -2*z, 3*z + 5 - 2 = 0. Is 13 a factor of n?
True
Let v(c) = 4*c**2 - c + 4. Is v(4) a multiple of 16?
True
Suppose 0 = -5*y - 5, 6*y = -2*m + 3*y + 1. Suppose p = 3*j + 30, -p + j - 50 = -m*p. Is 15 a factor of p?
True
Let m = 54 + -30. Let g = m + -13. Is g a multiple of 10?
False
Let k be ((-12)/10)/((-15)/200). Is k/(-56) - (-802)/14 a multiple of 9?
False
Suppose 98 = d + 21. Is d a multiple of 11?
True
Suppose 0 = 2*q + 2*a - a + 18, -3*a - 26 = 2*q. Suppose -2 = -f + 1. Let z = f - q. Is 5 a factor of z?
True
Let g = -5 - 11. Let p be (0 + (-1 - (1 - 3)))*27. Let b = p + g. Does 11 divide b?
True
Suppose 3*y - 3 = -240. Let s = y - -132. Is 22 a factor of s?
False
Let n be (24/(-15) + 2)*25. Let f = 1 + n. Is f even?
False
Suppose -27 = 5*r + 8. Let b(z) = z**2 + 2*z - 8. Let i be b(r). Suppose -5*t - 5*u + 145 = 0, t + 4*u - 5 = i. Is 10 a factor of t?
False
Suppose 2*l + 7 = 45. Let u = -3 + 37. Let t = u - l. Is 15 a factor of t?
True
Suppose -4*v - 154 = 5*t, -v + 3*v = 8. Is 17 a factor of t*((-4)/(-8) - 1)?
True
Let v(i) = -i**3 - 10*i**2 - 13*i + 2. Is v(-10) a multiple of 16?
False
Suppose c - 4*m - 18 - 4 = 0, -3*c + m + 77 = 0. Is c a multiple of 22?
False
Suppose 4*i - 367 = -5*x + 69, -2*x + 171 = 5*i. Is 28 a factor of x?
False
Let l(b) be the first derivative of -7*b**2/2 - b - 3. Let c(z) = 7*z + 1. Let d(h) = -6*c(h) - 5*l(h). Is 17 a factor of d(-5)?
True
Let k = -141 - -227. Suppose k = 3*x + 4*h, -x + 4*h = -0*x - 2. Is 11 a factor of x?
True
Let o(w) be the third derivative of -w**6/120 - w**5/20 - w**4/12 - w**3/3 - 4*w**2. Is 13 a factor of o(-4)?
False
Let t = 44 - 2. Let l = 72 - t. Is l a multiple of 10?
True
Let v = 2 + 9. Suppose -4*j + v = -5. Suppose 44 = j*r - 2*r. Is r a multiple of 11?
True
Let y(t) = 30*t**2 - 4*t + 3. Let i be y(2). Let g = i - 81. Let z = g - 22. Is 12 a factor of z?
True
Suppose 0 = -4*d - 3*f + 253, -5*d + 47 = -5*f - 278. Suppose -4*j - 20 + d = 0. Is j a multiple of 7?
False
Let d = 98 - 35. Is d a multiple of 10?
False
Suppose -k + 6 = 2*k. Suppose -k*o = -8 - 6. Is 3 a factor of o?
False
Let a(j) = 2*j**3 - j**2 - 3*j + 2. Let b be a(3). Suppose q - 5*u = -3, -2*u = 2*q - 34 - 20. Let x = b - q. Is x a multiple of 12?
False
Suppose -64 = 2*i - 504. Suppose -i = -5*u - 40. Does 6 divide 1/(39/u + -1)?
True
Suppose -5*j + 24 = -4*j. Suppose 0 = -5*a + j + 136. Does 32 divide a?
True
Let f(b) = -2*b**3 - 4*b**2 - 5*b - 3. Does 8 divide f(-3)?
False
Is 15 a factor of (-2)/((-8)/50)*2?
False
Suppose o + 2*k = k + 138, 2*o - 271 = -k. Is o a multiple of 37?
False
Let j be (-286)/(-8) + (-5)/(-20). Suppose 3*v - 51 = -3*s + 2*s, 0 = -5*v + s + 93. Suppose f + 4*i - j = -3*f, v = 2*f + i. Is f a multiple of 3?
True
Is 7 a factor of 252/(-8)*(-6*1)/3?
True
Suppose 2*u + 7*u - 1260 = 0. Does 8 divide u?
False
Let u be 1320/(-32) + (-1)/(-4). Let b = 57 + u. Is 16 a factor of b?
True
Let c = 122 - -50. Is c/6 + (-2)/3 a multiple of 14?
True
Let l = 0 + 0. Let q(m) = -m**3 + m**2 - m + 5. Let c be q(l). Suppose 3*p = g + 35, c*g - 10 = -5. Is 12 a factor of p?
True
Let r(d) = d**2 - 5*d - 8. Is 8 a factor of r(8)?
True
Let a = -4 + 8. Suppose b + 2*b + 22 = 5*y, -2*b = 2*y + a. Suppose y*s - 205 = -3*s. Does 15 divide s?
False
Suppose 75 = 3*b + 3*v, 4*b - 4*v = 2*b + 20. Is b a multiple of 10?
True
Is 28 a factor of (68 + 2)*(-8)/(-5)?
True
Let q = 14 + -12. Suppose 4*j + 2*f = 42, 6 = -0*j + 2*j - q*f. Is j a multiple of 4?
True
Let u(b) = 3*b**3 - b**2 + 3*b**3 + 1 + b**3. Does 3 divide u(1)?
False
Let z(b) = -7*b - 11. Suppose -11 = -2*o + 3*o - 5*y, 4*y = 4. Is 31 a factor of z(o)?
True
Suppose 0 = -4*b + 1 + 3. Let t = 25 + -13. Is 6 a factor of 2/(b - 10/t)?
True
Suppose -o - 4*t - 10 = -0*t, 3*o + 5*t = -9. Suppose -o*x + 3 + 1 = 0. Suppose m - 24 = -x*m. Does 3 divide m?
False
Suppose -2*a = -3*a - r, 4 = a - 3*r. Does 20 divide (2/a)/((-2)/(-40))?
True
Is 25 a factor of 12/7 + -2 + 56925/175?
True
Let b = 22 - -14. Let g = b + -23. Is g a multiple of 7?
False
Suppose 58 = -5*z + 2*b + 180, -73 = -3*z + b. Does 12 divide z?
True
Let l = 135 - 213. Let s = -40 - l. Does 13 divide s?
False
Let x = 2 - -28. Let i be ((-266)/21)/((-4)/x). Suppose -i = -5*k + 5. Does 7 divide k?
False
Let q(r) = -r**2 - 9*r + 3. Let u be q(-5). Let o = u + -13. Does 6 divide o?
False
Let k = -159 - -313. Is 19 a factor of k?
False
Let v(x) = -10*x**3 - x**2 - x. Let y be v(-1). Let o = y 