es 7 divide q(4)?
False
Let k(f) be the first derivative of f**3/3 + 9*f**2/2 - f + 6. Is 6 a factor of k(-10)?
False
Does 13 divide (-27)/(-18) - (-306)/4?
True
Let y = -829 + 2576. Is 64 a factor of y?
False
Let c be ((-1)/(-2))/(15/(-1050)). Let y = c - -60. Is y a multiple of 25?
True
Let i = 46 - 66. Let g = i - -19. Does 12 divide (120/5)/(0 - g)?
True
Suppose k = 6 - 2. Suppose k*t + 5*u = 2*u + 71, -4*t - 4*u + 72 = 0. Does 17 divide t?
True
Let a = -23 + 47. Is (2 + -20)*(-40)/a a multiple of 10?
True
Does 23 divide (-1)/(1149/144 + -8)?
False
Is (2*30)/1 + 44/22 a multiple of 23?
False
Let n(b) = 3*b + 104. Does 2 divide n(-24)?
True
Suppose 0 = 4*m - 5*m + 3. Suppose 3 = m*p - 2*s + 1, -5*p - 5*s = -20. Suppose -p*v + 5*q - 6 + 69 = 0, -2*q = 6. Is v a multiple of 12?
True
Suppose -2 = h + 5. Is (-3)/h - (-1545)/21 a multiple of 16?
False
Let b = -1606 + 2288. Is b a multiple of 11?
True
Let f(j) = j + 12. Let u be f(-9). Suppose -3*w = -4*s + 3 + 11, 23 = -w + 5*s. Suppose -2*b = -7*b - w*o + 135, -u*o - 35 = -2*b. Does 19 divide b?
False
Let z(s) = -10*s + 2. Let w be z(2). Is ((99/w)/(1/(-6)))/1 a multiple of 10?
False
Let p(y) be the third derivative of y**5/60 - y**4/8 - 7*y**3/6 - y**2. Let a be p(-3). Let h(d) = d**2 - 4*d + 9. Is 35 a factor of h(a)?
False
Suppose 2*x + 4*n = -x + 57, 5*x = 2*n + 69. Does 9 divide x?
False
Suppose 16*r = 8*r - 496. Let j = 146 + r. Is j a multiple of 14?
True
Let w(b) = b**3 + 20*b**2 - 20*b + 4. Is 7 a factor of w(-19)?
False
Let b be (-1)/((-4)/(-12)) + -14. Let p = 17 + b. Suppose 0 = -3*v - p + 12. Does 4 divide v?
True
Let a(v) = -456*v - 24. Is 14 a factor of a(-3)?
True
Suppose 0 = -4*x + 5*a + 1, 2*x + 3 = -0*x - a. Let m(u) = 60*u**2 - u - 1. Does 10 divide m(x)?
True
Let d(x) be the third derivative of -x**6/120 - 13*x**5/60 - 13*x**4/24 + 5*x**2. Let l be d(-12). Does 4 divide 0/(8 - 4) + l?
True
Does 28 divide (1771/21 + 1)/(2/21)?
True
Suppose 26*o = -3*l + 30*o + 679, -3*l = -5*o - 680. Is l a multiple of 23?
False
Suppose -143 = -5*d + 2*f, -103 = -3*d - 4*f - 12. Let v = -15 + d. Does 9 divide v?
False
Let f(t) be the first derivative of -t**4/4 - 11*t**3/3 - t**2/2 - 9*t - 4. Let j be f(-11). Suppose -2*h + 10 = -j. Is h a multiple of 6?
True
Let a(r) be the first derivative of -3*r**2/2 + 10*r + 1. Let t be a(-6). Suppose 14 = 2*k - 4*q, 1 - t = -k - 3*q. Does 5 divide k?
True
Let s be 4 + 0 - 9*(-3 + 0). Suppose 20*i + 2321 = s*i. Is i a multiple of 12?
False
Let q be (-4)/24 - (-15772)/24. Suppose 0 = 14*w - 5*w - q. Is w a multiple of 16?
False
Let w = 564 + -334. Is w a multiple of 5?
True
Let c(a) = a**2 + 8*a - a - 3 - 9*a. Is c(-3) a multiple of 11?
False
Suppose -4*i + 68 = 2*q, 9 + 19 = 2*i - 2*q. Let y = i + -1. Is y even?
False
Suppose -3*b - 2*t = -1 - 3, 4*t - 24 = 2*b. Let z be 4/b + (-1 - 0). Let c = z - -15. Is c a multiple of 12?
True
Let v = -28 + 41. Suppose v*x - 123 = 12*x. Is x a multiple of 41?
True
Let h = 12 - 9. Let t(z) = 4*z**3 - 3*z**h - 6*z - 3 - 10*z**2 + 3*z**2 + 11. Is 8 a factor of t(8)?
True
Suppose 7*z - 7989 - 1272 = 0. Does 55 divide z?
False
Suppose -3*v + 317 + 1957 = -2*j, 4*j = 12. Does 20 divide v?
True
Let u(g) = -5*g - 1 - 5*g**2 + 4*g**2 + 4*g. Let k(n) = -n**3 + 8*n**2 + 6*n + 9. Let m(l) = k(l) + 5*u(l). Is m(3) a multiple of 7?
True
Suppose 2*k + 10*b = 254, 3*b + 285 - 810 = -5*k. Is k a multiple of 14?
False
Let f = 12 - -273. Suppose 2*l - 3*l = -f. Suppose 39 - l = -3*q. Is q a multiple of 14?
False
Let a(f) = 56*f**2 + 5*f - 4. Is a(-2) a multiple of 21?
True
Suppose -6*a = -516 + 66. Let i = 111 - a. Does 18 divide i?
True
Does 10 divide 38/(3 + 3/15 + -3)?
True
Let w be ((-48)/(-40))/((-6)/(-80)). Suppose w*d - 17*d = -7. Is 7 a factor of d?
True
Suppose 4*w - 345 = 327. Suppose 3*v = -5*g + 178, 8*v = 4*g + 4*v - w. Does 29 divide g?
False
Suppose 0 = 2*h + 12 + 4. Suppose -370 = -2*s + 2*b, -3 = -0*b + b. Does 19 divide 4 + (-4)/h*s?
True
Let d(g) = -2*g**3 + 12*g**2 + 2*g - 7. Let z be d(6). Suppose z*u - 1 = 24, 2*s - 5*u - 197 = 0. Does 14 divide s?
False
Let s = -14 + 18. Suppose -2*f = -s*f + 14. Suppose f*p = 5*p + 30. Does 5 divide p?
True
Let v(c) = -17*c - 11. Let f be v(-19). Suppose -j = -3*j + f. Is j a multiple of 13?
True
Let d be ((-15)/(-6))/(2/20). Suppose 2*t - 6*t = 2*n - 10, d = 5*n. Is t + 29/(-1)*-2 a multiple of 18?
False
Let t(p) be the second derivative of 1/6*p**4 + 11/2*p**2 - 6*p - 13/6*p**3 + 0. Does 11 divide t(8)?
False
Let d(n) be the first derivative of -n**2 - n - 5. Let w be d(-7). Let c = 17 + w. Does 15 divide c?
True
Let p = 3 - -5. Let x(w) = -3 + 3 + w - p*w + 4. Does 11 divide x(-4)?
False
Let s = 0 + -1. Let l be s/4 + 329/4. Suppose -o = o - l. Is 12 a factor of o?
False
Let j(p) = -p + 14. Let t be j(14). Let i(d) = -7 + 6*d**2 - 2*d**3 + 0*d**2 + t*d**2 - 2*d + d**3. Is 8 a factor of i(5)?
True
Suppose -4*v = -5*f - 2*v + 35, 0 = 2*f - v - 13. Is 16 a factor of 83 + 2/((-15)/f - -1)?
True
Let s(i) = -8*i + 2. Let g be s(-2). Let o be (1/(-1))/((-9)/g). Suppose o*r + r - 204 = 0. Is 34 a factor of r?
True
Let y(n) = -n + 1. Let x(r) = -43*r + 5. Let m(c) = -x(c) + 3*y(c). Let j be m(-1). Is (j/4)/((-11)/66) a multiple of 17?
False
Let r(n) = -n - 14. Let q(t) = -13*t**2 - t - 1. Let j be q(-1). Let v be r(j). Is 11 a factor of v/((-61)/30 + 2)?
False
Is 1/2 + 403/26 a multiple of 16?
True
Suppose 0 = -4*m + 3*z + 5 + 20, -3*m + 24 = -4*z. Suppose m*f = 5*k - 242, 4*k + 0*f = 4*f + 192. Is 25 a factor of k?
True
Suppose 3*j + 20 = -202. Let w = 5 - j. Does 22 divide w?
False
Suppose -3*b = -7*b - 28. Let q be (-21)/6*8/b. Suppose q*r - 13 = 95. Is r a multiple of 4?
False
Suppose 0 = -5*b - 4*p + 4 + 36, 3*b - 3*p = -3. Suppose 0 = -b*d - 0 + 4. Is 14 a factor of -1 + 39/d - -4?
True
Let j(x) be the third derivative of -1/6*x**4 + 0*x + 3*x**3 + 0 - 12*x**2. Does 27 divide j(-9)?
True
Suppose 0 = m - 6*m + 3*b - 10, -2*m = 2*b + 4. Is 13 a factor of 3/(99/930) + m/11?
False
Let i be ((-180)/25)/(8/(-20)). Is 9 a factor of (i/(-2))/((-2)/10)?
True
Suppose 1598 = 3*j - 5*r - 680, 2*j + 5*r = 1502. Does 36 divide j?
True
Let y(c) = 534*c - 126. Is y(2) a multiple of 102?
False
Let l(a) = -5*a - 17. Let o be l(-11). Is (5 - -1)*95/o a multiple of 2?
False
Let l = 8018 + -3876. Is 68 a factor of l?
False
Suppose 5*w = 5*n + 25, 19 = 4*w + 2*n - 5*n. Does 37 divide (-47)/(-2*w/8)?
False
Let a(c) = 50*c + 80. Let f(i) = -17*i - 27. Let n(r) = -3*a(r) - 8*f(r). Does 27 divide n(-10)?
False
Suppose -3*x - 1373 = -3*l - 4*x, 5*x = l - 431. Is 12 a factor of l?
True
Let z be (8 - 7)/((-2)/(-32)). Suppose 15*o - z*o = -46. Is 13 a factor of o?
False
Suppose 3*l = 2*l - z, 5*l = -3*z + 8. Suppose 3*x + l = 7. Does 7 divide (x - 3)*(-7 - 1)?
False
Let r be (-65)/(-39) - 2/3. Let i be r/(-5) + (-1556)/(-5). Suppose -3*c = -5*t + i, -3*t + 2*c + 189 = -c. Does 17 divide t?
False
Let v be (-2)/(-6)*(-5 + 29). Suppose -7*k + v = -3*k. Suppose -5*s + k*i = -154, -3*i + 16 = s - 8. Is 15 a factor of s?
True
Does 26 divide 259154/140 - -10 - (-2)/(-20)?
False
Let i = 95 + 25. Suppose -2*v + i = -40. Does 24 divide v?
False
Let w = 1 + -2. Is -1 - 53/w - (-4)/(-2) a multiple of 10?
True
Let q be (3 - (0 + 0)) + 2. Let o(c) = 5*c - q*c + c + 7. Is o(0) a multiple of 7?
True
Let i = 2223 + -2101. Does 2 divide i?
True
Let k(h) = -h + 14. Let d be k(10). Suppose 144 = -5*j + 2*q + 440, -d*j + q = -238. Is j a multiple of 14?
False
Let i(k) = 24*k**2 - 14*k - 60. Is i(-5) a multiple of 61?
True
Does 113 divide 12201/12 - ((-66)/24)/11?
True
Let q(y) = -95*y + 3 - 11 - 4 + 33*y. Let j be q(-6). Suppose j = 3*k + 111. Is k a multiple of 33?
False
Let z = -65 + 63. Suppose 1 = k - 15. Is 7 a factor of k - (4 - (1 - z))?
False
Let r(b) = 2*b**2 + 13*b - 5. Let j(a) = -a**2 - 12*a + 4. Let l(p) = -3*j(p) - 2*r(p). Is l(9) a multiple of 7?
True
Let z(a) = 13*a - 36. Let i(l) = 3*l**2 - 6*l + 1. Let s be i(3). Is z(s) a multiple of 11?
False
Let i(o) = o**2 - 19*o + 36. Is i(20) a multiple of 14?
True
Suppose -3*w + 2*w - 30 = -5*j, 0 = 2*j + 4*w - 12. Suppose -5*c - 3*g + j*g = -21, -14 = -4*c + g. Let m = c + 20. Does 5 divide m?
False
Let y(x) = x + 7. Let g be y(-11). Let d(w) = 2*w + 4. Let u(l) =