e h = 3*w - 0*h + 2, -5*w + 2*h = 3. Let p(k) = 2*k. Let j be p(w). Let i(g) = 4*g**2 - 2*g. Does 10 divide i(j)?
True
Suppose -j = -l - 698, 0*l - 700 = -j + 3*l. Is 75 a factor of j?
False
Suppose 0 = -34*r - 30*r + 70848. Does 41 divide r?
True
Let i = -552 + 926. Is i a multiple of 22?
True
Let x(y) = -5*y**3 + 9*y**2 + 13*y + 2. Is x(-4) a multiple of 6?
True
Suppose -j = -6*j + 4*t + 382, -j - 3*t = -84. Suppose -j - 217 = -5*n. Suppose 4*u = 4*c + 240, 2*c + 291 = 4*u + n. Does 11 divide u?
False
Let u(c) = -6*c + 1. Let g be u(-1). Suppose 6*a = g*a - 2. Does 22 divide (402/(-12))/((-1)/a)?
False
Suppose -2*f - 9 = 3*y, f - 2*y = -0*f + 6. Suppose f = -4*l - 5*s + 1124, -6*l + 4*l - 5*s = -572. Does 18 divide l?
False
Is 12 a factor of 40 + ((-1 - 3) + 2)*2?
True
Does 14 divide ((-28)/(-6))/(13/936)?
True
Let s(m) = m + 1. Let x be s(2). Suppose 2*g = -3*g + x*u + 117, g = -u + 17. Is 6 a factor of g?
False
Suppose 5*u - 42 = 2*u. Suppose -u*s + 162 = -11*s. Is 22 a factor of s?
False
Let m be (-569)/(-4) - 12/(-16). Let y = m + -74. Suppose y + 63 = 4*b. Does 8 divide b?
False
Let j be 5/2*2*5. Suppose 9*c + 2*c = 1045. Does 14 divide -5*(1 - c/j)?
True
Suppose -4*b = -7*b + 24. Let t be (26/b - -1)*-4. Is (-13)/(t/(-6) + -3) a multiple of 22?
False
Let q(z) = -2 - 32*z + 1 - 2 + 0. Let l be (-3)/(-1) + -8 + 2. Does 31 divide q(l)?
True
Suppose -58*a + 77*a - 4465 = 0. Does 15 divide a?
False
Let w = 93 + -28. Suppose w - 17 = 2*h. Does 5 divide h?
False
Let o = 132 + -74. Suppose -u = -23 - o. Does 9 divide u?
True
Suppose 3*m + 0*q + 4*q = 38, -35 = -5*m - q. Let t(p) = p**3 - 4*p**2 - 3*p - 7. Let a be t(m). Suppose 3*h - a = b, 2*b - 5 = -3*b. Does 5 divide h?
False
Let l be (-22)/99 + (-662)/18. Let n = -24 - l. Is 6 a factor of 21/(-14)*(1 - n)?
True
Is 110 a factor of (1/2)/(29/103530)?
False
Let y = -77 + 197. Let n be 14/(-4)*(-80)/70. Suppose n*t - y = -20. Is 7 a factor of t?
False
Is 524/9 - (-4 - (-228)/54) a multiple of 13?
False
Does 16 divide (-1)/2 - 24206/(-28)?
True
Is (5780 - 0)/5 + 7 + -5 a multiple of 36?
False
Let t(o) = -1494*o - 25. Is 15 a factor of t(-4)?
False
Suppose 0 = 2*j + j + 10995. Let u(m) = m**3 - 3*m**2 - 6*m + 1. Let c be u(4). Is 31 a factor of (-2)/c + j/(-35)?
False
Suppose 5*n - 2 = h + 2*h, -5*h = -n - 4. Let r(q) be the second derivative of 3*q**5 + q**3/3 - q**2 - 14*q. Does 21 divide r(n)?
False
Suppose 20 = -0*y + 2*y + 5*b, -5*b = -20. Suppose -k - 3*w + 146 = y, 3*w - 4 = 2*w. Is k a multiple of 26?
False
Let v be -2 - ((-1562)/10 + (-1)/(-5)). Let h = -79 + v. Is h a multiple of 15?
True
Is 20 a factor of (240/(-28))/(7/(-980))?
True
Let u(n) = 2*n**2 + 14*n - 11. Let v(b) = -b**2 + 5*b - 3. Let q be v(6). Let r(w) = -w - 17. Let o be r(q). Is u(o) a multiple of 5?
True
Let o(f) = -f**3 - 4*f**2 + 4*f - 5. Let m be o(-5). Let h be (-2)/3*(-6 + m). Suppose -h*y - 15 + 87 = 0. Is y a multiple of 9?
True
Let q(m) = m**3 - m**2 - 19*m + 26. Is q(6) a multiple of 5?
False
Let a(l) = -l**3 + 6*l**2 + l + 20. Suppose h = 5*w - 30, -2*w + 4*h + 8 = -4. Is 9 a factor of a(w)?
False
Suppose 4*q - 66 = -194. Let s(y) = 8*y**2 - y - 1. Let u be s(-1). Is 16 a factor of 4/u*-2*q?
True
Let q = 0 - -1. Let m be (1 - q)*(-4 - -3). Suppose -4*p + 87 = -5*g, m*p + g + 91 = 4*p. Is 7 a factor of p?
False
Let m(p) = 6*p - 24. Is m(14) a multiple of 12?
True
Let r be 9 - (0 - (-1 - -1)). Suppose -r = -2*a + 5*a. Let u = 12 + a. Is u a multiple of 3?
True
Suppose 0 = -3*a + 4*d - 4, 0 = -5*a + a + 2*d + 8. Suppose 0 = o + 4*m - 3*m - 10, -o + 16 = a*m. Does 4 divide o?
True
Let r(k) = 17*k**3 - 17*k**2 - 2*k + 14. Does 6 divide r(5)?
True
Let u = 286 + 4677. Is u a multiple of 21?
False
Let n(r) = 3*r**3 + 7*r**2 + 3*r + 8. Let g(k) = 2*k**3 + 6*k**2 + 3*k + 8. Let h(x) = 4*g(x) - 3*n(x). Does 17 divide h(-4)?
False
Suppose -6*b + 2*b = -12. Let y(j) = j**2 - 2*j - 3. Let a be y(b). Suppose a = k + 4*k + 5, 4*u - 2*k = 14. Does 2 divide u?
False
Suppose -82 = j - 517. Let x = j - 214. Does 17 divide x?
True
Let b(r) = r**2 + 5*r + 13. Let g be b(-3). Suppose -g*d + 3*d + 5*x = -69, -d = -3*x - 12. Is d a multiple of 4?
False
Let s = 7 - 3. Suppose 5*d = -3*m - 155, -5*d - s - 101 = 2*m. Let w = -20 - m. Is 7 a factor of w?
False
Let r(y) = 5*y**2 + 6*y - 4. Let u(z) = 1. Let s(n) = r(n) - 4*u(n). Is 12 a factor of s(4)?
True
Let u(l) = l**3 - 11*l**2 + 6*l + 2. Does 32 divide u(15)?
True
Let f(x) = -3*x**2 - 64*x - 59. Is 16 a factor of f(-16)?
False
Suppose 8*z - 10*z = -16. Let a = z - -8. Is 4 a factor of a?
True
Suppose 30*s + 12474 = 36*s. Is 10 a factor of s?
False
Let x be (-1122)/54 + (-2)/9. Let r = x + 24. Suppose 2*q = -3*i + 13, i + 9 = -2*q + r*q. Is q a multiple of 2?
True
Let v(q) = q**2 - 5*q - 118. Is v(27) a multiple of 7?
True
Suppose -2*j + 450 + 460 = 2*w, 0 = -w - 2*j + 458. Is 60 a factor of w?
False
Suppose -4*q + 9 = -q. Suppose -55 = -2*y - q*y. Suppose -12*z + 43 = -y*z. Is 8 a factor of z?
False
Suppose -c + 84 = -53. Does 6 divide c?
False
Let x(l) = 6*l**2 - 34*l + 19. Does 53 divide x(11)?
True
Let v be 5 + 2*(-3)/6. Suppose -4*u - d = -2*d - 526, 0 = 3*u + 5*d - 406. Suppose 0*z - u = -v*z. Is 33 a factor of z?
True
Let o(p) = -1. Let k(w) = 91*w**3 - 5. Let s(v) = k(v) - 4*o(v). Let t be s(1). Suppose t = b + b. Does 15 divide b?
True
Let l(s) = 104*s**2 + 3*s + 1. Let o be l(-2). Let b = -241 + o. Does 10 divide b?
True
Let h be (-8 + 975/(-10))/(2/4). Let q = 407 + h. Is 23 a factor of q?
False
Suppose 0 = 93*d - 96*d + 180. Suppose -d = -r - 4*l, 0 = r - 4*l - 45 - 15. Does 15 divide r?
True
Let i(h) = -3*h + 152. Is i(38) a multiple of 5?
False
Does 53 divide 172*621/252 - 4/(-28)?
True
Suppose -89 = 5*o + 2*b + 90, -68 = 2*o + 2*b. Suppose -5*k = -0*k - 395. Let g = k + o. Is g a multiple of 13?
False
Let s(b) = -17*b - 5. Suppose 2*w = 4*l + 5*w - 11, -9 = -3*l - 3*w. Suppose -3 - l = q. Does 13 divide s(q)?
False
Let v = 185 + -81. Is 26 a factor of v?
True
Let b(t) = 88*t**3 + 2*t**2 - 2*t + 1. Let s be b(1). Let c = s - 60. Let n = c + 25. Is n a multiple of 11?
False
Suppose -41*t = 62*t - 42745. Is 5 a factor of t?
True
Is ((-34476)/(-845))/((-3)/(1830/(-4))) a multiple of 34?
True
Let v = -183 + 438. Suppose -5 = g, 8*l = 3*l - 5*g + v. Does 14 divide l?
True
Let r(y) = -y**3 - 38*y**2 - 45*y - 41. Is 51 a factor of r(-37)?
True
Let v(d) = 2*d + 2. Suppose 5*i - 2*c = -29 - 11, -3*i - c - 35 = 0. Let f be v(i). Does 4 divide (-6)/f*(0 + 75)?
False
Let j = 23 - 17. Let a(p) = 17*p - j*p + 62 - 57. Is 14 a factor of a(7)?
False
Suppose f + 4*f = u - 53, -3*f + 3*u = 39. Does 5 divide (1 + 6*(-2)/4)*f?
True
Suppose -w = -5*j - 3*w + 26, 4*j - 3*w - 30 = 0. Let o(b) = -3*b + 8. Let l be o(j). Let s = 50 - l. Does 12 divide s?
True
Let i(j) = -23*j**2 + 11*j + 5. Let n be i(5). Let s = 795 + n. Is 28 a factor of s?
True
Suppose 2*g - 1476 + 476 = 0. Does 25 divide g?
True
Suppose 7*q = 45 + 200. Let a = q - -1. Is 6 a factor of a?
True
Let k(j) = 2*j**2 - 3*j + 8. Let p(z) = -z**2 - 9*z**2 + 14 - z**2 + z**3 + 9*z. Let f be p(10). Does 7 divide k(f)?
True
Suppose 2*w - 2*o + 6 = 0, -3*w - 3*o - o - 23 = 0. Let l be -14*(2 + w/2). Suppose -2*u = 3*r - 19, l = -r - 2*u - 2*u. Is 3 a factor of r?
True
Is ((-81)/(-6))/((-2)/(-108)) a multiple of 15?
False
Let a(r) be the first derivative of -r**4/4 + 11*r**3/3 - 5*r**2/2 + 5*r - 14. Does 7 divide a(10)?
False
Does 65 divide (-5)/1 - (-4725)/9?
True
Let p = 13 + -19. Let u = -13 - p. Let g = u - -10. Is 2 a factor of g?
False
Let a be 948/16 + 6/8. Suppose 5*u = a - 0. Is 6 a factor of u?
True
Let l = -352 + 1624. Is l a multiple of 51?
False
Let d(c) = -42*c - 14. Let v be d(-4). Suppose 3*q + 4 = v. Is 25 a factor of q?
True
Let p(k) = 20*k**2 - 2*k + 1. Let n be p(-2). Suppose 3*f - 75 = 3*o - 330, -o + n = f. Is 17 a factor of o?
True
Suppose 8 = -2*x + 14. Let r be (-2 + x)/((-4)/(-16)). Suppose r*n = -w + 164, -w + 64 = 2*n + 4*w. Does 21 divide n?
True
Let z(f) = f**2 + 9. Let n be z(-17). Let t = n - 178. Does 24 divide t?
True
Let o = 2317 - 1652. Does 19 divide o?
True
Let h = 95 - 103. Does 36 divide ((-108)/h)/((-6)/(-48))?
True
Suppose -5*k + 6*k = 40. Suppose k = 3*w - 41. Is w a multiple of 9?
True
Sup