 - t**4/12 - t**3/3 + 7*t. Does 6 divide x(3)?
True
Let f(s) be the second derivative of s**4/6 - 17*s**3/6 + 11*s**2 + s. Is f(11) a multiple of 22?
False
Suppose -454 - 120 = -3*o - 5*x, 796 = 4*o - x. Does 18 divide o?
True
Suppose -4*i + 5*i = 59. Suppose -6*s + 2*s - 88 = 0. Let k = i + s. Is k a multiple of 13?
False
Does 3 divide (162/12)/(3/8)?
True
Suppose 5*c + 2*v - 5*v = 200, 4*c = 5*v + 160. Let p = -17 + c. Is 11 a factor of p?
False
Let i(u) = 2*u + 2. Let c be i(7). Suppose c - 3 = a. Is a a multiple of 11?
False
Let l be 4/(1 + 3) - -25. Let n = 48 - l. Is 9 a factor of n?
False
Is 21 + (36/4)/(-3) a multiple of 6?
True
Suppose -5*m - 40 = 2*b, -2*b = 3*m - 1 + 25. Let d(o) = -3*o + 4. Is d(m) a multiple of 7?
True
Let r = 3 - -1. Suppose 0 = r*z - 15 - 1. Does 4 divide z?
True
Is 116 + (-5)/((-20)/16) a multiple of 30?
True
Suppose -2*q - 4*c + 100 = 2*q, -c = -2*q + 50. Let v(u) = -u + 1. Let f be v(0). Suppose 2*l - f = q. Does 11 divide l?
False
Let i(y) be the third derivative of y**6/120 + y**5/15 - y**4/8 + y**3/3 + 5*y**2. Is i(-4) a multiple of 14?
True
Is 27 a factor of 2/10 - (-2020)/25?
True
Suppose -196 = -3*l - p + 83, -5*l = -p - 473. Is 26 a factor of l?
False
Suppose -2*q + 2*b + 12 = 2*q, 3*q = -3*b. Suppose 0 = q*x - 5*x + 24. Does 4 divide x + (-2 + 0 - -1)?
False
Let r be (2/(-4))/(2/(-8)). Suppose 2*y + 6 = 0, -3*y - 2 = r*c - 3. Is 5 a factor of c?
True
Let s(i) = 154*i + 55. Let f(n) be the first derivative of -17*n**2/2 - 6*n + 2. Let h(v) = -55*f(v) - 6*s(v). Is 4 a factor of h(1)?
False
Let g = -54 + 110. Is g a multiple of 23?
False
Let u = 647 - 316. Is 49 a factor of u?
False
Suppose 5*p - 5*k = 20, -5*p - k - k + 6 = 0. Suppose -p*i = -3 + 9. Is 3 a factor of (-2)/i - 44/(-6)?
False
Suppose -5*l = 10, 0 = 3*k + l - 5*l - 32. Does 2 divide k?
True
Let g be -2*2/(-4) + -1. Suppose -2*j = 4*a, -5*j + 7*a - 2*a = 0. Suppose g*z - 2*z + 44 = -3*b, j = 2*b - 4. Does 12 divide z?
False
Let l = -9 - 10. Suppose -18 - 3 = 3*k. Let t = k - l. Does 5 divide t?
False
Let s = 10 + 8. Is 9 a factor of s?
True
Suppose r - 5*v + 0*v = 118, -4*r + 388 = v. Does 7 divide r?
True
Suppose 0 = 3*j - 93 + 6. Let v = j - 15. Is v a multiple of 8?
False
Let p be (-3)/(-5 - -2) - 1. Suppose -3*s = s - 2*v - 146, -5*s + 2*v + 185 = p. Does 13 divide s?
True
Let m be 113 - 0 - (0 - -1). Let a = -67 + m. Let o = a - 32. Is o a multiple of 10?
False
Suppose -3*m = -0*m - 57. Suppose 11 = 3*c - m. Is c a multiple of 5?
True
Let k(n) = n**3 - 5*n**2 - 19*n - 5. Is 8 a factor of k(9)?
False
Let c be 0 + 0/(-3) - 0. Suppose 0 = -4*y + 8, c = 3*w + 2*y + y - 18. Is w a multiple of 4?
True
Is 11 a factor of (2680/(-12))/(-5) + (-8)/12?
True
Let f be 3 - 3 - -1 - -1. Suppose r = f*r - 45. Does 15 divide r?
True
Let z = -2 + 4. Suppose z*l - 67 = -15. Does 26 divide l?
True
Suppose -36 = -4*l + 5*a, -4*a = l - 6*l + 36. Suppose 90 = 5*m + 5*n, 27 = m - 0*m + l*n. Is 5 a factor of m?
True
Suppose 0 = n - 2*n + 4. Suppose -3*q - 2*h + 35 = 0, -2*q - h + 55 = 2*q. Suppose o + j - q = 0, -o = 4*o - n*j - 75. Does 7 divide o?
False
Suppose -8*j + 2*j + 192 = 0. Is j a multiple of 16?
True
Let i be 5 - (-5 + -2 + 4). Suppose 3*c - 4*y = 20, -4*c + 5*y = 3*y - 10. Suppose d - i = -2*x + 10, c = x + 2*d - 6. Does 10 divide x?
True
Let c(x) be the first derivative of -8*x**2 - 2*x - 3. Is 7 a factor of c(-1)?
True
Suppose 0 = -11*i + 6*i + 370. Is 37 a factor of i?
True
Is ((-11)/(33/6))/(2/(-36)) a multiple of 4?
True
Suppose 52*b = 57*b - 225. Is b a multiple of 6?
False
Let p(u) = -u**2 + 1. Let j be p(0). Let b be 10/35 + (-23)/7. Does 11 divide 29*j + 6/b?
False
Is 16 a factor of (372/(-21))/(4/(-14))?
False
Let m(g) = -g**3 - 2*g**2 + 2. Let d be m(-2). Suppose -d*f = -f + 132. Is 9 a factor of ((f/(-3))/(-2))/(-1)?
False
Let g(o) = o**3 - o**2 - o + 374. Is g(0) a multiple of 17?
True
Is 23 a factor of (-4)/(-1) + (28 - -11)?
False
Let h(b) be the second derivative of -b**3/6 + 5*b**2/2 + 2*b. Let t = 6 + -10. Does 6 divide h(t)?
False
Suppose -5*v + 85 = 4*c, 2 = c + 7. Let w = v - 9. Is w a multiple of 8?
False
Suppose 12 = 3*q - 0. Let j be (54/q)/(3/6). Suppose -3*v + 0*v + w = -j, -v + 4 = -2*w. Does 10 divide v?
True
Suppose a - 5*r + 1 = 0, 6*r - 3*r = 4*a + 4. Let u(v) = -v. Let q(f) = 17*f - 1. Let b(s) = -q(s) - 6*u(s). Is 4 a factor of b(a)?
True
Suppose -2*j + 520 = 2*j. Suppose -j + 19 = -3*k. Let w = k + -22. Is 15 a factor of w?
True
Let k = 201 - 29. Does 6 divide k?
False
Let k(i) = i**3 - 3*i + 1. Let l be k(2). Suppose 3*n - 5 = l*w + 1, -3*w = -6. Suppose n*o - 3*x = 60, -o - 15 = -2*o - 2*x. Is 7 a factor of o?
False
Is (204/(-10))/(-2 - 102/(-60)) a multiple of 17?
True
Suppose -2*x = -3*h - 4, -4 = -4*x - 5*h - 40. Let y = 10 + x. Suppose w - y*w + 45 = 0. Does 7 divide w?
False
Let u(w) = -w + 28. Is u(6) a multiple of 7?
False
Let h(d) = -11*d**2 + 3. Let c(b) = 11*b**2 - 4. Let s(q) = -2*c(q) - 3*h(q). Is s(-2) a multiple of 27?
False
Let z = 58 + -51. Does 5 divide z?
False
Let w(m) = -2*m - 10. Let z be w(-8). Let b(k) = k**3 - 7*k**2 + 5*k + 8. Is b(z) even?
True
Let l = 11 - 6. Suppose l*b = -0*b. Suppose b = 5*h + 5*p - 160, -189 = -4*h + 4*p - 45. Is h a multiple of 17?
True
Is 35 a factor of (735/(-28))/(4/(-16))?
True
Is 7 a factor of 38 + 2/2 - 4?
True
Suppose 87 = 5*u - 578. Does 21 divide u?
False
Suppose -3*u - 135 = -8*u. Is u a multiple of 9?
True
Suppose 4*n - 3*h - 99 = 2*h, -2*n + h + 51 = 0. Is n a multiple of 13?
True
Let b be (1 - 2)*(-91)/7. Suppose -d + b = -0*d. Is d a multiple of 13?
True
Let h(f) be the second derivative of f**3/6 + 5*f**2 - 4*f. Let p be h(-7). Does 2 divide p/12 - 69/(-12)?
True
Suppose -15 = 3*n, -n - 83 = -4*m - 6*n. Is m a multiple of 10?
False
Let p(y) = y**2 - 1. Let v be p(2). Suppose 0 = 4*c + 2*l - 120, 0 = -4*c - l + v*l + 104. Is c a multiple of 11?
False
Let r(l) = -l**3 - 4*l**2 + 2. Let o be r(-4). Suppose -105 - 65 = -o*y. Suppose 4*s = -s + y. Is s a multiple of 13?
False
Let u = 648 + -363. Let p = u - 197. Is 19 a factor of p?
False
Let v be 62/8 + (-5)/(-20). Let p = v + -6. Does 27 divide (2*27)/(p + -1)?
True
Is 51 a factor of (5 - -168) + -1*(-9)/(-3)?
False
Suppose 3*v + 0*v - 68 = k, 2*v = -3*k - 204. Let t = -29 + -7. Let p = t - k. Does 16 divide p?
True
Let z be (0/1 - -3)/1. Suppose -z*k = -k - 24. Is k a multiple of 12?
True
Let p(w) = 38*w**3 - w. Let c be p(1). Let s = 73 - c. Is 12 a factor of s?
True
Let k(d) = 3*d - 2. Let l be k(2). Suppose -2*h - 17 = -a, 8 = -2*a + 6*a + l*h. Is 5 a factor of a?
False
Let l(m) = m**3 + 12*m**2 + 10*m - 14. Let i be l(-11). Let p = i + 12. Is 7 a factor of p?
False
Let d = 175 + 1. Does 14 divide d?
False
Let y be (0 + (0 - 1))*-1. Let o(n) = n**2 + n + 5. Let u be o(-4). Suppose -y = j - u. Is j a multiple of 16?
True
Let b(q) = 3*q - 7. Let a be b(3). Let l be (-2)/5 + (-1144)/(-10). Suppose a*o - l = -o. Does 21 divide o?
False
Suppose 53 = -3*t - 28. Does 10 divide 6/2 + 0 - t?
True
Let p(o) = -o**3 - 3*o**2 - 2*o - 5. Suppose 0 = -4*d - 3*f - 56, 0*d - 2*f + 14 = -2*d. Let m = -16 - d. Is 19 a factor of p(m)?
False
Suppose -4*r + 37 = -5*s, -14 = -3*r - 2*s + 3*s. Suppose -r*i = -i - 66. Does 11 divide i?
True
Let y(k) = k**3 + 8*k**2 + 2*k - 10. Is 6 a factor of y(-7)?
False
Let l be (5/(-2))/((-3)/66). Suppose l = 3*r - 14. Is 6 a factor of r?
False
Let h(j) = j**3 + 14*j**2 + 27*j - 7. Is 14 a factor of h(-11)?
False
Let k(l) = l**2 - 3*l - 4. Let v be k(4). Suppose v - 30 = -5*o. Suppose 2*m = 3*m - o. Is 6 a factor of m?
True
Let h be -1 + (0 - 24)/(-3). Let q(u) = 6*u + 3. Is q(h) a multiple of 9?
True
Suppose m - 166 = -5*n, 219 = 5*n - m + 55. Is 33 a factor of n?
True
Let x(v) = 10*v. Let z be (5 - 1)*(-12)/(-48). Is x(z) a multiple of 10?
True
Suppose -400 - 64 = -4*o. Does 25 divide o?
False
Suppose 3*g + 7 - 28 = 0. Suppose -s = -15 - 26. Let w = s - g. Is w a multiple of 17?
True
Let r(d) = d**2 - 6*d + 6. Let w = -10 + 66. Let v be (-6)/27 - w/(-9). Does 6 divide r(v)?
True
Let c = 81 + -127. Let p be (44 - 1)/(1/(-2)). Let g = c - p. Is g a multiple of 20?
True
Suppose -4*d = -2*d. Suppose d = -5*l + 51 + 44. Is l a multiple of 19?
True
Suppose 139 = 3*j + 28. Is 15 a facto