 3*c. Let z be l(-9). Suppose -4*v = -v + 3*y - 111, -z*v = -y - 71. Is 18 a factor of v?
True
Suppose 13 = 2*p - 5*l, -p + 2*l = -5*p + 38. Suppose -o = -p*o + 608. Does 5 divide o?
False
Suppose 6 - 3 = y. Suppose 2*z = 2*b + 264, y*b + 2*b = -2*z + 236. Suppose -4*f - 5*h = -z, 10 = f - 3*h - 22. Does 11 divide f?
False
Suppose 5*t - 2*q + 888 - 3964 = 0, 2*t = 5*q + 1222. Does 88 divide t?
True
Let h(g) = g**3 + 4*g**2 - 5*g - 1. Let j be h(-5). Is 3 a factor of (j - 2) + 2 + 22?
True
Let k be ((-6)/(-9))/((-6)/(-9)). Suppose 2*u - 3 = k. Suppose -4*q + 80 = u*s + 6, 3*s + 4*q - 103 = 0. Is s a multiple of 7?
False
Let w = -6 - -12. Suppose p = w*p - 1035. Is p a multiple of 17?
False
Suppose 12*u - 6359 + 1391 = 0. Does 46 divide u?
True
Let p = 46 + -36. Suppose -179 = -5*z - 4*c, 27 = z + 2*c - p. Does 6 divide z?
False
Let t(b) = -12*b**2 - b + 1. Let v be t(1). Let a = v - -15. Suppose r - 109 = -a*w, 2*w - r = 4*r + 67. Is w a multiple of 18?
True
Suppose -23*v + 1660 = -27*v. Let z = v - -590. Is z a multiple of 11?
False
Let p be (-1840)/30*2*(-6)/8. Suppose -m + p = 3*b - 5*m, b - 29 = m. Is 8 a factor of b?
True
Let y(n) = -3*n**3 - 2*n**2 - 4*n + 5. Let r = 43 - 46. Is 16 a factor of y(r)?
True
Suppose 43 = -x - 0. Let b = x - -117. Does 10 divide b?
False
Let t be 2/(3*5/(-30)). Is 78 + -5 + (-3)/(3/t) a multiple of 8?
False
Let d be 250/45*6*15. Suppose -6*t = -2*t - d. Does 17 divide t?
False
Let i = 378 + -335. Is i a multiple of 2?
False
Suppose 0 = d + 2*a, 4*d + a - 14 = -0*a. Is d/14 - 768/(-56) a multiple of 5?
False
Suppose -3*o = -4*y - 17, -23 = -5*o + 4*y - 0. Suppose 86 = r - o*i, -5*r + 2*i - 515 = -10*r. Does 54 divide r?
False
Let p = 1454 - 1097. Does 119 divide p?
True
Suppose -5*j - 48 = -13. Does 20 divide j/(35/(-200)) - (-2 + 2)?
True
Suppose -2*h + 33 = -3*z, z + 4*h + 38 = -z. Let x(q) = q + 11. Let w be x(z). Is 17 a factor of w - (3 - 6) - -63?
False
Let x = -657 - -1946. Does 49 divide x?
False
Let w(u) = -154*u - 5. Let y = -10 - -12. Let d(a) = 31*a + 1. Let z(n) = y*w(n) + 11*d(n). Is z(1) a multiple of 17?
True
Let y = 7 - 6. Is (6 - (4 - 0))/y even?
True
Let i(j) = -2*j + 2. Let y(s) = 3*s - 3. Let n(h) = 4*i(h) + 3*y(h). Let r be n(0). Let o = 31 + r. Is o a multiple of 15?
True
Suppose 13 + 57 = 2*a. Is 3 a factor of a?
False
Suppose -j + 93 = 4*v - 100, 2*j + 4*v - 370 = 0. Let x = j - 126. Is 17 a factor of x?
True
Let q be 4/(-2)*(-5)/2. Suppose -q*x - 3*f + 2*f = -908, 2*x - 368 = 2*f. Is 22 a factor of x?
False
Suppose -115*z - 700 = -129*z. Is 4 a factor of z?
False
Suppose -5*w = -10, -2*w + 24 = -q - 7*w. Let x = q + 70. Does 4 divide x?
True
Let a(k) = -k + 15. Let m be a(10). Suppose -n = 4*f - 84, 3*n - m*n - 2*f = -186. Is 24 a factor of n?
True
Let m(i) = i - 1. Let j be m(16). Suppose -2*y + 17 + j = 0. Does 7 divide y?
False
Suppose d + 4*r + 3 - 17 = 0, 0 = 4*d + 3*r - 17. Let b(m) = 5*m**2 + 4*m - 6. Does 21 divide b(d)?
False
Suppose 4 = 4*g - 4. Suppose g*b = -2*b + 60. Does 3 divide b?
True
Suppose 2*x - 14 = -3*l, -4*l + 3*x - 4 + 0 = 0. Suppose -3*w + 5*n = -l*w - 31, 0 = -2*w + 4*n + 68. Is 5 a factor of w?
False
Is 45/18 + 84/(-16)*-242 a multiple of 18?
False
Suppose -4*w + 7*w + 570 = 0. Let b be 6/18 + w/(-6). Is 2/16 + 508/b a multiple of 8?
True
Let i(w) = -136*w + 572. Is 92 a factor of i(-10)?
True
Suppose -3*x + 3645 = 2*f, -x = 6*f - 4*f - 3639. Is f a multiple of 56?
False
Let n = -574 - -652. Is n even?
True
Suppose 2*w = -5*m - 344 + 16, -3*w - 140 = 2*m. Let d = 0 - m. Is d a multiple of 19?
False
Suppose 0 = -0*l + 3*l - 87. Is l a multiple of 8?
False
Suppose 3344 + 5601 = 4*b + z, 3*z - 4475 = -2*b. Does 86 divide b?
True
Let k(z) = -5*z**2 - 221*z - 13. Does 19 divide k(-17)?
True
Let h(x) = -3*x**3 + 41*x**2 - 17*x + 67. Let t(a) = a**3 - 20*a**2 + 9*a - 34. Let r(d) = -2*h(d) - 5*t(d). Is r(-18) a multiple of 54?
False
Suppose 3*u + 3*m + 6 = 21, -2*u + 19 = 5*m. Suppose 232 = u*q - 2*s + s, 4*q = -5*s + 478. Is q a multiple of 46?
False
Let c = -140 - -233. Suppose -2*z - 4*j + 272 = z, -z + j + c = 0. Does 17 divide z?
False
Let p = 715 + -172. Is p a multiple of 54?
False
Let x(p) = 5*p**2 - 8*p + 6. Let g(h) = -4*h**2 + 7*h - 5. Let y(b) = -6*g(b) - 5*x(b). Let v be y(-3). Let q(k) = -7*k - 5. Does 16 divide q(v)?
True
Suppose -2*p = 3*p - 1080. Suppose x = 7*x - p. Suppose -5*m + 15 = 5*o, 2*o - 7*o + x = -2*m. Does 4 divide o?
False
Let k = 40 - 46. Does 8 divide (-10)/1*3/(k/19)?
False
Suppose 3*m + 4 - 1 = k, 3*k - m - 33 = 0. Suppose 0 = -p - 2*p + k. Let h(b) = 5*b - 10. Is h(p) a multiple of 7?
False
Suppose 2*x = 2*z - 968, 13*x - 8*x + 500 = z. Is 32 a factor of z?
True
Let i be (24/(-10) - -2)*-265. Suppose 5*j - 3*j = i. Is 5 a factor of j?
False
Let o = -39 - -66. Let u = o + 69. Is u a multiple of 24?
True
Let s(g) = -2*g + 14. Let k be s(5). Suppose 0 = -0*i - k*i + 3*v + 186, 4*i = -5*v + 202. Is i a multiple of 8?
True
Let r = 15 + -19. Is (-27)/(2/(-1 + 3 + r)) a multiple of 2?
False
Does 68 divide (38311/588 + 6/63)*16?
False
Let r(x) = 314*x**2 + 6*x - 9. Let q be r(2). Suppose -10*m = -991 - q. Is m a multiple of 19?
False
Let o = -286 - -441. Is 5 a factor of o?
True
Let z = -4072 - -5924. Is z a multiple of 19?
False
Let k(s) = -7*s + 5. Suppose 0*g - 21 = 7*g. Is k(g) a multiple of 22?
False
Suppose -5*m + 6085 = v - 6767, -9 = 3*v. Does 11 divide m?
False
Let v(b) = 2*b**2 + 22*b + 5. Let x(a) = -a**2 - 11*a - 2. Let g(s) = -4*v(s) - 7*x(s). Let l = -13 + 9. Is g(l) a multiple of 4?
False
Is (19190/38)/(5/2) a multiple of 20?
False
Suppose -5*b - 3*d = -20 - 3, -4*d + 20 = 4*b. Suppose -5*y - 5 = 3*o, 11*o = 12*o + b*y + 11. Does 2 divide o?
False
Suppose -5*t = -2*d - 352, -t - 380 = -6*t - 5*d. Is (-1)/(((-26)/t)/13) a multiple of 12?
True
Let o(u) = 3*u**3 + u**2 - 4*u. Let c be o(-3). Is (c/(-9) - 2)*6 a multiple of 7?
True
Does 16 divide 1 + 4 + 17/((-102)/(-1620))?
False
Let m be 4/(-24) - 586/12. Let v = m - -80. Suppose z = -4*a + v, 6*a = 2*a + 4*z + 16. Is a even?
False
Let f be (-8)/(-12) - 921/(-9). Let k = f - 37. Suppose 7*g = 4*g + k. Is g a multiple of 11?
True
Let g(q) = -q**2 - 5*q + 4. Let h be g(-5). Suppose -w + 9 + 1 = h*m, 20 = 4*w - 4*m. Does 2 divide (-5)/(-3) - w/(-18)?
True
Suppose -24 = -9*g + 12. Does 36 divide -2*((-306)/g - 3)?
False
Let h(i) = 6*i**2 + 2*i - 2. Let q be h(1). Suppose q*d - 104 - 88 = 0. Suppose 3*v - 5*a = d, a + 27 = 2*v + 1. Is v a multiple of 2?
True
Let j be (-24)/(-9) + 1/3. Let u be 1/3 - (-87)/9. Suppose j*d + u = 34. Is 4 a factor of d?
True
Suppose -w - 4*n = -137, -3*w + 3*n = -n - 331. Let o = w + -67. Is 5 a factor of o?
True
Suppose -4*v = 5*h - 2*v - 6091, 0 = -4*h - v + 4874. Is 20 a factor of h?
False
Suppose 3*y - 19 = 5. Let f be (y + -2)*(-10)/(-4). Suppose 0*t = 3*t - f. Is t a multiple of 4?
False
Suppose 0 = 631*f - 637*f + 924. Is 7 a factor of f?
True
Let j(n) = -2*n**3 - 4*n**2 + 2*n + 10. Is j(-2) even?
True
Suppose 0 = 3*o - 4*o + 5*h + 50, 2*h = -8. Suppose -z + o = -0*z. Does 10 divide z?
True
Suppose 3*w + 15 = 0, 4*a - 338 - 380 = 2*w. Does 12 divide a?
False
Suppose 10*j - 10 = 5*j. Suppose -151 = -j*g - 25. Is g a multiple of 21?
True
Let t(f) = -f**3 - 3*f**2 + 5*f - 1. Let k be t(-5). Let o be ((-21)/2)/(9/k). Does 14 divide 5/((-50)/o)*5?
True
Suppose -x - 14525 = -5*g, -4*x + 14505 = 5*g - x. Is g a multiple of 24?
True
Let y(w) = w**3 + 7*w**2 + 8*w + 6. Let q = 46 - 50. Does 3 divide y(q)?
False
Suppose 0 = -2*o + 3*n - 0*n + 652, n + 4 = 0. Is o a multiple of 32?
True
Let c(u) = 2*u - 1. Let r(n) = n**2 + 3*n - 1. Let k(g) = -7*c(g) + 4*r(g). Let i be k(3). Let l = i - 17. Is l a multiple of 16?
True
Let y(z) = -z**3 - 27*z**2 + 43*z - 52. Is 23 a factor of y(-29)?
False
Let t(q) = -2*q + 10. Let s(o) = -o + 1. Let b(c) = -3*s(c) + t(c). Let h be b(-5). Let j = h - -6. Is j a multiple of 4?
True
Suppose 3*p - 5355 = -3*r, r + p = 2*r - 1787. Does 112 divide r?
False
Let c = 39 - -221. Does 20 divide c?
True
Does 13 divide ((-48)/(-20))/((-84)/(-22960))?
False
Let f(j) = -20*j - 12*j + 33*j + 8. Is 11 a factor of f(15)?
False
Suppose -11*z - 12 = -12*z. Does 25 divide (8/z)/((-4)/(-1278))?
False
Let i(x) = -x**2 - x. Let m be (1 - -1