x(u)?
True
Let i = 33 + -47. Suppose -45 = -4*z + l + 5, -z + 16 = -2*l. Does 5 divide (z - 5)*(-30)/i?
True
Let s be (4 + 3/(-3))*(-20 + 23). Let d(z) = -2*z**2 + 22*z + 30. Is 11 a factor of d(s)?
True
Let r = -1 - 15. Let u(o) = -7*o**2 - 31*o - 16. Let m(b) = -4*b**2 - 15*b - 8. Let g(l) = -5*m(l) + 3*u(l). Does 8 divide g(r)?
True
Let q(z) = -220*z - 680. Is q(-26) a multiple of 14?
True
Suppose 5*h = -3*r + 56002, -3*h + 5*h - 22403 = r. Is h a multiple of 37?
False
Is 2 a factor of (-382400)/(-160) + 8/(-2)?
True
Let v(q) = 7*q + 7. Let h be v(-3). Let i be (-8)/5*35/h. Suppose -88 = 3*d - i*d. Is d a multiple of 11?
True
Suppose -1675 + 9535 = 3*c + i, 3*i = 9. Is 27 a factor of c?
True
Suppose -176*u - 53435 = -280827. Is 12 a factor of u?
False
Let z be (14670/12)/((-3)/(-4)). Let p = -1006 + z. Does 12 divide p?
True
Let r = -14433 - -29857. Does 15 divide r?
False
Suppose 19*n - 17295 = -4*n + 18*n. Is n a multiple of 5?
False
Let h(w) = -5*w + 165. Suppose 5*f + v + 4*v = 135, -80 = -3*f - 2*v. Is h(f) a multiple of 7?
True
Let l = 113 + -100. Suppose -l*h = -3205 + 1021. Is 65 a factor of h?
False
Suppose -17 = 9*d - 35. Is 22 a factor of ((-96)/56)/(d/154*-1)?
True
Suppose -5*w - 421 - 357 = -2*t, -3*w - 1140 = -3*t. Is t a multiple of 4?
False
Suppose -26*k = -11*k - 22755. Let z = k + -1013. Is z a multiple of 56?
True
Let x be 108*((-42)/18)/(-7). Suppose x - 182 = -2*y. Is y a multiple of 9?
False
Let b(k) = 15*k**3 + 24*k**2 - 70*k - 18. Is 7 a factor of b(5)?
True
Suppose i + 5660 = n, -4*n = -3*i + 2177 - 24819. Is n a multiple of 68?
False
Is (-47316)/(-102) - (-24)/204 a multiple of 8?
True
Let y be (-2)/6 - (3 + (-40)/12). Suppose 3*m - 4*u - 54 = y, u - 54 = -3*m + 15. Suppose -m*o = -23*o + 135. Is 9 a factor of o?
True
Suppose b = -f + 3379, 3151 = 2*b - f - 3622. Does 47 divide b?
True
Let l(z) = 245*z + 665. Let a(s) = 13*s + 35. Let h(m) = -56*a(m) + 3*l(m). Let t be h(-3). Suppose t*d = 8*d + 972. Is d a multiple of 27?
True
Let f = 19025 - 10906. Is 45 a factor of f?
False
Let v(b) = -37*b**3 + 7*b**2 + 32*b + 230. Does 101 divide v(-6)?
True
Suppose -23*l = -21*l - 56. Is 29 a factor of 2/7 - (-9736)/l?
True
Let s(r) = -2*r + 64. Let o be s(31). Suppose 0 = -o*q + n - 27 + 139, 0 = 2*q - 4*n - 112. Is 14 a factor of q?
True
Suppose -26 = -5*r - 936. Is (-471)/(-7) + 52/r a multiple of 44?
False
Suppose -1374*d = -1368*d + 2646. Let c = d - -573. Is 44 a factor of c?
True
Let o(s) = s**2 + 17*s + 20. Let d be o(0). Suppose 17*j = d*j - 1371. Is j a multiple of 15?
False
Suppose 15*o + 92259 = 17*o + 1595. Does 60 divide o?
False
Let a(m) = m + 12. Let d be a(-7). Let z be d + -1 + 6 + -4. Suppose k = 4*k + q - 363, 0 = 2*q - z. Does 12 divide k?
True
Let b(t) = -t**3 + 18*t**2 - 26*t - 8. Let v be b(16). Is 3538/8 - 110/v a multiple of 21?
True
Let p be ((-3)/((-3)/(-3)))/1. Is (24/p)/2 - (22 - 185) a multiple of 16?
False
Suppose -5*z = -c + 77 + 24, c - 129 = -2*z. Suppose -17*o + 2 = c. Let q(u) = -46*u - 32. Is q(o) a multiple of 37?
False
Is 213 a factor of ((-8)/(-6))/(36/572238)?
False
Let v(o) = 20*o - 33. Let n(w) = w + 13. Let t be n(-2). Let u(y) = -10*y + 17. Let b(c) = t*u(c) + 6*v(c). Is b(4) a multiple of 16?
False
Suppose 4*k - 2*k - 1034 = -p, -k = -5. Is 8 a factor of p?
True
Let v(t) = -t**3 + 11*t**2 - 5*t - 22. Let b be v(11). Let o = 133 + b. Suppose 5*j - 6*j = -o. Is j a multiple of 7?
True
Let b(j) = 6*j + 163. Let o be b(14). Suppose 0 = -2*d + 4*y + 319 + o, -5 = y. Is 21 a factor of d?
True
Suppose -b - 25830 = -2*o - 5407, -4*o + 40851 = -3*b. Is 65 a factor of o?
False
Let n be 6/10 - ((-14)/5)/2. Suppose -11*q + 16*q + k = 1388, 0 = n*q - k - 551. Does 42 divide q?
False
Suppose -43*x + 16362 + 41366 = 121*x. Does 32 divide x?
True
Suppose 30*u - 2108 = -38*u. Does 7 divide u?
False
Let i(a) = -a**3 + 8*a**2 - a + 13. Let d be i(8). Let k(v) = 397*v + 80. Is k(d) a multiple of 16?
False
Let d = -1959 - -3243. Is d a multiple of 61?
False
Suppose 4*t - 323 + 71 = 0. Suppose 2*v + 3*b - 26 = 0, 3*v = -b - 17 + t. Let l(y) = 4*y - 16. Is 8 a factor of l(v)?
True
Let l(b) = 3*b - 16. Let o be l(7). Let t(g) = g**3 - 5*g**2 + 2. Let v be t(o). Suppose u + 11 = v*u. Is u a multiple of 11?
True
Let o = -20201 + 34329. Is o a multiple of 16?
True
Let r(q) = -q**3 + 12*q**2 - 7*q + 1. Let o(j) = -6*j - 7. Let b be o(-3). Let g be r(b). Let n = g + -23. Is n a multiple of 5?
False
Let f(w) = 141*w**2 + 15*w - 20. Let m be f(4). Suppose -4*u - 196 + m = 0. Is 7 a factor of u?
True
Let q be (0 + 55/(-4))*8. Let b(c) = c**3 - 24*c**2 - 70*c + 340. Let u be b(26). Let s = q - u. Does 6 divide s?
True
Suppose -42*t + 128978 = 35240 - 38562. Does 5 divide t?
True
Let m(s) = s**3 - 14*s**2 - 2*s - 12. Let o be m(14). Let q = 47 + o. Let f(z) = 8*z - 30. Is 22 a factor of f(q)?
False
Suppose -9*d = -13*d + 20. Is 12 a factor of 107 + (7 - d) - (-5 + 1)?
False
Let c(z) = -20*z - 22. Let v be c(-3). Let l = 36 - v. Does 34 divide 6878/171 + l/9?
False
Let k be (35/5 + -6)*-5*1. Let h(z) = z**3 + 6*z**2 + 7*z. Let j be h(k). Does 8 divide (-102)/(-4) - (-15)/j?
True
Suppose 2*d + d + 2*s = 5, -4*s = 2*d + 10. Suppose i + 272 = d*i + 3*x, -154 = -2*i + 3*x. Does 2 divide i?
False
Let w(j) = -j**2 - 10*j - 3. Let b be w(-7). Suppose -5*r - 273 = -2*p, 81 - 334 = -2*p + r. Let f = p + b. Is f a multiple of 26?
False
Let j be 16 + -13 + -1 + 1. Suppose j*s + 573 = 3*h, -5*h + s + 949 = 2*s. Is 13 a factor of h?
False
Let b be (-17 - (-2 + 1))*1. Let g be (49/28)/(2*1/b). Is (-6)/g*-1 - (-367)/7 a multiple of 3?
False
Let u(t) = t**3 - 34*t**2 - 29*t + 78. Is u(35) a multiple of 103?
False
Suppose -u - h - 3*h = 33, 0 = -4*u - 4*h - 120. Let x = -38 - u. Let g(w) = w**3 + 9*w**2 - 13*w + 1. Does 32 divide g(x)?
False
Let l(v) = 3*v - 46. Let d be l(16). Suppose -d*q - 452 = -2*m, 0 = -3*m + 2*q + 179 + 494. Is 21 a factor of m?
False
Let k(z) = 16*z**3 - z**2 - 4*z - 8. Is k(4) a multiple of 24?
True
Let q(w) = 5*w**2 + 13*w + 154. Does 25 divide q(-28)?
False
Suppose 5*r = -2*o + 1907, -22*o - 4841 = -27*o - 2*r. Is o a multiple of 6?
False
Suppose -t - 3*m = -18, -5*m + 6*m - 14 = -3*t. Suppose 0 = -2*q - 4*d + 236, 3*q - 231 = -t*d + 117. Is q a multiple of 6?
True
Let n(h) = 4*h + 20. Let f be n(8). Suppose 0 = -3*c + o - f, -5*c + 4*o - 88 = 2*o. Is 2/2*(12 - c) a multiple of 28?
True
Suppose 4*f + 1 = 17. Let j(t) = 10*t**2 + 8*t - 6. Is j(f) a multiple of 18?
False
Let y(g) = -4747*g - 5. Let z be y(-1). Is 14 a factor of z/8 - -2*(-2)/(-16)?
False
Suppose 3*m + m - 116 = 0. Suppose 0 = m*s - 30*s - 142. Does 4 divide 2/9 - (-4 - s/(-9))?
True
Let q be -6 + (-21)/(-12)*12. Suppose 245 = -3*r + 8*r. Suppose r = -q*t + 139. Does 3 divide t?
True
Let g(f) = f**3 - f**2 - 9*f - 170. Let u be g(0). Let s = u - -281. Does 6 divide s?
False
Let s be 7 + (-1)/((-14)/4 - -3). Suppose -s*m = -4*m - 3740. Suppose w = 5*d - m, -2*d + 137 = -w - 161. Is 35 a factor of d?
False
Let l(j) = 29*j**2 + 50*j + 191. Let g be l(-5). Suppose -g + 2243 = f - 4*a, -2*f + 3104 = 2*a. Does 79 divide f?
False
Let m(d) = 3*d - 8 - 5*d - d**3 - 13*d**2 - 5*d. Suppose 12*h + 109 = -59. Is 20 a factor of m(h)?
False
Let w(j) = 485*j**2 + j. Let x(q) = 5*q + 91. Let p be x(-18). Is 54 a factor of w(p)?
True
Suppose 275*u + 11*u - 2211376 = 4944630. Is 32 a factor of u?
False
Is -12 + 34/17 - -8164 a multiple of 18?
True
Does 67 divide (-9)/(-252)*-4 + 1 + (-1376485)/(-35)?
True
Suppose 0 = -32*u + 43*u - 66. Is 3 a factor of 4/u + (-5 - (-510)/18)?
True
Suppose 74 - 411 = 4*o - 5*z, -15 = 5*z. Let q be (-16)/o - 3716/(-11). Let p = q - 212. Is 38 a factor of p?
False
Let j = 37405 - -16312. Is j a multiple of 49?
False
Suppose -4*g = 5*a + 567, -5*a + 264 = -2*g - a. Let l = 290 + g. Suppose y + 4*x - 149 = -0*x, -y = 3*x - l. Does 43 divide y?
False
Let d = -4992 - -10856. Does 7 divide d?
False
Let o be (-8)/(-24) - (-86)/3. Suppose 136 = o*q - 25*q. Does 4 divide q?
False
Let p(s) = -s**3 + 6*s**2 + 2*s - 10. Let c be p(6). Let f be 80/12 - (-1)/((-3)/c). Suppose f*a + 34 - 244 = 0. Is 3 a factor of a?
False
Let u = 23381 - 18327. Is 2 a factor of u?
True
Let r(m) = -m**3 + 17*m**2 + 16*m + 24. Let v be r(18). Is ((-1158)/