1*x. Is (-1)/2 + (-8)/((-208)/x) a multiple of 45?
False
Let x(a) = -276*a**2 + 3*a - 31. Let w(c) = 92*c**2 - c + 10. Let q(r) = 7*w(r) + 2*x(r). Does 22 divide q(2)?
True
Does 34 divide 68/((12/976)/((-12)/(-8)))?
True
Does 9 divide (1643 + 4)/(18/198)?
True
Let f be (-375)/20 + 1/(-4). Let m = f + 11. Does 14 divide 0 - m/((-32)/(-252))?
False
Let p(c) be the first derivative of 35*c**2/2 - 31*c - 179. Let a = 9 + -4. Is p(a) a multiple of 17?
False
Let k = 23 + -14. Suppose g - 5*m = 23, 10*m = 8*g + 7*m - 258. Let i = k + g. Is i a multiple of 6?
True
Suppose 2*x = -4*h + 59804, 9*x - 17*x + 2*h + 239342 = 0. Is 108 a factor of x?
True
Let j = -29 - -31. Suppose -28 = -3*u + j*l, -3*u - 2*u + 5*l + 55 = 0. Is (u/(-8) + 2)*(35 - 7) a multiple of 3?
False
Let i(t) = 2*t**2 - 83*t + 20. Is 6 a factor of i(-52)?
True
Suppose 0 = -z - t + 7574, 15*t - 19*t = -z + 7564. Is 12 a factor of z?
True
Let n = 1459 + -1041. Let o be n/6 - 4/6. Let k = o - 6. Is k a multiple of 10?
False
Let t(s) = 6*s**2 + 5*s - 4. Let i(l) = l**3 + l**2 - 3*l + 2. Let v be i(-3). Let j be t(v). Let o = j + -111. Is 48 a factor of o?
True
Let w(d) be the third derivative of 61*d**4/24 + 7*d**3/6 + 1008*d**2. Let f be 2/3*3 - 1. Does 7 divide w(f)?
False
Let n(z) = 5*z**3 - 105*z**2 + 10*z + 94. Is 8 a factor of n(21)?
True
Let c(i) = i**2 + 10*i - 16. Let h be c(7). Let s = -82 + h. Suppose s*o + 360 = 23*o. Does 9 divide o?
True
Is (12690/105)/((-16)/(-2016)) a multiple of 94?
True
Suppose r = 0, -70 = -2*v - 4*r + 258. Suppose -h = -m + 165, -h = m - v - 5. Does 15 divide m?
False
Suppose 345*c - 341*c + o = 60911, 2*c - o = 30457. Is 108 a factor of c?
True
Let f(w) = w**3 + w**2. Let p(q) = q**2 - 4*q + 5. Let r be p(2). Let i(x) = 5*x**3 + 22*x**2 - 5*x + 32. Let m(h) = r*i(h) - 6*f(h). Does 47 divide m(15)?
False
Suppose -5*x - o = -37, -6 = 2*o - 5*o. Let b = -23 + 383. Suppose -2*h = -x*h + b. Is h a multiple of 9?
True
Suppose 2*w - 3*t - 539 = 0, 2*t - 1360 = -5*w + 7*t. Let g = w - 221. Is g a multiple of 4?
True
Let r = 24056 - 13472. Is 9 a factor of r?
True
Suppose 6 = -3*k - 3*w, -3*k + 4 = 2*w + 7. Let i = 263 + -261. Is 20 a factor of 123/(5 - i)*k?
False
Suppose 0 = -176*v + 162*v + 2310. Does 129 divide v?
False
Suppose 5*q - 3*g - 70205 = 0, 6*q = q + 4*g + 70210. Is q a multiple of 5?
False
Suppose -3*g - 81 + 1641 = -4*f, 4*g - 2080 = 5*f. Suppose 7*m = 3*m + 4*x + g, -x = 4*m - 500. Suppose -3*z + 330 = m. Is 34 a factor of z?
True
Let d = -1491 - -2483. Is 32 a factor of d?
True
Let o be 1*((-2 - -4) + -8). Let b be ((o/(-3))/(-2) - -2)*2. Suppose k = -b*p + 13 + 7, 2*k - 8 = 0. Is 8 a factor of p?
True
Suppose 5*d + 2 = d - 2*j, -6 = -2*j. Let t(v) = 25*v + 5. Let h be t(d). Is (-2)/5 + (-2493)/h a multiple of 11?
True
Let l(a) = -6*a**3 - 9*a**2 - 13*a - 6. Let m(k) = 5*k**3 + 9*k**2 + 13*k + 7. Let v be 30/4*4/(-6). Let q(p) = v*m(p) - 4*l(p). Does 21 divide q(-8)?
False
Let a = -110 + 249. Let m = 173 - a. Is 16 a factor of m?
False
Suppose 2619 + 1061 = 16*l. Let b = -200 + l. Is 6 a factor of b?
True
Let c be 9/(-8)*(-22)/(-33)*504. Let s = c + 922. Does 34 divide s?
True
Let n = 3155 - -3677. Is 28 a factor of n?
True
Suppose -3*s - 36 = -4*i + s, 5*i - 4*s = 41. Suppose 4*n + 4 = 4*z, z + 0*z = i*n - 3. Is (n - -30) + 4 - -1 a multiple of 18?
True
Let z = -4904 + 10208. Is 104 a factor of z?
True
Let p(j) be the first derivative of j**3/3 - 5*j**2/2 + 6*j - 1. Let r be p(3). Suppose 37*o - 40*o + 459 = r. Is 44 a factor of o?
False
Let k = 23599 - 8815. Is 88 a factor of k?
True
Let q = -796 + 790. Let h(u) = -4*u**3 - 4*u**2 - 3 + 10*u + 3*u**3 + 7. Is h(q) a multiple of 16?
True
Does 33 divide 5718/4*(230/(-24))/(25/(-40))?
False
Let d(v) = -2*v + 13. Suppose -4*w = -l - 2*l - 18, 0 = -l + 2. Let q be d(w). Is 6 a factor of 44 - (-8 + 4 + q)?
False
Let r = -46 - -49. Let h be ((-32)/3)/(r/(1 + -19)). Let p = h - 40. Does 6 divide p?
True
Suppose 15*i - 34129 = -10609. Is i a multiple of 6?
False
Suppose 12 = -26*l + 29*l. Suppose -111 + 427 = l*x. Suppose 6*o - 95 = x. Is o a multiple of 4?
False
Let o(b) = -2*b**3 - 49*b**2 - 65*b - 57. Let z be o(-23). Let p be (1 + -3)/(6/(-663)). Let d = z + p. Does 12 divide d?
True
Suppose -4*x + j = -8*x + 87, 0 = -x + j + 28. Let b(n) = 3*n**2 - 66*n - 13. Is 13 a factor of b(x)?
False
Let v = -40 + 114. Let g = 89 - v. Is 15 a factor of 34395/225 + 2/g?
False
Suppose -21*b - 56448 = -42*b. Does 28 divide b?
True
Suppose 0 = -42*a + 32*a - 30. Let q(g) = 2 - 2 - 55*g + 2 + 1. Does 16 divide q(a)?
False
Let h(d) = 4*d**2 - 42*d - 214. Does 3 divide h(-6)?
False
Suppose -44*m = -22*m - 339964 - 309828. Is 208 a factor of m?
True
Suppose 0 = o - 26 - 109. Let x = 128 - -140. Let j = x - o. Does 14 divide j?
False
Let g be (5/3 + -1)*(-30 + 36). Suppose -520 = -3*k + 4*w, 4 = -g*w - 12. Is 42 a factor of k?
True
Let i(c) = -c + 14. Let s be i(2). Suppose -25*x = -s*x - 5304. Suppose 17*u - 13*u - x = 0. Is u a multiple of 20?
False
Let f(v) = -23*v - 5. Let n be f(-10). Let j = n + -117. Let s = j + -63. Is 8 a factor of s?
False
Let d(q) = q**2 + 30*q - 410. Does 18 divide d(-58)?
False
Suppose -5*y + 3*u = 9, u = -2*y + 5*y + 3. Suppose -r = -30*r - 29. Does 29 divide (y - r)/((-2)/(-232))?
True
Does 116 divide ((-210)/(-8))/(-5 - (-1414)/280)?
False
Let n(b) = b + 5 + 10 - 1. Suppose -29*i = -6*i - 460 - 184. Is 14 a factor of n(i)?
True
Suppose 59 = 5*p - 71. Let j = -3235 + 3235. Suppose 2*w + 0*w - p = j. Is 7 a factor of w?
False
Let o be (20/(-3) - -6) + 11/3. Suppose -4*z = o*i - 711, 14*z - 18*z + 12 = 0. Is i a multiple of 14?
False
Let j = -1079 - -5754. Suppose 11*h - 968 = j. Is 27 a factor of h?
True
Let i(w) = w**3 + 65*w**2 + 157*w - 49. Is i(-56) a multiple of 21?
True
Let t = 117 - 75. Suppose t*f - 1095 = 37*f. Does 3 divide f?
True
Let c(h) be the second derivative of -h**5/60 - 7*h**4/8 + 37*h**3/6 - 12*h**2 + 9*h. Let w(j) be the first derivative of c(j). Is w(-22) a multiple of 3?
True
Suppose -510540 + 60031 = -65*t + 245771. Is t a multiple of 8?
True
Suppose -p + 1981 - 34 = -362. Is p a multiple of 24?
False
Let k be (-5)/(5/(-2))*(5 - 3). Suppose -k*r - 15 = 5, -4*a = r - 7. Suppose -h - a*g = -65, 7*g = 4*g + 6. Does 11 divide h?
False
Let z(w) = 8*w**2 + 5*w + 9. Let c = -8 - -39. Let f = c - 34. Is z(f) a multiple of 12?
False
Suppose 14 = 4*o + u, -2*o - 2*u + 29 = 25. Suppose 0*d - 4*g - 484 = -4*d, -o*g = -20. Is 21 a factor of d?
True
Let v(b) = 36*b**2 + 12*b - 33. Let u be v(5). Suppose 0 = 4*q + 12, 5*q + u = 39*h - 36*h. Is h a multiple of 23?
False
Let n(h) = 3*h**2 - 3*h**2 - 5 + 4234*h**3 - 4232*h**3 - 7*h. Does 8 divide n(6)?
False
Let w = -163 - -170. Is 14 a factor of (-2)/w + 35320/140?
True
Let v = -190 + 163. Let k(d) = d**3 + 27*d**2 - 6*d - 96. Is k(v) a multiple of 8?
False
Suppose -31*h - 16366 = -32*h + 5*d, 4*h + 3*d = 65533. Is h a multiple of 186?
False
Let a be 1/5 + 3 + (-2588)/(-10). Let b = -191 + a. Is b a multiple of 3?
False
Let j(o) = -o**2 - 44*o - 230. Is 11 a factor of j(-21)?
True
Suppose 18*n - 3*n - 75 = 0. Suppose 0 = 4*d - n*o - 6452, -2*d + 3*o = 2*d - 6452. Is 12 a factor of d?
False
Suppose -147*g + 36*g - 318019 = -1204465. Is g a multiple of 11?
True
Suppose -36*w + 201948 = 62448. Is 125 a factor of w?
True
Suppose 0 = 11*v - 5*v + 270. Let j = 37 + v. Let w = 148 + j. Is w a multiple of 14?
True
Suppose -7*h + 3*a - 78400 = -11*h, h - 19593 = a. Does 35 divide h?
False
Suppose 4*y - 3*t = 141, 5*y - 6*y + 37 = t. Suppose 0*x + y = -6*x. Is 24 a factor of (-454)/x + (-1)/(-3)?
False
Let k(n) = -191*n - 1303. Does 208 divide k(-9)?
True
Let v = 20 + -36. Let x = 23 + v. Suppose -x*z = -6*z - 20. Is 10 a factor of z?
True
Suppose -29012 = -4*q - 6*s + 27628, 4 = 2*s. Is 11 a factor of q?
True
Let u(c) = c**3 - 13*c**2 - 31*c + 15. Let q be u(15). Let r = 5 - q. Is 16 a factor of r - (-41)/2*6?
True
Suppose -5*z + 2*j = -17827, z = -5*j + 1044 + 2543. Is 19 a factor of z?
False
Let v(t) = 1328*t - 12104. Does 24 divide v(15)?
False
Suppose -4*t - 33 = 139. Let p(b) = -7*b - 10. Is p(t) a multiple of 5?
False
Suppose -39 = 3*c - 48. Does 17 divide ((-8)/(-12))/((-6)/(-2754)*c)?
True
Let l be (2*7)/(-6 + 7 + -3). Let z(