ultiple of 57?
True
Is (400/(-40))/((-8)/7776) a multiple of 14?
False
Suppose -12 = 2*w - 2*b, 9 = -w - b + 11. Let f(y) = y**3 - y**2 + y - 13. Let o be f(0). Is 27 a factor of (-2351)/o + w/(-13)?
False
Let o(s) = -s**3 + 7*s**2 - 21*s + 2. Let b(u) = 3*u - 1. Let r(v) = -4*b(v) - o(v). Suppose 0*g - g = -6. Does 3 divide r(g)?
False
Let g(y) = 1773*y + 12011. Does 5 divide g(4)?
False
Let c = -10554 - -37029. Is 25 a factor of c?
True
Let z = -1399 + 3709. Suppose -z = -5*m + k, 0*m - 2*k = 2*m - 912. Is m a multiple of 38?
False
Is 7/77*121 - -30443 a multiple of 11?
False
Does 29 divide 8/4 - (0 + 0) - (-4287 - -6)?
False
Let j(r) = -3*r**2 - r + 4. Let k be j(-7). Let w = k + 169. Does 3 divide w?
True
Suppose -5*l = 5*j - 10*l - 6810, -4085 = -3*j + 2*l. Suppose -j = 13*v - 3467. Does 6 divide v?
True
Let s(m) = -m**3 - 5*m**2 + 11*m - 17. Let h be s(-7). Suppose 3*i + 223 = h*u, -4*u + 144 = i - 59. Is u a multiple of 13?
True
Suppose 3036 = 6*i - 474. Let p = 291 - i. Is 33 a factor of (6/3 + 0)*p/(-4)?
False
Suppose -4*p - 55 = w, -15*p - 60 = -12*p - 3*w. Let v(c) = -c**2 - 24*c + 96. Is 21 a factor of v(p)?
True
Does 22 divide 12/14 + -1 - (-6 - 789400/70)?
False
Is -9 + (-155769)/(-11) + 4*1/22 a multiple of 128?
False
Suppose 6*k - 149 - 373 = 0. Let v = k + 47. Let m = 146 - v. Is m a multiple of 6?
True
Let y = 51 - 87. Let p = 56 + y. Is (-9)/15 - (-472)/p a multiple of 3?
False
Let f be (-863)/(-7) - (-12)/294*-7. Suppose -7*v + 5*v + 2*d + 234 = 0, d = -v + f. Is 6 a factor of v?
True
Suppose 4242556 = -281*i + 25399671 - 1933624. Is i a multiple of 14?
False
Let m(p) = -63*p - 46. Let u be m(-5). Let g = 351 - u. Does 12 divide g?
False
Is (-2734212)/(-153) - 5/15*-1 a multiple of 23?
True
Let i(p) = 4*p**3 - 3*p + 2. Let x be i(1). Suppose 2*o + 5*u - 706 = 0, 1394 = x*o + o + u. Is o a multiple of 29?
True
Suppose 5*y = 0, 3*d + d = -4*y + 20. Suppose h - 74 + 12 = -5*c, 0 = -d*c + 20. Suppose 0 = -z + 3*z - h. Is 12 a factor of z?
False
Let i = 1800 - -5445. Is 35 a factor of i?
True
Suppose -2*h + 2*l + 68 = -0*h, 5*h - 166 = 4*l. Suppose -24 - h = -3*r. Suppose 0 = -r*p + 19*p - 199. Does 29 divide p?
False
Suppose 12*b + 25*b = 498316. Does 148 divide b?
True
Suppose 80 = 59*l - 51*l. Suppose l*p - 11*p + 76 = 0. Is p a multiple of 76?
True
Let x = 4906 + -3892. Is x a multiple of 39?
True
Let w be ((-3)/(-2))/(3/(-7180)*5). Let f = 1378 + w. Is 12 a factor of f?
True
Let f(m) = -23*m + 3. Let d be f(-2). Suppose 41*c = d*c - 632. Is 2 a factor of c?
False
Let o(n) = 5*n**2 - 13*n - 34. Is o(17) a multiple of 10?
True
Let i(c) = 8*c**2 + 25*c - 4. Let y(a) = a**2 - 1. Let q(s) = -i(s) + 6*y(s). Let v be q(-6). Let u = -56 + v. Is 3 a factor of u?
False
Let q be (22/3)/(70/1260). Suppose -12*r + q = -4620. Is r a multiple of 9?
True
Is 18 a factor of 10160 - -49 - (-10 - 3)?
False
Suppose -64*b + 59*b + 75 = 0. Let z(x) = x + 68. Does 4 divide z(b)?
False
Let c(t) = -t**3 + t**2 - t + 10179. Is c(0) a multiple of 9?
True
Let y(g) = -g**3 + 2*g**2 + g. Let v be y(0). Suppose -2*h - 55 = -5*t - v*h, 0 = 2*h + 10. Is 3 a factor of (-14)/(-2)*(-6)/(-63)*t?
True
Suppose 4*r + 0*r - 12 = 0. Let k(s) = -s**3 + 4*s**2 - 3*s + 4. Let b be k(r). Suppose -292 = -2*m - 4*j, 0 = -b*m + j + j + 604. Does 29 divide m?
False
Suppose -3*k - 237*p + 240*p + 99000 = 0, -k - 5*p = -33036. Is k a multiple of 71?
False
Let r(y) = 2*y**2 + 28*y + 181. Let u be r(-14). Suppose -2*b = 2*w - 3*b + 133, b + 350 = -5*w. Let h = u + w. Does 24 divide h?
False
Let d(k) = k**3 + 61*k**2 + 74*k - 1016. Is 125 a factor of d(-58)?
False
Suppose -126*d - 14261 = -139*d. Does 21 divide d?
False
Suppose 0 = -5*u + 2*v + 27, 2*u + 4*v = 5 + 1. Let x(r) = -2 - 8 + 7 - r**3 - 6 + 6*r**2 + 0*r - r. Is x(u) even?
False
Suppose -2*n - 96 = -o, 2*o = 4*o + 2*n - 198. Let h be (-9)/126*-105*(1 - 190/(-6)). Suppose -h + o = -3*u. Does 6 divide u?
False
Suppose k = -0*k + 4*i + 13, 14 = 2*k - 4*i. Let o be (-7518)/8 + k - 5/20. Does 38 divide (-3)/((-3747)/o - 4)?
False
Let o(p) = p + 17. Let s be o(-4). Suppose s*x - 6498 = -1519. Is 38 a factor of x?
False
Suppose 0 = -2*k + 4, -4*m + 2 + 4 = 5*k. Let t be (100/(-6))/(m/36). Suppose h - t = -4*h. Is h a multiple of 20?
True
Suppose 0 = 53*m + 27*m - 83040. Does 102 divide m?
False
Let z(s) be the second derivative of -1/3*s**3 - 11*s + 1/20*s**5 + 0 + 1/3*s**4 - s**2. Does 2 divide z(2)?
True
Let m = 423 - 429. Let q(f) = -11*f + 172. Is 7 a factor of q(m)?
True
Suppose -4*p + 13 = -3. Suppose 2*i - 10 = p*i. Does 17 divide ((-2)/i)/(6/510)?
True
Let i = 106 - 440. Let o = i + 200. Let g = -50 - o. Is g a multiple of 21?
True
Let s(w) = 480*w - 5502. Does 58 divide s(72)?
True
Let n(r) be the second derivative of -151*r**3/6 - 22*r**2 - r + 83. Is n(-4) a multiple of 16?
True
Let i be (3 + (-25)/10)*0 + 4. Suppose 0 = -4*c + 12, i*o - 4*c - 516 = -8*c. Is 10 a factor of o?
False
Suppose -b + 4305 = 3*d, -1808 = -5*d - 2*b + 5369. Is 13 a factor of d?
False
Let j be (-2 - -4)/((-7)/1589). Let p = -300 - j. Is 22 a factor of p?
True
Suppose 79*w - 77*w - 37768 = -4*a, -4*w + 75546 = -2*a. Does 71 divide w?
True
Let j(t) = -t**3 + 54*t**2 + 37*t + 914. Does 25 divide j(45)?
False
Let q be (-6)/(-21) - (-2042)/7. Suppose -3*p + 38 + 192 = -5*v, -4*p + 3*v = -q. Is p a multiple of 5?
True
Let s = 0 - -1696. Is 59 a factor of s?
False
Let r(o) = -o**3 + 22*o**2 + 4. Let y be r(22). Suppose 2*c + 3*i = 4*i + 82, y*i = 3*c - 123. Let x = c - -41. Is x a multiple of 3?
False
Suppose -3904 = 19*g - 11314. Suppose -u + 8*v - 5*v = -g, 2*v = -3*u + 1192. Is 9 a factor of u?
True
Let o be (0/1)/(-4 - -6). Suppose o = -15*t + 10*t + 970. Does 44 divide t?
False
Let s = -280 + 98. Is (-2 + 4)*s*(4 - 5) a multiple of 14?
True
Let t(p) = p**3 - 19*p**2 + 19*p - 16. Let q be t(18). Suppose -483 + 1247 = -2*g - 2*i, -q*i - 377 = g. Does 43 divide 1/((3/g)/(-1))?
True
Let z be (69/36 + (-11)/66)*-4. Is 12 a factor of (3*(-1)/(-6))/(z/(-8722))?
False
Suppose -9*h + 21 = -4*h + 4*b, 5*h - b = 26. Suppose -h*n + 60 = p, -2*p + 2*n + 96 = -0*n. Let u = p + 49. Is u a multiple of 11?
True
Let m(j) be the first derivative of -12*j**2 + 53*j - 128. Is m(-18) a multiple of 21?
False
Let n be (-4 - -8)*(10/6)/((-10)/(-390)). Let x = -2 + 4. Suppose -3*k - 2*k + x*g + 668 = 0, g - n = -2*k. Is 22 a factor of k?
True
Suppose -6*w = -133 + 79. Let l = -1903 + 127. Does 10 divide (-6)/(-9) - (l/w)/4?
True
Let g(q) be the second derivative of q**3/2 + 2*q**2 + 22*q + 2. Let u be (-15)/(-9) + 2/(-3). Is 7 a factor of g(u)?
True
Suppose 16*l - 5*l = 891. Let g = l + 87. Does 12 divide g?
True
Is (7 + 2 + 4996/(-4))*-2 a multiple of 5?
True
Let r = -473 - -471. Is 30 a factor of (-3)/(-3) + r + 764?
False
Let i(u) = -u**3 + 3*u**2 + 23*u - 20. Let w be i(7). Does 19 divide -1 + w/(-65) - (-15211)/91?
False
Let n = 8033 - 7907. Does 3 divide n?
True
Is (1896/(-14))/(11*(-22)/1694) a multiple of 12?
True
Let y be 648/(-60)*((-4)/3 - 2). Let t be (-2)/y*4*-9. Suppose -2*g - 3*g + 260 = 5*v, t*v + 49 = g. Is 5 a factor of g?
False
Let l(y) = -y**2 + 125*y - 270. Is l(52) a multiple of 48?
False
Let k = 1705 + -867. Suppose -1194*g + 1195*g = k. Is g a multiple of 34?
False
Suppose -3*p = -2*b - 2*b + 346, 4*b = -3*p + 334. Suppose -3*c = -b + 4. Let y = c - -56. Is 9 a factor of y?
False
Suppose 13*w + 696 = 16*w. Suppose -3*n + 223 = 2*j - 1, -2*j + w = -n. Does 13 divide j?
False
Suppose 0 = 16*i - 201 - 7. Suppose -i*n + 7159 = -4788. Is n a multiple of 6?
False
Let o = -154 - -156. Is 20 a factor of ((-640)/(-24))/(o/15)?
True
Let y = 54 + -58. Let d = y - -26. Is (-4 + -9 + 6)*(-1 - d) a multiple of 43?
False
Suppose -354*a - 947139 = -1764118 - 1625621. Is a a multiple of 8?
False
Is 36 a factor of 13320/74*(-2)/(-3)*87?
True
Suppose -3*d + 10 = 1, -4*x + 5*d = 7. Let j(c) = 5 + c**3 - x*c**2 - 5*c - c + 8*c. Is j(4) a multiple of 15?
True
Does 28 divide 24/(-22) + 6242944/1496?
True
Let j(c) = 3*c**2 + 2*c - 3. Suppose y - 5*v + 23 = 0, -6*v + 5 = -5*v. Let w be j(y). Suppose w = 2*i - 35. Is i a multiple of 12?
True
Suppose -n + 10 = n. Let z(s) = 3 - 7*s + 3*s + 8*s - n*s. Does 14 divide z(-16)?
False
Suppose 0 = -4*w - 0*u - 5*u - 2039, 