*h**2 - h - 2. Let q be l(-7). Suppose -213 = -q*a - 78. Let b = a + 10. Is b a multiple of 14?
False
Suppose -w + 14 = -51. Is 12 a factor of w?
False
Suppose 5*c = 31 + 64. Does 14 divide c?
False
Suppose t - r - 4*r + 4 = 0, 5*r = -t + 16. Suppose -2*c - 224 = -t*c. Is 13 a factor of c?
False
Let x = -433 + 889. Let c be (-2)/(-5) + x/10. Let i = -31 + c. Is i a multiple of 15?
True
Suppose 2*o - 1 = -5. Let l = -1 - o. Is 0 - (-6 + l) - 1 a multiple of 2?
True
Let c(q) = -q**3 - 10*q**2 - 8*q + 11. Let r be c(-9). Does 29 divide (12/r)/3 + 49?
False
Let c(y) = -y - 2. Let f be c(-6). Is 99/5 + f/20 a multiple of 9?
False
Let n(h) = -h**2 + 4*h. Let v be n(3). Let t(l) = 2*l - 3. Let f be t(v). Suppose 32 = f*r - 10. Is 6 a factor of r?
False
Let b = -36 + 80. Does 10 divide b?
False
Let p(q) = 25*q + 3. Let v be p(3). Suppose 5*t - v = 92. Is 9 a factor of t?
False
Let a = -24 - -14. Let r = a - -47. Is r a multiple of 9?
False
Let v(u) = u**3 + 6*u**2 + 3*u - 6. Let x(z) = -2*z**3 - 13*z**2 - 6*z + 12. Let f(i) = 11*v(i) + 6*x(i). Is 15 a factor of f(-12)?
False
Suppose -3*m + 217 = -0*m - w, -m + 71 = w. Is m a multiple of 16?
False
Let z(q) be the first derivative of -3*q**2 + 2*q - 2. Let t be ((-63)/(-14))/((-3)/4). Is 16 a factor of z(t)?
False
Let w(i) be the second derivative of i**4/12 - 5*i**2/2 + i. Let f(d) = -d**2 + 9*d - 7. Let n be f(9). Is w(n) a multiple of 17?
False
Suppose 7*a = 2*a - 20. Let u be 180/(-42) + a/(-14). Is 17 a factor of (-1056)/(-40) + u/10?
False
Let j(i) = -i**2 + 8*i. Let z(t) = -7*t**3 - t**2 - t - 1. Let v be z(-1). Is 12 a factor of j(v)?
True
Suppose -5 - 3 = 2*k. Let d be (-12)/k - (-1 - 9). Let o = d - -17. Does 10 divide o?
True
Is 17 a factor of (144/(-40) - -2)/(4/(-170))?
True
Let r(p) be the second derivative of -2*p**3/3 - 5*p**2/2 - 3*p. Does 11 divide r(-4)?
True
Let t(h) be the third derivative of h**6/120 + h**5/60 + h**4/24 - h**3/2 + 2*h**2. Let y be t(0). Let r(j) = j**2 + 3*j + 4. Is r(y) a multiple of 3?
False
Let x = -71 - -428. Does 21 divide x?
True
Does 14 divide 5 - (3 + 1) - -28?
False
Suppose 0*h = h - 18. Does 15 divide h?
False
Suppose 3*c = -4*d + 49, 3*c + d = -d + 47. Suppose 1 = -w + c. Does 7 divide w?
True
Suppose u + 4 = 3*b, -u - 2*u + 4*b = -8. Does 7 divide u?
False
Let y(z) = 6*z**2 + z - 5. Let c(u) = -7*u**2 - u + 6. Let j(r) = 3*c(r) + 4*y(r). Suppose -5*t + 3*s = 4*s + 14, -2 = -3*t + 2*s. Does 4 divide j(t)?
True
Suppose 5*d + 0 = 15. Suppose d*r = 6, 4*r = 4*w - 0*r - 104. Does 11 divide w?
False
Let x be (0 - 0)/((-13)/13). Suppose x*y = y - 16. Does 8 divide y?
True
Suppose -36 = -b + 4*l, -3*l + 2*l - 64 = -3*b. Is 10 a factor of b?
True
Let o = -18 - -18. Suppose 4*r + o*r + 3*q - 99 = 0, r - 22 = 2*q. Is r a multiple of 8?
True
Suppose -1 = -y - 2*s + 12, 2*y - 16 = -2*s. Suppose y*o = 8*o. Is 7 a factor of 1 - (-14)/(2 - o)?
False
Let p = 14 - 8. Suppose -2*j - 288 = -p*j. Is 34 a factor of j?
False
Let c(x) be the first derivative of -16*x**2 + 6*x - 5. Does 14 divide c(-2)?
True
Suppose 4*u + 0*p - 335 = 5*p, -5*u + 2*p = -423. Suppose -2*q = 3*q - u. Does 17 divide q?
True
Let g(d) = 19*d**3 + d**2 + 2*d - 2. Let c(k) = -k + 1. Let h(n) = c(n) + g(n). Suppose -45*r = -42*r - 3. Is 10 a factor of h(r)?
True
Let o(v) be the third derivative of -7*v**6/120 - v**5/30 + v**3/6 - 2*v**2. Let a be o(-1). Let t(i) = i**2 - 5*i + 2. Is 4 a factor of t(a)?
True
Let r(b) = 2*b**3 + 3*b**2 - 12*b + 1. Let j(x) = x**3 + 2*x**2 - 6*x + 1. Let t(z) = -13*j(z) + 6*r(z). Suppose 0 = -0*s + 2*s + 18. Does 17 divide t(s)?
False
Let q be ((-35)/3)/((-2)/6). Suppose 2*y - 3*v = 4*y - 23, -3*v + q = 5*y. Does 10 divide (-2)/((-24)/57)*y?
False
Let v be 7/(-3) + (-6)/9. Let d be (v/2)/((-3)/(-150)). Let k = 114 + d. Does 14 divide k?
False
Let b be (-2)/11 + (-6)/(-33). Suppose 0 = t + 4*i - 4, 2*t - 20 = -b*t - 2*i. Is t a multiple of 6?
True
Let f = 36 + -26. Let c = f - 6. Suppose 0 = 4*s + 4*y - 28, -4*s = -0*s - c*y - 68. Is 12 a factor of s?
True
Suppose 5 = 4*o - 9*o. Does 12 divide 33 - o - (1 + -2)?
False
Let u = 99 + -49. Is u a multiple of 25?
True
Let n be (1 - 2) + (-4)/2. Let h = n - -5. Suppose -6*w = 2*x - w - 33, -h*x = 4*w - 30. Is x a multiple of 9?
True
Let i(c) = c**3 + 9*c**2 + 10*c + 2. Suppose 2*h - 5*y + 9 = -4*y, 0 = 4*h + 2*y + 38. Does 10 divide i(h)?
True
Let h = -11 - -6. Let m(k) = -k**3 - 5*k**2 + 2*k + 7. Let g be m(h). Is 16 a factor of (g - 0 - -1) + 20?
False
Let r be (-38)/(-8) + (-1)/(-4). Suppose -3*f + 5*a - 4 = 0, 11 = -2*f - 0*a + r*a. Does 3 divide f?
False
Suppose 39 = 3*y - 3*g, 2*g = 4*y + g - 49. Suppose 14 = 3*f - 4*n - y, f + 2 = -4*n. Does 6 divide f?
True
Suppose -2*h - 2 = 40. Let g = -15 - h. Suppose -2*d + g*j - j = -96, -j - 80 = -2*d. Is d a multiple of 13?
False
Let u = 5 - 5. Suppose u = 2*y + 6 - 22. Is y a multiple of 6?
False
Let t be (-3)/4 - (-66)/24. Suppose 2*n - 167 = -5*q, n - 39 = -q + t*n. Is 15 a factor of q?
False
Suppose 11*k - 1034 = -44. Does 18 divide k?
True
Suppose -t - t - 4 = -r, 3*t = 2*r - 9. Is r even?
True
Let n(l) = 20*l. Let q be n(-3). Let u = q - -98. Is 17 a factor of u?
False
Suppose 0 = 2*m - m + 5. Is m/4*-1*16 a multiple of 10?
True
Suppose -58 = -5*i - 3*w, i - 3*i - 2*w = -24. Does 5 divide i?
False
Suppose 27 = 5*x - 13. Does 6 divide x?
False
Suppose 4*j + 2*n - 12 = 0, 4*j + 2*n = j + 7. Suppose -j*z + 64 + 44 = 4*c, -3*c + 4*z + 81 = 0. Is 9 a factor of c?
True
Let n(k) = -k + 1. Let h be n(-6). Suppose -2*y + h = -5. Does 4 divide y?
False
Suppose 0 = -x + 3*x - 182. Is 13 a factor of x?
True
Let w = 10 + -8. Let d(h) = 4*h**2 - h - 1. Is d(w) a multiple of 9?
False
Suppose -y - 5*d = 3, -3*y - 4*d = -5*y - 6. Let g(u) = -u**2 - 1. Let c(x) = -2*x**3 + 5*x**2 + 4*x + 7. Let w(i) = c(i) + 6*g(i). Is w(y) a multiple of 17?
True
Does 12 divide (-4038)/(-21) - (-14)/(-49)?
True
Let m be (84/(-10))/((-4)/(-70)). Let s = -98 - m. Let q = -31 + s. Is 9 a factor of q?
True
Let d(l) = l**3 + 5*l**2 + 2*l - 5. Let h be d(-4). Suppose h*s = -2*s + 20. Suppose -49 + 21 = -s*r. Is r a multiple of 7?
True
Let o(x) = 6*x. Let v be o(5). Suppose -3*h + v = -0*h. Does 10 divide h?
True
Suppose -5*t - 23 = 2*f, f + f + 20 = -4*t. Let l(q) = -q**3 - q**2 + 5*q + 4. Let s be l(f). Suppose 5*k - y = k + s, 0 = k - 2*y - 1. Is 9 a factor of k?
True
Suppose 12*f = 13*f - 45. Does 6 divide f?
False
Suppose 0*p - 4*p + 16 = 0. Suppose -3*d = -8*w + 3*w - 103, w = -p*d + 99. Is d a multiple of 13?
True
Suppose -11*n + 1035 = -2*n. Does 13 divide n?
False
Let q(y) = y**3 + 9*y**2 + 5*y - 6. Let h be q(-8). Let s = -3 + h. Is s a multiple of 6?
False
Suppose -82 = -4*p - 18. Suppose 4*m + p = -4*w + 60, -23 = -2*m - w. Is m a multiple of 4?
True
Suppose 3*b - 490 = 290. Is b a multiple of 13?
True
Let z = -4 + 4. Let q = z - -5. Suppose r = -q*i + 3*r + 74, 2*i - 2*r = 32. Is i a multiple of 7?
True
Let c = -168 + 277. Is c a multiple of 29?
False
Let q(w) = 3*w + 2. Let d(h) be the second derivative of h**3/3 + h**2 + h. Let l(c) = 5*d(c) - 6*q(c). Is l(-2) a multiple of 6?
False
Is 9 a factor of (1 + -2)/(1/(-34))?
False
Suppose 2*h = -2*m - 2*m - 2, -3*h + 7 = m. Let r be (-12)/3*h/4. Does 5 divide -5*(-3 - 6/r)?
True
Suppose -4*n + 260 = -5*g - 175, -3*n = -3*g - 327. Does 11 divide n?
True
Suppose -t + 22 + 28 = 0. Does 10 divide t?
True
Let i = -2 - 4. Let y be ((-4)/6)/(4/i). Suppose -68 = -3*o - 4*u, -u + y + 4 = 0. Is 11 a factor of o?
False
Let v(g) be the first derivative of -5*g**2 - g + 1. Does 9 divide v(-1)?
True
Let q(u) be the first derivative of -9*u**4/4 - 2*u**3/3 - u**2/2 + 3. Is q(-1) a multiple of 4?
True
Suppose -4*n = -5*u + 96, -3*u + 7*u - 77 = 3*n. Does 10 divide u?
True
Let a be 284 + (-1)/(-1) - -3. Suppose a = 2*l + 2*l. Is l a multiple of 22?
False
Let a(h) = -h**2 + 23*h - 38. Does 14 divide a(16)?
False
Does 19 divide 864/15 + 12/(-20)?
True
Let l = 7 - 4. Suppose -l*o - 14 = -92. Is 10 a factor of o?
False
Suppose 0*a - 306 = -3*j - 3*a, 0 = -a. Does 21 divide j?
False
Let g(x) = 11*x. Let u(b) = b**3 + 3*b + 13 - 10 - 2*b**2 - 2*b**2. Let s be u(3). Is 11 a factor of g(s)?
True
Suppose 0 = 2*d, 7*d = -4*o + 2*d + 140. Is 7 a factor of o?
True
Suppose 4*s + 3 =