2) + u?
False
Let d = 57 + -41. Let c = d + -16. Suppose -5*r + 2 + 23 = c. Is r a multiple of 5?
True
Suppose 5*c - 1542 = -3*w, 26*w + 3*c = 23*w + 1536. Is 79 a factor of w?
False
Let c = 1 - 14. Let g = c + 36. Does 3 divide g?
False
Let d(n) = n**2 - n - 6. Let u be d(0). Let g(m) = 31*m - m**2 - 37*m + 5 + 4. Is 4 a factor of g(u)?
False
Suppose -3*y + 0 = -3. Suppose -2*d - 35 = y. Let p = -11 - d. Is 7 a factor of p?
True
Suppose i - 3 = -5, 4*i + 2670 = 2*c. Is 70 a factor of c?
False
Suppose -l - 4*r = 12, 3*l + 4 = -7*r + 3*r. Suppose l*a - 66 - 10 = -5*d, -4*a - 84 = -5*d. Is 9 a factor of d?
False
Suppose 2*g + p - 1081 = -0*p, 2171 = 4*g - p. Is g a multiple of 8?
False
Let p = -1843 - -2745. Is 41 a factor of p?
True
Suppose -4*i + 4*w = -40, 5*i - 3*w - 41 = i. Suppose -9*n - 8 = -i*n. Suppose -5*h + 153 = -z - 29, n*h - 3*z - 150 = 0. Is h a multiple of 6?
True
Is ((-1108)/10)/((-208)/20 + 10) a multiple of 8?
False
Let r be 95/(-25) - (-1)/(-5). Let q(i) = 1. Let f(b) = 15*b + 15. Let x(g) = -f(g) + 10*q(g). Is 19 a factor of x(r)?
False
Suppose 0 = 4*z - 8 - 4. Suppose -z*n = -421 + 124. Is 11 a factor of n?
True
Suppose 0 = 4*m + 4*i - 20, -4*m + 5*i - 1 = -3*m. Suppose m*j - 220 = 52. Is 17 a factor of j?
True
Let z(b) = -b + 1. Let a be z(5). Let i = 1 + a. Does 12 divide 61 + -2 + 0/i?
False
Let b be (30/(-12))/((-2)/4). Let j be (1 + b/(-3))*-3. Is (-2)/j + 26/1 a multiple of 19?
False
Suppose 0 = -5*j + 3*j - 2*p + 36, -2*p - 10 = 0. Suppose -f + 0 + j = 0. Does 7 divide f?
False
Let y(j) = -2*j - 4. Let a be y(-4). Suppose -v - 3*v + 2*b = -356, -a*b = -2*v + 190. Does 13 divide v?
False
Let w(q) = 4*q**3 - 2*q**2 - 27*q + 117. Is w(6) a multiple of 80?
False
Let v(h) = -14*h - 38. Let w be v(-13). Suppose -3*x + w = 3. Is x a multiple of 8?
False
Is (-8)/(-10) - 19/(760/(-52688)) a multiple of 69?
False
Is 12 a factor of (130 - 13) + (1 - 1)?
False
Let u(s) = s**3 - 6*s**2 + 20*s + 19. Is 21 a factor of u(9)?
False
Let l be ((-190)/57)/((-2)/27). Does 15 divide (-1 - 8)*(-330)/l?
False
Is 18 a factor of (51 - -2225) + (-10)/(-1)?
True
Let i(g) = -6*g**3 + 8*g**2 + 11*g + 1. Let z(h) = h**3 - h**2 - h. Let k(n) = i(n) + 4*z(n). Let c be k(-5). Suppose -c = -4*f - 12. Is 19 a factor of f?
True
Suppose 0 = -40*b + 21652 - 52. Is b a multiple of 12?
True
Suppose -5*g + 2*g + 19 = 2*j, -g + j = -3. Is 2 a factor of g?
False
Suppose 10*f + 223 + 197 = 0. Is 6 a factor of (-710)/(-14) - 2*6/f?
False
Is 13 a factor of 8/(-20) - 190689/(-85)?
False
Suppose -7*h + 9554 - 3842 = 0. Does 6 divide h?
True
Suppose 7*f - 2235 = 1125. Is 5 a factor of f?
True
Let b(v) = 5*v**2 - 10*v - 11. Let t be b(7). Suppose t = 3*z - 4*d, -z + 4*d = -34 - 34. Does 24 divide z?
True
Suppose 2*v - 46 = 12. Suppose 4*a = v - 9. Let x = a + -3. Is 2 a factor of x?
True
Suppose 0 = -g - g - 54. Is 1098/8 + (g/12)/(-3) a multiple of 23?
True
Let q = -12 - -14. Suppose -c + 14 = -0*c + 3*t, -q*c - t = -18. Does 4 divide c?
True
Let p(x) = -452*x - 1101. Is p(-9) a multiple of 18?
False
Suppose -109*c = -135*c + 11986. Does 2 divide c?
False
Suppose -1252*n = -1253*n + 473. Does 14 divide n?
False
Suppose -2*l + 159 - 103 = 0. Does 14 divide l?
True
Suppose -5*m - 4*h = 454, -2*h = -m + 2*h - 86. Let p = m + -50. Let q = 227 + p. Is 14 a factor of q?
False
Let l = -345 + 625. Is 15 a factor of l?
False
Let h = -7878 - -11098. Does 95 divide h?
False
Let o = -64 - -69. Suppose 313 = 3*w + a, 5*w + o*a - a = 517. Is w a multiple of 15?
True
Suppose -891 = -4*y + y. Suppose -38 = u - 4*h - y, 4*h = 0. Is u a multiple of 46?
False
Suppose 0 = 4*i + 5 - 57. Let x = 11 - i. Does 25 divide 56/x*-3 - 2?
False
Let m be ((-1)/3)/((-59)/177). Let c(q) be the second derivative of 6*q**3 - q**2 - q. Is 17 a factor of c(m)?
True
Suppose 5*c - 7 - 7 = 2*x, 2*c + x = 2. Suppose 2*b - j + 84 = 7*b, -c*b + 30 = 4*j. Suppose -5*k - 10 + 65 = -2*l, -3*k + b = 2*l. Is 9 a factor of k?
True
Suppose -5*t - 278 = -3*w, 3*w + 10*t = 14*t + 280. Is 12 a factor of w?
True
Let q = 12 - 7. Suppose -5*j - 10 = 0, 23 = q*y - 2*j - 6. Does 11 divide (-1 - 32/(-4))*y?
False
Suppose -19*i + 8070 = 888. Is i a multiple of 14?
True
Suppose 187 = -5*f + 4*c, -5*f - 4*c = -37 + 200. Let k = 13 - f. Suppose -6*w + k = -2*w + 5*a, 2*w - 6 = 2*a. Is 3 a factor of w?
False
Suppose -27 = -2*r + 5*o + 23, 0 = 3*r - 2*o - 75. Let d = r + -11. Suppose 1 = -j, 4*h - 4 - d = -2*j. Is 5 a factor of h?
True
Let w(p) = 33*p**2 - 25*p + 148. Is w(7) a multiple of 10?
True
Suppose -x = 2*q - 1076, -2*q + 1096 = 4*x + 8. Is q a multiple of 90?
False
Suppose -55785 = -44*b + 67107. Is 19 a factor of b?
True
Suppose -k + 3*n - 15 = -5*k, 4*n = -4*k + 16. Suppose -2*g = -k*y + 74, -3*y = -8*y - 2*g + 102. Does 21 divide y?
False
Suppose -r = -51 + 18. Suppose h - 51 - r = 0. Suppose -7*s + 4*s + h = 0. Is s a multiple of 7?
True
Let r(z) = -14*z**2 + 2*z - 1. Let t be r(1). Let l = t + 79. Does 11 divide l?
True
Let d(s) = s**2 + 9*s - 7. Let n be d(-10). Suppose -3*g - 12 = 0, 5*g + 16 + 64 = n*j. Is 20 a factor of j?
True
Suppose -4*f + 2*f + n - 5 = 0, f - 2*n + 7 = 0. Let q(t) = -6*t - 2. Let l be q(f). Suppose -l*u - 96 = -8*u. Does 24 divide u?
True
Let n(v) = 4*v**2 - 1. Let o = 0 - 1. Let m be n(o). Suppose 1 + 20 = m*t. Is 2 a factor of t?
False
Suppose 4*f = 3*f + 18. Let r = 95 - f. Is 13 a factor of r?
False
Suppose -6 = -4*j + 2*j. Suppose -2*m - j = -75. Is 9 a factor of m?
True
Let f(o) = -o**2 + 3*o + 8. Let x be f(5). Suppose -3*u - 3*w + 8*w = -1, 5*w + 16 = -2*u. Is 6 a factor of ((-28)/u)/(x/(-9))?
True
Let b(t) = -4*t - 1. Let p be b(-2). Let x = p + -8. Is 25 a factor of x/(-2*(-1)/(-52))?
False
Let g be (-2)/(-8) + (-56)/(-32). Suppose -g*m = -6*m. Suppose -4*n - 5*t + 48 = m, 0 = -3*n - t - 4*t + 31. Is n a multiple of 8?
False
Let i(o) = 12*o**2 + 13*o + 33. Does 8 divide i(-3)?
False
Suppose 8*b = 13*b - 10. Suppose b*m = -f + 328, 0 = 4*f - 4 - 4. Suppose 4*g - m = -59. Does 13 divide g?
True
Let m be (-414)/(-15) - (-16)/40. Let q = 51 - m. Is q a multiple of 9?
False
Does 128 divide (-1629)/15*(-130)/78?
False
Suppose -q - 1056 = -4*q. Let f be q/(-6) - 7/21. Let t = -33 - f. Is t a multiple of 13?
True
Suppose 0 = 2*j - 6*j - 5*h + 3060, -h = 0. Is 45 a factor of j?
True
Is 9 a factor of (0 + (-870)/12)*-2?
False
Let p(z) = -493*z - 315. Is 43 a factor of p(-5)?
True
Let k(d) = 23*d**2 + 2*d - 1. Suppose p + p + 8 = 0. Let h = 5 + p. Does 8 divide k(h)?
True
Let o(h) = 30*h - 135. Let g(v) = -12*v + 54. Let u(x) = 12*g(x) + 5*o(x). Does 21 divide u(22)?
True
Let k(r) = -r**3 - 6*r**2 + 9*r - 10. Let m be k(-9). Is 12/(-36) - m/(-6) a multiple of 5?
True
Let n(g) = 57*g + 23. Is 4 a factor of n(3)?
False
Suppose 0 = -795*i + 796*i - 865. Is 71 a factor of i?
False
Let q be (3 + 14 + 0)/1. Let u(m) = m**2 - 12*m + 14. Is 13 a factor of u(q)?
False
Let s(x) = -x**3 - 9*x**2 + 11*x + 27. Is 3 a factor of s(-10)?
False
Suppose 0 = 12*z + 740 - 1832. Does 7 divide z?
True
Let a = 109 + 164. Is a a multiple of 7?
True
Let f(p) = -33*p. Suppose -3*y + 3 + 3 = 0. Suppose y*k + 10 = 8. Is f(k) a multiple of 11?
True
Let o = 46 - 52. Let d(a) = a + 20. Is 13 a factor of d(o)?
False
Let x(w) = -w**3 + 4*w**2 + w + 14. Let z be x(4). Let i = z + 0. Is 9 a factor of i?
True
Let p(r) = -69*r**3 + r. Is 22 a factor of p(-2)?
True
Let a = 49 + 14. Let g be 7 - 123/18 - 215/(-6). Let n = a - g. Is 9 a factor of n?
True
Let q(c) = -23*c - 133. Is q(-13) a multiple of 33?
False
Let x = 3056 - 2120. Does 36 divide x?
True
Let j(b) = 30*b - 3. Let k be j(2). Let a = k - 93. Let q = 99 + a. Is q a multiple of 22?
False
Let x be 86/6 - (-8)/(-24). Let u = x + -12. Suppose 3*p - 40 = u*p. Is 10 a factor of p?
True
Let o(g) = -2*g**3 + 11*g**2 + 25*g - 16. Does 6 divide o(7)?
True
Let h = -669 - -1678. Is h a multiple of 27?
False
Suppose -4*u = u - 25. Suppose -u*h - h = -36. Suppose -2*a - 166 = -h*a + 2*f, 4*a - 164 = 4*f. Does 21 divide a?
True
Is (48 - 52)*(-491)/4 a multiple of 23?
False
Let b = 95 + -68. Suppose 30*r = b*r + 162. Is r a multiple of 9?
True
Suppose 46 = -4*o - 14. Let k be (0 + -2)*o/2. Suppose -124 = -4*f - 4*y, 25 = f - 2*y - k. Is f a multiple of 17?
True
Suppose 0 = -11*t 