. Suppose -3*m + 45 + 45 = r. Is 12 a factor of m?
False
Let z = 34 - -22. Does 9 divide z?
False
Suppose 0 = -4*o + 38 - 114. Let m = o - -28. Is 3 a factor of m?
True
Suppose -4*i + 5*c + 272 = 0, 5*c - 184 = -3*i + 20. Does 17 divide i?
True
Let q = -12 + 8. Let d(v) = -v**2 - 7*v - 1. Does 6 divide d(q)?
False
Let g(i) be the first derivative of i**3/3 - 5*i**2/2 - 6. Is g(-6) a multiple of 22?
True
Let v(h) = -2*h - 3. Let q be v(-4). Suppose 6 = q*i + 1. Suppose 4*s + 3*o - 60 = i, -100 = -5*s + o. Is s a multiple of 5?
False
Let k(q) = q**2 - 12*q - 3. Is 35 a factor of k(18)?
True
Let t = -17 + 72. Does 11 divide t?
True
Suppose v = 4 + 1. Let y = 17 - v. Does 12 divide y?
True
Let q = 3 + 17. Let s(k) = -k - 3*k + 5*k + q. Is 8 a factor of s(0)?
False
Let s = 52 + -29. Is 8 a factor of s?
False
Let b(w) = -w**3 - 5*w**2 - 5*w - 2. Let d be b(-3). Is 2*(-1)/d*25 a multiple of 6?
False
Let a(y) = -2*y + 5. Is 29 a factor of a(-12)?
True
Suppose 321 - 807 = -9*c. Is c a multiple of 54?
True
Let q = 2 + 1. Let r(k) = k**2 - 6*k + 7. Let x be r(5). Suppose -q*y + 50 = x*y. Does 7 divide y?
False
Let l(t) = -3*t - 3. Let p be l(-6). Let a be (4/8)/((-2)/(-16)). Suppose 0 = -b + a*h + h + 24, -p = 5*h. Does 7 divide b?
False
Let g(r) = -29*r + 11. Does 10 divide g(-1)?
True
Let h(a) = a**2 + 4*a - 5. Suppose -z - 2 = 4. Does 3 divide h(z)?
False
Let i(r) = 4*r - 1. Let u be i(-1). Let o(w) = -6*w - 7. Is 23 a factor of o(u)?
True
Let k(d) = d**3 + 5*d**2 + 4. Let b be k(-5). Suppose 0 = -2*x + b*g + 28, 0 = 3*x + 5*g + 17 - 4. Does 4 divide x?
True
Let t(y) = y**3 - 4*y**2 + 3*y + 2. Let j(v) = -v**3 + 3*v**2 - 2*v + 3. Let o be j(2). Does 2 divide t(o)?
True
Let o(t) = 2*t**2 + 7*t. Let c be o(-4). Is 6 a factor of (-6)/(-12) - (-94)/c?
True
Suppose 2*f - 3 - 1 = 0. Suppose -f*g = g. Let i = g + 6. Is 3 a factor of i?
True
Suppose 2*g + 6 = -3*i, 5*i = -2*g - 3*g - 15. Suppose 0*w + 4*w - 132 = i. Is 12 a factor of w?
False
Suppose 3*w - 2280 = -12*w. Is w a multiple of 35?
False
Let c(x) = x**2 + 5*x - 7. Is c(-14) a multiple of 8?
False
Let s = 27 + -47. Let x = 6 - s. Does 9 divide x?
False
Let g(w) = 5*w**2 - 1. Let r be g(1). Suppose 3*z = 5*z, -2*i - r*z = -40. Is 6 a factor of (i/(-15))/((-2)/18)?
True
Let f(c) = c**2 + 2*c + 11. Is 6 a factor of f(-7)?
False
Let z = 6 - 3. Suppose 5*m - 134 = 4*j, -j + 154 = z*m + 2*m. Is 13 a factor of m?
False
Let u = 25 - 18. Let q = 24 + u. Is q a multiple of 12?
False
Let g = 20 - -65. Is 10 a factor of g?
False
Let o(l) = -l**3 + 9*l**2 - 12*l - 1. Is o(6) a multiple of 14?
False
Let o(v) = -v**2 - 9*v + 3. Let h = 6 + -11. Does 11 divide o(h)?
False
Let b(h) = 5*h + 9. Is b(4) even?
False
Let g(t) = 11*t**3 + 6*t - 10*t**3 - 2*t - 6*t**2. Is 6 a factor of g(6)?
True
Suppose -2 = 3*a + 1, -r = 4*a - 1. Suppose -l + 25 = 2*l + r*c, -15 = 3*l - 3*c. Let p(x) = -x + 30. Is 15 a factor of p(l)?
True
Let m(c) be the first derivative of c**3/3 + 2*c**2 - 9*c - 1. Let h = -33 - -26. Is 7 a factor of m(h)?
False
Suppose -5*p - 42 = -2*p. Is 3 a factor of ((-77)/p)/((-2)/(-4))?
False
Let v(q) = 4*q**2 - 1. Let z be v(1). Suppose -z*d - 40 - 23 = 0. Let o = 0 - d. Is o a multiple of 7?
True
Suppose a = -4*a - 4*i + 8, 4*i = 2*a - 20. Suppose a*q + 6 = 26. Is (-23 + 0)/(4 - q) a multiple of 19?
False
Let t be 18/(-4)*(-40)/(-6). Let x(w) = -w**3 + 11*w**2 + 13*w - 5. Let j be x(12). Does 5 divide -1*j/(21/t)?
True
Let s = 106 + -169. Let y = s + 103. Is 19 a factor of y?
False
Let m = 3 - 0. Suppose -4*w - 31 = -3*r, 0*w - 3*w = -m*r + 27. Suppose -2*g + r*o = g - 84, g - 3*o = 32. Is g a multiple of 18?
False
Suppose q = -0*q + 110. Suppose 4*j - 79 = -5*h, 0*h - 5*h = -5*j + q. Suppose -5*o + j = -9. Does 6 divide o?
True
Let l(p) = p**3 - 7*p**2 + 8*p. Let f be l(6). Suppose -w + f = 2*w. Is w a multiple of 4?
True
Let o(c) = c**3 - 6*c**2 - 10*c + 1. Let i(f) = -2*f**3 + 12*f**2 + 21*f - 1. Let b(s) = 3*i(s) + 7*o(s). Is b(7) even?
True
Suppose 52 = 2*o + 2*s + 20, -o + 26 = 3*s. Let m(p) = 3*p - p**2 - 4*p - 3 + o*p - 3. Does 4 divide m(7)?
False
Let t(z) = -1 - z**2 - 3 - 6*z + 9*z + 2*z**2. Is 12 a factor of t(-8)?
True
Suppose 2*n = n + 3. Suppose -2*h - n*h + 95 = 2*l, -3*l + 95 = 5*h. Is h a multiple of 19?
True
Let b(i) = -i**3 + i**2 - i + 1. Let n be b(1). Suppose n = -5*v + 193 + 57. Does 25 divide v?
True
Let i(s) = -6*s + s**3 + 0*s**3 + 2*s. Does 13 divide i(4)?
False
Suppose 43 = 2*m + 3*c, 4*m = c + 13 + 66. Suppose -5*s - m = 0, -2*j + 149 + 39 = s. Does 22 divide j?
False
Let n be 3/1*(-20)/15. Let t be 141/15 - n/(-10). Does 11 divide 68/3 + 3/t?
False
Is 49*((-6)/6 + 2) a multiple of 29?
False
Suppose 2*z - 5*j = 104, 0 = 2*z - 5*z + j + 130. Does 9 divide z?
False
Let y be 84/(-9) - (-3)/9. Let p = y + 12. Suppose 38 = p*o - 22. Is o a multiple of 20?
True
Suppose b - 4*g - 39 = 0, g = -4*g - 25. Does 6 divide b?
False
Let u(m) = m**3 + 10*m**2 + 8*m + 6. Is u(-8) a multiple of 26?
False
Let j(q) = 5*q**2 + 29*q - 5. Let a(g) = 3*g**2 + 19*g - 3. Let l(h) = 8*a(h) - 5*j(h). Let w be (-2 + 20/8)*2*6. Does 4 divide l(w)?
False
Let n(y) = 3*y - 3. Let r be n(3). Let x be (-3 - -6)/(r/(-4)). Is (-3)/6 - 17/x a multiple of 4?
True
Suppose -r + 22 = 2*w, 5*r - 5*w + 33 = 83. Does 14 divide r?
True
Suppose -5*l = -0*l - x - 36, 2*x - 40 = -4*l. Is 6 a factor of l?
False
Let v = 19 - 12. Let b = 17 + v. Is b a multiple of 24?
True
Suppose 4*g + 0*g + 16 = -t, 5*t + 3*g = -131. Let l be 174/8 - 7/t. Suppose -l = j - 2*j. Is j a multiple of 9?
False
Let q(v) = v. Let o(z) = z - 8. Let c(y) = -o(y) + 3*q(y). Does 2 divide c(0)?
True
Let t(x) = -5 + 7 + 4 + 0 + 6*x. Is 11 a factor of t(6)?
False
Let t be (-1 - -6)*12/15. Suppose 2*i - 113 = 2*k - 9, -79 = -2*i - 3*k. Suppose -5*c = q - 78, 4*c - 25 = t*q + i. Is c a multiple of 6?
False
Is 18 a factor of (-4)/(-6) - (458/(-6) + 4)?
False
Let k = -6 + 19. Does 4 divide k?
False
Let t(o) be the second derivative of 7*o**4/2 - o**3/6 - o**2/2 - 7*o. Is 14 a factor of t(-1)?
True
Suppose 2*k + 5*f - 50 = 68, -4*k - 2*f = -204. Is k a multiple of 15?
False
Let f(o) = -o**3 + 6*o**2 - 4*o. Let r be f(5). Suppose -s - s + 4*j + 56 = 0, -2*s + r*j = -52. Is 13 a factor of s?
False
Let x(t) = t**3 - 12*t**2 - 20*t + 4. Is x(14) a multiple of 29?
True
Suppose 5*l + 2*j = 807, 2*l = -4*j + 123 + 203. Is 23 a factor of l?
True
Let o(a) = 2*a**3 + 6*a**2 - a + 7. Let h(n) = n - 6*n**3 + 4*n**3 - 6 + n**3 - 6*n**2. Let l(p) = -3*h(p) - 2*o(p). Is l(5) a multiple of 10?
False
Suppose 3*z - 8 = 5*p, p = 3*z - p - 14. Let c(v) = 3*v - 4. Is 6 a factor of c(z)?
False
Let d(y) = y**2 - 4*y + 8. Does 8 divide d(8)?
True
Let n(s) = -4*s - 8. Suppose -13 = -5*d - 3. Suppose -6*o + d*o - 28 = -g, 4*g = -4*o - 8. Does 8 divide n(o)?
True
Let o(u) = u**3 + 3*u**3 + 2 - 3*u**3 + 2 - 6*u - u**2. Let x = 0 - -4. Does 15 divide o(x)?
False
Suppose -2*k + 0*m + 4*m = -506, 513 = 2*k + 3*m. Is 51 a factor of k?
True
Suppose o = 3*o - 72. Suppose 2*k - 31 = 3*v, 4*k - 2*v = o + 6. Let h = -6 + k. Is 2 a factor of h?
True
Let m = -16 + 36. Suppose -j + 0 + m = 0. Is 20 a factor of j?
True
Let s = 174 + -140. Is 3 a factor of s?
False
Let f(z) = -z**3 - 12*z**2 - 5*z - 10. Is f(-12) a multiple of 16?
False
Let p = 0 - 0. Suppose 0 = -p*l + l - 10. Suppose 0 = -b + 3*u - 2, -6*u + u = -3*b + l. Is 6 a factor of b?
False
Let j = 10 + -23. Let o = j - -19. Is o a multiple of 6?
True
Suppose -4*c + 89 = 2*i - i, 0 = 5*c - 3*i - 107. Is 22 a factor of c?
True
Let r(k) = 4*k - 8. Let a be 87/12 + 1/(-4). Suppose 5 = 2*v - a. Is 8 a factor of r(v)?
True
Suppose -300 = -4*x + 12. Let i = x + -34. Does 19 divide i?
False
Let w(a) = a**3 + a**2 - a - 30. Let s be w(0). Let y = s + 45. Suppose -3*m - y = 0, -4 = 2*c + 4*m + 8. Is c a multiple of 2?
True
Let w = -25 - -201. Is w a multiple of 8?
True
Let p(k) = k**2 - 11*k + 10. Let j be p(10). Let s = 0 - j. Is 7 a factor of (7 - s) + 0/(-6)?
True
Let h = -8 + 25. Is h a multiple of 2?
False
Suppose 0 = 2*n - 5*q + 8, 3*n = -q - 3*q + 34. Let k be ((-4)/n)/((-3)/(-9)). Does 11 divide k - (0 - -1)*-33?
False
Is 24 a factor of 2873/119 - 2/14?
True
Let a = 1 - 1. Let y = 66 - 42. Suppose a*w = 4*w - y. Is 3 a factor of w?
True
Suppos