 1. Let h(y) = 5*y - 14. Let b(k) = -h(k) + 4*q(k). Let z be b(6). Suppose -4*m + 104 = -2*s, 8*m + z*s = 3*m + 143. Is m a multiple of 12?
False
Let c be -7 + -448 - -1 - -3. Let s = 753 + c. Is s a multiple of 32?
False
Let b(c) = -c**3 + 4*c**2 - 11*c + 44. Let a(r) = 3*r**3 - 13*r**2 + 33*r - 131. Let u(j) = 4*a(j) + 11*b(j). Does 16 divide u(8)?
True
Let o be -95 - (-3 + -3)/(-2). Suppose -600 - 180 = 10*b. Let j = b - o. Does 5 divide j?
True
Let t = 1874 + 7765. Does 21 divide t?
True
Let a be (2 - -2) + (-9)/((-27)/12). Suppose -7809 = a*i - 27*i. Is i a multiple of 22?
False
Let w(a) = 15*a + 17. Let i be w(6). Suppose 73 = -2*g - i. Let r = 156 + g. Does 33 divide r?
True
Let j(r) = 2992*r**2 - 223*r + 221. Is 19 a factor of j(1)?
False
Let x(t) = t + 2. Let k be x(-2). Suppose k*a = p - a - 9, 2*p - 4*a - 20 = 0. Does 6 divide 22/p - 2 - (-133)/4?
False
Let l = 37702 - 10906. Does 13 divide l?
False
Suppose 0 = -456*l + 464*l + 4144. Let i = l - -599. Is 27 a factor of i?
True
Let v = 71 - 68. Let l(i) = -i**2 + 1. Let q(t) = 3*t**2 + 7*t - 25. Let z(f) = -4*l(f) - q(f). Does 9 divide z(v)?
True
Let c be 176/84 + (-32)/336. Does 13 divide (-1 + c + -20)/((-11)/176)?
False
Suppose 541 = 4*t - 715. Let q(s) = -22*s - 10. Let m be q(9). Let n = t + m. Does 11 divide n?
False
Suppose -x - 81*x - 25*x + 107214 = 0. Does 2 divide x?
True
Suppose -134*g = -5*y - 137*g + 721, -4*y - 5*g + 595 = 0. Is 4 a factor of y?
True
Let l = 5807 - 2692. Suppose 34*g = 41*g - l. Is 23 a factor of g?
False
Is (-1)/13 + 81942/39 a multiple of 11?
True
Suppose -12*h + 33 = -9*h. Let s(w) = 5*w**3 + 51*w**2 - 24*w + 49. Let b(d) = d**3 + 10*d**2 - 5*d + 10. Let v(o) = h*b(o) - 2*s(o). Does 22 divide v(-7)?
True
Suppose 3*w - 4 = -h, -h + 2*h + 2 = 0. Let l(o) = 27*o + 4. Is 2 a factor of l(w)?
True
Let x(r) = 15793*r + 229. Is x(2) a multiple of 315?
True
Let q = -31 + 28. Let g be ((-27)/(-3))/q*(-376)/3. Suppose 0 = 12*n - 548 - g. Is 11 a factor of n?
True
Let v(o) = -3*o**3 + 144*o**2 + 99*o + 167. Let z(c) = c**3 - 48*c**2 - 33*c - 56. Let x(k) = 2*v(k) + 7*z(k). Does 33 divide x(49)?
True
Let u(b) = -10*b - 48. Let t be u(-6). Let z(l) = l**2 + 8*l - 7. Is 46 a factor of z(t)?
False
Let b(p) = 20*p**2 - 169*p - 62. Is 40 a factor of b(10)?
False
Let y = -269 + 384. Suppose 0 = 12*g - 749 - y. Is 8 a factor of g?
True
Let i(s) = 5*s**2 + s + 15. Let l(a) = -17*a**2 - 6*a - 46. Let o(t) = 7*i(t) + 2*l(t). Is o(-11) even?
False
Suppose 26*a = 200255 - 42799. Is 82 a factor of a?
False
Let f be -1 + (-47)/(-7) + 40/140. Is (-434)/21*f/4*-1 a multiple of 20?
False
Suppose 2*v + 5*p - 11 = 0, -8 = 4*v - 6*v - 2*p. Suppose 3*r - v*f + 5 + 13 = 0, r = -f + 2. Is (316/(-20) - -3)*15/r a multiple of 8?
True
Let r(h) = -588*h - 443. Does 14 divide r(-5)?
False
Let m(c) = -c**3 - 7*c**2 + 4*c + 53. Let i be m(-6). Is 54 a factor of 536 + (3 - 0) + (-7)/i?
True
Let g = -199 + 651. Suppose -448*m = -g*m + 2384. Is 13 a factor of m?
False
Suppose 7*t - 222864 = -23819. Does 30 divide t?
False
Suppose 55*p - 56*p + 13584 = 2*q, 4*q - 5*p - 27196 = 0. Is q a multiple of 76?
False
Let f(p) = -124*p - 362. Is 22 a factor of f(-54)?
False
Suppose -6 = 2*o + 4*z, 5 + 16 = 5*o - 2*z. Suppose 5*h + n - 2906 = 0, o*n = -17 + 5. Does 23 divide h?
False
Let u be 6/(-14) - (-7)/((-98)/(-1350)). Suppose -y = 0, -2*w = -2*y + 424 - u. Let p = w - -299. Does 15 divide p?
True
Suppose 2*a = -2*w - 10, 4*w + 4 = 2*a - 4. Does 16 divide (-14 - 25)*(-12)/(0 - a)?
False
Let o(k) = 301*k + 807. Is o(11) a multiple of 17?
False
Suppose -5*k = 42*z - 40*z - 21310, -2*k = 2*z - 21322. Is z a multiple of 135?
True
Is 7624 - 0*11/44 a multiple of 92?
False
Let n be (-89)/4 - 5/(-20). Let b be n*34*(-5)/10. Suppose 4*x + 4*o = 452, -x - b = -4*x + 4*o. Is x a multiple of 23?
False
Let d(i) = -4*i - 64. Let b be d(-11). Is b/(-90) + 939/27 a multiple of 7?
True
Let u = 23 - 29. Let a be 5 + u - (-3 - 2). Suppose -12 - 76 = -a*h. Is h a multiple of 3?
False
Suppose 3*n + 216 = 5*n. Suppose -15*k + n = -14*k. Let g = 162 - k. Is g a multiple of 9?
True
Let t(m) = m**3 + 8*m**2 - 19*m + 13. Let o be t(-10). Suppose 0*q + 104 = 5*x + 4*q, -q = o*x - 61. Is 5 a factor of x?
True
Let u = -752 - -8320. Is u a multiple of 44?
True
Is 118 a factor of 118*(-13)/52*-106?
False
Let n = 286 + -466. Does 8 divide (6 + n/42)*(-42)/(-3)?
True
Let s(f) be the third derivative of -29/6*f**3 + 1/4*f**5 + 28 + 2*f**2 + 0*f - 1/120*f**6 + 5/8*f**4. Is s(15) a multiple of 14?
True
Suppose 0 = -4*g + 16, -13*i - 3*g = -11*i - 13374. Is i a multiple of 9?
False
Suppose 0 = -p - 3*x + 344, -5*p + x + 1720 = 5*x. Suppose 28*v + 2250 = -2846. Let r = p + v. Does 11 divide r?
False
Let d be (-4 - (-1 - 3))/5 - 469. Let a = d - -691. Is 6 a factor of a?
True
Let i = 42 + -84. Let l = 42 + i. Suppose 2*u + 3*d - 66 = l, 2*d = 7*d - 10. Is u a multiple of 3?
True
Let w be 43121/26 - (2/4 + -1). Is 22 a factor of w/4 + 3 - 11/(-44)?
True
Suppose 34 - 114 = -16*u. Suppose -g + o + 1601 = 2*g, u*o = g - 543. Is g a multiple of 12?
False
Suppose 0 = -y + 3*f - 5 - 4, 3*f = 4*y + 9. Suppose -5*x - 2*p + 87 = 0, y = x + 3*x + 2*p - 68. Let r = x + -8. Is r a multiple of 2?
False
Let d = 0 + 3. Suppose d*n - 4*l = -6, -2*l = -0*n - 4*n + 2. Suppose -5*r + c + 128 = -3*c, 5*r + n*c = 146. Does 5 divide r?
False
Let h(d) = d**3 - 10*d**2 + 8*d + 9. Let j be h(9). Suppose -10*i + 6*i + 12 = j. Suppose -5*l + u = -u - 804, -i*l = 5*u - 470. Is 32 a factor of l?
True
Suppose 27*z - 177165 - 105399 = -31059. Is 69 a factor of z?
True
Suppose -5083 = -6*n + 14069. Does 12 divide n?
True
Let a be (-25)/5 - (-30)/3. Suppose -a*q = 16 + 29. Let f(c) = 2*c + 51. Is f(q) a multiple of 11?
True
Let n = -383 + 1193. Suppose -2*u + n = -q + 4*q, -u - 3*q = -411. Is u a multiple of 57?
True
Suppose -4*m + 9 = -0*y - y, 3*y = -5*m + 24. Suppose 0 = y*j - 2*j - 288. Suppose 4*t = j - 32. Is 10 a factor of t?
False
Suppose -5*s - 9 - 21 = 0. Let d(y) = -y**3 - 2*y**2 - 15*y - 18. Let t be d(s). Let m = t - 88. Does 24 divide m?
False
Suppose 3*w = -4*x + 16, 9*w - 12 = 7*w - 2*x. Let c(g) = -g + 63. Is c(w) a multiple of 11?
True
Let g(x) = 2*x**3 - 4*x**2 + 20*x - 7. Let i(j) = 3*j**3 - 4*j**2 + 20*j - 7. Let y(m) = -4*g(m) + 3*i(m). Let t be y(-7). Does 43 divide 285 + t - (-42)/14?
False
Let o(w) be the second derivative of 56*w**5/5 - w**4/6 + w**3/3 - 46*w + 2. Is 28 a factor of o(1)?
True
Let d be 4 + 3 + 1 + -2. Let i be d/(-2)*(-2 + 4). Is -28*(-8)/((-32)/i) a multiple of 14?
True
Let k(g) = -582*g**2 + 9*g + 8. Let s be k(-1). Does 10 divide (-2)/(-4) + s/(-2)?
False
Let w(f) = -11*f**2 - 4*f + 22. Let k be w(0). Suppose -4*m + 123 = 371. Let t = k - m. Is t a multiple of 12?
True
Is (8495775/(-120))/(-15) - (3/(-8))/3 a multiple of 20?
True
Let x = 13681 - 6646. Does 47 divide x?
False
Suppose -17*q + 7751 = -5305. Does 22 divide 9/(-2 + 1554/q)?
False
Let k = -9875 - -18821. Is k a multiple of 63?
True
Suppose 45544 = -45*a + 212494. Is 106 a factor of a?
True
Suppose -y + 208980 = -0*y + 17*y. Is 137 a factor of y?
False
Let i(u) = -7*u**2 + 8*u - 11. Let d(k) = -11*k**2 + 12*k - 16. Let t(w) = -w**2 + 1. Let q be t(-3). Let m(c) = q*i(c) + 5*d(c). Is m(10) a multiple of 8?
False
Suppose 3*n + z - 1855 = -175, 1112 = 2*n - 2*z. Is n a multiple of 13?
True
Suppose -21*k - 7131 - 5553 = 0. Let s = k + 1684. Is s a multiple of 30?
True
Suppose 0 = -5*m - 4*z + 54170, -876*m = -875*m + 3*z - 10845. Is 10 a factor of m?
True
Suppose -2*x = 2*c - 160, -3*c + 0*c = -12. Suppose x = -3*f - 89. Let s = f + 73. Is s a multiple of 18?
True
Let s = 3276 + -1129. Is s a multiple of 19?
True
Let z(c) = -3*c**2 - 11*c - 8. Let o be z(-2). Suppose -h + 12 = -5*n, h + n - 12 = 2*n. Suppose -h*x + o*x + 2210 = 0. Is x a multiple of 13?
True
Suppose 2*j - 185486 = -5*t, 129383 = 3*t - 5*j + 18048. Does 106 divide t?
True
Let y(f) be the second derivative of 5*f**3/6 - 5*f**2/2 + f. Let d(k) = 3*k**2 + 7*k + 8. Let r be d(-1). Is 5 a factor of y(r)?
True
Let o be (-2)/(((-15)/6)/5). Suppose -2*d - 30 = -2*f, -13 - 5 = -2*f - o*d. Suppose f*h - 170 = 8*h. Is h a multiple of 10?
False
Let a = -102 + 88. Let r be 90/21 + (-3 - 38/a). Suppose r*l - l + 25