se 390*o - h*o = -3640. Is o a multiple of 65?
True
Let i(c) = 6862*c**2 + c + 54. Does 125 divide i(-2)?
True
Let h be ((-331)/(-2))/(8 - 90/12). Let l = h + -276. Is l a multiple of 13?
False
Let s = -47837 - -68832. Does 45 divide s?
False
Let i = 2 + 0. Suppose -5*u = i*x - 68, 5*u - 68 = 2*x + 4. Suppose -11*c - 483 = -u*c. Is c a multiple of 23?
True
Let z = 123 + -56. Let d be (-6)/(-8)*(-8)/2. Let a = z + d. Is a a multiple of 8?
True
Does 9 divide ((-1728)/90 - -24)*1185?
True
Suppose 7094 - 1526 = 48*c. Suppose 2*z - c = h, -4*z + 2*z + 4*h + 116 = 0. Does 20 divide z?
False
Suppose 0 = b - 1, 212*w - 40560 = 208*w - 4*b. Does 18 divide w?
False
Let y(h) = -6*h**3 + h**2 - 2. Let j be y(-2). Suppose -4*u = 3*f - j, u = 2*u - 5. Is 5/(25/6)*675/f a multiple of 11?
False
Let o be (4 + 1076 + 2)*(-2)/1. Let t = o - -3217. Is t a multiple of 27?
True
Let h be ((-84)/(-16))/(90/(-48) + 2). Does 13 divide 21/h - 242/(-4)?
False
Suppose -6*v = 35*m - 36*m - 4364, v - 4*m = 735. Is 36 a factor of v?
False
Suppose -575*m + 547*m = -256120 - 288956. Is m a multiple of 189?
True
Suppose 0 = -0*l - l - 5*k - 12, -5*l = -k + 60. Let x be l/(-6) + (-1)/(-1) + 0. Suppose 0 = 3*v + 4*g - 448, -3*g + g = x*v - 458. Does 30 divide v?
False
Suppose -850 = -11*d + 10*d. Suppose 6*g + 150 = 7*g + 5*p, 5*g + 5*p = d. Does 11 divide g?
False
Suppose -7 = 4*j + 9. Is 110 - (3 + -7 - j) a multiple of 55?
True
Suppose -69*r = -1127472 + 285266 - 474452. Is r a multiple of 94?
True
Let q = 286 + -284. Suppose -5*s = -2*w - 10*s + 246, -q*w - s = -262. Does 11 divide w?
False
Let f(c) = -41*c - 7. Let r be f(-8). Suppose -r = -4*t - 3*s, -5*s = 2*t - 5*t + 277. Is t a multiple of 12?
True
Let d = -372 + 374. Suppose -q = -4*l + 334, -2*l + 4*l = -d*q + 172. Is 21 a factor of l?
True
Let n = 21 + 14. Let w = n - 30. Suppose -w*l = -151 - 89. Is l a multiple of 24?
True
Let k(l) = 75*l - 2. Let w(v) = v + 35. Let f be w(-24). Suppose -4 = 7*z - f. Does 20 divide k(z)?
False
Let m(b) = b**3 - 7*b**2 + 8*b + 10. Let o be m(7). Let x = -67 + o. Does 3 divide (x + (-21)/6)/(5/(-20))?
True
Let a(m) = -m**3 + 11*m**2 - m + 12. Let x be a(11). Let l be (x + 7*3)*(-4 - 10). Let v = -185 - l. Is 21 a factor of v?
False
Suppose -3*g + 47 = -4*p, 0 = g - p - 6 - 8. Suppose 2*s - 3*m + g = 0, -4*m + 0*m + 17 = -s. Suppose s*q - 518 = -101. Does 18 divide q?
False
Let c(k) = -558*k + 891. Is c(-10) a multiple of 99?
False
Let p = -44062 - -44520. Does 34 divide p?
False
Let a = -9691 - -6542. Is 4 a factor of (-5)/(-6) + a/(-282)?
True
Suppose 51707 + 26059 = 61*r - 10928. Is r a multiple of 4?
False
Is 26 a factor of 19/(-570)*12*-19370?
True
Suppose 4*l + 70 = 82. Suppose 5*o + 834 = 2*q + 329, 0 = -l*q + 3*o + 744. Does 49 divide q?
True
Let f be -39 + 43 - (2 + 0)/(-1). Suppose -92 = -f*n + 3*n + c, -5*c - 141 = -4*n. Does 2 divide n?
False
Let s(h) = -h**3 + 4*h**2 - 80*h - 9. Let r be s(-10). Suppose 8*x - 9841 = r. Is x a multiple of 94?
True
Let s(z) = z**3 + 16*z**2 - 5*z + 24. Let u be s(-8). Suppose 10*k - 12*k = -u. Does 24 divide k?
True
Suppose 5*d = 20 - 0. Suppose -5*q - 1129 = -3*p + 766, 4*p - 4*q - 2516 = 0. Suppose p = n + d*n. Is n a multiple of 10?
False
Let w(t) = -14*t**3 + t**2 - 4*t - 12. Let u be w(-3). Suppose 0 = -6*p + u + 813. Does 8 divide p?
True
Let p = 45679 - 22722. Is 11 a factor of p?
True
Let n = -3637 - -7093. Let w = -2306 + n. Is w a multiple of 50?
True
Suppose 359158 + 78620 = 67*r. Is 18 a factor of r?
True
Suppose -d - 305 = 27. Is 3 a factor of d/(-10) - 7/35?
True
Let q(o) = 35*o**2 + 15. Let t be q(-5). Let h = t - 751. Is h even?
False
Suppose 0 = -3*w - 5*z + 868 + 2425, 3*w - 3313 = -z. Let l = -4 + w. Is l a multiple of 17?
False
Let c be (-4616)/(-10)*(-19 - -24). Suppose -4*h + c = 4*z, -2*h - 25*z + 26*z = -1157. Is h a multiple of 17?
True
Suppose 6*v - 338 = 2176. Let a = -107 + v. Does 39 divide a?
True
Let g(w) be the second derivative of -3*w + 5/3*w**3 - w**2 + 0. Is g(1) a multiple of 2?
True
Is 25 a factor of (-159)/(-318)*(-2 - -10456)?
False
Let v(i) = -5*i - 12. Let a be v(-3). Suppose 4*f - c = 695, -a*f - 4*c = -204 - 322. Suppose -2*l + f = 5*o - 5*l, 0 = 2*l + 6. Is o a multiple of 19?
False
Suppose -4*l + 99*d - 98*d + 14390 = 0, 4*l - 14384 = 2*d. Does 30 divide l?
False
Let r(l) = 2*l + 5. Let h be r(-8). Let n = h + 13. Is 1 + ((-4)/(-7))/(n/49) a multiple of 5?
True
Does 140 divide -6 + 14 + 13 - -63259?
True
Let j(t) = -t + 9. Let k be j(5). Suppose -9 = 5*f - k. Does 5 divide ((2/(-4))/f)/(1/60)?
True
Suppose -4*y + 909 = -2011. Suppose 733*i - y*i = 450. Is i a multiple of 25?
True
Let l(k) be the second derivative of -23*k**3/6 - 38*k**2 - k + 5. Is l(-8) a multiple of 27?
True
Suppose 0 = -67*g + 511*g - 13487832. Does 83 divide g?
True
Let w = 0 - -2. Let g(s) = -s**3 + 80 - 31*s**w + 33 + 32*s**2 + s. Does 21 divide g(0)?
False
Let f(n) = 2*n**3 - 16*n**2 + 179*n + 102. Is f(21) a multiple of 28?
False
Suppose -2*z - 11 = -13. Let t be (-10)/(4 + z)*-1. Suppose -v - t*h + 82 = v, 5*h = -2*v + 97. Does 12 divide v?
True
Let q be ((-6)/4 + -4)*-6. Suppose c - n = 2*n + q, 4*c + 2*n = 188. Does 9 divide (6/(-5))/((-6)/c)?
True
Does 37 divide 1*48*(184 + -10 + -10)?
False
Suppose 50*f - 529074 = -107*f + 313074. Is 36 a factor of f?
True
Is 5 a factor of (-4)/46 - 49863/(-253)?
False
Let v(a) = 9*a**2 - 28*a. Let i be v(3). Is 14 a factor of 310/5 + i + -4?
False
Let n = -4409 + 18934. Does 18 divide n?
False
Suppose -5*t = 3*b - 933, -t = t - 6. Let p = b + -190. Does 6 divide p?
False
Is -9 + (-50946)/(-8) + (225/(-20) - -12) a multiple of 11?
False
Let x(i) be the first derivative of -i**2/2 - 16*i + 1. Let q be -5 + 19/((-247)/286). Does 11 divide x(q)?
True
Is 7 a factor of (35 + 0 - (-2 - 0))/(384/26880)?
True
Let m = 2586 - 1686. Does 6 divide m?
True
Does 17 divide 1*7549 + -4 + (-299)/(-23)?
False
Let w(z) = -2*z**3 - 27*z**2 - 12*z + 16. Let j be w(-13). Suppose 0 = -0*l - l + 3*m + 74, 2*l - 133 = j*m. Does 4 divide l?
False
Let p be -2 + 1 - -3 - 28/14. Suppose p = -4*g - b + 621, 0 = -4*g - 17*b + 22*b + 639. Is 21 a factor of g?
False
Let s be -3*((-422)/21 + (-12)/21). Let l = -59 + s. Suppose l*b - 8*b + 420 = 0. Is b a multiple of 5?
False
Suppose 0 = 189*c - 1009875 - 470373. Does 8 divide c?
True
Suppose 2*m + 312 = 8*m. Suppose 51*k = m*k - 4. Is 15 a factor of k/(20/85) - 2?
True
Is 38 a factor of 19/((-209)/4587)*-18?
False
Let j(p) = p**3 - 8*p**2 + 28*p - 191. Let u(f) = -f**2 - f - 2. Let s(h) = j(h) - 5*u(h). Is 14 a factor of s(9)?
True
Suppose 120*o = 117*o, b = -4*o + 4398. Is b a multiple of 21?
False
Let r = 189 - 172. Suppose r*b - 210 = 14*b. Is b a multiple of 27?
False
Suppose 117*l = -109*l - 242*l + 1710072. Does 9 divide l?
True
Let k be 2 + -6 + 15 + -7. Suppose 0 = -k*d - g + 749, -12*d - 373 = -14*d + g. Is d a multiple of 19?
False
Suppose -31*q = 43945 - 186080. Is 14 a factor of q?
False
Suppose 51*h - 48*h - 2*p = 14258, -3*p = 3*h - 14253. Is 37 a factor of h?
False
Suppose 4*r - p + 20 = -5, 0 = 3*r + p + 10. Let a = 6 + r. Does 18 divide 897/12*1 + a/4?
False
Let p(i) = i**2 - 14*i + 8. Let n be p(13). Suppose -g = -4*g - 48. Is 25 a factor of -1 - n - (-112 - g)?
True
Suppose -90*c - 33*c + 17*c = -2392738. Does 162 divide c?
False
Let i = -38 + 45. Let l be (-483)/(-147) - (9/i - 1). Is (l + 335/(-10))*-2 a multiple of 5?
False
Let q = 24 - 21. Let s(c) = -57*c + 4 + q - 11 - 1. Does 6 divide s(-1)?
False
Suppose 5*k = 5*x + 19005, -4*k = 41*x - 46*x - 15205. Is 25 a factor of k?
True
Does 13 divide 16 + -12 + (-252)/(-2)?
True
Let b(u) be the third derivative of -u**5/60 - 11*u**4/24 - 4*u**3 + 5*u**2. Let n be b(-5). Is 14 a factor of (n - 103)*-1*1?
False
Let m(g) = g**2 - 14*g - 22. Let a be m(15). Let z(j) = j**3 + 14*j**2 + 11*j + 6. Does 16 divide z(a)?
True
Let n(x) = 317*x**2 + 156*x + 23. Is n(-11) a multiple of 31?
False
Let c be (-22)/(-55) + 13/5. Suppose 36 = x - 3*t, 5*t - 95 = -c*x - 1. Is x even?
False
Let x be (-300)/40*((-159)/15 - -1). Suppose 50*a - x*a = -5016. Is 19 a factor of a?
True
Suppose 4*r + 12 = 11*y - 8*y, -5*r = y + 15. Suppose y = 5*h - 5*v - 920, 8*v - 9*v = h - 184. Does 4 divide h?
True
Let b(y) = -408*y**3