2 + i. Does 10 divide a?
False
Let y = 183 + -57. Let w be -4*1 + y/9. Suppose w*b + 70 = 15*b. Is b a multiple of 8?
False
Let b(f) = f + 15. Let o be b(-6). Suppose -o*s - 364 = -1624. Does 35 divide s?
True
Let c(g) be the second derivative of -g**5/20 - g**4/6 - g**3/2 - 9*g**2 + 21*g + 2. Is c(-5) a multiple of 14?
False
Let x = 95 + -33. Does 5 divide x?
False
Let g = 20 - 21. Is g/((-5)/(1 - -49)) a multiple of 5?
True
Let a = -100 + 244. Suppose -5*p - 3*s + a = 0, 8*p = 4*p + s + 122. Does 30 divide p?
True
Let j be 1 + (-2)/2 + -38. Let u = 3 - j. Is u a multiple of 27?
False
Let y(k) be the first derivative of 5*k**2/2 - 4*k + 1. Let c be y(5). Suppose 5*n - 2*t = c, -3*n + 0*n - 3*t = -21. Does 4 divide n?
False
Suppose 5*b = 2*x + 10*b - 162, -2*b - 148 = -2*x. Does 2 divide x?
True
Let q = -161 + 179. Let f(y) = -5*y**2 - 13*y - 16. Let u(s) = -6*s**2 - 12*s - 17. Let i(j) = -7*f(j) + 6*u(j). Is i(q) a multiple of 23?
False
Let w(j) = 3*j + 11 - 4*j - 4. Let g be w(3). Let l = g - -32. Does 12 divide l?
True
Let t = 968 + -491. Suppose 11*h - 1335 = -t. Is h a multiple of 13?
True
Let t(m) = 8*m - 6. Suppose -5*q - 3*f + 18 = 0, 4*q - 6*f + f = 7. Is t(q) a multiple of 4?
False
Suppose -3*m + 111 = -0*m. Let s = m + -14. Suppose -3*n = -s - 112. Is 15 a factor of n?
True
Suppose -3*l + 4114 = 4*z, -25 = -3*l - 19. Does 9 divide z?
False
Suppose -728 = -8*t + 592. Does 55 divide t?
True
Suppose -222*m + 234*m - 10464 = 0. Does 4 divide m?
True
Suppose -4*i + 32 - 200 = 0. Let h = i + 110. Does 19 divide h?
False
Let r = 30 - -16. Is r a multiple of 17?
False
Suppose -3*u + 522 = 4*z, z + 4*u + 404 = 4*z. Let g = z - 92. Suppose a + b = 12, -4*a - b + g = 7. Is 7 a factor of a?
True
Let s be -9*(90/(-27) + (1 - -2)). Let d(k) be the second derivative of k**4/12 + k**3/2 + 2*k**2 + k. Is 11 a factor of d(s)?
True
Does 43 divide ((-34)/(-12) + 2)*258?
True
Suppose 0 = -2*t + 4*b + 7918, 15821 = 4*t + 6*b + b. Does 146 divide t?
False
Let k = 425 - 58. Let y = k + -255. Is 16 a factor of y?
True
Suppose 3*x - 459 = 3*g + 459, -5*g = -20. Is x a multiple of 5?
True
Let i = -379 - -1892. Is i a multiple of 92?
False
Suppose n = 5*y - 2*n - 196, -12 = -4*n. Suppose -5*r - 58 = -2*v, -v + y = -r + 9. Let k = v - 19. Is 5 a factor of k?
True
Suppose i = 272 - 225. Is i even?
False
Does 75 divide 1 - (-5 - -6) - (2 + -1897)?
False
Suppose 4*x = x + 510. Is ((-10)/(-25))/(2/x) a multiple of 17?
True
Suppose 2*r = r + 4*w - 23, 5*r - 5 = -4*w. Does 10 divide 3*1*(17 - r)?
True
Let u(r) be the third derivative of r**7/630 - r**6/720 + r**5/120 + r**4/24 - 5*r**2. Let z(c) be the second derivative of u(c). Does 5 divide z(2)?
True
Let z(j) be the first derivative of 5*j**3 + j**2/2 + 2*j + 4. Is 12 a factor of z(-2)?
True
Let t = 24 + -16. Let z = 31 + t. Suppose 5*m = 161 + z. Is m a multiple of 20?
True
Let n be (3 - (-146)/(-10))/((-4)/10). Suppose -3*v + v = -c - n, -2*c + 44 = 2*v. Is 2 a factor of v?
False
Is 30 + (-2 - 6 - -6) a multiple of 14?
True
Suppose -4*q + 11 - 3 = 0. Suppose -4*x - q + 194 = 0. Does 12 divide x?
True
Let s be 10/40 + 38/8. Let r(i) = -i. Let q be r(0). Suppose q = -s*t + 62 + 13. Does 15 divide t?
True
Suppose 16*n - 9672 - 408 = 0. Is 21 a factor of n?
True
Let h be 1/(-3) - (-3140)/15. Suppose 11*m = h + 11. Does 20 divide m?
True
Let y(r) = 2*r + 2. Let c be -2 + 1 - (-6 - -5). Suppose 5*p - 27 - 8 = c. Is 16 a factor of y(p)?
True
Let p be (30 - 8)*9/(-2). Let j = p - -173. Let b = j - 52. Is b a multiple of 11?
True
Suppose 3*w = -3*d + 2*w + 104, 0 = w - 5. Suppose 5*v + s = -2*s + 61, -d = -3*v - 3*s. Does 14 divide v?
True
Let a = -181 + 43. Let u = a + 277. Is 11 a factor of u?
False
Let m be ((-10)/(-4))/(15/30). Suppose 3*g - 123 = -2*o, -4*g - g = -m. Is o a multiple of 12?
True
Suppose 413 = 16*g - 14*g - 5*o, 4*o + 4 = 0. Is 4 a factor of g?
True
Suppose 11*c = 8*c + 966. Suppose -2*m + c - 74 = 0. Does 11 divide m?
False
Suppose -26 = 5*g - 4*t, -9 + 1 = -2*g - 3*t. Let v be 4*(-2)/(6/3). Is 18 a factor of 0/g - (v + -29)?
False
Suppose 7 = j + 3. Suppose j*i + 292 = 8*i. Is 26 a factor of i?
False
Let l = 29 - 27. Suppose 5*f - 474 = -5*s + 3*s, l*f - 2*s - 198 = 0. Is f a multiple of 16?
True
Let n(z) = 2*z**3 - 4*z**2 - 2*z - 2. Let i(l) = -3*l + 37. Let r be i(11). Does 18 divide n(r)?
True
Suppose h = -1, 0*z = -2*z + 3*h + 67. Is z a multiple of 3?
False
Suppose 0 = 3*x - 2*x - 40. Let u = 80 + x. Does 20 divide u?
True
Is (25/10)/(-5)*-1*120 a multiple of 10?
True
Is 64 + -8 + 0/(-3) a multiple of 3?
False
Let x(w) = w**3 - w**2 - 2*w + 3. Let d be x(2). Suppose d + 23 = o. Does 8 divide (-418)/(-13) + o/(-169)?
True
Let r(m) be the first derivative of -m**4/4 + 2*m**3/3 + m**2/2 - 3. Let v be r(2). Suppose 3*a = v*d + 4*a - 11, 8 = 2*d + 2*a. Does 5 divide d?
False
Does 8 divide -3 + (4335 - 2)*28/49?
False
Suppose 0 = -12*m + 18*m - 1530. Does 15 divide m?
True
Suppose -8*i - 880 = -12*i. Is i a multiple of 20?
True
Is 5 a factor of 34/(-2 + 35/14)?
False
Let u = 1631 - 454. Is u a multiple of 77?
False
Let d = -66 - -306. Suppose -d = 2*f - 8*f. Is f a multiple of 8?
True
Suppose -3976 = -18*c + 24536. Is c a multiple of 20?
False
Let i(y) = 152*y**3 + y**2 + 4*y. Let t be i(-2). Is 9 a factor of t/(-30) + (-4)/6?
False
Let h = 1006 - 644. Let u = h + -188. Is u a multiple of 11?
False
Suppose -5*v + 6 + 4 = 0. Let f(m) = -16*m**3 + 5*m**3 - m - 13*m**3 - 2*m**2 + v*m**3. Is 8 a factor of f(-1)?
False
Suppose 3*c - 27 = -5*a, -4*c - 8 = -24. Suppose 3*r - a*n = 102, -r + 5*n + 14 = -12. Is r a multiple of 4?
True
Let v(l) = -l**3 - 2*l**2 + l + 2. Let y be v(-2). Suppose y = -4*i + 3*s + 9 - 2, 15 = -3*s. Let a(c) = 18*c**2 + 3*c + 3. Is 23 a factor of a(i)?
True
Let o(t) = -t**3 + 6*t**2 - 3*t + 10. Let y be o(5). Suppose -b - b = 28. Let u = b + y. Is u a multiple of 4?
False
Let l = -11 - -11. Suppose l*x = -2*x. Suppose -2*y - 12 + 66 = x. Is 27 a factor of y?
True
Let p be 1/(-4) + (-22358)/8. Let f = -1959 - p. Is (-10)/(-25) - f/(-10) a multiple of 28?
True
Let r = -494 + 676. Does 2 divide r?
True
Suppose -1722 = 4*u - 11*u. Let l = u - 127. Is 31 a factor of l + (-3)/(-1 - -2)?
False
Suppose b + b + 4*z + 20 = 0, -3*b - 18 = 3*z. Let w(f) = -9*f + 6. Is 9 a factor of w(b)?
False
Is 14 a factor of -5*((-472)/20 - (4 + -8))?
True
Let i = 60 + -93. Let p = 95 + i. Suppose -4*f - 2*c = c - 81, -3*f - 2*c = -p. Is f a multiple of 6?
True
Suppose -7484 = -9*r + 2884. Is 64 a factor of r?
True
Let w = -68 - -73. Suppose -6*g + 3*g - w*n + 476 = 0, -n = 3*g - 484. Is 52 a factor of g?
False
Let d be 2 + 1/1*0. Suppose -d*q + 7 = -3. Suppose -3*x - 2*x = -q*r + 560, -4*x + 92 = r. Is r a multiple of 16?
False
Suppose -k - 3*z + 135 = 0, -2*k - 129 = 2*z - 399. Is 9 a factor of k?
True
Let v(i) be the first derivative of -i**4/4 + 8*i**3/3 + 5*i**2/2 + 15*i + 6. Does 33 divide v(7)?
True
Suppose -17*c = -11*c - 18. Suppose 0 = -2*q - 2*l + 28, c*q - 3*l - 26 - 28 = 0. Does 11 divide q?
False
Let u(a) be the first derivative of a**3/3 - 5*a**2/2 - a - 15. Is u(-6) a multiple of 11?
False
Suppose -3*d = -5*f + 6*f + 7, -f - 4 = 0. Let u be (d - 15/12)*-12. Suppose 0 = 5*n - 10, -n = -p - 11 + u. Is p a multiple of 5?
False
Let m(q) = -4*q - 14. Let l be m(-4). Suppose 5*t - 5*i - 678 = l*t, -t + 222 = -3*i. Is t a multiple of 33?
True
Suppose 0*l + l + 4*q = 0, -4*q = -4*l - 80. Let u = l - -5. Let g(w) = -11*w. Does 21 divide g(u)?
False
Suppose -4*t = 3*v - 531, 0*t - 2*v - 141 = -t. Is 45 a factor of t?
True
Suppose 0 = -5*o + 6864 - 1209. Suppose 5*q - o = 414. Is q a multiple of 48?
False
Let m = -59 + 62. Suppose m*g - 307 = -4*t, 0*t = g + 2*t - 99. Is g a multiple of 24?
False
Suppose 4*z = 5*o + 15, z - 3*z = -2*o - 6. Let f = o - -39. Is f a multiple of 7?
False
Is 6 a factor of 294/35*(4 + -2)*5?
True
Is -1*2/(-3) + (-44296)/(-21) a multiple of 84?
False
Let u(k) be the third derivative of -k**7/2520 + k**6/72 - k**5/10 + k**4/4 + 7*k**2. Let x(s) be the second derivative of u(s). Is x(8) a multiple of 3?
False
Let j = 30 - -37. Let s = -16 + j. Let d = s - 15. Is 18 a factor of d?
True
Suppose 2*m + 5*r = 2073, -2*m - 66*r + 68*r + 2080 = 0. Is m a multiple of 59?
False
Sup