m + 309 = 4*s - 279. Let j = -1 + s. Is 24 a factor of j?
True
Let r(k) = -k**3 - k**2 + 5*k + 9. Let j be 0 + -1 - (3 + 1). Does 12 divide r(j)?
True
Suppose c - 3 = 3*t, t - 4*c + 1 - 11 = 0. Is 10 a factor of (1 - t)*(-10)/75*-195?
False
Suppose -15*g + 357 = -8*g. Suppose 4*y + 3*a - 1 = g, 5*y + 4*a - 65 = 0. Is y a multiple of 2?
False
Suppose 2*l - 20 = -3*l. Suppose -l*j + 161 = 5*m, 2*m - 2*j - 35 = m. Suppose 11*q - m = 8*q. Is 4 a factor of q?
False
Let m = -7 - -5. Is (-6)/(-3)*(3 + m) + 40 a multiple of 7?
True
Let o(p) = 22*p**2 + 50*p - 319. Does 89 divide o(7)?
False
Suppose 0 = -4*v - 2*v + 552. Let r = -48 + v. Does 4 divide r?
True
Let k = -208 + 211. Is 3 a factor of k?
True
Let x be 1*(0 + 6 - (6 - 5)). Suppose 2*g - x*g + 36 = 0. Does 3 divide g?
True
Let v = 2255 + -1947. Does 3 divide v?
False
Let o = -69 - -109. Let d = o - -16. Is 8 a factor of d?
True
Suppose 8*t = 4*t - 24. Let c be 8/6*t/(-4). Suppose -l + c*z - 15 = -46, -4*l - 5*z + 111 = 0. Is l a multiple of 13?
False
Let y(q) = 8*q**3 + 4*q**2 - 5*q + 4. Let s be y(4). Suppose -5*f + s = 2*f. Is 21 a factor of f?
False
Suppose -3*u - 886 = -4*o, 5*u = o + u - 215. Suppose -4*a - 3 = -o. Is a a multiple of 11?
True
Let w = -19 + 19. Suppose v + 0 = q - 2, w = -2*q + 10. Does 3 divide v?
True
Let f be 1/(-6) + 42/36. Suppose 0 = -5*y + f + 9. Does 19 divide y + -2 + 16 + 5?
False
Let f be (-6)/15 - 627/(-5). Suppose -j - 12 = -f. Let i = -44 + j. Does 23 divide i?
True
Let d be (46*1)/(26/(-13)). Let b = d - -28. Is 27 a factor of (20/b - 112)*-1?
True
Does 26 divide 2*1476/24*(-2)/(-1)?
False
Let z = -115 + 318. Is z a multiple of 6?
False
Suppose -60 = -16*c + 15*c. Is 15 a factor of c?
True
Let g(u) = -6*u**2 - 7*u - 5*u**3 + 6*u**3 + 3*u + 6. Let b(p) = 3*p**2 - 2*p - 1. Let z be b(2). Is g(z) a multiple of 21?
False
Suppose 0 = -7*c + 4*c. Suppose c = -5*z + 1 + 4. Does 19 divide z - (-59 + 4 + -7)?
False
Let a(u) = -4*u - 59. Let s be a(-17). Suppose -12*x + 51 = -s*x. Is x a multiple of 17?
True
Let g(j) = 5 + 4 + 12 - j. Does 3 divide g(12)?
True
Let b(a) = 2*a + 22. Let y be b(-9). Suppose -6*x = -4*x + 12. Is -3 + y + -2 - x a multiple of 2?
False
Let q = -5 + 5. Suppose -5*m - f + 20 = q, -6*m + m = 3*f - 30. Suppose -4*i + 19 = -m*i. Does 13 divide i?
False
Let u(k) = 21*k**2 - 16*k + 3. Let c be u(-3). Let q(n) = -n**3 + 5*n**2 - 3*n - 4. Let t be q(4). Suppose t*y + 4*y = c. Is y a multiple of 12?
True
Let d(c) = c**3 + c**2 + c. Let m = -16 - -16. Let u be d(m). Suppose u = -4*p + 4*q + 76, p - 3*q - 43 = -14. Is p a multiple of 14?
True
Let w = 54 - 44. Let h be 1/4 - 127/(-4). Let l = w + h. Does 14 divide l?
True
Suppose -6*l = -4*t - l - 61, 5*t + 2*l = -35. Let u(d) = -d - 9. Let s be u(t). Suppose s*w + 4*w = 100. Is w a multiple of 6?
False
Let h be -1*(-1 - (-12)/(-3)). Let u(g) = -21*g. Let x be u(-5). Suppose 0*q = h*q - x. Is 9 a factor of q?
False
Does 9 divide 4349/7 - (-8)/(-28)?
True
Is 10 a factor of 68*1/((3 - 5) + 3)?
False
Suppose 21*y - 956 = 2446. Is 54 a factor of y?
True
Let w(c) = 52*c**3 - c**2. Let x be w(1). Suppose 2*h - 1 = 7. Suppose 0 = -h*m + m + x. Is 8 a factor of m?
False
Suppose -2*p + 5*a + 2204 = 0, -3*p + 0*a = 2*a - 3268. Does 14 divide p?
True
Let g be ((-152)/(-12))/((-8)/(-12)). Suppose 2*v - g = 13. Is v a multiple of 8?
True
Let o = 34 + 512. Is o a multiple of 13?
True
Let q = 9 + 9. Does 30 divide -2 - -75 - q/(-9)?
False
Suppose -3*l = 2*y - 22, -8*y = -5*y - 5*l + 5. Let q(k) = 3*k**2 - 9*k - 5. Does 10 divide q(y)?
False
Let p be 40/12*(-6)/(-2). Let k be (8/p)/((-3)/(-15)). Suppose -120 = -k*j - 4*w, 5*j = 5*w + 24 + 96. Is 14 a factor of j?
False
Let g(i) = i**3 + 11*i**2 + 18*i + 45. Is g(-7) a multiple of 14?
False
Let n(x) be the second derivative of x**5/5 - x**4/3 + 11*x**3/6 - x**2 + 34*x. Does 13 divide n(3)?
False
Let l(t) = t**3 + 8*t**2 - 12*t - 10. Let i be l(-9). Let k = i + -13. Is 15 a factor of (-3)/k*(-29 - -1)?
False
Suppose 0 = -6*u - 17 + 53. Suppose -f - 80 = -u*f. Let z = 29 + f. Is 9 a factor of z?
True
Is 53 a factor of (-9)/(-12) - ((-29742)/24 - -3)?
False
Let w(a) = -a**2 - 13*a - 8. Let d be w(-12). Suppose 5*o + x - 67 = 0, 0*o - x = -d*o + 59. Is o a multiple of 14?
True
Let s = 681 + -496. Does 2 divide s?
False
Let i be -38 + 4 - (-3 + -1). Let y = -17 - i. Suppose -9*r = -y*r + 196. Does 17 divide r?
False
Suppose 0 = -5*n + 2 + 18. Suppose 5*a = p + 97, -n*a + p + 66 + 11 = 0. Does 6 divide a?
False
Suppose 16*g - 13440 = -16*g. Is g a multiple of 20?
True
Suppose v - 5*v + 276 = 0. Suppose 0 = 24*m - 27*m + v. Is m a multiple of 10?
False
Does 29 divide 1160/10*(-34)/(-8)?
True
Suppose 6*x = x + 25. Does 27 divide (-9)/(-3)*(13 + x)?
True
Let f(r) = -r**2 + 12*r - 7. Let p be f(15). Is 15 a factor of (2 + -8)/((p/(-40))/(-13))?
True
Let a = -23 - -32. Let j be (3/a)/(3/(-9)). Is (-9)/3*j + 0 a multiple of 3?
True
Let m be 0/3*(-1)/(-2). Suppose m = -5*a + 29 + 236. Let y = a - 38. Is 4 a factor of y?
False
Let s = 25 + -5. Let p be 5*(-3 + (-212)/s). Let i = p + 106. Is i a multiple of 19?
True
Is 9 a factor of (22/6)/(25/1350)?
True
Let q = 95 + -46. Let k = 57 - q. Does 3 divide k?
False
Let l(v) = 3*v**2 + 17*v + 20. Let w(b) = b**2 + 9*b + 10. Let x(z) = 2*l(z) - 5*w(z). Is 9 a factor of x(13)?
False
Suppose 213 = 3*s + c, -3*s = s + 5*c - 273. Does 5 divide ((-10)/(-4))/(6/s)?
True
Let c(x) be the first derivative of x**4/4 - 17*x**3/3 + 7*x + 29. Does 2 divide c(17)?
False
Let x(c) = c**2 + 3*c + 2. Let p be x(-2). Let n(u) = -u + 54. Is n(p) a multiple of 21?
False
Let w(a) = -a**3 - 14*a**2 + 18*a - 17. Let y be w(-18). Suppose 0 = 5*v + 5*h - y, -754 = -v - 3*v - 2*h. Is v a multiple of 57?
False
Suppose -7*g + 4 + 3 = 0. Does 7 divide 0 + 8/(-8) - (g + -66)?
False
Let p = -7 - -9. Suppose 34 + p = q. Is q a multiple of 26?
False
Let i(b) = -131*b + 13. Let f be i(-11). Suppose 0 = -3*c - g + 868, 0 = -9*c + 4*c + 2*g + f. Suppose 4*s = -w + 222, -4*s + 5*w = s - c. Is 10 a factor of s?
False
Let g be (-9 + 0)/1 - -2. Let s(y) be the second derivative of -3*y**3/2 + 6*y**2 - 4*y. Does 15 divide s(g)?
True
Does 3 divide (28*6/(-9))/((-4)/30)?
False
Let o(g) = -g - 6 + 3*g + 5. Let c be o(-3). Let k = c - -54. Is k a multiple of 29?
False
Let i = -496 + 751. Is i a multiple of 17?
True
Suppose -14 = 3*w + 5*i, 0 = 2*w + i - 3*i + 36. Let z(m) = 8*m + 3. Let f be z(-4). Let l = w - f. Is l a multiple of 15?
False
Let q(b) = b**2 - 2*b - 12. Let l be (-196)/(-14)*(-1)/2. Does 14 divide q(l)?
False
Let b(p) = p**2 - 19*p - 18. Is 2 a factor of b(-7)?
True
Let z = 51 - 101. Let l = z - -57. Does 2 divide l?
False
Suppose 4*i = -5*q + 5, -3 + 1 = -i - q. Suppose -2*w + 262 = -i*d, 0*w + 3*d - 109 = -w. Is 10 a factor of w?
False
Let h(f) = -f + 18. Let a = 5 + 1. Is h(a) a multiple of 6?
True
Suppose 4*v - 4 = 5*v. Let l be (0/5 + -2)*1. Is 3 + (l + -10)/v a multiple of 2?
True
Does 22 divide 328 - ((-110)/30 + 5/3)?
True
Let a(t) = 2*t**2 + 10*t + 18. Let j = 8 - 17. Is a(j) a multiple of 30?
True
Let x be -6*((-4)/(-12) - 1). Suppose 5*z - 4*b - 267 = 604, 3*z - 529 = x*b. Does 27 divide z?
False
Suppose 75*v - 126 = 72*v. Suppose 4*m - 173 = -5*i, -5*m - v = 2*i - 101. Is 13 a factor of i?
False
Let j be -5 + (-1 - -3)*2. Let o be 182/(-3 + 1)*j. Is (o + -7)*(-1)/(-2) a multiple of 21?
True
Let c(j) = -j**3 + 6*j**2 + 7*j + 16. Let p = -25 + 32. Is c(p) a multiple of 13?
False
Let g be ((-10)/(-3))/((-93)/(-99) + -1). Let h = -34 - g. Is h a multiple of 21?
True
Let i be (1/(-2))/(-7 + (-3619)/(-518)). Suppose i*m - 91 = 36*m. Does 13 divide m?
True
Let c = 3676 - 1894. Is c a multiple of 9?
True
Let t = 15 + 46. Suppose -5*c + t = 4*n, c - 6*c + 5*n + 25 = 0. Let w = c - -1. Is w a multiple of 10?
True
Is ((-10)/7)/((-13)/1820) a multiple of 12?
False
Let c(j) = 16*j**3 - 14*j**2 + 2*j + 10. Does 15 divide c(5)?
False
Let h = 49 + -23. Suppose -4*d + h = n + 2*n, -d - 31 = -3*n. Is 35/14*52/n a multiple of 12?
False
Let j = 101 + 63. Let d = j - 114. Is 10 a factor of d?
True
Let l(a) = 5*a - 2. Let u be l(5). Suppose -u - 37 = -d. Suppose -g + 3*s = -d, 5*g = 3*s - 137 + 401. Does 18 divide g?
False
Let r be (-3 - 3) + 4 + 1. Is 24 - (1 - r - 6) a mul