True
Suppose 2*b + 400 = 7*b. Is b a multiple of 9?
False
Let o(y) = -y**2 + y + 13. Let f(l) = l**2 - 14. Let g(p) = -5*f(p) - 6*o(p). Let s be g(7). Does 5 divide (4 - -6) + (s - -1)?
True
Suppose 5*v - 71 = 19. Is v a multiple of 9?
True
Let l(n) = -n**2 + 5. Let z be l(0). Suppose -4 = -3*u + z. Suppose 5*i - 2*c - 187 = 0, -3*i - u*c + 108 = -0*c. Does 18 divide i?
False
Let d be 1 + -3 - 32 - 1. Is 5 a factor of (-4)/(-14) - 235/d?
False
Suppose -4*u = v - 57, -7*v + 4*u + 165 = -2*v. Suppose 2*x - 3 = v. Is (3/2)/(2/x) a multiple of 6?
False
Suppose 2*s = -5*f + 43, -5*f + 34 = -3*f + 5*s. Suppose 10*n - 33 = f*n. Is n a multiple of 3?
False
Let b = 18 - 11. Suppose -h + 50 = j, -3*h = -b*j + 2*j + 234. Is j a multiple of 16?
True
Let m = 140 + -120. Is m a multiple of 3?
False
Suppose -5*o = -0*o - 1170. Let j = o + -142. Suppose -2*s + j = 2*r, 2*s + 82 = 2*r - s. Is 22 a factor of r?
True
Is 18 a factor of 2/(12/171)*2?
False
Let p(z) be the third derivative of z**5/15 - z**4/8 + z**3/2 - z**2. Let r be p(2). Suppose -r - 17 = -3*d. Is d a multiple of 9?
False
Let a = -64 + 100. Is 9 a factor of a?
True
Let l = -2 - -5. Suppose 13 = 3*d + k, -1 = -k + l. Is d a multiple of 3?
True
Let k = -99 - -201. Is 19 a factor of k?
False
Let s = -214 - -311. Is 11 a factor of s?
False
Is (2/2)/((-5)/(-645)) a multiple of 43?
True
Suppose 13*t = 11*t + 322. Is t a multiple of 33?
False
Let p = 100 - 24. Suppose -h + 92 = -2*f, -4*f = 2*h - 0*h + 184. Let o = p + f. Is 15 a factor of o?
True
Let s = 34 + 3. Does 7 divide s?
False
Let z = 28 + -18. Let c = z - 7. Is 2 a factor of c?
False
Let m = -201 - -97. Let j = m - -62. Is 15 a factor of 0 + -1 + (-1 - j)?
False
Suppose 2*q + 175 = 5*j - 3*q, -j - 4*q + 25 = 0. Suppose 4*l = -5*u + j, -4*u + 8*l = 3*l - 10. Suppose 0*x = -u*x + 125. Does 17 divide x?
False
Let d = 2 - 0. Let s(b) = -b**2 + 2*b + 1. Let c be s(d). Does 14 divide -1 - (c + (-28 - 0))?
False
Let r(a) = -41*a - 2. Let f(x) = -x. Let o(g) = 2*f(g) + r(g). Is 19 a factor of o(-2)?
False
Let g = -6 - -12. Is 4 a factor of g?
False
Let o be (6/1)/(-2 + 0). Is 24 a factor of 717/9 - 1/o?
False
Suppose 0 = -3*o + 4*o - 2. Suppose 2*x = 5*c - o*x - 154, -3*x - 63 = -2*c. Does 12 divide c?
False
Let a = 4 - 10. Is (-8)/a*231/14 a multiple of 11?
True
Let m = 5 - 18. Let z = -3 - m. Is z a multiple of 8?
False
Let q(x) = 2*x - 2. Let s(p) = 3*p - 2. Let d be s(2). Is 3 a factor of q(d)?
True
Suppose -2*o = -0*o + 12. Let l(g) = -8*g - 15. Is 11 a factor of l(o)?
True
Suppose 42 = 2*l + 2*y, 5*l - 38 = y + 37. Let q = l - 10. Is q a multiple of 6?
True
Suppose -4*i = -9*i - 100. Let s = i - -32. Is 9 a factor of s?
False
Let l(w) = -4*w + 1 + 3*w - 7*w. Is l(-2) a multiple of 14?
False
Suppose -12 = -0*d + 4*d, 3*o + 4*d = 30. Is 5 a factor of o?
False
Let d(s) be the third derivative of s**6/120 - s**5/5 + s**4/24 - s**3/6 - 2*s**2. Is d(12) a multiple of 8?
False
Let q = -12 - -38. Suppose 9*k - 8*k - 7 = 0. Let o = q + k. Does 13 divide o?
False
Let i(m) = -298*m + 2. Is 12 a factor of i(-1)?
True
Let g(z) = z**3 - 3*z**2 + 2*z - 1. Let x be g(3). Suppose 3*i = 4*i - x, -3*a + 80 = 4*i. Is 5 a factor of a?
True
Let f(u) be the second derivative of -11/6*u**3 + u + 0 + 1/2*u**2. Does 12 divide f(-1)?
True
Let z(p) be the first derivative of p**4/4 - 10*p**3/3 + 13*p**2/2 - 13*p + 4. Is 7 a factor of z(9)?
False
Let n be (-9710)/(-45) - 4/(-18). Suppose -2*d = d - n. Suppose 0*w + 2*w = d. Is 18 a factor of w?
True
Suppose -2*i + 7*i - 4*q = 125, 0 = -q. Suppose c + i = 6*c. Is 25/1 + c + -4 a multiple of 13?
True
Let p be 4/(4/(-7)) + -1. Let s = p - -10. Is s a multiple of 2?
True
Suppose -s - 3*o + 338 = 0, 5*s - 1310 = s + 2*o. Let g = s - 169. Suppose -4*k = -g + 48. Is k a multiple of 11?
False
Suppose 9*k + 442 = 1630. Is k a multiple of 11?
True
Let b(k) = -k**3 + 7*k**2 + 8*k + 3. Let a be b(8). Suppose -g + 3*r + 2 = 0, a*g + 3 = -g + r. Is 9 a factor of (-6)/(-2)*(-6)/g?
True
Let f be ((-10)/(-3) + -3)*15. Let c(b) = -4 + 4 - b**2 + 6*b. Is c(f) a multiple of 5?
True
Let h = -3 - -6. Is 3 a factor of h?
True
Let g = -23 + 11. Let p = 17 + g. Does 4 divide p?
False
Let d = -85 + 35. Let z = d - -84. Is 12 a factor of z?
False
Suppose 3*b + 20 = 8*b. Does 11 divide (-3)/(-4) + 145/b?
False
Suppose -2*v + 0*v - 12 = 0. Let u = v - -8. Suppose -x = u*x - 39. Is x a multiple of 8?
False
Let o(l) be the first derivative of 2*l**3/3 + 2*l**2 - 4*l + 4. Suppose 0 = 4*y + 20 - 4. Is o(y) a multiple of 12?
True
Suppose 0 = -2*i + 5*n - 68, -5*i - 2*n - 141 + 0 = 0. Let j = -20 - i. Is 5 a factor of j?
False
Let v = 35 - 25. Let l = v - -6. Is l a multiple of 8?
True
Suppose 0 = 4*r - 4*v + 12, -3*v + 4 = -5*r - 7. Does 7 divide (11*-1 + 2)*r?
False
Suppose -2*c + k - 3 = 0, -k + 2 = 5. Is 1 + (c + 4)/1 even?
True
Let w = -11 + 49. Is w a multiple of 19?
True
Suppose -2*r + 0*h - 4*h = -24, r - 3*h + 13 = 0. Suppose 0 = r*l - l - 13. Is 13 a factor of l?
True
Suppose 4*g - 188 = -0*g. Is g a multiple of 20?
False
Let j = 11 + 4. Does 15 divide j?
True
Suppose 6*y = 7*y - 9. Is y a multiple of 8?
False
Let r = 6 - 2. Suppose 0 = r*z + 5*u - 65 - 29, 2*z = u + 54. Is z a multiple of 13?
True
Let w = -129 + 173. Is w a multiple of 4?
True
Let x = -2 - -2. Let p = x - 0. Suppose p*i + 15 = 2*i + n, -3*i + 3*n + 36 = 0. Does 5 divide i?
False
Let y(a) = -3*a - 16. Let h be y(-12). Suppose o = -4*o + h. Is o a multiple of 2?
True
Let t(u) = -3*u - 8. Let m be t(-6). Suppose 6 = 3*z - 2*a, 3*z + 4 - m = a. Suppose 3*q - 18 = z*q. Is 9 a factor of q?
True
Let t(v) = v**3 + 10*v**2 + 19*v - 2. Does 7 divide t(-6)?
True
Suppose 5*k - 4*j = 284 - 61, 0 = -2*k + 3*j + 85. Does 10 divide k?
False
Let q = -31 + 161. Does 20 divide q?
False
Let p be ((-20)/(-16))/(2/8). Suppose 0*b = p*b - 10. Suppose -3*w = -b*w - 16. Is w a multiple of 8?
True
Suppose 5*a - 40 = -4*h + 56, -2*a = h - 27. Is h a multiple of 19?
True
Suppose 2*x = -4*k + 3*k + 29, x + 13 = 5*k. Does 3 divide x?
True
Suppose 5*f = 5 + 335. Does 34 divide f?
True
Is 9 a factor of 996/15 - (-6)/(-15)?
False
Is ((78/(-2))/(-3))/(7/91) a multiple of 13?
True
Suppose 222 = 4*c + h, -c + 4*h + 12 = -52. Does 14 divide c?
True
Let t be 6/(-15) - (-134)/10. Let k be 1*6 + -1 + 1. Let o = t + k. Does 19 divide o?
True
Let j = -8 - -10. Suppose 4*p = j + 46. Is p a multiple of 6?
True
Suppose -3*m + 5*r + 210 - 47 = 0, 4*r - 4 = 0. Suppose m = 5*y - y. Is 14 a factor of y?
True
Let f be ((-14)/6)/((-9)/81). Let g = -7 + f. Is g a multiple of 10?
False
Suppose 0*m = m - 3. Suppose 0 = -4*u + m*f - 7, -4*u + u + 2*f - 4 = 0. Suppose 0*j - 26 = -u*j. Is 9 a factor of j?
False
Let z = -4 - -9. Suppose -3*c = -3*o + c - 4, 24 = o + z*c. Is 6 a factor of 25/o - (-2)/(-8)?
True
Suppose 4*b = -3*s + 174, -s - 3*s - 5*b = -231. Suppose -3*y + 102 = -s. Is y a multiple of 13?
True
Suppose -3*r + 12 = x, -3*r + 4*r - 4 = 3*x. Suppose r*a - a - 36 = 0. Is a a multiple of 12?
True
Let h = 133 + -78. Is 11 a factor of h?
True
Let m be ((-2)/6)/((-5)/15). Let w(s) = 27*s. Let l be w(m). Suppose -4*c + 37 = -l. Is 6 a factor of c?
False
Suppose 104 = 6*m - 220. Is m a multiple of 9?
True
Suppose 3 = 2*n - 5. Is n a multiple of 4?
True
Let f be (-3)/(-3) + (-1 - -4). Suppose 0 = 5*p - v - 14 - 7, -f*v - 20 = -4*p. Suppose 0 = -2*z + p*z - 80. Is z a multiple of 20?
True
Let w = -24 + 15. Let n(m) = m**3 + 8*m**2 - 9*m + 9. Is n(w) a multiple of 8?
False
Suppose -b - 5*p - 50 = 0, -10 = 3*p + 2*p. Let w be 58 - 5/(15/6). Let z = w + b. Is z a multiple of 12?
False
Let s(i) = i**3 + i**2 - 9*i + 8. Is s(4) a multiple of 26?
True
Let k(p) = -p**3 + 5*p**2 + 6*p + 4. Let c be k(6). Suppose -3*u - c*b + 135 = -b, -2*b + 47 = u. Let t = -29 + u. Does 7 divide t?
True
Let l = -1 + -3. Let y(s) = s + 4. Let x be y(l). Suppose x*q = -q + 5. Is q a multiple of 3?
False
Let x(w) = -w**3 + 8*w**2 + 10*w - 4. Let h(m) = m. Let y be h(3). Let a = y - -6. Is x(a) a multiple of 2?
False
Let z = -159 + 323. Suppose -z = -4*x + 20. Suppose 0 = 5*k + 4*h - x, 0 = -k + 6*k - h - 51. Is 9 a factor of k?
False
Suppose 4*c - 207 = 37. Is 8 a factor of c?
False
Let j(c) = c**2 + c + 3. Let z be j(0). Let y be (-1)/((-3)/z) - 25. Is 