(-1 - u)*2/3. Is 8/3 - 2/s even?
False
Let j(d) = -d**3 + 5*d**2 + 8*d - 9. Suppose 21 = 4*h - 3. Let y be j(h). Suppose -50 = -y*o - 2*o. Does 4 divide o?
False
Suppose t = -16 + 50. Does 5 divide ((-2)/(-4))/(1/t)?
False
Suppose 0 = 4*l - 9*l + 20. Let z(h) = -h**2 - 4 - 10*h**2 + 5*h**2 + 2*h + 2*h**3. Does 18 divide z(l)?
True
Let q(a) = -5*a**3 + 2*a**2 - a - 2. Is q(-2) a multiple of 6?
True
Let r be 225/4 - (-3)/(-12). Suppose -2*x + r + 2 = 0. Does 15 divide x?
False
Is -2*(-4)/((-8)/(-26))*1 a multiple of 13?
True
Suppose -315 = -3*p - 4*g, -p + 7*g = 2*g - 86. Is p a multiple of 20?
False
Suppose -2*u + 3*u = 47. Is 13 a factor of u?
False
Suppose 0 = 4*f - m - 0*m - 524, 5*m - 393 = -3*f. Is 9 a factor of f?
False
Let r(j) = 52*j + 1. Let x be r(2). Suppose 0 = -g - 4*g + x. Suppose s - g = -0*s. Is s a multiple of 7?
True
Let y(t) = t**3 + 14*t**2 + 11*t + 15. Does 22 divide y(-13)?
False
Let i = 2 + 3. Suppose 3*f = -4*h - 41, 0 = 3*f - 2*f - i. Let z = h - -30. Is z a multiple of 13?
False
Let n be (0 - (-6 - -3)) + 2. Suppose 17 = 3*b + 5*i - 58, b = n*i + 45. Is b a multiple of 15?
True
Suppose 3*o - 4*o = -4. Suppose o*n = -n. Suppose n*x - x + 4*p + 43 = 0, 5*x - 3*p = 130. Is x a multiple of 13?
False
Let d(c) be the first derivative of c**4/4 - 7*c**3/3 + 7*c**2/2 + 2*c + 4. Let o be d(6). Is (o - 2)/((-9)/(-6)) a multiple of 2?
True
Let q be (-2)/(-4)*2 + 2. Suppose -84 = -3*g - q. Is 18 a factor of g?
False
Let u(k) = -k**3 + k**2 - 3*k - 4. Let b be u(-6). Suppose 4*x + b = -166. Is 6 a factor of ((-2)/4)/(3/x)?
True
Let q(b) = -b**2 - 4*b + 16. Let t(p) = 7 + 3 + 5 - p**2 - 4*p. Let h(i) = 6*q(i) - 7*t(i). Is h(-7) a multiple of 7?
False
Suppose 0 = -0*c + 2*c - 10. Suppose c*j - 246 - 59 = 0. Is 15 a factor of j?
False
Suppose 4*i + z - 147 = 0, -2*z + 22 = 2*i - 50. Does 2 divide i?
False
Let o = 10 - 3. Let x = o + 0. Is x a multiple of 4?
False
Let f(c) = 10*c**2 - c - 1. Let y be f(-1). Let l be ((-4)/y)/(5/(-250)). Suppose -x = -16 - l. Does 18 divide x?
True
Suppose 2*t - 19 - 71 = 0. Does 15 divide t?
True
Let o(z) = -z**3 - 10*z**2 + 10*z - 11. Let h be o(-11). Suppose -2*i = 2*g - 130, -4*i + 4*g = -h*i - 244. Is 21 a factor of i?
True
Let m(h) = -h**2 - 5*h + 8. Let l be m(-6). Let u(a) = a**2 + 5*a - 2. Let z be u(-6). Let j = z + l. Is 3 a factor of j?
True
Suppose 0 = -5*j + g + 20, -3*j - 2*g + 24 = -5*g. Let k(w) = 2*w**2 - 3*w. Is 9 a factor of k(j)?
True
Is 29 a factor of ((-29)/4)/(3/(-24))?
True
Let l be 0 - 1 - (4 - 174). Suppose l + 15 = 8*b. Is b a multiple of 23?
True
Suppose 5*l - 67 = -4*r, 3*r - 6*l - 30 = -3*l. Let k be (-86)/(-8) - (-4)/16. Suppose 2*n - k = r. Is 9 a factor of n?
False
Suppose -5*b - 527 = -4*x, 6*b - 7*b = -1. Is x a multiple of 16?
False
Let w = 4 + -12. Let c = -6 - w. Suppose 5*r = 0, -c*r - 8 = -m + r. Is 8 a factor of m?
True
Is (10 - 1)/((-3)/15*-1) a multiple of 15?
True
Let r(j) be the second derivative of j**3/6 - 3*j**2/2 + 3*j. Let d be r(3). Suppose d*g - 92 = -2*q + g, 0 = 5*g + 10. Is 14 a factor of q?
False
Suppose 69 = -y + c, -49 = 2*y - 3*c + 91. Let q = 171 + y. Let b = -73 + q. Is 14 a factor of b?
False
Suppose -3*t + 14 = 4*k, 2*k - 4 = -2*t + 6. Does 3 divide t?
True
Suppose 5*c + 7 = -s, -2*c + 2 = 6. Let v(n) = 3 - 1 + 0*n - s*n. Does 4 divide v(-3)?
False
Let b(k) = k - 2. Let q be b(3). Let g be 0 + -2*q + 3. Is (-3 - -3) + 12 + g a multiple of 13?
True
Let h(d) = 20*d**2 - 4*d - 3. Is h(-1) a multiple of 7?
True
Let p(f) = -2*f. Let m be p(5). Is 11 a factor of 1/5 + (-438)/m?
True
Let v(d) = -d**3 - 4*d**2 + d + 2. Let k be v(-4). Let c(h) = h**2 - 3*h - 3. Let i be c(k). Suppose 5*x - 3*w + 4*w = 28, -i = -2*x + w. Is x a multiple of 5?
True
Suppose 240 = 3*t + 3*t. Does 5 divide t?
True
Let g = -2 - -6. Suppose g*v - 8 = -24. Let a = 14 + v. Does 4 divide a?
False
Suppose -g + 3*d = g + 20, -3*g - 2*d - 4 = 0. Let f = g + 6. Suppose -f*b + 23 = 7. Does 4 divide b?
True
Suppose -3*b + 20 + 25 = 0. Is b a multiple of 7?
False
Let z(r) be the first derivative of -r**4/4 - 7*r**3/3 - 7*r**2/2 + 2*r + 3. Let v be (12/(-10))/((-1)/(-5)). Is z(v) a multiple of 4?
True
Suppose 4 = 2*h + 16. Is 15 a factor of ((-1026)/45)/(h/20)?
False
Let c = 7 - -58. Is c a multiple of 13?
True
Suppose 5*y + 35 + 35 = 2*u, -2*y - 19 = u. Does 18 divide 4/y + 218/6?
True
Let a be (-3 - (-6)/2)/1. Suppose a*o + 5*o - 190 = 0. Is o a multiple of 13?
False
Suppose -4*x = x + 15, -x = -3*b + 93. Is b a multiple of 10?
True
Suppose -2*r + 7*r + 4*n - 44 = 0, -r - n + 9 = 0. Suppose -r = -s - 0. Let c = 17 - s. Is c a multiple of 9?
True
Suppose 0 = -2*x + 4*p + 194, 6*p - 282 = -3*x + 3*p. Is x a multiple of 16?
False
Let o(t) = 6*t**2 - t + 47. Let b(w) = -5*w**2 + w - 46. Let x(n) = -7*b(n) - 6*o(n). Is x(0) a multiple of 20?
True
Suppose 0 = -4*c - 4*x - 4, -4*c + 2 = -5*x - 3. Suppose 115 = -2*o + i, -3*o + 7*i - 3*i - 175 = c. Let y = -33 - o. Is y a multiple of 9?
False
Is 4 a factor of (40/(-28))/((-5)/70)?
True
Suppose -143 = -5*q + 67. Is 14 a factor of q?
True
Suppose 99 = h + m, 2*m + 279 = 3*h - m. Is 23 a factor of h?
False
Let r = 50 + -30. Let b = r + -1. Is b a multiple of 8?
False
Let j(x) = 19*x**2 - 1. Let g(s) = -s**2 + 5*s - 3. Let b be g(4). Is 9 a factor of j(b)?
True
Is 21 a factor of 211 - -5*3/(-15)?
True
Let o be ((-16)/20)/(4/(-70)). Let z = o + -2. Is z a multiple of 6?
True
Let l(u) = -9*u**3 + 3*u**2 + 13*u + 3. Let i(s) = 4*s**3 - 2*s**2 - 6*s - 1. Let v(w) = -7*i(w) - 3*l(w). Let q be (4/3)/(7/21). Is 13 a factor of v(q)?
True
Suppose -2*m = -167 + 57. Is m a multiple of 11?
True
Let w(y) = 10*y**2 + 5*y + 5. Does 21 divide w(-2)?
False
Let p(k) = -3*k**3 + 2*k + 1. Let x(u) = u**2 + 5*u - 8. Let l be x(-6). Is 14 a factor of p(l)?
False
Let x be 70/(-8) + 5/(-20). Let d = x - -15. Is d a multiple of 6?
True
Let o(x) = 4*x - 3. Suppose -2*f = 2*f. Suppose z - 1 + 6 = f, v = 3*z + 21. Does 8 divide o(v)?
False
Suppose -236 + 54 = -4*f - x, 0 = -5*f + 2*x + 234. Is 15 a factor of f?
False
Let g = -696 - -1096. Is g a multiple of 33?
False
Suppose -5*k = -15, k + 199 = 4*s + 34. Does 21 divide s?
True
Let k = 8 + -9. Let v be (-1)/(1*k/7). Is (-6 + v)/(2/24) a multiple of 6?
True
Let g(l) be the first derivative of 2*l**3/3 + l**2 - 3*l - 2. Let w = 4 + -1. Is g(w) a multiple of 18?
False
Suppose 0 = n + 5*j - 2*j - 18, 0 = -n + 4*j + 4. Suppose 4 - n = -4*m, -2*i + 5*m = 2. Suppose i*q - 3*q = 12. Is q a multiple of 6?
True
Suppose -4*z + 7*z - 285 = 0. Does 17 divide z?
False
Let y(u) = -20*u + 124. Let t(s) = -3*s + 19. Let n(m) = -32*t(m) + 5*y(m). Does 17 divide n(-14)?
True
Let a(q) = -1 + 4 + 27*q - 5. Does 19 divide a(2)?
False
Let u(a) = 2*a**3 - 5*a**2 - 4*a. Let o be u(4). Suppose f = o - 4. Let g = -16 + f. Does 4 divide g?
True
Let s(b) = 15*b**2 - 1. Suppose 15 = 3*a + 2*a. Suppose 3*f + 9 = -4*h - 8, 11 = -4*f - a*h. Is s(f) a multiple of 7?
True
Suppose -u - 3 = -3*f + 3, 2 = f - 2*u. Suppose 2*v - 16 = -f. Suppose 5*b - 107 = -v. Does 14 divide b?
False
Suppose -5*p + 2*p = 24. Let n = p + 3. Let q = n - -43. Does 13 divide q?
False
Let t = 170 - 2. Suppose -3*f = f - t. Does 21 divide f?
True
Suppose -4*h = 0, -y + h + 121 = 13. Does 36 divide y?
True
Suppose -2*z + 18 = -z. Is z a multiple of 18?
True
Let w(a) = a - 4. Let l be w(6). Suppose 0 = -3*k - 0*m - 3*m, l*m = -2. Does 8 divide 0 - k - -17 - 0?
True
Suppose 0 = -0*p + 3*p - 18. Is 15 a factor of (p - 0)/(4/10)?
True
Suppose 0*w = 4*o - 2*w - 244, 61 = o + w. Is 14 a factor of o?
False
Let r be (2/6)/((-2)/6). Does 11 divide 0 + (25 + -2 - r)?
False
Let g = -13 + 23. Let a(h) = -7*h**3 + 5*h**2 - 13*h - 2. Let d(y) = 13*y**3 - 11*y**2 + 25*y + 4. Let r(p) = -11*a(p) - 6*d(p). Is 11 a factor of r(g)?
False
Suppose -2*p + 14 + 4 = -2*r, 0 = -3*p - r + 7. Does 16 divide 258/p - 2/4?
True
Suppose 0 = -d - 25 - 11. Let p = d + 63. Is p a multiple of 17?
False
Suppose -29*z = -34*z + 175. Is z a multiple of 6?
False
Let r(j) = -j**2 + 5*j + 18. Let f(b) = -b**2 + 6*b + 17. Let d(q) = -6*f(q) + 5*r(q). Does 10 divide d(14)?
True
Suppose -u + y + 9 = 0, -2*y = -2*u + 2*y + 28. Suppose -u*j - 356 = -6*j. Is j/9 - (-4)/18 a multiple of 10?
True
Let y(a) = -a**3 - a**2 + 