le of 2?
False
Let m be -100 + -2*(-2)/(-4). Let t = 2 - m. Does 31 divide t?
False
Suppose 2 - 6 = -4*t. Let s be 6 + -1 - (4 - t). Suppose s*i - 83 = -27. Is 11 a factor of i?
False
Let k(f) = -f**3 - 3*f**2 + 2*f - 7. Suppose n + 6 = j, 4*j = 3*n + 11 + 8. Is k(n) a multiple of 6?
False
Suppose -2*h - 5*b = -20, 2*b + 19 = -h + 2*h. Is h a multiple of 10?
False
Let y(n) = -8*n - 16. Let c = 13 - 23. Is 21 a factor of y(c)?
False
Let o be 1*(2 - -7*2). Suppose o = -2*t + 4*y, -3*y = -t - 4 - 8. Suppose t = i + i - 32. Does 8 divide i?
True
Let q = -703 + 1011. Is q a multiple of 14?
True
Let v(l) = l**3 - 7*l**2 + 2*l - 9. Let j be v(7). Suppose -250 - 630 = -j*c. Let w = c - 125. Is 21 a factor of w?
False
Let u = 15 + -6. Suppose u = 3*o - 5*x + 3, 0 = o + 3*x - 16. Does 3 divide o?
False
Suppose -2*u - u + 16 = 2*x, -x - 2 = -u. Suppose -x*s - 3*s = -n + 21, -5*n = s - 53. Is 7 a factor of n?
False
Let h = -17 - -23. Let u(x) = -x**3 + 5*x**2 + 4*x - 6. Let w be u(4). Let v = w + h. Is 16 a factor of v?
True
Suppose -5*r - 3 = -123. Suppose -3 = -h - 2*k, 0 = -5*h - 2*k + k + r. Suppose -h*x = -3*m + 20, -m - x - 3 + 15 = 0. Is m a multiple of 9?
False
Let v be ((-1)/2)/((-4)/32). Suppose 0 = v*l - 6*l + 6. Let n = l - -1. Does 4 divide n?
True
Suppose 0 = -c, 0 = -4*t + 8*t - c - 396. Is t a multiple of 10?
False
Let o be (1*2)/((-12)/(-18)). Suppose 72 + o = 3*h. Is 22 a factor of h?
False
Suppose -4*m = -m + 36. Let p(a) = a + 15. Let o be p(10). Let h = m + o. Does 13 divide h?
True
Let d(h) = h**2 + 12*h + 1. Let j be d(-11). Does 13 divide (-306)/(-15) - j/(-25)?
False
Suppose 23 = 4*h + 4*u - 5*u, 5*h = -4*u + 13. Suppose h*s - s = 0. Suppose -5*t - 10 - 15 = 0, 4*v + 3*t - 45 = s. Is 15 a factor of v?
True
Suppose -4*g = -5*b - 15, -3*b = -5*g - 5 + 14. Let q = 27 + b. Is 12 a factor of q?
True
Suppose -8 = -6*m + 2*m. Let r(i) = i**m + 5 + 22*i - 22*i. Does 9 divide r(4)?
False
Let a(s) = -s**3 + 6*s**2 + 4. Let c be a(6). Suppose 5*f + 4 - 3 = 2*q, 3*q - 5 = c*f. Let b = 6 + q. Does 9 divide b?
True
Let m(t) = t**2. Let u be m(2). Suppose 56 = -u*v - 4*r, -2*r + 40 = -5*v + 3*r. Let f = 24 + v. Is 13 a factor of f?
True
Let a be 3/2*(-4)/(-3). Suppose 3*g + a*g = 10. Suppose n = g*b + 5 + 12, -67 = -3*n + 2*b. Is 10 a factor of n?
False
Suppose 3*m - 1075 - 17 = 0. Does 26 divide m?
True
Suppose l - 6*l - 130 = 0. Let s = 42 + l. Suppose 18 = 2*p - s. Is 14 a factor of p?
False
Let g(m) = -3*m + 3. Let r be g(-4). Suppose -4*n + 0*n = 2*p - 12, -5*n = 3*p - r. Suppose 0 = 4*l - n*x - 55 - 31, -38 = -2*l - x. Is 10 a factor of l?
True
Let h be (-4)/22 + 8/44. Suppose h*n = -2*n. Suppose o + 2*y - 28 = n, 0*o - 4*o + 73 = -5*y. Is o a multiple of 7?
False
Suppose 0 = 3*v + 3*b - 0*b - 168, -50 = -v + 2*b. Is v a multiple of 27?
True
Suppose 0 = -10*z - z + 594. Does 54 divide z?
True
Let h = 54 + -37. Suppose i - 37 = -5*w, h = 4*w + i - 12. Let j = w + 0. Is j a multiple of 4?
True
Suppose 54 = -4*o - 58. Does 17 divide -3*(-1 + o/6)?
True
Let y(o) = 8*o - 6. Let q(n) = n**3 + 11*n**2 + 8*n - 14. Let s be q(-10). Does 12 divide y(s)?
False
Suppose 3*v + 12 = -2*s - 0*v, -3*s - 3*v - 15 = 0. Let z = s + 25. Is 12 a factor of z?
False
Let d be (-3 - -2)/((-4)/16). Suppose 91 = d*i - 145. Does 12 divide i?
False
Let z(t) = -t**3 - 10*t**2 + 11. Is 11 a factor of z(-10)?
True
Let z = 264 + -102. Is z a multiple of 44?
False
Let l = -35 + 90. Suppose -59 = -2*s + l. Does 16 divide s?
False
Let a be 38/3 - (-4)/12. Let i = a + -21. Does 2 divide 30/4 - (-4)/i?
False
Let m(p) = -7*p**2 - 1. Let x be m(1). Let d(b) = 3*b - 3. Let a be d(x). Let h = -10 - a. Does 6 divide h?
False
Suppose -2*z = -z - 20. Suppose 3*v - 19 = z. Does 13 divide v?
True
Suppose 0 = -2*v - 4*h + 242, 3*v - v - 214 = 3*h. Is 11 a factor of v?
False
Let j(s) = 2*s - 11. Let k be j(8). Suppose -13 = -3*w + k. Is 3 a factor of w?
True
Let f(r) = 2*r**2 + 2*r - 1. Let o = -5 + 6. Let w be f(o). Suppose 0 = -s + 4 + w. Does 7 divide s?
True
Let r = 3 + -8. Let j(u) = -u**3 - 3*u**2 + 5*u. Let o be j(r). Let g = -7 + o. Is 9 a factor of g?
True
Suppose -10 = -t - t. Suppose 0 = -t*m - 2*b + 278, 0 = 4*m + 2*b - 320 + 96. Let o = m - 37. Is o a multiple of 8?
False
Let u(g) = g**2 - 9*g + 10. Let i be u(8). Suppose a + 36 = -i*a. Let f = -6 - a. Does 6 divide f?
True
Let q(s) = -s**2 + 8*s - 2. Let g be q(7). Let m(b) = 5*b**2 + b - b**3 - 2 + 9 - 3*b + 6*b. Is m(g) a multiple of 9?
True
Let x = -158 - -276. Is 4 a factor of x?
False
Let z be (-650)/(-9) + 4/(-18). Let f = z - 48. Does 6 divide f?
True
Let z = 61 - 26. Does 7 divide z?
True
Let f = -26 + 37. Suppose 2*j + 3 = f. Suppose 5*h = -j*w - 10 + 88, 2*h - w - 26 = 0. Does 7 divide h?
True
Let m = 16 - 12. Suppose 5*p - 248 = -m*a, 2*a - 3*a - 5*p = -47. Does 32 divide a?
False
Let v = 4 + -2. Suppose -5*n + 58 + v = 0. Is n a multiple of 4?
True
Suppose -5*v - 78 = -8*v. Is v a multiple of 4?
False
Let b be 8 + (0 + -1)*3. Is 20 a factor of (b + -8)*55/(-3)?
False
Suppose z = 5*p - 0*z - 221, -3*p + 147 = 3*z. Is 8 a factor of p?
False
Let i be (-150)/2*(-4)/6. Does 25 divide i*(2 + (2 - 3))?
True
Let k be 4/(-14) - 592/(-14). Let n = k - -5. Does 19 divide n?
False
Let o(m) = -m**3 - 4*m**2 + 5*m - 9. Let u(c) = -2*c**2 + 2*c - 2. Let n be u(2). Does 8 divide o(n)?
False
Let w be (-7)/(-2) + (-2)/(-4). Suppose 5*s = 4*s + w. Let x(i) = 2*i**2 - 2*i + 3. Is x(s) a multiple of 11?
False
Does 13 divide (-2)/4 - 135/(-10)?
True
Let g(s) = 2*s**3 + 19*s**2 - 11*s + 9. Is g(-10) a multiple of 8?
False
Suppose 3*u - 52 = -u. Let f(h) = h**2 - 7*h - 15. Does 21 divide f(u)?
True
Suppose -f = -9*f + 360. Is f a multiple of 19?
False
Suppose -5*v = -3*q - 153, v - 27 = -0*v - 3*q. Is v a multiple of 10?
True
Suppose k - 10 = -5*t + 2, t = -2*k - 3. Suppose t*a = -0*a + 33. Is 5 a factor of a?
False
Suppose -3*b - 2*k + 39 = -6*k, -39 = -3*b - 4*k. Is b a multiple of 5?
False
Suppose 3*r = i - 29, r - 78 = -5*i + 19. Suppose -g + i = g. Let b = g - -16. Is b a multiple of 26?
True
Let f = -53 + 125. Does 16 divide f/(-10)*140/(-21)?
True
Let g(c) = 3*c - c - 3 - 3*c + 6*c. Let b be g(6). Let k = b + -10. Is 17 a factor of k?
True
Let x(p) be the second derivative of -p**8/6720 - p**7/2520 + p**6/144 + p**5/20 + p**4/6 + 2*p. Let l(r) be the third derivative of x(r). Does 13 divide l(-4)?
False
Let p = 218 + -38. Suppose 655 = 5*z - p. Suppose 4*c - z = -43. Does 11 divide c?
False
Suppose 5*b + 5 = 20. Is 12 a factor of -3 - 3/(b/(-46))?
False
Let v be (-1)/(-1)*-1 + 25. Let x(m) = m**3 + m - 8. Let r be x(0). Let i = r + v. Is 5 a factor of i?
False
Let x(a) = -6*a**2 - a + 2. Let o be x(-3). Suppose 4*w + 111 = -n, -4*w + 14 = 5*n + 137. Let l = w - o. Does 11 divide l?
True
Let t = -43 - -104. Suppose 4*i = 3*h - 0*i - 46, -t = -3*h + i. Does 13 divide h?
False
Is 4 a factor of -4 + 1 + (-4 - -3 - -53)?
False
Let t(y) = -2*y + 22 + 2*y**2 - 3*y**2 + 14 + 8. Does 11 divide t(0)?
True
Let n be 39/15 + (-2)/(-5). Let z be (n/(-3))/(-1) + 1. Does 11 divide (-1*1)/(z/(-56))?
False
Let x(f) be the first derivative of -f**4/4 - 2*f**3 - 5*f**2/2 + 1. Let q = -24 - -18. Does 11 divide x(q)?
False
Let b(c) = -c**2 + 5*c + 5. Let g be b(5). Suppose 2*j - 4 = 4*j. Let y = g + j. Is y a multiple of 3?
True
Suppose 5*n - 12 = 3*p, p - 3*p = 5*n - 17. Suppose -n*l = 3*c - 96, -3*l + l + 2*c = -44. Is 9 a factor of l?
True
Suppose -3*l + 7*l = -4. Does 17 divide -51*(l/(-3) + -1)?
True
Suppose -3*p = -0 + 6. Let r(i) be the first derivative of 2*i**3 + 3*i**2/2 - 1. Is 15 a factor of r(p)?
False
Let f be 20 + -4*3/(-6). Suppose 2*m + 4*o = 12 + f, -3*o = -5*m + 33. Is 3 a factor of m?
True
Let g(a) = 2*a**2 + 4*a. Let p be g(-4). Suppose 2*l - l = -p. Let q = l + 28. Is q a multiple of 9?
False
Suppose -3*a - 2*a = 205. Let c = -9 - a. Is 16 a factor of c?
True
Suppose 0 = -0*r + 2*r - 22. Does 7 divide r?
False
Suppose 2*n - 40 = -4*j, -48 = -4*j + 3*n - 18. Suppose -51 + j = -3*v. Is v a multiple of 14?
True
Does 36 divide (1 + 28/(-16))/(4/(-384))?
True
Let b(t) = 1 - 5*t - 2*t + 2*t - 5*t. Does 9 divide b(-1)?
False
Let j(i) = i + 4. Let m be j(-3). Suppose -4 - 2 = -3*p. Let q = p + m. Is q even?
False
Let s = 54 + -42. I