2?
False
Suppose -3*m = -m - 28. Let z = -12 + m. Suppose -4*a + 136 = -k + 5*k, -z*a = 4*k - 144. Does 19 divide k?
True
Let l(y) be the first derivative of y**4/12 - y**3/6 + 21*y**2/2 - 4*y - 3. Let u(r) be the first derivative of l(r). Does 21 divide u(0)?
True
Let i = 886 + -888. Let f(x) = -3*x**3 - 2*x - x**3 - 1 + x**3 - 2*x**2. Does 3 divide f(i)?
False
Let o(h) = -h**2 + 5*h - 3. Let s be o(3). Does 19 divide (3/(-3))/(s/(-57))?
True
Let f = -36 + 37. Does 8 divide 38 - 23 - (f - 2)?
True
Let z(k) = -524*k**3 + 5*k**2 + 10*k + 7. Does 13 divide z(-2)?
True
Does 121 divide 188/470*(6655 + 0)?
True
Suppose 2*x + 0*k - 4 = 4*k, 5*k - 1 = x. Suppose -2*o + 480 = 5*m, -3*m + 262 = -0*m - x*o. Does 25 divide m?
False
Let u be 0/(9/3) - 2. Let a(y) = y**3 + 4*y**2 - 3. Let r be a(u). Suppose 116 = 2*m + 4*s, -r*m = -m - 3*s - 188. Is m a multiple of 11?
False
Let g(q) be the first derivative of 11/2*q**2 + 1/3*q**3 + 1 - 12*q. Does 7 divide g(-13)?
True
Let q(a) = a**3 + 5*a**2 - 7*a - 3. Let s be q(-6). Suppose p = s*p - 74. Is 37 a factor of p?
True
Let v(u) be the first derivative of -16*u**2 + 22*u - 4. Does 38 divide v(-10)?
True
Let x(i) = -10*i + 14. Let z be x(22). Let y = -106 - z. Is 25 a factor of y?
True
Suppose -3*v = 0, 0*v = 5*t - 2*v + 155. Is t/(-3) + (-8)/24 a multiple of 3?
False
Let t be -3 - 1*(-4 + -1). Suppose -t*x + 5*x = 69. Does 20 divide x?
False
Is 13 a factor of 51*2*(8 + -4 + 0)?
False
Does 12 divide (-41 + -19)*(1 - (3 + -1))?
True
Suppose -88*t + 20281 + 66751 = 0. Is t a multiple of 25?
False
Let b = -1 + 2. Let h = -6 + b. Let d(q) = -2*q**3 - 6*q**2 - q. Is 35 a factor of d(h)?
True
Suppose 4*q + 8 = 0, 5*k - q - 3066 - 1861 = 0. Is k a multiple of 53?
False
Let h(t) = -2*t - 9. Let f be h(-5). Let y be (-1 + f)*(-12 - -13). Suppose y = 4*u - 296 + 68. Does 17 divide u?
False
Is (-1 - -11) + 277 + -17 a multiple of 2?
True
Suppose 2*d - 3*w - 59 = 0, 26 = 2*d + 2*w - 28. Let j = d - -40. Let t = j + -42. Does 26 divide t?
True
Suppose -14*g = -18*g - k + 537, -5*k + 120 = g. Is g a multiple of 63?
False
Let o(j) = 21*j - 21. Let p(w) = 20*w - 22. Let m(a) = -4*o(a) + 5*p(a). Does 41 divide m(7)?
False
Let s = 686 - 312. Does 11 divide s?
True
Is 14 a factor of (-35)/15*(-142 - (-3)/3)?
False
Let w be (-152)/28 - 3/(-7). Let t(b) = -b - 4. Let m be t(w). Is ((-1)/m)/(2/(-64)) a multiple of 8?
True
Suppose 2*m = -0 - 4. Let x be m - 60/(-2 - -6). Let q = x - -37. Does 10 divide q?
True
Let t = -36 - -96. Suppose b = 5*q + t, 3*q + 80 = 2*b + q. Is b a multiple of 7?
True
Suppose 0 = -52*o + 39*o + 1885. Does 29 divide o?
True
Does 89 divide ((-27)/5 - 1)*(-26 + -179)?
False
Is 17 a factor of (1 + (-1 - -17))/(222/4662)?
True
Let m(o) = -o**2 + 76*o - 209. Is m(63) a multiple of 29?
False
Let z(q) = 6 + 6*q - 7 + 0 + 9. Let v(j) = j**2 - 6*j + 4. Let l be v(6). Is z(l) a multiple of 17?
False
Let s(h) = -3*h**2 + 171. Does 19 divide s(0)?
True
Let j(s) = 10*s + 6*s**2 - 5*s + s**3 - 3 + 0*s**3 + 2*s**2. Let m be j(-7). Suppose -4*o = -p + 19, 3 + m = p - 5*o. Is p a multiple of 12?
False
Let y be (-12)/(-10)*80/(-24). Let g = 1 - y. Suppose o - 3*m = -8, -g*m + 0*m = 5*o - 60. Is 3 a factor of o?
False
Let r(t) = -80*t - 101. Is r(-5) a multiple of 23?
True
Let z(x) = -152*x - 28. Is 57 a factor of z(-3)?
False
Let b be (72/5)/(12/90). Suppose 2*t + 3*j - 67 = 0, 3*t + b = 6*t + 3*j. Suppose -5*y + 117 = 2*c, y + 0*c = 4*c + t. Is y a multiple of 5?
True
Let y(g) = -g**3 + 25*g**2 - 25*g + 12. Is 122 a factor of y(18)?
True
Suppose -4*v = 83 - 163. Is 2 a factor of (0 - -1)*v - (-34 - -37)?
False
Let m(q) be the second derivative of -q**8/672 + q**7/2520 + q**5/120 + q**4/3 - 9*q. Let n(c) be the third derivative of m(c). Is n(-2) a multiple of 22?
False
Suppose -871 = 5*c + 34. Let p = -69 - c. Does 16 divide p?
True
Is 19 a factor of (6 - -53)/(2/38)?
True
Let u(k) = 6*k**2 + 11*k - 14. Suppose -w - 4*w = 45. Let a be u(w). Suppose a = 5*c - n - n, -5*c = n - 376. Does 25 divide c?
True
Let g be 3/(-2)*(-12)/(-18). Let p be (39/(-12))/(g/12). Suppose -p = -5*k + 46. Is 17 a factor of k?
True
Suppose -43*d = -38286 + 2897. Is 16 a factor of d?
False
Let r(d) be the second derivative of 1/20*d**5 - 7*d + 1/3*d**3 + 0 + 0*d**2 + 1/12*d**4. Is 4 a factor of r(2)?
True
Let l(n) = 3*n**2 - 12*n + 2. Let k be l(4). Is (320/16)/(1/k) a multiple of 10?
True
Suppose 8*l + 588 = 29*l. Is l a multiple of 2?
True
Let t(m) = m**3 + 5*m**2 - m - 3. Let q be t(-5). Is 42 - ((-1 - q) + 1) a multiple of 11?
True
Let f = -304 - -180. Let x be 4*(-4 - f/(-16)). Let h = x + 67. Is 7 a factor of h?
False
Let n(k) = -4006*k + 45. Is 106 a factor of n(-1)?
False
Let q = 1151 + -232. Is 75 a factor of q?
False
Let u be (-50)/(7/((-42)/4)). Suppose 0 = 5*i - 2*i - u. Suppose -4*j - i = -9*j. Is 2 a factor of j?
False
Let d(k) = k**3 - k**2 - 5*k + 2. Let u be d(5). Suppose 3*r - u = 70. Let t = r - 29. Does 20 divide t?
True
Let v be 7/(21/12) + 1. Let n = v + 39. Does 22 divide n?
True
Suppose 0 = -5*a - 4 + 39. Let s = a - -10. Does 4 divide s?
False
Does 86 divide 5 - 5/(-3 - 3858/(-1287))?
True
Let j be (-2 + 12)/(0 + 2). Let c = 0 + j. Does 10 divide ((-2)/c)/((-5)/300)?
False
Suppose 0 = q - 4*q - 5*f - 14, -5 = 2*q - f. Is 12 a factor of (q/((-75)/(-580)))/(4/(-10))?
False
Let a(h) = -4*h**3 + 4*h**2 - 8*h - 20. Does 28 divide a(-3)?
False
Let z(k) = -k**3 - 9*k**2 - 36*k - 16. Is z(-9) a multiple of 26?
False
Suppose 4*w = 52 + 668. Is 18 a factor of w?
True
Let k(l) = -4*l + 2. Let j be k(3). Let g(u) = -7*u + 14. Is g(j) a multiple of 12?
True
Let v(z) = -z**2 - 12*z + 2. Let g be v(-12). Suppose 0 = g*m + 2*o - o - 65, 0 = 3*o + 3. Does 8 divide m?
False
Let b(r) = -24*r - 150. Let t be b(-6). Let d(i) = -3*i - 2. Let p be d(-6). Is ((-225)/t)/(12/p) a multiple of 13?
False
Let m be -1 + 0 + (0 - -3). Suppose m*j = -j + 5*x - 365, -2*x = -4*j - 510. Is j/(-4) + 5/(-10) a multiple of 17?
False
Let t be (-198)/(-3) - (-4 + 2). Suppose 4*w - 4 - t = 0. Let m = w + -6. Is 8 a factor of m?
False
Let f = 4 + -2. Let a = -4 - f. Let l(z) = -z + 6. Is l(a) a multiple of 12?
True
Suppose -3*g - 14 = -10*g. Suppose -u - 7*s + 23 = -2*s, 3*s = g*u - 46. Does 23 divide u?
True
Let l(j) = -5*j - 3. Let f be l(-1). Suppose 3*i - 79 = 2*a, 4*i + f*a - 105 = 5*a. Is 7 a factor of i?
False
Let m(q) = 2*q**3 - 5*q**2 + 4*q + 2. Let y(n) = 3*n**2 + 1. Suppose 0*b + 5 = -5*b. Let w be y(b). Is 22 a factor of m(w)?
True
Suppose -2*g - 1 = -7. Suppose -3*h = -5*f + 29, g*f - 5*h - 24 = 3. Suppose -9*q + 195 = -f*q. Is q a multiple of 13?
True
Suppose p = -4*m + 1657, 0 = 10*m - 11*m - 3*p + 406. Does 47 divide m?
False
Suppose 2*s + f = 980, 13*f - 500 = -s + 10*f. Is s a multiple of 38?
False
Let o = 9 - 20. Does 5 divide (o + -1)*(-5)/2?
True
Suppose -5*w + 19 = 4. Suppose -10 = -w*h - 1. Suppose -3*s - 3*p + 168 = 0, 0 = 5*p - h*p - 8. Is s a multiple of 26?
True
Does 45 divide (-5)/(5/(-844)) + -111 + 119?
False
Does 14 divide -12 - -9 - (-324 + -1)?
True
Let q(y) = -y**3 + 3*y**2 - y + 5. Suppose 3*r - 7 = 2. Let u be q(r). Suppose u*f = 5*f - 333. Does 37 divide f?
True
Let l(c) = 89*c**2 + c - 1. Let x be l(1). Let a = -14 + x. Suppose a = 4*o - 225. Is o a multiple of 15?
True
Let d(g) = -2 + 4*g**3 + 21*g - 10*g - 2*g**3 - 13*g**2 - 3*g**3. Is 12 a factor of d(-14)?
False
Let m be (1 - 0)*(105 - -4). Suppose -o + m = d, -4*o - o + 5*d = -545. Let i = 184 - o. Is i a multiple of 22?
False
Let o(g) = 15*g + 9. Let b be o(2). Suppose 0 = -9*w + 597 - b. Does 13 divide w?
False
Let f = -12 - -8. Let b = f - -9. Suppose 0 = -b*x - 2 - 3, -3*t + 19 = 5*x. Is t a multiple of 4?
True
Suppose 4*a - 19115 = -3*b - 5515, -a = 5*b - 3400. Is a a multiple of 34?
True
Suppose 0 = 4*q + 21 - 65. Is 11 a factor of q?
True
Suppose -t - 2*b = -0*t - 41, 41 = t - 4*b. Is 5 a factor of t?
False
Does 30 divide 1802/4 - ((-231)/22 + 11)?
True
Suppose 0*q + 4*q = -256. Let d be 1/3*-3 - q. Let k = d - 41. Is 11 a factor of k?
True
Let t = 67 + -39. Let p be (-6)/21 - (-988)/t. Let j = 75 - p. Does 14 divide j?
False
Let m = 142 + 272. Is 18 a factor of m?
True
Let c = 23 + 1. Suppose -b = b - c. Is b a multiple of 3?
True
Let z(c) = c + 14. Let k be (-