3 + 4*x**2 + 14*x**3. Is l(-2) a multiple of 7?
False
Let g be (-6)/(-15) - 8/(-5). Suppose -i - g*i + 4*j = -43, -j = -4*i + 79. Is i a multiple of 5?
False
Let f = -17 - -204. Does 4 divide f?
False
Suppose 2*t - 64 = -3*p + 4*p, -2*t + 5*p = -80. Is 15 a factor of t?
True
Suppose 40 = -57*o + 61*o. Suppose -2*j = -2, -o*k + 5*k + 3*j = -672. Is k a multiple of 23?
False
Suppose 1701 = -4*s + h, -4*s + 3*h - 1221 = 482. Does 25 divide s/(-15) - 2/6?
False
Suppose -z = -5*n + 20, -5*n - 20 = z + 2*z. Is 27 a factor of (45/z)/((-2)/24)?
True
Let z be -28 - -66 - (0 + -2 - 0). Let s = -33 + z. Does 6 divide s?
False
Let d(k) be the third derivative of -k**5/60 - k**4/3 + 13*k**3/6 - 7*k**2. Let q be d(-7). Is 9 a factor of (q/16 - 3)*-12?
False
Let r(c) be the first derivative of -c**2 - c - 1. Let u = -851 - -845. Is 3 a factor of r(u)?
False
Let o be -1*(-5)/((-5)/(-508)). Suppose 6*r = o - 100. Is 17 a factor of r?
True
Let c be ((-42)/(-15))/((-8)/(-20)). Let i(r) = r**3 - 6*r**2 - 8*r + 10. Let x be i(c). Let l = x + 15. Is l a multiple of 9?
True
Let r = -216 - -414. Suppose 3*c - r = k + 38, 0 = -2*c + 2*k + 164. Does 7 divide c?
True
Let n(v) = 9*v**2 - 28*v - 13. Does 13 divide n(6)?
True
Let h = 288 + -148. Suppose -n = 3*u - 63, 4*n - 5*u = 180 + h. Is 15 a factor of n?
True
Suppose 2*c = 0, 2*z - 4*c = -9*c + 8. Suppose 0*l = z*l. Suppose -x + 43 = -g, -x - 3*g - g + 43 = l. Does 15 divide x?
False
Let s(o) = 12*o - 80. Does 16 divide s(16)?
True
Let w(c) = -2*c. Let o be w(6). Let t(i) = -i**2 - 11*i + 12. Let v be t(o). Suppose 4*h + 151 = 5*g, 3*g + v*g = 3*h + 93. Is 16 a factor of g?
False
Suppose 2*c - 330 = -0*c. Suppose -3*a + 8*a - c = 0. Suppose 19 = -q + a. Is 7 a factor of q?
True
Let a = -1134 + 1590. Is a a multiple of 12?
True
Let s be ((-93)/(-12))/((-4)/(-16)). Suppose 3*f + f + 2*x = 50, 0 = -2*f + x + s. Suppose -3*t + f = -t. Does 3 divide t?
False
Suppose 0*b = 3*b + c - 13, -14 = b + 4*c. Suppose 0 = 4*y - 2*l - 98, -7*l + b*l + 71 = 3*y. Is 4 a factor of y?
True
Does 5 divide ((-338)/(-5))/(40/800)?
False
Let t(a) = 2*a**2 - 10*a + 4 - 6 - 3*a**2. Let r be t(-11). Let f(m) = -m - 8. Is f(r) a multiple of 5?
True
Let x = 14 - 12. Let f = -8 + x. Is 7 a factor of (-3)/(-2)*(-64)/f?
False
Let v(l) = -l**3 - l + 89. Suppose -5*u = -3*u + 2*u. Does 10 divide v(u)?
False
Let s be (4/12)/(1/(-9)). Let b be 250/15 + (-1)/s. Let k = -4 + b. Is k a multiple of 13?
True
Suppose 4*z - 348 = -4*r + 996, -3*z + 1010 = r. Does 13 divide z?
False
Let w = 64 - 64. Does 11 divide (-3 - w) + (-1155)/(-7)?
False
Let u(t) = 4*t + 3. Let f be u(3). Suppose -3*n + f + 0 = 0, n - 86 = -3*z. Is 9 a factor of z?
True
Suppose p + 0*p + 4 = -t, p + 2*t = -8. Suppose p*q - 3*q + 390 = 0. Does 14 divide q?
False
Suppose -2*v + 628 = -2*j, 0 = 5*v - 8*v + 2*j + 938. Is 10 a factor of v?
True
Let k(i) = -4*i + 9. Let y be k(2). Is (2 + 37/4)*24/y a multiple of 45?
True
Suppose -9*h - 33 - 12 = 0. Let z(b) = 3*b**2 + 10*b + 6. Does 31 divide z(h)?
True
Suppose 5*h - h = 0. Suppose h = -i - 0*i - 3*v + 20, -2*i = 4*v - 36. Is 11 a factor of i + 0 + -6 + 3?
True
Suppose 25*t - 15*t - 4160 = 0. Is 32 a factor of t?
True
Suppose 4*a = -4*c - 20, -4*a + 5 = c + 13. Is (2/(-6))/((-1695)/1692 - a) a multiple of 29?
False
Let y be 12/(-8)*(-2)/3. Let r be (-4*4)/(-4)*y. Suppose 46 + 70 = r*k. Does 14 divide k?
False
Let y = -74 + 72. Is 9 a factor of 94/1 + 0 + -2 + y?
True
Let n(c) = -c. Let l be n(-3). Suppose 0*t = -t + 5*y + 35, -5*y - 145 = -l*t. Let j = t - -14. Is j a multiple of 23?
True
Let w(o) = -6*o + 15. Let c(s) = -6*s + 16. Let t(p) = -5*c(p) + 4*w(p). Is 22 a factor of t(11)?
False
Let l(i) = 9*i**2 - 68*i + 129. Is 36 a factor of l(18)?
False
Suppose 0*j - 33 = -3*j + 3*a, -j + 23 = -4*a. Suppose j = 5*w - 8. Suppose 0*d - w*d + 48 = 0. Is 3 a factor of d?
False
Does 11 divide 1*-2*-3065*(-3)/(-30)?
False
Suppose c = -n + 67, -3*c + 2*n + 82 = -2*c. Let s be ((-22)/6)/(4/c). Let v = -40 - s. Does 10 divide v?
False
Let u(z) = 2*z**2 + 3. Let w be u(9). Let f = 284 - w. Let n = f + -81. Is n a multiple of 19?
True
Let g be 1*(4 + 0/(-5)). Suppose -8 = -h - g. Does 4 divide h?
True
Suppose 759*w - 760*w + 414 = 0. Does 18 divide w?
True
Let r be 0/((-1)/(-2)*2). Is 12 a factor of 2 - ((-174)/3 - r)?
True
Let b = -5 + 33. Let z = b - 18. Let u = z + 5. Is u a multiple of 8?
False
Let y(v) = 2*v**3 - 43*v**2 + 75*v - 12. Is y(20) a multiple of 16?
True
Let o be (-14)/(-10) + 12/(-30). Suppose -2*a + 106 = 2*j, a = 2*a - o. Does 3 divide j?
False
Suppose k + 9 = 2*o, 4*k + 5*o - 2*o + 25 = 0. Let d(j) = j**3 + 11*j**2 - 3*j - 2. Is 43 a factor of d(k)?
True
Suppose u + 3*f - 4 = 3*u, 4*u - 28 = -3*f. Suppose -7*z = -9*z - u. Is 13 a factor of 1 + (-50)/z - 1?
False
Suppose s + 2*d = 2*s - 2, 0 = 4*s + 5*d - 8. Suppose 0*j = -j + 4*i + 86, -s*j - i + 154 = 0. Is j a multiple of 13?
True
Is 11 a factor of 128/1088 + (-1492)/(-34)?
True
Suppose -5*u + 32 = -3. Let o(t) = -t**2 + 8*t - 5. Let m be o(u). Is (1/m)/((-5)/(-140)) a multiple of 5?
False
Suppose -5*p + 20 = 0, -4*b - b + p = -96. Is 5 a factor of b?
True
Suppose 5*v + 17 = -3*i + 2*i, 0 = -4*i + 4*v - 68. Let p = i - -44. Suppose -5*r = -2*u + 23, 3*u + r - p = -1. Is 6 a factor of u?
False
Let n = 290 - -270. Is n a multiple of 9?
False
Suppose -10*i + 3672 = 26*i. Is 2 a factor of i?
True
Let q(h) = 2*h**3 - 20*h**2 + 9*h + 2. Let y be q(8). Let b = y + 342. Is 40 a factor of b?
True
Let y be -2*(1 - -3)/(-2). Suppose 3*r = -2*v - 24, y*r = -0*v - v - 22. Let s(z) = 2*z**2 + 2*z - 8. Does 13 divide s(v)?
True
Let d(n) = n**3 - 10*n**2 + 8*n + 14. Let s be d(9). Suppose -s*o + 330 + 68 = -4*h, 4*h + 152 = 2*o. Is o a multiple of 31?
False
Suppose r + 14 = 17. Suppose -h + 4*t = -r*h + 706, 0 = t. Is h a multiple of 16?
False
Let t(z) = z**3 + z + 13. Let a be t(0). Let w be 328/104 + (-2)/a. Suppose -w*x - 2*x + 240 = 0. Does 16 divide x?
True
Suppose -m + 27 + 54 = 0. Suppose 27*a = 26*a + m. Does 12 divide a?
False
Let n = -1823 - -2579. Is n a multiple of 42?
True
Let i(p) = 7*p**2 - 4*p + 3. Let h(t) = -t**3 - 9*t**2 + t + 12. Let q be h(-9). Let w be i(q). Does 10 divide (-112)/(-21)*w/8?
False
Let f(y) = 4*y - 21. Let u be f(19). Let n = 74 - u. Is n a multiple of 4?
False
Suppose 2*j = -616 + 1736. Does 20 divide j?
True
Suppose -6 = 3*y - 54. Suppose y*f - 10 = 14*f. Suppose -a + 4*a + 105 = 3*p, f*p - 147 = -2*a. Is p a multiple of 5?
False
Let m = 106 - 83. Suppose 0 = 3*z + 5*j - m, 8*z = 4*z - 5*j + 39. Does 4 divide z?
True
Suppose z + 3*j - 12 = 0, -2*z - 8*j + 10*j = 0. Suppose -f + 191 = i, 195 = i - 0*i - z*f. Does 32 divide i?
True
Suppose 7*u = -18*u + 400. Is u a multiple of 4?
True
Suppose -3*m - 2*l = -1689, l = -m - l + 559. Is m a multiple of 5?
True
Let l = 11 - 7. Let x(q) = -2 - 3 - 14*q + 10*q + q**2 + 3*q. Is x(l) a multiple of 2?
False
Let z = -48 + 50. Let f(b) = 21*b - 3. Is 3 a factor of f(z)?
True
Suppose 21*x - 24*x = 477. Let m = 267 + x. Is m a multiple of 18?
True
Let q(g) = -g**2 + 11*g + 7. Let f be q(14). Let u = 39 + f. Is 3 a factor of u?
False
Let p(t) = -18*t + 50. Let z be p(-7). Suppose -5*u = -z - 4. Is u a multiple of 4?
True
Let m(p) = -12 - 14 + 14*p + 28 - 5. Is 19 a factor of m(7)?
True
Suppose 1 = -2*l + 5*m + 11, 21 = -l - 4*m. Let b be l + -1 + -2 + 2. Is 23 a factor of ((-69)/(-9))/(b/(-36))?
True
Let i = 21 + -19. Let r be (26/(-65))/(i/(-10)). Suppose 212 = 4*l - 2*m, 4*l + 2*m = -r*m + 236. Is l a multiple of 10?
False
Let y(d) be the second derivative of d**3 + d**2/2 - 16*d. Does 4 divide y(5)?
False
Let r(h) be the second derivative of h**3/3 + 9*h**2 + 4*h. Is 8 a factor of r(18)?
False
Let b(f) be the third derivative of -f**6/120 - 11*f**5/60 - f**4/24 - 2*f**3/3 + 3*f**2. Let h be b(-11). Let d = h + 6. Does 13 divide d?
True
Suppose 5 = 4*h - 5*a, 6*h - 5*a = 5*h + 5. Let t(b) be the first derivative of b**4/4 + b**3/3 + b**2 + 35*b + 2. Is 16 a factor of t(h)?
False
Let v(a) = 70*a - 20. Let m(c) = -10*c + 3. Suppose h + 10 = -10. Let j(l) = h*m(l) - 3*v(l). Is j(-6) a multiple of 15?
True
Let a(l) = -l. Let t(p) = -4*p - 9. Let x(q) = 24*a(q) + 3*t(q). Does 33 divide x(-9)?
True
Suppose -3*w + 11391 = -j + 