ose 18*m = 12*m + 390. Does 6 divide m?
False
Let z(d) be the third derivative of -d**5/60 + 13*d**4/12 + d**3/3 - 26*d**2. Does 10 divide z(24)?
True
Suppose -93*n + 90*n + 1191 = -4*a, 3 = a. Does 26 divide n?
False
Suppose 0 = 2*s - 7*s + 5125. Is 51 a factor of s?
False
Does 7 divide (-120)/10 - -212 - 11?
True
Suppose 0 = -2*b - 2*b + 8. Suppose b*t - 33 = t. Does 6 divide t?
False
Let x = -1379 - -1559. Is 51 a factor of x?
False
Is (18 - 3)*(-98)/(-7) a multiple of 21?
True
Suppose 2*a + 3*l = -0*l - 6, -2*l - 4 = -3*a. Let b = 136 + -133. Suppose -5*q + a*i = -i - 153, -b*i - 129 = -4*q. Is 5 a factor of q?
True
Suppose 5*q - 5 = 0, -l + 1058 = l + 2*q. Is 27 a factor of l?
False
Let s(l) = 132*l**2 - 2*l. Is s(2) a multiple of 41?
False
Let z = 15 + 10. Let j = 111 + z. Does 17 divide j?
True
Let v = -4 + 18. Suppose v*s + 152 = 6*s. Let p = s + 36. Does 7 divide p?
False
Let g be 1 + 2*(0 + -8). Suppose 0 = -4*z - 8*z - 216. Is 15 a factor of (g/(-2))/((-3)/z)?
True
Suppose -2*t = 44 - 34, -j - t + 541 = 0. Is 13 a factor of j?
True
Let p(j) = -4*j + 14. Let r be p(4). Is (-8)/r - (-2 - -3)*-1 even?
False
Let k = 27 - 15. Let r be k/(-21) - (-7240)/28. Suppose -r - 126 = -6*t. Is 35 a factor of t?
False
Suppose -3*v = -3*k + 87, 2*v + 30 = -3*k + 102. Suppose k*h - 30*h = -468. Let t = -76 + h. Is 13 a factor of t?
False
Let w = 33 - -132. Is w a multiple of 33?
True
Let k(r) be the second derivative of 7*r**5/20 - r**4/12 + r**3/6 - r**2/2 + r. Let d be k(1). Is 22 a factor of ((-2)/4)/(d/(-348))?
False
Suppose -l - r + 44 = 0, 5*l - r + 3*r = 223. Suppose -3*h + 5*a = -8*h + l, -a + 4 = 0. Suppose -h*s + 0 = -250. Is s a multiple of 10?
True
Suppose -139*f = -196452 - 242371. Is 10 a factor of f?
False
Let k(y) = -8*y - 3. Let g(h) = 15*h + 5. Let o(q) = 6*g(q) + 11*k(q). Let u be o(2). Is 6 a factor of (5 + 12/3)*u?
False
Is 59 a factor of (-75)/(-50)*(-8)/(-15)*430?
False
Let o(v) = -2*v**3 - 4*v + 25. Let y be o(0). Let b be (-4)/(-6) + 68/6. Let h = y - b. Is h a multiple of 9?
False
Suppose 2*j + 1300 = 4*u, 325 = u + 2*j - 3*j. Is u a multiple of 13?
True
Suppose -51*u - 6896 + 65750 = 0. Does 22 divide u?
False
Is 18 a factor of 24/(-14)*(-147)/(-3 - -10)?
True
Suppose -41 = -m - 37. Suppose 0 = 2*i - 4*x - 760, m*x = -5*i + x + 1926. Is 16 a factor of i?
True
Let x = 452 + -638. Let p = -102 - x. Is p a multiple of 6?
True
Let p(j) = -j**3 + 13*j**2 - 18*j - 2. Does 39 divide p(8)?
False
Let v(n) be the first derivative of -n**4/4 + 8*n**3/3 + 3*n**2/2 - 9*n + 4. Let a be v(8). Let r = 21 + a. Is r a multiple of 12?
True
Let v(m) = -32*m + 94. Is 54 a factor of v(-21)?
False
Let k = 30 - -20. Suppose 3*h - 3*r - 105 = -0*h, -k = -2*h - 2*r. Is h a multiple of 5?
True
Let n(y) = -y**3 + 6*y**2 + 3. Let d be n(6). Suppose 8 = d*j - 4. Suppose 3*t - 3*k = 150, -3*k = -j*t + 140 + 61. Does 11 divide t?
False
Suppose 8*y = -5*o + 6*y + 111, -117 = -5*o + y. Does 4 divide o?
False
Let o(l) = l**2 - 8*l - 1. Let c be o(8). Is 15 a factor of ((-1)/c)/((-14)/(-1162))?
False
Suppose 2*t + 126 = 2*n, -315 = 13*n - 18*n + 3*t. Is n a multiple of 7?
True
Let y be (-2)/(-5) + 1462/170. Let h(c) = -5*c**3 - 9*c**2 - 26. Let v(b) = 11*b**3 + 18*b**2 + b + 53. Let n(k) = 13*h(k) + 6*v(k). Is n(y) a multiple of 9?
False
Let m(u) = -u**3 + 13*u**2 - u + 15. Let t be m(13). Suppose -18 = -5*w - t*q, -3 = 3*q - 0*q. Suppose -s - 2*x = 3*x - 35, -w*x = -16. Is s a multiple of 3?
True
Suppose 6*r = 4*r + 8. Suppose 12*c - 9*c - 15 = 0. Suppose 53 - c = r*u. Does 6 divide u?
True
Let a(u) = 8. Let j = 2 - 8. Let x(c) = c - 9. Let h(g) = j*a(g) - 5*x(g). Is h(-3) a multiple of 6?
True
Suppose 2*a + 3 = a - q, -2*a + 5*q + 22 = 0. Let x be (-6 - -7)*2/a. Is 1 + (3 - (x - 33)) a multiple of 12?
False
Is (-1071)/(-5) - 45/(-25) a multiple of 2?
True
Is ((-545)/2)/((-2)/12*3) a multiple of 31?
False
Let h(c) = -43*c + 22. Let y be h(-5). Suppose 3*d - 233 = -q, 2*d + y = q + 6*d. Is q a multiple of 13?
True
Let c(v) be the second derivative of -v**7/840 + v**6/360 + v**5/60 + v**4/24 - v**3/3 + 4*v. Let i(x) be the second derivative of c(x). Does 9 divide i(-2)?
True
Suppose 0 = 4*z - 3*p - 13 - 9, -4*p = 4*z - 8. Let y = -15 + 35. Is z - 2 - -1*y a multiple of 8?
False
Suppose -1474 = -5*v + 481. Does 17 divide v?
True
Let g(j) = -4*j**2 - 2 - 7*j**2 + 17*j**2 - 5*j. Let y be g(-3). Suppose 4*c - 57 = y. Is c a multiple of 4?
False
Suppose 0*g - 9*g = -5364. Suppose -116 + g = 5*r. Is 16 a factor of r?
True
Does 31 divide (9*-2)/((-1037)/(-80) - 13)?
False
Suppose -5*s = y - 3*y, 0 = 2*y + 10. Let g = 9 - s. Let q = g - -4. Is 5 a factor of q?
True
Suppose -5*r + 0*r = -10. Let c(x) = 13*x**2 - 4*x + 3. Let n be c(r). Suppose -3*s + n = 3*t - 73, 0 = s - t - 50. Is s a multiple of 10?
False
Suppose 0 = -3*t + 2*t + 6. Let i(j) = j**3 - 5*j**2 - 6*j + 2. Let r be i(t). Suppose -2*z = 1 + 1, -r*l + 52 = -4*z. Is l a multiple of 8?
True
Suppose 2*h - 18 = 3*f + 59, 0 = 4*h + 4*f - 164. Suppose 216 = -h*r + 42*r. Is r a multiple of 18?
True
Suppose 66 + 38 = 4*w. Suppose w = 2*o + 8. Does 4 divide o?
False
Suppose 32*h + 9122 = 46146. Is 5 a factor of h?
False
Let u(w) = -w**3 - 14*w**2 + 3*w - 23. Let b be u(-15). Let r = b - 5. Is r a multiple of 38?
True
Is -8 - (-16877)/(11 + -4) a multiple of 23?
False
Does 15 divide 94 + 1 - (62 - 52)?
False
Let z(m) = 4*m**3 - 1. Let l be z(1). Let u = -67 + 113. Suppose u = l*n - 80. Does 21 divide n?
True
Let p = 173 + -46. Suppose 3*t = u + 255, 0 = -2*t + 2*u + 39 + p. Is t a multiple of 43?
True
Suppose -5*f = -3*b + 610, 8*b = 3*b. Let m = 202 + f. Does 12 divide m?
False
Let s(h) = -h**2 - 18*h + 18. Let b be s(-15). Let m = b - -30. Is 10 a factor of m?
False
Let c be 20/(-3 - -8)*27. Let l = 165 - c. Does 12 divide l?
False
Let t(u) = 247*u**2 + 9*u + 8. Let a(m) = m**2 + m + 1. Let p(w) = -6*a(w) + t(w). Does 40 divide p(-1)?
True
Let p(f) = -2*f**3 - 42*f**2 - 14*f + 22. Is 41 a factor of p(-21)?
False
Suppose -17*n + 5064 + 4473 = 0. Does 15 divide n?
False
Suppose -v + 4*v = 0, 2*v = -3*y + 4719. Does 18 divide y?
False
Let c be 16/6*6/4. Let q(o) = -o**3 + 6*o**2 - 4*o + 3. Let a be q(c). Let z = -8 + a. Does 3 divide z?
False
Suppose 0 = -2*p - 5*d + 4813, -4*p - 20*d = -25*d - 9671. Does 24 divide p?
False
Suppose 3*y - 2*y - i - 12 = 0, 0 = -3*y - i + 16. Suppose 765 = -y*s + 1997. Does 44 divide s?
True
Let g = -108 + 192. Is 28 a factor of g?
True
Suppose a - 135 = 2*t, -4*t - 884 = -5*a - 215. Is a a multiple of 2?
False
Is -82 + 81 + 41*88 a multiple of 38?
False
Suppose 0 = -2*f + k + 147 + 38, 4*f = -5*k + 363. Is 3 a factor of f?
False
Let k be ((-5)/(-2))/(1/(-2)). Is 25 a factor of (10/(-9))/k + (-3369)/(-27)?
True
Let n = 2328 - 1206. Is n a multiple of 39?
False
Suppose 0 = v + 3*p - 312, -4*v + 5*v = p + 312. Is 12 a factor of v?
True
Is 9156/20 + 8/(-10) a multiple of 31?
False
Let n = 24 - -2. Let c be 56/n - (-4)/(-26). Suppose c*m = 6*m - 72. Does 9 divide m?
True
Let u = -202 + 443. Is 5 a factor of u?
False
Suppose 0*j + 2812 = 74*j. Is j a multiple of 19?
True
Suppose r = 0, 0 = -2*a + r + 2*r. Suppose a = t - 8 - 8. Suppose t*c = 11*c + 225. Is 15 a factor of c?
True
Let r(i) = -119*i - 26. Is 4 a factor of r(-4)?
False
Suppose j - 5*g - 13 = 0, 2*g = 5*j - j - 16. Suppose -90 = -5*z - m, -j*z + 8*z + 3*m - 80 = 0. Does 4 divide z?
False
Suppose -10*b + 1111 = b. Is 3 a factor of b?
False
Suppose -h - 5*t = 0, -3*h + 6*t = 2*t. Suppose -2*r + 5*r - 144 = h. Suppose -j = 2*j - r. Is 4 a factor of j?
True
Let r = 22 + -6. Suppose -5*i + 14 + r = 0. Let m = 21 - i. Is 15 a factor of m?
True
Let y = -126 - -198. Suppose 4*w - y = -0*w. Is 3 a factor of w?
True
Let n = -162 + 539. Is n a multiple of 19?
False
Let t = 6 - 10. Let k(z) = 13*z**2 - 23*z - 30. Let b(h) = 4*h**2 - 8*h - 10. Let x(r) = 7*b(r) - 2*k(r). Is x(t) a multiple of 26?
False
Let s(l) = -l**2 + 4. Let z be s(2). Suppose -288 = -5*c - 3*i, 0 = -c - z*c + i + 64. Is 16 a factor of c?
False
Suppose -2*f - u + 2888 = 2*f, f - 701 = 5*u. Is 11 a factor of f?
False
Suppose -6357 = -4*q - 5*s, 4*s = -q + 2576 - 984. Is 41 a factor of q?
False
Let v(d) = -d**3 + 1. Let c be v(1). Suppose -4*k + c*w + 36 = -4*w, 3*k + 