-35*n**2 + 6*n - 1. Let t(z) = z**2 + z. Let d(q) = h(q) - 4*t(q). Let p be d(1). Let j = 72 + p. Is j a multiple of 12?
False
Suppose 1157*o = 1161*o - 4*g - 30148, -2*g = o - 7537. Is 7 a factor of o?
False
Suppose 88*h - 49187 = 360355 - 22166. Is 14 a factor of h?
False
Suppose 4*u = 0, 2*u - 4 = 5*x - 19. Suppose -x = 5*q - 18. Suppose 228 = 6*d - q*d. Does 19 divide d?
True
Suppose 0 = -19*n - 14*n + 18*n + 40770. Is n a multiple of 18?
True
Suppose 0 = 110078*u - 110090*u + 144936. Is u a multiple of 22?
True
Is 34 a factor of (-28)/(-32)*(9 - 1) + 7745?
True
Let w(l) = -l**3 - 7*l**2 + 4*l + 27. Let f be w(-7). Let b be ((-3)/(-2))/f - (-27)/6. Does 14 divide (12/(-10))/b - 844/(-10)?
True
Suppose -3*c - 2 = -c. Let h = c - -19. Let w = h + 1. Is w a multiple of 5?
False
Does 15 divide (2 - -5)*-1*-285?
True
Let m be 288/(80/(-96) + 1/3). Let c = m - -804. Does 57 divide c?
True
Let z = -306 - -835. Let j = z - 250. Is j a multiple of 28?
False
Suppose -79*i + 81*i - 4668 = -2*w, 0 = 4*w + 2*i - 9340. Is w a multiple of 16?
True
Suppose 184 = -15*h + 19*h. Let m = h + -34. Does 15 divide 1772/m + 8/(-12)?
False
Let z(x) = -12*x**3 - 7*x**2 + 9*x + 96. Is z(-8) a multiple of 20?
True
Let f be (2/(-4))/(6/35544). Let m = -1480 - f. Is m a multiple of 26?
True
Let u be 3/(4 - 7) - (7 - 6). Is 5206/(-76)*4/u a multiple of 15?
False
Let o = 877 + 869. Is 13 a factor of o?
False
Let u be 74/(-1)*9/6. Let h = u + 102. Does 16 divide 21*((-21)/h - -3)?
True
Let v = 49 + -44. Suppose -2*s + 5*n = 182, -v*n + n + 421 = -5*s. Let j = 211 + s. Is j a multiple of 13?
True
Let s(i) = -i**3 - 12*i**2 + 18*i - 22. Suppose 0 = 3*d + 5*h - 25, -28 = -4*d - 5*h + h. Let z be (15/d)/(3 - (-135)/(-42)). Does 29 divide s(z)?
False
Let b(r) = 356*r**2 - 5*r + 120. Does 205 divide b(-5)?
False
Let f(d) = -65*d - 115. Let i(z) = -260*z - 462. Let b(q) = 9*f(q) - 2*i(q). Is 3 a factor of b(-5)?
False
Let i(p) = 3008*p**2 - 6*p - 20. Is i(2) a multiple of 8?
True
Does 242 divide ((-11990)/(-872))/((-3 - -5)/3568)?
False
Let h(m) = -m**2 + 6*m + 15. Let y(p) = 1. Let l(q) = -h(q) + 3*y(q). Is l(14) a multiple of 7?
False
Suppose 3*x - 5*r = -6*r - 33, -2*r + 30 = -2*x. Let a(u) = u**2 + 13*u + 15. Let m be a(x). Is 351*3*m/27 a multiple of 13?
True
Let s(b) be the first derivative of 5*b**3 + b**2/2 - 4*b - 66. Is s(-3) a multiple of 10?
False
Let l = -167 + 170. Is (1554/(-8))/(l + (-81)/24) a multiple of 14?
True
Let q = 165 - 145. Is q - -2*(-6)/12 a multiple of 2?
False
Suppose 8*t - 3*t = 5*q, 0 = 3*t + 3*q - 18. Suppose 891 + 3141 = t*z. Does 35 divide z?
False
Let i = -384 + 393. Let s(b) = 80*b - 242. Is s(i) a multiple of 50?
False
Let g(c) = -c**2 + 18*c + 26. Let a be g(19). Suppose -q - 4*h = -348, -4*h + 355 = q - a*h. Is 22 a factor of q?
True
Suppose 0 = -7*z - 1519 - 1232. Let f = -263 - z. Does 11 divide f?
False
Suppose 18064 = -41*j + 25234 + 20300. Is 2 a factor of j?
True
Let b(d) = -115*d - 35. Let q be b(-3). Let v = q - 92. Is v a multiple of 16?
False
Let k(m) = -13*m - 3. Let q be k(-21). Suppose -68*f + 63*f = -q. Does 3 divide f?
True
Let s(o) = -3*o**2 - 2*o - 8. Let z(g) = -3*g**2 - 3*g - 8. Let r(h) = -6*s(h) + 5*z(h). Let w be r(2). Does 2 divide (-4)/w - (-90)/21?
True
Let g = -2537 + 1513. Let b = -265 - g. Is 33 a factor of b?
True
Let w = -684 - -1545. Let f = w + -589. Is 16 a factor of f?
True
Let b(v) = 258*v**2 - 23*v + 7. Is 52 a factor of b(5)?
False
Let p(q) = 72*q**3 + 4*q**2 - 78*q - 22. Does 267 divide p(7)?
False
Suppose -2*v + 14 - 10 = 0. Is ((-237)/v)/((-21)/14) a multiple of 7?
False
Let r = -43 - -31. Let d(x) = x**3 + 10*x**2 - 25*x - 7. Let w be d(r). Suppose 0 = b + a - 10 - 31, -w*b = -4*a - 250. Does 12 divide b?
False
Does 350 divide (26242 + 8)*(8 + (-266)/35)?
True
Suppose -5*o + 9 - 4 = 0, 5*m + o - 2671 = 0. Suppose 368 = 2*c + 2*j - m, 3*c = -2*j + 1353. Is 15 a factor of c?
False
Let a(o) = 3*o**3 - 59*o**2 + 55*o - 108. Is 34 a factor of a(19)?
False
Let w(c) = 24*c**2 - 6. Let r = 22 - 25. Let b be w(r). Suppose -4*p - b = -11*p. Is 15 a factor of p?
True
Let x(o) = 38*o**2 + 9*o + 9. Let k = -101 - -99. Is 13 a factor of x(k)?
True
Let m(t) = 7*t + 44. Let i(a) = -15*a - 87. Let w(r) = 6*i(r) + 13*m(r). Let h(k) = -k**3 - 12*k**2 + 10*k - 46. Let f be h(-13). Is 32 a factor of w(f)?
False
Suppose 12*s = -2*s + 854. Suppose -3*k = -2*t + s, -6*t + 48 = 4*k - 148. Is t a multiple of 4?
True
Let f(k) = k**3 + k**2 - 10. Let x be f(0). Let h(p) = 20*p + 2 + 12818*p**2 - 12826*p**2 - p**3 - 5*p. Does 26 divide h(x)?
True
Suppose -3*l + 17066 = 4*p, 17062 = 4*p + 1835*l - 1830*l. Does 11 divide p?
True
Let s = -37 + 85. Let o = 50 - s. Suppose 5*u = o*u + 45. Does 3 divide u?
True
Let h = -83544 + 140430. Does 114 divide h?
True
Suppose 14*a - 39 = 17. Suppose -a*h - 234 = -2*w, 5*w = 10*w - 4*h - 573. Is w a multiple of 3?
False
Suppose -850 - 2948 = -9*d. Suppose -5*q - 1430 = -5*m, 2*m - 336 = -2*q + 236. Let g = d - m. Is g a multiple of 34?
True
Suppose a + s = 13, -2*s + 4*s = 10. Suppose -49*i + 52*i - 1248 = 0. Suppose -a*m + i = -4*m. Is m a multiple of 29?
False
Suppose 6741 + 19144 = 2*j - 3*o, 4*j - 51772 = 4*o. Suppose -15*b = -2371 - j. Does 70 divide b?
False
Let s be ((-1)/2)/(2/(-128)). Suppose 0 = 4*m - 5*l + 68, 2*m + 0*l + 40 = l. Let h = s + m. Is h even?
True
Let j be 123/(-12)*-1*(-8 - -4). Let x = -32 - j. Suppose x*m - 76 = 5*m. Is 2 a factor of m?
False
Let p be ((-960)/(-336))/((-4)/(-210)). Is 40/p*5*1158/8 a multiple of 4?
False
Let j be ((-6)/(-4))/(72/96). Suppose -j*a + 836 = 2*w, 0 = 4*a + a + 3*w - 2084. Is 21 a factor of a?
False
Let o(f) = -14*f**3 - 51*f**2 + 59*f. Let c(i) = -5*i**3 + 28*i - 17*i**2 - 36*i + 28*i. Let q(s) = -11*c(s) + 4*o(s). Is q(-18) a multiple of 36?
True
Let x(o) = o**3 + o**2 - 18*o + 4. Let k(q) = q**3 + q**2 - 17*q + 3. Let f(v) = -4*k(v) + 3*x(v). Let l be f(-6). Suppose 0*d + 4*d = l. Does 12 divide d?
True
Suppose 2*s - 3928 = -o, 0*s - 1985 = -s - 4*o. Is s a multiple of 10?
False
Let r(o) = 5*o**2. Let y be r(1). Suppose -y*k + 14 - 4 = 0. Suppose 3*v = 4*i + 139, 2*i = -k*v - 3*i + 85. Is v a multiple of 36?
False
Let a(n) = 6*n**3 - 293*n**2 - 38*n - 138. Is 4 a factor of a(49)?
False
Is 28/35 + (140880/25 - -4) a multiple of 35?
False
Suppose -2*o = -4*g - 8*o + 34176, 4*o = 4*g - 34156. Is g a multiple of 2?
False
Let g be ((27/6)/(-1) + 4)*274. Let w = g + 1220. Is 35 a factor of w?
False
Suppose 303*a = 313*a - 31730. Is 19 a factor of a?
True
Let h(c) = 13*c - 7*c - 5*c - 6*c + 11. Let o be h(3). Is 16 a factor of (-1 - 1) + ((-1824)/4)/o?
True
Does 31 divide 104/(-2288) + 2964129/66?
False
Suppose -58*t + 89408 = 2*t - 269812. Does 3 divide t?
False
Suppose 5*w = 4*w - 3*b + 16, 0 = -5*w - b + 38. Suppose -w*o + 216 = -155. Is o a multiple of 2?
False
Let v(u) = 10314*u**2 + 564*u + 563. Is v(-1) a multiple of 30?
False
Let a = 12 - 7. Let z = -1347 + 1433. Let s = z + a. Is s a multiple of 7?
True
Suppose -3*g - 2*r + 9 = -0*g, -5*g - 5*r + 10 = 0. Suppose p = 5*k - 10*k - 50, g*k + 5 = 0. Let s = p - -49. Does 2 divide s?
True
Let x = 328 + -324. Is 20 a factor of (-150)/(-15)*1*x?
True
Is 70 a factor of 760/(((-20)/(-15) - -1) + 2170/(-966))?
False
Let h(k) = 833*k - 2726. Is h(10) a multiple of 32?
False
Suppose -80*f + 291024 = 64*f. Does 43 divide f?
True
Let p(n) be the third derivative of n**6/120 + 7*n**5/60 + 7*n**4/24 + 2*n**3/3 - 3*n**2. Let k be p(-6). Is (9/(-3))/(99/51 + k) a multiple of 10?
False
Let b(p) = p**3 + 2*p**2 - 89*p + 27452. Is b(0) a multiple of 37?
False
Suppose -5*b + 7597 = -2*w, 18 = -3*w + 15. Does 30 divide b?
False
Let r(o) = -o**3 + 13*o**2 + 8*o - 28. Let v be (12/15)/((-2)/5). Let a(j) = -3*j**3 + 40*j**2 + 24*j - 85. Let q(i) = v*a(i) + 7*r(i). Is 31 a factor of q(11)?
True
Let f be (-1984)/(-10)*(-7 - (2 - 4)). Is 43 a factor of (7 - 90/12)*f?
False
Suppose 82*h + 30 = 80*h. Does 24 divide (-3)/5 - 1704/h?
False
Suppose -4*k - 11*k + 5655 = 0. Let p = k - 317. Is 12 a factor of p?
True
Let s be (27 - 26) + (-4)/1. Is 54 a factor of (24/(-6) - -61) + s?
True
Let c(b) = -94*b + 4844. Does 16 divide c(50)?
True
Suppose 3191 = 5*s - 2*r - 47074, r + 50260 = 5*s. Does 23 divide s?
True
Le