uppose -a + 1489 = 4*x, -107 = 3*x + 3*a - 1226. Is 20 a factor of x?
False
Suppose -3451 + 571 = -16*o. Does 9 divide o?
True
Let p = 8 - -4. Is 308/p - (-2)/6 a multiple of 3?
False
Suppose 47 = -g + 5*g - 3*q, -14 = -3*g - 2*q. Suppose -5*i - 2*m - 361 = -8*i, g = -4*m. Is 21 a factor of i?
False
Suppose 4*v = 8*v - 232. Suppose 0*m = l - 2*m - v, -3*m - 15 = 0. Suppose 2*k = -2*k + l. Is 4 a factor of k?
True
Suppose 4*n + 38 = q + 2*q, -4*q = n - 19. Suppose -q*t + 10 = -4*t - p, 5*t = -2*p + 25. Suppose -2*s = t*s - 28. Is s a multiple of 2?
True
Let r = 31 + -31. Let d(a) = a**3 + 2*a + 335. Is 47 a factor of d(r)?
False
Suppose -o - 4*w + 0*w = 10, -23 = 2*o + 5*w. Let t = o - -25. Let n = t - -7. Is n a multiple of 6?
True
Suppose 20440 = 2*i + 18*i. Does 13 divide i?
False
Let f(y) = y**2 - 8*y + 13. Let z be f(4). Does 7 divide (z/1 - -3) + (4 - -17)?
True
Let q(z) = 12*z + 30. Let g = 81 - 71. Does 15 divide q(g)?
True
Suppose -5*c + 2 = -8. Suppose -1551 = -5*h - c*j, -2*h - 4*j = -0*h - 630. Is (-1)/(4 + h/(-77)) a multiple of 15?
False
Let s(p) be the third derivative of p**9/60480 + p**7/5040 + 17*p**6/240 - p**5/30 - 2*p**2. Let b(x) be the third derivative of s(x). Is 17 a factor of b(0)?
True
Let z = 1 - 1. Suppose 23 = 4*w - 3*l, -2*w = -l - 3*l - 24. Suppose z = -5*p - 2*q - 1 + 3, -p - q = w. Is p a multiple of 2?
True
Is 2 a factor of (16 + -12 + -1)*18?
True
Suppose -z = q + 3, -z - 4 = -4*q + 9. Suppose q*o = 9 + 29. Is 2 a factor of o?
False
Does 33 divide ((-1)/(-1))/((-53)/(-19239))?
True
Let c = 249 + 631. Is 20 a factor of c?
True
Let z(f) = 7*f + 17. Does 5 divide z(19)?
True
Suppose 4 + 12 = 2*a. Let h(f) be the third derivative of f**4/12 - f**3/6 - 86*f**2. Is 5 a factor of h(a)?
True
Let g = -13 + 17. Suppose -2*y + 5*y - 307 = -2*s, 5*y + 625 = g*s. Is 13 a factor of s/4 + (-4)/(-16)?
True
Suppose -3*y = 3*y - 1236. Suppose y = 4*s + 34. Is s a multiple of 8?
False
Let s = 26 + -19. Let r be 384/42 - 1/s. Is 5 a factor of ((-48)/(-14))/(r/63)?
False
Suppose 4*t + 1036 = 4*c - 2*c, 510 = -2*t + 5*c. Let a = -110 - t. Does 50 divide a?
True
Let w(h) = h**3 + 6*h**2 + 5*h + 5. Let t be w(-5). Let s = -16 + t. Let m = s + 38. Is 13 a factor of m?
False
Let s(q) be the third derivative of -q**6/120 - q**5/20 - q**4/4 - 3*q**3/2 + 24*q**2. Is 8 a factor of s(-6)?
False
Let n(l) = 2*l**3 + 2*l**2 - 4*l + 3. Suppose -q + 0 = -4. Let x be n(q). Suppose -5*c + x = -2*j, 3*j + j = 2*c - 46. Is 10 a factor of c?
False
Let k(t) = 9*t - 40. Let s be k(4). Is (-8)/76 - ((-3672)/(-57))/s a multiple of 8?
True
Let w(y) = 2*y**3 - 7*y**2 + 2*y - 31. Let r(b) = -b**3 + 4*b**2 - b + 15. Let z(l) = 9*r(l) + 4*w(l). Does 6 divide z(6)?
False
Let c = 52 - 34. Let o(m) = 2*m**2 - 1. Let a be o(-1). Let i = c - a. Does 7 divide i?
False
Let p(i) = 9*i + 164. Does 101 divide p(-7)?
True
Let r(c) = 33*c - 13. Does 16 divide r(13)?
True
Let n = -120 + 948. Is 15 a factor of n?
False
Suppose -5*y + 3*i = -2*y - 570, 0 = -3*y - 5*i + 530. Is 8 a factor of y?
False
Let m(h) = h**2 + 7*h + 11. Let p be m(-5). Does 21 divide -2 + (31 + p)*4?
True
Suppose 0 = -5*n + 4*n + 5*y + 7, -4 = -n + 2*y. Suppose -n*d = 5*d - 567. Is d a multiple of 10?
False
Does 54 divide (-14)/21 - ((-746)/3 - -2)?
False
Let a = 16 + -13. Suppose -2*y = -5*r + 65, -a*y = -y. Does 13 divide r?
True
Let m = -9 - 2. Let u = 96 + m. Suppose 28 - u = -a. Does 16 divide a?
False
Does 14 divide 22/4 - 7/14 - -93?
True
Let z = -955 + 1917. Is z a multiple of 26?
True
Suppose -5*z - 4*u = -508, z - u = u + 96. Let f = -56 + z. Suppose 6 = 2*w - f. Is 25 a factor of w?
True
Suppose -5*x = -4*x - 481. Is 22 a factor of x?
False
Let q(s) be the third derivative of s**5/60 + 5*s**4/24 - 5*s**3/3 - 34*s**2. Is 39 a factor of q(-19)?
False
Suppose 0 = 3*h - 282 + 45. Suppose -u - 212 = -4*o, 291 - h = 4*o - 4*u. Suppose -3*x - 4*s + 239 = o, -4*x + s + 267 = 0. Does 22 divide x?
True
Suppose 3*i = -0*i + 18. Suppose 0 = 2*u - 3*q - 10, -q = 5*u + i - 14. Suppose -u*v + d + 28 = 0, -3*v = -4*d - 4 - 38. Is 11 a factor of v?
False
Let f = 148 - 146. Suppose 0 = -s + 2*v + 10, 6*v - 63 = -5*s + 3*v. Suppose -s = -j + f. Does 4 divide j?
False
Suppose 4 = k + 2. Suppose 0*b = -k*b - 14. Is 18 a factor of 1/b*18*-21?
True
Suppose 13*w - 16*w = -369. Suppose 5*o + c - 837 = 0, -3*c - w = -o + 54. Is 10 a factor of o?
False
Suppose 3*o = -3*v + 6*o + 816, 546 = 2*v - 4*o. Is 29 a factor of v?
False
Suppose 5 = 5*o, 199 = 4*t + 4*o - 4105. Does 44 divide t?
False
Suppose -68 = a - 194. Is a a multiple of 21?
True
Let l(j) = j + 18. Let d be -11 + (2 - (0 - 0)). Let x be l(d). Is 13 + 0 - (-8 + x) a multiple of 6?
True
Let g = 2949 + -897. Is 9 a factor of g?
True
Let g(h) = 56*h**2 - 19*h - 60. Does 6 divide g(-4)?
True
Suppose 0 = 22*t - 16*t - 5256. Is t a multiple of 30?
False
Suppose 35 = -3*m - 3*w + 8, 2*w - 42 = 3*m. Let j = m + 33. Is j a multiple of 13?
False
Suppose 4*w - 979 = 809. Suppose 147 = 3*s - w. Is s a multiple of 33?
True
Let q(x) = -x**2 - 9*x + 40. Let t = -68 - -56. Does 4 divide q(t)?
True
Suppose 0 = -2*w + 3*t + 9 - 1, 20 = 5*w + 3*t. Does 33 divide 252/(-15)*6/w*-5?
False
Let j(h) = -4*h + 37. Let l be j(8). Let u be (26/4)/(-1)*-10. Suppose l*c + z = 248, -c - 17 + u = z. Is c a multiple of 10?
True
Suppose 2*b - 4*w - 4 = -3*b, 2*b + 3 = -3*w. Suppose b = 4*l - 15 - 5. Suppose -x + 0*n = -4*n - 32, -l*x + 4*n = -160. Is x a multiple of 12?
False
Let x(k) = -k**3 + 11*k**2 + 5*k - 13. Let c(o) = 1 - 6*o + o - 5*o + 0*o. Let n be c(-1). Is 16 a factor of x(n)?
False
Let n(v) = -118*v - 492. Does 2 divide n(-6)?
True
Suppose 0 = -22*a + 17214 + 826. Is a a multiple of 8?
False
Suppose 2*z + 5*m = z + 57, -4*m = 4*z - 308. Let u = 172 - z. Is 17 a factor of u?
False
Suppose 16*p + 21 = 19*p. Let i = 3 - p. Let g = i - -56. Does 26 divide g?
True
Is ((-264)/36 - -6)/((-6)/7353) a multiple of 19?
True
Let v(y) = 9*y**2 + 1. Let g be v(-1). Suppose -11*s = 80 - 14. Is g + (s - (-2 - 2)) even?
True
Is 51 a factor of (2 - -12)/(-7) - -665?
True
Let i(a) be the second derivative of 2*a**4/3 - a**3/3 - a**2 + 5*a. Is 8 a factor of i(2)?
False
Does 76 divide 308/121 + -2 + 87762/33?
True
Let u(y) = 4*y**2 + 2*y - 18. Is u(-5) a multiple of 20?
False
Let f be 120/14 + 3/7. Suppose -f*u = -199 + 28. Is u a multiple of 16?
False
Suppose 11*r = -i + 7*r + 470, -r = 2. Is 8 a factor of i?
False
Let s = 35 + -30. Suppose 2*q + 180 = s*q. Is 15 a factor of q?
True
Suppose a - 4*c = -9, -5*a + c = -c - 45. Suppose 3*i = 89 - a. Is 14 a factor of i?
False
Let f = -24 - -36. Suppose 4*x - 8 = f. Suppose -6*g + x*g = -98. Is 20 a factor of g?
False
Let m = -3 + 110. Suppose 0 = z + 5*s - m, 4*s = -z - 3*z + 428. Is 5 a factor of z?
False
Let z = 692 + -412. Suppose z + 120 = 10*b. Is b a multiple of 24?
False
Suppose 2*d - 25 - 17 = -5*q, -28 = -3*q - 4*d. Suppose -106 = -q*i + 62. Is i a multiple of 3?
True
Let z(y) = 8*y - 2 - y + 4*y. Let o(x) = -x**2 + 5*x. Let d be o(4). Is z(d) a multiple of 21?
True
Let b(s) = 1695*s**3 + 3*s**2 - 1. Does 38 divide b(1)?
False
Let s(f) = f**3 + 11*f**2 - 11*f + 16. Let m be s(-12). Suppose -a + 4*a - 4*d + 5 = 0, -4*d = -m*a. Suppose -2*l - 4*p = 2*l - 32, 0 = -a*p. Does 3 divide l?
False
Is 2 a factor of (-12 - 294/(-30))/(2/(-130))?
False
Let f(p) = -36*p + 213. Does 23 divide f(-9)?
False
Let z(d) = 39*d - 2. Let n be z(1). Suppose -5*w = 5*k, n - 9 = 5*k - 2*w. Is (2/4)/(k/272) a multiple of 8?
False
Let m(s) = -5*s - 10. Let f = -7 + 0. Is 6 a factor of m(f)?
False
Let o be 0/(-1 + 3) - 31/(-1). Suppose 0 = 2*g + o - 311. Does 20 divide g?
True
Let w = 308 + -246. Is w a multiple of 4?
False
Suppose 6*z - 153 - 219 = 0. Suppose -4*d + 195 - 80 = -r, -2*d = -2*r - z. Does 5 divide d?
False
Let u(x) = -509*x**3 - 5*x**2 - 18*x - 13. Is 9 a factor of u(-1)?
False
Let b(m) = -m + 31. Is 2 a factor of b(23)?
True
Let p(m) = -2*m**2 - 2*m - 1. Let r be p(-2). Let g(t) = 114*t + 2*t**2 + 0 - 1 - 57*t - 64*t. Is 20 a factor of g(r)?
False
Let z(w) = 5*w**3 - 11*w**2 - 14*w - 36. Let h(k) = 14*k**3 - 33*k**2 - 42*k - 107. Let u(v) = 6*h(v) - 17*z(v). Is u(-10) even?
True
Let h(p) = 3*p - 6. Let z be h(-8). Let k = 41 - z. Let f = k - 47. D