). Suppose -i - i = -z. Let g(b) = -b**2 + 9*b - 6. Is g(i) a multiple of 8?
True
Let w(v) = 37*v**2 + 2*v + 1. Let a(g) = g**2 + 7*g + 9. Let x(b) = -1. Let p(l) = a(l) + 4*x(l). Let m be p(-6). Does 18 divide w(m)?
True
Let h(r) = 2*r**3 - 4*r**2 + 4*r + 16. Does 48 divide h(4)?
True
Let v(d) = -d - 8. Let i be v(-7). Let b be (0 + i)/(2/(-4)). Suppose -o - 1 = b*u + 4*o, -2*o = 10. Is 6 a factor of u?
True
Let s = 3 - -6. Is s even?
False
Let t be (36/(-14))/(4/28). Let o = t + 45. Is o a multiple of 9?
True
Suppose 4 = 3*i + 1. Let n be (-1)/((0 - i)/2). Suppose n*t - 9 = -t. Is t a multiple of 3?
True
Is -3 - -21*(-8)/(-12) a multiple of 8?
False
Let a be (24/(-20))/((-2)/(-10)). Let q be 4*((-15)/a)/5. Suppose -23 = -5*l + q*f, 4*f + 0*f = -2*l + 14. Is l a multiple of 2?
False
Is ((-3)/(-9))/((-2)/(-318)) a multiple of 14?
False
Suppose -5*l - 346 = -4*j, j + 3*l - 362 = -3*j. Does 15 divide j?
False
Let d(g) = 5*g - 13. Let c(f) = -1. Let j(v) = -6*c(v) + d(v). Let a(m) = m**2 + 2*m - 2. Let t be a(-4). Does 9 divide j(t)?
False
Let q(o) = 51*o**2 - o + 1. Suppose 0 = 2*k - 5*k + 3. Is q(k) a multiple of 14?
False
Let o(f) = -6*f**2 + 1. Let y be o(1). Let u = 15 - y. Does 20 divide u?
True
Let h(a) = 4*a**2 - 7*a - 18. Does 12 divide h(-2)?
True
Let z = -6 + 3. Let c be 4*(10 - 0/z). Suppose s + s = c. Is s a multiple of 10?
True
Let s(v) be the first derivative of 3*v**2/2 + 2*v + 3. Let z be s(2). Is 3 a factor of (-13)/(-4) + (-2)/z?
True
Let h(v) = -91*v**3 - v**2 - v - 1. Does 20 divide h(-1)?
False
Let r be ((-16)/6)/(-4)*54. Let t = r - 12. Does 6 divide t?
True
Let c = 13 + -13. Suppose -3*m + 77 = -n - c*n, 0 = -5*m - 5*n + 95. Is m a multiple of 6?
True
Let y(n) = -7*n + 18. Is 15 a factor of y(-9)?
False
Suppose -t + 4*v = -42 - 50, 3*t - 246 = -3*v. Does 7 divide t?
True
Let q = 103 - 27. Does 19 divide q?
True
Does 6 divide 11 + -5*2/(-10)?
True
Let l(n) = -9*n**2 - 3*n - 3. Let w be l(-3). Let k be -2 - 76*3/(-2). Let t = w + k. Is 13 a factor of t?
False
Let j be ((-8)/(-10))/(2/110). Is (-1)/(-4) + 385/j a multiple of 4?
False
Let m(z) = -7*z**2 - 4*z - 2. Let r be m(-2). Let t(j) = -3*j**2 + 2*j + 6. Let k be t(3). Let g = k - r. Is g even?
False
Let p = 127 - 91. Suppose 5*f - 9 - p = 0. Suppose -4*z - 105 = -f*z. Is 15 a factor of z?
False
Let x = -134 - -251. Is 13 a factor of x?
True
Let a(h) = h**3 - 9*h**2 - 9*h - 9. Let z be a(10). Suppose 209 = 4*d + z. Suppose 0 = -0*x + 2*x - d. Is x a multiple of 13?
True
Suppose 8 = j - 3*j. Let t be j/(1 - (-6)/(-2)). Suppose r = -4*h + 18, -4 = -0*h - t*h. Does 5 divide r?
True
Suppose -35 = 2*l - 185. Does 15 divide l?
True
Suppose 0*t = -5*t + 200. Does 10 divide t?
True
Let i(u) = -u**2 - 9*u - 6. Let s be i(-8). Let q = 34 + s. Does 9 divide q?
True
Suppose 4*v - 3*m = 15, m - 1 = 4*v - 6. Suppose v = -5*q + 2*q - 5*l + 67, 4*l = 3*q - 76. Does 24 divide q?
True
Let h = 888 - 588. Suppose -8*r - h = -13*r. Does 20 divide r?
True
Let j = 13 - -15. Suppose k + 3*x - j = -0*k, 76 = 5*k - x. Does 16 divide k?
True
Let h(o) = o**3 - 5*o**2 + 5. Let u be h(5). Suppose 0*p + 105 = u*p. Is 8 a factor of p?
False
Let y(v) = 6*v**2 + v + 1. Let u be 3/(-5) - (-2)/(-5). Let i = u + 3. Is 14 a factor of y(i)?
False
Let g(o) = 12*o**2 - 3*o + 1. Does 19 divide g(2)?
False
Let k = 4 + -14. Let m be 4/k + 1385/25. Let d = m - 29. Does 13 divide d?
True
Suppose -4*o + 0*o + 44 = 2*f, 3*o = 0. Let x = 12 - 22. Let b = f + x. Is 8 a factor of b?
False
Let l = -2 - -4. Suppose -2 = -5*b + 18, l*g + 3*b - 32 = 0. Does 5 divide g?
True
Suppose -2*b + 182 = 2*k + k, 0 = k + 4*b - 54. Suppose -h - 6 = -5*o, 3*h + 24 = o + k. Is h a multiple of 7?
True
Let n = 72 + -48. Let u = -22 + 8. Let k = n + u. Is k a multiple of 7?
False
Let o(d) = -d**3 + 13*d**2 - 2*d - 3. Is o(11) a multiple of 23?
False
Let h be 3*7/9*63. Is (2/(-3))/((-2)/h) a multiple of 16?
False
Let n(v) = -6*v + 6. Does 8 divide n(-3)?
True
Let h(q) = q**2 + 3*q - 5. Suppose 0 = 5*k + 14 + 6. Let w be h(k). Let i = w - -5. Is 3 a factor of i?
False
Suppose 5*l + 92 = 6*l. Suppose -4*t = -12 - l. Is 11 a factor of t?
False
Let y = -7 + 25. Is y a multiple of 8?
False
Let i = -16 - -29. Does 8 divide i?
False
Suppose -20 = -4*l, -2*g - 4*l = -10 - 110. Is 40 a factor of g?
False
Suppose w - 3*w = -2. Let x be w/((-3)/(-12 - -3)). Suppose 34 = 2*l + 5*i, -3*i - 2 = -x*l + l. Does 2 divide l?
False
Suppose 4*y - 1 + 9 = 0. Does 11 divide -4 - (y - 0) - -34?
False
Suppose -v + 29 = -0. Suppose -2*y - 13 = 2*m - v, -25 = -5*y - 2*m. Is (20/(-6))/((-2)/y) a multiple of 4?
False
Let s = -142 - -205. Is 14 a factor of s?
False
Suppose -4*y + 5*y = -5*f + 1, -f = -3*y + 3. Suppose f = x - 13 - 0. Does 13 divide x?
True
Suppose 3*x - 5*j + 55 = 0, -5*x - 2*j + 3*j - 77 = 0. Does 6 divide 9/x + 146/10?
False
Suppose 0*b = -6*b + 420. Is b a multiple of 14?
True
Let n(t) = t**2 + 13*t + 10. Is 15 a factor of n(-23)?
True
Let k(t) = -t**3 + 7*t**2 + 2*t - 3. Is k(5) a multiple of 12?
False
Let m = 12 - 9. Suppose 3*o = t - 3, m*t + 3*o + 3 = 2*t. Suppose 5*h + t + 10 = 0, q + 4*h = 4. Does 12 divide q?
True
Let l = 1155 + -797. Is l a multiple of 28?
False
Suppose 0 = 3*j - 0 + 21. Let d(q) = q**2 + 6*q. Let v be d(j). Does 4 divide (22/4)/(v/14)?
False
Suppose 584 = 2*j - 4*d, 2*d + 294 = 4*j - 850. Is j a multiple of 28?
False
Let z = 66 + 190. Does 36 divide z?
False
Is 34 a factor of 104/3 - (-8)/(-12)?
True
Is 154/12 - (-2)/12 a multiple of 2?
False
Suppose 0 = 2*w - q - 0*q - 56, -3*w + q + 84 = 0. Is 7 a factor of w?
True
Let t(o) = 2*o**2 - 4*o - 5. Let u(g) = g**3 - 4*g**2 + 9*g + 11. Let b(q) = 13*t(q) + 6*u(q). Let p be b(-1). Does 17 divide (44/(-5) + 2)*p?
True
Let l(y) = -3*y + 5. Let m be l(5). Is 4 a factor of ((-16)/(-10))/((-2)/m)?
True
Does 12 divide 17*2/(-3)*-6?
False
Let j = -83 + 200. Is 13 a factor of j?
True
Let f = -87 - -117. Is 5 a factor of f?
True
Let y be ((-6)/8)/(2/(-464)). Suppose y = 4*k - 62. Let s = k - 41. Is 9 a factor of s?
True
Let c = -90 - -110. Does 3 divide c?
False
Let b(t) = 12*t**2 + 2*t + 1. Let h be b(-2). Let i = h + 15. Is i a multiple of 15?
True
Let p = -81 - -129. Is p a multiple of 24?
True
Let z(i) = 8*i + 1. Let x be z(-3). Let b = x + 32. Is 9 a factor of b?
True
Does 15 divide 118 - -3 - 2/2?
True
Let c(v) = 2*v**2 - 4*v + 10. Suppose -4*b + p + 16 = -p, -4*p - 17 = -5*b. Is 23 a factor of c(b)?
False
Is 8/(0 + -2) + (24 - -1) a multiple of 6?
False
Let n(v) = 7*v**2 + 10*v + 10. Let f(z) = -20*z**2 - 29*z - 29. Let r(b) = 6*f(b) + 17*n(b). Let p be r(-3). Is 5 a factor of ((-6)/(-18))/(p/(-39))?
False
Suppose -4 = 4*q + 2*x, 3*x - 6 + 3 = -3*q. Let o(b) = -12*b - 2. Does 7 divide o(q)?
False
Let z(u) = 7*u**2 - 4*u. Does 12 divide z(3)?
False
Let u be (5/2)/(10/20). Suppose -6*b + 2*b + u*i + 36 = 0, 0 = 2*i + 8. Is b even?
True
Let h(g) = 11*g**2 + 4*g - 7. Let v be h(-4). Let p = -77 + v. Is 19 a factor of p?
True
Suppose -10*g = 2*g - 732. Is 12 a factor of g?
False
Let w be (-1)/(-2) - 20/(-8). Suppose -w - 3 = -3*j. Suppose 0*r + 4*r + j*q = 60, -5*r + q = -89. Is 10 a factor of r?
False
Suppose 2*z - 4*v = -0*z + 8, -3*v = 5*z - 46. Let p = -6 + z. Let w = 16 - p. Is 7 a factor of w?
True
Suppose -3*i = 3, 4*o = -5*i + 22 + 33. Does 4 divide o?
False
Suppose 2*g - 6*s = -2*s + 188, 5*s + 279 = 3*g. Does 25 divide g?
False
Let f = 369 - 105. Is 17 a factor of f?
False
Suppose 0 = -3*q - q + 4. Let l(v) = 13*v - 1. Is 12 a factor of l(q)?
True
Let p(n) = -n**2 - 14*n - 14. Is 10 a factor of p(-12)?
True
Suppose 5*w - 2*m = 13, 0*w - 4*m + 10 = 2*w. Let s(a) = -3*a**2 + a**w + 5 - 7*a**3 + 2*a + 4*a**3 + a**3. Does 13 divide s(-4)?
True
Let x = -23 - -38. Suppose -3*b + 12 + x = 0. Does 3 divide b?
True
Suppose 0*k + 4 = -2*k - 4*i, -2*i - 2 = 0. Suppose k = -4*x + 4*b + 36 + 72, x = 5*b + 11. Is x a multiple of 12?
False
Is (-105)/(-14)*64/6 a multiple of 20?
True
Is ((-80)/(-2))/((-7)/(-21)) a multiple of 30?
True
Suppose 5*n - 2*w - 217 = 0, -4*w - 90 = -2*n - 0*n. Is 11 a factor of n?
False
Let f(x) = 8*x**2 - 2*x - 5. Is f(-3) a multiple of 22?
False
Suppose -p = -5*p + 208. Does 13 divide p?
True
Let a(d) = -d**2 + 6. Let p be a(0). Let s(v) = v**2 - 7*v + 9. Let 