*x**3/3 - 3*x**2/2 + 6*x - 3. Let l be n(4). Suppose -5*u = -3*o + l, 2*o - 7*u - 116 = -3*u. Does 25 divide o?
True
Suppose -4*o + 5 = 1. Let y(w) be the third derivative of w**6/24 + w**5/30 - w**4/24 - 55*w**2. Does 6 divide y(o)?
True
Suppose -24*g = -6*g - 8820. Is 5 a factor of g?
True
Suppose -4*x = 15*x - 2603. Does 3 divide x?
False
Suppose -12*v - v = -5577. Does 33 divide v?
True
Let o(t) = 6*t - 95. Is o(50) a multiple of 7?
False
Suppose 0 = 4*d - 2 - 2. Suppose -3*u + 5*m + 93 = 0, 14 = -5*m - d. Is u a multiple of 13?
True
Suppose -110*w + 664 = -108*w. Is 40 a factor of w?
False
Suppose -5*h + 3*d - 22 = -d, -14 = 3*h - 2*d. Let z(m) = m**3 + 6*m**2 - 4*m - 7. Let n be z(h). Let r = 41 - n. Is r a multiple of 8?
True
Does 19 divide (-4)/(-26) + 450629/949?
True
Is 11 a factor of 0 - -2 - 9*59/(-3)?
False
Let l = 361 + 855. Does 16 divide l?
True
Let g = -31 + 98. Let b = -31 + g. Suppose 67 = 3*i - 0*s - 5*s, 0 = -4*i - 4*s + b. Is 4 a factor of i?
False
Suppose -3*y + 259 = 2*q, 0 = 4*y - q - 3*q - 372. Is y a multiple of 9?
False
Let x(i) = -32*i**2 - 113*i - 3. Is x(-2) a multiple of 5?
True
Let l(y) = y**2 - 5*y - 10. Suppose -n = 4, -4*d + n + 47 = 15. Let h be l(d). Suppose -4*r + 2*a = -92, -h*r - a + 6*a = -92. Does 5 divide r?
False
Suppose -2093 = -3*d + 5*y, 3*d + 2*y = 2*d + 683. Is 69 a factor of d?
False
Let w(v) = -16*v - 4. Let z be w(5). Let d = z + 147. Is 21 a factor of d?
True
Suppose -4*r + 46 = -2*c, -c = -r - 0*c + 11. Let x be (75/(-20))/((-1)/r). Suppose 0 = -4*l + x + 63. Is 27 a factor of l?
True
Does 28 divide 1586*(5/(-50))/(5/(-25))?
False
Suppose 14*w - 129 = 95. Is w a multiple of 2?
True
Let v(z) = -z**3 - 10*z**2 - 9*z + 3. Let i be v(-9). Suppose -3*n + 5*n - i*a = 0, 5*n + 2*a = 19. Does 2 divide n?
False
Suppose 2*w + 0*w - 5940 = -5*c, -20 = 4*w. Is c/49 - (-2)/(-7) a multiple of 13?
False
Let c = -16 + 23. Let l = -5 + c. Suppose -2*i = 5*z + l*i - 515, -4*z = -5*i - 371. Is 14 a factor of z?
False
Suppose -48 - 104 = -4*z + 5*d, z = d + 37. Let n = 118 - z. Suppose -5*v = -15 - n. Does 10 divide v?
True
Let q(a) = -2*a**3 + 82*a**2 + 2*a + 45. Does 12 divide q(41)?
False
Let m = 627 - -198. Is 25 a factor of m?
True
Suppose 107*s + 28809 = 118*s. Is 97 a factor of s?
True
Let x = -12 - -28. Suppose 5*l + 8 = g, -4*l = 2*g - x - 0. Is g a multiple of 8?
True
Suppose -w = -0 - 1. Let o be (-1*w)/(6/36). Let q(u) = u**3 + 7*u**2 + 3*u - 3. Does 15 divide q(o)?
True
Let y(j) be the first derivative of -j**6/360 + j**5/8 - 7*j**4/24 - 4*j**3/3 + 3. Let h(p) be the third derivative of y(p). Is h(14) a multiple of 2?
False
Suppose -4*k + n + 74 = 0, 3*k - 2*n + 17 = 75. Suppose -k = -q - 0*q. Is q a multiple of 2?
True
Let a = -4 + 3. Let z be (3 - 1)*(a + 0). Does 14 divide (-3)/((z/12)/1)?
False
Let v(k) be the second derivative of k**3/2 + 31*k**2/2 + 11*k. Is 15 a factor of v(12)?
False
Let q = 17 + -13. Suppose 4*y + 0*g + 3*g = 240, -y + q*g = -60. Suppose 2*d = -4*x + 50, 2*x + x + y = 5*d. Is 3 a factor of d?
True
Let i = 17 - 17. Does 14 divide (i - -4 - 4) + 28?
True
Suppose u + v - 5 = -2*v, -3*v = 2*u - 10. Let m(j) = -j**3 + 5*j**2 + j - 4. Let d be m(u). Is 22 a factor of d*(-5)/(20/(-276))?
False
Let i(t) = t**3 - 19*t**2 + 2*t - 15. Let x be i(19). Let q = x + -2. Is q a multiple of 19?
False
Let v = -58 - -155. Suppose 31 = 4*r - v. Is 2 a factor of r?
True
Suppose -3*b + 241 = -2*a - 550, -16 = 4*a. Is b a multiple of 9?
True
Suppose -2*x - x = 4*j, -4*x + 19 = -j. Suppose 4*a - 7 - 13 = 0, 4*q = x*a + 20. Is 10 a factor of q?
True
Let v = -77 + 83. Let z = v - -154. Does 32 divide z?
True
Let s(p) = p**3 + 9*p**2 + 5*p - 9. Let w be s(-8). Suppose w*v = 14*v + 16. Let y = v + 32. Is 29 a factor of y?
False
Suppose d + 2*d = 5*k - 12, -4*d - 16 = 3*k. Does 4 divide (d/6 - (-28)/(-3))*-8?
True
Let j(o) = -171*o**3 + 3 - o - 4*o**2 + 170*o**3 + 6. Does 3 divide j(-3)?
True
Suppose 0 = -2*c + c - l - 5, -c - 8 = 2*l. Let f(k) = -12*k**3 - 2*k + 1. Let n be f(c). Suppose -y - h + 61 = 0, 4*h - n + 433 = 5*y. Is 11 a factor of y?
False
Let s = 1888 - 176. Suppose 15*h - s = 7*h. Is h a multiple of 13?
False
Let n(z) = -8*z + 15. Let w be n(-6). Let d(g) = -g + 25. Let l be d(7). Does 7 divide 402/14 + l/w?
False
Suppose -4*v + v + 2*y + 16 = 0, 28 = 5*v - 4*y. Let h(x) = v*x + 3 + 0 - 5*x + 0. Is h(-5) a multiple of 3?
False
Suppose -16*o + 2*y = -11*o - 4788, 3*y + 3836 = 4*o. Does 8 divide o?
False
Let w be (3/(-9))/(1/(-12)). Suppose 255 = w*m - m. Does 17 divide m?
True
Suppose 1020 = -43*b + 94*b. Does 9 divide b?
False
Let i = -333 - -477. Let c = i - 83. Does 17 divide c?
False
Suppose 2*l = 21 - 7. Does 2 divide l?
False
Let o be ((-27)/24 - -4) + 2/16. Suppose o*f - f = 180. Is 10 a factor of f?
True
Is 16 a factor of (-88)/(-1540) - (-162046)/70?
False
Let r = -1666 + 2091. Is 17 a factor of r?
True
Let z = -119 - -117. Let i(v) = -64*v - 14. Is 10 a factor of i(z)?
False
Let o be ((-75)/20)/(9/24). Let z be ((-32)/10)/((-2)/o). Is 9 a factor of (-105)/(-6) - 8/z?
True
Let v be ((-12)/16)/(-1)*4. Suppose 26 = -v*b - 7. Let i = b - -42. Is i a multiple of 8?
False
Let t(w) be the first derivative of 7*w**4/8 - w**3 - 5*w**2/2 + 3. Let a(b) be the second derivative of t(b). Does 26 divide a(6)?
False
Let s = 9 - -6. Let l = s + -9. Is l a multiple of 3?
True
Does 10 divide (-23874)/(-12) + (1 - 4/8)?
True
Let n(r) = 3*r**2 + 2*r + 144. Does 53 divide n(-10)?
True
Let d = 10 - -2. Suppose -6*r + 2*r = -u + d, 13 = u - 5*r. Is 8 a factor of (u/(-1))/((-1)/2)?
True
Let n(h) = 3*h - 4. Let l be 14*(10/4)/5. Suppose z + 1 - l = -2*i, -5*z - 4*i + 30 = 0. Is n(z) a multiple of 7?
True
Suppose -99*r - 54 = -102*r. Is (r/3 - 1)*(-188)/(-10) a multiple of 17?
False
Suppose -3*n + 0*n + 4*d + 48 = 0, 0 = 2*n + 5*d - 55. Suppose 3*m - n = 2*u, 4*m - 2*u - 9 = 17. Suppose -3*w = -2*w - m. Is w a multiple of 6?
True
Is 6 a factor of 2/7 + (-3744)/(-126)?
True
Let x be (-66)/(-14) + (-2)/(-7). Suppose -3*o = 12, 4*z - 292 = 2*o + o. Suppose -2*q + 0*q + z = 3*c, -x*c - 102 = -2*q. Does 17 divide q?
False
Let q = 187 - 98. Does 2 divide q?
False
Suppose 96*b - 85*b = 13068. Is 27 a factor of b?
True
Let h(b) = -28*b - 9. Does 53 divide h(-6)?
True
Let p be (8 - 0) + 50/(-25). Let v(o) = 9*o + 4*o - 20 - 3*o. Is 7 a factor of v(p)?
False
Let w = 103 + -4. Suppose 0 = -5*n - 2*o + w, 5*n - 50 - 43 = o. Is 7 a factor of n?
False
Let p(f) = 40*f**3 - 4*f + 3. Let k(z) = 80*z**3 - 9*z + 7. Let t(j) = -2*k(j) + 5*p(j). Suppose -384 = -10*u - 374. Is 8 a factor of t(u)?
False
Let u(l) = -l**3 + 8*l**2 + 8*l + 11. Let a be u(9). Suppose -3*d + 2*c = -7*d + 318, a*c - 84 = -d. Is d a multiple of 18?
False
Suppose -2*a = -a + 4, 9 = p - 2*a. Let h be (-605)/(-9) - 4/18. Let s = h - p. Does 22 divide s?
True
Let l = -486 + 780. Is 14 a factor of l?
True
Suppose 0 = -2*b - b - 27675. Does 16 divide 6/9*(b/(-10))/5?
False
Suppose 3*a - 5*r - 26 = 0, -a - r - 1 - 1 = 0. Let y(w) = -2*w**2 + 4*w - 3. Let s be y(a). Is 3/9 + (-23)/s a multiple of 2?
True
Let l(i) = 9*i + 11. Is 8 a factor of l(2)?
False
Suppose 5*v = 3*g + 2*v, -2 = g - 2*v. Suppose 5*r + 24 = 4, b = -4*r - 14. Suppose 2*m - g*d = 70, 0*d + b = -d. Is m a multiple of 12?
False
Suppose 4*p = -2*v + 146, -3*v + 3*p + 139 + 71 = 0. Let s be (-1*1)/(11/(-583)). Suppose -3*z = r - s, -4*z + r = 2*r - v. Is 9 a factor of z?
True
Let w be 16/(-9) - 4/18 - 2. Is 176/55*55*(-2)/w a multiple of 44?
True
Let u(j) = -j**2 - 5*j - 6. Let k be u(-6). Is 10 a factor of -72*((-13)/(-78) + 14/k)?
False
Suppose 2*q - 78 = -k + 4*q, q = -5*k + 379. Is k a multiple of 6?
False
Suppose -5*z - 1 = 19. Let j = z - -25. Is j a multiple of 8?
False
Let x be (0 + 33)/(5 + -2). Let n(u) = -u**3 + 12*u**2 + 3*u + 9. Let t be n(x). Suppose 4*v - 185 - t = 0. Is v a multiple of 29?
True
Let m(q) = -15*q**2 - 20*q + 6. Let v be m(-4). Let z = -78 - v. Is 4 a factor of z?
True
Is 6 a factor of (-18915)/(-25) + (-6)/10 + -2?
False
Does 35 divide (5/(-3))/(9/(-5481))?
True
Let u(f) = -2*f + 2. Let m be u(-4). Let y = -5 + m. Suppose y*a = 3*a + 40. Does 20 divide a?
True
Let g(o) be the second derivative of o**4/12 + 3*o**3/2 - 3*o**2/2 + 31*o. Is g(-12) even?
False
