2 + 8*c + 1. Let q(l) be the first derivative of -7*l**4/4 + l**3/3 - l + 14. Let m be q(-1). Does 8 divide j(m)?
True
Suppose i = 7*i - 180. Let u be (3 - i/9)/((-5)/180). Suppose -u*h + 50 = -11*h. Does 14 divide h?
False
Let t(n) = -5*n**3 - 7*n**2 - 20*n + 1. Is 2 a factor of t(-3)?
False
Let y(l) be the second derivative of 0 + 11/3*l**3 + 19/2*l**2 - 1/12*l**4 - 8*l. Is 8 a factor of y(21)?
True
Let i(f) = -2*f - 4. Let z be i(-5). Let x(c) = -c**3 - 12*c**2 - 3*c - 12. Let n be x(-12). Suppose -4*l - n = -z*l. Does 4 divide l?
True
Suppose -5*q + 5 = 5*m - 10, m + 3*q + 3 = 0. Is 49 a factor of (111 - -2 - -6)*(m - -1)?
True
Suppose -114464 = -4*r + 4*t, -58291 = -3*r + 5*t + 27549. Does 54 divide r?
True
Let p be 30/(-1) + -1 + 4. Suppose -b + 66 = -0*b. Let a = b + p. Does 13 divide a?
True
Suppose 0*j + 6328 = 14*j. Let c = j + -252. Is 12 a factor of c?
False
Let n(p) = p**3 + 55*p**2 + 620*p + 41. Is n(-38) a multiple of 8?
False
Let m be (-1)/(-18)*76 - (-4)/(-18). Suppose 2*y - m*u - 176 = 0, -2*y + 50*u - 48*u + 178 = 0. Does 6 divide y?
True
Suppose -4*t - 3*b + 19661 + 10731 = 0, -4*b = -5*t + 37928. Is t a multiple of 52?
True
Let g(k) = 16*k**3 + 105*k**2 + 346*k - 14. Let r(p) = -3*p**3 - 21*p**2 - 69*p + 3. Let f(y) = -2*g(y) - 11*r(y). Is 12 a factor of f(-17)?
True
Suppose 18 + 30 = 6*o. Let h be (2 - (7 + -1)) + o. Suppose 157 = 4*y + l, 0*l + 167 = h*y + 3*l. Is y a multiple of 19?
True
Is 13 a factor of (1/(-3))/((-97)/3783)*(2 + 741)?
True
Let j(h) = -2796*h - 8652. Does 144 divide j(-5)?
True
Let b(d) = -14922*d + 27. Does 33 divide b(-1)?
True
Let u(h) = h + 19. Let r be u(-14). Suppose f = 3*o + 2, -f - r*o + 1 = -1. Suppose 0*z + 126 = f*z. Does 7 divide z?
True
Let c(o) = 3*o - 18 + 8*o + 592*o**2 - 593*o**2. Let p be c(9). Let w(t) = t**3 - t**2 + 4*t + 40. Is w(p) a multiple of 2?
True
Suppose 4*j + o - 1234 = 0, 4*j - 1002 - 226 = -4*o. Is j a multiple of 3?
True
Suppose -4*t + 4*c + 8080 = 0, 6*t - t - 4*c - 10096 = 0. Suppose 7*y = 15*y - t. Is y a multiple of 42?
True
Let v be (3 - 38/14) + (-52)/(-14). Let g be (19 - 1)*-1123*v/12. Is 14 a factor of 6/27 - g/54?
False
Let f(m) = 176*m**2 + 3*m - 3. Suppose 44 = 3*u - 16. Let v be 1/5 + u/25. Is f(v) a multiple of 26?
False
Suppose q - 36 + 199 = 0. Let l = -303 - -208. Let g = l - q. Is 17 a factor of g?
True
Let l(b) = -11630*b - 84. Is 158 a factor of l(-1)?
False
Let x be (44 - 40) + -1 + 12/(-1). Let v(j) = 2*j**2 - 17*j + 31. Is v(x) a multiple of 41?
False
Let s(i) = -26*i**2 + 53*i - 335. Let c(x) = -9*x**2 + 18*x - 111. Let t(u) = 11*c(u) - 4*s(u). Is t(-16) a multiple of 37?
False
Let o = -8 - -17. Suppose 5*f - o*f + 203 = -3*i, -i - 73 = 4*f. Let k = i - -106. Is 13 a factor of k?
False
Suppose -9*b + 93384 - 11250 = 0. Does 83 divide b?
False
Let s(k) = k**2 - 19*k - 386. Is s(-58) a multiple of 51?
True
Let c(d) be the first derivative of -7*d**2/2 - 11*d - 60. Is c(-19) a multiple of 7?
False
Let x(o) = 7*o**2 - 37. Let r be x(7). Let p = r + -164. Is 23 a factor of p?
False
Let n(t) = -t**2 + 30*t - 54. Let q be n(28). Suppose 5*u + 2*r - 684 = 0, 0 = -3*u + 5*u - q*r - 282. Is u a multiple of 21?
False
Let o = 1701 - -2842. Is o a multiple of 11?
True
Let z(t) = -t**3 + 54*t**2 + 56*t + 184. Does 5 divide z(55)?
False
Let t = 2540 + 2744. Is 17 a factor of t?
False
Let j be 206 - (3 - (2 - 0)). Let u = -349 - -220. Let m = j + u. Is m a multiple of 38?
True
Let p(l) = 13*l**2 + 11*l**2 - 22*l + 32 - l**3 - 27*l**2 + 30*l. Is p(-6) a multiple of 10?
False
Suppose 5*v - 3*p + 56 = 0, -3*p + 0*p = -4*v - 46. Let b be (0 - -5)*(1 + 4/v). Suppose b*i = i + 280. Does 10 divide i?
True
Suppose -21095 = -3*p + 8233. Is 16 a factor of p?
True
Suppose -11*o = -19 - 25. Suppose w + 0*x - 219 = 2*x, o*w - 928 = -5*x. Let c = w + -140. Does 16 divide c?
False
Suppose -4 = -2*t - 6. Is 12 a factor of (t/3 + 4)*69?
False
Suppose -2 - 1 = -p. Suppose l - p*w = 230, -3*l - 222 = -4*l + w. Is l even?
True
Let x(f) = -20*f**3 - 4*f**2 + 63*f + 4. Let t(a) = -a**2 + 0*a - 7*a**3 + 18*a + 3*a + 1. Let h(z) = 17*t(z) - 6*x(z). Is h(-9) a multiple of 3?
False
Let i be 37/8*2 + (-55)/44. Let w(b) = 134*b - 127. Is w(i) a multiple of 35?
True
Let c(t) = 18*t - 106. Let y be c(7). Suppose -12*g = -13*g + y. Does 2 divide g?
True
Suppose -3606 = 3*y + 2*n, -n = -16*y + 14*y - 2411. Let d = 28 - y. Does 56 divide d?
True
Let f(v) = v + 31. Let a be f(-26). Suppose -8 = 3*o - 4*m, 5*o = 2*o - a*m - 17. Is 10 a factor of o*(-12)/16 - -47?
True
Let l(o) = 44*o**2 + 10*o - 16. Let m be l(4). Let r = m - 512. Does 11 divide r?
False
Suppose -4*s - 16 = 0, 5*w + 5*s - 2*s = -392. Let n = 89 + w. Suppose 0 = -14*m + n*m + 65. Is m a multiple of 4?
False
Let z(s) = 2*s**2 + 9*s + 8. Let f(i) = i**2 + 4*i - 12. Let u be f(-5). Let n be z(u). Suppose -2*c = l - 98, -3*c = -5*l + 499 + n. Does 14 divide l?
False
Suppose z - 2*y = -y, -4*y = -3*z. Suppose -2*h - 6 = z, 4*h = 3*f - 7*f + 396. Is 6 a factor of f?
True
Suppose -5*v = -1224 - 31. Suppose -4*q - 3 = -v. Does 21 divide q?
False
Let j(t) = 3*t - 2*t**2 - 2*t - 11 - 9*t - 18*t. Let v be j(-12). Suppose 5*n = 4*h - 204, n - 73 = -h - v. Does 13 divide h?
False
Let d(i) = -1954*i - 404. Is 48 a factor of d(-2)?
True
Let j(l) = -357*l - 2610. Is 92 a factor of j(-61)?
False
Let x(g) = 13*g**2 + 32*g - 15. Let d(t) = 11*t**2 + 33*t - 15. Let z(i) = 5*d(i) - 4*x(i). Is 26 a factor of z(8)?
False
Let u be 2*1/(-5) + (-371008)/(-320). Suppose -u = 3*b - 4723. Is b a multiple of 9?
True
Suppose -206*g + 56136 + 197862 = 0. Is 3 a factor of g?
True
Suppose -43*o = 17221 - 129021. Is 10 a factor of o?
True
Suppose 4*l - 29*l - 46*l = -299194. Does 6 divide l?
False
Let h = -96 + -3. Let b = h + -3. Is (-8)/(-6) + -1 + b/(-18) a multiple of 6?
True
Suppose 635 = 4*z - s, -3*s + 0*s + 480 = 3*z. Let c = -90 + z. Let x = c + -45. Is 16 a factor of x?
False
Let y be -5 + (54/8)/((-6)/176). Is (-29)/(y/462)*(-14)/(-4) a multiple of 13?
False
Suppose 0 = -4*x + 28 - 20. Let p(y) = 48*y**2 - 7*y + 11. Is p(x) a multiple of 38?
False
Let g be (-8)/5*(-39 + -471). Suppose 9*o - 13*o + g = 0. Is o a multiple of 22?
False
Let o(l) = -3*l**2 + 32*l - 3. Let p be o(11). Let g(n) = -4*n**2 - 61*n - 9. Is g(p) a multiple of 2?
False
Let z(x) = -2*x**3 - 64*x**2 - 31*x - 95. Does 105 divide z(-32)?
False
Let p = -503 - -490. Let l(u) be the second derivative of -u**4/12 - 7*u**3/3 + 11*u**2 + 3*u. Is 12 a factor of l(p)?
False
Let w = -283 + 251. Does 22 divide w/(-8) - (-2 - -2) - -238?
True
Let v(g) = -3*g**2 + 14*g - 5. Let y be v(4). Suppose 0 = n - 3*n - 8, -y*f - 3*n = 951. Let z = f - -445. Does 33 divide z?
True
Let i(f) = -2*f + 7. Suppose -b = j - 4*j - 1, 0 = -5*j + 3*b + 5. Let l be j*(-4)/(40/(-45)). Is i(l) a multiple of 25?
True
Suppose -768*q = -770*q + 32. Suppose q*k - 675 - 765 = 0. Is 6 a factor of k?
True
Suppose -c + 11*c - 1260 = 0. Suppose 4*i - 95 = -5*j + c, -3 = -3*j. Is 9 a factor of i?
True
Let q(s) = -124*s + 12. Suppose -2*l = c + 16, l = 3*l - 3*c. Let v be q(l). Suppose w = -8*w + v. Is w a multiple of 42?
True
Let a(r) = -r**3 - 19*r**2 - 23*r - 14. Suppose 2*k + 4*b + 144 = 0, -3*b + 4*b = -4*k - 302. Let m = -94 - k. Does 38 divide a(m)?
True
Suppose -3*k + 19*k = 64. Let f(n) = 9*n**2 - 16*n + 40. Does 15 divide f(k)?
True
Let w be (-7)/(-14) + (2 - 45/(-6)). Let g be w/6 + -1 + (-2)/3. Suppose g*r + 120 = 4*r + 4*b, -118 = -3*r + 4*b. Does 17 divide r?
True
Let s = 185 - 182. Let o = -89 + 149. Suppose -o = -s*h + h. Is h a multiple of 15?
True
Let h(l) = 4*l**2 + 17*l - 4. Let o(c) = 2*c**2 + 9*c - 2. Let q(n) = -3*h(n) + 5*o(n). Let t be q(-3). Suppose t*b + 105 = 7*b. Is b a multiple of 3?
True
Let p be 7/7*-21 - (0 + -1). Let v(n) = -n**3 - 20*n**2 - 7*n. Is 28 a factor of v(p)?
True
Let v(s) = 354*s**2 - 192*s - 566. Is 3 a factor of v(-3)?
False
Let f(m) = -m**3 + 2*m**2 - 2*m + 186. Let l be f(0). Suppose 4*n = 0, 2*n = 2*p + 5*n - l. Suppose p*h - 88*h - 440 = 0. Is h a multiple of 33?
False
Let a(d) = 360*d + 279. Is 21 a factor of a(2)?
False
Let y(v) = 394*v**2 + 1089*v + 5442. Is y(-5) a multiple of 4?
False
Let c(g) = 19 + 10 - 42*g + 50*g. Let d be c(0). Let t = 79 - d. Is t a multiple of 