1203 = -497, -s*w - 3*m + 1695 = 0. Is 35 a factor of w?
True
Let c(l) = 10*l**2 - 4*l + 6. Suppose -4*t + 3*a + 21 = 0, -t - 5*a + 0 + 11 = 0. Suppose 0 = -t*p - 2*p + 32. Is c(p) a multiple of 30?
True
Let g(n) = n**3 + 3*n**3 - 18 - 2*n**3 - n**2 + 2*n + 3*n**3. Is g(4) a multiple of 15?
False
Let d(k) = k**3 + 6*k**2 + 4*k - 4. Let q be (0 + -1)*(5 - 9). Let w be (-2 - (2 - 0))*(-3 + q). Is d(w) even?
True
Suppose -10 = 5*w, -y = w + 3 + 11. Let b = 18 - y. Suppose -2*j + 116 = b. Is 7 a factor of j?
False
Suppose 518 = -5*t + 4328. Let q = t - 273. Is 10 a factor of q?
False
Let f(g) = 20*g - 49. Let p be f(-10). Let z = -17 - -12. Is 14 a factor of p/(-2)*(2 - 5 - z)?
False
Does 43 divide (-1 + 30832)*(8 - 184/24)?
True
Let s be ((-5)/2)/5 - 1917/(-54). Let v = s - -37. Is v a multiple of 6?
True
Let a be (-1*(2 + 1))/(24/(-56)). Suppose 0 = -3*o - a*o - 1050. Is 3 a factor of ((-2)/3)/(10/o)?
False
Let o = -1 - -46. Let v = o - 72. Is 9/v*-411*1 a multiple of 36?
False
Let a be (2/(-4))/((-40)/136960). Suppose 19*n = 15221 - a. Is 23 a factor of n?
False
Let h = -121 + 121. Suppose 2*d - j - 645 = 0, h = -5*d - 4*j + 439 + 1141. Does 64 divide d?
True
Let o be (-528)/54 + 10/(-45). Let q(c) = -35*c + 41. Is q(o) a multiple of 23?
True
Let u be (-1*(-6 + 8))/((-1)/(-109)). Let d = 404 + u. Does 34 divide d?
False
Let q(u) = 25*u**2 - 24*u - 96. Is q(-8) a multiple of 16?
True
Let l = -62 + 70. Suppose 2*h + 12 = l*h. Suppose -h*x - 685 = -7*x. Is x a multiple of 27?
False
Let w(q) be the first derivative of 16 - 5/2*q**2 - 7*q - 1/2*q**4 - 11/3*q**3. Is w(-6) a multiple of 16?
False
Let i be 2 - 5 - 4 - -3. Is (70/(-20) - i)*(197 - -1) a multiple of 5?
False
Let w be (-164)/10 - 6/(-15). Let u = w - -140. Does 9 divide u?
False
Let s(k) = -k**3 + 4*k**2 - 3*k - 2. Let g be s(3). Let n be (48/(-60))/(g/(-50)). Let v = n + 58. Is 14 a factor of v?
False
Let m(d) = -1139*d**3 + 4*d**2 + 7*d + 4. Is 76 a factor of m(-1)?
True
Let r = 6474 + 10795. Is r a multiple of 8?
False
Is (-496070)/(-65) + 30/195 a multiple of 48?
True
Suppose -362*h + 461*h = -6237. Let l be 10*(1 - (-46)/4). Let p = h + l. Is 11 a factor of p?
False
Suppose 0 = 2*k - 75 - 97. Suppose k = -w + 329. Suppose p + 3*z + 45 = 112, -3*p + 5*z = -w. Does 19 divide p?
True
Suppose y + 0*y = -73. Let t = 61 + y. Does 24 divide 3 + 31*t/(-4)?
True
Suppose 789*h - 6 = 788*h. Let o(x) = -4*x + 204. Is o(h) a multiple of 2?
True
Suppose 4*j + 3*q - 6698 = 0, 223 - 211 = -6*q. Does 45 divide j?
False
Suppose 5*b + 4767 - 1049 = 4*x, 4*b + 1862 = 2*x. Is x a multiple of 2?
False
Let k = -2160 + 32476. Does 106 divide k?
True
Let q(t) = -67*t - 8. Let o be (51/(-45)*-3)/((-2)/(-10)). Suppose 0 = -5*c - 5*h - o - 8, -c + 3*h = -3. Is 13 a factor of q(c)?
False
Suppose -246400 - 425845 = -35*w. Is w a multiple of 9?
False
Let g(l) = l**2 - l - 1. Let x(b) = -2*b**2 - 15*b + 25. Let o(i) = 5*g(i) + x(i). Is 40 a factor of o(-10)?
True
Is -1*9 - (123312/(-28) + 27) a multiple of 78?
True
Let z be (-6 - 0) + (-6 - -19). Suppose -z*j - 5*q = -6*j - 23, -31 = -2*j + 5*q. Is j a multiple of 6?
True
Suppose -37 = 2*j - 45. Let s(y) = -11*y - j*y**2 - 12*y - 11*y - 2. Is s(-8) a multiple of 12?
False
Suppose 2*n + 28514 - 149600 = -3*m, -4*n = -5*m + 201766. Is 34 a factor of m?
True
Let d(x) = -353*x**3 + 5*x**2 + 8*x + 2. Let a be d(-1). Suppose -50 = -5*v + 5*t, 3*v = -v - t + 20. Suppose 2*k = v*k - a. Does 19 divide k?
False
Let z be (-9 - 6)*2/(-6). Let u be (-15 - 0)/z - 146. Let m = u - -258. Is m a multiple of 7?
False
Is (55/10*-18)/((-19)/209) a multiple of 4?
False
Suppose s - 289 = 4*c, -s + 3*c = -63 - 221. Suppose 9 = 4*i - 3*i - 2*q, -5*q - 9 = 2*i. Suppose m + s = i*u, -4*u + 362 = -0*u + 2*m. Does 7 divide u?
False
Suppose 0 = 5*u, -3*t + 3*u = 2*t - 7*t + 16100. Does 23 divide t?
True
Let u = -95 - -51. Let w = u - -44. Suppose -4*z + 38 + 314 = w. Is 22 a factor of z?
True
Suppose -5*a = 3*d - 1907, 1909 = -13*d + 16*d + 4*a. Suppose -5*r - 189 = -d. Is r a multiple of 10?
True
Suppose -125*d + 551375 + 295625 = 0. Does 7 divide d?
True
Suppose -3*v + 8319 = d, 4*v = -10*d + 7*d + 24922. Does 18 divide d?
True
Let g be (-11)/(-22)*(1072 - -2). Let y = g + 88. Is 33 a factor of y?
False
Suppose -3*p = 2*j + 463, -3*p = j - 0*j + 461. Let o = -62 - p. Is 13 a factor of o?
True
Let d be (-4 - 18/(-4))/(2/4). Let y(l) = -27*l - 1. Let k be y(d). Let s = k - -66. Is s a multiple of 19?
True
Suppose 11*i = -4*g + 12*i - 168, g = -3*i - 42. Let s = 67 + g. Is 25 a factor of s?
True
Suppose 14*h - 16217 - 2753 = 0. Suppose -5*w + d - 236 = -h, -675 = -3*w - 3*d. Does 71 divide w?
False
Suppose 0 = -5*c + f + 95, -90 = -0*c - 5*c + 2*f. Is 14 a factor of 1/2 - (-9450)/c?
False
Let u(v) be the second derivative of v**7/2520 + 7*v**6/720 - v**5/40 - 7*v**4/12 + 7*v. Let m(o) be the third derivative of u(o). Does 15 divide m(6)?
True
Let m(n) = -2385*n + 705. Let a(s) = -149*s + 44. Let q(o) = -33*a(o) + 2*m(o). Does 20 divide q(4)?
False
Let t(o) = -14*o**3 - 157*o**2 - 27*o - 166. Let k(l) = -5*l**3 - 52*l**2 - 10*l - 55. Let n(y) = 11*k(y) - 4*t(y). Does 35 divide n(-56)?
False
Let u(d) = -2*d**3 - 16*d**2 + 51*d. Does 33 divide u(-11)?
True
Suppose 23*p + 29*p - 309400 = 32*p. Is p a multiple of 130?
True
Let v = 4 - 7. Let o be (-4 - v) + 174 + -2. Is 31 a factor of (-4)/18 - (-22439)/o?
False
Let u(j) = j - 7. Let w be u(6). Let a(y) = -216*y - 3. Let r be a(w). Suppose -3*x + 616 = -2*l, 3*x - r = l + 404. Does 37 divide x?
False
Let f(q) = 2*q**3 + 4*q**2 + 2*q - 16. Let d be f(6). Is (d/2)/2 + -4 a multiple of 12?
False
Suppose 5*j - 309 = 4*j. Is 36 a factor of j - 1*(-8 + 6 + -2)?
False
Suppose 10*a - 19872 = 5*a - 3*a. Is 92 a factor of a?
True
Suppose -4*v = v - 10. Suppose v*a - 12 = -5*t + t, 0 = -a - 3*t + 7. Suppose 7*o - 180 = 3*o + a*u, -o + 43 = u. Is o a multiple of 15?
False
Let n(r) = -213*r + 3051. Is 4 a factor of n(-15)?
False
Suppose 3*i = 44 - 17. Let f = -6 + i. Suppose -3 = -f*j + 3. Does 2 divide j?
True
Let s be 3/4 - (-70)/(-8). Does 7 divide 220/2 - (s - -8)/(-9)?
False
Suppose 3*i - 2379 = -k, 1912 + 459 = k - 5*i. Is 12 a factor of k?
True
Let q(z) = 6 - z + 13 - 8 - 1. Let k be q(0). Suppose -k = -2*n, 2*n + 666 = -4*j + 2020. Does 16 divide j?
True
Let o be (42/35)/((-12)/(-160)*4). Does 6 divide (210 - (6 + -1))*1 - o?
False
Let s(m) = -m**3 + 7*m**2 + 19*m - 7. Let k be s(9). Suppose -2*z - 4*o - 32 = 0, 5*z + 16 = k*z + 2*o. Is (16/(-10))/z - (-194)/5 a multiple of 13?
True
Suppose 8109 = 3*s + 3*i, -2*s + 4*i - 510 + 5916 = 0. Does 17 divide s?
True
Suppose -1590 = -i - t, 317*t - 320*t + 9 = 0. Does 5 divide i?
False
Let n be -1*16/(-4) + 6. Suppose n*y - 75 = 15*y. Let r = 5 - y. Does 5 divide r?
True
Let b(h) = 4*h**3 - 9*h**2 + 6*h + 8. Suppose -3*q + 2*u + 18 = 0, 5*q - 4*u - 17 = -5*u. Does 16 divide b(q)?
True
Suppose 0 = -2*g - t + 154, -5*g + 68 + 322 = 5*t. Let l = g + -116. Let h = l + 110. Is 23 a factor of h?
False
Let o(t) = -t**2 - t + 232. Let z be o(0). Let r(u) = -12*u - 86. Let n be r(-7). Does 17 divide (5/(-5))/n*z?
False
Suppose 25*m - 180850 = -14106 + 704906. Does 26 divide m?
True
Let h = 127 - -180. Let n = 334 - 516. Let w = n + h. Is 25 a factor of w?
True
Let o = -2027 - -2122. Is o even?
False
Let u(v) = v**3 - 9*v**2 - 14*v - 7. Let k be (-1 - (1 + 0))/((-4)/26). Does 29 divide u(k)?
False
Suppose 0 = s - o - 613, 0 = 2*s - o + 6*o - 1261. Let u = s + -363. Suppose -9*j + 12*j = u. Is 18 a factor of j?
False
Suppose 426*p - 421*p = 3190. Is p a multiple of 50?
False
Let u(j) = -36*j - 144. Let l be u(3). Let k = l - -441. Is k a multiple of 9?
True
Let g(f) = -10*f**3 - 2*f**2 - 11*f - 10. Suppose 0 = -2*z - 5 + 3, -4*j - 10 = -2*z. Is g(j) a multiple of 12?
False
Let v(z) = 22*z**3 + 22*z**2 + 5*z - 1. Does 117 divide v(7)?
True
Suppose -303614 = -51*b - 67*b. Is 25 a factor of b?
False
Let u(w) = -35*w**3 - 2*w**2 - 8*w - 3. Let v be u(-2). Suppose 0 = -p + 132 + v. Suppose 87 = -6*r + p. Does 12 divide r?
False
Let d(r) = -381*r**3 + r. Let h be ((-8)/(-16))/(1/(-2)). Let y be d(h). Suppose 475 = 4*f + 4*n + 119, 4*f - y = 4*n. Does 23 divide f?
True
Suppose 0 = 3*g + a - 24499 - 3460, 5*g - 5*a - 46605 = 