)?
False
Suppose -11 = -d + 2*d. Does 11 divide ((-121)/d)/((-2)/(-6))?
True
Let f(t) be the third derivative of t**4/6 + t**3/6 + t**2. Is f(3) a multiple of 10?
False
Let d(b) = 3*b - 1. Does 2 divide d(2)?
False
Let w(m) = -m**2 + m + 1. Let n(o) = -o**3 - 10*o**2 + 2*o. Let b(g) = -n(g) + 3*w(g). Does 17 divide b(-5)?
False
Suppose -572 = -4*m + d, 3*m - 447 + 35 = 5*d. Is m a multiple of 12?
True
Suppose -5*o + o = -112. Let z = o - 16. Is z a multiple of 12?
True
Suppose -3*x + 11 = -5*l - 34, 0 = -5*l + 2*x - 45. Is 4 a factor of 2/(-6) + (-57)/l?
False
Suppose j - 4*j = 0. Is 20 a factor of (-4 - -61)/(1 + j)?
False
Suppose -119 - 121 = -4*g. Is 15 a factor of g?
True
Let x(s) = s**3 - 7*s**2 + 7*s + 3. Let g = 18 + -11. Is 10 a factor of x(g)?
False
Suppose -y = 4*y. Let m be y - 1*(1 + -4). Suppose -24 = -r - 5*u, 6*r = m*r + 5*u + 172. Is 13 a factor of r?
False
Let n be (-3 - -5)*(54 - -2). Suppose -5*j + n = -j. Does 14 divide j?
True
Suppose 0*n - 4*n = 3*i - 489, -4*n + 4*i + 468 = 0. Is n a multiple of 30?
True
Let k = 14 - 20. Let t = -1 - k. Suppose -5*i = -v - 24, -t*v - 28 = -2*i - 0*i. Is i a multiple of 4?
True
Let b = -3 + 7. Let t(w) = -w**2 + 5*w + 2. Does 3 divide t(b)?
True
Let u = 50 - 36. Is u + 1/((-1)/(-1)) a multiple of 12?
False
Let w = 0 - -1. Let v(b) = 35*b - 1. Let m(h) = 35*h - 1. Let g(s) = -3*m(s) + 4*v(s). Does 16 divide g(w)?
False
Let j = 14 + -10. Suppose -j*m = m - 55. Let n = m + -7. Is n a multiple of 3?
False
Let f = 4 + -6. Let h(v) = -21*v - 2. Is h(f) a multiple of 18?
False
Let i(t) = t + 2. Let f(g) = 1. Let m(h) = -4*f(h) - i(h). Let k be m(0). Is 2/k - 129/(-9) a multiple of 14?
True
Let o(t) = t**3 + 3*t**2 + 7. Let n(h) = h**3 + 4*h**2 + h + 8. Let d(w) = 5*n(w) - 6*o(w). Is 4 a factor of d(3)?
True
Let a(g) = -g**3 - 3*g**2 + 4. Let y be (2 - (-3)/(-3)) + -4. Let w = y - 1. Is a(w) a multiple of 10?
True
Suppose 3*f + z + 91 = 0, 0 = -f - 4*z - 4 - 30. Let o = -48 - f. Let m = -6 - o. Is m a multiple of 12?
True
Let f(k) be the first derivative of 17*k**3/3 + 2. Is 12 a factor of f(1)?
False
Let p = 0 - -10. Suppose 5*u - 8*m + 3*m = p, -2*m - 16 = -5*u. Suppose 3*t = u*y + t - 224, 0 = -y - 4*t + 56. Is 21 a factor of y?
False
Let x(f) = -f**3 - 6*f**2 + 2*f + 4. Let n be x(-6). Does 6 divide n/(-36) - 106/(-9)?
True
Suppose -1852 = -11*j - 367. Does 45 divide j?
True
Suppose 561 = -12*m + 1641. Does 6 divide m?
True
Suppose 3*k + 4*n = 0, 2*k + k - 27 = 5*n. Suppose -3*q = k*t - 5, t + 2 = 3*q + 7. Does 2 divide t?
True
Let g(r) be the first derivative of 6*r**2 + 1. Let x be g(-1). Is 18 a factor of (-1)/(-3) - 428/x?
True
Let r = -2 + 3. Is 22 + r + -1 + -1 a multiple of 12?
False
Let y(p) = 6*p - 11. Suppose 26 = 4*c - f + 2, -12 = -2*c - 5*f. Does 19 divide y(c)?
False
Suppose -6*x - 800 = -x. Let m = -57 - x. Does 21 divide m?
False
Let o(j) = -j**3 - 6*j**2 - 8*j + 8. Does 14 divide o(-6)?
True
Let j = -116 - -168. Is j a multiple of 23?
False
Let u = 58 + -7. Is 17 a factor of u?
True
Let g = 0 + -5. Let v = g - -8. Suppose w - 104 = -v*w. Is w a multiple of 13?
True
Let w = 195 - -21. Is 21 a factor of w?
False
Suppose 2*s - 137 = 4*z + 339, -2*s = -2*z - 472. Is 13 a factor of s?
True
Let v(j) be the second derivative of j - 1/3*j**3 + 0 - 3/2*j**2. Is v(-5) even?
False
Let k be 6/(-8) + 378/24. Does 8 divide (6 - -4)*24/k?
True
Suppose -4*v + 7 = -13. Let w be 5/(15/(-6)) + v. Suppose -w*c + 81 = -0*c + 3*l, -2*l + 108 = 4*c. Is 17 a factor of c?
False
Suppose -4*f = -2*p + 5*p - 360, 2*f - 194 = -5*p. Does 27 divide f?
False
Suppose 0*l + 45 = -l. Let m = 65 + l. Is m a multiple of 10?
True
Suppose -7*v + 2*r + 906 = -4*v, -v - 2*r = -310. Does 38 divide v?
True
Let n = 5 + 0. Let u(p) = -p + 7. Let y be u(n). Suppose 0 = 4*t, 11 = j - y*t + 3*t. Is j a multiple of 11?
True
Let u(w) be the first derivative of w**5/120 - 7*w**4/24 - 2*w**3/3 - 4. Let o(p) be the third derivative of u(p). Is 3 a factor of o(10)?
True
Suppose 0 = -k + 4*h + 9, 0 = -2*k + k - 4*h + 1. Suppose k*j = 5*g - 340, -g + 3*g - 141 = 3*j. Does 20 divide g?
False
Suppose 2*j + 3 = j - 2*a, 4*j + 5*a = 0. Suppose -j*l + 126 = 4*v, 2*l = -3*v - 2*l + 94. Is v a multiple of 7?
False
Let f(w) = -33*w + 3. Is 21 a factor of f(-5)?
True
Suppose -2*l = x - 15 - 13, 3*l + 3*x = 48. Let m = l + 4. Is m a multiple of 8?
True
Let u(g) be the third derivative of -g**4/12 - 5*g**3/6 - g**2. Let s be u(-4). Is 6 + 4*s/6 a multiple of 3?
False
Let o be 0/6 - (2 - 4). Suppose o*j - 4*j + 4*i + 64 = 0, 3*i + 35 = j. Does 13 divide j?
True
Let k = 171 + -79. Is k a multiple of 23?
True
Suppose -b - t - 4*t = -19, -5*t = 5. Suppose -h - b = -4*h. Is h a multiple of 8?
True
Suppose -5 - 22 = -3*j. Suppose 0 = -x - 2*x - j. Let r(z) = -2*z**3 - 3*z**2 - z + 1. Is r(x) a multiple of 13?
False
Let k = 126 - 70. Let g = k - 38. Is g a multiple of 6?
True
Let f = 126 - -23. Does 17 divide f?
False
Let d(z) = -5*z + 200. Is d(0) a multiple of 10?
True
Does 14 divide (14/(-3))/((-2)/12)?
True
Let f = 30 - 15. Is (54/(-2))/(f/(-10)) a multiple of 12?
False
Let h(k) = -5*k + 3. Let q = 1 + 2. Let a be h(q). Let t = 22 + a. Does 10 divide t?
True
Let m(r) = -r**3 - r**2 - 4*r - 5. Does 2 divide m(-2)?
False
Let h(c) = 5*c**3 - 5*c**2 + 2*c - 16. Let v(l) = -9*l**3 + 10*l**2 - 5*l + 31. Let y(j) = -11*h(j) - 6*v(j). Suppose 3*k = -k - 28. Is y(k) a multiple of 16?
True
Suppose -6*h = -2*h + 236. Suppose 5*o - 8 = -163. Let w = o - h. Is 14 a factor of w?
True
Let w be (0 - -2)*(-5)/(-2). Suppose -4*q + 142 = w*g, -g + 2*q + 25 = -9. Suppose 0 = -j - 2*j + g. Is j a multiple of 5?
True
Let l(z) = -z**2 - 7*z**2 + z**3 - 4 - 2*z**3 - z. Suppose 4*x + 8 = 3*x. Does 4 divide l(x)?
True
Let t(r) = 2*r + 4. Let p = -9 - -3. Let k be (-2)/p - (-34)/6. Is 8 a factor of t(k)?
True
Let r(w) = 2*w**2 + 25*w + 30. Does 33 divide r(-16)?
False
Let o = 3 + -3. Let m be 102 + -2 + (3 - o). Suppose 2*u - 5*p - m = -25, 126 = 3*u - 3*p. Is 15 a factor of u?
False
Suppose 20*i - 18*i - 482 = 0. Is i a multiple of 46?
False
Let j = -243 - -346. Is 23 a factor of j?
False
Suppose 5*q - 429 = 2*q. Is 37 a factor of q?
False
Suppose 2*g = 3*g - 50. Is 10 a factor of g?
True
Is 25 a factor of 6 + -8 + (-548)/8*-4?
False
Let c(n) = 35*n + 1. Let p be c(1). Does 18 divide p*-2*3/(-4)?
True
Let i(p) = -p**3 + 7*p**2 + 7*p + 4. Let w be i(7). Suppose 5*r - j - w = 2*j, -2*r + 23 = -3*j. Does 5 divide r?
True
Suppose 2*t = o - 65, 0 = o + 4*o + 25. Let a = -5 - t. Does 11 divide a?
False
Suppose 0 = -3*w - 0*t + 3*t + 27, -4*w + 6 = 2*t. Let l(m) = 3*m**2 - 5*m + 4. Is l(w) a multiple of 16?
True
Suppose -7*f = -2*f - 3*d - 30, -5*f = 2*d - 5. Let a = f - 5. Let k(h) = -14*h - 2. Is k(a) a multiple of 13?
True
Let x(j) = -j**2 + 12*j - 7. Is x(7) a multiple of 7?
True
Let a(o) = o**3 + 3*o**2 - o. Let h(t) = t**2 - 9*t + 6. Let w be h(8). Is a(w) a multiple of 6?
True
Suppose -6 = 2*c - 4*c. Suppose 0 = -c*s + 4*s - 4. Suppose -5*x + 11 = -5*z - 9, 0 = z - s. Is x a multiple of 4?
True
Suppose 6*q = q + 15. Does 3 divide q?
True
Suppose 2*u - x = 62, -3*x + 124 = -u + 5*u. Suppose -2*k = 10 + 26. Let q = k + u. Is 9 a factor of q?
False
Suppose x - 4*x - 24 = 0. Let o be (-18)/x - 1/4. Suppose 4*c = -o*t + 78, -3*t + 2*c = -5*t + 72. Is t a multiple of 11?
True
Let f = 12 - 8. Suppose -5*v = 3*b - 98, -f*v + 100 = v + 5*b. Is 7 a factor of v?
False
Let u be (-3)/9 + (-3120)/(-18). Let a = -118 + u. Is 11 a factor of a?
True
Let n(w) = -w - 8. Let l be n(-8). Suppose 0 = i - 3*g - 24, 0*i + 2*i - 4*g - 56 = l. Is 17 a factor of i?
False
Let n = 49 - -63. Is n a multiple of 16?
True
Suppose 0 = 5*t - 9*t + 12. Suppose -t*m - 15 = 0, 3*h - 77 = 2*h + 2*m. Is h a multiple of 27?
False
Suppose -26 + 11 = 3*h. Let r be 22/h - 4/(-10). Is 17 a factor of -17*-2*(-2)/r?
True
Let y = 172 - 89. Is y a multiple of 17?
False
Suppose -2*p + 21 - 7 = 0. Suppose -511 = -5*z - 2*w, -2*z = 4*w - 222 + 8. Suppose -v - z = -4*m, 5*m - 4*v - 147 = -p. Is 12 a factor of m?
True
Let n(d) be the second derivative of d**7/840 + d**6/60 - d**5/30 - d**4/24 - d**3/3 + 2*d. Let j(v) be the second derivative of n(v). Is 8 a factor of j(-6)?
False
Let l be (-4 - 0)*3 + -4. Does 8 divid