-25*o**3 - 16*o**2 - 18*o + 6. Is 31 a factor of i(-5)?
True
Let b = -19 + 33. Let q be 2/(-7) + 74/b. Suppose -4*u + 697 = 3*r, -5*u - q*r + 284 + 591 = 0. Is 43 a factor of u?
True
Suppose 0 = -5*i + 4*t + 15, 42*i + 5*t - 6 = 40*i. Suppose -y - 3*o + 22 = 0, -5*y + i*o - 63 = -209. Is y a multiple of 6?
False
Let w(x) = 44*x + 114. Let p be w(15). Suppose 0 = 18*t - 27*t + p. Does 43 divide t?
True
Suppose 12356*c - 190820 = 12346*c. Is c a multiple of 14?
True
Let t(u) = 305*u**3 + 52*u**2 - 205*u + 17. Is t(5) a multiple of 41?
True
Let k be (-500)/7 - 8/14. Let c = 68 - k. Is c a multiple of 35?
True
Let g(d) be the second derivative of 41*d**4/6 + d**3/3 - d**2 - 5*d. Let l be (4/(-3) - -1)*(-5 + 2). Does 41 divide g(l)?
True
Suppose 1 = 2*y - 5*n - 16, -2*y = -2*n - 14. Suppose 34 + y = -8*k. Let f(a) = -37*a + 40. Is 25 a factor of f(k)?
True
Suppose -2*g + 6*g = -4*t + 76, 0 = -4*g - 2*t + 74. Let w(v) be the second derivative of -v**4/12 + 19*v**3/3 + 10*v**2 + 1933*v. Is 37 a factor of w(g)?
False
Let k = -135 + 214. Let o = 375 + -104. Suppose o - k = 4*h. Is h a multiple of 24?
True
Suppose 143*d + 90*d - 5084985 = -1603732. Does 5 divide d?
False
Let l be 679 - ((-1 - 1) + (-4 - -7)). Let d = l - 541. Is 11 a factor of d?
False
Suppose 33 = 3*w + 24. Suppose 2*v = -w*v - 4*a + 1126, 432 = 2*v - 3*a. Does 9 divide v?
False
Let r = -122 + 112. Is 16 a factor of (816/r)/((-282)/(-60) - 5)?
True
Let h(w) = -7*w**2 - 564*w + 134. Does 37 divide h(-70)?
False
Let x(m) = -100*m + 45. Does 8 divide x(-1)?
False
Let h = 11 - 11. Let a(b) = -4*b - 3 - 3 + h*b + 7*b. Is 10 a factor of a(12)?
True
Is 15 a factor of 3230 + (-1 - -8)/(-14)*10?
True
Let w(z) = z**2 + 24*z + 32. Let c be w(-12). Is (c/(-5))/(2 + 9/(-5)) a multiple of 17?
False
Let y be 12/40 - (-87528)/240. Let h = 4 - 1. Suppose 4*q - 4*s + s - 498 = 0, 2*s = -h*q + y. Does 19 divide q?
False
Let l be 34*(-1805)/(-40) - (-12)/16. Suppose 9*m = l + 895. Is m a multiple of 15?
True
Let t(x) be the second derivative of x**4 + 9*x**3/2 + 59*x**2/2 + 9*x. Is 23 a factor of t(-5)?
False
Suppose 428 = 10*n - 8*n. Suppose -3*r + 6*z = 7*z - n, 5*z - 278 = -4*r. Is r a multiple of 12?
True
Let v(r) = -r**3 + 12*r**2 + 9*r + 34. Let z be v(9). Let h = z - 240. Is h a multiple of 36?
False
Let u(t) = -4301*t + 36. Does 14 divide u(-2)?
True
Let f be ((-12)/(-10))/(412/(-60) + 7). Let q = f + -9. Suppose q*c + c = h - 7, 2*h - 5*c = 2. Does 11 divide h?
True
Let f = 126145 - 83795. Is 175 a factor of f?
True
Does 178 divide 596/2*(17 - 2 - -85)?
False
Let t(i) = 27*i - 9 - 18 + 27*i + 13*i. Is t(8) a multiple of 39?
False
Suppose -26*s - 252 = -23*s. Let i = 187 - s. Does 38 divide i?
False
Suppose 0 = -309*b + 313*b - 4*z - 36632, 3*b - 27494 = -z. Is b a multiple of 7?
True
Let d(j) = j**3 + 9*j**2 + 16*j + 16. Let c be d(-7). Suppose 0 = -5*w + 5*t - 0*t + 545, -c*w + 198 = 3*t. Does 7 divide w?
True
Let k = -3246 + 5131. Is 13 a factor of k?
True
Let l(m) = -4*m**3 - 6*m**2 - 3*m - 2. Let a = 49 - 53. Let p be l(a). Suppose 0 = -5*i + 3*i - g + p, 2*g - 8 = 0. Does 15 divide i?
False
Let v be 1/2*40/5. Suppose v*n - p + 5 = n, 2*n + 25 = 5*p. Suppose -l - 17 = -t, -5*l = -n - 20. Is t a multiple of 7?
True
Let n(k) = 4*k**2 + 18*k + 76. Let r be n(-4). Suppose -m + 77 = j, -j = 4*m - r - 9. Does 11 divide j?
True
Let l(m) = -m. Let a be l(-6). Let p(c) = -5*c - 52. Let o be p(-11). Suppose o = a*g - 87. Is 2 a factor of g?
False
Let s(i) = -2804*i - 1796. Is s(-8) a multiple of 77?
True
Suppose 4*d + 23*s = 16*s + 6835, -5*s + 1725 = d. Is d a multiple of 88?
False
Suppose 0 = 3327*n - 3295*n - 21535 + 6943. Is n a multiple of 152?
True
Is 28 a factor of ((7 - 7) + 1)*5/((-30)/(-942))?
False
Let n = -124 - -174. Suppose 0 = -3*a + n + 22. Does 20 divide 262/(a/9 - (-4)/(-6))?
False
Let y(o) = -4*o + 66. Let q be y(16). Suppose 0*p = -4*g - p + 746, -3*p = q*g - 378. Is g a multiple of 35?
False
Let p(w) = -44*w - 85. Let v(g) = -23*g - 42. Let t(y) = -4*p(y) + 10*v(y). Does 61 divide t(-6)?
True
Suppose 39*a + 50 = 44*a. Let g(z) = 2*z**2 - 13*z + 51. Is g(a) a multiple of 7?
False
Let g = 117 + -101. Does 17 divide 2/((-12)/(-30))*g?
False
Let x = -72 + -132. Let a = x - -324. Is 24 a factor of a?
True
Let c(y) = -y**2 - 14*y + 50. Let w be c(-16). Suppose -418 = -4*r + d, 0 = -4*d - 10 + w. Is 21 a factor of r?
True
Is 9 a factor of -6 - (348756/(-42) - (-20)/(-70))?
True
Let r(h) = 520*h**2 - 73*h - 495. Is r(-8) a multiple of 21?
True
Suppose 159*j - 1015670 = 57*j - 61970. Does 22 divide j?
True
Let j(x) = -x**3 - 13*x**2 + 15*x. Let n be j(-14). Let s = n - -23. Suppose 2*t = s*t - 280. Is 11 a factor of t?
False
Let m(z) = 93*z + 13858. Does 7 divide m(-118)?
True
Let t(o) = 12*o**3 - 9*o**2 + 8*o + 5. Let z = 356 + -351. Does 15 divide t(z)?
True
Let r(k) = k**2 - 2. Let t be -6 - (111/27 - 9/81). Does 14 divide r(t)?
True
Suppose 7*m - 8*m + 13 = 0. Let o be (m/(-13))/(1/(-4)). Suppose -12 = -4*y, -503 = -o*j - y + 4. Is j a multiple of 21?
True
Suppose 3*w - 3*t - 16931 - 5542 = 0, 0 = w + t - 7485. Does 92 divide w?
False
Let b(r) = -2*r**3 + 52*r**2 - 19*r + 31. Is 131 a factor of b(16)?
True
Let f(l) = -5*l - 23. Let u be f(-5). Suppose 0*d + 175 = z + 5*d, 2*d - 4 = 0. Suppose 4*x = 5*o - 334, -3*o = -u*x - 35 - z. Is 22 a factor of o?
True
Suppose 3*g - j - 64 = j, -62 = -4*g - 2*j. Suppose 729 = g*o - 2727. Does 12 divide o?
True
Let d(t) = -72*t**3 + t + 1 - 74*t**3 + t**2 - 51*t**3. Is 9 a factor of d(-1)?
True
Suppose 410*c - 8159890 = 13503280. Is 119 a factor of c?
False
Suppose f - 10277 = -5*d, -5*d + 169*f = 164*f - 10265. Does 23 divide d?
False
Suppose -5*f - 96 - 31 = -i, 3*i - 2*f - 355 = 0. Does 22 divide i?
False
Let n be ((-70)/(-28))/(5/4). Suppose n*g - 1100 = -8*g. Is g a multiple of 7?
False
Let g(n) = 4*n - 36. Let v(q) = -q**3 + 8*q**2 + q + 2. Let x be v(8). Let s be g(x). Suppose -s*w = -216 + 36. Does 7 divide w?
False
Is 10 a factor of 3/(63/867729) - (-29 + (-2884)/(-98))?
True
Let w = -79055 + 119390. Is w a multiple of 63?
False
Suppose -2*r + 35 - 47 = 0, 2*t - 11800 = 2*r. Is t a multiple of 46?
False
Let g = 65 - 6. Let w = -15 - 8. Let z = w + g. Is 6 a factor of z?
True
Let d(u) = 4*u**2 - 4*u - 1. Let o be (-74)/(-4) - 6/12. Suppose 0 = j + 2*v + v - o, -20 = -4*v. Does 7 divide d(j)?
False
Let r(l) be the second derivative of 103*l**3/6 + 40*l**2 - 42*l. Does 95 divide r(4)?
False
Let b be -18*(-92)/14 - (-6)/(-21). Suppose -3*p + p + 266 = 2*l, 2*p = l - b. Does 47 divide l?
False
Let x be (7/(-14))/((-2)/20). Suppose x*c + 0 + 40 = 0. Does 48 divide c - -10 - -95*2?
True
Let m = 62 + -62. Let f(n) = 3*n**2 + n + 197. Let z be f(m). Suppose -z - 28 = -15*q. Is q a multiple of 3?
True
Suppose 3*l + 4*q = 41 + 257, 4*q = 4*l - 416. Suppose x = 2, 3*x - l = 2*c - 0*x. Let n = 48 - c. Is n a multiple of 5?
False
Suppose -26869 - 10183 = -2*j + 3*s, -37060 = -2*j + 5*s. Does 8 divide j?
True
Is 5027/((-24)/18 - (-7)/3) a multiple of 6?
False
Suppose -2*g + 14 = 2*z, -2*z + 5*z - 11 = -g. Suppose 0 = 3*t + 3*m + 18, t = 2*m + z*m - 6. Does 7 divide 14/(4 + 21/t)?
True
Let o be (-60)/8*528/40. Let l = 41 - o. Does 20 divide l?
True
Let p = -198 + 202. Is (-7 + 1 + -5)/(p/(-8)) a multiple of 22?
True
Let g = 349 + -280. Suppose -539 = 58*v - g*v. Does 3 divide v?
False
Is 101 a factor of 4244 + -1 + (4 - 5)?
True
Let g(z) = 98*z. Let n be g(-2). Let j = 376 + n. Is 12 a factor of j?
True
Let b = 102 - 99. Suppose b*h - 33 - 69 = 0. Is h a multiple of 34?
True
Let y(p) = -p**3 - 3*p**2 + p - 10. Let x be y(-4). Suppose 5*f - x*v = 111, 4*f - v - 70 - 17 = 0. Is 5 a factor of f?
False
Let h = 3040 - 1627. Let l = 2049 - h. Is 30 a factor of l?
False
Let a(o) = 158*o - 185. Let p be a(34). Suppose -30*k = -p + 537. Does 4 divide k?
False
Suppose 29*j - 57346 + 58898 = 105488. Is 8 a factor of j?
True
Let f = 124347 + -82597. Is 250 a factor of f?
True
Suppose -25 = -5*r - 45, 3*s = -2*r + 2134. Is s a multiple of 66?
False
Suppose 4*h - 13 = 5*j, -5*h + 1 + 8 = j. Suppose 3*n = -4*p + 12, -2*n + 5*p = -6 - h. Suppose 727 = n*k + 7. Does 30 divide k?
True
Let m(p) = -255*p**3 + 2*p**2 + 24*p + 31. Does 121 divide m(-5)?
False
Let x(z) = 2*z