False
Does 5 divide 10/(-7) + 2 + (-145632)/(-336)?
False
Let n be (9 - 10)*(-3 + -2). Suppose -p - 855 = -n*r + 844, -5*r = -4*p - 1696. Is r a multiple of 20?
True
Let y be 11 + (-2 + 1 - 1). Suppose 4*m - y*m = 2820. Is m/(-15) - (-12)/30 a multiple of 13?
False
Let s(n) = 21*n**2 - 8. Let o(h) = 43*h**2 - 17. Let i(k) = -3*o(k) + 7*s(k). Let c(v) be the first derivative of i(v). Is 12 a factor of c(1)?
True
Let l(j) = -11*j + 8. Let i(p) = -p**2 + 5*p - 2. Let y be i(6). Let m be l(y). Suppose 2*z - 222 = -5*b + 4*z, -2*b - z = -m. Does 23 divide b?
True
Let w(k) = -2*k**2 - 5*k - 11. Let q be w(-2). Let c = 4 - 9. Does 6 divide c - q - 2*-4?
True
Suppose -4*w = -3*u - 1399, 389 = -3*w + u + 1442. Does 16 divide w?
True
Let k(c) = c**3 + 14*c**2 + 13*c + 25. Let z be k(-13). Is 10 a factor of (-287)/(-5) + (40/z)/(-4)?
False
Suppose -239 = v + i, -204 = 4*v - 3*i + 731. Let d = v - -586. Does 35 divide d?
True
Suppose 15 - 665 = 5*q. Let s = -65 - -4. Let r = s - q. Does 23 divide r?
True
Is ((-1)/2)/((-59)/21830) a multiple of 42?
False
Let q be (18/12)/((-3)/(-74)) + -1. Does 10 divide (-4)/(q/(-363)) + (-2)/6?
True
Suppose -4*j + 24*j = 24800. Is 13 a factor of j?
False
Let b = -3 - -5. Let l(s) = -8*s + 5. Let q be l(b). Is (-20)/(-110) - 823/q a multiple of 25?
True
Let w be (-168)/(-44) - 6/(-33). Suppose -w*j - 11 = 3*d + 4, 0 = 5*d - 2*j + 25. Does 14 divide d/(-10) - (-101)/2?
False
Let j(h) = 359*h**3 - 3*h**2 + 6*h - 4. Is j(1) a multiple of 12?
False
Let h(o) = 6*o + 13. Suppose 4*p = 23 + 5. Let v be h(p). Let b = v - 30. Is b a multiple of 5?
True
Suppose -1342 = -5*u - 6*u. Does 61 divide u?
True
Let d = -19 - -10. Let b(z) = -15*z - 11. Does 18 divide b(d)?
False
Let i = 55 + -127. Let a = i - -34. Does 22 divide 3 - a - -2 - -1?
True
Let u(t) = 15*t**2 + 17*t. Let c(d) = 7*d**2 + 8*d. Let q(r) = -13*c(r) + 6*u(r). Let n be q(-2). Suppose n = 4*x - 98 + 2. Is x a multiple of 5?
False
Suppose -40*n = -22*n - 414. Is 2 a factor of n?
False
Let v(d) = d**3 + 7*d**2 - 9*d + 4. Suppose 4*k + s = -31, 2*k + 7 + 6 = -3*s. Let m be v(k). Suppose w + 4*r = -m, -5*w + 49 = -2*r - 1. Is 4 a factor of w?
True
Let z(k) = -k + 1. Let t(o) = -o**2 - 2*o + 7. Let j(v) = -t(v) + 4*z(v). Let g be j(4). Suppose -5*s = -c + 37 + 60, 5*s = g*c - 505. Does 17 divide c?
True
Let g(z) = 5*z - 6. Let d be g(7). Suppose -3*x + d = -178. Is x a multiple of 6?
False
Suppose 3*j = 5*b - 1680 - 80, 2*b = -5*j + 673. Does 8 divide b?
False
Let m(y) = 37*y**2 - 3*y + 3. Does 28 divide m(2)?
False
Suppose -2*f + 3*s + 563 = 0, -s + 184 = 5*f - 1215. Does 20 divide f?
True
Suppose 740 = 4*b - 2*c, 5*b = -3*c + 1235 - 299. Is 50/(-5) + 6 - (-2 - b) a multiple of 28?
False
Let v = 109 + -160. Let j = v - -74. Is j a multiple of 18?
False
Let g be ((-3)/(-2))/(6/20). Suppose 0 = -v - g - 7. Is 12 a factor of v/18*138/(-4)?
False
Let s = 30 - 35. Let z(w) = 0*w**2 + 3 + w**2 + 7*w + w**2. Does 18 divide z(s)?
True
Suppose 6*o = 3*o + 6. Let z be 5 - 5 - 4*o. Does 12 divide (-418)/z + (-15)/12?
False
Suppose 4*f = 2*n - 8, 0*n + 2*n + 5*f - 17 = 0. Let v(c) = -6*c**2 + 2*c + c**3 - c**2 + n*c**2 + 1 + 0*c. Is v(3) a multiple of 25?
True
Suppose -y - 7540 = -3*x, x = -x - 3*y + 5012. Does 41 divide x?
False
Suppose 4*n - 1 = -9. Let a be ((-3)/(-3) - 3)/n. Let u(b) = 44*b**3 + 2*b**2 - b. Is 15 a factor of u(a)?
True
Suppose -w - 3*a + 2*a + 72 = 0, 3*w = 5*a + 184. Suppose -2*c = -5*c - 123. Let q = w + c. Is 7 a factor of q?
False
Suppose a = -5*i - 0*i + 38, -i = 2*a - 13. Let u(r) = -2*r - 5 + 5*r + r**2 + 19 + i*r. Is 25 a factor of u(-11)?
True
Suppose 3*c + 14 = 4*h, 4*c = 4*h + 2 - 18. Suppose -h*k - k + 4*d = -17, d = -3*k + 7. Is k a multiple of 2?
False
Let i(g) = -g**2 - 25*g + 13. Suppose 0 = -3*h + 8*h + 100. Is 13 a factor of i(h)?
False
Let g(m) = 2*m - 4. Let x be g(3). Suppose 4*h - 6*s + 2*s - 960 = 0, 5*h - 1176 = -s. Suppose 5*t - y - h = 6, 3*t = -x*y + 153. Does 9 divide t?
False
Let y be 282/54 - 5 - (-16)/9. Suppose 39 = y*b - 3. Is b a multiple of 20?
False
Suppose 7*f + 385 + 154 = 0. Let s = f - -135. Is 18 a factor of s?
False
Let v(r) = 7*r**3 - 9*r - 7. Let b(y) = -y - 1. Let u(w) = -6*b(w) + v(w). Let f(t) = -13*t**3 + 7*t + 2. Let l(i) = 4*f(i) + 9*u(i). Is l(1) a multiple of 11?
True
Let b(t) = -t**3 - 12*t**2 - 8*t + 7. Let k be b(-8). Let j = k + 296. Is 37 a factor of j?
True
Let x(s) = -4*s**3 - s. Let q = 10 - 13. Let p = 1 + q. Is x(p) a multiple of 16?
False
Let m be (0*(-2)/4)/2. Let d be 4/((-4)/(-8) + m). Let r = d - -16. Does 12 divide r?
True
Suppose -2*w - 3*d + 567 = 0, d - 14 = -9. Is 69 a factor of w?
True
Let w(p) be the third derivative of p**5/60 + p**4/12 - 2*p**3/3 + 9*p**2. Is 4 a factor of w(-4)?
True
Let x(c) = 38*c**2 + 2*c + 1. Let i be x(-1). Suppose -4*j = 37 - 1. Let r = i + j. Does 28 divide r?
True
Let u(v) = 5*v - 1. Suppose -3*r + 2*r = y - 4, 0 = -y - 3*r + 10. Let t be u(y). Suppose t*d + 33 = 5*d. Is 11 a factor of d?
True
Suppose -878 = -f + 3*t, 5358 = 5*f + t + 936. Does 34 divide f?
True
Let w(t) = t**3 - 11*t**2 - 11*t - 10. Let g be w(12). Suppose 0*p + 4 = -g*p. Is p*76/16*-2 a multiple of 13?
False
Let s(w) = -w**3 - 11*w**2 + 28*w + 28. Let v(g) = -g + 5. Let n be v(18). Is s(n) even?
True
Let a(o) = 23*o - 6. Let v be a(3). Suppose 6*b - v = 7*b. Let i = -33 - b. Does 15 divide i?
True
Let g = -7 - -10. Let h = 7 - g. Suppose -4*l = -20 + h. Does 2 divide l?
True
Suppose 14 = 5*b + y - 3*y, -8 = -2*b + 2*y. Suppose -b*g - g - 21 = c, 0 = c + 4*g + 23. Let p(x) = x**2 + 10*x - 6. Does 23 divide p(c)?
True
Let x(y) = -y**3 - 7*y**2 + 14*y - 8. Does 2 divide x(-9)?
True
Suppose 5*b = -5*b + 50. Let f(d) = 10*d + d + 0*d + 4*d. Is f(b) a multiple of 16?
False
Suppose 2*l = 2*f + 110, 5*f = -7 + 32. Let k be 122/4 - (-3)/6. Suppose -h + l = -k. Is h a multiple of 23?
False
Suppose 34 = 4*m + 5*z, 2*m - 3*z = 3*m - 12. Suppose m*l - 2*l = 700. Is 35 a factor of l?
True
Suppose 0*k - 5*k + 550 = 0. Is k a multiple of 19?
False
Suppose 10 = 5*t, -9*t + 8*t - 6568 = -5*d. Does 9 divide d?
True
Let g = 50 + -50. Suppose g = -11*a + 92 + 524. Does 8 divide a?
True
Let s(y) = 3*y**2 - 11*y + 123. Does 13 divide s(-10)?
True
Let l(w) = w**2 + 19*w + 20. Let o be l(-13). Let j = 119 - o. Does 8 divide j?
False
Does 4 divide (428/10)/((-151)/(-755))?
False
Let f(k) = -2*k**3 + 30*k**2 - 12*k + 6. Is 5 a factor of f(14)?
True
Let x(k) = -484*k - 18. Is 4 a factor of x(-1)?
False
Let l = 774 + -621. Is l a multiple of 9?
True
Let w(z) = -z**3. Let h(c) = 2*c**3 - 3*c**2 - 4*c - 12. Let r(b) = h(b) + 3*w(b). Is 30 a factor of r(-7)?
False
Let x(u) = -u**2 - 6*u + 18. Let w be x(-8). Suppose w*k + 2*h - 14 = 3*h, -h + 10 = 2*k. Does 6 divide k?
True
Suppose 4*y - 2 = 3*y. Suppose -i + 6*i - 8 = -2*q, 0 = 4*i + y*q - 6. Suppose 2*z + 2*s = 5*z - 225, -i*z = 3*s - 163. Does 24 divide z?
False
Suppose -f + 4 = -2*d, -4*f = 4*d - 1 - 3. Suppose f*x - 27 = -5*l, -5*l + 4*x + 8 = -13. Suppose b + 2*n - 53 = 0, -b = -2*b + l*n + 60. Does 16 divide b?
False
Suppose -8*c - 138 = -9*c. Is c a multiple of 4?
False
Suppose 5*y - 4*f - 168 = 2*y, -5*f = -4*y + 224. Suppose 5*l - y = 84. Let w = l + 0. Is 14 a factor of w?
True
Let g(u) be the second derivative of u**3/6 + 5*u**2/2 - u. Let m(h) = -h**3 + 4*h**2 - 6*h + 9. Let x be m(3). Is g(x) even?
False
Let r(c) = -c. Let q(z) = -8*z + 2. Let p(a) = -q(a) - 8*r(a). Is p(3) a multiple of 13?
False
Let v(j) = 4*j. Let c(f) = 5*f. Let m(k) = 4*c(k) - 6*v(k). Let l be m(1). Does 11 divide 10 + l/(-4)*3?
False
Let s(g) = g**2 + 16*g + 15. Let t be s(-14). Let r = -13 - t. Suppose r = -5*c - 0*c + 180. Is c a multiple of 6?
True
Suppose -d + 267 = -2*t + 25, -4*t + 12 = 0. Is d a multiple of 70?
False
Let j be 0*3/(-1 - -10). Let u(q) = q**3 + q**2 - q + 233. Does 22 divide u(j)?
False
Suppose -150 = -4*y + 5*y. Let i = -230 - y. Let d = i - -116. Does 9 divide d?
True
Let g(j) = -2*j + 19. Let a be g(7). Suppose 2*w + 840 = a*w. Suppose 5*p - p = w. Does 22 divide p?
False
Suppose -y = -2*y + 2. Suppose -y*x + 219 + 227 = 0. Is 32 a factor of x?
False
Suppose -5*a + s - 2*s + 10 = 0, -a + 2 = s. Let t be a/2 + (-99)/(-1). Suppose 0 = u - 5*p - t, -2*u - 2*p = 2*p