 = 0. Is (-2)/21 + 5296/i a multiple of 14?
True
Suppose -3*y = 3*h - 7023, 734 + 3954 = 2*h - y. Does 33 divide h?
True
Let c(z) be the second derivative of -z**5/20 - 3*z**4/2 + 11*z**3/2 - 13*z**2/2 + 75*z. Is c(-20) a multiple of 21?
False
Suppose -2*c + 8 = 0, 393*c = 2*d + 395*c - 86. Does 26 divide d?
False
Suppose 95921 + 27491 = 63*o - 18590. Is o a multiple of 15?
False
Suppose -8 = -8*c + 8. Is (-20)/(-3 - 1) + 2098/c a multiple of 13?
False
Let z = 2283 + -1544. Let m = z - 319. Is m a multiple of 7?
True
Let w = 22989 - -29491. Is 41 a factor of w?
True
Let i(t) = 3274*t - 706. Does 177 divide i(4)?
True
Suppose -7*p + 2418 - 275 = -23701. Is 70 a factor of p?
False
Let k(j) = 5*j**3 - 18*j**2 + 17*j - 21. Let s(g) be the third derivative of -g**6/120 + 39*g**2. Let i(a) = -k(a) - 4*s(a). Is i(17) a multiple of 7?
True
Let o(r) = -24*r - 36. Let x(f) = f + 1. Let w(h) = o(h) + 4*x(h). Suppose 0 = 13*l + 28 + 50. Is w(l) a multiple of 28?
False
Let w(v) = 22*v - 351. Let z be w(16). Let d(x) = 330*x - 33. Is d(z) a multiple of 6?
False
Suppose 28 = 3*o + o - 5*x, 0 = -5*x - 20. Suppose 5*y - y - 5*n = 4, o*n = y - 4. Does 7 divide (0 - 3)*y/(20/35)?
True
Let t(q) = -144*q**3 - q**2 - 3*q - 2. Let b be t(-1). Let s(z) = 4*z - 17. Let c be s(-12). Let w = c + b. Does 14 divide w?
False
Let g(j) = -13*j + 11. Let v = 49 + -40. Let b be (v/(-12))/((-2)/(-24)). Is g(b) a multiple of 32?
True
Suppose -125919 = -146*a + 141*a + 2*n, a + 2*n = 25191. Is a a multiple of 24?
False
Let s(w) = -8*w**3 + 18*w**2 - 25*w + 32. Is s(-10) a multiple of 28?
False
Let p(t) = -222*t**3 - 3*t**2 + 4*t - 3. Let b be p(1). Let v = -271 - -598. Let q = b + v. Is 27 a factor of q?
False
Let h(i) = -3*i - 9. Let w be h(-4). Suppose -w - 17 = 4*r. Is 4 a factor of (r/10 + 57/2)/1?
True
Is 16 a factor of -1012173*(-6)/198 - (468/(-66) - -7)?
True
Suppose s - 146 = -142. Suppose 3*k + 3*j = 939, -s*k = 3*j + 206 - 1460. Does 45 divide k?
True
Let n(o) = o**3 - 6*o**2 - 5*o. Let z be n(10). Let b = 161 + -158. Suppose -b*d + z = -10. Is d a multiple of 10?
True
Let o = 33599 + -16563. Does 110 divide o?
False
Let h(m) = 303*m**2 - 5*m - 54. Is 29 a factor of h(-4)?
True
Suppose f = 3*i - 24320, -11*f + 24327 = 3*i - 5*f. Does 67 divide i?
True
Let f = -7879 - -8148. Does 3 divide f?
False
Let f = -29 - 35. Is 12/(-3) + (-5 - f) a multiple of 2?
False
Suppose -14*t + 238 = 20*t. Is (7/4)/(t*15/840) even?
True
Is 14 a factor of (-306 + 4)*(-126 - -119)?
True
Let s(z) = -415*z + 1430. Is s(-10) a multiple of 5?
True
Let i(r) = 16*r**3 - 13*r**2 - 2*r + 8. Suppose -q - 11 = -14. Is 8 a factor of i(q)?
False
Let f(z) be the second derivative of -z**4/3 - 5*z**2/2 - 45*z. Let l be f(2). Is 14 a factor of 375/4 - -2*l/56?
False
Let v(g) = -g**3 - 5*g**2 + 19*g + 37. Let l be 0 - (-1 + 5 + 5). Does 10 divide v(l)?
True
Let a be (0 - (-1 - -2))*-17. Let j(w) = -5*w + 112. Let p be j(23). Let i = a - p. Is 5 a factor of i?
True
Let z = -3 + -47. Let i = -94 - z. Let r = 54 + i. Is 10 a factor of r?
True
Suppose 0 = -3*f + 4*p + 3896, 4*f - 23*p = -19*p + 5192. Is f a multiple of 27?
True
Let s(l) = l**3 + 9*l**2 - 9*l - 10. Let f be s(-10). Let d be 7/((-105)/6) + 752/f. Let x = d + 53. Does 3 divide x?
True
Let p be (-4*(-2)/10)/(2/8870). Let l = -2258 + p. Does 43 divide l?
True
Suppose -2*z - 3*i + 6429 = -8619, 7524 = z + 2*i. Is z a multiple of 9?
True
Let m(s) = 8*s**2 + 155*s - 43. Let f be (-375)/21 + -2 + 6/(-42). Does 26 divide m(f)?
False
Let t = -877 + 438. Let l = -371 - t. Is 4 a factor of l?
True
Let l(m) = -681*m - 4653. Does 9 divide l(-30)?
True
Let b(f) = 62*f**2 - 10*f + 3. Let s(v) = 5*v**2 - 20*v - 27. Let r be s(5). Is 32 a factor of b(r)?
False
Let d(y) = -3*y**2 + 30*y + 3. Let a be d(10). Does 63 divide a/(-9)*-615 + -3?
False
Is (-3450)/(-4) - 371/(-742) a multiple of 8?
False
Let l(w) = 6*w**2 - 14*w + 27. Let z be l(2). Let b(r) = -r**3 + 22*r**2 + 28*r - 11. Is 8 a factor of b(z)?
True
Let g be 6/(-12) - ((-99)/(-6))/(-3). Let q(i) = 13*i + 35. Does 4 divide q(g)?
True
Let m(c) = 30*c**2 + c - 1. Suppose 25 = 15*b - 20. Is m(b) a multiple of 13?
False
Suppose 5*y = 10*y - 43*y + 285152. Does 112 divide y?
True
Let u(m) = m**2 - 7*m + 5. Let s be u(7). Suppose -x = l - s*l - 44, -5*x - l + 178 = 0. Is x a multiple of 3?
True
Suppose 234*c - 247*c = -72267. Does 51 divide c?
True
Suppose 2*f = 3*k + 342, 4*f = 9*f + 15. Let y = k + 249. Does 19 divide y?
True
Let k(f) = 6*f + 33. Let u be k(-2). Suppose -3*r + 3960 = u*r. Is 13 a factor of r?
False
Let x(i) = 573*i - 8. Let t be x(1). Suppose 4*y + t = 2537. Is 12 a factor of y?
False
Let z(m) be the third derivative of -m**6/120 - 7*m**5/30 + m**4/6 - 11*m**3/3 + 150*m**2. Suppose -4*t = 5*w + 79, 3*w = -w + 2*t - 58. Is 13 a factor of z(w)?
True
Let h(z) be the first derivative of 37*z**3/3 + z**2 - 3*z - 10. Is h(3) a multiple of 14?
True
Suppose -p = -276 + 278. Let v be (-6)/12 - 5/p. Is 17 a factor of -1 + 0 + (v - 1) + 94?
False
Suppose -2*n = -m + 5921 - 1344, 0 = 3*m - 2*n - 13755. Is 12 a factor of m?
False
Let l be 3*-2*(126/12 + 0). Let y = -37 - l. Suppose -3*o = -2*o - 2*h - y, 15 = 3*h. Does 18 divide o?
True
Let v = 17 - 9. Suppose 4*n - n + 5*p = 112, -3*n + 3*p + 96 = 0. Suppose 2*a - 4*s - v = n, -4*a = 2*s - 84. Is a a multiple of 3?
True
Let u(k) = k**3 + k**2 - 2*k + 6. Let p be u(0). Suppose -4*a + 536 = x, -3*x = p*a - 2*a - 1576. Is 13 a factor of x?
True
Let o(w) = w**3 + 9*w**2 + 21*w - 4. Let y be o(-5). Is 50 a factor of -287*(y/(-27) + (-8)/6)?
False
Suppose 22 + 38 = -z. Suppose 11068 = -125*m - 2557. Let v = z - m. Is 13 a factor of v?
False
Suppose -2*p + 4*w - 24 = -p, -w = -p - 12. Let s(b) = -b**3 - 8*b**2 + 5. Let v be s(p). Let d = 31 + v. Is 9 a factor of d?
True
Suppose -4*g = -64*d + 66*d - 6504, -3*d + 18*g + 9708 = 0. Does 6 divide d?
False
Let i(q) = -262*q - 183. Is 31 a factor of i(-2)?
True
Suppose -11*q + 1873 - 531 = 0. Suppose 9*b - 198 = 180. Suppose -b = 5*f - q. Is f a multiple of 4?
True
Let a(s) = -2*s + 4. Let t be a(0). Let c be t/18 - (-7)/(252/64). Suppose 0 = j - c*z - 116, -5*z = 2*j - z - 208. Is j a multiple of 10?
True
Suppose -5*w = n - 6 + 12, n + 2*w = 0. Suppose 0 = 5*x - 5, -3*b = -2*b + n*x - 291. Does 41 divide b?
True
Let t(x) = x - 11. Let a = -17 + 32. Let b be t(a). Suppose 4*v + b*i - 136 = 80, v + 5*i = 34. Is v a multiple of 14?
False
Let w(f) be the second derivative of f**5/20 - f**4/2 - f**3/3 + 7*f**2 - 4*f. Let h be w(6). Does 15 divide 73 - 2/(-2)*h/2?
False
Let v be (1/(-3))/(3/(-387)). Let c = 4184 + -4171. Let a = v + c. Does 13 divide a?
False
Let b = -44 + 227. Let q = b - -88. Is 16 a factor of q?
False
Let k be (-2 + 3 - 8) + 3 + -1. Let x(j) = -4*j - 14. Let l be x(k). Suppose 141 - 33 = l*h. Does 2 divide h?
True
Let d(s) = -85*s**2 + 14*s + 14. Let m be d(-1). Is 47 a factor of 90/(-4)*1598/m?
True
Suppose -a - 5*f - 4 = 20, -2*f - 8 = 2*a. Let k(n) be the second derivative of 13*n**3/3 + n**2/2 + 16*n - 8. Is 9 a factor of k(a)?
True
Suppose 5 + 3 = -4*u. Does 40 divide (-11)/22 - 663/u?
False
Suppose 2*m + 669 = -2483. Let c = -618 - m. Does 9 divide c?
False
Suppose -4*v + 1626 = -6246. Let g = 3120 - v. Is 84 a factor of g?
False
Let g(p) = 5*p - 15. Let w be g(8). Suppose -7*d = -w + 11. Suppose -d*v = 11*v - 1209. Is 6 a factor of v?
False
Suppose -5*d = -2*p + 4390, -1319 = -3*p - d + 5215. Is p a multiple of 20?
True
Suppose 144*l - 388410 = 78*l. Is 11 a factor of l?
True
Is -10645*(-138)/300 + (-3)/(-10) a multiple of 59?
True
Suppose 4*w = 2*l - 144, 2*w - 14 = -2*l + 130. Suppose -5*v + 2*v = l. Let a = v - -51. Does 5 divide a?
False
Let d = -2471 - -5313. Does 19 divide 1/3*(8 + d)?
True
Let y(f) = 5*f**2 - 208*f - 5127. Does 6 divide y(-45)?
True
Suppose 0 = 103*h - 42*h - 271694. Does 34 divide h?
True
Let n = 13608 - 8798. Is 74 a factor of n?
True
Suppose 4*t - 43990 = -2*l, 3*t = -l + 21601 + 395. Is 32 a factor of l?
False
Let d = 548 + -548. Suppose -3*n - a + 3774 = d, 4358 = 4*n - 5*a - 674. Is 34 a factor of n?
True
Let f = 34159 - 3590. Does 11 divide f?
True
Let t(i) = i**3 + 22*i**2 - 7*i + 20. Let z be 217 - (14/(-4) + 1/2). Let n be (6/(-15))/(4/z). Does 11 divide t(n