2?
True
Suppose -3*n + 4*x + 29 = 0, x = -n + 8 - 3. Suppose 0 = n*c - 12*c + 195. Is c even?
False
Is 0/(-2 + 8) - -92 a multiple of 23?
True
Suppose -20 = 7*b - 3*b. Let d(g) = -9*g + 33. Let m(y) = -2*y + 8. Let o(i) = 5*d(i) - 21*m(i). Does 4 divide o(b)?
True
Suppose -5*s = 5*c - 25, c = -3*c + 3*s + 34. Suppose 3*y - 47 = -4*o, 4*o = o - 2*y + 34. Does 15 divide 118/o*(c - 3)?
False
Suppose 3*z + 3*l = 972, -2*l = -z + 4*z - 973. Does 13 divide z?
True
Let s be 5 - 2 - (5 - -2). Let y = 23 + s. Let l = y - -26. Is l a multiple of 17?
False
Let o = -683 - -1787. Is 69 a factor of o?
True
Suppose 858 = 9*x - 6855. Is 15 a factor of x?
False
Let z = 10 + -8. Suppose 0 = -4*n - m - 2, 6*m + 8 = n + z*m. Let b(w) = -w**2 - w + 7. Is 3 a factor of b(n)?
False
Suppose -4*b + 3*j = -60, -3*b + 0*b + 4*j = -52. Let s = 3 + -1. Suppose -b = -t + x + 8, 24 = t - s*x. Is 15 a factor of t?
False
Is 19 a factor of -6 + ((-4)/(-18) - 78584/(-99))?
False
Let b(y) = 22*y + 59. Let m be b(10). Let p(j) = -j**3 - 8*j**2 + j + 11. Let k be p(-8). Suppose m = k*r + 3*v, 51 + 42 = r - v. Is 21 a factor of r?
False
Let a(m) = 2*m**3 + 38*m**2 + 15*m + 19. Is a(-9) a multiple of 47?
True
Let q(d) = 5*d**2 - 13*d - 47. Does 25 divide q(-9)?
True
Let b = -2669 + 1376. Is 17 a factor of b/(-9) + (-4)/(-12)?
False
Let x = 9 + -6. Suppose 4*y - 3*y + 2*k - 37 = 0, y = -x*k + 39. Does 7 divide y?
False
Let r = 10 - 7. Let p = 5 + 1. Suppose p*s - r*s = 108. Does 12 divide s?
True
Let m = 2 - -18. Let y(x) = -x**3 - 7*x**2 + 9*x + 12. Let g be y(-8). Suppose 2*b = 4*o + m, b + o - 17 = -g*b. Does 4 divide b?
True
Does 25 divide (-15222)/(-15) + (-41)/(-205)?
False
Suppose 0 = -6*i - i. Suppose i = -5*u - z + 427, -u - 3*z - 10 = -87. Does 12 divide u?
False
Let x(n) = -37*n + 16. Is x(-2) a multiple of 10?
True
Does 13 divide (0 + 24)*(-1092)/(-56)?
True
Let c = 15 - 15. Suppose 0 = 5*v + 2*l + 2, v + 4*l + 4 = -c*v. Is 1 + v + 60/3 a multiple of 10?
False
Let d(y) = -y**3 - 2*y**2 - 2*y - 26. Let o be d(-6). Let v = 280 - o. Does 30 divide v?
True
Let g = -5 + 100. Let c = 141 - g. Suppose 0 = -4*p + 3*f + 64, 2*p + f = -f + c. Is 5 a factor of p?
False
Suppose -3*p + 3306 = -9*p. Let j = p - -783. Is j a multiple of 12?
False
Suppose 4*p - 3*v = -468 - 587, -4*p = v + 1051. Let z = p + 87. Is 4 a factor of (z/(-55))/(2/5)?
True
Let p = 261 + -232. Does 3 divide p?
False
Suppose -642*g = -655*g + 6591. Does 89 divide g?
False
Suppose 2*o - 35 = -3*o. Let j be (1 - 0)*119/o. Let u = -1 + j. Is u a multiple of 2?
True
Is 5 a factor of (75/(-3))/(((-6)/(-2))/(-30))?
True
Suppose 0 = 3*r - 4 + 7, -r = -b - 9. Let a = b + 65. Does 30 divide a?
False
Let b = 33 + 3. Suppose -2*v + 4*o + 72 + b = 0, -216 = -4*v - 3*o. Does 8 divide v?
False
Suppose 15*l - 14575 = 18830. Is l a multiple of 44?
False
Suppose -5*f = 130 + 230. Let t(s) = -s**2 - 10*s. Let h be t(-9). Is 12 a factor of (f/(-14))/(h/63)?
True
Let w = 44 - 13. Suppose 131 = 2*h + w. Suppose 3*p - 2*p = h. Is 25 a factor of p?
True
Let f = -118 + 118. Suppose -3*r - 4*w - w + 116 = f, r - 36 = w. Is 26 a factor of r?
False
Suppose c - 4*k = 6, 3*k = -0 - 6. Let j(z) = -285*z**2 - 45*z - 45. Let v(a) = -13*a**2 - 2*a - 2. Let f(x) = 2*j(x) - 45*v(x). Is f(c) a multiple of 14?
False
Let i = -66 + 70. Suppose i*g = 2*g + 36. Is g a multiple of 3?
True
Let b be (0/(-6 + 1))/1. Suppose b*n = -n + 77. Is 11 a factor of n?
True
Let n(y) = 2*y**2 + 6*y + 6. Let u be n(-5). Suppose 2*a - 40 = u. Suppose 4*q + 13 - a = 0. Is 3 a factor of q?
False
Let w(r) = r**2 - 3*r - 40. Is w(-14) a multiple of 57?
False
Suppose r + 45 = 5*g, -3*g + 6*r + 27 = 2*r. Is 124 + (-3)/g + (-6)/9 a multiple of 41?
True
Let r(x) be the second derivative of -x**3 - 6*x. Does 13 divide r(-4)?
False
Let o(f) = -f**3 + 8*f**2 + 4*f - 4. Let h be o(8). Suppose -5*q + q + 4*d = -h, 3*q = 5*d + 29. Suppose -g + 3*s + 3 = 1, -q*g = -s - 6. Is g a multiple of 2?
True
Let n(k) = -16*k**3 + 2*k**2 + 6*k + 6. Let v be n(-2). Does 13 divide 6/4*2 + v - 4?
False
Suppose 3*y - 22 = -7. Let o(q) = 19*q + 1. Does 28 divide o(y)?
False
Let o(j) be the third derivative of j**5/60 - 5*j**4/12 + j**3/2 - 4*j**2. Let f be o(8). Let x = 21 + f. Is 4 a factor of x?
True
Does 14 divide 200/(-30)*(3180/(-8))/5?
False
Let f(w) be the first derivative of -7*w**2/2 - 14*w + 21. Let k be 2/3 - (-46)/(-6). Is 20 a factor of f(k)?
False
Suppose -42*m + 37*m = 850. Let k = m + 298. Does 32 divide k?
True
Let d = 788 - 759. Is 7 a factor of d?
False
Let m = -502 + 903. Let x = m - 257. Is x a multiple of 14?
False
Suppose 2*d + 0 = 2. Let u = 2 + d. Suppose -u*n + 250 = 2*n. Does 25 divide n?
True
Let c = 602 + -361. Does 33 divide c?
False
Let u = -37 - -39. Suppose -u*t = -46 - 208. Is t a multiple of 24?
False
Let o(y) = -y**2 - 9*y - 5. Let l be o(-8). Let p(z) = -2*z**2 + 4 - l*z**2 + 6*z**2 - 3. Does 4 divide p(-2)?
False
Let d = -28 + 183. Is 27 a factor of d?
False
Let s(g) = g - 1. Let t be s(-5). Does 11 divide (33/t*6)/((-6)/4)?
True
Let b(c) be the third derivative of -23*c**4/24 - c**3/6 - c**2. Suppose 4*g + 10 + 2 = -2*u, 2*g = -3*u - 10. Is 15 a factor of b(u)?
True
Let a(c) = 144*c - 14. Is 17 a factor of a(2)?
False
Is 63 a factor of 12/(-2)*(-4 + 1172/(-12))?
False
Let v be 1 + -2 + (-1 - 1). Does 39 divide v/(3/(-119)) - (13 - 11)?
True
Let h be (21/(-14))/((-1)/2). Suppose 5*i - h*r = r + 135, 0 = -4*r. Let z = -10 + i. Is z a multiple of 5?
False
Suppose 2 = -4*z - 2. Let p be 3/(-6)*10*z. Suppose -1 = h - p*w, 4*h + 3*w - 79 = -h. Does 6 divide h?
False
Let x = -3 - -2. Let m(g) = -2*g**3 + 6*g**2 + 2*g - 6. Let j(h) = -h**2 + h. Let q(v) = x*m(v) - 2*j(v). Is q(4) a multiple of 27?
True
Suppose 4*r - 8 = -0*r. Suppose 0*q - 9 = -3*q, 0 = -r*k + 3*q + 67. Is 22 a factor of k?
False
Let d(p) = -p**2 + 2*p + 7. Let i be d(4). Let m(t) = 6*t**2 - t - 1. Let q be m(i). Does 7 divide (-2)/(-4) - (-159)/q?
False
Let n be (-8)/(-6)*(-1062)/12. Is 20 a factor of n/4*-3 - (-12)/24?
False
Let l be 1/(-4 + (-45)/(-10)). Suppose -5 = -a + 2*p, -p - 5 = -0*a - 3*a. Is 35/a*l/5 a multiple of 3?
False
Does 4 divide (-160)/(-30)*(-93)/(-4)?
True
Suppose 2*o + 2*b + b - 25 = 0, 15 = 2*o + b. Suppose -2*y - 313 = -5*y + 2*z, o*y + 2*z = 543. Does 11 divide y?
False
Let a = -150 + 66. Let s = a + 170. Is s/10 - 4/(-10) a multiple of 7?
False
Let k(u) = 2*u**2 + 4*u - 2. Is k(4) a multiple of 2?
True
Suppose -5*n - 11 + 1 = 0. Does 26 divide (-3)/(-6) + (-75)/n?
False
Suppose -1516 = -11*n + 6*n - 4*p, -2*n + 2*p + 592 = 0. Is n a multiple of 11?
False
Let j(i) = 140*i + 5. Let a be j(-1). Does 20 divide ((-90)/a)/((-1)/(59*-3))?
False
Let t = -152 - -53. Does 10 divide (4 + t/6)*-4?
True
Is 3 a factor of -1461*5/(-15) - -10?
False
Suppose 2161 + 1511 = 9*a. Does 4 divide a?
True
Suppose 0 = -9*f + 1011 + 2256. Is f a multiple of 33?
True
Suppose 0 = 26*u + 11*u - 2960. Is 8 a factor of u?
True
Let b = 12 + -10. Suppose -4*h + 437 = -b*h + w, -w + 221 = h. Is h a multiple of 37?
False
Suppose 0 = -263*h + 269*h - 5658. Is h a multiple of 41?
True
Let a = 78 - -115. Is 3 a factor of a?
False
Let p be 6*(5/(-2)*1 + 3). Suppose 2*f = 3*z - 574, -p*f + 4 = f. Is 16 a factor of z?
True
Suppose 0 = 5*i - 4*i + 6. Let v be ((-664)/(-12))/((-4)/i). Suppose 3*a - x = v, 4*a = -4*x + 2*x + 104. Is 8 a factor of a?
False
Let n(a) = a**3 + 18*a**2 - 25*a - 8. Suppose 3*m - 4*z + 61 = 0, -2*m = -2*z + 53 - 13. Is n(m) a multiple of 28?
False
Let o be -3 - (-7 + 0 + -3). Suppose 0 = 2*j - o*j + 5. Suppose -5*t + 39 = -j. Is 3 a factor of t?
False
Let r(f) be the second derivative of f**4/12 - 2*f**3/3 - 4*f**2 + 4*f. Is 12 a factor of r(8)?
True
Let s(w) = w - 10. Let r be s(13). Suppose r*k = 4 + 2. Suppose -11 = -2*h + k*b + 11, 3 = -3*b. Is h a multiple of 10?
True
Suppose 0 = -0*h - 3*h + 228. Suppose -6*c + 1224 = 28*c. Suppose -h = -3*a - 2*g, 5*g = -a - a + c. Is 11 a factor of a?
False
Let v be (-123)/6*(-4 + -2). Suppose -5*x = -2*w - 0*x + 8, 5*w = 2*x + 20. Suppose -v = w*m - 347. Is 13 a factor of m?
False
Suppose 0 = -7*k + 10*k - 675. Is 15 a factor of k?
True
Let x(v) = v**3 - 11*v**2 - v + 11. Let h be x(11). Suppose h = b - 3*o - 145, -290 = -2*b + o - 3*o. Is 8 a fa