3. Is 60 + -6 + (m - -2) a multiple of 8?
True
Let v be 222/42 - (-4)/(-14). Let p(s) be the first derivative of s**3 - 5*s**2/2 - 7*s + 34. Does 6 divide p(v)?
False
Suppose -5*q + 4*x = -3, 0 = -q - 5*x - 11. Let w(i) = 8*i**2 - 2*i - 3. Let z be w(q). Suppose -z*m + 480 = 39. Is m a multiple of 9?
True
Suppose 115*o - 552179 - 526705 = 23*o. Is o a multiple of 9?
True
Let y(b) = -10435*b - 3172. Is 50 a factor of y(-3)?
False
Suppose 48 = 2*j + 28. Let p = 55 - j. Let q = p + 70. Is 23 a factor of q?
True
Let a(k) = -22*k - 14. Suppose 35 = -b + 6*b. Suppose -64 = b*y - 15. Is a(y) a multiple of 28?
True
Suppose 0 = 2*w + 2 - 12. Suppose 0 = w*b - 33 - 32. Let v = b + 62. Is v a multiple of 15?
True
Suppose 138 = w - 18. Suppose x - 52 = 3*n, 0*n + w = 3*x + 4*n. Is 52 a factor of x?
True
Let r(i) = 742*i**2 + 157*i + 343. Is 29 a factor of r(-6)?
False
Suppose 0 = -5*q + 28 + 747. Suppose -2*c = -2*a - 458, -3*c + 5*a = -0*c - 683. Let s = c - q. Does 10 divide s?
False
Let h be (-120)/18*(-3)/(-12)*-6. Suppose h = 6*x + 4. Is 8 a factor of 170/15*(x - 3/(-6))?
False
Suppose 4*n + 4*y = 14356, y = 12*n - 17*n + 17937. Is n a multiple of 17?
True
Is 7311528/588 - 15/(-35) a multiple of 63?
False
Let o be 0/1 + (6 - (4 - 5)). Suppose -3*c + 4 = o. Is 33 a factor of -1 + 0/c + (14 - -62)?
False
Let j = -5573 - -6350. Is j a multiple of 37?
True
Suppose 0 = 3*a + 2*a + 4*s + 20, -a - 2*s - 10 = 0. Is 31 a factor of 9160/19 + 2/(-19) - a?
False
Let t be ((-2)/(-3))/((-64)/(-96)). Let r(o) = -22*o**2 - 17*o + 9. Let k(f) = 7*f**2 + 6*f - 3. Let p(z) = -8*k(z) - 3*r(z). Is 3 a factor of p(t)?
False
Let s be (2/7 - (-957)/203) + 1. Does 33 divide 4*s/72 + 2031/9?
False
Let m = -63435 + 166005. Is m a multiple of 30?
True
Let h(n) = 277*n**3 - 10*n**2 + 142*n - 7. Is h(4) a multiple of 140?
False
Let h be -13 + 0 + 25 + -20. Is 42 a factor of ((-734)/h)/(16/64)?
False
Let b = 2305 + 2722. Does 8 divide b?
False
Suppose -2*u + 6 = 5*z, -2*z + 3*u + 15 = 8*u. Suppose -c + 3*c - 180 = z. Let v = -48 + c. Does 22 divide v?
False
Let q(x) = 14*x**3 - 41*x**2 + 367*x - 11. Is q(8) a multiple of 97?
True
Let k = 615 - 224. Let r = k + 36. Does 46 divide r?
False
Suppose 21*i - 23969 - 8623 = 0. Is i a multiple of 70?
False
Let h(s) = -s**3 - s**2 - s - 3. Let o be h(0). Let t be 154 - (2 - (o - 0)). Let l = t + -9. Does 16 divide l?
False
Let g = -23327 + 36285. Suppose -g = -14*d - 1870. Is 33 a factor of d?
True
Suppose -33220 = -48*n + 873260. Is 7 a factor of n?
False
Let w(p) = -542*p - 1478. Is w(-9) a multiple of 50?
True
Let v = -271 + 279. Does 29 divide -261*(v/6 + (-248)/93)?
True
Let m be (-486)/135 - 2/5. Does 8 divide 24/(-14)*((-38 - 0) + m)?
True
Is (-4)/((-16)/63606) + -14 + (-899)/(-58) a multiple of 26?
False
Let n = 0 + -4. Let f be (-98)/n - 45/30. Let w = 35 - f. Does 12 divide w?
True
Suppose 23 = -3*p + d, p - 2*d + 3 = -3. Let s = -24790 - -24796. Does 17 divide p/s*255/(1 + -6)?
True
Suppose 2*d - 5853 = -2*y - 443, 0 = -9*d - y + 24369. Is d a multiple of 83?
False
Suppose 0 = 64*z - 75183 - 9538 - 622991. Does 8 divide z?
False
Is ((-6087)/(-2))/(24/48) a multiple of 12?
False
Let n = -2513 - -22754. Is n a multiple of 173?
True
Suppose -7*b + 17714 = -57060. Is b a multiple of 14?
True
Suppose 0 = -2*m + 12*h - 9*h + 60814, -121620 = -4*m + 4*h. Does 9 divide m?
False
Let y(i) = 2*i**2 + 9*i - 21. Let j(t) = -t**2 + t + 1. Let n(u) = 3*j(u) + y(u). Let k be n(10). Suppose k*s = -0*s + 16. Is s even?
True
Let i(c) be the second derivative of c**5/20 + 7*c**4/4 + 11*c**3/6 - 43*c**2/2 - 5*c. Is i(-20) a multiple of 18?
False
Let p be (29 - 24) + (4 - 0/2). Suppose -2*i - 608 = -4*v, -2*v = -5*i + p*i - 314. Is 42 a factor of v?
False
Let u = -627 + 1347. Does 2 divide u?
True
Suppose -94 = 5*s + 36. Let p = s - -26. Suppose 2*w - 5*k - 183 = p, 0 = -w - k - k + 105. Is w a multiple of 9?
True
Let a(p) = -p - 5. Let t be a(-9). Let u be -6*t/(-3) - (3 - 0). Suppose -2*h = h + 9, 4*h = u*z - 162. Is z a multiple of 9?
False
Suppose 2*w + 51830 = 5*a, 41464 = 4*a - 52*w + 53*w. Is 146 a factor of a?
True
Let w be -1*3/15 + (-471)/(-5). Suppose 2*m - w = 4*m. Let z = -40 - m. Is 7 a factor of z?
True
Suppose -14*t = -24*t + 62419 - 16989. Does 51 divide t?
False
Let v(z) = 4*z**2 - 3*z**2 - 38*z + 2*z**2 + 130 + 39*z. Is 26 a factor of v(0)?
True
Let q be (44/(-20) - -2)*-5*7. Suppose 5*u + 4*l = q*l + 28, -4*l = 5*u - 21. Suppose -w = 5*o - 827, 5*w = u*o + 8*w - 821. Does 14 divide o?
False
Let w = 243 - 335. Let q = w + 196. Does 52 divide q?
True
Let g(o) = -8*o + 152. Let k be g(19). Suppose 20*u + 735 - 13295 = k. Is 46 a factor of u?
False
Suppose 3*o + 3*b - 9 = 0, 3*o - 5*b = -2*b + 21. Suppose 19*n + 2943 = 2*k + 20*n, -7355 = -o*k - 2*n. Is k a multiple of 100?
False
Suppose 2*w + 59830 = 2*f, 5*f - 3*w - 73660 = 75925. Is f a multiple of 53?
False
Let h be ((2 + 26/(-10))*15)/(-3). Suppose -1309 = -4*r + d, h*r + 60 = 5*d + 1029. Is 59 a factor of r?
False
Suppose 0 = -78*o + 67*o + 3630. Is 15 a factor of o?
True
Let v = 166 - 159. Suppose -v*z + 468 - 104 = 0. Is z a multiple of 3?
False
Let l(f) be the third derivative of -4*f**5/15 - 5*f**4/12 + f**3/3 - 7*f**2. Let v be l(-5). Is 2/(3 - (-1036)/v) a multiple of 13?
False
Suppose 0*m - 2*m + 4*t - 1364 = 0, 0 = 4*m - 4*t + 2740. Let n be m/(-7) - 4/14. Suppose -5*s + 3*s = -n. Does 23 divide s?
False
Is 0 + 4/22 - 18794610/(-4785) a multiple of 4?
True
Is 16 a factor of (2312/8 - -9) + 6?
True
Let a = 12 - 10. Let p(j) = 2*j**2 - 4*j + 2. Let r be p(a). Suppose -490 = -r*q - 3*q. Does 14 divide q?
True
Suppose -d + 28*b = 27*b - 2066, 8248 = 4*d + 4*b. Let g = d - 1245. Does 13 divide g?
True
Let x = 7 + -55. Let j = x + 24. Does 3 divide (-624)/(-15) - (2 + j/10)?
True
Let n = 5081 + -3075. Is n a multiple of 17?
True
Let p(y) = -y**3 - 9*y**2 - 39*y - 38. Let a be p(-16). Suppose -5*r = d - a, -469 = -r - 12*d + 14*d. Is r a multiple of 11?
False
Does 45 divide -21 + 16 - 5/(10/(-8908))?
False
Does 109 divide (-1)/3 - (-1751878)/282?
False
Suppose 14 = 4*h + 2*m, 0 = 3*h + h - m - 17. Suppose h*o - 3*y = -27, 2*y - 16 = o + o. Does 3 divide 18/12*(-14)/o?
False
Suppose 4*z - z + 11*n = 107021, 5*n = -z + 35683. Is 32 a factor of z?
True
Suppose 0 = -p + 252 + 1230. Does 130 divide p?
False
Let d = 20 - 20. Suppose 3*y + 1358 = -2*v, -3*v - 1353 = -d*y + 3*y. Is 12 a factor of y/(-19)*(-4)/6*-9?
True
Let q(u) be the first derivative of u**4/2 - 7*u**3 + 3*u**2/2 + 13*u + 69. Is q(11) a multiple of 21?
False
Suppose -1099 = -7*o + 2058. Let w = o - 223. Does 12 divide w?
True
Suppose -3*z + 89 = -100. Is 71 a factor of (-36)/z + (-5146)/(-14) + 4?
False
Let s(l) = 2*l**2 - 30*l + 26. Does 37 divide s(-46)?
False
Let n(j) = -56*j + 28. Let x be n(-5). Suppose 159*a - 163*a + x = 0. Does 19 divide a?
False
Let r be (45/35 - (-14)/(-49)) + 2. Does 21 divide 106 - 101 - (-606 + r + -1)?
True
Let w be 0/((-4)/(6/(-3))) + -275. Let d = -136 - w. Is 5 a factor of d?
False
Suppose -2*h = 4*l - 19024 - 2558, l = 2. Does 255 divide h?
False
Suppose 0 = -3*q - 3*x + 59985, -18557 = -2*q + 2*x + 21421. Is q a multiple of 56?
True
Suppose -75*a + f - 34400 = -77*a, 0 = a - f - 17203. Is a a multiple of 103?
True
Let v(y) = 15*y**2 - y - 13. Suppose 0 = 5*m - 5*j + 45, -4*m + j - 3*j = 12. Is 25 a factor of v(m)?
False
Suppose 2*v - 16710 = -3*w + 18376, 5*w - v = 58507. Is w a multiple of 45?
True
Suppose 0 = -3*z - m + 12, -2*m - 14 - 2 = -4*z. Suppose 4*b - 5*b = 4*o - 288, 3*o - 1217 = -z*b. Is b a multiple of 14?
True
Let r be -5 + 9 - (2 + 0). Suppose -u + 2*u = m + 1, 0 = 2*u - 3*m + r. Suppose 4*z - d = 145, 9*z - 5*z + u*d = 139. Does 8 divide z?
False
Let n(b) = b**3 - 7*b**2 - 7*b. Let g be n(8). Suppose r + 14 = g*r. Suppose 2*p = r*l - 0*p - 230, 4*p = -l + 135. Is l a multiple of 7?
True
Does 4 divide (6986/(-112)*-20)/(-1 + (-51)/(-36))?
False
Let j(n) be the third derivative of n**5/10 - 11*n**4/24 - 34*n**3/3 - 165*n**2. Is 13 a factor of j(14)?
False
Let y(x) = 2850*x - 10494. Is y(21) a multiple of 36?
True
Is 10 - 1168/(-20)*(-1240)/(-16) a multiple of 6?
True
Let x(j) = j**2 - 33*j - 448. Is 213 a factor of x(-77)?
False
Suppose f - 38 = -4*t + t, 2*t = f