 6*l. Let b be q(-7). Suppose -3*i - b + 100 = 0. Is i a multiple of 6?
False
Suppose -1 = u - 5*w, -12*w + 9 = u - 7*w. Suppose u*t - 168 = 40. Suppose -10*l = -9*l - t. Does 4 divide l?
True
Let x(u) = 15*u**2 + 8*u + 2. Let o be x(-4). Suppose o + 96 = 9*y. Suppose 0 = -i + 3*i - y. Is i a multiple of 2?
False
Let d(k) = 4*k**3 - 5*k**3 + 2*k**3 - 17*k + 42*k - 22*k**2 + 35. Does 13 divide d(22)?
True
Let q be (-3 + 4)/(((-28)/12)/(-7)). Suppose -u = -q*u - 2*s + 4, 2*s = 4. Suppose -7*i - 367 + 1487 = u. Is 31 a factor of i?
False
Let w(c) = 17665*c**2 - 16*c + 18. Is w(1) a multiple of 51?
False
Let l(w) = -2*w**2 - 24*w + 2. Let c(u) = -4*u + 4. Let g(r) = -3*r + 3. Let x(v) = -4*c(v) + 5*g(v). Let i(a) = l(a) + 4*x(a). Is i(-9) a multiple of 3?
False
Let w = 49770 + -28070. Is w a multiple of 50?
True
Suppose 4 = 4*z - 40. Let c(b) = 43*b + 38. Let i be c(12). Suppose 3*w + i = 3*q + z, -q - 3*w + 173 = 0. Does 19 divide q?
False
Let i(b) = -b**2 + 11*b - 24. Let f(x) be the first derivative of -x**2 - 26*x - 40. Let h be f(-16). Is i(h) a multiple of 4?
False
Let c(b) = 3*b**3 + 126*b**2 - 68*b - 267. Is 18 a factor of c(-42)?
False
Let a be ((-6)/12)/(2/(-12)). Suppose 4*z - a*d - 333 = 0, 3*d - 2*d = 4*z - 327. Is 10 a factor of z?
False
Suppose 0 = -2*z + 6, -5*n + 6*z - 120 = z. Let l = -23 - n. Is 17 a factor of (-4 + 9/l)*-6?
True
Let i be 2/(-4)*100/(-5). Suppose 5*p + i = 7*p. Suppose r + 135 + p = 5*c, 0 = c + 3*r - 44. Is 23 a factor of c?
False
Let q(j) = 2*j**2 - 2*j - 1. Let r be q(-4). Let i = -35 + r. Does 24 divide 3 + 91 - 0 - i?
False
Suppose 3*t = -q + 12, -2*t - t = 5*q - 12. Suppose 0 = 11*o - t*o - 3255. Does 17 divide o?
False
Let n(p) = 31*p - 329. Is n(29) a multiple of 10?
True
Is 113 a factor of (-79420 + 452)*((-13)/4 - -3)?
False
Suppose -3*r + 735 = 300. Let j = 719 - r. Is 14 a factor of j?
True
Let z = 125220 - 74514. Does 27 divide z?
True
Suppose 12 = -l - 2*m - 0*m, 2*l + 3*m = -23. Let k(u) = 10*u**2 - 17*u - 99. Does 31 divide k(l)?
False
Let z be 3*2/51 + (-304747)/(-3281). Let i = z - -180. Does 28 divide i?
False
Suppose 0 = 2*s + 2 - 0, -3*v + 4*s + 118 = 0. Let l = -59 + v. Is ((-5)/15)/(1/l) a multiple of 2?
False
Let z(g) = -4 - g**3 + 6*g + 3*g**3 - 3*g**3. Suppose -4*j - j - 5*d = 30, -3*j - 12 = d. Is 3 a factor of z(j)?
False
Let y(g) = g**3 + 35*g**2 - 28*g - 872. Is y(-26) a multiple of 50?
False
Let s(j) = -3*j**3 - 7*j**2 + 9*j - 5. Let v(o) = -5*o - 36. Let b be v(-6). Let f be s(b). Let t = f - 154. Is 26 a factor of t?
False
Suppose -103*n + 59*n - 1455104 = -102*n. Is n a multiple of 122?
False
Suppose p - 40*p = -507. Suppose -1803 = -5*l + c, -4*l + 1439 = -4*c - p. Does 12 divide l?
True
Let g(x) = -6*x - 92. Let y be g(-17). Let h(f) = 2*f**3 - 18*f**2 - f - 5. Is h(y) a multiple of 23?
False
Suppose -6*f = -f - 890. Let u(c) = -c**2 - 57*c - 529. Let y be u(-34). Let j = y - f. Is j a multiple of 25?
True
Let y(t) = 37*t**2 - 25*t - 78. Is y(-5) a multiple of 54?
True
Suppose 17*l = 13*l - 64. Is (1 + (-536)/l)/((-3)/(-4)) a multiple of 11?
False
Suppose -7*s = -8*s - 14. Let w = s + 14. Suppose w = 2*b + b - 27. Does 2 divide b?
False
Let q = -1530 + 1517. Suppose 0 = -g - 5*w + 9, 0 = -0*g - 4*g - 4*w + 36. Let o = g - q. Is o a multiple of 22?
True
Suppose -3*k = 2*c - 120, -5*c - 4*k + 155 + 131 = 0. Let a = c + 61. Suppose 14*s - 19*s + a = 0. Is 5 a factor of s?
False
Let m = 5478 - 5573. Suppose 5*j - 725 = -115. Let i = m + j. Is 16 a factor of i?
False
Suppose a - 2*f - 340 = 0, -2*a + 2*f = a - 1000. Let b = a + -581. Let u = -96 - b. Is u a multiple of 31?
True
Suppose 4*m - 134 = 2*b, -b + 2*b + 2*m + 63 = 0. Let y = b - -70. Suppose -y*h + 72 + 58 = 0. Does 9 divide h?
False
Suppose 25*l - 27*l - 12 = 0, 2*i - 9534 = -l. Is 6 a factor of i?
True
Suppose 142026 = 37*w - 221129. Is w a multiple of 13?
True
Let f(p) = 11*p. Let w be f(-3). Let b = w + 35. Suppose 0*h - b*h = 3*v - 296, -4*v = -16. Does 21 divide h?
False
Suppose -50*i + 51*i + 1292 = 0. Let j = i + 2128. Does 16 divide j?
False
Suppose 202*d - 3297 = 195*d. Suppose x + 3*b - d = -2*x, -x = -b - 163. Is x a multiple of 20?
True
Let m = 156 - 148. Suppose -m*s + 49 = -103. Is s a multiple of 4?
False
Let w be 7 - (-13 + 5 + 0). Suppose w*t - 19*t = -2336. Is 73 a factor of t?
True
Suppose k + 13*h = 12*h + 18206, -3*k - h = -54622. Is 173 a factor of k?
False
Let w(u) = 12*u + 8*u**2 + 5*u - 12*u - u**3 + 7. Let b be w(9). Let r = b - -125. Is r a multiple of 17?
False
Suppose 40*v = 28*v + 15*v - 59313. Does 17 divide v?
True
Let u(k) = 152*k**2 - 3*k + 86. Does 44 divide u(-5)?
False
Let o = 528 + -526. Suppose -5*z - 4*k - 1111 = -6*z, o*k = -5*z + 5467. Is z a multiple of 22?
False
Let m(l) = -286*l - 2238. Is m(-23) a multiple of 28?
True
Let z(y) = -y + 1. Let v be (0 + 1/(-6))/((-2)/12). Let b(w) = w**2 + 3*w + 38. Let f(x) = v*b(x) - 4*z(x). Is f(-14) a multiple of 13?
False
Suppose 187*w - 238260 = -22*w. Is 114 a factor of w?
True
Let k be (7 - -2) + (-4 - 0). Suppose -4*b + 470 = 5*l, 7*b + 470 = k*l + 3*b. Let s = -69 + l. Is 5 a factor of s?
True
Let t(g) = -1579*g + 1102. Is t(-11) a multiple of 141?
True
Let r be 7/42 - 1227/18. Does 13 divide ((-1)/(-3))/(18/(-162)) - r?
True
Let m = 40032 - 23078. Is m a multiple of 173?
True
Suppose 480 = 2*x + i, 247 = 3*x - 2*x + 4*i. Suppose 2*w - x - 193 = 2*m, 0 = -5*w - 5*m + 1080. Is 24 a factor of w?
True
Suppose 3*g - 5 = s - 0*s, s - 16 = -4*g. Suppose 0 = -g*u + 8*u + 15. Does 21 divide -4*-14*u*(-4)/32?
True
Let o = -5060 - -3301. Let v = o + 2463. Is v a multiple of 16?
True
Suppose -7*s + 9*s - 2080 = 0. Let w = s - 66. Is w a multiple of 50?
False
Let q(x) = 8*x**3 - 4*x**2 - 3*x. Let g be q(-1). Is (-6)/g + 2272/12 a multiple of 22?
False
Suppose 5*l + 5424 = 6*l + 2*h, 2*h = 2. Does 12 divide l?
False
Suppose -3*w + 16 + 24 = 5*a, -3*a + 24 = -5*w. Is 6/8 - (-602)/a a multiple of 47?
False
Let k(j) = 23*j**2 + 8*j + 12. Let n(s) = -23*s**2 - 8*s - 11. Let h(u) = -2*k(u) - 3*n(u). Is 22 a factor of h(-2)?
False
Suppose 6*y + 44548 = 124*y - 211040. Does 6 divide y?
True
Suppose 0 = 5*g + 3*c + 209, 4*g = -8*c + 3*c - 162. Let f = g + 67. Suppose 3*p - 6*p + f = 0. Is p a multiple of 8?
True
Suppose 3*c = -4*w + 1232, -3*w = 10*c - 13*c - 903. Let g = w - 233. Does 3 divide g?
True
Suppose -2 = 3*h - 41. Suppose -h*n + 15 = -10*n. Suppose -5*o + n*a = -40, -1 = o + 3*a + 3. Is 2 a factor of o?
False
Let o(k) = 22*k - 41. Let n be o(3). Let q = -17 + 20. Suppose 3*d - 2 = 4*a - n, 19 = q*a - 4*d. Does 2 divide a?
False
Let h = 32892 + 51698. Is h a multiple of 110?
True
Let l(g) = 133*g**2 + 29*g + 232. Does 248 divide l(11)?
False
Is 30/(-9)*364890/(-50) a multiple of 49?
False
Suppose -5*o = -25 - 0. Let y = 325 - -82. Suppose y = 3*i - u, 2*i - 109 = o*u + 145. Does 32 divide i?
False
Does 3 divide (5 + (4 - 15))*(-1 - (-135)/(-2))?
True
Suppose 35965 = 248*k - 243*k. Is 26 a factor of k?
False
Suppose -5*y + 7122 = 3*v, 0 = v - 4*y - y - 2394. Does 39 divide v?
True
Let y(h) = -h**2 - h + 68 + 97 + 40 - h**3. Let r = 3569 + -3569. Does 49 divide y(r)?
False
Let n(r) = -135*r - 13. Let y be n(-14). Suppose 3*j = 5*p - y, -5*j + 272 = p - 81. Does 18 divide p?
False
Let i = -24 - -27. Let k be ((-45)/(-4))/i + (-10)/(-40). Suppose k*v - 185 = -1. Is 9 a factor of v?
False
Suppose 0 = 19*t - 25*t + 30. Let v(z) = 1. Let w(o) = 11*o + 25. Let h(c) = 6*v(c) + w(c). Does 8 divide h(t)?
False
Let i(y) = y**3 + 19*y**2 + 2*y - 22. Let u(v) = -v**2 - v + 12. Let w be u(5). Let r be i(w). Suppose 0 = 76*j - 74*j - r. Is 5 a factor of j?
False
Suppose 1080 = -11*a - 1032. Let v = a + 209. Does 2 divide v?
False
Suppose -721116 = -64*c + 902432 - 510140. Is 19 a factor of c?
False
Suppose 2*d - 5*q + 255 = 7*d, -d - 2*q = -52. Suppose -3*b - 106 = d. Let v = -27 - b. Is 25 a factor of v?
True
Let c(z) be the first derivative of -z**4 - z**3 - z**2 - 17. Let b be c(-1). Suppose -b*q - 2*d + 524 = -d, -q + 160 = 4*d. Is 22 a factor of q?
True
Let f be 2*(-1)/(3/(-6)) - 262. Let z = f - -448. Is 19 a factor of z?
True
Does 39 divide 1 - (24/20)/((-6)/23295)?
False
Does 132 divide (-14525325)/(-7776) + 1/32?
False
Let x(a) = a**3 - 2*a + 14. L