False
Suppose 437 = 3*g + 4*d, 171 = 6*g - 5*g - 5*d. Does 2 divide g?
False
Let l(u) be the second derivative of -u**6/720 + u**5/20 - u**4/6 + u. Let i(g) be the third derivative of l(g). Is i(0) even?
True
Let q be ((-14)/6)/((-4)/12). Does 35 divide (-140)/(-8)*(3 + q)?
True
Let r(j) be the second derivative of -3*j**5/20 - j**4/6 + j**3/6 + 2*j**2 - 2*j. Does 16 divide r(-3)?
True
Let w = 38 + -16. Suppose -4*m + 171 = -2*k + 27, -m - 3*k = -w. Suppose -6 = -4*z + 4*p + m, 0 = 5*z + 5*p. Is z a multiple of 4?
False
Suppose -38*s = -44*s + 888. Is s even?
True
Suppose 5*k + 2 = 12. Suppose 3*r + 2*r - k*q = 34, -5*q = 10. Suppose r*l = -l + 315. Is l a multiple of 9?
True
Let a = -242 - -557. Is 45 a factor of a?
True
Let i(n) = n**2 - 3*n - 15. Let h be i(6). Suppose r - 12 = -h*r - 4*c, 0 = -3*r + 4*c + 30. Is r even?
True
Let p = 18 + -4. Suppose -z = -2*u, 0*u = -5*z + u + 36. Suppose -z - p = -k. Is k a multiple of 6?
False
Suppose 0*h + 3*h - 45 = -2*f, -3*f + 2*h = -74. Suppose -4*l = -6*l + f. Does 3 divide l?
True
Suppose -7*s + 12 = -16. Is (-63)/21 + 18*s a multiple of 18?
False
Suppose -5*o + 476 = -2*z, 0 = -4*o + 4*z + 218 + 158. Is 12 a factor of o?
True
Let s = -114 - -51. Let j = 268 + s. Is j a multiple of 41?
True
Let w(z) = z**2 - 4*z - 9. Let i(j) = 5*j**2 - 15*j - 35. Let g(m) = 6*i(m) - 25*w(m). Does 27 divide g(-6)?
True
Suppose -2*c = 4 + 8. Let v(o) = o**3 + 8*o**2 - 3*o + 4. Let f be v(c). Let d = f + -28. Does 15 divide d?
False
Suppose -6*t = -t - 15. Suppose q - 9 = h, t*q = -2*q - h + 75. Does 7 divide q?
True
Suppose 0 = 3*q - 20 - 16. Let t = 47 - q. Does 7 divide t?
True
Let k = 43 + -40. Suppose -5*w - 5*q + 1130 = 0, k*q + 897 = -3*w + 7*w. Is 37 a factor of w?
False
Suppose -26*g + 22715 = 9*g. Is 13 a factor of g?
False
Suppose 786 = 2*w + u, 0 = 2*w - 0*w + 2*u - 788. Suppose -6*n = -w - 226. Does 16 divide n?
False
Let i(j) be the first derivative of 2*j**3/3 - 5*j**2/2 - 9*j - 24. Is 6 a factor of i(-3)?
True
Let j be 3 - 8/(8/171). Is 20 a factor of (-2034)/(-8) + 0 + 42/j?
False
Suppose 0 = -3*f + f + 4*s + 544, s = -1. Suppose 4*w - f = -w. Does 12 divide w?
False
Let j be (-5)/2*(-19 - -17). Suppose -230 = -5*u - j*y, 5*u + 5*y - 3*y = 236. Does 12 divide u?
True
Let o(s) = s**3 + 2*s**2 - s. Let v be o(1). Let k = 24 - 20. Suppose -l - 153 = -4*i, v*l - k*l - 40 = -i. Does 19 divide i?
True
Suppose 0 = 5*z + 3*s - 17, -z - 11 = 2*s - 5*s. Is 38 a factor of (-4)/(-5 + z)*38?
True
Let h be -64 + 74 + (-8)/1. Let x(v) = -v**3 - 3*v**2 + 2*v. Let l be x(-6). Suppose h*a - l = -2*a. Is a a multiple of 24?
True
Suppose -4*d - 2*b = 52, -2*b - b = -4*d - 42. Let c(x) = -4*x - 14. Is 34 a factor of c(d)?
True
Let y be (-35)/(-14) - (-1)/2. Suppose -y*m = f - 118, 0*f - 4 = -f. Is m a multiple of 11?
False
Let j = 7 + -53. Let k = j - -106. Is 23 a factor of k?
False
Let x(w) = -60*w**2 - 7*w**3 + 2 - 3 + 62*w**2 + w. Let u be x(-1). Suppose 18 = 9*k - u*k. Is 9 a factor of k?
True
Let k = 68 - 56. Let a = 66 - k. Does 6 divide a?
True
Suppose -603 - 53 = -5*t - 2*f, 0 = 2*t - 3*f - 270. Is t a multiple of 4?
True
Let a(h) = -h**3 + h**2 - h. Let j be a(2). Let u(g) = -21*g - 31. Does 19 divide u(j)?
True
Does 16 divide 0 + -2 + (-3 - 9) + 1390?
True
Let d = 285 + 75. Does 30 divide d?
True
Suppose -2*c = -14 - 20. Suppose c - 5 = -4*u. Is u/((-12)/64) - -3 a multiple of 10?
False
Let d be 43/((5/(-2))/5). Let j = 47 + d. Let z = -26 - j. Is 13 a factor of z?
True
Let y = 556 - 96. Does 38 divide y?
False
Suppose 10*v - 40 = 5*v. Suppose v*m - 4*m = 56. Is m a multiple of 3?
False
Let t be 22/(-4) - 11/22. Let k(c) = c**3 + 5*c**2 - 6*c + 2. Let q be k(t). Suppose -r + 5*s + 18 = -0*s, -q*s = 5*r - 63. Does 13 divide r?
True
Suppose 4*s = 1 + 3. Let y be 3 + 1*(-3)/s. Suppose 4*f + 0*f - 104 = y. Does 13 divide f?
True
Let q(a) = -6*a - 4*a**2 + 0 + 6*a**2 - 2. Let k = -891 + 899. Does 17 divide q(k)?
False
Let y = 6 - 21. Let o = y - -26. Suppose -4*q + q = 2*c - 89, -q + 4*c + o = 0. Is q a multiple of 27?
True
Let c(k) = 3*k**3 + 49*k**2 - 3*k + 8. Is c(-16) a multiple of 52?
True
Let m = 392 + -166. Is m a multiple of 13?
False
Let s be (0 - -1)/((-9)/(-18)). Let u(a) = -4*a**2 - 7*a - s*a**3 + 20 - a**2 + 2*a - 22. Is u(-3) a multiple of 16?
False
Suppose o - 19 = -o + 5*d, 5*d - 25 = 0. Let a = 37 + o. Suppose 0 = 2*j + c - a, 0*c + 79 = 2*j - 3*c. Is j a multiple of 9?
False
Let w = -14 - -13. Let a be (-5 - -1)*1*w. Suppose -a*l + l + 120 = 0. Is l a multiple of 18?
False
Suppose 0 = 14*b - 3*b - 1320. Is b a multiple of 40?
True
Suppose 0 = 13*w - 3211 - 416. Is w a multiple of 45?
False
Let y(c) be the third derivative of -c**4/8 + 5*c**3/6 - 9*c**2. Let m be y(0). Suppose s + z - 6 = -z, 0 = m*z + 10. Is s a multiple of 5?
True
Let m(v) = v**3 - 4*v**2 + 2*v + 3. Let r be m(8). Suppose -o - 4*o + r = 0. Suppose o = 5*c - 70. Is c a multiple of 13?
False
Let t be 0*(-1)/4*1. Suppose t = -2*h - 0*h + 80. Is 10 a factor of h?
True
Suppose 462 = 8*i - 2*i. Is i a multiple of 11?
True
Let k = 1116 - 950. Is k a multiple of 83?
True
Suppose 4*k + 2*j = -48, 3*j = 2*k + 3*k + 38. Let d = 6 + k. Let i(b) = b**2 - b - 5. Is 15 a factor of i(d)?
True
Suppose -35*b + 30*b + 5865 = 0. Is 23 a factor of b?
True
Let m be 304/(-10) - (7 - 37/5). Does 35 divide (3/m*-5)/((-1)/(-78))?
False
Let t be (-1)/(2 + 754/(-376)). Suppose -t = -4*j - 0*j. Does 14 divide j?
False
Does 7 divide (-1923)/(-11) - (-26)/143?
True
Let i = 876 - 506. Does 11 divide i?
False
Suppose -8*m = -97 - 3807. Is 83 a factor of m?
False
Let z = -109 - -134. Is z a multiple of 25?
True
Let m be (-30)/(-40)*(-16)/(-6). Suppose -4*z - 3*h + 1106 = 0, -m*z + 439 = -h - 109. Suppose 2*w + 3*w - z = 0. Is w a multiple of 9?
False
Let m = 12 + -10. Suppose 9 = 2*f - 4*n - 9, 3*f + 4*n = -3. Is 4 a factor of 4 + (m - f) + 5?
True
Let r = 302 + 472. Is 43 a factor of r?
True
Let r be 1308/60 - (-8)/(-10). Let f(i) = 16*i - 3 - r*i + 8*i. Is f(5) a multiple of 12?
True
Let u(n) be the first derivative of 5*n**4/12 + 5*n**3/2 + 3*n**2 + 3. Let s(k) be the second derivative of u(k). Is s(6) a multiple of 15?
True
Is 68 a factor of (38 - 1 - 3)/((-15)/(-480))?
True
Is 15709/46 - ((-1)/2)/(-1) a multiple of 11?
True
Let h = 5 + 1. Let l = h - 4. Suppose -2*n - l*n + 80 = 0. Does 10 divide n?
True
Let c(g) = g**2 + 6*g - 7. Let n(k) = k**2 - 5*k - 3. Let o be n(6). Let m = o + 0. Is 4 a factor of c(m)?
True
Let a(p) = -p**3 + 7*p**2 + 10*p - 11. Let d be a(8). Suppose -d*y + 208 = -4*k, -4*k + y = 3*y + 208. Is 7 a factor of 2 + 3 + k/(-4)?
False
Suppose -21*g = 61 - 19. Let k(b) = -20*b**3 - 3*b**2 - 6*b - 1. Is 10 a factor of k(g)?
False
Let a(d) = -d**3 - 13*d**2 + 17. Let u(r) = 3*r + 3. Let h be u(2). Suppose 0 = h*t - 8*t + 13. Is 17 a factor of a(t)?
True
Let u be 4/22 - 212/(-44). Suppose -149 = -u*p - 44. Does 9 divide p?
False
Let o = -33 - -38. Suppose 0 = 4*q - 3*q - o*a - 31, 2*a + 30 = 2*q. Does 2 divide q?
False
Let p(x) = 5*x**2 + 2*x + 24. Is 21 a factor of p(-3)?
True
Suppose -4*q + 1 = -5*q. Let g be q + 8/2 + 3. Suppose -g*p = -3*p - 45. Is 15 a factor of p?
True
Suppose 3*w - 19 = -25. Does 10 divide 3/(-1) + 131 - 4/w?
True
Let b be 2/12*1 + 87/18. Suppose -4*u = -4*f + 472, 0 = b*f + 4*u - 563 - 45. Is 8 a factor of f?
True
Let n be 2 + -1*(2 - 3) - -64. Let z = -35 + n. Is 18 a factor of z?
False
Let y(j) = 79*j**2 - 21*j + 41. Is 45 a factor of y(2)?
True
Let d = -655 + 755. Does 5 divide d?
True
Let w(t) = -4*t - 19. Let f be w(-8). Let i be (-5)/20 - f/(-4). Suppose i*d - 4*d + 34 = 0. Does 6 divide d?
False
Let v be (6 + -2 - -4) + -3. Suppose v*x - 10*x + 260 = 0. Is x a multiple of 13?
True
Let b be 2/((-8)/(-20)) - 0. Let v(y) = -y**3 + 4*y**2 + 4*y + 4. Let r be v(b). Is (-252)/(-9) - (5 + r) a multiple of 12?
True
Let k(h) = -11*h**3 + 6*h**2 + 8*h + 1. Is k(-4) a multiple of 27?
False
Let s(p) = -86*p - 13. Let i = 15 - 18. Does 24 divide s(i)?
False
Suppose -3*q = -3*c + 228, q = c + 5*q - 71. Suppose 0 = -2*w - 3*w - c. Is 20 a factor of (18/w)/(6/(-360))?
False
Suppose -p + 10 = 5. Suppose 3*z = -4*v + 156, -p*v + 243 - 48 = 5*z. Does 13 divide v?
True
Let a(u) = u**3 + 8*u**2 + 7*u + 16. Let c be a(-7). Let 