n?
False
Does 37 divide ((-48)/96)/(5/(-21210))?
False
Suppose 14*v - 372 = 8*v. Suppose -69*q + v*q + 420 = 0. Let x = q + 45. Is x a multiple of 35?
True
Let o = 6208 + -2688. Is 22 a factor of o?
True
Let w(k) = -3016 + 85*k - 3168 + 6071. Is w(6) a multiple of 24?
False
Let o(x) = 7*x**2 - 3*x - 22. Let y(i) = 2*i**2 + i + 1. Let b(k) = -o(k) + 4*y(k). Let j be b(-4). Does 16 divide (-950)/(-6) + j/21?
False
Let g(l) = -l**3 + 33*l**2 + 84*l - 28. Let w be g(35). Suppose 2*v - w = -5*f, -v - 220 = -2*v + 3*f. Does 19 divide v?
False
Let u = 18393 - 10005. Does 12 divide u?
True
Let t = 5270 - 2630. Is t a multiple of 37?
False
Let s = -17482 - -24880. Does 7 divide s?
False
Let w(y) = -6*y**2 + 5 + 13*y**2 - 8*y**2 + 1 + 2*y**3 - 3*y + 26*y**3. Is w(2) a multiple of 22?
True
Suppose 708*w + 718484 = 749*w. Does 26 divide w?
True
Suppose -10 = a - 41. Suppose 0 = 5*f + b - 1388, -4*b + a = 39. Is f a multiple of 7?
False
Let r be 4*((-3)/(-12) + 0). Suppose -3*t = v - 5, -3*v = 5*t + v + r. Suppose 14 = t*w + 2*z, 5*w - 5 = 3*w + 3*z. Does 4 divide w?
True
Let t(y) = -3*y**2 - 15*y - 7. Let b be t(-5). Is 38 a factor of (-6 - b) + (-2 - -229)?
True
Let m(t) = t**3 - 6*t**2 + 3*t + 8. Let r be m(5). Let q = 1 - r. Suppose -4*o - 2*j = 170 - 552, 0 = q*o - 3*j - 291. Is o a multiple of 16?
True
Let u be (-7816)/10*50/(-20). Let w = -1331 + u. Is w a multiple of 13?
False
Let g(k) = 1928*k - 6404. Does 18 divide g(38)?
False
Suppose -2 = -8*l + 6. Let n(x) = 178*x**3 + 4*x + 1. Let u(w) = 535*w**3 + w**2 + 13*w + 4. Let g(f) = 7*n(f) - 2*u(f). Is g(l) a multiple of 25?
True
Let v(c) = -3*c - 28. Suppose 2*m + 48 = -2*m. Let o be v(m). Suppose -j + 68 = -o. Is j a multiple of 4?
True
Suppose -2*t - 10*t + 9*t = -31845. Is t a multiple of 55?
True
Is 48/112 - (-152850)/21 - 7*1 a multiple of 12?
True
Suppose 14*u - 595 = 1001. Suppose 0 = -2*o + 2*c + 48, o - 3*c - u = -4*o. Is o even?
False
Let d(w) = -w**3 + w**2 - 5*w + 2. Let a(b) = 5 + 8*b**3 - 2*b + 2*b**2 - 2*b**3 - 9*b**3 - 7*b. Let u(s) = -2*a(s) + 5*d(s). Does 21 divide u(6)?
True
Does 7 divide (-11)/((-9016)/(-1128) + -8)?
False
Let q(u) be the first derivative of -27*u**2/2 + 33*u + 38. Does 26 divide q(-12)?
False
Let t = -30 - -28. Let m(c) = -150*c - 10. Is 17 a factor of m(t)?
False
Suppose 0 = -5*w + 2*c + 40788, 3*c + 59915 = 5*w + 19133. Is 30 a factor of w?
True
Let y(q) = -40*q + 820. Let b be y(18). Let z = 134 + -80. Let k = b - z. Is k a multiple of 7?
False
Let g(i) = -i**2 - 22*i - 7. Suppose -2*m - 6*m + 120 = 0. Suppose 55 = 10*r - m*r. Is 15 a factor of g(r)?
False
Is 104 a factor of (56784/40)/(4*12/640)?
True
Let d(c) = -c + 38. Let v be d(-10). Is (7 + 4 + -3)*v a multiple of 14?
False
Let u(y) = -2152*y**3 - 5*y**2 + 17*y + 46. Is 52 a factor of u(-2)?
False
Let h(z) be the third derivative of 29*z**4/24 - 19*z**3/3 - 114*z**2. Is h(7) a multiple of 55?
True
Let f(x) = 27*x**2 - 12*x - 3*x + x**3 + 5*x + 5*x**2. Is 32 a factor of f(-32)?
True
Let f be ((-26)/78)/((4/(-18))/2). Let y(i) = i**2 + 3*i - 6. Let t be y(-5). Suppose f = 3*s, -t*w - 5*s + 4 = -289. Is w a multiple of 6?
True
Let m(b) = -b**3 + b**2 - b - 1. Let k(o) = o**3 - 11*o + 8. Let n(v) = -k(v) - 2*m(v). Does 13 divide n(4)?
True
Let t be 2*2/(-4) - 12. Let w(u) = -3*u**2 - 20*u + 24. Let i(f) = 6*f**2 + 40*f - 48. Let j(s) = t*w(s) - 6*i(s). Does 28 divide j(-12)?
True
Suppose -7*c + 4876 = 466. Suppose -c = -4*k - 2*p, k + 4*p = 151 - 11. Is 16 a factor of k?
True
Let s be 79*(-10*6/12 - -2). Let w = 597 + s. Does 24 divide w?
True
Does 9 divide (75420/(-160))/(4/(-32))?
True
Let p(f) = -2*f**3 + 8*f**2 - 13*f - 6. Let k be p(8). Let h = 934 + k. Does 13 divide h?
True
Suppose -24*w + 16*w + 72 = 0. Suppose 3 + w = -4*b, -h - 3*b + 13 = 0. Is h a multiple of 4?
False
Let c(r) = -r**3 - 3*r**2 + 3*r + 4. Suppose 18 = -11*l + 73. Suppose -l*z - 17 = 3. Is c(z) a multiple of 2?
True
Let t(p) = -3*p - 5. Let n be t(-3). Suppose 0 = -3*l - f - 4*f - 3, 3*l - n*f - 24 = 0. Suppose -l*r = -w + 55, 5*r = 6*w - w - 245. Is w a multiple of 5?
False
Suppose 2*m + o = 10211, 17*m + 5*o = 13*m + 20431. Is m a multiple of 46?
False
Let b = -81 + -73. Let u = b - -497. Is 51 a factor of u?
False
Let l(x) = -2*x**3 + 8*x**2 + x + 5. Let b be l(4). Suppose -b*m + 3768 = 3*m. Does 54 divide m?
False
Suppose -a + 3862 = 4*v, -921 = 2*a + 3*v - 8620. Is a a multiple of 113?
True
Let v(r) = -88 - 43*r + 83*r + 62*r + 4*r. Is 21 a factor of v(4)?
True
Let q(f) be the second derivative of -f**5/20 - 5*f**4/12 + 7*f**3/2 - 51*f + 2. Is 45 a factor of q(-9)?
True
Let h = -16447 + 26063. Does 16 divide h?
True
Let t(x) = 6*x**3 - 72*x**2 - 13*x + 61. Is t(17) a multiple of 74?
True
Suppose 3*a + 2*m + 2*m = 7, -2 = -4*a + 2*m. Let g(f) = 127*f**2 - 2*f + 1. Let q be g(a). Suppose 0 = y - q + 84. Is 6 a factor of y?
True
Suppose -3*k + 5 = -4. Suppose -123*u + 378 = 3*u. Suppose k = u*q - 45. Does 9 divide q?
False
Let j be (88/(-33))/(1/3). Let s be (j/14)/((-50)/175). Is 4 a factor of ((-4)/s - -3) + 10 + 5?
True
Suppose 4*t - 221078 = 329*i - 331*i, -110536 = -2*t - 2*i. Is t a multiple of 19?
True
Let g = 170 - 166. Suppose -8*o + 1104 = t - 5*o, t - g*o - 1097 = 0. Does 116 divide t?
False
Let y = -17012 + 30368. Is 42 a factor of y?
True
Let m(r) = 30*r + 16. Let s be m(11). Suppose x - 7 = s. Is x a multiple of 22?
False
Let h be (4 - -709)/((0 - 1)/1). Let g = h - -505. Let w = g - -388. Does 18 divide w?
True
Let z(f) be the third derivative of 17*f**7/2520 - f**5/40 + 5*f**4/24 - 19*f**2. Let l(u) be the second derivative of z(u). Is l(-2) a multiple of 13?
True
Suppose 60 = 3*k - 4*h, -57*k - 2*h - 114 = -62*k. Suppose 0 = k*i - 4262 - 9394. Does 19 divide i?
False
Let t be 1 + (0 - 5) + 1. Is 41 a factor of (2276/7 - -3) + t/21?
True
Suppose -3*r = 2*r - 20. Let x(w) = -2*w**3 + 27*w**2 + 24*w + 48. Let i be x(14). Suppose 4*u + 4*z = i, r*u + 5*z = -0*z + 185. Is u a multiple of 10?
True
Let z(n) be the second derivative of 1/6*n**3 - 12*n + 9/2*n**2 + 0. Does 6 divide z(23)?
False
Let w be (1 - -1)*(-98)/(-14) + 4. Suppose -w*j - j = -3192. Does 24 divide j?
True
Suppose -326*u - 3140030 = 247*u - 28136582. Is u a multiple of 8?
True
Let q(a) = -17*a - 27. Suppose p = 2*z + 1, -10 = 3*p - p. Does 6 divide q(z)?
True
Suppose t + 8 = 0, 26992 = 3*k + 2*t - 5509. Is k a multiple of 18?
False
Suppose 14631 = n - 3*t - 40455, 0 = 4*n - 2*t - 220374. Is 15 a factor of n?
True
Let k(z) be the second derivative of 31*z**3/6 - 5*z**2/2 - 12*z. Let a = -53 + 56. Is k(a) a multiple of 44?
True
Let i(m) = -m**3 - m**2 - 1. Let l(h) = 4*h**3 + 26*h**2 + 25*h + 11. Let f be 3/(-2)*80/(-24). Let g(x) = f*i(x) + l(x). Does 24 divide g(22)?
True
Suppose 4*z = 4, 0 = -7*x + 2*x - 4*z + 4. Suppose 6*f - 2*f - 5*t - 575 = x, 4*f = -t + 557. Let g = -68 + f. Is g a multiple of 36?
True
Let q(b) = -b**2 + b + 31. Let n be q(6). Let t = n - -82. Is t a multiple of 5?
False
Suppose 2*n + 2 = 68. Suppose -35*k + n*k - 82 = -2*p, 2*p = -3*k + 67. Is p even?
True
Suppose 2*n - 2 + 6 = 0. Is n/4*-674 + -7 a multiple of 10?
True
Suppose 102622 = 198*l + 80*l - 486738. Is l a multiple of 4?
True
Let r(v) = 2*v**3 - 4*v**2 - 8*v + 7. Let b be r(6). Suppose -244*c - 2010 = -b*c. Does 70 divide c?
False
Suppose 0 = 748*h - 759*h + 263670. Is 85 a factor of h?
True
Let s = -360 + 409. Let y = s - -311. Is y a multiple of 20?
True
Suppose 5*w - 10 = -5*b, -2*b = -w + 2*w - 2. Let h(c) = 4*c**3 + 114*c - 112*c - c**2 + b*c**3. Is 4 a factor of h(2)?
True
Let p = -6912 - -19197. Does 35 divide p?
True
Let y be (14 - (-736)/(-80))/(6/(-100)). Let z = y - -193. Is 6 a factor of z?
False
Let s = -49 - -43. Is -2 - 24*75/s a multiple of 9?
False
Suppose -42*a + 90*a - 875760 = 0. Does 41 divide a?
True
Suppose -30*l + 66619 = -153341. Does 156 divide l?
True
Suppose 0 = -3*a, 5*a + 0*a = 4*x - 0*a - 57568. Is 56 a factor of x?
True
Let o be ((-3)/2 - -2)*(-12 - -22). Does 4 divide (-4)/(-8) - ((-7625)/10)/o?
False
Is 29 a factor of (1 - -1) + -28*118*(53 - 54)?
True
Suppose 0 = -3*d + w + 29, d - w - 3*w = 6. Is 10 a factor of (9*d)/(14/14)?
True
Suppose 658*c - 80128 = 642*c. Is c a multiple of 8?
True
Let v = -15 - -25. Let q = v - 10. Supp