or of a?
False
Let t = -51 + 76. Let h = t - 22. Suppose 4*w = -h*v + 2*v + 38, w - 228 = -5*v. Is v a multiple of 8?
False
Suppose 0 = 2*a - 8*a + 618. Is a a multiple of 5?
False
Suppose -5*m + a = 27, -2*m + 5*a = a. Let s(j) = -5*j + 17 + 2*j - 22 + j. Does 2 divide s(m)?
False
Let q be (1/(-5) - 0) + (-724)/(-20). Let m = q - 27. Does 9 divide m?
True
Suppose -x = 5*b - 2539, -4*x - 21*b + 16*b = -10216. Is 70 a factor of x?
False
Let i be (-1)/(-3) + (-261)/(-27). Does 4 divide 178/i - 13/(-65)?
False
Let u(z) = z**3 + 8*z**2 + 8*z + 11. Let w be u(-7). Is w - (1 + 5) - -45 a multiple of 13?
False
Let w = -11 - -13. Suppose 5 + w = -x - m, -5*m = x + 23. Is (-2)/x + 120/9 a multiple of 7?
True
Let o = -1520 + 2502. Is o a multiple of 26?
False
Let f = -23 - -167. Suppose a + 2*a = f. Is 16 a factor of a?
True
Let h be (-1)/((-1)/(-6)*1). Let v = -14 - h. Let n(f) = -f + 1. Does 3 divide n(v)?
True
Is 26 a factor of (-3)/(-12) - 3063/(-4)?
False
Let l(i) = -4*i**3 + 2*i**2 + 16*i - 11. Is l(-7) a multiple of 17?
False
Is (-4)/(-12) - (-76)/6 a multiple of 2?
False
Is 25 a factor of 881 - (2/(-4))/((-24)/288)?
True
Let c = -34 - -36. Suppose a + 1049 = 5*g, 0 = -c*g + 7*g + 3*a - 1033. Is g a multiple of 9?
False
Suppose -3*r + 9424 = -419. Does 147 divide r?
False
Suppose -l + 5 = -3*i - 5, 3*i = -4*l + 10. Suppose l*u - 4 = 5*u, -3*w = 4*u + 136. Is 2/(-10) - 1048/w a multiple of 6?
False
Let x = -58 - -34. Suppose -3*z = -6*c + 2*c - 190, -3*c + 6 = 0. Let a = x + z. Is 20 a factor of a?
False
Let u(q) = 0*q**2 + 17*q - 21*q + 5 - 7*q**2 + 2*q**3. Does 6 divide u(5)?
True
Is 34 a factor of (-25706)/(-21) - 3/189*6?
True
Let t(y) = -y**3 - 26*y**2 + 38*y + 39. Is t(-28) a multiple of 58?
False
Is 154*((-11)/(-2))/(-11)*-2 a multiple of 77?
True
Let w(a) = a**3 + 16*a**2 + 4. Let y be w(-16). Suppose 6*j - y*j - 114 = 0. Is j a multiple of 19?
True
Suppose 8*w - 53 + 165 = 0. Let x = -10 + -12. Let d = w - x. Is d a multiple of 3?
False
Let i(t) = 6*t**3 - 6*t**2 + 22. Is i(4) a multiple of 38?
False
Let p = 80 - 80. Is 4 - -4*(p - -32) a multiple of 11?
True
Suppose o = u + 3, -4*o = 2*u + 2*u - 12. Suppose u*b + 4*b = -36. Let w(j) = -j + 15. Is 12 a factor of w(b)?
True
Let p = -34 - -148. Does 8 divide (p/(-4))/(3 + (-108)/32)?
False
Suppose 9 = -s + 14. Suppose -5*k + 3*b = -684, -4*k = -s*b - 759 + 204. Is k a multiple of 9?
True
Let u(i) = i + 15. Let v be u(-16). Does 10 divide (-5)/(-6) + v - (-805)/6?
False
Let p = -22 - 1. Let y(a) = 2*a - 23. Let v be y(8). Let s = v - p. Does 12 divide s?
False
Suppose 4*y - 65 = 17*y. Let o(v) be the second derivative of -5*v**3/3 - 15*v**2/2 - 2*v. Does 31 divide o(y)?
False
Let i = 1342 + -572. Is i a multiple of 22?
True
Let d(v) = -18 - 2*v**2 + 5*v + 3*v**2 + 1 + 2*v. Is 19 a factor of d(6)?
False
Let c(i) be the third derivative of i**5/60 - i**4/24 - i**3/6 + 5*i**2. Does 11 divide c(-7)?
True
Let t(n) = 2*n**2 + 13*n - 101. Is 11 a factor of t(-15)?
True
Is 3 a factor of (514 - -1)/(285/18 + -15)?
True
Suppose 2*y - 2 = y. Suppose 5*d = y*d + 54. Suppose k + 2*k = d. Does 2 divide k?
True
Let y = -25 + 37. Let z be (-4)/(y/45)*-7. Let s = z + -75. Does 10 divide s?
True
Suppose 4*q = -4*p - 244, 0 = 5*q - 2*p + 272 + 54. Let b = q - -144. Does 29 divide b?
False
Let k = -9 - -15. Let f(w) = w**2 - 8*w + 13. Let l be f(k). Let a = 51 + l. Is 20 a factor of a?
False
Let a(w) = 3*w**2 - 23*w + 1. Is a(-10) even?
False
Let w(y) = 7*y - 3*y**2 + 42 - 26 + y**3 - 6*y**2. Is w(8) a multiple of 6?
False
Suppose 0 = -49*r + 47*r + 4*c + 756, 0 = -3*c - 6. Is 24 a factor of r?
False
Let c(g) = 6*g**2 + 8*g + 95. Does 10 divide c(-7)?
False
Let v(d) = -d**3 - 4*d**2 - d + 7. Let x be v(-4). Suppose -x = -6*j + 25. Let t(q) = 10*q + 6. Is t(j) a multiple of 11?
True
Let g(p) = 4*p**3 + 51*p**2 - 24*p - 7. Does 22 divide g(-13)?
False
Suppose -3*m = -n + 9, 3*n - 17 = 7*m - 3*m. Let y(c) = -c**2 - 11*c + 5. Let p(q) = -q**2 - 6*q + 3. Let l(u) = -7*p(u) + 4*y(u). Does 10 divide l(n)?
True
Let u(s) = 170*s + 11. Is 13 a factor of u(2)?
True
Let k = 115 + -114. Is 6 a factor of (0 + k)*(2 + -1) - -106?
False
Let z = -122 + 306. Is 92 a factor of z?
True
Let q = 13 - -37. Let v = -34 + q. Suppose 3*w - v - 20 = 0. Is 12 a factor of w?
True
Suppose r + 303 = -5*y, r = -y - 2*r - 69. Is 2 a factor of (1 + y/16)*(-12 + 0)?
False
Suppose 0 = 5*l - 8*l + 9. Suppose -21 = 3*f - l*q, -f - 12 - 7 = 5*q. Let u = 22 + f. Does 9 divide u?
False
Let y = 1132 - 500. Is y a multiple of 2?
True
Suppose -4*y + 642 = -2258. Does 25 divide y?
True
Suppose -8*l + 180 = -4*y - 4*l, 0 = -3*y - 3*l - 105. Let w = y + 176. Let q = -94 + w. Is 9 a factor of q?
False
Let k(c) = -6 + 5 + 18 - 40*c. Is 51 a factor of k(-6)?
False
Let l be (-1)/(-1 + 20/24). Suppose 4 = h - l. Let q(n) = -n**3 + 10*n**2 + 13. Is q(h) a multiple of 5?
False
Is (-24)/8*-1 + 0 even?
False
Suppose 0 = 5*p + 3*n + 15, -5*p + 13 = n + 38. Is 36*(34/85)/(p/(-5)) a multiple of 12?
True
Suppose -5*q - 164 = -5*c + 171, -4*c + 5*q = -269. Let b be 1 - -3 - 4/2. Is 6 a factor of b/(6*2/c)?
False
Is 8 a factor of (-12165)/(-20) - 1/4?
True
Let u(l) = -l + 1. Let n(r) = 4*r. Let t(b) = 2*n(b) + 20*u(b). Is t(-5) a multiple of 40?
True
Let c(l) = l**2 - 7*l + 8. Is c(11) a multiple of 11?
False
Let t(o) = -o**3 - 38*o**2 + 78*o - 76. Is 2 a factor of t(-40)?
True
Let u = -1157 + 2160. Does 7 divide u?
False
Suppose 4*s - o = 319, s + 2*o = 4*o + 78. Is 5 a factor of s?
True
Let q = -12 - -10. Does 21 divide (q - -1)*4 + 25?
True
Let v = 275 - -666. Is v a multiple of 9?
False
Let x(d) = -24*d + 650. Is 49 a factor of x(23)?
True
Let l be (-1 - 0) + 0/1 - -1. Suppose -y = -l*y + 4*c - 16, -y + 5*c + 43 = 0. Is 14 a factor of y?
True
Suppose 4 = -b, -4*l - 1387 = b - 4419. Suppose -184 = 2*c + a - l, -5*a + 579 = 2*c. Let m = c + -177. Is m a multiple of 29?
False
Let l be (-28)/(((-2)/(-41))/(-1)). Suppose 4*g - l = -6*q + 4*q, 5*g - q = 714. Does 15 divide g?
False
Let s = -169 - -417. Is s a multiple of 8?
True
Let w(l) = l**2 - 8*l + 16. Let t be w(5). Is 21 a factor of 4*(-428)/(-16) - (t - -1)?
True
Let y be (-70)/15*450/(-4). Suppose y = -h + 4*h. Suppose -3*u + d - 5*d + 185 = 0, -h = -3*u + d. Is 12 a factor of u?
False
Suppose -4*q = 5*t + 3 - 38, 20 = 4*q. Suppose 5*i + 8*a - 554 = 5*a, -t*i = 4*a - 328. Does 28 divide i?
True
Let v(w) = -w**3 + 12*w**2 - 10*w - 12. Let p be v(10). Suppose p*n - 294 = 85*n. Does 14 divide n?
True
Let q be 1/((-2 - -4)/46). Suppose -q = 3*g - 209. Suppose -5*r + g = 17. Is r a multiple of 8?
False
Let q(o) = -o - 4. Let t be q(-3). Is t*(-116)/5 + (-180)/(-225) a multiple of 12?
True
Is 14 a factor of 65670/(-99)*(-9)/5?
False
Is (-3)/6 + (-1701)/(-18) even?
True
Let j = -730 + 933. Is j a multiple of 19?
False
Let q = 19 - 6. Let u = -117 + q. Is u/(-3 - 1) + -3 a multiple of 6?
False
Let d(f) = 11*f + 11. Let l(r) = r - 1. Let c(o) = -d(o) - 4*l(o). Let a be c(-8). Suppose -a = -4*k + 199. Does 13 divide k?
True
Let c be (-4)/5 - 72/(-40). Let k(q) = -2*q + 28. Let g be k(13). Is 3 a factor of (g + c)*(-6 - -10)?
True
Suppose -2*g - 4 = 0, c + 3*g - 16 = g. Let n(f) = f**3 - 6*f**2 - 2*f + 1. Let h be n(6). Let q = c + h. Is q even?
False
Suppose -86 + 1083 = 5*q + 4*x, -3*q + 5*x = -576. Is 22 a factor of q?
False
Let m(s) = s**3 - 2*s**2 - 8*s - 10. Does 8 divide m(8)?
False
Let s(v) = -34*v**3 + 5*v**2 + 2*v - 1. Is s(-1) even?
True
Suppose 0 = 15*t - 223 - 242. Is 14 a factor of t?
False
Suppose -2*i = -97 + 17. Suppose 4*l - i = 36. Is l a multiple of 19?
True
Let g = -202 - -129. Let a = -58 - g. Is a a multiple of 5?
True
Let o be ((-3)/3)/(1/(-2)). Let u(p) = 11*p**o + 0*p + 0*p + 0*p**2 + 1. Is 6 a factor of u(1)?
True
Suppose -2*d = -6*d + 20. Let b be 5*((-16)/d - -4). Suppose s = -n + 21, 5*s - 109 = n - b*n. Is 14 a factor of s?
False
Suppose -2158 = -3*b + 4*c, 2*b - 5*c = 4*b - 1454. Does 19 divide b?
True
Let u = -226 - -3. Let o = u - -313. Is o a multiple of 25?
False
Let l = 0 - 2. Let o(h) = -5*h**2 - 17*h + 29. Let c(g) = -g**2 - 4*g + 7. Let b(y) = l*o(y) + 9*c(y). Does 5 divide b(5)?
True
Suppose 7*p + 7 = -0*p. Does 3 divide (6 - 0)*(-3)/p?
True
Let r(c) = -2*c + 14. Let v be r(6). Let