 9/(1 + -4). Suppose 3*c = r*c - 48. Does 6 divide c?
False
Let s be (-25 + 2 - -3) + 1. Let n = s - -40. Does 21 divide n?
True
Let v(i) be the second derivative of -i**3 + 5*i**2 + 2*i. Does 15 divide v(-7)?
False
Does 5 divide (-1296)/(-9) - (2 + 9/(-3))?
True
Let j(m) = -m**2 + 10*m + 2. Does 3 divide j(6)?
False
Does 6 divide (-6)/4*2*-2?
True
Suppose -63 - 17 = -4*b. Does 10 divide b?
True
Suppose -4 + 10 = 3*k. Suppose 0 = k*v - 60 + 20. Let a = v - 11. Is a a multiple of 6?
False
Suppose 7 - 48 = -t. Let b = t + -25. Does 13 divide b?
False
Let x = -12 - -20. Suppose 0 = -o - 5*n + 43, -o - x + 51 = 2*n. Is o a multiple of 12?
False
Suppose 14 = m - 0*m. Is 14 a factor of m?
True
Suppose 4*g + 4*t + 44 = 0, -4*t - 14 = 6. Does 8 divide 1 - -38 - (g - -5)?
True
Let s(l) be the first derivative of l**2/2 - 9*l + 3. Let b be s(12). Suppose -b*m - 3 = -45. Does 14 divide m?
True
Let i = 115 + -49. Suppose -2*b - 22 = 5*w, 4*b + 4 + i = 3*w. Let u = b + 30. Is 9 a factor of u?
False
Is 96 + 3 + -5 + 2 a multiple of 6?
True
Is 12 a factor of (-2)/7 + 5/(-7) - -120?
False
Let j(u) = u**2 + 9*u + 3. Let r be j(-9). Suppose r*g + 48 = 7*g. Is 12 a factor of g?
True
Suppose 4*b - 1 = 3*f - 0, f - 4*b = -11. Suppose -5*q + 2*k - 6*k = -31, -2*q + 18 = 3*k. Suppose -q*j - f*z = -0*z - 8, -3*j + 4*z = -26. Is 2 a factor of j?
True
Suppose 0 = 3*f - 0*f - 483. Suppose -5*p + f = 6*l - 2*l, -5*p - 43 = -2*l. Is l a multiple of 12?
False
Does 9 divide 18/42 + (-369)/(-21)?
True
Suppose 0 = 5*u - 6*u + 19. Is 4 a factor of u?
False
Suppose -5*f = -10 - 5. Is 17 a factor of (4 - f)*2*17?
True
Let c = -3 - -5. Suppose 5*b + 5*h - 30 = 0, 2*b - c*h = -4 + 36. Is 11 a factor of b?
True
Suppose -200 = -2*o + 4*d, 3*d + 117 + 84 = 2*o. Is 34 a factor of o?
True
Let r(d) = -d**2 - 7*d - 1. Let k(x) = -2*x**2 - 13*x - 3. Let h(n) = -4*k(n) + 9*r(n). Let z(b) = 4*b + 2. Let l be z(-2). Does 11 divide h(l)?
True
Let r = -3 + 15. Does 5 divide r?
False
Let i(w) = -w + 2. Let n be i(-2). Suppose c + n*c - 190 = 0. Is c a multiple of 19?
True
Let b be (-2 - -1) + -1 + 1. Is b - 69/(-2 - 1) a multiple of 22?
True
Suppose 2*q - 12 = -2*q. Let g be (-4)/14 - (-16)/7. Is (g - q)/(2/(-30)) a multiple of 10?
False
Let z(n) = 3*n - 8. Is 4 a factor of z(5)?
False
Let x(v) = -25*v + 0 + 27*v - 18. Let g be x(13). Suppose -5*d - g*l = -3*l - 10, 4*l + 4 = -2*d. Does 6 divide d?
True
Let h = 33 - 14. Is h a multiple of 2?
False
Suppose 0 = -2*j - g - 2*g - 45, 4*g = 4*j + 120. Let b = 41 + j. Is b a multiple of 3?
False
Let y(q) = q**2 + q + 51. Is 17 a factor of y(0)?
True
Let s(i) = -i + 8. Let d be s(4). Suppose 2 = 4*g + 2*b, 2*g - 2*b - b = 21. Suppose -2*a = -3*a - d*q + 10, 5*a = g*q + 27. Is 3 a factor of a?
True
Suppose 2*j = -3*j + 635. Suppose 2*u = 4*d - 234, -170 = -5*d + u + j. Let g = d + -26. Is 17 a factor of g?
True
Suppose 4*c = -3 + 19. Suppose -5*j + 5*h + 42 = -2*j, h + 39 = c*j. Is j a multiple of 9?
True
Let o(m) = m**3 - 9*m**2 + 9*m + 17. Is o(8) a multiple of 8?
False
Let i(n) = n**3 + 24*n**2 + 21*n - 28. Does 6 divide i(-23)?
True
Suppose -391 = 2*m + 3*m + 3*j, 0 = -m - 5*j - 65. Is 6 a factor of m/(-6)*(-9)/(-6)?
False
Suppose -4*m = -2*m - 32. Is m a multiple of 3?
False
Let k(b) = b**3 + b + 2. Let g be k(0). Suppose g*j = 3*j - 39. Is 10 a factor of j?
False
Let o(v) be the first derivative of 17*v**3/3 + v - 3. Does 7 divide o(1)?
False
Let n be (-6)/21 + 18/14. Let c be (3 - n)*-1 + 2. Suppose c*m - 4*m + 135 = -5*i, -4*m + 4*i = -140. Is 20 a factor of m?
True
Suppose -2*c = -7*c. Let u(g) = -g + 6. Is 4 a factor of u(c)?
False
Let z be ((-172)/8)/((-1)/6). Let x = z - 75. Is x a multiple of 18?
True
Suppose 0 = 2*c + 3*c + 15, 2*n - c - 111 = 0. Is n a multiple of 16?
False
Let v(k) = -k**3 - k**2 - k + 1. Let r(d) = -7*d**3 - 16*d**2 - 15*d + 2. Let y(z) = -r(z) + 6*v(z). Let w be y(-8). Suppose -2*b - 4 = -w. Is 14 a factor of b?
True
Suppose 114 = 5*j + 4*z, 0 = 3*z - 5 + 2. Is 22 a factor of j?
True
Let q(n) be the first derivative of -n**3/3 + 9*n**2/2 - 3*n - 1. Let y = 0 + 7. Is q(y) a multiple of 11?
True
Let v be 6/8 + (-7)/4. Let f(l) = 19*l**2 + l + 1. Does 14 divide f(v)?
False
Let c be 48/3*(4/(-8) + 2). Suppose 0 = -d + 3*d - 74. Let g = d - c. Is 5 a factor of g?
False
Let w(u) = 59*u - 2. Does 35 divide w(3)?
True
Let r(i) = -3*i**2 - 9*i - 1. Let d(u) = -2*u**2 - 8*u. Let l(p) = 4*d(p) - 3*r(p). Suppose q + 3*t - 24 = -q, 2*q = 4*t - 4. Is l(q) a multiple of 3?
True
Let v(x) = 3*x - 3 + 1 + 2*x - 7*x. Let p be v(-3). Suppose -5*m = -0*a + 2*a - 56, 3*a - 107 = p*m. Is 11 a factor of a?
True
Suppose -2*x + 0*x + 6 = 0. Does 15 divide x/6 - 118/(-4)?
True
Let x = 12 + -25. Let t = 23 + x. Is 8 a factor of t?
False
Let c be (-1)/((12/15)/4). Let p be (-2)/(-1) + -4 - c. Suppose -p*a + 72 = -4*q, -5*a + 2*q = 3*q - 97. Is 10 a factor of a?
True
Let z(d) be the third derivative of -d**6/120 - d**5/60 - d**4/24 + d**3 - 3*d**2. Is z(0) a multiple of 3?
True
Let b = -4 + 6. Let w(m) = 3*m - 2. Let k be w(b). Is 11/k*(19 + -7) a multiple of 13?
False
Suppose o + p - 4 = -0*o, 3*o = -p + 12. Is o a multiple of 2?
True
Let b(p) = -2*p**2 - 6*p - 1. Let u be b(-4). Let y(c) = -7*c - 7. Is y(u) a multiple of 20?
False
Suppose -1312 = -9*l - 214. Is l a multiple of 7?
False
Suppose -2*q + 266 = -4*w, -2*w + 730 = 5*q + w. Does 7 divide q?
False
Let j(c) = -c**2 + 3*c + 4. Let k be j(4). Suppose 2*a + 6 = 0, -3*a + 3 = 3*m - k. Suppose -h + 80 = m*h. Is h a multiple of 9?
False
Suppose 2*i - 3*l - 72 = 0, -3*i + 2*l + 144 = i. Is 10 a factor of i?
False
Suppose -3*o = d - 922, -4*o - 10*d + 11*d + 1227 = 0. Is 20 a factor of o?
False
Suppose -2*o + 3*i = -168, -38 = -3*o - i + 236. Suppose -5*b - o = -0*b. Does 11 divide 303/27 + 4/b?
True
Let u = 12 + -9. Suppose 2*c = -3*s + 3*c + 37, 0 = -5*s + u*c + 63. Is s a multiple of 3?
True
Let u(b) = b + 5. Let p be u(0). Suppose -4*j + j - 4*t + 94 = 0, -p*t + 72 = 2*j. Is j a multiple of 20?
False
Suppose 3*m - 16*m = -3510. Does 12 divide m?
False
Let o = 2910 - 1758. Does 14 divide 4/(-18) + o/81?
True
Let g be (0/3)/((-2)/1). Suppose 2*u - 8 = -g*u. Suppose 3*z - 8 = u. Is z a multiple of 4?
True
Suppose -3*x = -4*x - 6. Is ((-15)/(-9))/((-1)/x) a multiple of 10?
True
Let y(g) = -g + 9. Let x be y(7). Suppose -14 = -x*f + 10. Is f a multiple of 12?
True
Let z = -102 + 202. Does 20 divide z?
True
Let b = -3 - -8. Suppose 3*l - 3*x - 16 = -106, -l - 12 = b*x. Is 11 a factor of 10/3*l/(-6)?
False
Let r(s) = s**2 + s + 97. Let x be r(0). Let u = -53 + x. Is 14 a factor of u?
False
Let x(d) = -d**3 - 4*d**2 + 5*d. Let y be x(-5). Suppose -5*c + 0*c = y. Suppose -p - 3*p - 5*k + 138 = c, -4*k + 168 = 5*p. Is p a multiple of 16?
True
Let d = -9 + 6. Let v = 2 - d. Does 2 divide v?
False
Let a = -10 - -8. Let b be (2 - 2)*(-2)/a. Suppose 3*n - 5*w - 63 = b, 8*n + w - 105 = 3*n. Is 21 a factor of n?
True
Let a be (-271)/(-2) + (-1)/2. Suppose 0 = -4*k - 2*x + 1 - a, x - 93 = 3*k. Let o = -17 - k. Does 15 divide o?
True
Let d = 38 - 24. Is 12 a factor of 3*d*(9 + -8)?
False
Let r(v) = 11*v**3 - 2*v - 1. Let z be r(-1). Let o = z + 16. Is 2 a factor of o?
True
Let h = 12 - 10. Suppose -105 = -7*u + h*u. Is 11 a factor of u?
False
Let w(y) = y**2 + 17*y + 10. Let n be w(-13). Let p = 67 + n. Let k = -1 + p. Is 8 a factor of k?
True
Let b be 1*(-11)/(-1) - 3. Let n = 13 - b. Suppose -8 = -s + n*p, -s + 4 = -3*p - 6. Is 11 a factor of s?
False
Let n(g) = -13*g + 2. Let m(p) = p**3 - 4*p**2 - 7*p + 6. Let z be m(5). Let t be n(z). Is 7 a factor of 83/9 + (-12)/t?
False
Let s(x) = -x**3 - 4*x**2 - 4*x - 3. Let h be s(-3). Does 13 divide ((-2)/(-4) - h)*32?
False
Suppose 0 = 4*x + g - 54, x + 32 = 3*x - 2*g. Is 7 a factor of x?
True
Suppose -x + 86 = 5*k, 2*k - 2*x - 12 = 20. Is k a multiple of 10?
False
Suppose -6*u + 88 = -2*u. Let i = u - 14. Does 4 divide i?
True
Is 12 a factor of -15*(4/10 + -2)?
True
Suppose a + 2*k - 58 = 3*k, 2*a - 4*k - 120 = 0. Is a a multiple of 8?
True
Suppose g = 2*g - 2. Suppose 0*x = g*x - 42. Is 21 a factor of x?
True
Is 6 a factor of ((-54)/(-5))/(12/30)?
False
Let n be (-1 - (0 - 0)) + 86. Let w = -43 + n. Does 14 divide w?
True
Suppose -2*d - 3*d = -3*s + 646, -