et n = m - -110. Does 5 divide n?
True
Let i be (-4 + (-70)/(-15))*-14*54. Is ((-27)/12)/(27/i) a multiple of 10?
False
Let b(l) = 9*l - 4. Let o(i) = i - 1. Let d be o(1). Suppose -s + 3 = -d*s. Is b(s) a multiple of 10?
False
Let t = -22 - -22. Suppose t = 3*a - 3*z - 155 - 328, 2*z + 650 = 4*a. Does 33 divide a?
False
Suppose 538 = -5*z - 592. Is 31 a factor of 20/4*z/(-5)?
False
Suppose -s + 148 = -3*c, 3*s + 0*c - 3*c - 456 = 0. Let j = s + -49. Does 10 divide j?
False
Let i(o) = o**3 + 6*o**2 + 5*o - 5. Let u be i(-5). Let l be 15/2*(u + 7). Let x(j) = -j**3 + 16*j**2 - 11*j - 20. Is 8 a factor of x(l)?
True
Let d(b) be the second derivative of 5*b**3/3 - 15*b**2/2 - 3*b. Is d(5) a multiple of 9?
False
Suppose 0 = -385*u + 387*u - 810. Is u a multiple of 9?
True
Let r = -1077 - -1539. Is 11 a factor of r?
True
Suppose -y - 2*v + 36 = 0, v - 43 = -4*y + 80. Suppose -m - 2*m + y = 0. Is (m/6)/((-3)/(-36)) a multiple of 6?
False
Let m(k) = -8*k**2 - 41*k - 14. Let c = -1 - -5. Let w(s) = 3*s**2 + 14*s + 5. Let l(x) = c*m(x) + 11*w(x). Is l(11) a multiple of 5?
True
Suppose c + 4*k = 22, 0 = -3*c - k + 6*k + 32. Let a be 4*(c/(-4) + 3). Does 15 divide (-8)/a*185/10?
False
Let y be (-242)/(0/(-4) + -2). Suppose -6*a + y = -5*a. Is 13 a factor of a?
False
Suppose q = 9 + 2. Suppose 0 = -3*z + 1 + q. Suppose o - 63 = 3*r, r + 70 = -z*o + 374. Is o a multiple of 12?
False
Suppose 0 = 19*i + i - 6720. Is i a multiple of 48?
True
Let d(f) = -f + 18. Let a = -34 - -44. Is d(a) even?
True
Suppose 11*q = 19*q - 16. Suppose -q*g + 5*g = 414. Is 16 a factor of g?
False
Let z(x) = 12*x - 89. Suppose 0 = q + 5*n - 30, q - 2*n = 2*n - 6. Is z(q) a multiple of 5?
False
Suppose -11*v = -14*v + 180. Does 5 divide v?
True
Let c(j) = j**2 + 16*j + 10. Let o be c(-17). Is o/(-54) - ((-53)/2 - 1) a multiple of 6?
False
Let i(g) = g**2 - 19*g - 24. Let b be i(20). Suppose 5*h - 368 = -y, -4*h - y + 146 = -2*h. Let r = h - b. Does 19 divide r?
False
Let b(t) = -t**2 - 6*t + 4. Let c = -8 - -2. Let x be b(c). Let y(f) = f**2 - f - 1. Is 11 a factor of y(x)?
True
Suppose -j - 1 = 0, -5*j + 1765 = 2*s - 2*j. Does 32 divide s?
False
Let y be (36/(-10))/(8/(-20)). Let i = 21 + y. Does 10 divide i?
True
Let w = 170 - -343. Does 26 divide w?
False
Suppose -r + 3*q + 2268 = 0, 7114 = 3*r + 2*q + 288. Is r a multiple of 88?
False
Suppose -2*j + 5 = -3. Suppose 0 = 3*k - 13 + j. Suppose r - 4*z - 39 + 6 = 0, -k*z = r - 12. Is 5 a factor of r?
False
Let z(w) = 36*w**2 - 4*w + 8. Is z(-4) a multiple of 24?
True
Suppose 25*x - 1297 - 2928 = 0. Is x a multiple of 13?
True
Let p(r) = r**2 - 6*r - 16. Let z = 29 + -21. Let o be p(z). Suppose -4*i + i = 6, o = 5*n + i - 248. Does 25 divide n?
True
Suppose -5*g + 2*g - 3*b + 417 = 0, 5 = 5*b. Is 3 a factor of g?
True
Suppose -f + 35 = -5*j, -2*j - 23 = -3*f + 2*f. Suppose -2*i + 25 = -f. Is 5 a factor of i?
True
Suppose -q - 3*q + 24 = 3*y, 16 = 4*q + 5*y. Suppose -k + 9 + q = 0. Is k a multiple of 9?
True
Suppose 4*i + 338 = 5*i - 2*h, 0 = -5*i - 2*h + 1630. Let o = 557 - i. Is o a multiple of 42?
False
Let y(l) = -4*l**3 + l**2 + 11. Does 9 divide y(-4)?
False
Suppose -y - l + 410 = 0, l + 2*l + 1640 = 4*y. Is y a multiple of 82?
True
Suppose 3*m + 444 = 5*m + y, y - 222 = -m. Suppose 6*c - m = 5*c. Suppose 5*a - c = -a. Is 11 a factor of a?
False
Does 17 divide 3/(((-6)/24)/(-211 - -5))?
False
Suppose 2985 = 18*k - 975. Is k a multiple of 20?
True
Let n = -1 + 44. Let s = 9 + n. Suppose -4*y = 5*d - s, 0 = 2*y - 0*y - 2*d - 8. Is y a multiple of 8?
True
Let y = -343 + 1999. Is 9 a factor of y?
True
Suppose 50*g - 8275 = 101875. Is g a multiple of 34?
False
Suppose -7212 = -13*r + 23208. Is 39 a factor of r?
True
Suppose 0 = 2*s - 2*c + 30, 5*s - 3*c + 57 + 10 = 0. Let t(z) = -z**3 + 1 - 7*z**2 + 10*z - 3*z - 3*z**2. Is 8 a factor of t(s)?
False
Suppose 0 = -u + 3*u - 12. Let z = 8 - u. Suppose 3*j + 3*a = -z*a + 93, -j + 33 = a. Is 12 a factor of j?
True
Let i(t) be the third derivative of 23*t**4/24 + 13*t**3/6 - 7*t**2. Is i(4) a multiple of 21?
True
Let j(k) be the second derivative of k**5/20 + k**4/4 + 2*k**3/3 + 3*k**2/2 - 2*k. Let y be j(-2). Does 7 divide 5 - 2*(y - 0)?
True
Let t(m) = -214*m - 3. Let c(p) = 215*p + 2. Let x(h) = -5*c(h) - 6*t(h). Let j(r) = -52*r - 2. Let n(q) = -9*j(q) - 2*x(q). Does 34 divide n(2)?
True
Let s = -3271 + 4831. Suppose 4*i + 6*i = s. Does 15 divide i?
False
Let o = -1345 - -2312. Suppose -7*k + o = 134. Does 10 divide k?
False
Suppose 26*l - 6156 = 20*l. Does 27 divide l?
True
Let d = 10 + 0. Let w = d + -12. Is (-106)/(-10) + w/(-5) a multiple of 8?
False
Let q(a) = -5*a - 43. Is 3 a factor of q(-37)?
False
Let t be (-33)/(-1*(-2)/(-16)). Let s = t - 154. Is 22 a factor of s?
True
Suppose -4*s = 2*m - 17 + 53, -18 = m - 4*s. Is 124/6*m/(-12) a multiple of 10?
False
Let k(i) = -7*i - 9. Let q(r) = 72 + 7*r - 26 - 37. Let t(p) = -4*k(p) - 3*q(p). Is t(6) a multiple of 22?
False
Let c = 75 + 448. Does 35 divide c?
False
Let m = -16 + 2. Is 2*-22*m/28 a multiple of 5?
False
Suppose -3612 = 4*t - 7*t. Does 78 divide t?
False
Let f = -65 - -132. Let r(m) = -m**2 - 2*m + 11. Let x be r(-6). Let c = f + x. Is c a multiple of 27?
True
Suppose 4 = -8*m + 7*m. Let d be (1 - -6)*m/(-14). Suppose -5*p + 452 = d. Is p a multiple of 18?
True
Let g(a) be the first derivative of -a**4/4 + 5*a**3/3 + 5*a**2/2 + 7*a + 1. Let v be g(6). Let q(f) = 29*f**2 - f + 1. Does 13 divide q(v)?
False
Let h(o) = -12*o**2 - 37*o - 2. Let n(c) = -23*c**2 - 74*c - 5. Let g(j) = 11*h(j) - 6*n(j). Does 48 divide g(-8)?
True
Suppose s - b + 4 = -2*s, -3*s + 4*b = 16. Suppose 3*w = -p + 110, 2*p - 7*p + 2*w + 567 = s. Is 18 a factor of p?
False
Let d(m) = m - 6. Let z be d(10). Suppose 0 = -x + 2*k, 3*x - 40 = 5*x + z*k. Let q = x - -50. Is q a multiple of 20?
True
Let z = -13 + 17. Suppose 0 = z*y - 5*y + 4. Suppose -y*x + 85 = 3*w - 81, -w + 2*x = -42. Is w a multiple of 28?
False
Let t = -1894 - -2166. Is 8 a factor of t?
True
Let m = -983 - -1557. Is 14 a factor of m?
True
Let y(d) = -d**2 - 14*d + 32. Let j be y(-16). Suppose j = -0*s - 2*s + 82. Is s a multiple of 6?
False
Suppose -4*g = -5*l - 0 - 2, 0 = 2*l - g - 1. Suppose l*b - 2 = 90. Is 23 a factor of b?
True
Suppose -3*n + 3*r = 72, -4*n - 119 + 27 = -3*r. Let j be (19 + n)/((-1)/35). Suppose -2*i = 2*i + 3*p - 33, -5*p = 5*i - j. Does 4 divide i?
True
Suppose -t + 41*m + 1844 = 37*m, 5*m + 7409 = 4*t. Is 29 a factor of t?
True
Let s be 5/(-2)*4326/(-105). Suppose 0 = 3*v - 4*j - s, v + 3*v - 112 = -j. Is 21 a factor of v?
False
Let q be ((-4)/(-6))/(2/6). Let a(w) = -4*w**2 + 10. Let t(z) = 10*z**2 + z - 28. Let o(v) = -11*a(v) - 4*t(v). Is o(q) a multiple of 5?
True
Let q(c) be the first derivative of c**4/4 - 10*c**3/3 + 4*c**2 - 14*c + 90. Suppose 0*g - 2*g + 20 = 0. Does 23 divide q(g)?
False
Let v = -109 + 613. Suppose 12*a - v = 5*a. Is 10 a factor of a?
False
Let c = 38 - 45. Let y(m) = -m**3 - 8*m**2 - 13*m + 12. Is 9 a factor of y(c)?
True
Let z(y) = y**3 - 4*y**2 - 13*y + 8. Let i be z(6). Let a(c) = 11*c - 3. Does 4 divide a(i)?
False
Let p = -1553 + 2653. Does 55 divide p?
True
Let r = 114 - 27. Does 8 divide r?
False
Let p = 3 + -10. Let l(r) = -14*r - 6. Let v be l(p). Suppose -3*c + c = -v. Does 20 divide c?
False
Let b(z) = 3*z**2 + 3*z - 2. Let j be b(3). Suppose -2*i = 2*i - 12, i - j = v. Let t = 45 + v. Is 3 a factor of t?
False
Let o be (-10)/4 + 5/10. Is 6 a factor of 7*(o + 32/7)?
True
Suppose v - 1700 = -3*v. Is v a multiple of 25?
True
Let r = -3 - -5. Let a = r - 4. Is 6 a factor of 10/(-20) + (-29)/a?
False
Suppose -2*w = -10*w + 2768. Is 8 a factor of w?
False
Suppose 27 = -5*y + 422. Let x = y - 58. Does 7 divide x?
True
Suppose -23 + 3 = -4*c. Suppose c*v = -0*v. Suppose -78 = -v*h - 2*h. Is 8 a factor of h?
False
Let y(z) = -10*z**2 + 18. Let j be y(9). Does 9 divide j/(-5) - (7 - 66/10)?
False
Suppose -7*r + 3*r = -84. Suppose -5*b - 6 = -r. Suppose 0 = -2*n - b*n + 165. Is 13 a factor of n?
False
Let c = -10 - -63. Let k = 66 + c. Is k a multiple of 31?
False
Let b = 4727 - 2584. Is b a multiple of 40?
False
Let v be (-22)/(-6) + 15/45. Suppose 2*q - 126 = v*f, 0*f + f + 315 = 5*q. Is 19 a factor of q?
False
Let b be 3/(-2