Suppose 290 = 3*h - 718. Does 56 divide h?
True
Let k = -167 - -91. Let i(v) = 3*v**2 - 26*v + 5. Let z be i(6). Let t = z - k. Is t a multiple of 23?
False
Let a = 301 - 634. Let m = -217 - a. Is m a multiple of 29?
True
Let s be (7 + -4 - -17) + 4. Suppose 4*b + 119 = t + s, -429 = -5*t - 3*b. Does 11 divide t?
False
Let w(v) = 4*v**2 - 20*v - 4. Let x be w(7). Suppose 4*k + 4*f = 168, -x - 32 = -2*k - 4*f. Is 6 a factor of k?
True
Suppose 0 = 4*t - 3*b - 711, -3*b + 417 = 3*t - 132. Is 9 a factor of t?
True
Is 36 a factor of (-1 + 28)*60/9?
True
Suppose 986 = -4*w + 3*m, 5*m - 1090 = 4*w - 108. Let n = 353 + w. Is n a multiple of 7?
True
Let v(j) be the first derivative of 12*j**2 + 9*j + 3. Does 19 divide v(2)?
True
Suppose k - 9*q + 10*q - 587 = 0, 3*k - 1751 = -5*q. Is 14 a factor of k?
False
Let p(g) = -g**2 + g + 7. Let b be p(0). Let f = -3 + b. Suppose 5*n = u + 213, f*n - 4*u - 162 = u. Is 13 a factor of n?
False
Let d = 442 + -303. Let r = 411 - d. Is r a multiple of 31?
False
Let h = 2688 + 1152. Does 15 divide h?
True
Let m = -7 - -6. Let l be (-1 - 0 - m)/2. Is -6*8/(-4) + l a multiple of 3?
True
Let k = -8 + 4. Suppose -4*r - 2*t = 10, 2*r - 5*t - 7 = 6*r. Is 15 a factor of (7 + k)/r + 31?
True
Let c = -86 - 48. Let w = c - -210. Is 12 a factor of w?
False
Let g(p) = p**3 + 6*p**2 - 6*p + 9. Let s(f) = -f**3 + 7*f**2 - 6*f - 7. Let q be s(6). Let b be g(q). Suppose -14 = -b*y + 28. Is y a multiple of 7?
True
Let c be 8*-1*(-2)/8. Suppose -3*x = -6, -c*y + 5*y - 2*x + 16 = 0. Is 3 a factor of (11 - -1) + (y - -2)?
False
Suppose -5*p = -h + 328, -2*p + 1875 - 208 = 5*h. Suppose -15*t + 12*t = -h. Does 37 divide t?
True
Suppose 2*s = o - 409, -2*s - 1654 = -30*o + 26*o. Is 83 a factor of o?
True
Suppose 445 = 5*v + 2935. Let x be v/36 - (-1)/(-6). Let y = x + 18. Is y a multiple of 2?
True
Suppose -1705 = -4*o + 1555. Suppose -o = -5*a - 145. Is 17 a factor of a?
False
Suppose -2*n + 2*j + 270 = 3*n, 0 = 2*j - 10. Suppose 4*s + 3*q + q = 236, -s - 4*q = -n. Suppose -5*d = -8*d + s. Is d a multiple of 20?
True
Suppose 23 = 6*a - 7. Suppose 0 = 9*o - a*o. Let c(l) = 2*l + 54. Does 9 divide c(o)?
True
Is 23 a factor of (361 + (3 - -4))/2?
True
Let t(o) = -547*o - 14. Is 36 a factor of t(-2)?
True
Suppose -20 = -5*i - 0*i. Suppose 0 = i*d + 10 - 42. Suppose 2*o - d + 2 = 0. Is o even?
False
Suppose -428 = 4*o - 8*o. Is 18 a factor of o?
False
Suppose -21 = -r - 87. Does 8 divide r/4*(-20)/15?
False
Let g(o) be the first derivative of 11*o**4 - o**3/3 + o**2/2 + 11. Is g(1) a multiple of 15?
False
Let a(t) = -t + 8. Let k = -15 - -18. Let y be a(k). Let d(w) = 3*w**2 - 3*w + 9. Does 15 divide d(y)?
False
Let y(v) = -4*v**3 + 3*v**2 + 7*v - 12. Let x(k) = -7*k**3 + 7*k**2 + 14*k - 24. Let o(l) = 3*x(l) - 5*y(l). Is 8 a factor of o(5)?
True
Suppose -278 = -4*y + 3*t, y = 6*y + 2*t - 359. Is y a multiple of 4?
False
Let f = 104 + -32. Let h(d) = -d**3 + 21*d**2 + 3. Let r be h(21). Suppose -r*x = -f - 6. Is x a multiple of 10?
False
Let n be 806/(-12)*2 + (-3)/(-9). Let o = -66 - n. Does 17 divide o?
True
Is (20/(-3))/((-3)/6)*9 a multiple of 14?
False
Does 8 divide 27/((-108)/(-2320)) - -12?
True
Is 26 a factor of (-7 - -8)/(3/4212)?
True
Suppose 21 = -j + 108. Suppose -2*q - 36 = 58. Let x = q + j. Does 10 divide x?
True
Suppose 13*i - 3*i = 1110. Is i a multiple of 3?
True
Let f = 130 + -129. Let h(q) = 245*q**2 - 3*q + 4. Is h(f) a multiple of 32?
False
Suppose -4*a + 6*p + 425 = p, -3*p = -a + 108. Suppose -2*t + a = -297. Does 33 divide t?
False
Suppose 33660 = -41*b + 56*b. Does 22 divide b?
True
Let k be (-3)/(0 + 2 - 3). Suppose 1 = -3*c - l, k = -2*c - 2*l + 1. Suppose c*v - v + 20 = 0. Is 10 a factor of v?
True
Let t(d) = 210*d + 2. Let b be t(1). Suppose 0*c = 2*c - b. Is c a multiple of 13?
False
Suppose -7*d - 5 = -2*d - 2*j, 2*d - 4*j = 14. Is ((-36)/(-3))/d - -64 a multiple of 10?
True
Suppose 185*y = 189*y - 3248. Is 32 a factor of y?
False
Suppose 38 + 18 = -2*b + 4*r, 3*b + 74 = r. Let j = b + 49. Does 5 divide j?
True
Suppose 0 = -f + 6*f + 5. Let i be 1 - 2/(1/f). Suppose 0 = -i*k + 51 - 6. Does 5 divide k?
True
Let h(u) = -u**3 - 30*u**2 - 112*u + 23. Does 6 divide h(-27)?
False
Let w be 0 + (1 - -862) + (1 - 4). Suppose 0 = -3*h - 2*h - 5*n + w, 0 = 4*h - 5*n - 715. Is 35 a factor of h?
True
Let n(p) = p**3 + 13*p**2 + 9*p + 10. Let i be n(-11). Suppose i = -13*u + 14*u. Does 26 divide u?
False
Let t be (-4)/(-24) - 1/6. Suppose y - 3*h - 151 = 0, -5*y + 742 = -t*h - 2*h. Suppose -2*v + 4*n = -0*n - y, 4*v + n = 278. Is v a multiple of 24?
False
Let j(f) = -7 + 2*f - 8 + 17. Let l be j(-1). Suppose l = x + 2*r - 80, -x + 16 + 79 = -r. Is 15 a factor of x?
True
Let l(h) = h**3 + 15*h**2 + h + 1540. Does 22 divide l(0)?
True
Let z = -25 + 52. Suppose 0 = 2*s - 6*s + 3*p + 154, s + 5*p = z. Let a = -3 + s. Is a a multiple of 17?
True
Suppose -4*t = -8, -3*k + 6*k - 2*t - 41 = 0. Let c(s) = s**3 - 17*s**2 + 36*s - 18. Is 9 a factor of c(k)?
True
Suppose -4*m = 1 - 49. Let v be (-16)/m*81/2. Let r = -6 - v. Is r a multiple of 16?
True
Suppose 211 + 59 = 2*l. Does 15 divide l?
True
Suppose -2*v + 4 = -6. Suppose v*m - 265 - 90 = 0. Is 11 a factor of m?
False
Suppose -3*h = -90 - 60. Let k = 26 + h. Is k a multiple of 19?
True
Suppose -2*p = 5*q - 0*p - 15662, q - 3135 = -3*p. Does 36 divide q?
True
Let u = -2439 + 2461. Is 2 a factor of u?
True
Let g = 48 - 51. Let l(z) = -2*z**3 + 2*z**2 - z - 9. Is l(g) a multiple of 33?
True
Let v(y) = -y**3 - 4*y**2 + 4*y + 5. Let m be v(-5). Suppose 5*f - 5 = c, -4*f - c + 6 = -7. Suppose 0 = f*q - 0*q - m. Does 5 divide q?
True
Let r = 19 + -16. Suppose 152 = 5*u - r*z - 73, 3*z - 111 = -3*u. Let i = u + -3. Does 14 divide i?
False
Suppose -4 = 2*q - p, 5*q - 3*p = 5 - 16. Let h be (-2)/4*-6 - q. Suppose h*s - 59 = 9. Does 17 divide s?
True
Let d(w) be the second derivative of 0 - 1/10*w**5 + 0*w**4 + 0*w**2 - 2/3*w**3 + 5*w. Is 15 a factor of d(-3)?
False
Let q(p) = 2*p**2 - 21*p + 61. Let l(v) = 3*v**2 - 21*v + 62. Let g(f) = 3*l(f) - 4*q(f). Is 64 a factor of g(13)?
True
Let y = 1234 - 786. Is 28 a factor of y?
True
Suppose -5*b - 4*i = -6, -i = 3*b + 2*i - 3. Suppose 4*y - b*y + 2 = 0, 0 = 5*t - 2*y - 332. Does 22 divide t?
True
Let v(q) = q**2 + 2*q + 1. Let n be v(-5). Suppose 0 = 3*g + 1 - n. Suppose 4*r - 48 = g*k, 0*r - 12 = -r + 4*k. Is r a multiple of 3?
True
Suppose 7754 = 3*k + 4*v - 5754, 3*k - 2*v = 13532. Does 124 divide k?
False
Suppose 4*i - 3*i - u - 39 = 0, -2*u = 5*i - 174. Is ((-35)/14)/(((-7)/i)/7) a multiple of 18?
True
Let l be (3 - 0)*-5 - 3. Let j = l + 30. Let r = 24 - j. Does 7 divide r?
False
Suppose o - 45 - 24 = 0. Suppose -7*i = o - 1077. Is 16 a factor of i?
True
Suppose -r - 14*y + 10*y = -602, 2*r = y + 1186. Does 11 divide r?
True
Let s be 45/(-55) + 2/(-11). Let z be 9 - (-1 + 5 + s). Is 14 a factor of z/15 - (-78)/5?
False
Is 395 + -15 + 6 + 5 a multiple of 11?
False
Let m be (2/8)/((-2)/(-40)). Suppose 39 = -m*l + 124. Is l a multiple of 2?
False
Let g(u) = -u**3 - 8*u**2 - 19*u - 15. Let t = 80 - 87. Is 4 a factor of g(t)?
False
Suppose 18*s - 7315 = -s. Is s a multiple of 35?
True
Let y(p) = 70*p + 7. Let q be y(8). Suppose -4*f - 4*n + 1555 - q = 0, 3*f + 5*n - 739 = 0. Does 14 divide f?
False
Let o be 16/1 - 2*-1. Let b = 20 - o. Does 11 divide (b/3)/((-6)/(-135))?
False
Suppose 7*t = 3*t - 0*t. Suppose o - 111 = -t. Is o a multiple of 37?
True
Let n = -7 + 10. Let s(b) = 4*b**3 - 4*b**2 + 8*b - 2. Is 11 a factor of s(n)?
False
Let j(y) = 2*y**2 - 2*y + 13. Let v be j(0). Let o(w) = w**2 - 14*w + 15. Let b be o(v). Is (-11)/(1/(-4)*b) a multiple of 10?
False
Let z(y) = -6*y**2 + 3*y + 1. Let t(x) = 3*x**2 - x - 1. Let h(g) = -7*t(g) - 4*z(g). Is h(3) a multiple of 3?
True
Suppose 5*x - 5 = -35. Suppose -148 = 3*s - 85. Does 5 divide (50 - 1)*x/s?
False
Let r(o) = -3*o**2 + 7*o - 4. Suppose 0 = y - 0*y - 4*l - 20, -4 = 2*y + 3*l. Let f be r(y). Is 12 a factor of (12/2)/((-4)/f)?
True
Suppose 4*b - 359 = 3*b - 3*z, 4*z = b - 359. Is b a multiple of 42?
False
Let y(w) = -15*w - 4. Let r be y(-2). Suppose 5 - 15 = -2*d. Suppose 3*m + r = -2*f + 3*f, d*m - 70 = -5*f. Is 17 a factor of f?
True
Let s be 2/3 + (-102)/(-9). Suppose 0 = 14*f - 