98. Is 20 a factor of g?
False
Let r(z) = 3*z**2 + 2*z - 3. Let x be r(-3). Is (-24)/5*(-60)/x even?
True
Let n be 3*(-4 - -9 - 7). Let t(i) = i**3 + 9*i**2 - 2*i - 10. Does 10 divide t(n)?
True
Let l = 68 + -64. Suppose 3*x - 576 = -l*s - 119, 5*x + 2*s = 757. Is 9 a factor of x?
False
Suppose 1080 = 5*c - 750. Suppose -21*t = -24*t + c. Does 17 divide t?
False
Suppose -4*m = 3719 - 10519. Does 20 divide m?
True
Let t(j) = j**3 + j**2 + 2*j + 576. Does 24 divide t(0)?
True
Suppose 0 = 4*l - p - 221, 30 - 302 = -5*l - 3*p. Let o be ((-1)/3)/((-5)/(-195)). Let b = l + o. Is 14 a factor of b?
True
Suppose -2 = 15*v + 28. Is 16 a factor of ((-9)/(-9))/(v/(-136))?
False
Suppose 0 = x + 2*v - 1158, -5*x + 1467 + 4305 = v. Is 36 a factor of x?
False
Is (1012/3 - 0)/((-9)/(-27)) a multiple of 21?
False
Let d(m) = m**3 + 18*m**2 - 24*m - 27. Suppose -4*r - 2*g - 84 = 0, 3*g = -4*r - 127 + 39. Does 17 divide d(r)?
True
Let u(j) = 27*j + 47. Does 86 divide u(21)?
False
Let x(q) = -q**3 + 8*q**2 - 7*q + 4. Let j be x(7). Suppose -j*b + 303 = 3*k, -4*k = -3*b - 2*k + 223. Does 15 divide b?
True
Let y(o) = -4*o + 5*o - o + 16 + 2*o. Let i be y(10). Suppose 0 = 3*l + 3 - i. Is 2 a factor of l?
False
Let h be (-2)/7 - (-64)/28. Suppose 4*k + 208 = 4*y, -y + k + 62 = -h*k. Let f = y + -22. Is 7 a factor of f?
False
Let n(y) = y**2 + y - 5. Let v be n(-3). Is 36 + -4 + v - 0 a multiple of 13?
False
Let y(k) = 55*k - 12. Let l(z) = 37*z - 8. Let p(d) = -7*l(d) + 5*y(d). Is p(7) a multiple of 18?
True
Let x(z) be the second derivative of 3*z**5/20 - z**4/2 + z**3/6 + z**2 + 4*z. Let g be x(4). Let k = 195 - g. Does 28 divide k?
False
Let w = -1248 - -1815. Is 63 a factor of w?
True
Suppose 4*v + i = -31, 4*v + 3*i + 9 = -28. Let c be ((-7)/2)/v*92. Suppose 0 = -4*a + 2*m + 168, -3*m + c = 4*a - 142. Is a a multiple of 15?
False
Let v be -1 + (2 - 4/(-2)). Is 34 a factor of (v*8/(-36))/((-4)/930)?
False
Suppose -5*v + 2*r - r = -658, -3*r - 390 = -3*v. Is 12 a factor of v?
True
Let v(d) = 2*d**2 - 37*d + 700. Is v(46) a multiple of 21?
False
Let c(q) = 6*q + 33. Let y be c(-5). Suppose k = -5*l + 32, 0*k + y*l + 151 = 4*k. Is 12 a factor of k?
False
Let d be (-4)/14 - 8040/84. Is 11 a factor of ((-39)/(-6))/(-3*4/d)?
False
Suppose -3*y - 2*k = -163 + 15, 4*y - k - 190 = 0. Let h be (-32)/14 + (-6)/(-21). Let v = h + y. Is 10 a factor of v?
False
Let c(a) = a**3 + 21*a**2 + 35*a + 19. Let q be (29/(-58))/((-2)/(-76)). Does 8 divide c(q)?
False
Suppose -2*m = -3260 + 2104. Does 79 divide m?
False
Suppose 5*q - 370 = 4*i, 5*q - i + 6*i = 325. Suppose 3*v - 2*v = q. Suppose -2*o + v = 3*o. Does 14 divide o?
True
Suppose -354*o = -367*o + 16380. Does 35 divide o?
True
Let r = 3228 + -2283. Is r a multiple of 16?
False
Suppose b + 5 = r, -5*b + 0*b = -r + 5. Let y = r - 0. Let k = y - -22. Is 13 a factor of k?
False
Suppose 3*f - 4*d = 344, -236 = -3*f + 2*d + 98. Is f a multiple of 15?
False
Suppose -3*r - 2*f + 488 = -4*f, -r = -f - 164. Is 16 a factor of r?
True
Let q(x) be the third derivative of -x**5/60 - x**4/4 + 7*x**3/6 - 2*x**2. Does 3 divide q(-4)?
True
Let b = 1399 - 1235. Is 4 a factor of b?
True
Suppose -2 = -2*d - 5*w - 17, -d - 4*w = 9. Let k(v) = 6*v**2 + 3*v + 2. Is 32 a factor of k(d)?
False
Let l = -277 - -99. Let t = 339 + l. Is 30 a factor of t?
False
Suppose 17*l = 15*l + 3*i + 9490, -5*l + 5*i = -23725. Is 13 a factor of l?
True
Let b = 20 - 9. Suppose -b*j = -7*j - 108. Does 5 divide j?
False
Let j(g) = g**2 + 9*g - 5. Let u = 12 + -21. Let p be j(u). Is 2 a factor of p/30 + (-52)/(-24)?
True
Suppose -19*o + 16*o = -1152. Is o a multiple of 32?
True
Let o be 9/6*-2*18. Let g be (32/6)/(4/o). Does 16 divide (g/(-7))/((-30)/(-140))?
True
Is 122 a factor of 12/21 + (-62586)/(-14)?
False
Suppose y = -1, 3*j + 2*y - 3*y = 16. Suppose 0 = j*i + c - 266 - 87, 3*c + 77 = i. Suppose 0 = -4*w + i + 1. Is w a multiple of 4?
False
Let w be (-5 + 4)/(1 - 0). Let p be 13 + ((-2)/w - 3). Is p/(-42) - (-457)/7 a multiple of 13?
True
Let v = -88 - -187. Does 13 divide v?
False
Does 118 divide (0 - 1)*11/(-33)*2607?
False
Let u = -2 + -75. Let p = -3 - -5. Is 24 a factor of p/(-7) + (-5412)/u?
False
Let d(k) = k**3 - 9*k**2 + 11*k - 10. Let w be d(8). Suppose -w = 5*y + 6. Does 2 divide (y/(-8))/(2/8)?
True
Suppose 0 = 41*z - 44*z + 9. Let s(h) = 12*h**2 + 3*h + 8. Does 20 divide s(z)?
False
Suppose 3*d - 15 = 3*m, -5*d + 6 + 17 = -4*m. Suppose d*h = 238 + 113. Does 13 divide h?
True
Let q(w) = -7*w**3. Let z = -16 + 15. Let c be q(z). Suppose -180 = c*x - 10*x. Is x a multiple of 15?
True
Let w = 921 - -549. Is 15 a factor of w?
True
Let u = -191 - -351. Suppose -5*k + 660 = u. Let a = -55 + k. Is a a multiple of 14?
False
Let f be 124/3 + 6/9. Let g = f + -15. Does 9 divide g?
True
Suppose 0 = 33*x - 13*x - 8160. Does 8 divide x?
True
Let s(v) = -1 - 1 - v + 0 - v. Let k be s(-3). Suppose 4*d - 4*f + 164 = 8*d, -k*d + 3*f = -185. Is 15 a factor of d?
False
Suppose -2*x = 5*g + 2*x - 400, 4*g - 3*x - 289 = 0. Let v = g - -221. Is 13 a factor of v?
False
Suppose -181 = 11*i + 61. Let f = i - -50. Does 5 divide f?
False
Suppose 26 - 10 = c. Let b(f) = -f**3 + 15*f**2 + 20*f - 7. Does 43 divide b(c)?
False
Suppose h - 12 = -3*h, 4*c - 2*h + 178 = 0. Let f = -18 - c. Let j = f - -17. Is j a multiple of 14?
True
Let l(n) = -146*n - 67. Does 39 divide l(-5)?
True
Let w(t) = 22*t + 2. Suppose 0 = -3*f + 21 - 3. Let g be (-8 + 15)*f/14. Is w(g) a multiple of 19?
False
Suppose -2*r + 3*r - 6 = 0. Let b be (-5)/(-15) + r/9. Does 2 divide 3/b*(-1 - -2)?
False
Let c = 1647 - 431. Is 16 a factor of c?
True
Let j be ((-56)/(-10))/(20/(-1000)). Let n = j - -399. Is 28 a factor of n?
False
Let m(k) = -k**2 - 9*k - 5. Let v be m(-8). Suppose v*c + 2*c + 75 = 0. Let f = c - -20. Is 5 a factor of f?
True
Suppose 4*f + 5*t - 1673 - 1009 = 0, -2*f + 4*t = -1328. Does 3 divide f?
False
Suppose 0 = -2*z + 6. Let n(g) = -2*g**z + 0*g - 12 - 4*g**3 + 15*g + 5*g**3 + 11*g**2. Does 6 divide n(12)?
True
Suppose 34650 = 102*x - 52*x. Is 63 a factor of x?
True
Let m be 7/(14/(-8)) + -437. Let p = m + 660. Let z = p + -149. Does 28 divide z?
False
Let r be (-22)/132 + 5918/12. Let a = r + -340. Does 51 divide a?
True
Suppose -5 - 3 = -4*h. Suppose h*b = -3*b + 195. Let u = b - 19. Is 20 a factor of u?
True
Let z(p) = p + 3. Let i be z(-3). Suppose -w = 2*g - 150, -w - 4*w - 5*g + 765 = i. Is w a multiple of 12?
True
Let w = -61 - -125. Let t = w - 48. Is 4 a factor of t?
True
Does 13 divide 205 - ((6 - 10) + 3)?
False
Let z(q) = 5*q**3 - 9*q**2 - 59. Is z(8) a multiple of 6?
False
Let q = -38 + 40. Let s = 6 + q. Is s a multiple of 8?
True
Let f be 4/3*(-9)/(-6). Let b = -185 - -187. Suppose 0 = -b*w - f*w + 112. Does 14 divide w?
True
Does 60 divide 180/((-138)/(-184) - 2/(-8))?
True
Let v(g) = g**3 - 26*g**2 + 60*g - 59. Is v(24) a multiple of 149?
False
Suppose 5*l - 100 = -2*f + 9*l, 0 = -3*f - 5*l + 106. Is 6 a factor of f?
True
Let w(p) = p**3 + 8*p**2 - 12*p - 6. Suppose -22*f + 24*f = 90. Let b = 37 - f. Is w(b) a multiple of 10?
True
Let u(s) = 5*s + 110. Does 4 divide u(-8)?
False
Let z(a) = a**3 - 6*a + 5. Let d be z(2). Let q(u) = u**2 - 6*u - 9. Let y be q(7). Does 3 divide 12*(2 + d/y)?
True
Let o = 227 - 356. Does 31 divide o/(1/(-2) + -1)?
False
Let a(r) = 43*r + 248. Is 16 a factor of a(24)?
True
Let v = 1558 - -710. Does 27 divide v?
True
Let y = 431 + -339. Is 23 a factor of y?
True
Let h = 308 + -219. Is 16 a factor of h?
False
Suppose 2*d = -3*t - 4, d = 4*d - t + 6. Let r be 25 - (d + (-1 - -4)). Suppose 3*w = -3*x + 45, 4*x - 30 - r = -w. Does 11 divide x?
False
Let b = -692 + 1771. Is 6 a factor of b?
False
Let b(j) = -2*j + 28. Let w(m) = -m + 27. Let v(z) = -2*b(z) + 3*w(z). Is 12 a factor of v(-13)?
True
Let g be (-4 + 2)*390/(-12). Let n be (78/g)/((-2)/180). Let u = -37 - n. Is 18 a factor of u?
False
Suppose 3*u - 12 = -u. Suppose 3*z - 2*b - 83 = u*b, b = 4*z - 105. Is z a multiple of 9?
False
Suppose -5*h - 3*k + 272 = 0, -2*k - 71 = -5*h + 181. Suppose a = -a + h. Suppose 0 = -a*x + 29*x - 9. Is x a multiple of 3?
True
Let a(p) = -2*p + 14. Let b be -10 + (-4)/8*4. Let f be b - ((-3 - -6) + -5). Is 21 a factor of a(f)?
False
Let j(g) = -34*g - 372. Let f