 Is 18 a factor of s?
True
Suppose 2894 = 161*r - 53134. Is r a multiple of 87?
True
Let c be 3/(0 - 3)*(6 - -2). Does 8 divide -3 - -645 - c/(-4)?
True
Suppose -5*g = -5*u + 11110, g + 5*u = u - 2202. Let i = 3583 + g. Is i a multiple of 24?
False
Suppose 61*l - 68*l = -68*l + 383019. Is 69 a factor of l?
True
Let w be (15/(-25))/((-18)/330). Suppose w*l - 1693 = 7008. Is 14 a factor of l?
False
Let l(h) be the first derivative of -h**3/3 - 15*h**2/2 - 23*h + 9. Let f(y) = 3*y + 50. Let p be f(-20). Is 11 a factor of l(p)?
False
Suppose 5*t + v = 4*v - 27, -5*t - 5*v = -5. Let c(h) = -245*h. Is c(t) a multiple of 68?
False
Let b = 172 + -164. Suppose -r + 3*v = 7*v - 4, -4 = -5*r - 4*v. Suppose r = -12*f + b*f + 76. Does 8 divide f?
False
Suppose -3*d = 3*x - 47433, -4*d + 20923 = -2*x + 52521. Does 33 divide x?
True
Let d(p) = -2*p**3 - 11*p**2 - 14*p + 3. Let k be d(-2). Suppose 0 = k*o + 3, -r + 4*o - 1289 = -4*r. Is r a multiple of 20?
False
Does 13 divide (-21)/3 + 1*1457?
False
Suppose 7514 = -18*p + 20*p. Is 8 a factor of 2/(-4) - (p/(-2))/13?
True
Let q(y) = 71*y**2 + 172*y + 7. Is q(-4) a multiple of 2?
False
Let r be (15/4 - -1)/((-5)/(-220)). Suppose 3640 = 216*f - r*f. Is 13 a factor of f?
True
Suppose 1106*f + 122378 = 1149*f. Is 10 a factor of f?
False
Let c be (-15)/(-2) - 2 - (-1)/(-2). Suppose -c*l + 166 = -174. Suppose 5*f - 3*f - l = 0. Is 11 a factor of f?
False
Let b = -129 - -135. Suppose b*z = -c + 4*z + 359, -3*c - 5*z = -1073. Does 11 divide c?
False
Suppose 60*l - 61*l = -45. Is (-142)/(-4)*(47 - l) even?
False
Let h(o) = 338*o**2 + 7*o - 5. Let m = 153 - 152. Is 10 a factor of h(m)?
True
Suppose -33*q + 2*s = -31*q - 146622, -4*q + 3*s + 293236 = 0. Is 380 a factor of q?
False
Let v = 872 - 1639. Let f = -630 - v. Does 9 divide f?
False
Let b(c) = -c**3 + 4*c**2 - 8*c + 19. Let v be b(3). Suppose 3*q + 2*j = 7*q - 1466, -5*q + v*j + 1837 = 0. Is 54 a factor of q?
False
Let i be 1568/21*((-11)/(-2) + -1). Does 14 divide (-2)/21 - (-302432)/i?
False
Suppose -5 - 13 = -6*g. Suppose -g*t = 4*s - 95, -5*t + 32 = -3*s + 125. Let b = 76 - s. Is b a multiple of 10?
True
Suppose 0 = -16*w + 6*w + 30. Let j(m) = 0*m + 3*m - 6 + 9*m**2 - 4*m. Is 6 a factor of j(w)?
True
Let z(a) = 9*a**2 - 6*a - 14. Let l(q) = -q**2 - 2*q + 16. Let s be l(-6). Is z(s) a multiple of 61?
True
Is (13/(-2) + 6)/(((-52)/(-568))/(-13)) a multiple of 2?
False
Suppose 5*u = 3*g + 1555, 4*u + g - 1271 = -2*g. Suppose 0 = -25*y + 3436 + u. Is y a multiple of 15?
True
Let p be 9/((-270)/12) + (-126)/(-15). Suppose -4*u - d + 3 - 1 = 0, -3*u + p = 4*d. Suppose u = 9*l - 2*l - 1260. Is l a multiple of 15?
True
Let q be 2/(-6) - (-50)/6. Suppose -9 + 1 = -q*b. Is 15 a factor of (-724)/(-24) + b/(-6)?
True
Let m be 34*-1*(-71)/(-4)*-2. Let x = m - 778. Is x a multiple of 39?
True
Let x(z) = 3*z**3 + z**2 + 2. Let o be x(3). Suppose 0 = 5*l + 4*m + 205, -2*l + 9*m - 49 = 4*m. Let c = o + l. Does 11 divide c?
True
Let u(h) = h**3 - 17*h**2 - 16*h - 20. Let i be u(18). Suppose 5*t - 5*k - i - 39 = 0, -3*k = -t + 19. Is 26 a factor of (109 - t) + (2 - 0)?
True
Suppose j = -5*c + 4554, 18072 = -1173*j + 1177*j - 4*c. Does 11 divide j?
False
Suppose 2*o + z - 45 = -35, -z = 5*o - 28. Is o a multiple of 3?
True
Let k be 3/(-5)*5/(-6)*46. Suppose -15*j - 2360 = -k*j. Is j a multiple of 37?
False
Is (16 - 0) + (-34208280)/(-1138) a multiple of 146?
True
Let u(n) = n**2 - n - 4. Let v be u(3). Suppose -f - 3*f = -s + 20, -25 = v*s + 5*f. Suppose -3*i - 8 = -g + 2*i, -5*g - 2*i + 67 = s. Does 13 divide g?
True
Let d(m) = 0*m**2 - 25*m + 3*m - 19*m + 2*m**2 - 83. Is 8 a factor of d(25)?
False
Suppose -2*u - 18 = -3*p, 4*p - 5*u - 7 = -8*u. Let h(w) = 6*w**2 - 4*w - 10. Is h(p) a multiple of 3?
False
Let g(j) = 188*j - 424. Is g(44) a multiple of 109?
True
Let k(y) = -27*y + 15 - 45 + 19*y + 42*y - 46. Is k(10) a multiple of 33?
True
Let v = -3909 - -9799. Does 12 divide v?
False
Let c(p) = 4*p**2 + p. Let q be c(-1). Suppose -2*z + 5*s = -186, -7*z + q*s = -5*z - 194. Is z a multiple of 4?
False
Let z(j) = j**3 + 4*j**2 - 47*j - 2. Let c(g) = g**3 - 9*g**2 - 9*g - 18. Let r be c(10). Does 3 divide z(r)?
False
Let o(f) = f**2 + 11*f - 9. Let a be (-4 - 72/(-15))*4*5. Let y be 5*1 + (a/(-8) - -4). Is o(y) a multiple of 11?
False
Does 63 divide (1/12 - (-4)/6)/(11/61908)?
True
Let z(f) = 3*f - 51. Let q be z(11). Let h = -9 - q. Is h a multiple of 3?
True
Suppose 0 = 12*c - 26 + 14. Let z = -1905 + 2730. Does 19 divide z/45 - (c + 5/(-3))?
True
Let c(b) = -2*b**3 - 9*b**2 - 8*b - 10. Let r(i) = -3*i - 13. Let d be r(-3). Does 2 divide c(d)?
True
Let f(b) = -b**3 + 11*b**2 - 12*b - 15. Let r(k) = -3*k**3 + 33*k**2 - 37*k - 45. Suppose t - 23 = -29. Let p(u) = t*r(u) + 17*f(u). Is p(9) a multiple of 13?
False
Let r = 6872 + -6123. Is r a multiple of 7?
True
Suppose 20*p = -7*p + 1404. Let n = p - 38. Is n a multiple of 14?
True
Let j = -1754 + 4175. Does 29 divide j?
False
Suppose 9*q + 1 = 8*q. Let m = 1 - q. Suppose 39 = m*g + g - 3*u, 18 = g + 4*u. Is g a multiple of 4?
False
Let r(v) = -v**2 + 7*v - 7. Let x be r(3). Suppose 403 = -2*h + 3*n - 1198, -n = x. Is h/6*(-5)/(-20)*-6 a multiple of 37?
False
Let w(q) = -41*q**2 - 1. Let x be w(1). Let d = 294 + x. Suppose d = -11*v + 13*v. Does 39 divide v?
False
Let i be (-5)/(-1) + -4 + 14/1. Let f be (-1 - i/20)*-12. Let q = 41 - f. Is q a multiple of 4?
True
Let h = -30016 - -50630. Is h a multiple of 22?
True
Suppose 31112 = 13*q - 99824. Is 47 a factor of q?
False
Let d = -2235 + 3059. Does 2 divide d?
True
Is 53 a factor of -2 - -7 - 36659/(-21) - (-5)/(-3)?
True
Let k(t) = 3*t**2 + 4 + 5342*t + 8 - 5342*t. Does 20 divide k(-13)?
False
Let v = -28804 - -56500. Is 16 a factor of v?
True
Let n(w) = -w**3 + w**2 - 41*w + 4209. Is 39 a factor of n(0)?
False
Does 55 divide -2 + 1932/3*1?
False
Let n(m) = 18*m**2 + 2*m - 169. Does 24 divide n(7)?
False
Let m(r) = 241*r**2 - 5*r - 34. Let u be m(-4). Suppose 0 = 35*l - 2703 - u. Is l a multiple of 31?
False
Is 4246/12 + (-64)/(-384) a multiple of 177?
True
Is 1755/18*432/60 a multiple of 3?
True
Let x = 6346 - -1981. Does 27 divide x?
False
Let v(g) = -g**3 - 9*g**2 + 13*g + 20. Suppose -2*i - 12 - 8 = 0. Let z be v(i). Does 12 divide 290/25 + (-4)/z?
True
Let s = 23435 - 10003. Does 92 divide s?
True
Let d be (8/10)/(50/(-125)). Does 10 divide 5/d + 19/((-304)/(-4200))?
True
Suppose -241*n + 40*n + 6755250 = 49*n. Is n a multiple of 63?
False
Let h be (1*(0 - 1))/(39/(-78)). Suppose h*b + 10 = l - b, -3*b = 3. Is 5 - (l - -1) - -268 a multiple of 53?
True
Let j = -41 + 41. Suppose j = 4*b + f - 4*f + 3, -4*b + 2*f + 2 = 0. Let t = 11 - b. Is t a multiple of 8?
True
Let h = 11141 - 7837. Is h a multiple of 28?
True
Suppose -30 - 128 = -n. Suppose 3*c - 371 = 4*g + g, -2*g - 2*c = n. Let y = -24 - g. Is 13 a factor of y?
True
Is 9 a factor of 1251/(-2)*(-13 + 9)?
True
Let t = 344 - 295. Suppose -39*m - 4030 = -t*m. Is m a multiple of 15?
False
Let z(j) = -29*j + 13 - 2 + 7. Let u be z(5). Let g = u + 130. Does 3 divide g?
True
Let j be ((0 - -1)*-1)/(4/(-12)). Suppose 5*n + 5*z = 1507 + 628, -n = j*z - 435. Does 17 divide n?
False
Suppose 13*l - 17*l = -12. Suppose -i = -3*f - 2*i + 2384, -l*f - 5*i + 2380 = 0. Is f a multiple of 16?
False
Let b = -16744 + 17024. Is b a multiple of 70?
True
Suppose 71403 = 19*g - 91853 - 28872. Is g a multiple of 64?
True
Let r(h) = -h - 21. Let d be r(-23). Suppose d*z = -6*z + 976. Is 12 a factor of z?
False
Let o = -37 - 191. Let s = 290 + o. Is s a multiple of 31?
True
Let c(m) = -m**3 - 12*m**2 - 44*m - 39. Let v be c(-13). Suppose 2*d - 902 = -3*z + v, 0 = 2*z - 2*d - 1056. Does 7 divide z?
True
Suppose 0 = 4*q - 4*w - 20, 2*w = -5*q + 20 + 19. Let t(c) = 54*c - 43. Is t(q) a multiple of 29?
False
Let j = 1421 + -850. Let s = j - 305. Does 14 divide s?
True
Suppose -4*b = -8*b + 8. Let x(i) = -i**3 + 6*i**2 - 5*i + 3. Let o be x(b). Suppose 5*l + 260 = o*l. Does 14 divide l?
False
Let h be 9 + (-1 + 8 - -61). Suppose -y + h = u, -y - 152 = 4*u - 460. Is u a multiple of 7?
True
Suppose -14*x + 392832 = -12*x + 30*x. Is 44 a factor of x?
True
Let m be 104/(2 - -2) + -3 + 3. Suppose 15*g + 3993 = m*g. Is g a multiple of 33?
True
Let y = 