/2. Let o be j*2/(-24)*-4. Suppose -o*a + a + 54 = 0. Is a a multiple of 24?
False
Suppose 4*x = -2*i - 24, 0*i - 30 = 5*x - i. Does 18 divide 1 + 87 + (x - -3)?
False
Suppose 0 = 3*i - 4*t + 490, 9 = -2*t - 1. Let j be (-13)/(-39) + i/(-3). Suppose -j = 6*r - 213. Is 26 a factor of r?
True
Let x = 8 + -5. Suppose -3*g = -0*g. Suppose x*m + 112 - 334 = g. Does 18 divide m?
False
Let b = -22 - -92. Let a = b - 50. Does 10 divide a?
True
Let b be 1 + ((-1)/2)/((-5)/50). Let m(q) = 2*q - 8. Is m(b) a multiple of 3?
False
Suppose 7*v + 9 + 12 = 0. Is 17 a factor of (-167)/(-2) - v/(-2)?
False
Suppose -i + 157 = -208. Is 18 a factor of i?
False
Let h(k) = -k**3 - 4*k**2 + 3*k + 8. Let a(z) = -z**3 - 5*z**2 + 2*z + 9. Let x(j) = -3*a(j) + 4*h(j). Suppose -2*g = -7*g - 20. Does 24 divide x(g)?
False
Suppose 2224 = 7*r - 548. Does 33 divide r?
True
Let t(u) = 1706*u**3 - 3*u**2 + 3*u - 3. Does 13 divide t(1)?
True
Is 28 a factor of 116 - (8/(-10))/(8/(-40))?
True
Suppose k + 5*k - 3228 = 0. Suppose -112 = -a - 2*m, 0 = a - 6*a + m + k. Is a a multiple of 18?
True
Suppose 2*j + 5 - 11 = 0, -65 = -u - j. Is 19 a factor of (-4 - u/(-15)) + (-1993)/(-15)?
True
Let v be 1/2*((-36)/(-6) + -6). Suppose 4*t + 2*n - 30 - 8 = v, -3*t - 5*n + 11 = 0. Is t a multiple of 3?
True
Let d(i) = -i**2 - 16*i + 89. Does 2 divide d(-13)?
True
Let z(g) be the second derivative of -g**5/20 + 5*g**4/12 + 3*g**3/2 - 5*g**2 - 37*g. Is z(6) even?
True
Suppose 7 = -8*o + o. Is (-9 + o)*(-1 - 11/5) a multiple of 8?
True
Suppose -x - 4 + 8 = 0. Suppose 0 = -r - x*h + 2 + 10, 12 = -3*r + 4*h. Suppose -4*p + 35 + 29 = r. Is p even?
True
Let p(g) = -29*g + 30*g - 3 + 12*g. Let q(d) = -d**2 - 6*d - 3. Let l be q(-5). Is 12 a factor of p(l)?
False
Let r be (-6)/(-4) + (-87)/6. Let c = r - -16. Suppose c*h - 99 = -36. Is h a multiple of 11?
False
Suppose 0 = 3*t + u + 39, -16 = -t - 5*u - 43. Is 17 a factor of (-669)/(-6) + 6/t?
False
Suppose -4*h = 3*z + 64, 4*h - 21 - 43 = 5*z. Let s(p) = 14*p - 4. Let k be s(4). Let v = z + k. Is 18 a factor of v?
True
Let d(f) = f**3 - 6*f**2 + 2*f + 11. Let c be d(5). Is 9 a factor of (c - -5)*-1*(0 - 65)?
False
Let q(g) = 7*g + 6. Let c(b) = -14*b - 13. Let t(d) = 2*c(d) + 5*q(d). Let a(z) = -z**3 - 35*z**2 + 36*z + 6. Let p be a(-36). Does 7 divide t(p)?
False
Let u(m) = m**2 - m + 49. Is 24 a factor of u(-16)?
False
Let q(s) = -9*s - 9. Suppose 0*y = 3*y + 18. Let n be q(y). Suppose 5*v + n = 5*u, -5*v - 2 = -3*u + 29. Is 6 a factor of u?
False
Suppose -g - 4 = -2*g. Suppose 3*u - g*p - 268 = 0, 3*u + p - 248 = -0*p. Does 7 divide u?
True
Suppose -4*i + 7*i - 228 = 0. Let o = -62 + i. Is o a multiple of 8?
False
Let a = 2 - 1. Let t(q) be the second derivative of q**3 - q**2/2 - 28*q. Is 5 a factor of t(a)?
True
Suppose b + 4*f = 14, -2 = 3*b - 3*f - 14. Is 3 a factor of b?
True
Does 6 divide (-8 - (-204 + -4))/(1/3)?
True
Suppose -2*j + k + 2468 = -889, 0 = 3*k - 9. Is j a multiple of 30?
True
Let i(m) = -4*m**3 - 2*m - 2. Let w be i(-1). Suppose w*a = -6*t + t + 144, 4*a - 3*t = 176. Is 5 a factor of a?
False
Suppose 4*f = -f. Suppose -4*s - n = 75, 0 = s - f*s + n + 21. Does 5 divide 1/(-2)*(s - -4)?
False
Suppose 2765 = 3*q - 4*u, 0 = -q - 4*u + 595 + 332. Is 35 a factor of q?
False
Suppose 579 = 2*n + 87. Is 20 a factor of n?
False
Suppose 3*s + 2*i + 3 = -4, -3*i = 5*s + 12. Let l be (11 - 4)/(1/s). Let o = l + 37. Is o a multiple of 13?
False
Suppose 102 = 123*l - 121*l. Let h = 2 - 29. Let x = h + l. Is x a multiple of 8?
True
Let z = 12 - 10. Suppose 2*x + z = -2. Is 10 a factor of -2 + (-4 - x*8)?
True
Let w(h) = h + 2. Let l be w(-5). Let o(b) = -b**3 - b**2 + 2*b + 2. Let c be o(l). Let q = c - 10. Does 3 divide q?
False
Let h be (6/5)/((-1)/(-5)). Let k be 7/14*3*(0 + 2). Suppose -k*y + h*y - 21 = 0. Is y even?
False
Suppose -11 = -4*d + 37. Suppose -d*m + 238 = -10*m. Is m a multiple of 17?
True
Suppose 1138 = 3*p + 5*b, p - 308 = -4*b + 69. Is p a multiple of 11?
False
Let h(q) = -q**3 - 24*q**2 + 12*q - 61. Does 8 divide h(-25)?
True
Is 19 a factor of (-39 - -1)*4*45/(-24)?
True
Suppose -6829 = -29*p + 22606. Is p a multiple of 145?
True
Let a(k) = -k**2 + 16*k + 38. Let w be a(18). Suppose -w*t + 4*t = 92. Is 23 a factor of t?
True
Let c(v) = -v**3 - 33*v**2 - 30*v - 35. Is c(-34) a multiple of 97?
False
Is 41 a factor of 18/(-20) + (-25)/250 - -575?
True
Let m be ((-2)/(-5))/(12/1080). Is (-2)/(4 - 147/m) a multiple of 4?
True
Let d(j) = 66*j + 422. Does 2 divide d(-6)?
True
Suppose 2*y + 19 = y - a, 3*y + 37 = a. Let n be y*(-4 + (-128)/(-14)). Is (18 + -19)/(2/n) a multiple of 9?
True
Let o(f) = -f**3 - 8*f**2 - 2*f - 8. Let g be o(-8). Is 3 a factor of (-3 + -3)/((-4)/g)?
True
Suppose -2*s + 1774 = 3*z, 2*z - 7*z + s + 2974 = 0. Is z a multiple of 46?
False
Suppose -p - 2*p - 1808 = 5*z, 3*z - 5*p + 1078 = 0. Let v = z - -660. Suppose -8*l + 3*l = 4*x - v, 4*x = 3*l - 205. Does 21 divide l?
True
Let b(m) = 895*m**3 + 3*m**2 - 14*m + 13. Is b(1) a multiple of 39?
True
Suppose -31*q + 1960 = -26*q. Is 28 a factor of q?
True
Suppose -l = -3*l + 5*o + 825, l = -4*o + 432. Is 30 a factor of l?
True
Let w(u) = -u**2 - 28*u - 2. Suppose 4*g = -0*g - 108. Is 2 a factor of w(g)?
False
Suppose -a + 4437 = 827. Does 31 divide a?
False
Suppose 11*u = 4574 + 4457. Does 9 divide u?
False
Suppose 24200 = 23*u - 13*u. Does 38 divide u?
False
Let z(k) = 91*k**3 + 1. Let q be z(-1). Let s = q - -173. Is s a multiple of 14?
False
Let l be (0 - 1)*(2 + -4). Suppose -5*r = -l*z - 420, 2*z + 91 = -4*r + 409. Suppose r = g + g. Is 27 a factor of g?
False
Let q = 1990 - 1111. Does 19 divide q?
False
Let j = 30 - -44. Is 3 a factor of j?
False
Let r be (-242)/(-3) - 6/9. Suppose 2*o - r = -2*a, -2 = -4*o - 3*a + 163. Does 9 divide o?
True
Let x(r) = -r**3 - 3*r**2 - 17*r - 21. Is x(-6) a multiple of 13?
False
Suppose 4 = 4*b, 0*g = 4*g - 4*b. Suppose 2*r + 7 = -g. Let u = r + 26. Is 12 a factor of u?
False
Let o(t) = 21*t**2 - t - 2. Let g be o(3). Suppose -g = -8*n + 4*n. Is 25 a factor of n?
False
Let w(b) be the third derivative of b**6/120 + b**4/12 - 7*b**3/6 + 15*b**2. Does 8 divide w(5)?
True
Suppose 3*x = -4*f + 539, -3*x + 0*x = 2*f - 541. Suppose 128 = 3*q - 2*t - x, -4*q = t - 412. Does 10 divide q?
False
Let v(z) = 2*z**2 + 2*z - 2. Suppose -6 = -2*u - 3*g, 0*u + 4*g = -3*u + 7. Let t be v(u). Suppose -t*i = -8*i - 228. Is i a multiple of 34?
False
Let m(f) = f**2 + 7*f - 5. Let n(o) = -o**2 - 1. Let c(b) = -m(b) - 4*n(b). Is 10 a factor of c(4)?
False
Let k(s) = 27*s**3 + 2*s - 4. Is k(2) a multiple of 9?
True
Suppose -30*q + 1228 = -26*q. Is 9 a factor of q?
False
Let h = -22 + 577. Is h a multiple of 37?
True
Suppose -10 = -5*d, 553 + 353 = 2*g - 5*d. Does 18 divide g?
False
Suppose 9 = 5*f - 16. Suppose 0 = 5*k - 2*y - 211, 4*k - k = -f*y + 108. Suppose -33 = -2*h + k. Does 10 divide h?
False
Does 4 divide 1/((-611)/312 + (2 - 0))?
True
Let q = -470 - -701. Is 33 a factor of q?
True
Suppose -5*i + 3 = -2. Let x be -9*i*2/(-6). Suppose -x*v + 19 = -101. Is 14 a factor of v?
False
Suppose 2*m + m + 78 = 0. Suppose 15 = -5*c, 15 = -4*k - 4*c - 9. Does 8 divide (-4)/(8/m) - k?
True
Suppose 2*k - b = -17, 0*k - 5*b = 2*k + 47. Let y be 7 - (-49)/(-7) - (-20)/(-2). Is y/55 - 607/k a multiple of 13?
False
Let o(p) = 41*p**2 + 13*p + 22. Is o(-3) a multiple of 12?
False
Suppose 0*p = -3*o - 4*p + 1171, -4*o + 3*p = -1553. Is 13 a factor of o?
False
Let a = 171 - 167. Suppose 0 = -m + 22 + 6. Is a/(-14) + 3088/m a multiple of 13?
False
Let l = 667 - 577. Is l a multiple of 11?
False
Let s(z) = 2*z + 23. Let n(x) = -9*x - 1. Let u be n(1). Let k be s(u). Suppose 5*r = 2*w - k*w + 75, r - 5*w = 41. Is 4 a factor of r?
True
Let n be (1 - -5)*26/39. Suppose 388 = n*x - 2*l, x - 137 = 3*l - 50. Does 6 divide x?
False
Let u = 26 - 11. Suppose -w + u = 10. Suppose 0 = f - 5*h - w, h = 5*f - 97. Is f a multiple of 10?
True
Suppose -5*m = -45 - 25. Is 220/m - (0 - (-6)/(-21)) a multiple of 4?
True
Let t = 480 + -226. Suppose -127 = -3*o + t. Suppose 3*b + 18 = 2*x + 107, 5*b = -2*x + o. Is 13 a factor of b?
False
Suppose 11 = 4*v + 127. Let t = 89 + v. Does 20 divide t?
True
Let y = 1345 + -756. Does 31 divide y?
True
Let t = 8 - -10. Suppose -m 