a be (-35)/11 - (-20)/110. Let x(h) be the second derivative of -7*h**3/6 + 3*h**2/2 + 4*h. Is x(a) a multiple of 8?
True
Let g(u) = u**3 - u**2 + 4*u + 4. Suppose 0 = 4*t + 4*o + 2 - 18, 20 = 5*t + 3*o. Is 17 a factor of g(t)?
True
Let t = 462 - 199. Is t a multiple of 14?
False
Let g be (-2)/(-1 - 1) + (-3 - -2). Suppose -5*k + 960 = -g*k. Is 24 a factor of k?
True
Suppose 9*i + 147 - 579 = 0. Is 17 a factor of i?
False
Suppose 2*p + 22 = 94. Let n be ((-1)/2)/((-9)/p). Suppose -58 = -n*f + 10. Is f a multiple of 12?
False
Suppose -4*o + 5*n + 3 = 0, -o + n - 5 = -3*o. Suppose -5*c - t = -184, c + 4*t = o*c - 20. Is c a multiple of 9?
True
Does 8 divide 2912 - (2 + (-6 - -8 - 7))?
False
Let j(p) = p**2 + 2*p - 3. Let s be j(-4). Suppose 3*r - 576 = -s*r. Does 12 divide r?
True
Let p(l) = l**3 - l**2 + l. Let c(v) = 5*v**3 + 4*v**2 + 4*v + 2. Let o(g) = c(g) - 4*p(g). Let a be o(-8). Suppose -a*b = -44 - 44. Is b a multiple of 24?
False
Suppose -q + 11*n + 2581 = -192, 8319 = 3*q + 5*n. Is 42 a factor of q?
False
Let w = 289 + -253. Does 6 divide w?
True
Let u = 30 + 303. Does 55 divide u?
False
Let t(f) = -15*f - 65. Does 12 divide t(-8)?
False
Suppose 0 = 14*z + 9577 - 35911. Is z a multiple of 11?
True
Suppose 4*p - 13 = i, 4*p + 3*i = -2*i - 17. Suppose 0 = -y + 2*j + 182, p*y - 5*j - 393 = -26. Does 22 divide y?
True
Let z = -21 - 16. Let v(i) = i + 84. Let h be v(0). Let o = h + z. Is 10 a factor of o?
False
Let c = 25 + -41. Is 4/c*45*-8 a multiple of 15?
True
Let h(m) = 5*m**3 - m. Let s(u) = -u**2 - 5*u - 5. Let j be s(-4). Let v be h(j). Does 7 divide (-7)/(14/v + 3)?
True
Let a = 23 + -20. Is 220/(-1 - -5) - a a multiple of 8?
False
Suppose -4*p + 77 + 62 = v, -3*p + 5*v + 110 = 0. Let m = p - 21. Is m a multiple of 8?
False
Let w(p) = p**2 - p - 2. Let o be w(3). Suppose -o*s - 260 = -9*s. Is s a multiple of 13?
True
Let b = -816 - -827. Is b a multiple of 2?
False
Suppose -19*s + 21*s = -4*p + 3912, 0 = 2*s + 8. Does 35 divide p?
True
Let l(i) = 16*i**2 - 90*i - 134. Let a(g) = 3*g**2 - 18*g - 27. Let q(z) = 11*a(z) - 2*l(z). Does 23 divide q(23)?
False
Let i(b) = -15*b - 18. Let a be (-6)/21*-7*(-18)/4. Is i(a) a multiple of 13?
True
Suppose -23*g + 15*g = -136. Does 3 divide g?
False
Suppose 13634 = -8*i + 37490. Is i a multiple of 14?
True
Suppose 6*g - 16 = g + 2*h, -5*h = 3*g + 9. Let q(m) = 2*m**2 - 18 - 15*m - m**g + 11. Is 3 a factor of q(16)?
True
Suppose 5*t - t + i = 919, -3*t - 4*i = -673. Let p = -165 + t. Is 11 a factor of p?
True
Suppose 0 = g + i + 3, -23 = g - 3*i. Is 10 a factor of (-4)/g*-2 + 51?
True
Suppose -3*q = a + q - 54, 0 = -a - 3*q + 51. Is a a multiple of 17?
False
Let h = 5 + -1. Suppose 0*s - 3*f = -h*s + 168, -2*f - 210 = -5*s. Does 21 divide s?
True
Let m(r) = 2*r**2 + 11*r - 47. Is m(-13) a multiple of 16?
False
Let a(i) = 36 - 38 + 0*i**2 - 5*i**3 + 6*i**3 + i**2. Is 15 a factor of a(3)?
False
Let u = 26 + -53. Let d = u - -29. Does 2 divide d?
True
Suppose -5*k - s = -0*s - 585, 4*k - 468 = 4*s. Is 3 a factor of k?
True
Is 1 - 6 - (-1516 + 16/(-8)) a multiple of 139?
False
Suppose -4*i - 4*m - 20 = 0, 2*m - 6*m = 5*i + 20. Suppose 0 = -y - 2*w + 9, i*w - 5*w = -4*y + 36. Is 227/y + 6/(-27) a multiple of 10?
False
Let g(v) = v**2 - 18*v - 7. Let z be g(19). Suppose -2*y - 3*y - 25 = 0. Let i = y + z. Does 2 divide i?
False
Let o(t) = -22*t - 18. Suppose -6*f = -f + 10. Is o(f) a multiple of 18?
False
Suppose -264 = 1032*p - 1033*p. Is p a multiple of 16?
False
Is 7 a factor of 1*(125 - (-4 + 2))?
False
Let z(n) = n**3 - n**2 - n + 1. Let h(s) = 2*s - 9. Suppose 8 + 22 = 5*b. Let m be h(b). Is z(m) a multiple of 5?
False
Suppose u + 0*u - 4*m + 19 = 0, -5*u + 4*m - 159 = 0. Let q = 9 + u. Let o = q - -38. Does 3 divide o?
True
Let s(n) = 4*n**2 - 10 + 13 + 10*n**3 + 2*n**2 + 4*n. Let h(k) = k**3 - k**2 - k - 1. Let f(q) = -4*h(q) - s(q). Does 15 divide f(-2)?
True
Let p(h) = h**3 + 13*h**2 - 5*h + 4. Let z be p(-13). Suppose -2*b + 111 + z = 0. Does 18 divide b?
True
Let v be (-3)/(-4) + 3075/(-20). Let x = v - -398. Does 24 divide x?
False
Suppose -2832 = -18*w + 3000. Does 6 divide w?
True
Let a(n) = -18*n - 81. Is 13 a factor of a(-37)?
True
Let l be 14/(-7) - (28 - -2). Let r = l - -116. Is r a multiple of 21?
True
Let m(i) = i**2 + 12*i + 4. Let w be m(-12). Suppose -3*p - w*x = -74, 0*p - 162 = -5*p + 3*x. Suppose -3*a + 201 = -p. Is a a multiple of 20?
False
Let p(k) = 4*k**3 - 5*k**2 - 8*k - 3. Let v(d) = 5*d**3 - 6*d**2 - 8*d - 4. Let r(l) = 3*p(l) - 2*v(l). Is 14 a factor of r(4)?
False
Let x = -31 + 16. Let v = x - -30. Is 3 a factor of v?
True
Suppose 72 = -2*n - a, 0*n + 2*n = 2*a - 72. Let o = n + 145. Is 17 a factor of o?
False
Suppose -o - 4239 = -2*d, -5682 = -3*d - o + 679. Is 106 a factor of d?
True
Let j = 181 - 145. Does 22 divide j?
False
Suppose -4*g - p + 12271 = 0, 2*p - 9202 = -2*g - g. Does 13 divide g?
True
Suppose o = -4 + 5. Let n = 1 + o. Suppose -3*v = g + n, -2*g + 4*v + 12 = -14. Is 6 a factor of g?
False
Let q(t) = -22*t. Let h(v) = -43*v. Let l(u) = -2*h(u) + 5*q(u). Suppose -3*j = -9, -2*j + 7 = -4*w - j. Is 7 a factor of l(w)?
False
Let l(q) = -q**3 - 2*q**2 - q + 12. Let x be l(3). Let v = x + 130. Does 11 divide v?
False
Let z(o) = 8*o - 3. Let f(c) = -3*c - 4. Let x be f(-5). Suppose 6*w - w - 5 = 0, 0 = 3*b + 2*w - x. Does 3 divide z(b)?
True
Let a be ((-734)/6 - 3)*(-3)/2. Suppose -126 = -2*k - t, 3*t - a = -3*k + t. Is k a multiple of 8?
True
Suppose d - 129 - 466 = -2*n, 3*n + 4*d = 880. Is n a multiple of 50?
True
Let v = 15 - 1. Suppose -v*u + 10*u = -404. Is 28 a factor of u?
False
Let d(i) = 2*i - i - i**3 + 1269 - 4*i**2 + 1264 - 2540. Let l be (1 + -11)/2 + 0. Is d(l) a multiple of 13?
True
Let f(u) = -2 + 0*u + 5*u + 16*u + 1. Let b = -5 - -6. Is 10 a factor of f(b)?
True
Let c be (-14)/7 + (1055 - 0). Suppose c = 6*f + 153. Does 25 divide f?
True
Suppose -4*z + 2*i + 14 = -8, -4*z + 19 = -i. Suppose -z*l = c - 333, -6*c + 3*c = 2*l - 159. Is 28 a factor of l?
True
Suppose 2*n + 5*c - 50 = 164, 0 = 3*n - 2*c - 302. Let d = n - 6. Is d a multiple of 32?
True
Let i(v) = -4*v**3 + 2*v**2 + 2*v + 1. Let l be i(-2). Let h be l/5 + 8/(-20). Suppose -5*f - 4*j = -h - 99, f + 2*j = 26. Is 10 a factor of f?
False
Suppose 5*b - 61 = -2*h, 3*b - 133 = -5*h + 48. Suppose 0 = -2*a - 2*r - 2*r + h, -2*r = 2*a - 28. Suppose a*q = 4*q + 35. Is q a multiple of 6?
False
Suppose h = 199*b - 202*b + 113, -4*b = 3*h - 314. Does 9 divide h?
False
Let r be 10/4 - (-5)/((-10)/(-3)). Suppose -r*v - 499 = -4*w + 17, 3*v + 513 = 4*w. Is 14 a factor of w?
True
Does 40 divide (4 - 55/10)/(2/(-580))?
False
Suppose 2*v + 3*z = 496, -v - 3*z = -6*v + 1261. Is v a multiple of 3?
False
Suppose -3 - 3 = -3*m. Let k(j) = 4*j**2 - j + 1. Let b be k(m). Is (20/b)/((-2)/(-108)) a multiple of 24?
True
Let m = 935 + -322. Is 42 a factor of m?
False
Let y be 5 + 2 + (1 - 0). Suppose y = -4*w + 2*a, 40 = -w - 4*w - 5*a. Is 10 a factor of (2/w)/(6/(-360))?
True
Suppose -5*g + 359 = -1171. Is g a multiple of 51?
True
Let w be 148/12 - (-2)/(-6). Let b = w + 8. Is b a multiple of 11?
False
Let p(y) = 6*y**2 + 12*y + 7. Let x(i) = 2*i**2 + 4*i + 2. Let n(u) = 4*p(u) - 11*x(u). Is n(-2) a multiple of 6?
True
Suppose 0 = 10*d - 5*d - 25. Suppose 5*f = -4*o + 61, d*o - f = 2*f + 104. Does 6 divide o?
False
Suppose 0 = -3*f + 2*f + b - 3, -5 = 3*f - b. Let u(s) = -2*s + 3. Is u(f) a multiple of 3?
False
Suppose 68*p + 13720 = 72*p. Is p a multiple of 70?
True
Let l(d) = d**3 - 17*d**2 + 3*d - 42. Let t be l(17). Suppose -3*b = -4*m, -2*m - 3*m + 3*b = 3. Is m/(-9) + 294/t a multiple of 11?
True
Suppose 0 = -y + 3*y - r - 121, 0 = -4*y - 4*r + 212. Let m = y - 30. Does 11 divide m?
False
Suppose 3*z - 7 = -z - 3*g, 0 = 2*z + g - 5. Suppose 0 = -3*w + 6, -z*w + 10 = 5*v - 153. Suppose 0 = -m + 2 + v. Does 9 divide m?
False
Let u = -179 - -639. Does 45 divide u?
False
Suppose 0 = 14*m + 386 - 2598. Is m a multiple of 49?
False
Let g be 3 + 2 + -3 + -6. Let s(v) = v**2 + 3*v - 1. Let k be s(g). Suppose 89 = k*z - 4*f, z - 5*z = -3*f - 128. Is z a multiple of 13?
False
Suppose h = -h - 22. Let p = 14 + h. Suppose -p*r - 30 = -4*r. Is r a multiple of 17?
False
Suppose m + 2*c - 62 - 61 = 0, 4*m +