8*-167?
False
Let h be 2673/6 + (-7)/(-14). Suppose -3*o + 3*s = s - 672, 0 = -2*o + 2*s + h. Suppose -4*q + 5*a - 7 = -o, 3*a = 4*q - 221. Does 28 divide q?
True
Let f(q) = -5*q + 47. Let c(s) = s**3 + 9*s**2 - 11*s - 7. Let o be c(-10). Let r be (-1 + (o - 8))/((-4)/6). Is f(r) a multiple of 2?
True
Suppose 0 = -3*y + 4039 + 2057. Suppose 1250 = 5*q + 2*l - y, 0 = -4*l + 4. Is q a multiple of 13?
False
Let z be (133 - (-1 + 3)) + -2. Let d be (44/6)/(25*25/7500). Let c = z - d. Does 41 divide c?
True
Let n(g) = -962*g + 3370. Is n(-4) a multiple of 18?
True
Suppose -2*g = 10*g - 132. Let x(q) = 3*q**2 - 21*q + 17. Is x(g) a multiple of 15?
False
Let j be (-1 + -4)*(-11 - -10). Suppose -2*f + 412 = 5*y, -13*f + 18*f + j*y - 1045 = 0. Is f a multiple of 15?
False
Let g(c) = -5*c**2 + 4*c - 3. Let v be g(1). Let s be v/(-22) - 2355/(-55). Let r = 61 - s. Does 7 divide r?
False
Suppose 7 = -6*z + 61. Let b(o) = 8*o - 61. Let g be b(z). Suppose 1116 = 15*l - g*l. Does 28 divide l?
False
Let f(o) = 2*o**2 + 17*o - 11. Suppose m + 7*y - 3*y - 11 = 0, 0 = 2*m + y + 13. Let s be f(m). Is 32 a factor of (-1)/((s/(-15))/(120/(-9)))?
False
Suppose -3*i - 2456 = -2*c + 599, 0 = -2*c - 3*i + 3049. Is 7 a factor of c?
True
Let a(m) = 3*m**2 + 7*m + 28. Suppose 28*n - 135 - 89 = 0. Does 6 divide a(n)?
True
Let s = -20281 + 24252. Is s a multiple of 11?
True
Let p(q) = 12*q**3 + q**2 + 8*q - 126. Is p(8) a multiple of 22?
False
Suppose 4*d + 2*k = 8, 0 = 4*d - k - 2. Is ((-6)/4)/(d/(-72)) a multiple of 9?
True
Suppose 0 = 7*c - 36 + 22. Suppose 2*a = a + 3*v + 126, -2*v - 248 = -c*a. Is 2 a factor of a?
False
Let y be 4 - ((5 - 6) + 3). Suppose -4*n = 8*d - 4*d - 4004, -y*d = n - 1002. Does 20 divide n?
True
Let n(m) be the first derivative of 2*m**3/3 + 11*m**2/2 - 7*m + 104. Let d(k) = -k**2 - 7*k - 5. Let v be d(-4). Is 24 a factor of n(v)?
True
Let a(u) = u**3 - 2*u**2 - 7*u. Let x be a(4). Suppose -x*f - 30 = 5*l, 4*l - l = 2*f + 4. Does 17 divide ((-38)/8)/(((-20)/(-16))/f)?
False
Let g(z) be the third derivative of 13*z**4/24 - 89*z**3/6 + 150*z**2. Is 4 a factor of g(13)?
True
Suppose 22*k - 12*k + 3824 = 12*k. Is k a multiple of 5?
False
Suppose y = 2*y + 5*c - 14, -2*y = -3*c - 28. Suppose 0 = -17*f + 19*f - 8. Does 29 divide y/f*(50 + 8)?
True
Let b = -430 + 430. Suppose 18*s = -b*s + 10998. Is s a multiple of 19?
False
Let u(s) = -2*s**2 - 208*s - 3884. Is 62 a factor of u(-55)?
False
Suppose 27644 = -52*b + 373392. Is 178 a factor of b?
False
Let g(i) = i**3 + 57*i**2 - 57*i - 644. Is g(-52) a multiple of 90?
True
Let a = -671 - -677. Is (224/(-21))/(a/(-342)) a multiple of 32?
True
Let z = -15 - -31. Suppose z*k + 45 = 19*k. Does 9 divide (0 - (-2 + -74)) + k + -12?
False
Let a(s) = -51*s + 1900. Does 173 divide a(-36)?
False
Suppose -4*o + 2*o + 8 = -4*z, 0 = -5*o - 4*z - 8. Suppose o = -17*k + 15*k + 232. Let y = k - 68. Is y a multiple of 6?
True
Suppose 0 = 2*b + r - 103, 0*b = 3*b - 5*r - 148. Let t = b - 52. Let q(s) = 97*s**2 - 4*s - 2. Is 6 a factor of q(t)?
False
Let v = -11213 - -15244. Is v a multiple of 35?
False
Let x = -19777 + 24864. Is 11 a factor of x?
False
Is 13 a factor of -80 - -77 - (-40081 - -4 - 5)?
True
Let l be 10/35 + (-2)/(-14)*1699. Let w = 244 + l. Is 11 a factor of w?
False
Let u be (41 - 36)*4294/10. Suppose -3*b - u = -7*b - s, -2*b + 2*s + 1086 = 0. Is 16 a factor of b?
False
Let m = 2440 + 20240. Is m a multiple of 40?
True
Suppose -12*j + 15*j - 744 = 0. Suppose 0 = c + 65 - j. Suppose -153 = -12*v + c. Is 12 a factor of v?
False
Let u(r) = 70 - 38 + 16 - 256*r. Is 44 a factor of u(-6)?
True
Let q = 1095 - 1080. Suppose -4*k + 2 + 2 = 0. Is 10 a factor of k + 3 - (-240)/q?
True
Suppose -2076 = 5*g - 3*v, 475 = -5*g - 4*v - 1622. Let x = 741 + g. Is x a multiple of 3?
True
Let p(o) = 29*o**2 + 1812*o + 145. Is 63 a factor of p(-68)?
True
Suppose 26*t = 33865 + 48919. Let m = -1394 + t. Is m a multiple of 21?
False
Let m = -129 + 56. Suppose 0*u - 106 = 2*w + 4*u, -16 = -4*u. Let a = w - m. Is 3 a factor of a?
True
Let y(f) = 6*f - 25. Let z be y(5). Suppose -2*q - w = -3 - 2, -4*q = -w + z. Suppose q = -7*u + 193 + 703. Is 32 a factor of u?
True
Let t = 642 - 474. Is 42 a factor of t?
True
Suppose -11 = -6*z - 5. Suppose -3*a - 4*u = -760, 3*u + 16 - z = 0. Is a a multiple of 12?
False
Suppose 2491 - 237 = 14*v. Suppose 0 = -6*w + v + 1. Is w a multiple of 8?
False
Let h = -86 - -205. Let w = 132 - h. Suppose -18*j + w*j = -250. Is j a multiple of 10?
True
Let h(k) = k**3 + 24*k**2 - k - 17. Let n be h(-24). Suppose -n*w = -5*s - 6*w + 390, -143 = -2*s + 3*w. Does 12 divide s?
False
Let k be (4 - 58/10)/(15/(-100)). Suppose -k*p + 958 = 94. Does 8 divide p?
True
Let o(g) = -g**2 - 34. Let v be o(0). Let r be (-11)/(-33)*-41*3. Let c = v - r. Is 7 a factor of c?
True
Does 24 divide ((-1400976)/6210)/(6/(-5) - -1)?
True
Suppose -4*a - 2*a + 48 = 0. Let z(q) = 1 - a - 4*q + 10. Is 3 a factor of z(-2)?
False
Let n(i) = -i**3 + 4*i**2 + i - 1. Let c be n(4). Is (c + 13)/((-5)/(-30)) a multiple of 12?
True
Let n be -5 - (-9)/(54/48). Suppose 0 = n*v - 316 - 44. Does 6 divide v?
True
Let r = -5573 - -9925. Suppose -157*g - r = -165*g. Does 34 divide g?
True
Let f be (-2)/(-2)*(2 - 25). Let w = f - -38. Is 1587/w + 8/(-10) a multiple of 14?
False
Let g = -11931 - -21867. Is g a multiple of 36?
True
Let d = -9824 - -9819. Let a(v) be the second derivative of v**4/6 + 7*v**3/6 + 2*v**2 - v. Is a(d) a multiple of 9?
False
Let i(c) = 5*c - 34. Let p = -87 - -91. Suppose 0 = -m + 3, -66 = -p*v + 2*m - 24. Is i(v) a multiple of 13?
True
Suppose -60*h + 73*h = -78. Suppose -7*q = -2*q + 30. Is 20 a factor of (7 + q)/(2/h) + 123?
True
Let k(d) = d**2 + 14*d. Let c be k(-14). Let j be (2 + (-388)/8)*(2 - c). Let a = j - -201. Is 12 a factor of a?
True
Suppose -3*o + 3*p - 6 = 39, 30 = -3*o - 2*p. Is 68 - o - (-9)/1 a multiple of 3?
False
Suppose -25*b + 2*b + 585187 = 8*b. Does 20 divide b?
False
Suppose 2*h + 40*z = 45*z + 23303, 3 = z. Does 131 divide h?
True
Suppose -5*t + 80520 = 3*r, -55*r + 51*r - 3*t + 107338 = 0. Is 20 a factor of r?
False
Let q(d) = 36*d - 14. Suppose -15 = -y - 3*y + 3*p, -4*p + 6 = -y. Is 32 a factor of q(y)?
False
Let c(u) = u**3 + 8*u**2 + 2*u + 14. Let q be c(-8). Let d be (1/(-2))/(q/4) + -61. Does 7 divide (1 + 39/9)/((-8)/d)?
False
Is (-7 - 728/(-40))*55/2 a multiple of 22?
True
Suppose 2*o - 33 = -o - 5*r, -r = -5*o + 27. Is 32 a factor of 4/(-8) - o/((-36)/579)?
True
Suppose -2*s - 3*q + 38043 = 0, -2*s + 1125 = -q - 36930. Is 17 a factor of s?
False
Let o = 45894 - 41801. Is 103 a factor of o?
False
Let j = -15926 - -15907. Let s(o) be the third derivative of -11*o**4/24 - 14*o**3 + o**2. Is 17 a factor of s(j)?
False
Let i(b) = -3251 + 1626 + 1623 + 16*b. Is 18 a factor of i(17)?
True
Let x be 3/(-1) + (107 - (-2 - -3)). Suppose g + 4*g - 740 = 0. Let w = g - x. Is 9 a factor of w?
True
Let p(q) = -q**3 + 24*q**2 - 28*q - 48. Is p(9) a multiple of 8?
False
Suppose 3*q + 182 = 5*o, 5*q + 4*o = -0*q - 365. Let k = 121 + q. Suppose -2*v + k = -4*m, -8 = m - 3. Is 4 a factor of v?
True
Suppose 13*o - 15*o + 4 = 0. Suppose -58 = -2*t + o*l - 192, -4*t - 5*l = 241. Let j = -24 - t. Does 6 divide j?
False
Let n(k) = 7*k**3 - 5*k**2 + 2*k - 11. Let v(o) = -o**3 - o**2 + 2*o. Let c(h) = n(h) + 6*v(h). Is c(12) a multiple of 6?
False
Suppose 178*o - 228*o = -693900. Does 69 divide o?
False
Let j(m) = -m**3 + 6*m**2 - 7*m - 5. Let x = -54 - -58. Let v be j(x). Is 21 a factor of (v - 0)/((-8)/1880)?
False
Let n be (5 - 158)*(2 - 4)*1. Is 2 + (n/5 - 14/70) a multiple of 3?
True
Suppose 2*m + 4*l = 38 + 24, -4*m = 5*l - 139. Suppose 3*x - 829 - m = 0. Is x a multiple of 29?
True
Suppose -2*j + 65618 = -4*z, 19*z - 18 = 16*z. Is 217 a factor of j?
False
Suppose 0 = -4*d - 5*c, 27*c - 26*c = 0. Suppose -610*g + 607*g + 1377 = d. Does 74 divide g?
False
Suppose 60*o - 2 = 59*o, -o = 2*a - 26820. Is 34 a factor of a?
False
Let m = 2237 - -184. Is 5 a factor of m?
False
Suppose -31*m = -21*m + 15740. Let z = 2894 + m. Is z a multiple of 55?
True
Suppose -28 = 4*w, 5*z - 25*w = -22*w + 20181. Does 7 divide z?
True
Let q be -4 + (-2)/10 + (-84)/(-20). Suppose q = -l + 2*x - 17 + 42, -161 = -5*l - 2*x. Is 