59 + 145858. Is 14 a factor of o?
False
Let v = 1508 + -749. Is v a multiple of 14?
False
Let r = -4 - -6. Let d be (-300)/14*(5 - 12). Suppose d = r*s - 124. Is 17 a factor of s?
False
Let o = 58 - 53. Suppose -o*l - 2*j = -38, l - 8 = -4*j - 4. Is ((-30)/8)/(l/(-96)) a multiple of 9?
True
Suppose 0 = 9*f - 2236 - 86. Let p = f + -103. Is 14 a factor of p?
False
Let t(b) = -9129*b**3 + 12 - 18*b + 7*b - 6*b + 36*b**2 + 9131*b**3. Is 19 a factor of t(-18)?
False
Let x(s) = 35*s**3 - 4*s**2 + 95. Does 28 divide x(7)?
False
Let q be 5 - (-4 + -1 + 4)*-3. Suppose 714 = q*h - 126. Is h a multiple of 15?
True
Is 4 a factor of (54225/10)/9*(6 + 2)?
True
Let c(m) = -m**3 - 17*m**2 - 13*m + 20. Let l be c(-7). Let a = l - -490. Does 6 divide a?
False
Let z(n) = n**2 + 25*n - 20. Let g be z(-26). Is 35 a factor of ((-24)/(-20))/(g/440)?
False
Let w(y) = -6*y + 81. Suppose -54*z + 133 = 619. Is 13 a factor of w(z)?
False
Suppose 0 = 4*q + 4*v - 28, -5*q + 59 = -2*v + v. Let u(o) = 2*o**2 - 15*o - 7. Let x be u(q). Let t = x - 55. Is 3 a factor of t?
True
Suppose 4*o = -2*j + 1398, -4*j - 2*o = -j - 2109. Let f = j - 369. Is 21 a factor of f?
True
Let t(i) = 677*i - 610. Is 29 a factor of t(41)?
False
Let s = -20451 + 31035. Does 98 divide s?
True
Suppose -38 = -4*r - 3*s, 16 = 2*r + 5*s - 10. Does 17 divide 20/(r - 4)*(-612)/(-30)?
True
Suppose 9831 = 5*m + 3*c, 0 = 69*m - 72*m + 5*c + 5919. Does 246 divide m?
True
Let a = -7085 - -8998. Is 10 a factor of a?
False
Suppose 0 = v + 4*v + 4*v. Suppose -s - 9 = 4*b, -5*b + 0*b + 15 = v. Let f = s + 36. Is f a multiple of 6?
False
Suppose 0 = 4*w - 8, 0*x + 36 = 4*x + 4*w. Let i be 4/(3 - x) - -81. Suppose 2*t = 66 + i. Is t a multiple of 12?
False
Let g(w) = 0*w - 12 + 2*w - 5. Let c be (162/30 - 5) + 53/5. Is 5 a factor of g(c)?
True
Suppose 5*x = l - 286, -l - 2*l + 4*x = -836. Suppose b - l = 7*b. Let y = b + 182. Does 10 divide y?
False
Let d be -3 - -38 - (-13 - -10). Suppose 0 = 3*t - 3*q - 876, -5*q = -37*t + d*t - 280. Does 27 divide t?
False
Suppose -17 = -2*w - 3*t, -4*w - 3*t = w - 29. Suppose r + w*r = 320. Let j = r + 11. Is 9 a factor of j?
False
Suppose 5*r = 13 + 12. Suppose 2*s + r = 11. Is (404 - -4)*(-1 - s/(-2)) a multiple of 17?
True
Let l be 3/2 - (-3192)/16. Let k be -9*(-1 - (-4 + 2) - 0). Let h = k + l. Does 25 divide h?
False
Let q(y) = -11*y + 30. Let w = 176 - 178. Is 10 a factor of q(w)?
False
Suppose 150*j - 125*j = 43500. Does 174 divide j?
True
Let c be (0 - -2)/((-10)/(-15)). Let o = 16 - c. Suppose -6*w - 336 = -o*w. Is 11 a factor of w?
False
Let v = 191 + -165. Suppose 23*g - v*g = -1050. Is 35 a factor of g?
True
Let f(k) = 3*k**2 - 7*k + 6. Let o(v) = -4*v**2 + 8*v - 7. Let c(h) = 3*f(h) + 2*o(h). Let w be (-3)/((-24)/7 - -3). Is 18 a factor of c(w)?
True
Is 94 a factor of 3/(-15) + (-1280493)/(-365)?
False
Let r(p) = p**3 - 17*p**2 + 10*p - 162. Does 26 divide r(25)?
False
Suppose r + 4*a = 1725, -13*r + 15*r - 5*a - 3476 = 0. Is r a multiple of 64?
False
Suppose 19*v - 94008 = 157808 - 11390. Is v a multiple of 222?
True
Let w(o) = o**2 + 9*o - 8. Let c be w(-10). Suppose 0 = c*b - l - 410, 3*b - 610 = -l - 0*l. Does 17 divide b?
True
Let z = -231 - -227. Does 6 divide -18*z/30*20?
True
Let t be (32/20 + -4)/((-2)/5). Suppose 0 = -a + 4*d - t, d - 3 = -a - 29. Is (-7)/(7/a)*2 a multiple of 44?
True
Let b be (10 - -102) + -2 + 4. Let x = b - 74. Let h = 196 - x. Is h a multiple of 53?
False
Suppose 0 = 9*f - 123 - 93. Suppose -o + 27 = f. Is o even?
False
Let b(w) = -5*w - 9. Let r = -40 + 36. Let p(t) = 5*t + 10. Let y(k) = r*b(k) - 3*p(k). Is 37 a factor of y(8)?
False
Suppose 15*f - a - 5356 = 0, 3*f + 2*f + 3*a - 1782 = 0. Does 17 divide f?
True
Let y = 12069 + -4353. Does 94 divide y?
False
Let l(q) = -70*q**3 - 13*q**2 - 51*q - 12. Is l(-5) a multiple of 11?
True
Let m(d) = 18*d**2 + 6*d - 3. Let w = -450 - -445. Is m(w) a multiple of 28?
False
Let d = -11 + 13. Is (-2857)/(-6) - d/12 a multiple of 14?
True
Let j(s) = -s**2 + 24*s + 25. Let y be j(25). Suppose y = -p - 7 + 10, 0 = -3*b + 5*p + 72. Is b a multiple of 6?
False
Suppose -9*c = -6*c - 3273. Let j = 1588 - c. Does 12 divide j?
False
Let g(u) = -396*u + 682. Does 13 divide g(1)?
True
Is (14/((-406)/7221))/(6/(-68)) a multiple of 3?
False
Suppose 5*y = 4*y - 13. Let i(u) = -u**3 + u + 1. Let n(j) = 4*j**3 - 11*j**2 + 12*j - 8. Let b(v) = 5*i(v) + n(v). Is b(y) a multiple of 15?
False
Let o(w) = -w + 5. Let p be 4 - (2/(-4))/(6/(-36)). Let l be o(p). Suppose 252 = -z + l*z. Is 23 a factor of z?
False
Let y = 558 - 789. Let v = y - -246. Is v a multiple of 3?
True
Let d(m) = -52*m + 359. Let f(g) = -35*g + 239. Let n(o) = 5*d(o) - 7*f(o). Is n(-6) a multiple of 43?
False
Let r = 245 - 160. Suppose -12 = 4*g - 104. Let f = r - g. Does 31 divide f?
True
Let v(u) = 2683*u**2 + 237*u - 10. Does 130 divide v(5)?
True
Suppose -111*w + 7*v = -115*w + 2469, -4*w + 5*v = -2433. Is 18 a factor of w?
True
Let a(p) be the second derivative of -10*p**3/3 + 19*p**2/2 + 19*p. Let c be a(4). Let r = 119 - c. Is 12 a factor of r?
True
Let d = 588 + 5611. Is 9 a factor of d?
False
Let r = 77 + -66. Suppose 240 = 17*s - r*s. Is s a multiple of 8?
True
Is 65 a factor of (-7670)/((-480)/288 - (-1)/(-3))?
True
Suppose 3*a - 280 = -4*y, 3*y - 64 = -a + 151. Let h = 244 - y. Does 19 divide h?
True
Let r = 802 + -797. Suppose r*i - 4*n = 1546, -11*i + 608 = -9*i + n. Is i a multiple of 85?
False
Suppose 0*y + 2*y - 10 = 0, 4*y = -3*l + 11. Is 7 a factor of (6 + l)/(-3)*-217?
True
Let r(w) be the third derivative of -w**5/120 + 15*w**4/8 + 7*w**3/6 - 25*w**2. Let x(k) be the first derivative of r(k). Is x(-7) a multiple of 13?
True
Suppose 5*p - 3*i - 3929 = 0, -2*i - 2*i + 1556 = 2*p. Suppose -180*k + 188*k = p. Is k a multiple of 40?
False
Suppose 0 = -2*s + 5*x - 358, 0 = -0*s + 3*s - 2*x + 548. Suppose b = -4*f - 74, 14*f - 16*f - 272 = 3*b. Let g = b - s. Is 18 a factor of g?
True
Let q = 262 + -241. Let h = 141 - q. Is h a multiple of 12?
True
Does 4 divide ((-588)/686)/((-1)/(-42))*-6?
True
Suppose 4*s = -3*g + 32, 5*g - s - 36 = s. Suppose -m - x = x + g, 4*x = -3*m - 20. Does 25 divide (15/10)/((-3)/1400*m)?
True
Let p(d) = 16*d - 14. Let r be p(3). Let v = -25 + r. Suppose 3 = v*b - 501. Is 7 a factor of b?
True
Suppose -279*w - 236 = -282*w - 4*f, 176 = 2*w - 2*f. Does 54 divide w?
False
Let l = 112 - 229. Let k = -114 - l. Let p(x) = 20*x - 21. Is p(k) a multiple of 6?
False
Let w = 395 + -350. Suppose 0 = 48*x - w*x - 3888. Does 18 divide x?
True
Let a be (-399606)/90 + 5/75. Does 74 divide (32/10)/((-16)/a)?
True
Let m(t) = t**3 + 5*t**2 - 19*t - 64. Let q be m(-6). Suppose 6487 = q*j - j. Does 23 divide j?
False
Suppose -3*o + 1079 - 929 = 0. Is -312*45/2*(-5)/o a multiple of 18?
True
Let g be -3 + 2 - 282/6. Let u = 71 + g. Suppose b + u = 151. Does 6 divide b?
False
Let p(b) be the first derivative of b**5/10 + 2*b**3/3 - 15*b**2 + 20. Let o(a) be the second derivative of p(a). Is 28 a factor of o(-3)?
False
Suppose 2*v - 6 = 0, -2*q - 15*v + 9165 = -20*v. Is 51 a factor of q?
True
Is (1*404)/((-340)/(-5440)) a multiple of 64?
True
Let m = 110 + -2045. Is m/(-21) - 5/35 a multiple of 23?
True
Suppose 288984 = -151*t + 3260966. Is t a multiple of 74?
False
Let q be (-5)/(-2) + (8 + 0)/16. Suppose 2626 = 5*z - q*i, 18*z - 2641 = 13*z - 2*i. Does 17 divide z?
True
Let n = -27888 + 48313. Is 15 a factor of n?
False
Suppose -79*r = 110*r - 4445280. Is 112 a factor of r?
True
Suppose -82*n = -85*n - 64*n + 735660. Is 18 a factor of n?
True
Suppose -4*m + 4 = -3*d, -d = 2*d + 3*m - 3. Suppose 3*i - f - 11 = d, -12 = 5*i + 5*f + 3. Suppose i*w - 89 = -k - 3*w, 5*k - 330 = -2*w. Does 21 divide k?
False
Let g be (-3)/2*(3 - 1). Let x be (2/g)/(4*(-6)/180). Is (-648)/(-45)*1*x a multiple of 12?
True
Suppose -3*a + 84 = -a. Let s be (a/(-63))/(2/(-57)). Let v = s + -10. Is v a multiple of 2?
False
Suppose 108*v = 36*v + 113400. Does 15 divide v?
True
Let z be (62/(-4))/(10/1860). Let y = -1842 - z. Suppose 2*x = -2*b + 408, b - 2*x - y = -4*b. Is 35 a factor of b?
False
Let h = -2314 + 2924. Does 122 divide h?
True
Suppose -2*i = 5 - 7, -5*i = -n + 3. Suppose 36*p - n*p - 20692 = 0. Does 44 divide p?
False
Let f(k) be the