 Suppose -j = -3*x + j + 43, 0 = 5*x - 3*j - l. Is 5 a factor of x?
True
Let t = 139 - -118. Is 38 a factor of t?
False
Suppose 0 = -14*x + 358 - 78. Is x even?
True
Let h(f) = 8*f - 138. Does 6 divide h(33)?
True
Suppose -1952 = 3*l - 7*l. Is 12 a factor of l/(0 + 4) + 0?
False
Let b = 98 + -59. Suppose 77 = 4*w - b. Is 6 a factor of w?
False
Let v = 23 + -15. Suppose 3*u = u + v. Suppose 36 = 5*n - 4*r, -u*n + 3*r = -0*n - 28. Is n a multiple of 4?
True
Let r(a) = 90*a - 61. Is r(7) a multiple of 64?
False
Let x = -175 - -521. Is x a multiple of 14?
False
Let l = 37 + -100. Let z = l + 19. Let t = z + 159. Is t a multiple of 15?
False
Suppose -5 + 15 = y. Let g be y - (2/(-2))/(-1). Let x = g + 11. Is x a multiple of 11?
False
Let y = -363 + 495. Is 25 a factor of y?
False
Let h(d) = -d**3 - 7*d**2 - d + 9. Let o be h(-7). Let f be o/(-1 + 19/17). Is 18/(-27) + f/6 a multiple of 11?
True
Let s = -9 + 11. Suppose -d - 5*h = d + 19, -100 = 5*d + s*h. Let r = -11 - d. Does 9 divide r?
False
Let t(l) be the third derivative of l**6/15 + l**5/30 + l**4/24 - 2*l**2. Let z be t(-1). Is 31 a factor of (-2)/z + 1298/14?
True
Let a be 4/(-12)*-15 + -2 + -1. Suppose -a*t = -4*m - 384, -5*t + 389 + 547 = -2*m. Does 32 divide t?
False
Suppose -2*w - 2*k = w + 13, -2*w = 2*k + 10. Let u(z) = -7*z**2 + 3*z + 2. Let s be u(w). Let q = 125 + s. Is 22 a factor of q?
False
Suppose 31*b = 14*b + 22440. Does 22 divide b?
True
Suppose 4*j = 29*j - 1875. Is 3 a factor of j?
True
Let o(b) = 10*b + 343. Does 29 divide o(0)?
False
Suppose 740 = 4*y + 4*v, v - 970 = -5*y + 5*v. Does 10 divide y?
True
Suppose 40*c - 36*c = -100. Let v = 83 + c. Is v a multiple of 7?
False
Suppose -g + 4*g = 69. Suppose 2*t = 2*z + 8, -5*t - 3*z + g = -t. Suppose -m = -t*o + 91, 0 = -4*o + 7*m - 5*m + 74. Is o a multiple of 9?
True
Suppose -88*f + 216 = -85*f. Is 2 a factor of f?
True
Let v(z) = 51*z**2 + z + 23. Is v(5) a multiple of 35?
False
Suppose -4*y = -5*u + 2140, 2*y - 6*y = 4*u - 1748. Suppose -8*q + 0*q = -u. Is q a multiple of 9?
True
Suppose 0 = -2*w - 5*l - 27, 5*w + 3*l - 48 = -163. Suppose 0 = -2*t - 0*t - 4. Does 2 divide t - (w - -2)/4?
True
Suppose 25*y = 39649 - 4449. Is 60 a factor of y?
False
Does 36 divide 9 - 1 - (-245 - -1)?
True
Let p be 188 + (-5)/((-10)/(-4)). Suppose 5*b + 2*a - p = 0, -2*a + 0 - 4 = 0. Let h = b - 18. Is h a multiple of 10?
True
Suppose 450 = -5*i + 3*y + 1653, 4*y = 2*i - 484. Does 3 divide i?
True
Let a be (4 - (-8)/(-2))/(-3). Suppose 0 - 15 = 5*u. Does 11 divide 32/u*(-3 - a)?
False
Let u(t) = -t**2 - t. Let m be u(0). Suppose -z - 1 + 4 = m. Is 7 a factor of z/((9/(-21))/(-3))?
True
Suppose 11*x = 9*x + 50. Let i be 10/(-15) - (-8)/3. Suppose 0 = -5*u - x, 4*f = -3*u + i*u + 179. Is 23 a factor of f?
True
Let r(s) = 4*s**2 - 48*s + 129. Let b(a) = -a**2 + 12*a - 32. Let l(h) = 9*b(h) + 2*r(h). Is l(7) a multiple of 4?
False
Let f(w) = 3*w**3 - 6*w**2 - 9*w + 9. Is 3 a factor of f(5)?
True
Let o(p) = -p**2 + 6*p. Let r be o(6). Let q(m) = -10*m - 11 + r + 8*m. Does 3 divide q(-10)?
True
Let p be 2*9*(-2)/4. Let j(s) = 11*s**2 - 12*s + 5. Let d be j(p). Is (-2)/(-14) - d/(-28) a multiple of 12?
True
Suppose -64 = 4*c + 20. Let q be c/14 + (-7)/(-2). Suppose 5*j - 51 = q*j. Is 14 a factor of j?
False
Suppose 0*s = -4*s - 2*d + 14, 5*d + 15 = 0. Suppose -s*z + 54 = -4*z. Is 22 a factor of z?
False
Let m = -746 + 1098. Is m a multiple of 17?
False
Suppose 7*i = 5*i. Suppose i = -7*j + 38 - 3. Let c(u) = 2*u**3 - 7*u**2 + 6*u - 1. Does 13 divide c(j)?
True
Suppose -3*y = -4*y + 72. Let l = y - 121. Does 11 divide (-525)/l + 2/7?
True
Suppose -2*a = -a - 5. Suppose 59 = -0*p + p - a*o, -5*o - 137 = -3*p. Is p a multiple of 13?
True
Let n be -3 + 5 - 1 - -117. Suppose -m - n = -3*m. Suppose w + 3*y - 29 = 0, -2*w + 2*y = -5*w + m. Is w a multiple of 11?
False
Let l(x) be the third derivative of -1/20*x**5 - 2*x**2 - 1/120*x**6 - 7/6*x**3 + 5/24*x**4 + 0*x + 0. Is 14 a factor of l(-5)?
False
Let k = 90 + -85. Suppose -z + 186 = 5*m, k*m = 5*z - 3*z - 342. Is 26 a factor of z?
False
Is (36/(-126))/((-4)/7)*622 a multiple of 52?
False
Let v(s) be the second derivative of s**6/120 + s**5/20 - 3*s**4/4 - 5*s. Let h(j) be the third derivative of v(j). Does 6 divide h(2)?
True
Let c be 5/((-15)/(-99)) - 3. Suppose 5*t - 29 = -4. Does 9 divide t/((-15)/(-4))*c?
False
Let y = 22 - 39. Let m be 12/(-1)*1*-2. Let v = y + m. Does 7 divide v?
True
Suppose -129 = 2*s - 475. Let g = -121 + s. Is 3 a factor of (-8)/(-24) + g/6?
True
Let q(g) = 90*g + 270. Let o(i) = 9*i + 27. Let z(h) = -21*o(h) + 2*q(h). Does 9 divide z(-12)?
True
Let a = 6 - 17. Let f = 13 + a. Suppose 0 = -f*i + i + 14. Does 7 divide i?
True
Suppose -x - 24 = -3*x. Suppose 0 = -q + 5*q - x. Is 4 a factor of 18 - (1 + (q - 2))?
True
Let z be ((-16)/(-6))/((-6)/(-18)). Let a(v) = -5*v**2 - 12*v + 6. Let n(k) = -4*k**2 - 12*k + 7. Let r(f) = 5*a(f) - 6*n(f). Is r(z) a multiple of 9?
False
Suppose -3*g - 4 = -g. Let l(y) = -4*y**3 + 2*y**2 + 3*y + 1. Let o be l(g). Suppose -3*i = 2*d - 29, 3*i + 4 = -4*d + o. Does 4 divide i?
False
Suppose 80*j = -28737 + 391617. Is 162 a factor of j?
True
Let b = 625 + -585. Is 4 a factor of b?
True
Let w = -59 - -77. Let f = 153 - w. Does 28 divide f?
False
Suppose -3 = -4*t + 9. Suppose t*v = -2*v + 20. Suppose 0*x = -v*x + 204. Does 17 divide x?
True
Suppose -j + 446 = j. Is 23 a factor of j?
False
Let o = 681 - 375. Is o a multiple of 2?
True
Suppose 5*c = -5*u + 7025, 4*u = -85*c + 80*c + 5622. Is 61 a factor of u?
True
Let y(g) = -g**2 - 8*g - 1. Let s = -34 + 27. Let w be y(s). Suppose -21 = -3*m + w. Does 3 divide m?
True
Let g = 0 + 3. Suppose -m - g = -4. Is 7 a factor of m*(30 - 5/5)?
False
Suppose -6*z = -687 + 3. Is z a multiple of 6?
True
Suppose -173 + 52 = -p. Let j = 27 + -88. Let s = j + p. Does 16 divide s?
False
Suppose 0 = -5*t - 11 - 4. Let k = t - -8. Suppose k*b - 52 = b. Is 13 a factor of b?
True
Let w(o) = o**3 - 11*o**2 + 6*o + 1. Let q be (-476)/(-44) - (-6)/33. Is 11 a factor of w(q)?
False
Suppose 5*h = 3*v + 22, -2*v + 23 = 4*h + v. Suppose 0 = h*j - 7*j + 4. Suppose 0 = -4*b - 2*x + 280, 3*x + 200 = 3*b + j*x. Is 14 a factor of b?
False
Let t(b) = -3*b - 20. Let q be t(-9). Let u(w) = 9*w - 5 - 5 + 3*w + 2. Is u(q) a multiple of 23?
False
Let o(f) be the first derivative of -57*f**4/4 - f**2/2 - 7. Let d be o(1). Let g = d + 108. Is g a multiple of 14?
False
Suppose 4*x + 20 = 0, -5*f - 2*x = 2*x - 3015. Is 19 a factor of f?
False
Let l(g) be the second derivative of -g**4/12 + 17*g**3/6 + 4*g**2 - 23*g. Is l(8) a multiple of 16?
True
Suppose 205 = 4*d - 131. Let i = d - 16. Does 17 divide i?
True
Suppose 90*j - 17354 - 74536 = 0. Is 7 a factor of j?
False
Let j = 4 + -2. Suppose -j*z = 5*r + 2*z - 103, 0 = 3*r + z - 66. Is r a multiple of 11?
False
Let v = -71 + 15. Let x = -313 - -447. Let m = x + v. Is 26 a factor of m?
True
Suppose -23*i + 2453 = -7483. Does 16 divide i?
True
Suppose -2*w = -4*h - 240, -564 + 75 = -4*w - h. Let j = w - 79. Does 16 divide j?
False
Suppose 377 = 4*t - 163. Is t a multiple of 27?
True
Let w = 61 + -10. Let k = w - 30. Is k a multiple of 7?
True
Let o = -23 - -26. Suppose 0 = -o*h + 3 + 3. Suppose 0 = 3*a + h - 14. Is a a multiple of 4?
True
Let y(k) = 14*k - 10. Let c be y(10). Is 13 a factor of 0 - 6/((-12)/c)?
True
Suppose 4 = -5*w - c, -w = -0*w + 5*c - 4. Is 9 a factor of (w + 4)*(-3 - -6)?
True
Let k(v) = -70*v + 43. Is k(-35) a multiple of 9?
True
Suppose -3*h + 16 = 10. Suppose -h*l - 2*t + 28 = 0, -31 = -8*l + 4*l + t. Is l a multiple of 2?
False
Suppose 0 = 5*z + 10, 2*z - 245 = -j - 2*j. Is 12 a factor of j?
False
Let w(m) = 4*m + 2 - 17*m - 1 - 10*m - 14*m. Suppose -5*k + 16 = 4*d - d, d - 7 = -2*k. Is w(d) a multiple of 28?
True
Let b = -115 + 200. Let g(d) = 4*d**3 + 2*d**2 + 3*d - 3. Let t be g(2). Let s = b - t. Does 14 divide s?
True
Suppose 3*x = 3*s + s - 731, 2*x + 2 = 0. Does 41 divide s?
False
Let x = -403 - -1019. Is 28 a factor of x?
True
Let w(i) = 2*i**3 + 29*i**2 - 17*i + 15. Let f be w(-15). Suppose -421 = -5*j + 2*u, -5*u = j - f - 23. Is 35 a factor of j?
False
Suppose 3*t - 4*q - 354 = 0, -3*q = t + q - 134. Let s = t - 79. Is s a multiple of 41?
False
Does 1