le of 9?
True
Let q(r) = 5*r**3 + 3*r**2 + 48. Let a(i) = -i**3 - i**2 - 1. Let h(o) = 4*a(o) + q(o). Is h(0) a multiple of 11?
True
Suppose 6*r + 5 = 2*r + s, -r - 3*s = -15. Suppose r*n - 10 = -n. Is n a multiple of 5?
True
Let y = -9 + 335. Is 13 a factor of y?
False
Let h(z) = 2*z**2 - 2*z. Let k be h(2). Is (-1)/k*-38*2 a multiple of 14?
False
Let u(s) = 2*s**2 + 8*s + 7. Does 17 divide u(-5)?
True
Suppose 0 = q - 4*q + 15. Suppose q*c - 95 = 10. Is 12 a factor of c?
False
Let z = -61 - -139. Is z a multiple of 11?
False
Let l = -76 - -122. Suppose -2*g - 2*r + l = 0, -g = -0*g - 3*r - 23. Let q = -14 + g. Is q a multiple of 5?
False
Suppose -5*r - 6 = -26. Suppose 5*b - 24 = 2*g, 0*b + 12 = -r*g + b. Does 10 divide 12 - ((g - -2) + 2)?
True
Is -1 - -1 - (-71 + -1) a multiple of 18?
True
Suppose 3*y - 5 = 4*x, -2*x + 4*x - 1 = 5*y. Let a = x - -7. Suppose a*h + 5*m - 120 = 0, -m - 136 = -5*h + 2*m. Does 13 divide h?
True
Suppose 0 = -5*p - f + 135 + 44, -4*p - 4*f = -156. Let y = 56 + -34. Let r = p - y. Is r a multiple of 13?
True
Suppose u = 3*u + 3*m - 23, 2*u + m = 29. Is 6 a factor of u?
False
Suppose 432 = 4*b + 5*b. Is 12 a factor of b?
True
Is (-72)/(-1)*(-5)/(-10) a multiple of 6?
True
Let c(k) = -k**3 + 2*k**2 + 2*k - 1. Let g be c(2). Let h(n) = -3*n - 1. Let s be h(g). Let d = 8 - s. Is 6 a factor of d?
True
Let s(v) = -v**3 - v**2 - 3*v + 14. Is s(0) a multiple of 5?
False
Does 13 divide -2*1/(-2) + 43 + -4?
False
Let p be 39 - (-1 + (0 - -2)). Suppose 3*z = -3*n + 120, -2*z - p + 112 = -n. Let m = -22 + z. Does 16 divide m?
True
Let t = -10 - -101. Let o = -151 + t. Is 9 a factor of (6/4)/((-5)/o)?
True
Let k be (4/6)/((-2)/(-6)). Suppose 5*d - 6 = -k*n - 2, d = -n - 1. Suppose v + 11 - 42 = 3*o, 3*o = d*v - 74. Is 17 a factor of v?
False
Is 8/(-4)*50/(-4) a multiple of 11?
False
Suppose 9*s = 3*s - 78. Let y(v) = -2*v - 10. Is 4 a factor of y(s)?
True
Let n(q) = 43*q**2 + 2*q. Is 16 a factor of n(1)?
False
Let n(y) be the first derivative of y**2 - y + 2. Let h be n(2). Suppose 0 = -0*i + h*i - 42. Does 12 divide i?
False
Let w = 6 - 3. Does 13 divide (-37)/(-2) + w/(-6)?
False
Let o(p) = -7*p - 5. Let y(i) = -14*i - 9. Let v(x) = 11*o(x) - 6*y(x). Let t be v(3). Suppose -1 = -r + t. Does 14 divide r?
False
Let c(w) = -8*w**2 - 7*w + 107. Let m(r) = -7*r**2 - 6*r + 106. Let g(l) = -6*c(l) + 7*m(l). Let z be g(0). Let n = z + -54. Is 17 a factor of n?
False
Let l be 4/14 + (-33)/(-7). Suppose 2*y - 5*y + 2*p - 159 = 0, 0 = 2*y - l*p + 117. Is 7 a factor of -1 + -2 + y/(-3)?
True
Let c(s) be the first derivative of 7*s**2/2 - 6*s - 2. Is c(6) a multiple of 18?
True
Let t(p) = 11*p - 9. Is t(4) a multiple of 35?
True
Let w = 66 - 36. Suppose -4*b - b + w = 0. Let t(r) = -r**2 + 9*r - 7. Does 11 divide t(b)?
True
Let h = 90 - 64. Is 5 a factor of h?
False
Suppose 2*q + b - 5 = 0, 0*q + 5*q + 3*b - 11 = 0. Does 6 divide (0 - q)*(-22)/8?
False
Suppose -2*i = -5*x - 560, 7*x = 3*x + 16. Is 29 a factor of i?
True
Suppose 0*k + k = -2*x + 118, -472 = -4*k + 5*x. Let h = -84 + k. Does 9 divide h?
False
Suppose 291*m - 289*m - 312 = 0. Is m a multiple of 13?
True
Let l(o) = 5*o**2 + 2*o + 1. Let f be l(-3). Let n = -24 + f. Is n a multiple of 8?
True
Let f be (90 - 0)/((-6)/4). Let h = 176 + f. Let s = -48 + h. Is s a multiple of 23?
False
Let m(x) = -x**3 - x**2 - x + 20. Suppose 2*b = 4*b. Does 7 divide m(b)?
False
Suppose -4*s + 25 = s. Let h(q) = -q**2 + 7*q - 4. Let b be h(s). Is 5 a factor of (-3)/b - (-38)/4?
False
Let l = 366 - 258. Is 12 a factor of l?
True
Suppose -2*k - o + 434 = 0, -8*k + 3*k + 4*o = -1059. Does 25 divide k?
False
Let h(d) be the third derivative of d**2 + 0 + 0*d - 1/20*d**5 - 1/6*d**3 + 0*d**4 - 1/120*d**6. Is h(-4) a multiple of 5?
True
Let q = 87 + -47. Let o = -52 - -128. Let g = o - q. Is 17 a factor of g?
False
Let q be ((-122)/3)/(6/(-9)). Let p = q - 32. Is p a multiple of 13?
False
Let u(h) = -49*h**3 + 2*h + 1. Suppose -j = -3*v, 0 = -5*j + j - 12. Does 13 divide u(v)?
False
Does 21 divide 6/(-30) + (-156)/(-5)?
False
Let k = 16 - 10. Is 9 a factor of 4/(-3) - (-140)/k?
False
Suppose -79*i - 480 = -83*i. Is 12 a factor of i?
True
Let b be ((-1)/(-3))/(9/54). Let u = -28 + 40. Suppose 0 = -b*f + u + 18. Is f a multiple of 5?
True
Is 0 - 136/(-2 - 2) a multiple of 17?
True
Suppose -5*m + 229 = -161. Is m a multiple of 26?
True
Let b(j) = -2*j - 27 - 4*j + j**3 + 7*j. Let y be b(0). Let v = 40 + y. Is 13 a factor of v?
True
Let y(n) be the third derivative of -n**6/60 - n**5/30 + n**4/24 + n**3/3 + 4*n**2. Is y(-3) a multiple of 9?
False
Let d(k) = 4*k - 8. Let o be (-6)/(-4) + 30/4. Is d(o) a multiple of 8?
False
Let k(x) = x**2 + x + 1. Let q be (2/4)/((-3)/12). Let s = 5 + q. Is k(s) a multiple of 13?
True
Let h(a) = -a**3 + 6*a**2 + 8*a - 1. Let z be h(7). Let p(y) = -y + 8. Let b be p(z). Does 5 divide 24/b - -2 - 0?
False
Let k = -35 - -56. Is k a multiple of 7?
True
Let m(p) = -4 + p**2 - 2 - p + 3 + 2. Is 16 a factor of m(7)?
False
Let t = 422 - 178. Is 22 a factor of t?
False
Suppose 895 = -x + 6*x. Is x a multiple of 12?
False
Let g(h) = h**2 - 7*h + 12. Does 6 divide g(9)?
True
Let o(r) = 2*r - 18. Let m be o(13). Does 27 divide (36/m)/((-3)/(-18))?
True
Let i(f) = 54*f + 1. Suppose 5*d - 5 = -0. Does 11 divide i(d)?
True
Suppose 0 = -3*p + 6 - 0. Suppose 0 = 2*a - 4 - p. Does 3 divide a?
True
Suppose 5*l = 5*m + 25, 2*m = -l + 2*l - 9. Is 0 - -16 - (l - 2) a multiple of 17?
True
Let u be 102/5 - 4/10. Suppose -4*v - u = -152. Is 11 a factor of v?
True
Let y(l) = 8*l**2 + 8*l + 2. Is y(-3) a multiple of 10?
True
Let n(l) = 6*l + 7. Does 11 divide n(8)?
True
Suppose 1 = 2*m + 3. Is 2 a factor of 7 - m/(-1) - 3?
False
Let s(d) = -d**3 - 15*d**2 - 15*d - 8. Is s(-14) even?
True
Let s = -33 + 50. Is s a multiple of 10?
False
Suppose 160 = 6*p - p. Let x = p + 19. Is x a multiple of 25?
False
Let v(b) = -b**2 + 9*b + 10. Is v(8) a multiple of 18?
True
Suppose -j + 5*m + 52 - 1 = 0, 3*m = -3*j + 63. Is j a multiple of 13?
True
Suppose 18 = x + 4*b + 46, -3*b - 7 = -x. Let r = -6 - x. Suppose 0 = -u + g - 3*g + 4, r*u + 2*g = 6. Is u a multiple of 2?
True
Suppose -4*r = -3*r. Suppose -s - 21 + 58 = r. Does 20 divide s?
False
Let r(q) = -4*q - 14. Let p(f) = f**2 + 6*f. Let c be p(-4). Let y be 20/(-3)*(-12)/c. Does 16 divide r(y)?
False
Let p be (-2 + 3)/(1/156). Let i = p - 76. Is i a multiple of 20?
True
Suppose 4*f = 7*f - 1866. Let n = f + -424. Suppose -2*c - n = -7*c - 3*u, 4*u - 68 = -2*c. Is 21 a factor of c?
True
Let a be 0/1 - 3/1. Let r be (20*(-1)/6)/(4/6). Let b = a - r. Is b a multiple of 2?
True
Suppose -10 = -3*a + 8. Suppose a = 4*w - 14. Suppose 68 = 5*c + n + 3, w*c - 45 = 3*n. Is 12 a factor of c?
True
Let y(i) = 2*i + 4. Suppose -4*f = -2*m - 26, -2*f + 0*m + 3*m + 7 = 0. Let v be y(f). Suppose -t - 2*a + v = 0, -2*t = -0*t - 3*a - 75. Does 15 divide t?
True
Let o = -281 + 486. Is 43 a factor of o?
False
Let l = 21 - 12. Suppose 0 = -k + 4*k - l. Is k a multiple of 3?
True
Let o be -1*(-2)/2 - -2. Suppose 2*q - o*a = -3*q + 137, 9 = q + 4*a. Is 14 a factor of q?
False
Let y(x) = 5*x**2 - x**3 + 6*x - 2*x + 8 - 10. Does 9 divide y(5)?
True
Suppose 3 = 3*q - 6. Let m(x) = -3*x**3 - 2 - x - 2*x**2 + 3*x + 4*x**3. Is 13 a factor of m(q)?
True
Let x = 2 - 4. Let r be 2 - (24*-4 - x). Suppose 5*a = -w + r, 2*a = a - 3*w + 8. Is 10 a factor of a?
True
Let g(i) = 3*i - 1. Let r be g(3). Does 2 divide 9 - r - 1*-3?
True
Suppose 0 = 2*w + o - 12 - 3, -4*w - 3*o + 27 = 0. Suppose -2*z = 2*v - v - w, v - 27 = 4*z. Is v a multiple of 11?
False
Suppose 5*v + 4*k + 23 = 0, v + 8 = -4*k - 3. Does 7 divide -1*((-6 - -2) + v)?
True
Suppose -4*v - 58 = -250. Is 4 a factor of v?
True
Let v(i) = -4*i - 15. Does 21 divide v(-11)?
False
Let r be ((-4)/(-2))/(2/4). Suppose -2 = l - 5*p + p, 2*p - 10 = -r*l. Suppose -84 = -4*g - 3*k, 5*k = l*g + k - 20. Is 9 a factor of g?
True
Suppose 35*g + 532 = 39*g. Does 43 divide g?
False
Let p = 9 - -29. Suppose 3*f - p = 106. Is 12 a factor of f?
True
Let g(z) = -z**3 + 4*z**2 + 2. Let r be g(4). Suppose 0 = r*w - 6*w + 16. Is w even?
True
Suppose -5*a = 3*z - 96, -2*z = -2*a - 3*z + 38. Let v = 33 - a. Does 5 divide v?
True
Suppose 3*m = 2*k - 56, -m 