
False
Let v be (-160)/(-60)*6/4. Suppose -3*x + 882 = v*x. Does 21 divide x?
True
Let p = -23 + 28. Suppose 4*u - 4*v + 76 = p*u, -137 = -2*u - 3*v. Does 32 divide u?
True
Let w be 8/(-12) - (-2)/3. Let m(x) = -x**2 + 26. Let z be m(w). Suppose -z*l = -29*l + 57. Does 5 divide l?
False
Suppose -4*t = -4*z + 652, -4*t - 489 = -t - 5*z. Let b = 176 + t. Is 13 a factor of b?
True
Suppose 0 = -79*l + 81*l - 126. Is 7 a factor of l?
True
Let p(j) = 835*j + 204. Does 76 divide p(6)?
False
Suppose 4*v + 3*d - 601 = -115, 2*d = -5*v + 611. Suppose -2*s = 47 - v. Is 8 a factor of s?
False
Let t = 22 - 18. Suppose -5*z + 2*y = -4*z - 13, -4*y + 112 = t*z. Is z even?
False
Suppose 3*d = -3*p - 21, -2*d + 5*p - 29 = 20. Is 24/27*228*d/(-8) a multiple of 19?
True
Is (2 - 1)*67 - 5 a multiple of 2?
True
Suppose s - 3*v + 20 = -0*s, -3*s - v = 70. Suppose 47*q = o + 46*q + 38, -5*o + 2*q - 205 = 0. Let u = s - o. Does 20 divide u?
True
Let f(p) = -2*p - 17. Let a be f(-10). Suppose 4*x + 3*b - 156 = 0, 124 = x + a*x - 5*b. Is x a multiple of 9?
True
Let p = -13 - -11. Let n be -18*(-3)/6 + p. Let k = n + -2. Is k a multiple of 2?
False
Suppose -10 = 2*a, -4*t + 24 + 12 = -4*a. Suppose -t*f + 32 = -120. Is 19 a factor of f?
True
Suppose 3583 + 1370 = 39*l. Is l even?
False
Let t be (32/20)/((-1)/5). Let n be (-45)/(-12) + t/(-32). Suppose -7 = -n*p + 5*o, 0 = -2*p + 5*p + 3*o - 39. Is p a multiple of 3?
False
Let g(l) = 21*l**2. Let y(r) = -4*r + 3. Let u be y(1). Is 7 a factor of g(u)?
True
Let c = -10 - 1. Let o(h) = 3*h**2 + 22*h + 13. Let g(q) = q**2 + 7*q + 4. Let u(x) = -11*g(x) + 4*o(x). Is 8 a factor of u(c)?
True
Suppose 0 = -2*p - 2*g + 208 + 242, -p + 4*g + 235 = 0. Is p a multiple of 9?
False
Suppose 68 = 484*v - 480*v. Is 12 a factor of v?
False
Let k(x) = x + 5. Let h = -34 + 48. Suppose -g + 4*y = 5 - 0, -2*y - h = -2*g. Is k(g) a multiple of 16?
True
Let f be 78/36 - (-2)/(-12). Suppose -f*o + o = 2. Does 30 divide (-112)/(-2) + (2 - o)?
True
Let y(x) = -4*x - 18. Let j be y(7). Let p = -24 - j. Does 3 divide p?
False
Is 55 a factor of (-31)/(3/660*-4)?
True
Let v = 79 + 98. Suppose -4*s + v = -s. Suppose -176 = -3*g - 4*q, -q + s = -g + 2*g. Is g a multiple of 20?
True
Let p = -1316 + 2531. Does 46 divide p?
False
Suppose 8 = -2*w + 16. Suppose w*f = 9*f - 780. Is 12 a factor of f?
True
Let x(k) = -36*k - 47. Is x(-6) a multiple of 43?
False
Suppose 24426 = -4*r + 22*r. Is 36 a factor of r?
False
Let m = 859 - 443. Does 32 divide m?
True
Let x = 11 - -392. Is x a multiple of 31?
True
Let c(x) = -x**3 + 15*x**2 + 17*x + 20. Let w(f) = -f**3 + f**2 - f + 16. Let t be w(0). Let b be c(t). Suppose -2*n = -n - b. Is n a multiple of 10?
False
Suppose 0 = -3*u - 14*u + 6426. Is u a multiple of 18?
True
Let j(w) be the first derivative of w**3/3 - w**2/2 + 98*w + 15. Is 33 a factor of j(0)?
False
Let l = 7446 + -4901. Is 55 a factor of l?
False
Suppose 5*f - 794 = -4*o, 3*f - 472 - 125 = -3*o. Does 11 divide o?
False
Suppose 25*i = 20*i. Suppose 5*r - 75 - 105 = i. Suppose -r - 52 = -4*b. Is 22 a factor of b?
True
Let m(l) = l + 1. Let b be (-35)/(-4) - (-4)/16. Let z be m(b). Suppose z = 2*q - 0. Is q a multiple of 5?
True
Suppose -9*v - 152 = -11*v. Suppose 7*d = 3*d + v. Does 19 divide d?
True
Suppose -11*k = -6*k - 75. Suppose -k = 3*f - 87. Is 7 a factor of f?
False
Suppose -7781 = -15*c + 10699. Is c a multiple of 21?
False
Let k be ((-80)/10)/(1/38*-2). Suppose 128 = 2*p - k. Is p a multiple of 14?
True
Let l(r) be the third derivative of -7*r**5/120 - 7*r**4/12 + 7*r**3/6 + 8*r**2. Let u(t) be the first derivative of l(t). Does 7 divide u(-6)?
True
Let k(f) = -801*f**3 + f**2 + 6*f + 6. Is k(-1) a multiple of 3?
False
Let x be ((-1926)/(-4))/9 + (-9)/6. Let f = 148 - x. Is 17 a factor of f?
False
Let w(n) = n**3 + 10*n**2 + 9*n. Suppose 4*h = -16, 6*a = a + 4*h - 19. Does 14 divide w(a)?
True
Suppose 5 = 2*w - 1, 0 = 5*d - 2*w + 46. Suppose m + 64 - 184 = 0. Is 29 a factor of ((-58)/d)/(10/m)?
True
Let y(r) = -r**2 - 3*r. Let a be y(-3). Let m be -19 + 4/(-4) + a. Is 10 a factor of ((-25)/(-2))/((-10)/m)?
False
Suppose 2*q - 1886 = -80. Is q a multiple of 43?
True
Let o(x) be the third derivative of -x**4/8 + 19*x**3/6 - x**2. Let w be o(7). Does 13 divide (-65)/(5/10*w)?
True
Suppose 2*d = -2*d - 64. Is 48/(-10)*40/d a multiple of 4?
True
Let l = -35 + 54. Suppose -4*z + 5 = -l. Let m(j) = 6*j - 10. Is 10 a factor of m(z)?
False
Let v(q) = -27*q + 77. Is 84 a factor of v(-41)?
False
Let f = -63 + 53. Let c = -2 - 22. Let q = f - c. Is 7 a factor of q?
True
Suppose -3*v + 0*v = 6. Let o = v + 56. Is (-1 - (1 + 0)) + o a multiple of 13?
True
Suppose 3*b = b - 10, 0 = -n + 3*b + 295. Is n a multiple of 15?
False
Suppose -2*p + 2*r = -0*p - 82, -3*p = 2*r - 118. Does 40 divide p?
True
Suppose 0 = 9*b - 10*b - 7. Let j(y) = y**3 + 7*y**2 - 8*y - 11. Is j(b) a multiple of 16?
False
Suppose 2*x + 2*g - 10 = 0, -4*g + 8 = -0. Suppose x*z = -14 + 233. Let r = -40 + z. Is r a multiple of 11?
True
Let i(p) = 2*p**3 - 6*p**2 + 2*p + 2. Let h(r) = r + 14. Let j(g) = 2*g + 4. Let q be j(-7). Let t be h(q). Is 14 a factor of i(t)?
True
Let n = -96 - -176. Let i = -159 + n. Let k = i - -127. Does 16 divide k?
True
Suppose -20 = f - j, 3*j = -5*f - 51 - 9. Does 23 divide -1*10/f - (-1100)/6?
True
Let l = 14 + -14. Suppose -2*f + 64 - 12 = l. Is 15 a factor of f?
False
Let l be 3*(0 + 25/15). Suppose 4*b - 120 = -3*g, 2*g + 2*g + 181 = l*b. Does 11 divide b?
True
Let p be -9*1 - (8 - 7). Let f be (12/(-6))/(4/p). Suppose -q + 105 = -5*s, -f*q - 4*s + 291 + 118 = 0. Is q a multiple of 19?
False
Let j(v) = v**3 + 11*v**2 + 3*v - 24. Let t be j(-10). Let y = t - 19. Is y a multiple of 9?
True
Suppose -23*w + 18 = -26*w. Is (-15)/(w*5/40) a multiple of 20?
True
Suppose -2*t - 2*n + 101 = 3*n, 3*n + 141 = 2*t. Suppose 4*h - 5*y - 38 = 0, y = -4*h + t - 13. Does 3 divide h?
True
Let u = 289 - 249. Is u even?
True
Let d = 12 + 235. Suppose -d = 7*v - 716. Is 20 a factor of v?
False
Let c(n) = -19*n**2 + 3*n - 5. Let b be c(-3). Let g = -100 - b. Suppose 7*f - g = 2*f. Does 17 divide f?
True
Let j be (0 - 3)/((-9)/(-30)). Let y = -8 - j. Suppose -y*p - 6 = 5*n + 2, 2*p = 4*n + 28. Does 3 divide p?
True
Let w(u) = u + 1. Let o(x) = 45*x + 1. Let y(n) = -o(n) - 6*w(n). Is y(-2) a multiple of 29?
False
Suppose 2875*w - 2880*w = -12145. Is w a multiple of 31?
False
Let r = 8 + -4. Suppose -3*i = 2*d - 6*d + 115, 0 = 4*i + r. Is d a multiple of 10?
False
Let x = 8 - 27. Let h = x - -109. Does 9 divide h?
True
Let n = 185 + 211. Does 4 divide n?
True
Let b be (-14 + -2)*1/(-2). Is (-7755)/(-44) + (-2)/b a multiple of 14?
False
Suppose -i + 14 = -5*c, -1 = -2*c + 3*i - 4. Let w = c - -57. Is 18 a factor of w?
True
Suppose -106 = -k + 2*q - 6*q, 4*k - 339 = q. Is 2 a factor of k?
True
Suppose -6*a + 220 = -a. Is 22 a factor of a?
True
Suppose -14 = p - 0*p. Let l = 46 + p. Does 14 divide l?
False
Let m = -10 - -19. Let c = m - 8. Suppose -4*n + 173 - c = 0. Is n a multiple of 9?
False
Let u(f) = -f**3 + 18*f**2 + 26*f - 49. Is 14 a factor of u(19)?
True
Suppose -7*p = -10*p + 3*o + 174, -o + 104 = 2*p. Is 27 a factor of p?
True
Let d(q) = 15*q - 23. Suppose -2*f + 62 = 5*c - 6*f, -5*f - 35 = -2*c. Is 29 a factor of d(c)?
False
Suppose -4*a = 3*i - 9543, -570 + 2958 = a + 3*i. Is a a multiple of 115?
False
Let z(l) = l**3 + 4*l**2 + 3*l. Let h be z(-4). Suppose -5*k + 3*j + 15 = -8, 3*j = 3*k - 15. Is -3 + -2*h/k even?
False
Let j = 16 + 5. Suppose -5*m + 2*b + 23 = 0, -4*m + 0*b - b = -j. Is m even?
False
Let i(v) be the first derivative of v**2 + 30*v - 13. Does 14 divide i(-6)?
False
Let u(i) = -i**3 + 19*i**2 - 27*i + 56. Let k be u(17). Let v = k - 139. Is v a multiple of 18?
True
Suppose 7*o - 5 = 16. Suppose o*s + 19 - 7 = 0, 0 = -a + 4*s + 64. Is 9 a factor of a?
False
Let l be 6/(-36) - 146/(-12). Suppose 0*r - 5*a - l = -4*r, -4*a - 9 = -3*r. Suppose -197 = -2*h - 5*q, 2*q - 7 = r. Is h a multiple of 19?
False
Let p(t) = 144*t. Let c be p(2). Let y = 984 + c. Is 19 a factor of (-1)/(-4) - y/(-32)?
False
Let k(l) = 3*l**2 + 3*l**2 - 7*l**2 + 3 - l - 8*l. Let z be k(-9). Is 8 a factor of 10/30 + 95/z?
True
Let h(u) = 749*u**2 - u + 1. Is 12 a factor of h(1)?
Fal