 of 20?
True
Let n(u) be the first derivative of -u**4/2 - 2*u**3/3 + 3*u**2/2 - 2*u - 10. Is 4 a factor of n(-3)?
False
Let m be (-798)/54 - (-6)/(-27). Let i be (-55)/m - (-4)/(-6). Suppose i*j = -t + 47, 0 = 4*t - 5*t + 5*j + 71. Does 28 divide t?
True
Suppose -3*s = 4*s + 56. Suppose 4*o = -4*n - 76, 3*n - 4*o = -6*o - 52. Is s/(3 - -1) - n a multiple of 5?
False
Is -3 + ((-149)/(-4) - (-82)/(-328)) a multiple of 34?
True
Let y(x) = -x**3 + 18*x**2 + 16*x + 36. Is y(-11) a multiple of 18?
False
Let x be (-4)/8 + 3994/(-4)*-1. Suppose -4*z - 3*p = -664 - 140, x = 5*z + 2*p. Is 46 a factor of z?
False
Suppose 5*b - 4*f = -0*b - 868, 5*b = 2*f - 874. Does 20 divide 12 - b - (-3 - -1) - 1?
False
Let k(o) = -4*o**2 - 24*o + 13. Let h(d) = -d**2 - 8*d + 4. Let l(x) = 7*h(x) - 2*k(x). Let b be l(8). Let z(c) = 20*c - 5. Does 17 divide z(b)?
False
Let y = 229 + -164. Does 5 divide y?
True
Let j(b) = -b**2 + 27*b + 63. Let k be j(22). Suppose -2*u - 4*y = -100, -2*u + 5*y + k - 37 = 0. Does 16 divide u?
False
Let j(h) = -2*h**3 - 3*h**2. Let f be j(-3). Suppose w - f = -0*w. Let b = w - 6. Does 21 divide b?
True
Suppose 5*w + 0*w - 3*i - 1010 = 0, -2*w = 5*i - 435. Is 19 a factor of w?
False
Let t = 115 + 76. Let o = t + -111. Is o a multiple of 20?
True
Suppose -4*n + 535 = 3*t, -2*n + 5*t - 529 = -6*n. Does 17 divide n?
True
Let v(c) be the second derivative of c**3/2 - 8*c**2 + c. Let y = 755 - 748. Is v(y) a multiple of 2?
False
Let z(m) = -11*m**2 - 76*m - 21. Let k(x) = 6*x**2 + 38*x + 11. Let p(g) = -7*k(g) - 4*z(g). Is p(-21) a multiple of 11?
False
Suppose -2144 = 880*a - 881*a. Does 81 divide a?
False
Is 8 a factor of 5360/6*-11*30/(-275)?
True
Is 3 a factor of -234*((-4)/1 + 5 + -2)?
True
Let s(r) = 6*r + 6. Let p(y) = 13*y + 12. Let t(l) = 3*p(l) - 5*s(l). Does 11 divide t(3)?
True
Let p = -4 + 8. Suppose p*c + 181 = 605. Suppose 0*v + c = 5*v - r, -61 = -3*v - 2*r. Does 4 divide v?
False
Let r(i) = -3*i**2 + i. Suppose -3*w - 8 = -w + 2*a, 0 = -2*a - 6. Let m be r(w). Let d(t) = -t**3 - 4*t**2 + 4. Is 3 a factor of d(m)?
False
Let f(z) = -z**2 - 53*z - 85. Does 17 divide f(-42)?
False
Suppose -5*f + 0*v - 130 = -5*v, 0 = -5*f - 5*v - 120. Let q = 4 + f. Let y = -11 - q. Is 10 a factor of y?
True
Suppose -18*l = -46*l + 8064. Is 24 a factor of l?
True
Is 8/(-10) - ((-10032)/40 + 13) a multiple of 10?
False
Let g = 742 - -1060. Does 34 divide g?
True
Suppose 6*v - 102 = 5*v. Let l = v - 48. Let r = l + -30. Does 10 divide r?
False
Suppose 0 = -6*r + 2*r + 96. Let c = 41 - r. Is 14 a factor of c?
False
Let u(d) = d**3 + d**2 + d + 27. Suppose 0 = 2*p - x + 5, -3*p + 25 = x + 4*x. Is u(p) a multiple of 27?
True
Let h = 20 - 21. Let o be 2/((-4)/(h - 267)). Suppose 0 = -3*k + 5*w + o, -5*k + 2*w = 123 - 359. Is k a multiple of 24?
True
Let v = 112 - -117. Is 23 a factor of v?
False
Let z be 2/6 + (-104)/(-12). Suppose -z = -22*q + 19*q. Does 2 divide q?
False
Let i be 2/9 - (-1 + 316/(-36)). Does 6 divide -60*((-4)/i)/1?
True
Let i(j) = -j**2 - 10*j + 3. Let p(d) be the second derivative of -d**5/20 + d**3/6 - 5*d**2/2 + 2*d. Let o be p(0). Is 6 a factor of i(o)?
False
Let s = 23 + -44. Let v = s - -164. Is v a multiple of 13?
True
Let h(m) = -79*m + 4. Let i be h(2). Let f = -226 + 124. Let o = f - i. Does 17 divide o?
False
Let d be 0/(-2*(3 + -2)). Suppose -4*s - 13 = g - 99, 4*g + 5*s - 300 = d. Is 10 a factor of g?
True
Let k(d) = d**3 - 9*d**2 - 11*d + 8. Let y be k(10). Let s(v) = 9*v**2 - 2*v - 4. Is 18 a factor of s(y)?
True
Let l = -8 + 11. Suppose -t - 3 = -a - l*t, 4*a - 3*t = 12. Suppose 4*n + 12 = 0, -2*d - a*n + 11 = -d. Is d a multiple of 8?
False
Let n be 2/(-4)*4 + 5. Suppose -n*k = -0*k - 2*t - 207, -3*t + 326 = 5*k. Does 22 divide k - (5 + -4 + 1)?
False
Let z = 70 + -28. Let d = z + -32. Does 4 divide d?
False
Let f(t) = t**2 + 5*t. Let g be f(-5). Suppose g = 4*d - 16, 60 = y - 2*d + 5*d. Suppose y = 7*u - 3*u. Does 7 divide u?
False
Suppose 0 = w - 3, -4*x + 8*x - 1508 = 4*w. Is (-6*(-1)/4)/(15/x) a multiple of 18?
False
Suppose y + 4*z + 18 = 0, -3*y - 2*y + 2*z = 46. Does 11 divide 15/6*((-308)/y - -2)?
False
Let j be (-9)/(-6) - (-1)/2. Let s = j + -11. Is 26 a factor of 6/s + (-80)/(-3)?
True
Suppose 37*z - 39*z = 0. Suppose z*v + v - 75 = -3*n, 5*v + 67 = 2*n. Is n a multiple of 3?
False
Does 11 divide (-4 - -15)/(5*6/660)?
True
Suppose 24*z = 21*z + 1407. Is 67 a factor of z?
True
Let v(s) = -4*s**3 + s. Suppose 7*p - 4*p = -3. Let k be v(p). Is 9 + (k - (9 - 3)) a multiple of 5?
False
Suppose -127*x + 123*x = -7020. Does 48 divide x?
False
Suppose -k - 3 = -0. Let o(i) = -i**3 + 2*i**2 + 2*i - 1. Does 5 divide o(k)?
False
Suppose -v - 3*c = -0*c + 1, -v - 11 = c. Let o = v - -22. Is o a multiple of 6?
True
Let x = 996 + 746. Does 26 divide x?
True
Suppose -22*g + 559 = -431. Is 5 a factor of g?
True
Let n(a) = 2*a + 226. Is 5 a factor of n(-31)?
False
Let y(z) = 2*z**2 + 1. Let w be y(-2). Let c(m) = 6*m - 15*m + w + 8*m. Does 6 divide c(-11)?
False
Let a = -1898 - -2363. Is 15 a factor of a?
True
Suppose 0 = -10*d + 4*d - 108. Let g = 20 + d. Suppose q - 5*q + 58 = g*o, -4*o = -3*q + 16. Is 12 a factor of q?
True
Let z(x) be the first derivative of -4*x**4 - x + 13. Is z(-1) a multiple of 6?
False
Let g = -11 - -18. Suppose -73 = -5*f + g. Let m = f - 7. Is 5 a factor of m?
False
Let c(k) = k**3 - 3*k**2 + k - 1. Let m be c(3). Suppose m*o - 3*o - 28 = -3*z, -o = -4*z + 32. Let a(w) = -w**2 - 17*w + 4. Is 19 a factor of a(o)?
False
Let k(d) = 5*d**2. Let p be k(-8). Suppose -28*t + p = -24*t. Does 18 divide t?
False
Does 64 divide -1 + 3 + (-372)/(-30)*5?
True
Let g be -14 - 7/(21/9). Let l(d) = -d**2 - 20*d + 5. Does 8 divide l(g)?
True
Let g = 2117 + -1469. Does 8 divide g?
True
Let x(b) = -96*b + 2. Let d be x(-1). Suppose 0 = 2*g - 2 - d. Is 22 a factor of g?
False
Let a(d) = d. Let o be 1/(6 + -4 - 3). Let j be a(o). Does 19 divide (6 + -3 - 114)/j?
False
Suppose 6*h - 12*h = -648. Suppose 3*q = -15, 4*q - h = -2*b - 0*q. Does 16 divide b?
True
Let d be (-6)/(-2) + 18 - 4. Let f = -13 + d. Suppose 15 = 5*g - f*g. Does 15 divide g?
True
Suppose -4*b - 31 = -5*h, h - 4*h + 1 = 2*b. Suppose -h*m + 216 = 3*m. Does 10 divide m?
False
Suppose 32 = 7*n - 38. Suppose -120 = -x + n. Does 26 divide x?
True
Let y(c) = 2*c + 222. Is y(42) a multiple of 18?
True
Suppose 2*w = 2*h - 0*h - 590, 5*h = 2*w + 1460. Let f(t) = 8*t - 82. Let l be f(-15). Let d = l + h. Does 22 divide d?
True
Let t(i) = i**2 + 7*i + 31. Is 19 a factor of t(16)?
True
Let x(g) = -10*g**2 + 6*g + 3. Let k be x(-2). Let m = k - -93. Does 22 divide m?
True
Let j be (-16)/(-12) + (-1)/(-3)*-1. Is (4*j)/(10/190) a multiple of 19?
True
Let i be 90/4*(-16)/(-10). Let h be ((-187)/33)/((-1)/i). Suppose -4*w + h = -2*j, 3*w = -w + j + 204. Is 17 a factor of w?
True
Let b = -147 - -162. Suppose b*v - 25 = 14*v. Is v a multiple of 14?
False
Let a = -4060 - -6785. Does 43 divide a?
False
Suppose -4*r + 6*b + 4468 = 2*b, 0 = 3*r - 5*b - 3341. Is r a multiple of 9?
False
Let p = 153 + 58. Suppose -58 = -m - 4*v, -p = -4*m - v + 6*v. Does 9 divide m?
True
Let u(n) = -n - 1. Let o(l) = 1 - l**3 + l - 3*l**2 + 2*l**3 - 8. Let x(s) = o(s) - 2*u(s). Is 20 a factor of x(5)?
True
Suppose 815 = c + 5*u, -2*u + 3*u = 5*c - 4075. Is c/3 + (-11)/(-33) a multiple of 14?
False
Suppose -8 + 3 = -f. Suppose 78 = -f*v + 348. Is v a multiple of 8?
False
Let l(w) = 6596*w**2 - 6596*w**2 + w + w**3 + 35. Is 7 a factor of l(0)?
True
Let o = 16 - 21. Let u be -4 - 24/(-3 - o). Is 7/(((-28)/u)/7) a multiple of 24?
False
Let c(s) be the second derivative of 0 - 6*s - 11/6*s**3 - 1/12*s**4 - 5*s**2. Is c(-7) a multiple of 3?
True
Suppose -6 = -4*u + 6. Suppose -4*j - u*k = -255, -3*k = -5*j + 149 + 190. Is j a multiple of 11?
True
Let j(i) = -3*i + 198. Is j(7) a multiple of 23?
False
Suppose -1 = -8*i - 25. Is ((-166)/i)/((-11)/(297/(-6))) a multiple of 17?
False
Let o = 1053 - -32. Does 39 divide o?
False
Let l be (8/12)/((-1)/(-9)). Does 2 divide 32/l + (-24)/(-36)?
True
Let p(n) = -1 + 2*n + n + 3 - n. Let w be p(-3). Is ((-2)/w)/(3/144) a multiple of 24?
True
Suppose 2*t - 108 - 90 = 0. Let v = t + -67. Let w = v + -17. Is w a multiple of 4?
False
Let p(o) = 3*o**3 - 13*o