nd derivative of -17*l**3/6 - 2*l**2 - 20*l. Does 9 divide r(c)?
False
Let x = -406 + 473. Is x a multiple of 3?
False
Suppose 2 = o + 4*q, 7*q - 2*q = -3*o + 41. Is o a multiple of 3?
False
Suppose 0 = -4*i + 3*q + 279, -4*i = 7*q - 6*q - 291. Is 12 a factor of i?
True
Let l = -112 - -314. Suppose l - 47 = -n. Let x = -93 - n. Is x a multiple of 26?
False
Does 8 divide (-232)/10*(-77 + 67)?
True
Let c(g) = g**3 - 4*g**2 + 6*g - 9. Let l be c(7). Let t = -123 + l. Let n = -31 + t. Is n a multiple of 16?
False
Suppose 2*u = 5*d - 5850, -d - 9*u = -6*u - 1187. Is 121 a factor of d?
False
Suppose -n - 3*u + 197 = 0, 0*n + 844 = 4*n - 2*u. Let x = -109 + n. Is 11 a factor of x?
False
Suppose n + 2*d - 26 = 0, 0*n - 2*n + 4*d + 28 = 0. Is 2 a factor of n?
True
Let l(m) be the first derivative of m**4/4 + 2*m**3 - 5*m**2 - 3*m - 1. Let g = 592 + -599. Does 6 divide l(g)?
True
Let a be (-90)/(-2 - 1) - 4. Suppose 5*x - 69 = a. Is x a multiple of 19?
True
Suppose 0 = -4*u - 2*g + 54, 3 = u + 3*g - 3. Is u a multiple of 5?
True
Let h(q) = -2*q**3 - q**2 - 2*q - 4. Let a be h(-2). Suppose -17*n + 125 = -a*n. Is n a multiple of 5?
True
Suppose 2*f + 6*f - 8 = 0. Is 14 a factor of ((-15)/(-9) - f)/((-6)/(-252))?
True
Is 78 a factor of -9 + 1 - 190/(-38) - -627?
True
Let w = 8 - 6. Let h be 9 - 4 - w/2. Suppose 2*l = h*p - 61 - 51, 120 = 4*p + 2*l. Is p a multiple of 8?
False
Let y be -2 - (-4)/1 - -4. Is 17 a factor of y/(-1)*272/(-24)?
True
Let w(h) = -h**2 - 5*h + 1. Let r be w(-5). Let k be ((-6)/(-9) - r)*-9. Suppose b - 11 = 5*a, 2*b - k*b + 7 = -a. Does 6 divide b?
True
Suppose 0 = -5*v - 8*b + 5*b + 746, -v + 2*b = -157. Is 19 a factor of v?
False
Suppose -3*w = -2*b - 3, 0 = 4*b - 3*b - 5*w + 12. Suppose -4*r - b*t + 28 = -t, 25 = r - 4*t. Does 3 divide r?
True
Suppose 3 = -5*d + 13. Suppose 4*y + 2 = d*y + 3*f, 0 = -4*y - f + 10. Suppose -y = -r, x - r - 72 = -0*r. Does 31 divide x?
False
Let l(s) = -132*s**2 + s - 4. Let y(r) = -198*r**2 + 2*r - 6. Let z(c) = 7*l(c) - 5*y(c). Is 13 a factor of z(1)?
True
Let w(h) = -6*h**2 - 24*h + 9. Is w(-4) a multiple of 3?
True
Let c(y) be the first derivative of -y**4/4 + y**3 - y**2/2 - y + 8. Let l be c(3). Does 14 divide (l - -5)/((-2)/(-128))?
False
Suppose -65 = 3*a + 106. Let u = a + -29. Let x = u + 122. Is 36 a factor of x?
True
Suppose -3*d + 7*d - 31 = -3*t, 19 = 3*t + d. Suppose -6*u + 3*u = -4*n + 3, t*u - 4*n = 3. Suppose -u*j - 31 = -343. Does 26 divide j?
True
Let h = 2 - -1. Suppose h*p + 3*g = -6, 0*g = 2*p - 4*g - 20. Let y(q) = 12*q**2 + 3*q - 4. Is 12 a factor of y(p)?
False
Let c = 18 - 16. Suppose 54 = -k - c*k. Does 15 divide (-1855)/(-45) + 4/k?
False
Let t(q) = -5*q + 8. Let h be t(-2). Let b = h - -282. Is 30 a factor of b?
True
Let w(c) = -c**3 + c**2 + c + 8. Let t(g) = -g + 10. Let i be t(7). Suppose -i*j = j. Is 8 a factor of w(j)?
True
Let t(v) = -2*v**2 - 32*v - 3. Let j be t(-16). Is 42 a factor of (j/(-2))/(63/3612)?
False
Let c be (-56)/16*(-40)/7. Let u(r) = r**3 - 20*r**2 + 11*r - 12. Does 13 divide u(c)?
True
Let h(l) = -l**2 - 3*l + 19. Let b(p) = 4*p**2 + 16*p - 94. Let x(d) = -3*b(d) - 14*h(d). Is x(-7) a multiple of 26?
True
Suppose 0 = -2*w + p + 2062, 3*p - 10 = -3*w + 3083. Does 46 divide w?
False
Suppose -2090*d - 18606 = -2104*d. Is d a multiple of 7?
False
Suppose 3*t - n - 130 = -2*n, -t = 2*n - 40. Is -8*((-28)/8 + 3) + t a multiple of 12?
True
Let q(i) = -337*i**3 - i**2 - 3*i - 1. Is 26 a factor of q(-1)?
True
Suppose -5337 = -2*h + 74*g - 71*g, -g = 3. Is 37 a factor of h?
True
Suppose 0 = -5*q + 20 - 5. Suppose 3*r = 3*f + q, -3*f = -f + 3*r - 23. Is f a multiple of 2?
True
Let x(u) = -u - 10. Let p be x(-6). Let r(b) = 7*b - 5. Let l(z) = z. Let f(d) = -18*l(d) + 2*r(d). Is f(p) a multiple of 4?
False
Let d = -256 - -262. Let q(h) = -7*h - 10. Let i(t) = -1. Let r(j) = 4*i(j) - q(j). Does 18 divide r(d)?
False
Suppose 0 = -10*u + 1616 + 1574. Is u a multiple of 6?
False
Suppose -1617 - 2127 = -2*g. Is 6 a factor of g?
True
Let g(a) = -a**3 + a**2 + a + 1. Let c(k) = -3*k**3 - 3*k**2 + 7*k + 2. Let b(j) = c(j) - 2*g(j). Let y be (-13)/2 - (-18)/(-36). Is b(y) a multiple of 23?
False
Let a(d) = -2*d**2 + 2*d - 3. Let m(c) be the second derivative of -c**4/4 + c**3/2 - 3*c**2 - 3*c. Let f(p) = -5*a(p) + 3*m(p). Is 27 a factor of f(-5)?
True
Let o(r) = 4 - 3*r**2 + 5*r + 10*r**2 + 0. Let h be 1/(-2)*3*(-96)/(-36). Is 32 a factor of o(h)?
True
Let a(j) = j + 1. Let q(g) = -6*g + 13. Let b(m) = 2*a(m) - q(m). Let h be b(-6). Let o = 82 + h. Does 4 divide o?
False
Suppose 0 = -28*d - 4*d + 832. Is d a multiple of 5?
False
Let g = -23 + 69. Suppose i + g = b + 2*i, 5*b - 226 = -4*i. Does 13 divide b?
False
Suppose -3*b + 16 = b. Suppose -5*n = -z - 299, 3*n - 183 = z - b*z. Is 30 a factor of n?
True
Let i(w) = w**3 - 6*w**2 - w - 5. Let u be i(6). Let l = 75 - 74. Let p = l - u. Is p a multiple of 4?
True
Suppose -f + 4048 = f - 4*v, 2*v = 4. Does 13 divide f?
True
Suppose -r = 4*o - 510, 3*r + 4*o = 4*r - 470. Does 23 divide r?
False
Suppose 0*b = -3*n - 5*b - 1, 0 = -4*n + 3*b - 11. Does 41 divide (-2 - 45/n)/(18/36)?
True
Suppose u + 3*q - 8 = 5*q, -36 = -4*u + 4*q. Let d be 105/7*4/u. Is 540/d - (5 + -1) a multiple of 14?
False
Let v(s) = 3*s**2 + 12*s - 1. Is v(9) a multiple of 27?
False
Suppose d - 3*c - 62 - 33 = 0, 4*c = 4*d - 340. Let q be d/30 + (-4)/6. Suppose -j = -q*j + 87. Is j a multiple of 22?
False
Let u(v) = -v**3 + 23*v**2 - 30*v - 21. Is 7 a factor of u(21)?
True
Suppose 0 = 5*l + g, 0 = l + 3*l + 3*g. Suppose l = -2*n + 3*y + 125 + 28, 5*n - 425 = -y. Does 14 divide n?
True
Let r(d) = 57 - 28 - 39*d - 25. Is 12 a factor of r(-2)?
False
Let l = 2107 - 900. Does 58 divide l?
False
Suppose -4*x + 2*x = -60. Let n be x/(-6)*(-2 - -3). Does 5 divide 1/n - (-279)/45?
False
Let g = 1191 - 631. Suppose -14*i + 30*i = g. Is 7 a factor of i?
True
Let r(a) be the third derivative of -a**6/120 + a**5/6 - 11*a**4/24 + 5*a**3/6 - 20*a**2. Is 4 a factor of r(7)?
False
Let l(x) = -x**2 - 15*x + 6. Suppose -2*j + 39 = 3*r + 94, 4*r - 5*j + 35 = 0. Let i be l(r). Is 12 a factor of 2044/35 - i/(-10)?
False
Let j(p) = 11*p**2 - 43*p + 343. Is 83 a factor of j(12)?
True
Let z be (0 + 0)*((-20)/(-8))/(-5). Suppose z = 4*h - 10*h + 282. Does 13 divide h?
False
Let n = 197 + 69. Is 13 a factor of n?
False
Suppose 0 = -0*h - 3*h + 9. Let r = -4 - h. Let q = 13 - r. Does 6 divide q?
False
Suppose 155 = 3*l + 140, 3*d - 1612 = -5*l. Does 2 divide d?
False
Let g(n) = -109*n**3 + 4*n**2 + 8*n + 8. Does 40 divide g(-2)?
True
Let v(t) = -69*t**3 + 2*t**2 - 1. Suppose -5*c - 29 = -24. Is 10 a factor of v(c)?
True
Let r(n) = -3*n + 51. Let b be r(16). Is 213/1 - (-1 + b/(-1)) a multiple of 13?
False
Let w(c) be the first derivative of 5*c**4/4 + 2*c**3/3 + 1. Let s be w(-2). Let t = 114 + s. Is t a multiple of 32?
False
Suppose -4*x + 76 = -4*q, 4*x - 4*q - 75 = q. Let y be 48/x + 2/(-5). Suppose 194 = 4*i - o, 3*i = -y*o - 16 + 156. Is i a multiple of 12?
True
Suppose 0 = 5*s + 2*s - 21. Suppose 5 = -5*p, -7*p + 2*p = s*g - 49. Is g even?
True
Suppose 193 + 23 = 3*w. Suppose 3*l + 12 = -w. Does 8 divide 4/2 + (-6 - l)?
True
Let z(v) = 4*v**2 - 15 + 25 + 0*v**2 + 10 + 24*v. Does 12 divide z(-8)?
True
Suppose 6*i - 205 = 4781. Is 8 a factor of i?
False
Suppose n + 319 = 2*j, -5*n - 164 = -0*j - j. Let d = -83 + j. Suppose -5*z + t = -91, -4*z + 0 + d = -4*t. Does 18 divide z?
True
Let v = 65 - 73. Does 9 divide v/196*-7 - 61/(-7)?
True
Suppose 4404 = 15*d - 756. Is 43 a factor of d?
True
Let t = -76 - -113. Let i = -4 - -7. Let c = t - i. Is 12 a factor of c?
False
Let w(g) be the second derivative of 1/6*g**3 + 1/3*g**4 - 1/2*g**2 + 0 + g. Is 12 a factor of w(-3)?
False
Let y = 42 - 60. Let q = -2 + -1. Let u = q - y. Does 2 divide u?
False
Let h = -132 - -356. Does 14 divide h?
True
Suppose 24 = -y - 2*y. Suppose 2*g - 4*g + 2 = -r, -2*r + 2*g + 4 = 0. Let l = r - y. Is 7 a factor of l?
True
Suppose 4*t = 2*y + 734, 2*y = -3*t + 4*y + 551. Let p = -109 + t. Is 8 a factor of p?
False
Is 35 a factor of -1*(14*70)/(-4)?
True
Is 18 a factor of -1 + 1*(-1302)/(-6)?
True
Suppose s + 5*d = 3*s - 23, 2*d - 14 = -5*s. Suppose -v - v - s*j = 4, 5*v = -j + 17. Is 4 a factor of 