*h**2 - 2*h + 8. Let c be r(-4). Let g = -8 - c. Does 12 divide g?
True
Suppose -5*y + 10 = -4*y. Let q(x) be the first derivative of -x**4/4 + 10*x**3/3 + 3*x**2/2 - x - 1. Is q(y) a multiple of 11?
False
Let g = -1542 + 2993. Is g a multiple of 69?
False
Let b(i) = i**3 - 5*i**2 - 3*i. Suppose 5*w - 12 = 18. Let g be b(w). Suppose -5*y + 4*y + g = 0. Is y a multiple of 11?
False
Let h(x) = -x - 1. Let r(y) = -y + 3. Let g(t) = -2*h(t) + r(t). Let l be g(-4). Let v = l - -3. Does 3 divide v?
False
Is 6/(-18) + (-758)/(-6) a multiple of 7?
True
Let g(h) = 59*h**2 - 1. Let j be g(1). Let d = -28 + j. Is d a multiple of 6?
True
Let d = -359 - -11. Let w = 590 + d. Suppose -6*o - 62 = -w. Is 15 a factor of o?
True
Let b(s) = -s**3 - 5*s**2 - 3*s + 2. Let o be b(-4). Let l = -70 - -68. Does 17 divide l*o/(-4) - -35?
True
Let p(f) = -10*f + 2. Let x be p(4). Let c = x + 88. Is 54/10 - (-30)/c a multiple of 4?
False
Let k(d) = d**2 - 7*d + 3. Let s be k(6). Let y(m) = m + 3. Let n be y(s). Is 3 a factor of (n/4 - -9) + 0?
True
Let u(v) = v**2 + 5*v - 16. Let f be (24/(-14))/((-2)/7). Does 25 divide u(f)?
True
Let h = 7 - 5. Suppose p + 8 = -2*o - 2*p, -18 = -5*o + h*p. Suppose y = o*y - 59. Does 13 divide y?
False
Let c(g) be the third derivative of -g**6/120 + 2*g**5/15 + 3*g**4/8 + 2*g**3/3 - 6*g**2. Suppose 4*h = -2*s - s + 41, 2*s = 5*h - 34. Is c(h) a multiple of 38?
True
Let k = 67 - 67. Is 12 a factor of -3 - k - (3/(-1) + -82)?
False
Let q(u) = 7*u**2 + 3 + 0 - u**3 - 2*u - 2*u. Let t(x) = -x**3 + 10*x**2 + 2*x - 14. Let l be t(10). Is 15 a factor of q(l)?
True
Let v(w) = w**3 + 16*w**2 - 37*w - 17. Let u be v(-18). Is 47 a factor of u + 5/(20/804)?
False
Let j = -61 + 44. Let f(x) = -x**3 - 17*x**2 - 7*x + 16. Is f(j) a multiple of 35?
False
Suppose f + 5*u - 345 = 0, f - 143 = 2*u + 202. Does 10 divide f?
False
Suppose 268 = 5*i + 28. Suppose -p = -7*p + 192. Let d = i - p. Is 4 a factor of d?
True
Let h(z) be the second derivative of -z**4/12 + 4*z**3/3 + z**2 - 11*z. Let a be h(8). Suppose 10 = -5*s, -7*s = -y - a*s + 29. Is y a multiple of 19?
True
Let v(w) = -2*w + 250. Does 3 divide v(-23)?
False
Let a be (-1 - -2) + (-8)/(-2). Suppose -15 = -a*i - p - 0*p, -p + 7 = 3*i. Suppose -110 = -5*u - 5*x, -5*x - 79 = -i*u + 2*u. Does 27 divide u?
True
Let u(x) = 3*x**2 - 29*x - 84. Is 12 a factor of u(24)?
True
Let h(v) = 182*v**2 + 94*v + 283. Is 11 a factor of h(-3)?
True
Suppose 3*i = 7*i - 12. Suppose 3*w + i*k = 342, k - 2*k + 450 = 4*w. Is 36 a factor of w?
False
Is ((-2)/4)/(6*(-6)/30888) a multiple of 13?
True
Let q(w) = 6*w**2 + 8*w + 47. Is 3 a factor of q(-4)?
True
Let u(j) = 35*j + 9. Let v be u(6). Let g = -155 + v. Suppose 6 + g = 5*a. Is a a multiple of 14?
True
Let a(m) be the second derivative of -8*m**3/3 - 3*m**2/2 - 10*m. Let r be a(-2). Suppose 4*v = 3*v + r. Does 8 divide v?
False
Let a = 80 + -34. Suppose -5*o + 2*b = -a, -4*o - 2*b = -4*b - 38. Is o a multiple of 3?
False
Let k(o) = o**3 - 4*o**2 + 6*o - 15. Does 12 divide k(9)?
True
Let t = 166 - 164. Suppose 7*h = t*h - 4*l + 1258, -269 = -h + 5*l. Does 36 divide h?
False
Suppose 0 = -6*s + 2*s - 4*c + 12, 0 = -s + 3*c + 7. Let a(z) = z**2 - 12. Is a(s) a multiple of 4?
True
Let g(l) be the third derivative of -2*l**2 + 2/15*l**5 + 0*l - 1/8*l**4 + 1/6*l**3 + 0. Is 9 a factor of g(2)?
True
Suppose 0 = -4*f - 4*q - 68 - 104, 3*f + 137 = q. Let h be f/(-20) + 1/(-4). Suppose -h*d + 38 = y, 4*d - 162 = -5*y + d. Is 10 a factor of y?
True
Let y(u) = u**3 + 8*u**2 - 6. Let m = -29 + 21. Let w be y(m). Is 2*w/16*-44 a multiple of 10?
False
Suppose 0 = 2*s - 188 + 6. Does 9 divide s?
False
Let q = -113 - -89. Let u be 16*-1 + (0 - -2). Is u/4*q/6 a multiple of 14?
True
Is 6 a factor of (-1708)/8*(3 - 99/21)?
True
Suppose 14*q = 4*k + 9*q + 7, 3*q = -3*k + 15. Let d be 0 + -1 - (-2 + 1). Suppose -30 = -2*m - c - c, d = -5*m - k*c + 75. Is m a multiple of 8?
False
Suppose -j = 5, 3*h = 4*j + 55 + 142. Suppose -4*o = -25 - h. Suppose 3*n + o - 135 = 0. Is 8 a factor of n?
False
Let n(y) be the first derivative of y**4/4 - 4*y**3/3 + 2*y**2 - y + 8. Let d be n(3). Suppose 5*p = -15, d*u = -u + 3*p + 75. Is 13 a factor of u?
False
Let h = 63 - -77. Does 4 divide h?
True
Suppose 3*j - 3*n + 51 = -7*n, 0 = n + 3. Let d be (j - -15) + 8/2. Suppose -d = -2*g + y + 19, -4*g - 2*y + 54 = 0. Does 8 divide g?
False
Suppose 3*r + r + 356 = 0. Let f = 535 + -678. Let m = r - f. Is m a multiple of 9?
True
Let q be (-1075)/(-35) - 2/(-7). Let v = -31 + q. Suppose v = -2*b - 7 + 65. Is b a multiple of 4?
False
Let p be 2*(10/3 + -3)*-6. Is 8 a factor of p/16*-4*(-177)/(-3)?
False
Suppose -2*b + s + 2433 = 0, 3*s = -4*b + 2648 + 2213. Is 19 a factor of b?
True
Let m = 19 + -10. Suppose m*u - 25 = 4*u. Suppose 18 = j - u. Does 23 divide j?
True
Suppose 2*x - 2 - 2 = 0. Let t be x/4 - 5/(-2). Let b = t - -7. Is b a multiple of 5?
True
Let f(n) = -31*n**2 - 3*n + n - 44*n**2 - 6*n**2. Let r be f(2). Is 9 a factor of r/(-18) + (-10)/45?
True
Let u = 37 + -35. Does 8 divide 42/u + (2 - 4)?
False
Let d be (1 - 14/4)*-4. Suppose -d*k = -5*k - 705. Is 25 a factor of k?
False
Suppose 4*s = -w + 7*s + 9, -w = 5*s - 1. Suppose r = 3*f - w - 4, 0 = -3*f - r + 2. Is -18*1/((-3)/f) a multiple of 6?
True
Let q be (3 + 18)/3 - 2. Let v(h) = -4*h + 5*h**2 - h**3 + q*h**2 - 2 - h + 9. Is v(8) a multiple of 12?
False
Suppose 1 = -q + 2*q. Let v = q - -3. Suppose v*c = c + 78. Does 26 divide c?
True
Let g(p) = 13*p**2 + 5 - p**3 + 4*p + 0*p**2 - 3*p**2. Does 23 divide g(10)?
False
Suppose 8*i - 155 = 485. Is 8 a factor of i?
True
Let v(o) = 2*o**3 - o**2 + 4*o - 4. Let t = 59 + -57. Does 16 divide v(t)?
True
Suppose 4885*b = 4888*b - 3456. Is 45 a factor of b?
False
Let k(q) = 4*q**2 - 9*q + 12. Suppose -2*p = -p - 6. Is k(p) a multiple of 15?
False
Suppose 2*w = -4*g + 60, -2*g + 2*w - 43 = -5*g. Let b = g - -29. Suppose 0 = -2*z + 200 + b. Does 25 divide z?
False
Suppose -5 = -t - 3. Suppose 0 = 3*i + c - 10, i + 0*i - 5*c = -t. Suppose 0 = 2*x + 6, 3*f - i*x - 324 = 0. Is 19 a factor of f?
False
Let y = -14 + 19. Suppose -4*n + 4*f = -24, 0 = -0*n + y*n + 4*f - 66. Is 10 a factor of n?
True
Let b(m) = -21*m + 11. Let o(w) = -w. Let r(q) = -b(q) - o(q). Is r(2) a multiple of 6?
False
Let r(b) = 2*b**2 - 17*b + 12. Let s be r(8). Suppose -3*y = -0*p + p + 16, 5*y = s*p - 21. Is 6 a factor of ((-70)/42)/(p/18)?
True
Let g(c) = 17*c - 136. Is g(24) a multiple of 8?
True
Suppose -l + 4 = l. Suppose -2*m = -3*k + 2 - 6, -4*k - 2 = -l*m. Suppose -3*g = -m*y + 245, -158 = -3*y + 4*g - 0*g. Does 23 divide y?
True
Let w be (-2)/(-12) - 62*(-38)/(-24). Let u = 220 + w. Does 14 divide u?
False
Let p be 17*(-16)/12 - 1/3. Let f(n) = -n + 2. Is f(p) a multiple of 7?
False
Suppose 0*q - 2*q = 2, -4*k + 9 = 3*q. Suppose 5*g - 7 + 35 = k*i, 5*i - 4*g = 38. Suppose 22 = i*o - 5*o. Does 8 divide o?
False
Let a(y) = y**3 - 5*y**2 - 7*y + 8. Let p be a(6). Suppose c = 2*c + p. Does 9 divide (44/c)/2*-1?
False
Let l(d) = 109*d**2 + 7*d - 8. Is l(1) a multiple of 8?
False
Let k = 602 + -382. Does 20 divide k?
True
Is 7 a factor of (-31248)/630*5/(-2)?
False
Let u(c) = -2*c**3 + 15*c**2 - 8*c - 26. Is 2 a factor of u(6)?
True
Suppose -g - 1195 = -34*o + 29*o, -2*o - 3*g + 495 = 0. Is 60 a factor of o?
True
Suppose 190 = 52*f - 51*f. Does 15 divide -3 - (-4 - f - 4)?
True
Let v = 13 + -8. Suppose -10 = -3*g + 5, 52 = 3*k + v*g. Suppose -k + 94 = 5*d - 5*n, 2*n = -3*d + 61. Is 19 a factor of d?
True
Suppose -8*b + 4*w = -4*b - 1244, -3 = -w. Does 16 divide b?
False
Suppose 0*t + a = -5*t + 40, -a = 0. Let d be ((-4)/t)/(3/(-12)). Suppose -3*n + 11 = -i - d, 3*i = 2*n - 18. Does 3 divide n?
True
Suppose -2*q + 6*q + 2*j - 10 = 0, 1 = q - j. Suppose -4*l - 5*f = 6 - 25, q*f = 3*l - 43. Is 18 a factor of 1592/44 - 2/l?
True
Let d = 587 - 272. Is (4/(-6)*-11)/(30/d) a multiple of 12?
False
Suppose -5*m = -26*m + 7875. Does 70 divide m?
False
Suppose -108*i - 2590 = -2*k - 105*i, 0 = -3*k - 2*i + 3885. Is k a multiple of 9?
False
Suppose 6*i = i + 400. Suppose 2*j + 2*j + i = 0. Let l = -5 - j. Is 5 a factor of l?
True
Suppose -28 = -3*l + 2*k, 3 + 4 = -3*l - 5*k. Suppose 0 = -9*c + 7*c - l. Is (-141)/(-4) - c/4 a multiple of 12?
True