Let x(o) be the first derivative of -o + 23/2*o**2 + 2. Is x(1) a multiple of 14?
False
Suppose 4*d - 16 = -2*i, -i = -3*d + 2*i + 12. Suppose 0 = 2*h + 2*h + d*y - 112, 2*y + 8 = 0. Does 16 divide h?
True
Suppose 0*k - 3*a - 16 = -2*k, 33 = 5*k - 4*a. Suppose -3*r - q - 15 = 2*q, -r + 2*q - k = 0. Is 2 - (3 - 1)*r a multiple of 8?
False
Let v = -389 - -549. Suppose 0 = 5*q - 0*q - v. Is q a multiple of 16?
True
Let r = -4 - -7. Suppose r*c - 6*c = -69. Is c a multiple of 9?
False
Let d(s) = -77*s**3 + 2*s + 2. Is d(-1) a multiple of 15?
False
Let o(x) = 2*x**3 - x**2 + 1. Let a be o(2). Let s = a - 6. Is s a multiple of 3?
False
Let m(t) = t**3 - 8*t**2 + 2*t - 6. Let r(c) = c + 1. Let o be r(3). Suppose 24 = -i + o*i. Is m(i) a multiple of 8?
False
Suppose -5*b - 4*s = -2*s + 20, 4*b - s + 3 = 0. Let j(u) = -3*u**3 - 2*u**2. Is 8 a factor of j(b)?
True
Suppose -4*j - 3 = 1. Let u be j + (-3)/(-1) + 0. Does 13 divide 504/15 - u/(-5)?
False
Suppose m - 7 = 3*l, 2*m - 3*l = l + 16. Let n = 32 - m. Suppose 2*a - n = a. Is 11 a factor of a?
True
Let a = -41 + 27. Let x = a + 45. Is x a multiple of 14?
False
Let a(o) = -o - 6. Let c be a(-6). Let u = 6 - c. Is 3 a factor of ((-16)/u)/(-2)*3?
False
Let t(r) be the first derivative of -3/2*r**2 - 1/4*r**4 - 2/3*r**3 - 3*r - 4. Is t(-3) a multiple of 4?
False
Suppose -3*h + 126 = 5*g, 2 - 11 = 3*h. Is 7 a factor of g?
False
Let w(z) = -2*z - 1. Is w(-6) a multiple of 11?
True
Suppose 5*h + 8 = 3*q, -3*h - 14 = -3*q - h. Let z = 148 - q. Suppose -3*p - 350 + z = -5*m, -3*p = 2*m - 100. Is m a multiple of 12?
False
Let r = 29 + -19. Let o be 16/r + (-10)/(-25). Suppose 4 = o*a + 2*m, 4*a + 0*a = 3*m + 29. Is 5 a factor of a?
True
Suppose 0 = -3*b - 2*b - 10. Let n be (b + 1)*(-4)/(-4). Is (n + 0)*(-13 - 0) a multiple of 8?
False
Suppose 5*g - 55 - 80 = 0. Is 9 a factor of g?
True
Suppose 3*m - 2*m + 3*q = 39, 5*q = 2*m - 89. Is m a multiple of 21?
True
Let d = 32 + 19. Let g = -26 + 57. Let v = d - g. Is v a multiple of 20?
True
Suppose -x + 10 = -9. Is x even?
False
Is 278 + 6 - (7 + -3 - 0) a multiple of 20?
True
Let r = 120 - 69. Is r a multiple of 17?
True
Let q be 4 - ((-14)/(-2) - -4). Let y(i) = -i**3 + 3*i**2 + 4*i + 4. Let r be y(4). Let l = r - q. Is l a multiple of 4?
False
Let p(q) = -q**3 - 6*q**2 - 8*q - 4. Let c be p(-6). Suppose -4*w = w + 150. Let o = c + w. Is o a multiple of 14?
True
Suppose -5*a + 0*a = 115. Let o = 46 + a. Let l = 9 + o. Is 16 a factor of l?
True
Let k(m) = 3*m + 3. Let q be k(4). Does 16 divide (-2)/6 - (-245)/q?
True
Let q = 96 - -34. Is q a multiple of 13?
True
Let f(j) = -4*j + 0*j**2 - 7*j + j**2 + 9*j + 1. Does 16 divide f(6)?
False
Suppose 0 = -u + q + 66, 3*u = q - 0*q + 200. Is u a multiple of 12?
False
Let d be (-1)/(-4) - (-65)/(-20). Let y(f) = -5*f + 1. Is y(d) a multiple of 8?
True
Let q(j) = -3*j - 6. Suppose -1 = 5*w + 44. Is q(w) a multiple of 6?
False
Let x = -14 + 24. Suppose r - h = -0*h + x, 77 = 5*r + 4*h. Let q = 5 + r. Is q a multiple of 15?
False
Suppose -n = 2*n + 5*t - 70, t = -n + 24. Is 13 a factor of n?
False
Suppose 4*w = -5*f + 31, 6*f = 4*w + 4*f - 38. Is w a multiple of 2?
False
Suppose 0 = -4*y + 189 + 27. Does 3 divide y?
True
Let n be ((-12)/(-9))/((-6)/(-81)). Does 17 divide (n/7)/((-2)/(-14))?
False
Let z(f) = -3*f**2 + 3*f - 3. Let s be z(2). Is 17 a factor of 102/8*(-24)/s?
True
Let f(l) = 30*l - 8. Let m be f(5). Suppose -3*d + d + m = 0. Is 23 a factor of d?
False
Suppose -z - 13*g = -9*g - 112, -5*z - 2*g + 524 = 0. Is z a multiple of 26?
True
Suppose 2*x + 8 = 3*q, -3*x + 2*q + 3*q = 13. Let y = 3 + x. Suppose -u - 4*p = -4, -18 - y = 5*p. Is 13 a factor of u?
False
Let d(v) = 7*v**2 - 2*v - 1. Let m be d(-1). Let t(x) = x - 2. Does 5 divide t(m)?
False
Suppose -3*d + 0*d + 2*j - 56 = 0, -5 = -5*j. Let i be (1 - -4)*d/(-5). Let z = i + -4. Is z a multiple of 7?
True
Suppose 72 = 143*i - 139*i. Does 4 divide i?
False
Let c(u) = u**3 - 5*u**2 + 7*u - 6. Let p be c(4). Is 8 a factor of 4/p + 22/3?
True
Suppose 6*h - 13*h + 3332 = 0. Is 34 a factor of h?
True
Suppose 7*y - 2*y = 0. Suppose -l + 39 = -y*l. Does 13 divide l?
True
Suppose 3 = -4*x - 25. Does 20 divide (-352)/x + (-4)/14?
False
Let t = -42 - -58. Is t even?
True
Let l(k) = k**3 + 6*k**2 + 4*k - 5. Let o be l(-5). Suppose 4*m + o*m = 48. Does 12 divide m?
True
Let j(d) = 2*d**2 + 6*d. Let n be j(-4). Let v(l) = l**3 - 7*l**2 - 6*l. Let x be v(n). Suppose -q + x = -0*q. Is q a multiple of 8?
True
Is (-572)/(-20) + 3 + (-52)/20 a multiple of 4?
False
Let o(y) = -y**2 - 8*y + 19. Let h be o(-13). Let i = h - -100. Is i a multiple of 18?
True
Let g = 21 - -7. Does 7 divide g?
True
Suppose -2*j - 2*s = 4, 0 = 5*j + 2*s + 2*s + 6. Suppose -m = -4*m + 4*k - 4, j = m + 2*k. Is -57*(6/(-9) - m) a multiple of 19?
True
Let m(o) = -2*o + 6. Let a be m(5). Let s(k) = -k**2 - 3*k + 3. Let t be s(a). Does 22 divide -5*(t + 123/(-15))?
False
Let v = 8 + 0. Does 7 divide v + (-2 - -3) + -2?
True
Suppose -72 = -4*n + 2*n. Is n a multiple of 12?
True
Suppose 4*x - 92 - 4 = 0. Let i(v) = 25*v**3 - v**2 + 2*v. Let a be i(1). Let t = x + a. Does 25 divide t?
True
Suppose 3*f = -5*r + 29, f + 5*r = 5 + 18. Suppose 0 = f*g - 23 + 71. Let x = -6 - g. Is 10 a factor of x?
True
Let r(x) = -6*x**3 - 3*x**2 - 2*x - 2. Suppose -3*y = -8*y + 10. Suppose 0*v + 8 = y*v + 3*p, -3*v - 18 = -3*p. Is r(v) a multiple of 18?
False
Suppose 3*l - 41 = 2*r, -l = 3*r - 4*r - 21. Is (-1032)/(-14) - r/77 a multiple of 18?
False
Let z = 2 - -2. Suppose 0 = 3*h - 2 - z. Is (-1 - 1) + 56/h a multiple of 13?
True
Let b = -44 + 25. Let z = b - -37. Does 6 divide z?
True
Let k(g) = -g**3 + 10*g**2 - 6*g - 15. Is k(8) a multiple of 9?
False
Suppose 0*b - 9 = -3*b. Let h(r) = -r**2 - 12*r - 1. Let x be h(-6). Suppose o + 38 = 2*g + 3, b*g - 5*o = x. Is 10 a factor of g?
True
Suppose 0*z = -2*z + 4. Suppose -s = -z*s + 1. Let q = s - -11. Does 8 divide q?
False
Suppose -111 = -f + 4*f. Is 13 a factor of 6/(6/2) - f?
True
Let s(y) = y - 8. Let w be s(-11). Let i = -9 - 4. Let x = i - w. Does 6 divide x?
True
Let h(r) = -3*r - 14 - 4*r + 0*r + 3. Is h(-5) a multiple of 4?
True
Is 6/9*(77 - -4) a multiple of 12?
False
Let c(z) = -z - 3. Let m be c(9). Is (-81)/(-12)*(-64)/m a multiple of 10?
False
Let w(h) = -2*h**3 + h**2 - 2*h - 2. Let c be (2 - 2)/(-1) - -2. Suppose -c*g - 5*d - 8 = -3*g, -4*g = -4*d. Is 14 a factor of w(g)?
False
Let k(s) = -22*s - 26. Is k(-8) a multiple of 34?
False
Let z = -8 + 11. Suppose i = -z*i + 60. Is 6 a factor of i?
False
Let o(j) be the first derivative of -8*j**2 - 5*j - 1. Let d(k) = 4*k + 1. Let z(q) = -9*d(q) - 2*o(q). Is 6 a factor of z(-2)?
False
Let g be ((-3)/5 - -1)*5. Suppose 2*b - 8 = g. Suppose -2*v - 4 = 0, -b*i + 3*v + 31 = -0*v. Does 5 divide i?
True
Let t(k) = k. Let v(h) = -6*h + 7. Let x(o) = 3*t(o) - v(o). Let g(b) = b**2 + 3*b - 5. Let i be g(-5). Is 16 a factor of x(i)?
False
Suppose 23 = 4*j - 3*n, -3*j + 4*n + 12 = -7. Suppose 2 - 49 = m + j*p, -158 = 4*m + 5*p. Let t = 70 + m. Is 11 a factor of t?
True
Let y = 121 - 60. Is 11 a factor of y?
False
Let x(k) = 2*k**2 - 7*k - k - 4 - k**2. Let j be x(8). Let t = 16 - j. Does 8 divide t?
False
Let g be (8/2)/((-8)/20). Is ((-14)/(-5))/((-4)/g) a multiple of 2?
False
Does 8 divide (-11)/9*(-11 - 1)*3?
False
Let x be 1*(9/3 - 1). Suppose 0 = x*d - d - 28. Is d a multiple of 15?
False
Suppose 2*h = -0*t - 5*t - 24, 10 = -3*t + h. Is 7 a factor of 0 + (t - -3)*-10?
False
Suppose -5*h = -3*y - 11, 2*y + 3*y - h = 11. Suppose -y*p - 3*s = p - 51, 0 = p - s - 18. Is p a multiple of 15?
True
Let m = 21 - 11. Let i = 83 + m. Is i a multiple of 31?
True
Let w(i) = -i**3 + 14*i**2 - 9*i - 12. Is w(13) a multiple of 12?
False
Does 60 divide 514*5/10 - -3?
False
Suppose 3*y = -p + 77, 2*p - 148 = -2*y - 2*y. Suppose -4*k - 3*s - s = -p, -k - 8 = -4*s. Is k a multiple of 12?
True
Suppose -2*g = -0*g - 40. Is g a multiple of 10?
True
Is 13 a factor of 46 + (-4)/3*(12 + -9)?
False
Let v(o) = -o**2 - 6*o + 3. Let g be v(-6). Suppose -g*f + 22 + 56 = -4*a, 0 = -4*f - a + 85. Does 11 divide f?
True
Suppose -5*b + 10 = 5*x, x + 2*x - 10 = -5*b. Suppose 2*s + 2*s - 4 = x, f = 5*s + 21. Is f a multiple of 7?
False
Let g = -8 - -13. Le