ivide -3 + (-4)/(-1) + s?
True
Let l(z) = -5*z + 9. Let h(s) = -2*s**3 + 2*s**2 - 1. Let x be h(-1). Suppose -2*d - x*d = 50. Does 25 divide l(d)?
False
Let x be (4 - (1 - -1))*10/4. Suppose 0*r = -3*r + 2*n + 160, 113 = 2*r + x*n. Does 5 divide r?
False
Let l = -25 + -26. Let h = l - -95. Suppose 7*m - h = 47. Is 5 a factor of m?
False
Let f(i) = -i**2 - 17*i + 18. Let g be f(-18). Let d be 1/(-3) - (-58)/(-6). Let b = g - d. Does 3 divide b?
False
Let b be 72/20 - ((-12)/(-20))/1. Suppose 0 = -r - 4*x + 40, 0 = 2*x - b + 11. Is 4 a factor of r?
True
Let p(s) = 2*s**2 + 19*s + 7. Does 50 divide p(15)?
False
Suppose 4*q = -p + 389, 2*q - q = -4*p + 86. Suppose q + 7 = 3*r. Is 7 a factor of r?
True
Suppose -2*k + 3*k - 11 = 0. Let u = k + -7. Is u a multiple of 2?
True
Let d(z) = 3*z**3 - 4*z**2 + 9*z - 12. Let c(u) = 5*u**3 - 9*u**2 + 18*u - 23. Let r(t) = 4*c(t) - 7*d(t). Let i be r(-8). Is (i/14)/((-4)/14) a multiple of 4?
True
Suppose -2*j + 0*j = -2. Does 4 divide j + 0 - 60/(-4)?
True
Is 11 a factor of ((-2)/(-8))/(3/2616)?
False
Suppose 3*s = -3*g + 4248, s = -2*g + 3*g + 1408. Is s a multiple of 27?
False
Suppose 74605 = 49*m - 27168. Is m a multiple of 31?
True
Suppose 244*b - 241*b - 105 = 0. Does 3 divide b?
False
Let w = 5489 + -3871. Is w a multiple of 84?
False
Does 75 divide -16 - (-16 + 11) - -2786?
True
Let i be -1 - (-6)/((-36)/(-822)). Let s(z) = 4*z**2 + 2. Let u be s(-2). Suppose u*m = 22*m - i. Does 7 divide m?
False
Is 5 a factor of 9/((1/15)/((-16)/(-8)))?
True
Suppose 0 = 3*q + 12, 3*s - 38 = 3*q - 17. Suppose 0 = -2*i + 350 + 144. Suppose -v - v = -5*k + i, -4*k - s*v = -216. Is 20 a factor of k?
False
Suppose 114*d - 1548 = 112*d. Does 43 divide d?
True
Suppose -1356 = -2*p - 676. Does 5 divide p?
True
Suppose -g + 4705 = 5*q, 1564 = 5*q + 3*g - 3131. Is 10 a factor of q?
False
Is (84/(-10))/(39259/2310 - 17) a multiple of 14?
True
Suppose 16 = 3*d + 13. Let u be 12/4 + 2 - d. Suppose -84 = u*j - 8*j. Is j a multiple of 5?
False
Let q(m) = m**2 + 9*m + 22. Let h be q(-6). Suppose 3*s - 2*a - 489 = 0, -793 = -h*s - s - 4*a. Is 23 a factor of s?
True
Let l be (-39)/(-9) + (-12)/9. Suppose -l*u = -15, 2*s - 85 = -2*u - 15. Is 5 a factor of s?
True
Let r(o) be the third derivative of o**5/12 + 5*o**4/12 - o**3 + 11*o**2. Does 34 divide r(-5)?
False
Suppose 319*u = 317*u + 1654. Is 26 a factor of u?
False
Let k(c) = -c**2 + 2*c + 6. Let d be k(3). Suppose -68 = -d*v - v. Suppose -v = -3*i + 7. Does 2 divide i?
True
Let n = 156 + -92. Suppose -13*b = -15*b + n. Is 8 a factor of b?
True
Suppose -5*i = -109 - 731. Does 7 divide i?
True
Suppose 8*f + 1989 - 5453 = 0. Is 66 a factor of f?
False
Suppose 0 = v + q + 3, 3*v + 3*q - 4*q - 11 = 0. Suppose 0 = -3*h + 5*h + v*l - 230, -5*l = 0. Is h a multiple of 23?
True
Let f(q) = -4*q**3 - 2*q - 1. Let z be f(-1). Suppose -2*i + 19 = -t - 6*i, 3*i = -z*t - 27. Let j = 13 - t. Is j a multiple of 16?
True
Let w(v) = 2*v - 4. Let m be w(-3). Let f be (-2)/(-5) - (-244)/m. Let c = -3 - f. Does 21 divide c?
True
Let s = -9 - -5. Let b be 3 + (s/4 - 5). Is 11 a factor of 11 - -44 - (b - 0)?
False
Let o be 20/(-80) + 1305/4. Let r = o - 231. Does 10 divide r?
False
Let l(t) = 10*t + 11. Let f(j) = -49*j - 56. Let n(c) = -3*f(c) - 14*l(c). Let y(z) = -7*z - 13. Let h(p) = -4*n(p) - 3*y(p). Does 23 divide h(-9)?
True
Suppose 4*c + 19 = 3*b - 235, 431 = 5*b + c. Is 5 a factor of b?
False
Let g = 27 + 0. Suppose 3*x + 126 = 4*r - g, 25 = 5*x. Is 6 a factor of r?
True
Suppose 52*i = 12096 + 74172. Is i a multiple of 30?
False
Suppose 58 = -7*m - 68. Let j be (-6)/m - 3/9. Suppose j = 5*w - 2*z + 16 - 151, 0 = -4*z. Does 9 divide w?
True
Let a(s) = -s**3 + 24*s**2 + 66*s - 37. Let l(t) = t**3 + 2*t**2 - 4*t - 7. Let o be l(3). Is 16 a factor of a(o)?
False
Let v(i) = i**3 + 10*i**2 + 6*i - 13. Let w be v(-9). Suppose 2*b = -5*c + 26 + 12, 3*c - w = b. Suppose -2*x + 18 = z, c*x - 3*z - 36 = 2*x. Does 7 divide x?
False
Suppose -2*h + 4*f - 6*f - 124 = 0, 2*h + f + 125 = 0. Let b(x) = -108*x**3. Let o be b(1). Let y = h - o. Is 15 a factor of y?
True
Suppose r - 5*v = 9 + 11, -4*v = 5*r + 16. Suppose r = 6*b - 5*b - 17. Does 5 divide b?
False
Let v be (-8)/24 - (-24)/(-9). Is 23 a factor of (-2 - 208)/v + -1?
True
Suppose -2*f - 5*m = -3*m - 10, 0 = -f - 3*m + 7. Suppose -10 = 4*l - 3*v, f*v + 0 = 3*l + 4. Let u = l + 32. Is 7 a factor of u?
True
Let h(n) = -3 + 4*n**3 - 1 + 0 + 4*n + n**2. Let x be 3 + (1/3)/((-1)/3). Does 10 divide h(x)?
True
Suppose 5*n = -4*q + 16, -3*q + q - 2 = 0. Suppose 4*z + 4*h = 176, 5*z - h - 220 = n*h. Is z a multiple of 12?
False
Let v = 16 - 25. Let s(g) = -g**2 - 3*g - 4. Let y(t) = -4*t**2 - 12*t - 17. Let o(b) = v*s(b) + 2*y(b). Is 5 a factor of o(-7)?
True
Suppose -i - 3*z = -1500, -27*z + 24*z + 7548 = 5*i. Is i a multiple of 36?
True
Let u(z) = -29*z**2 + 5*z + 5. Let s(d) = -14*d**2 + 2*d + 2. Let j(l) = 9*s(l) - 4*u(l). Let k be j(-1). Let h = k - -67. Does 11 divide h?
False
Let a be (3 - 0)/3 + -103. Is 11 a factor of (a/(-1))/2 + 0?
False
Let o(c) be the third derivative of c**4/12 + 14*c**3/3 - 7*c**2. Let b be o(0). Is (-4)/((-16)/b) + 3 a multiple of 7?
False
Suppose 0 = 3*z + 3*i - 0*i - 441, -4*z + 578 = 2*i. Is 5 a factor of z?
False
Let x(s) = s**3 + 4*s**2 - 10*s - 1. Suppose 0*m + 4*o = -m + 15, -o - 15 = 4*m. Is x(m) a multiple of 24?
True
Let r(o) = -o**3 - 36*o**2 - 38*o - 28. Is 11 a factor of r(-35)?
True
Does 18 divide ((-6)/9)/(4/(-1026)) + -1?
False
Suppose 30*f - 27163 = 15557. Is f a multiple of 89?
True
Suppose 4*v = 4, -3*n + v + 1 + 4 = 0. Let i(w) = -16*w**2 - 5*w + 12. Let z(u) = 5*u**2 + 2*u - 4. Let r(s) = 2*i(s) + 7*z(s). Is 16 a factor of r(n)?
True
Suppose 4*v - h - 1880 = 0, -h = 5*v - 285 - 2056. Is 7 a factor of v?
True
Let a = -8 + 9. Let k be a/(-4*(-3)/204). Suppose -4*c + 5*c - 5*y - 15 = 0, -k = -c + 3*y. Is 9 a factor of c?
False
Let u(q) = -q**3 + 13*q**2 + 6*q + 18. Let x be u(13). Suppose 4*c = -3*p + 22 + 106, 3*c + p - x = 0. Is 4 a factor of c?
True
Suppose -5*l = -10*l + 30. Suppose 2*b - 98 = -3*d, -3*b - 12 = -d + l. Is d a multiple of 10?
True
Let z(u) = -7*u + 155. Is z(11) a multiple of 4?
False
Suppose 18*y = 1445 + 139. Does 11 divide y?
True
Is 2/(-2 + (-23004)/(-11493)) a multiple of 17?
False
Let d be -1 + 5 + -7 - -6. Let v be 4 + (2/1 - 3). Suppose v*g - 45 = d. Is g a multiple of 13?
False
Suppose 2*l + 7 = s, -3*s - 7 = -4*l - 22. Let w be s*3*(-5 + 10). Suppose 155 = 5*d + w. Is d a multiple of 10?
False
Let h be 169 + (-2)/(2/(-3)). Let k = 354 - h. Is 14 a factor of k?
True
Does 2 divide (115/(-1))/((-55)/22)?
True
Let a be (1/(-3))/(2/(-18)). Suppose -2*j + 18 = 4*t, -5*t - 3*j + a = -22. Suppose d - 2*f = 2*d - 28, -2*f + 58 = t*d. Does 8 divide d?
False
Let g(m) = 2*m**3 + 10*m**2 + 7*m + 4. Let k be g(-4). Suppose k*w + 183 = 575. Is w a multiple of 4?
False
Suppose 2*n - 5*c + 1 = 0, 5*c + 70 = -4*n - 7. Let b = n - -29. Is b a multiple of 16?
True
Let u = 31 - 20. Let a(g) = g**3 - 10*g**2 - 9*g - 10. Let d be a(u). Suppose 3*x - 33 = d. Does 4 divide x?
False
Let s be ((-4)/(-8)*0)/1. Suppose s = 6*z - 10*z + 76. Is 19 a factor of z?
True
Suppose 0 = -0*w - 2*w + 38. Suppose -16*i = -816 + 160. Let c = i - w. Does 6 divide c?
False
Let k = 1675 - 1408. Is k a multiple of 10?
False
Let r(x) = 6*x**3 - 2*x + 1. Let w(i) = -i**2 + 8*i - 6. Let y be w(7). Let t be r(y). Let s(g) = 4*g - 6. Is s(t) a multiple of 14?
True
Let u be -45 - (1 + -2)*(-42)/14. Suppose d - 116 = -23. Let h = d + u. Does 13 divide h?
False
Let u(w) = 5*w - 12. Let i(a) = -9*a + 23. Let y(o) = 4*i(o) + 7*u(o). Let k be y(6). Suppose 129 = k*q + q. Is q a multiple of 16?
False
Let o(h) = -3*h + 148. Let m be (-6)/9*6/(-2). Suppose m*f = -3*f. Is 37 a factor of o(f)?
True
Let m = 212 + -174. Is m a multiple of 4?
False
Suppose 153 = -2*i + 5*c, 2*i + 3*c + 92 = -21. Let y = 118 + i. Suppose 3*n - 4*f - 60 = 0, n + 2*f = -n + y. Does 6 divide n?
True
Suppose 3 = -z, 2*r + 4 = -2*z - 2. Suppose -5*y - 45 + 160 = r. Does 16 divide y?
False
Let g = -3891 + 7693. Is g a multiple of 92?
False
Suppose 5 = 4*u - c, 10 = u - 2*c - 0*c. Suppose u*x = -4*x + 216. Does 27 divide x?
True
Let h(a) = -91*a**3 + a + 2. Let s be h