9 - 383, -5*c - 2*d = -1684. Does 25 divide c?
False
Let s(c) = -c**3 + 5*c**2 - 2*c - 4. Let r be s(4). Suppose -r*v + 135 = 5*u + v, 2*u - 2*v = 46. Let m = u + -7. Is 9 a factor of m?
True
Let y(d) = 5*d**2 - 3*d + 6. Is y(3) a multiple of 14?
True
Let d(n) = n**3 + 6*n**2 + 4*n. Let r(s) = -6*s**2 + s. Let o be r(1). Let p be d(o). Suppose p = u + y, 5*u - y - 35 = 4*y. Is 4 a factor of u?
False
Let y(t) = t**2 - 3*t - 2. Let c be y(3). Is 4 a factor of 9/6 - 19/c?
False
Let h(q) = -6*q + 1. Let x = -3 + -3. Let c be h(x). Suppose 0*w - 3*z + 13 = 2*w, 2*w - c = 5*z. Is w a multiple of 11?
True
Suppose -247 = -5*h - 67. Let d = h - -16. Is d a multiple of 15?
False
Does 25 divide 2/5 - 3486/(-35)?
True
Let y = -6 - -8. Suppose -h = y*h. Suppose 4*g = -h*n + 2*n - 60, 12 = -4*g. Does 7 divide n?
False
Let u = -7 - -11. Let c(b) = 3 - u - b**3 - 2*b + 2*b**2 + 6*b. Is c(3) a multiple of 2?
True
Suppose 2*x - 5*x + 213 = 3*l, l = -3*x + 77. Let f = l - 28. Does 8 divide f?
True
Suppose -4*n = -108 - 120. Is 7 a factor of n?
False
Suppose 0 = -5*z - 4*i + 445 + 219, 0 = 4*z - 3*i - 525. Let d = -71 + z. Is 14 a factor of d?
False
Suppose -3 = -x - 5. Let k = x - -4. Does 8 divide 20*(8/(-5) + k)?
True
Suppose -4*l + 9 = -m - 16, -2*m = 2*l - 20. Let j = -11 + l. Let q(i) = -i**3 - i**2 + 5*i. Is q(j) a multiple of 13?
False
Let k be 5/1 - 2 - 2. Suppose 4*z = -4*i - 4, 3*i + 2*z + 1 + k = 0. Suppose -2*w - 14 + 36 = i. Is w a multiple of 11?
True
Let x(j) = -j**3 + 6*j**2 + 4*j - 8. Is 8 a factor of x(6)?
True
Let b be (-466)/(-22) - 4/22. Let i be -8 - (-2)/2*2. Let o = i + b. Is o a multiple of 9?
False
Suppose 2*g + 508 = -462. Does 14 divide 2/14 - g/35?
True
Suppose i = 4*y, -6*i = -i - 3*y. Suppose -2*p = -i*p. Suppose 0 = -3*l + 5*m + 75, 0 = -p*l - 2*l - 4*m + 72. Is l a multiple of 15?
True
Suppose -5*m + 54 = 4. Does 14 divide m*4 + (-4)/2?
False
Let d = 46 - 31. Is 2 a factor of d?
False
Suppose 0 = -4*j + 4*z - z + 635, -3*z = 4*j - 605. Is j a multiple of 32?
False
Let f(k) = -k**2 - 7*k + 8. Is f(-6) a multiple of 14?
True
Let t(j) be the first derivative of j**2/2 - j - 5. Is 2 a factor of t(8)?
False
Suppose 76 = -5*r + 16. Is 9 a factor of (-2)/(-3) + (-100)/r?
True
Suppose 4*d = 2*l - 12, d = 5*l - d - 62. Suppose 0 = 3*q + 1 + l. Let h = 13 + q. Is h a multiple of 4?
True
Let u be 3 - -1 - (1 + 0). Let n(b) = b**3 + b**2 + 2*b - 6. Let c(t) = 2*t**3 + 3*t**2 + 4*t - 13. Let s(k) = -3*c(k) + 7*n(k). Is s(u) a multiple of 6?
True
Let a = -51 + 29. Does 8 divide ((-14)/7)/(2/a)?
False
Let u be 2/(-6) + 2324/(-21). Let s = -63 - u. Let a = -6 + s. Is a a multiple of 14?
True
Let h be 88/10*15/6. Let d = 39 - h. Is 7 a factor of d?
False
Let l(j) = -j**2 - 3. Let t be l(0). Is (-109)/t - 4/(-6) a multiple of 13?
False
Let j(p) = -p**3 - 6*p**2 - 6*p + 7. Let c be j(-5). Is (15/(-12))/((-3)/c) a multiple of 2?
False
Suppose 8*t - 300 = 3*t. Is t a multiple of 15?
True
Let o(k) = -2*k + 5. Let s be o(-5). Suppose 0 = -3*g + s, -m + 48 = 5*g - 12. Is m a multiple of 22?
False
Let a(b) = -3*b - 3. Does 8 divide a(-4)?
False
Let w = -11 + 6. Let g be 0*(w - -2 - -2). Suppose m - 3 - 3 = g. Is m a multiple of 6?
True
Let a = 43 - -243. Suppose -r - a - 26 = 0. Is 14/(-77) + r/(-22) a multiple of 14?
True
Suppose 5*q = 4*a + 17, 5*q - 3*q = -4*a - 10. Let o = a + 55. Does 13 divide o?
True
Let n be 98/(-6) + 10/(-15). Let u = n + 28. Is u a multiple of 9?
False
Let c(h) = 5*h**2 + 19*h + 11. Let r(t) = -t**2 - 5*t - 3. Let d(f) = 2*c(f) + 9*r(f). Let m be 4/(1*(-1)/(-2)). Is d(m) even?
False
Let g(n) = -5*n + 7. Let o(w) = 11*w - 14. Let p(m) = 5*g(m) + 2*o(m). Is 14 a factor of p(-7)?
True
Suppose 0 = 3*y - 6*y - 5*f - 4, -4*f - 8 = 0. Is (-4)/y*31/(-2) a multiple of 17?
False
Suppose 0 = q - 6*q - 15. Let m(p) = -2*p**3 + p**2 - p - 2. Does 24 divide m(q)?
False
Suppose -468 = -4*v - 2*v. Is v a multiple of 18?
False
Suppose -3*k + l + 14 = 0, 0*k - k = -3*l - 10. Let i(y) = y**2 - 3. Let j be i(k). Suppose g = -m + j, -2 = -2*g + 2*m + 32. Does 15 divide g?
True
Suppose -5*p = -2*b + 76, 3*p - 18 + 68 = -b. Let x(z) = -z**3 + 4*z**2 + 4*z - 6. Let t be x(5). Let w = t - p. Does 5 divide w?
True
Let s(h) = -h**2 - 2*h. Let a be s(-2). Suppose -2*j = f + j + 6, a = 2*f + 5*j + 8. Suppose -3*q + 2*p + 2*p = -11, -f = -q - p. Does 5 divide q?
True
Let f be (6 - 2) + (4 - 4). Is (4 - 6)*(-6)/f a multiple of 3?
True
Let n(u) = 76*u**2 - 2*u + 1. Is 18 a factor of n(1)?
False
Let w = -6 - -11. Suppose w*y = 15 - 0. Suppose -45 = -2*r - 3*d, 0*r + y*r - 5*d - 58 = 0. Does 7 divide r?
True
Let b be (4/10)/(8/20). Is 5 a factor of (-1)/(0 - b/10)?
True
Let m be -5*(2 + (-12)/5). Suppose 3*l = 5*d + 14, 0 = -2*l - m*l - 5*d + 42. Is l a multiple of 8?
True
Suppose -3*t + 0 = 18. Let a(p) = 2*p**2 + 9*p + 5. Is a(t) a multiple of 15?
False
Suppose c - 10 = 14. Is c a multiple of 6?
True
Let s = 421 + -189. Does 8 divide s?
True
Let c = -7 - -51. Does 18 divide c?
False
Suppose -8 = 3*z - 4*m, 0 = 3*z + 3*m + m - 32. Suppose 3 = -r - z*k, -5*k - 1 = -r + 14. Suppose s = -3*s + r*u + 113, -4*s - 2*u = -78. Is 11 a factor of s?
True
Let v be ((-4)/(-6) - 0)*3. Suppose 0 = 3*q + 2*o - 20, -26 = -3*q - q - v*o. Is 3 a factor of q?
True
Suppose 11*t = 8*t + 150. Is 10 a factor of t?
True
Let a = -8 + 11. Suppose -a*z + 4*l = -2 - 1, 0 = z + 3*l - 14. Does 3 divide z?
False
Suppose 0 = -g + 3*t + 12, -g - 4*t + 0 = 2. Let x(c) = 5*c + 1. Is x(g) a multiple of 11?
False
Let s = 3 + 1. Suppose 4*j - 2*k - 6 = k, j = -s*k + 11. Suppose -2*z - 15 = -j*x - 5*z, -z - 3 = 0. Is x a multiple of 4?
True
Suppose 3*m - 5*d - 55 = 0, 2*m - 5*d + 70 = 4*m. Is m a multiple of 5?
True
Let n(p) = 7*p**2. Is n(-1) a multiple of 3?
False
Suppose -5*x - 1 = -6. Let j be x/(36/33 - 1). Suppose u - 11 = j. Is 11 a factor of u?
True
Let i = 110 - 85. Is i a multiple of 5?
True
Suppose -5*u - 2*v - 18 = -4*v, u = 4*v - 18. Does 8 divide u/(-7) - (-1320)/35?
False
Suppose -5*c - 3*g + 35 = 0, -3*c + 0*g - 2*g + 22 = 0. Let f be 252/c*4/6. Is (-4)/(-14) + 1878/f a multiple of 15?
True
Let m = 0 + 22. Suppose -2*t - m = 3*j, t = -5*j - 4 - 28. Let o = 13 + j. Is o a multiple of 7?
True
Is ((-1992)/18)/(2/(-3)) a multiple of 14?
False
Let v = -126 + 199. Is 14 a factor of v?
False
Suppose -2*s = -5 + 3. Let r = s - 9. Let w = -5 - r. Is w even?
False
Let h = -22 - -32. Is 8 a factor of h?
False
Suppose -5*b = y + 20, 2*y - 3*b - 2*b - 35 = 0. Suppose 0 = -g - y, -4*l + 3*g = -3*l - 19. Suppose l*s = 4*z + 72, 0*s - 108 = -4*s - 5*z. Does 9 divide s?
False
Let s = -64 + 94. Is s a multiple of 15?
True
Is 15 a factor of (-42)/(-4)*(-1)/(28/(-144))?
False
Let b = -6 - -6. Suppose b*q = -2*q + 48. Is q a multiple of 12?
True
Let v(r) = -r - 8. Let i be v(-7). Let n(w) = -9*w + 1. Let j be n(i). Does 3 divide (-6 + 3 - -2) + j?
True
Let h = -15 + 7. Is (-66)/(-4) - (-4)/h a multiple of 8?
True
Suppose -b = 3*p - 5*b - 523, -2*b = p - 171. Is 19 a factor of p?
False
Let y(d) = 5*d - 3. Let i(l) = 4*l - 2. Let m(u) = 6*i(u) - 5*y(u). Suppose 0 = -3*j - v - 24, 0 = 2*j - 3*j + 4*v + 5. Is m(j) a multiple of 6?
False
Suppose 13 = 5*s + 3. Does 13 divide (-1)/(-2) - (-67)/s?
False
Let c(o) = 30*o - 12. Is c(4) a multiple of 27?
True
Let n(p) = p**3 - 14*p**2 - 13*p - 9. Does 8 divide n(15)?
False
Let m = 8 + -4. Is m even?
True
Suppose 0 = -2*n + 2 + 10. Suppose -n*r + 425 = -r. Suppose 2*p = 2*m + 5*p - r, -73 = -2*m + p. Does 19 divide m?
True
Let p(u) = -u**3 - 2*u**2 - 4*u - 4. Suppose 0 = 2*v - 3 + 9. Let f be p(v). Suppose 0 = -b + f + 4. Is 8 a factor of b?
False
Let y = 22 - 37. Let i = 25 + y. Does 5 divide i?
True
Suppose -2*z - 2 = 0, -3*c = -0*z - 2*z - 20. Suppose -c + 3 = -o. Let t = -1 + o. Does 2 divide t?
True
Suppose 0 = 4*i - 0*i - 92. Does 23 divide i?
True
Let x = 37 + -15. Is 11 a factor of x?
True
Suppose -14 = -2*t + 14. Is 14 a factor of t?
True
Suppose 7 = 2*v - 21. Let p(o) = 36*o**3 + o**2 - o + 1. Let w be p(1). Let m = w - v. Does 8 divide m?
False
Let w = -23 - -32. Suppose -c + 5*d = -0*c - w, 3*c + 58 = -2*d. Let r = c + 27. Is r a multiple of 11?
True
Let h(c) = 2*c - 7. Let m be h(10). Let g = m - -22. Does 13 divide g?
False
Suppose -3*l + 0*l + 15