 o(2). Suppose 3*d - x = -d. Does 9 divide d?
False
Is 10 a factor of ((-50)/10)/((-6)/816)?
True
Suppose -l + 0*l = -1. Let q(x) be the first derivative of 14*x**3/3 + x**2/2 + 2. Is 15 a factor of q(l)?
True
Let w be (4 - 4)/(5/(-5)). Suppose -u = k - 47, 6*u - 2*u - 5*k - 233 = w. Is u a multiple of 10?
False
Suppose 5*h + 21 = g, -4*g - h + 17 = -4. Suppose 0*a = -2*a + g. Suppose 2*b - 4 + 10 = 0, 0 = n + a*b - 38. Does 16 divide n?
False
Let n(u) be the second derivative of -10*u - 1/2*u**2 + 0 + 13/3*u**4 - 1/6*u**3. Does 11 divide n(-1)?
False
Let k = -671 - -1283. Does 36 divide k?
True
Suppose 5*f + 17 = k, -k + 5*f = -4*k - 9. Suppose -k*p + 22 = 2*x, 2*x + x - 9 = p. Does 3 divide p?
True
Suppose -18480 = -184*s + 118*s. Is s a multiple of 3?
False
Let c(l) = -17 - l**3 + 2 + 10 + 10*l + 6*l**2. Is 6 a factor of c(7)?
False
Let j be -17 - -1 - (26 + -22). Let v = j + 27. Does 2 divide v?
False
Suppose -3*p = 4*i - 49, 31 = p + 6*i - i. Suppose -6*v = -2*v - 3*q - p, -v + q = -3. Suppose -20 = 5*s, -2*r - v*s + 7*s = -42. Is r a multiple of 11?
True
Let r = 654 + -604. Does 25 divide r?
True
Let a = -6 - -6. Suppose -2 = -j - a*j. Suppose 0 = 2*d - 8 - j. Is d a multiple of 2?
False
Let t = -6 - -19. Does 13 divide t?
True
Let k(c) be the first derivative of c**4/4 + 8*c**3/3 - c**2/2 - 4*c - 28. Is k(-7) a multiple of 18?
False
Let x = 670 - 143. Does 38 divide x?
False
Let f = 1715 - 2693. Let x = f + 1433. Suppose 2*r - 5*c = -3*r + x, 2*c - 79 = -r. Is 29 a factor of r?
True
Let m be (3 - 2) + 6/2. Suppose -3*a = 5*s - 27, -5*a + 35 = s + m*s. Does 5 divide -6*(a + -3)/(-1)?
False
Does 19 divide 27/(-81)*(4/(-2) - 3505)?
False
Let t(n) = -3*n + 41. Let r = -25 - -35. Is t(r) a multiple of 3?
False
Let r(u) = -476*u**3 - 4*u**2 + 8*u + 1. Let h(k) = -119*k**3 - k**2 + 2*k. Let v(w) = -9*h(w) + 2*r(w). Is v(1) a multiple of 28?
False
Does 2 divide ((-30)/(-165) + (-14)/(-44))*58?
False
Is ((-600)/8)/(-3 + 86/29) a multiple of 15?
True
Suppose 0 = 2*m - 2*w + 8, -4*m - w = -4*w + 11. Is m/3*(4 - -197) a multiple of 15?
False
Let u be 17 - (-6)/((-6)/3). Let n = u - -8. Suppose 5*q + 4*p = -0*q + n, p - 13 = -5*q. Is q even?
True
Let n(q) = 2*q + 12. Let h be n(-5). Let a = -4 - 1. Does 20 divide 3 + a + h + 66?
False
Let n = 188 - 8. Let p be -1 + -2 - n/10. Does 9 divide (p/1)/(22/(-66))?
True
Is 65 a factor of (180/(-6))/(6/(-52))?
True
Let i(d) = -d**3 + 5*d**2 + 2*d. Let a be i(5). Let s be (-4)/a + (-888)/(-20). Suppose -6 - s = -2*q. Is 5 a factor of q?
True
Suppose -2*l - y - 3*y + 16 = 0, 4*l + 4*y - 16 = 0. Suppose l = -d + 4*d - 117. Does 4 divide d?
False
Let k = 1854 - 1724. Is k a multiple of 23?
False
Let r(y) = -2*y**3 + 14*y**2 - 17*y - 1. Let l be r(8). Let w = -114 - l. Does 23 divide w?
False
Suppose 4*b - 568 = 2*f, 0 = 2*b + 3*b - 5*f - 720. Does 16 divide (-40)/b + (-228)/(-14)?
True
Let f = -848 + 1475. Is 57 a factor of f?
True
Is (455 - 28)*(-10)/(-7) a multiple of 61?
True
Let r(a) be the first derivative of -a**4/2 + a**3/3 - a**2 - 3*a - 41. Does 3 divide r(-2)?
True
Let d(o) = -14*o + 14. Let n be d(-9). Suppose -p + 5*k = 8 - 28, -4*p + 5*k + n = 0. Is p a multiple of 15?
False
Let b be 1/2 - (-27)/6. Is 2 - b/(5/(-18)) a multiple of 7?
False
Let x = -152 - -74. Is ((-18)/2)/(13/x) a multiple of 18?
True
Let p = 45 - 47. Let d(h) = -11*h**3 + h + 1. Does 29 divide d(p)?
True
Suppose 0 = -4*q - 12, -13*a - 5*q = -15*a + 241. Is a a multiple of 2?
False
Suppose -103 = -5*h - 33. Let i(v) = -v + 2. Let p be i(h). Is 17 a factor of (124/p)/(1/(-3))?
False
Suppose 8*a - 948 - 68 = 0. Is 10 a factor of a?
False
Let z be ((-16)/12)/(2/(-858)). Suppose -4*q - z = -4*n, -n + 6*n + 3*q - 675 = 0. Suppose -100 = -5*x - 2*f, -4*x + n = 3*f + 58. Is x a multiple of 16?
False
Let v(a) = -a**3 + 18*a**2 - 14*a + 9. Is 10 a factor of v(17)?
True
Suppose 4*d - 30 = 3*n, n + 0*d + 12 = 2*d. Suppose 3*f - 80 = 4*r, 5*f = -3*r - 0*r + 85. Let w = f + n. Does 7 divide w?
True
Let d(q) = 3*q - 6. Let l be d(2). Let s be 171 + 3 + -4 + l. Suppose 2*r - s = -3*r. Does 17 divide r?
True
Let s(r) = 5*r**3 - 4*r**2 - 29*r + 10. Does 7 divide s(6)?
False
Does 29 divide 2404/16*7/(7/4)?
False
Let u = 6 - 0. Let x = u - -10. Suppose f - 22 = 3*p, 5*f - x = p + 24. Is 4 a factor of f?
False
Suppose 0 = -5*q + z + 484, 336 = 2*q - 5*z + 124. Does 48 divide q?
True
Suppose -8*l + 14*l = 0. Is 4 a factor of (-2)/(-6) - (l - (-442)/(-6))?
False
Suppose 3*z + 2*m = -4, 15 = 5*z - m - 0*m. Suppose 3*v - 3*w = -2 + 14, 0 = w - 4. Suppose 0 = z*b - v*b + 336. Is 14 a factor of b?
True
Does 3 divide 1*(-18)/3 + 2 + 101?
False
Suppose -6*t = -t - m - 75, 2*m = -5*t + 60. Let w = -13 + t. Is (w - -1)*(-14)/(-4) a multiple of 7?
True
Let u(r) = -2*r**3 + 45*r**2 - 18*r + 39. Is 24 a factor of u(21)?
True
Let v(a) = 43*a**3 + a - 3. Let x be v(2). Let z = -239 + x. Is z a multiple of 16?
False
Let g be 1 + -11 - (2 + (-16)/4). Let p(z) = z**3 + 9*z**2 + 16. Is 10 a factor of p(g)?
True
Let j be 8 + (-9)/((-9)/(-2)). Suppose -j*i = -0*i - 216. Is i a multiple of 9?
True
Let s be (-2)/7 + 24/(-14). Let n = -90 + 91. Is -7*((s - n) + 2) even?
False
Let a(w) = -3*w + 8*w**2 - 9*w**2 - w. Let b be a(-3). Suppose 3*d - 21 = 2*d + h, -h + 43 = b*d. Is 16 a factor of d?
True
Does 40 divide (-2)/4 + 2244/8?
True
Suppose -3*x + 5 = h - 81, 0 = -3*x + h + 88. Let b(v) = 4*v + 32. Is b(x) a multiple of 28?
False
Let n = -6 - -10. Let c be (2 - 8 - 3) + (3 - 1). Is 22 a factor of (c + 139)*2/n?
True
Let r(m) = -3*m**3 + 2*m**2 + 16*m - 6. Suppose 5*b = 2*n + 3, -n + 2*b - 8 = 6*b. Does 11 divide r(n)?
True
Suppose -29 + 290 = 9*n. Suppose 0 = -2*o + c + n, -9 = 6*c - 3*c. Is 13 a factor of o?
True
Let y(m) = m - 4. Let g be y(2). Let h be 2/(g + (-16)/(-6)). Suppose 3*l + 105 = 5*o - 0*l, 5*l - 97 = -h*o. Is 13 a factor of o?
False
Suppose -2*j = -j + 4*x - 23, 4*x - 17 = j. Does 12 divide j/15 + (-848)/(-10)?
False
Suppose 3*w + 0*w = -2*d + 137, 4*d - 298 = 2*w. Suppose 8*j - 7 - d = 0. Is j a multiple of 3?
False
Let u(y) be the first derivative of -y**3/3 - 7*y**2 - 25*y + 2. Is 3 a factor of u(-11)?
False
Let u = 41 - 5. Let z = u + -36. Suppose 0 = -4*t - z*t + 32. Is 6 a factor of t?
False
Suppose 2788 = -21*s + 55*s. Is s a multiple of 60?
False
Let y = 948 + 1320. Is y a multiple of 84?
True
Suppose -79 + 4 = 5*s. Is (s/(-6) - 2)/((-2)/(-212)) a multiple of 33?
False
Let t(i) be the third derivative of i**4/3 - 2*i**3 - 8*i**2. Let k = 17 + -9. Is 20 a factor of t(k)?
False
Let m be (-16)/(-3) - (-3)/(-9). Suppose 2*c + 0*f - m*f - 22 = 0, 0 = -2*c + f + 14. Let w = 12 - c. Is w a multiple of 5?
False
Is 83 a factor of 643/2 - ((-25)/(-10))/(-5)?
False
Let l be 1/((-4)/10)*6. Is ((-9)/l)/(1/25) a multiple of 5?
True
Let q(f) = 119*f**2 + 3 + 3*f + 2 - 3. Is q(-1) a multiple of 15?
False
Suppose -3*k = -k + 10. Let i(o) = o**3 + 5*o**2 - o + 6. Let h be i(k). Suppose -2*w + h = -47. Does 21 divide w?
False
Suppose 0 = 3*u - 68 - 4. Suppose -a + 5*a = x - u, 0 = 3*x - 3*a - 36. Is x a multiple of 4?
True
Suppose t = -2*s - 0*s + 3, -12 = -4*s - 4*t. Suppose -5*a + 640 + 225 = s. Does 11 divide a?
False
Let x be ((-2)/(-12) - 1266/36)*-1. Let s = -11 - -34. Let r = x - s. Does 6 divide r?
True
Let h(w) = -98*w - 381. Is 8 a factor of h(-8)?
False
Let u be -2 + (3 - (1 - 0)). Suppose 4*d - 4*n + 2*n - 284 = u, -3*d + n = -211. Is d a multiple of 23?
True
Suppose 3*c + 5*t = 1512, 5*c + 9*t - 10*t = 2548. Is c a multiple of 10?
False
Suppose 0 = 55*n + 73*n - 190080. Is 15 a factor of n?
True
Let u(h) = h**3 - 8*h**2. Let r be u(8). Let k = -11 + r. Let z(a) = a**2 + 11*a + 22. Is z(k) a multiple of 11?
True
Let p(z) = -46*z - 11. Let t(o) = 9*o + 2. Let y(k) = 2*p(k) + 11*t(k). Suppose -3*v - 2*m + 22 = 0, -3*m = 4*v + 2*m - 20. Is 11 a factor of y(v)?
False
Suppose -763 = -18*q + 3971. Is 4 a factor of q?
False
Suppose i = 2*c - 4*c + 95, 0 = -5*i + 3*c + 475. Let r = i - 29. Is 4 a factor of r?
False
Let x(b) = 32*b**2 - 2*b + 2. Let s be x(1). Let z be s/176 + (-141)/(-11). Let m = z - 2. Is m a multiple of 7?
False
Suppose -2 = -5*r - 12. Let m(p) = -9*p**3 - 2*p**2 - p. Let i(c) = -18*c**3 - 4*c**2 - 2*c - 1. Let u(o) = r*i(o) + 5*m(o). Does 3