True
Let h(d) = -18*d**3 - d**2 + 1. Is h(-1) a multiple of 18?
True
Let f = 0 + 3. Let r be -1 - -1*f*5. Suppose -39 = -5*g - r. Is g a multiple of 2?
False
Let a(o) = -5*o**3 - 2*o - 2. Let z be -3*(16/(-12) - -2). Is a(z) a multiple of 14?
True
Suppose -3*m + 141 + 177 = 0. Is m a multiple of 37?
False
Let w(u) = -u**3 - u**2 + 2*u - 1. Let g be w(-2). Let l(i) = -4*i**3 + 1. Let k be l(g). Suppose 124 = -k*d + 354. Is 16 a factor of d?
False
Let b be (-14)/6 - 10/15. Let g(j) = -4*j. Let n be g(b). Suppose 2*l - 31 = -a, 2*l + 4*a - n = 16. Does 13 divide l?
False
Suppose 2*m + 3*n - 783 = -m, n - 524 = -2*m. Is m a multiple of 18?
False
Suppose 8*v + 13 = 365. Is v a multiple of 11?
True
Suppose 3*t + t = 4*y - 12, -11 = -2*y + t. Is 2 a factor of y?
True
Let a(y) = -y**3 - 4*y**2 - 4*y. Let p be a(-4). Suppose 3*i - p - 23 = 0. Is i a multiple of 13?
True
Let o = -8 + 9. Suppose 0 = -4*x + 4*g + 20, 0*x + 4*x + 3*g = -o. Does 9 divide 48/3*(x + -1)?
False
Let f = -54 + 65. Is f a multiple of 8?
False
Suppose -8*n + 52 = -6*n. Is 3 a factor of n?
False
Suppose 0 = -5*f + 2*f + 3. Does 14 divide (f + -3)/((-2)/56)?
True
Suppose -4*i + 14 = -3*b, -6*i + i = 2*b - 29. Suppose -i*g = 2*q - 15 + 2, 4*q = -4. Is g even?
False
Let d = -305 - -515. Suppose h - d = -4*h. Is 11 a factor of -30*(2 + h/(-15))?
False
Suppose 2*a - 29 = -3*l, 2*a - 7 = 2*l + 47. Let q(x) = 2*x - 7. Let y be q(6). Suppose 0 = y*n - 23 - a. Does 8 divide n?
False
Suppose 0 = -q + 3*q - 4. Let a be (3/(-2))/((-1)/2). Suppose -f + 2*k + 3 = 0, -6 = -q*f + 5*k - a. Is 9 a factor of f?
True
Suppose 0*z = -4*z + 92. Suppose 4*n - z = 93. Is n a multiple of 12?
False
Let k = 35 + 49. Is k a multiple of 28?
True
Let b(z) = z**2 + 13*z + 6. Is 9 a factor of b(-15)?
True
Let r(p) = -3*p + 2 - 2*p**3 - 2*p**3 + p**3. Let i be r(2). Let m = -18 - i. Does 7 divide m?
False
Let h be ((-1)/3)/(2/(-18)). Suppose 3*l - l = -h*a + 103, 2*l - a = 115. Suppose -l = j - 3*j. Does 14 divide j?
True
Let n(t) = -2*t**3 - 9*t**2 - 15*t - 10. Is 23 a factor of n(-6)?
False
Let u = 62 - 36. Does 13 divide u?
True
Let v(a) = 3*a**3 + a**2 - 2*a + 5. Let z(u) = 3*u**3 + 2*u**2 - 3*u + 6. Let h(c) = 5*v(c) - 4*z(c). Does 9 divide h(2)?
False
Let j = 113 + -57. Suppose -4*k = -t - j, 3*k - 5*t - 5 = 20. Does 3 divide k?
True
Let m(o) be the third derivative of -2*o**2 + 5/2*o**3 + 1/120*o**6 + 0 + 0*o + 11/24*o**4 + 11/60*o**5. Is m(-10) a multiple of 2?
False
Suppose 52 = -3*y + 2*y. Let n = 88 + y. Does 6 divide n?
True
Let a(k) = -k**3 + k**2 + k - 4. Let w be a(0). Is -1 + 27 + w/2 a multiple of 12?
True
Suppose -2*g - 5*k - 15 = 0, 13 - 3 = 3*g + k. Suppose g*b - 30 = -5*o, -3*o + 2*b = -2*o - 18. Is o a multiple of 4?
False
Let f(b) = -168*b. Let t be f(1). Is 12 a factor of 3/(-2)*t/6?
False
Suppose -6 - 3 = 3*c. Let b(z) = 4*z**2 + 2*z - 2. Does 9 divide b(c)?
False
Let s(y) = -y**3 + 5*y**2 - 8*y - 14. Let j be s(10). Suppose 2*o + 3 - 15 = 0. Does 14 divide j/(-21) + o/(-21)?
True
Let t = 172 + -108. Is 16 a factor of t?
True
Let n = 61 + -20. Does 41 divide n?
True
Let s(t) = 26*t**3 - 2*t + 1. Is s(1) a multiple of 6?
False
Suppose 4*w = -66 + 298. Does 6 divide w?
False
Suppose v - 60 = -5*o, o + 0*v = 2*v + 1. Suppose -4*m = s - o, -s + m = -0*s - 21. Let w = s + 21. Does 14 divide w?
False
Let n = -15 + 15. Suppose n*h + 3*h = 9. Is h even?
False
Suppose -12 + 2 = -5*u. Suppose b - y + u = 1, -b - 5 = -2*y. Is (-2 + b - 2)*-37 a multiple of 13?
False
Suppose 2*h = -0*h + 10, 0 = -3*t - h + 59. Let f = -4 + t. Does 14 divide f?
True
Let l = 26 - 14. Let y = -5 + l. Is y even?
False
Suppose -2*n - 2*x - 1 = 3, 5*n + 10 = -2*x. Let i(w) = -4*w + 4. Is 12 a factor of i(n)?
True
Let w = 2 + 1. Suppose w*d - 79 = 71. Is 4 a factor of ((-4)/(-5))/(4/d)?
False
Suppose t - 68 = -3*t. Suppose 3*l = -4*y + t, y = -l - 4*l. Suppose 3*q - 6*q - 104 = -y*v, 5*q = 5*v - 100. Does 11 divide v?
True
Suppose 13*i - 20 = 12*i. Does 16 divide i?
False
Let t(o) = 3*o + 3. Let l be t(9). Suppose -3*y + s = -4*s - l, -5*y + 5*s = -40. Does 2 divide y?
False
Suppose -32 = -5*w + 3*p, 0*w + 16 = -w - 5*p. Suppose 32 = w*t - 0*t. Is t even?
True
Is 7 a factor of ((-14)/4)/(27/(-108))?
True
Let t(x) = 3*x**3 + 6*x**2 - 6*x + 9. Let z(f) = 10*f**3 + 17*f**2 - 18*f + 27. Let k(o) = -7*t(o) + 2*z(o). Let w be k(-9). Let g = -8 + w. Is 8 a factor of g?
False
Suppose -3*q + 13 = -2*q. Does 9 divide q?
False
Let r = 1 - -1. Let q = 151 - 98. Suppose m + q = 2*g, -m + 65 = 2*g + r*m. Is g a multiple of 9?
False
Let d(k) = -k**3 - 12*k**2 + 8*k - 17. Does 12 divide d(-13)?
True
Suppose -36 = -4*j + 4*m, j + 2*m + 2 = -4. Does 13 divide j/14 + (-2168)/(-56)?
True
Suppose 7*v + 745 = 12*v. Is v a multiple of 51?
False
Let i = -9 - 3. Is 8 a factor of (2 - 3)/(1/i)?
False
Let s(t) be the first derivative of 1 + 7/3*t**3 - 5*t**2 - 12*t + 1/4*t**4. Does 2 divide s(-8)?
True
Let h = 16 + 68. Is h a multiple of 14?
True
Let d(w) be the second derivative of w**4/12 + 2*w**3/3 - 3*w. Does 12 divide d(4)?
False
Let w(b) = -b**2 - 9*b - 5. Is w(-3) a multiple of 3?
False
Suppose x = -l + 6, -l + 6 = 5*x - 8. Is 2 a factor of x?
True
Suppose 25 = 4*k - 31. Suppose 0 = a + 2*m + 3, -9 - 4 = -a + 2*m. Suppose -5*q + 10 = -5*l, -4*q + 3*q + k = a*l. Is q a multiple of 4?
True
Suppose -f + 3 = -4*b + 11, 2 = 2*b - f. Let l = b + 9. Suppose -52 + l = -2*u. Is 10 a factor of u?
True
Let w(d) be the first derivative of -d**2 + 8*d + 4. Is 8 a factor of w(-8)?
True
Suppose 0 = -5*a + 5*i + 30, -6*i - 10 = -a - i. Suppose a*o = 2*o + 120. Does 16 divide o?
False
Let a(t) = -87*t**2 - 5. Let f(u) = -391*u**2 - 23. Let w(i) = -23*a(i) + 5*f(i). Is 18 a factor of w(1)?
False
Suppose -4*a + 16 = -16. Let t = a + -4. Is 3 a factor of t?
False
Let a = -58 + 82. Suppose 3*r + 5*t = a, 4*r + t - 4*t = 3. Suppose 2*w + r = 87. Is w a multiple of 15?
False
Let s = -19 + -15. Let p = s - -51. Is 5 a factor of p?
False
Suppose 4*n - 25 - 39 = 0. Does 4 divide n?
True
Suppose -3*a = 2*a - 20. Suppose -a = -4*o, -5*p + 49 = 2*o + 2*o. Is 3 a factor of p?
True
Let i(y) = -y**3 + 3*y**2 + 2*y - 3. Let z be i(3). Suppose j + 17 = 4*g - 28, j = z. Does 7 divide g?
False
Let c(p) = p**3 + p**2 - p + 24. Let x be c(0). Let o = x - 54. Let t = -16 - o. Does 5 divide t?
False
Let n = 9 - -9. Does 6 divide n?
True
Let m(p) = 11*p**3 - 4*p**2 + 5*p - 7. Is 29 a factor of m(3)?
False
Suppose 204 = 4*w + 3*s, -115 = -4*w + 4*s + 89. Is w a multiple of 20?
False
Suppose 0*l - 5*g = -5*l + 15, -3*l - 3*g + 27 = 0. Is l a multiple of 6?
True
Let k(u) = -u**2 + 2*u - 2. Let a(m) = 2*m**2 - 5*m + 4. Let c(b) = 3*a(b) + 5*k(b). Let d be c(5). Is 9 a factor of d - (-11 + 2) - -1?
False
Is ((-10)/(-5) - 3)*(-1 - 238) a multiple of 31?
False
Does 50 divide (2 + (150 - 2))/((-6)/(-8))?
True
Let d = 2 + -3. Let b be -1 + d/(3/9). Let p = 6 - b. Does 4 divide p?
False
Suppose 35 = -2*l - 5*l. Let f be ((-6)/4)/((-3)/40). Let w = l + f. Is 12 a factor of w?
False
Let k be (-12)/9*(-9)/2. Does 15 divide (k/(-9))/(2/(-117))?
False
Let d be (-57)/2*(-16)/12. Let c = 84 - d. Does 23 divide c?
True
Let r(n) = -n - 12. Let z be r(-6). Let g be (-4)/6 + (-16)/z. Suppose -2*w + 3*l = -g, 5*w + 5*l - l - 51 = 0. Does 7 divide w?
True
Suppose 5*d = 20, -w - 15 = 2*d - 43. Is 5 a factor of w?
True
Is -1 + 82 + (-20 - -16) a multiple of 28?
False
Let o = 6 - -138. Is 18 a factor of o?
True
Let i(f) = f**2 - f - 1. Let t(y) = y**3 - 9*y**2 + y + 9. Let k(b) = -6*i(b) - t(b). Is k(3) a multiple of 4?
True
Suppose -24 = -l - 2*l. Let n = l + -5. Let c(j) = 2*j**2 - 4*j - 1. Is c(n) a multiple of 5?
True
Is 13 a factor of (-338)/(-39)*(7 + -1)?
True
Suppose 5*y + 1 = -9, 4*x - 2*y - 24 = 0. Suppose -x*s + 2 = -13. Is 2 a factor of s?
False
Is 28/(-4) - -11 - (-123 + 1) a multiple of 12?
False
Suppose -140 = -6*a + a. Is a a multiple of 8?
False
Let o(m) be the first derivative of m**3/3 - 5*m**2/2 - m - 1. Let u(z) be the first derivative of o(z). Is 3 a factor of u(6)?
False
Let h = 22 - 15. Is 3 a factor of h?
False
Suppose -33*h - 29 = -34*h. Does 7 divide h?
False
Suppose -3*u + 7*u = 0. Suppose u*n = -5*n + 45. Does 9 divide n?
True
Suppose -660 = 4*k - 7*k. Does 44 divide k?
True
Le