/(-4) - (-5)/20?
True
Suppose -5*s + 15 = -0*s. Suppose s*a = 14 + 4. Suppose -m - 10 = -4*y + a, 4*y - 2*m = 12. Does 4 divide y?
False
Suppose -137 = -4*w - 5*g + 48, 4*g = 4. Does 12 divide w?
False
Let b be (-534)/33 - (-8)/44. Is -7 - b - (-1 + 3) a multiple of 4?
False
Let k = 6 + -4. Let l be ((-8)/(-6))/k*-3. Is (-20)/l*(1 - -1) a multiple of 10?
True
Suppose -2*u + 10 = 3*s, -5*s - 3*u = 1 - 17. Is (-24)/((0 - 3) + s) a multiple of 6?
True
Suppose -3*p + 21 = 3*m, 2*p - 3*m + 0*m + 11 = 0. Is 7 a factor of -5 + p + -1 - -39?
True
Let p = 21 + -2. Let w = p + -9. Suppose 0 = m - 2*y - 3 - w, -y = -m + 9. Is m a multiple of 5?
True
Let u(w) = 24*w - 24. Is u(5) a multiple of 17?
False
Suppose 3*k = 2*j - 3 + 15, -k - j = 1. Suppose 0*f = 4*l - k*f - 38, -2*l = 2*f - 16. Is 5 a factor of l?
False
Suppose 0 = 3*s - s - 14. Is s even?
False
Suppose -2*r + 5*r = 9. Suppose -r*w = 2*y - 0*y + 26, -2*w - 4*y = 12. Let m = 14 + w. Is m a multiple of 2?
True
Let a be 3/(-9) + 11/(-3). Let g be a*-4*(-1 + 2). Suppose -i - 2*o + g = 0, 4*i - 44 = i - 4*o. Is 6 a factor of i?
True
Let u(w) be the third derivative of w**5/20 - w**4/4 - 4*w**3/3 + 6*w**2. Is 19 a factor of u(-4)?
False
Suppose 9 + 15 = -4*d. Let s(b) = b**3 + 7*b**2 - 1. Does 13 divide s(d)?
False
Suppose -5*c + 2*i + 25 = 0, 3*c + 0*i - i - 15 = 0. Suppose 3*w - 355 = -c*h, -3*h + 120 = -3*w - 117. Is 13 a factor of h?
False
Let i(q) = 51*q - 1. Let k(o) = -3*o + 19. Let u be k(6). Is i(u) a multiple of 14?
False
Let z = 4 + -6. Let q be z/(-8) + 295/20. Let t = q - 1. Is t a multiple of 14?
True
Let b be (-2)/(-10) + 4063/85. Suppose -4*k + 20 = -b. Is 8 a factor of k?
False
Suppose -19 = -5*l - 59. Let s(v) be the third derivative of -v**5/60 - 3*v**4/8 - 2*v**2. Is s(l) a multiple of 8?
True
Let n(r) = -r**3 - 7*r**2 - 7*r - 8. Let p be n(-6). Let l = p + 6. Suppose 3*q - c - 105 = -q, -99 = -l*q - 5*c. Does 9 divide q?
False
Is 6 a factor of 755/45 + 2/9?
False
Let u(s) = -s + 6. Let r be u(3). Suppose i - 2 = 4*q, -2*q - r*q - 2 = -i. Does 2 divide i?
True
Let h(c) = c + 29. Suppose 6*w = -119 + 29. Does 9 divide h(w)?
False
Let a = -13 - -15. Suppose 5*s - s = 3*v + 81, -53 = -a*s - v. Is s a multiple of 9?
False
Let f(c) = 2*c**2 + 4*c + 4. Does 25 divide f(-8)?
True
Suppose 2*x = 4*x - 158. Does 23 divide x?
False
Suppose 0 = h + 2*h - 618. Suppose -h + 62 = -4*i. Is 12 a factor of i?
True
Suppose -2*d = -3*s + d + 3, -3*s + 4 = -2*d. Suppose -s*j + 117 = -5*k - 17, -3*k = -2*j + 126. Does 19 divide j?
True
Suppose -4*x - 52 = -228. Does 39 divide x?
False
Let d(b) be the first derivative of 3 - 5/2*b**2 - 6*b. Is d(-4) a multiple of 7?
True
Let q(z) = -1 - 3*z - 5*z + 10 - z**3 - 8*z**2. Let o = 16 - 23. Is q(o) a multiple of 8?
True
Let x(s) = 6*s**2 - 3*s + 2. Let z be x(1). Suppose 5*a = 20, z*a = 7*k - 3*k - 172. Does 16 divide k?
True
Let y(k) = 2*k**2 - 7*k. Let l be y(5). Let t = -7 + l. Does 4 divide t?
True
Let u be 275/4 - (-3)/12. Let y = u + -35. Is y a multiple of 17?
True
Suppose -3 = 4*b + 3*v, 4 = 4*b + 5*v + 9. Suppose -2*g - 5*m + 25 = b, 0*g - 3*m - 33 = -2*g. Is g a multiple of 7?
False
Let o(h) = -5*h**3 - 30*h**2 + 35*h + 21. Let n(w) = w**3 + 6*w**2 - 7*w - 4. Let g(c) = 11*n(c) + 2*o(c). Let a be g(-7). Is 2 a factor of a/(-3) + 48/9?
True
Let r(h) = h**2 + 7*h - 6. Let m be r(-8). Let u be 10/((-2)/(-2)*m). Suppose -u*x + 2*z + 69 - 5 = 0, z = x - 14. Is x a multiple of 5?
False
Let o(d) = 6*d + 7. Let g(x) = -x - 1. Let r(s) = 4*g(s) + o(s). Suppose 3*v - 4*v = -7. Is r(v) a multiple of 9?
False
Let o(z) = -z + 3. Let c be o(0). Suppose a = c*a - 132. Does 22 divide a?
True
Is 342/10 + (-3)/15 a multiple of 17?
True
Let f(d) be the second derivative of d**3 + 5*d**2/2 + 6*d. Is 15 a factor of f(3)?
False
Let o be (-4 - -3 - -2)*4. Let n(z) = 8*z - 2. Is n(o) a multiple of 10?
True
Let w be (-5 + (-12)/(-3))*3. Let a = w + 21. Is a a multiple of 6?
True
Let n = -39 + 66. Is n a multiple of 9?
True
Let j = -13 + 47. Does 8 divide j?
False
Suppose -3*h - 2*h = -20. Suppose -3*m - 18 = -h*m. Let a = m - -34. Does 14 divide a?
False
Let g = 12 + -10. Suppose g + 4 = q. Is q a multiple of 5?
False
Let m(n) = -4*n**2 + 14*n + 19. Let x(h) = -h**2. Let y(l) = m(l) - 5*x(l). Does 3 divide y(-13)?
True
Let b(f) = -f + 8. Let v be b(6). Let x = 3 + v. Suppose x*s - 3*y = 54, -4 + 13 = 2*s + 3*y. Does 9 divide s?
True
Let l(i) = -15*i**2 - 2*i + 2. Let x be l(1). Let j = -11 - x. Does 3 divide j?
False
Let x(m) be the second derivative of -m**3/6 + 3*m**2/2 - 3*m. Let l(t) = t**3 - 4*t**2 + t. Let f be l(3). Is 4 a factor of x(f)?
False
Suppose -3*w + 6*w + 6 = -4*l, -5*l = 4*w + 8. Suppose 0 = 3*o - 5*r - 53, -3*r = o - l*r + 1. Is 11 a factor of o?
True
Let m = 4 - 8. Let l(g) = -g**2 - 4*g + 4. Let b be l(m). Suppose -114 = -3*s - 2*a, 5*s - 3*a + b*a - 197 = 0. Is s a multiple of 14?
False
Let y(d) = -d**3 + 3*d**2 + 2*d - 3. Let l be y(3). Let x = 4 - l. Is (-4)/(-2) + 11 - x a multiple of 6?
True
Let l = 2 + 3. Suppose 0 = 3*h - l*h + 40. Is 10 a factor of h?
True
Suppose 7*o = 3*o - 2*n + 218, n + 227 = 4*o. Does 8 divide o?
True
Let a(z) = -3*z**2 + 2*z - 2. Let t be a(2). Suppose p - 4*y - 2 - 2 = 0, -y - 12 = -3*p. Is 16 a factor of (-206)/t + p/10?
False
Let g = -11 + 16. Suppose 0 = g*s - 5. Let k = 8 - s. Is k a multiple of 4?
False
Suppose 2*x + 5*o = -3, -3*x - 18 + 2 = -4*o. Let g = x + 1. Is g*(-1 + 2/(-6)) a multiple of 4?
True
Suppose 3*t - d = 7*t - 113, -t + d = -27. Is 14 a factor of t?
True
Let u be (-2)/13 + 2880/130. Let r = 50 - u. Is 14 a factor of r?
True
Does 6 divide 2/6 - 17/(-3)?
True
Let p be ((-40)/6)/((-1)/(-57)). Is 21 a factor of p/(-9) + (-6)/27?
True
Let r(c) be the third derivative of 5*c**4/8 - c**3/6 - c**2. Does 14 divide r(1)?
True
Let o = -2 + 5. Let k be (-204)/(-8) + (-2)/(-4). Suppose -o*x + k = -x. Is 8 a factor of x?
False
Let k be (-1*15)/(-2 - -3). Let c = -2 + -2. Does 11 divide c/(-10) - 234/k?
False
Let u be (5 - 5)*3/12. Let g(a) = -a**3 - a**2 - a + 11. Is 5 a factor of g(u)?
False
Let p(o) be the first derivative of -o**4/2 + 2*o**3/3 + o**2/2 - 1. Is p(-1) a multiple of 3?
True
Let l(h) = h**2 - 5*h + 3. Let m be l(4). Let y = -2 - m. Is (-444)/(-16) - y/4 a multiple of 14?
True
Suppose 0*t - 48 = -3*t. Suppose -24 - t = -5*i. Does 5 divide i?
False
Suppose 5*q + k = 3*q - 4, 2*q = k + 4. Suppose 2*d - 186 = -3*x + 5*d, -2*d + 6 = q. Is 13 a factor of x?
True
Let n(p) be the first derivative of 20*p**2 - 4*p + 4. Let r be n(4). Suppose 4*v + 3*f + f = r, -5*v + 168 = -4*f. Does 24 divide v?
False
Let b(n) = n**2 + 16*n + 13. Let i(m) = -5*m - 4. Let h(z) = 2*b(z) + 7*i(z). Does 13 divide h(-3)?
False
Let b(p) = p**2 + 12*p + 11. Let a be b(-11). Suppose a*v + 4*v - 16 = 0. Is (-117)/(-12) + 1/v a multiple of 10?
True
Let l(u) = u**2 - u + 1. Let g be l(2). Suppose -4*y + 7 = j + y, g*j + 3*y = 33. Does 4 divide j?
True
Suppose 0 = -0*j - 2*j - 10. Let g = -7 - j. Is (-2)/g + 12*1 a multiple of 7?
False
Suppose 0 = -6*f - 773 + 2285. Is 42 a factor of f?
True
Suppose 0 = 3*u + 43 - 148. Is 10 a factor of u?
False
Let u = 5 - 0. Suppose u*q - 73 = 82. Does 11 divide q?
False
Let q = -40 - -66. Is q a multiple of 3?
False
Let t = 75 + 1. Suppose -4*a = -4 - t. Does 10 divide a?
True
Let j(g) = g**2 + 10*g + 9. Let z be j(-7). Let s = 3 - z. Is 15 a factor of s?
True
Let l(y) = -y**3 + 3*y**2 + 5*y + 20. Is l(-6) a multiple of 45?
False
Let f(i) = 28*i - 2. Let d be f(2). Let w = 118 - d. Is w a multiple of 24?
False
Let h(d) = 6*d + 2. Let v be h(-1). Is v/22 + 1062/33 a multiple of 8?
True
Is 16 a factor of 410/15 - 2/(-3)?
False
Let a = -4 - -6. Let x = 4 - a. Suppose 4*r = -0*r - 16, 0 = 2*b - x*r - 20. Is b a multiple of 5?
False
Suppose -4*q + 10 = -6. Suppose -4*z + 188 = -q*h, z + 4*h - 280 = -4*z. Does 13 divide z?
True
Suppose 14 = -4*c - 2*z, 27 = -4*c + 2*c - 5*z. Let m = 28 + c. Is 27 a factor of m?
True
Suppose -5*r + 12 + 3 = 0. Suppose r*d = 5*x - 66, x + 4*x - 90 = -5*d. Suppose 0 = -v - 3*f + 2, -3*v + f = -x - 31. Is 6 a factor of v?
False
Suppose 0 = 4*k - k - 393. Is 46 a factor of k?
False
Suppose 5*u - 34 = -4*g - 0*g, 0 = u - g - 5. Suppose -k + u*k = 5*c - 110, -4*c - 4*k = -