 w(i) = 8414*i**2 + 2*i + 3. Let f be w(-1). Suppose 9*x = -8*x + f. Is 18 a factor of x?
False
Suppose -y + 24 = 2*s, 5*s + 0*s - 66 = -4*y. Suppose 4*q = -i + 203, -s*q + 3*i = -5*q - 275. Is 4 a factor of q?
True
Let z(q) = 25*q**2 + q + 10. Let r be z(-4). Suppose -29*y = -31*y - r. Let f = 303 + y. Is f a multiple of 20?
True
Let b be ((-1056)/60 + 8)/(6/(-20)). Suppose 26*o + 3042 = b*o. Does 13 divide o?
True
Suppose -5*r + 78610 + 195860 = 5*d, 5*r + 2*d - 274485 = 0. Is r a multiple of 11?
False
Suppose -8*i + 12 = 4*i. Suppose -2*y - 17 = -i. Let g = 83 + y. Does 15 divide g?
True
Suppose 11*j - 8*j + 574 = u, -2*u - 4*j = -1128. Is 71 a factor of u?
True
Let w = 16524 + -11379. Does 105 divide w?
True
Let t(r) be the first derivative of 11*r**6/120 - r**5/20 + r**4/4 - 5*r**3/3 + 16. Let u(m) be the third derivative of t(m). Is u(2) a multiple of 20?
False
Suppose -3*a = -2*t + 22, -10*a = -8*a + 4*t - 12. Let c = 14 - a. Is 14 a factor of c?
False
Let p be ((-86)/(-6) - 4)/((-3)/(-99)). Let n = p - -116. Suppose 0 = 2*h - y - 4*y - 241, 4*h - 5*y = n. Is h a multiple of 9?
True
Let m(k) = -k**3 + 5*k**2 - 13*k + 25. Let d be m(3). Suppose 1607 = d*o + 535. Is o a multiple of 13?
False
Let j(t) = 22*t**2 - 27*t + 243. Does 18 divide j(-9)?
True
Suppose 6*i - 11 = 25. Does 9 divide 13 - i - (-494 + -3)?
True
Suppose 0 = 29*b - 100 - 190. Suppose -b = -2*d, 3*k + 18*d - 17*d = 572. Does 31 divide k?
False
Suppose x + 9 = g, -3*g - 5*x = -0*g - 51. Let o(k) = -14 + 35*k - 13*k - g*k. Is o(8) a multiple of 14?
False
Let k = 6325 - 1045. Is k a multiple of 20?
True
Let l(m) = 2836*m - 1118. Does 21 divide l(5)?
True
Suppose 4*k = -10 + 2, 3*h - 15 = 3*k. Suppose 3774 = h*z + 378. Does 10 divide z?
False
Let g(c) = 3*c - 6. Let y be g(5). Let w be 10*((-2)/9 - (-13)/18). Suppose 4*o + 130 = 2*s, w*o + 4 = y. Is 7 a factor of s?
False
Let i = 19205 + -7284. Is 131 a factor of i?
True
Let a = -650 + 2088. Suppose m + a = -3*x + 8*x, 5*m + 854 = 3*x. Does 9 divide x?
True
Let r = 29785 - 24273. Does 8 divide r?
True
Is 8 a factor of (-2436594)/(-511) - 6/21?
True
Suppose -5*m + 26797 = -3*z, -436*m + 431*m + 2*z = -26793. Is m a multiple of 30?
False
Let w(z) = 79*z - 4. Let k be w(1). Let s = 229 - k. Is 14 a factor of s?
True
Let c be (95/(-20) + 4)*-12. Let f(z) = 42*z - 103. Does 21 divide f(c)?
False
Let l(p) = 8*p + 1. Let c be l(1). Suppose 5*a + 5*z - 13 - 2 = 0, a - 4*z = -12. Suppose a*u - 936 = -c*u. Is u a multiple of 26?
True
Does 117 divide 30 + 13107 + -26 - (8 - 1)?
True
Suppose 3*j + 4*v - 28462 = 0, -2*j - 4*v + 8*v + 18968 = 0. Is 51 a factor of j?
True
Let q(d) = 770*d**2 + 64*d - 185. Is 6 a factor of q(3)?
False
Suppose q - 1785*l + 1788*l - 2028 = 0, -4047 = -2*q + 3*l. Is q a multiple of 75?
True
Let r = 43263 + -23538. Is r a multiple of 54?
False
Let z(x) = -2*x - 17. Let d be z(-13). Suppose d*s = -758 + 2324. Let b = -66 + s. Does 12 divide b?
True
Suppose 0 = -5*x + b - 17 - 71, 0 = x - 3*b + 12. Let w be ((-8)/12)/(4/x) - 107. Let h = 151 + w. Is 19 a factor of h?
False
Let g(z) be the second derivative of 7*z**5/20 - z**4/6 - z**3/6 + 3*z**2 + 26*z + 1. Is g(3) a multiple of 29?
True
Suppose 9*j = -612 - 882. Let y = j - -846. Is y a multiple of 10?
True
Let s(h) = 65*h**2 + 29*h - 104. Does 8 divide s(3)?
True
Suppose 24*m - 28*m - 3240 = 0. Is (22/4)/(5665/m - -7) a multiple of 27?
True
Let o(u) = -u**2 + 3*u + 7. Let t be o(4). Suppose t*g = -f - 0*g + 69, 5*g = 4*f - 293. Does 36 divide f?
True
Suppose 3*v - 4*v + 4*b = -43, -118 = -4*v - 2*b. Suppose -401 = -3*i + v. Is 24 a factor of i?
True
Let g(o) = 18*o - 32. Let b be (-195)/78*(-1 + -15). Does 43 divide g(b)?
True
Suppose t = -2*l + 82, -t - 157 = -3*t + 3*l. Let z = t - 75. Suppose z*j - 151 = 344. Is j a multiple of 33?
True
Suppose -a - l + 445 + 3177 = 0, -4*l + 3640 = a. Is a a multiple of 9?
False
Let t be 27/6 + 3/(-2). Let z be ((-45)/2 - t)*(-4 + 2). Suppose -3*u + z = -6. Does 6 divide u?
False
Suppose 5*b - 163725 = -5*u, 258*u - 256*u - 65490 = 3*b. Is u a multiple of 16?
False
Suppose 593967 = 58*w - 52*w + 117*w. Does 31 divide w?
False
Suppose 12*g - 294 = 5*g. Let u = 98 - g. Is 18 a factor of 2 + u + 12/(-3)?
True
Let s(l) = l**3 - l**2 + 24. Suppose 3*r = b - 3*b - 82, 2*r = 4*b - 28. Let a = 24 + r. Is s(a) a multiple of 4?
True
Let t be 8 + 3 + -8 - 214. Let m = t - -234. Is 2 a factor of m?
False
Let q(v) = -223*v - 610. Does 7 divide q(-16)?
False
Let h(f) = 4*f**3 - 9*f**2 - 53*f - 12. Is 69 a factor of h(12)?
True
Suppose 0 = 16*m + 12*m - 56. Is (-30628)/(-155) - m/(-5) a multiple of 13?
False
Suppose 153*w = 157*w + 88. Is 41 a factor of (-8)/(w - 2)*2409?
False
Let c be (-260)/(-91) - 2/(-14). Suppose 0 = c*j - j - 10. Is 11 a factor of (j - 1) + 32 - 0?
False
Let d(j) = 19*j - 518. Let f be d(27). Suppose 0 = -2*b + 4*b. Is b/f + (1 - -53) a multiple of 17?
False
Suppose 61*x - 65*x + 640 = -4*m, 2*m + 632 = 4*x. Is 2 a factor of x?
True
Let d(z) = -16*z + 71*z + 9455 - 9508. Does 57 divide d(2)?
True
Suppose 3*p = -o - 905 + 4476, 0 = 4*o + 4*p - 14244. Suppose 2*l = d + 1911, -3*l = -3*d - o + 682. Is 17 a factor of l?
False
Let j = 1521 - 298. Is j a multiple of 13?
False
Let m be 72/(-16)*(-2 + 0). Suppose m*l - 5*l - 452 = 0. Let g = l + -66. Does 9 divide g?
False
Let u(h) = 20*h**2 + 4*h - 5. Let g(w) be the first derivative of -19*w**3/3 - 2*w**2 + 4*w + 17. Let o(l) = -4*g(l) - 3*u(l). Does 16 divide o(3)?
False
Suppose 2*s - 24297 = 19*d - 20*d, 2*d + 2*s - 48594 = 0. Is 93 a factor of d?
False
Suppose -23 = -2*v - 3*c + 16, 4*v - 67 = 5*c. Does 7 divide 15*(v - (-8)/(-2))/5?
True
Let o(b) = 113*b - 26. Suppose 54*l - 36*l = 72. Is 71 a factor of o(l)?
True
Let i(n) = 72*n - 11. Let v be i(3). Suppose 202*b + 135 = v*b. Let z = b + 86. Is z a multiple of 12?
False
Let v be ((-8)/18)/(-3*10/135). Suppose -4*q + q = v*h - 4, 8 = q - h. Suppose -q*n = -109 - 7. Does 13 divide n?
False
Does 11 divide (-370063)/(-665)*5 + 4/7?
True
Let w(x) = -x**3 - 4*x**2 - x + 2. Let s be w(-2). Let o(u) be the first derivative of 2*u**3/3 + 3*u**2/2 - 8*u - 2767. Is 2 a factor of o(s)?
True
Suppose 0 = -5*t + 4*a - 32, -3*a - 11 = 47*t - 42*t. Let m(q) = 4*q - q**2 + 3 + 5*q**2 + 7. Is m(t) a multiple of 9?
False
Suppose -4*d + 5 = 1. Let t = d + 7. Suppose -t*b + 9*b = 84. Is b a multiple of 14?
True
Let f be (-2 - -2) + 3*290. Let z = f + -408. Is z a multiple of 10?
False
Suppose w = 2*r + 3, -2*w + 5*r - 3 + 11 = 0. Is 7 a factor of (-16)/w + 2/(-1)?
True
Suppose -q + 6556 = 3*k - 1838, 0 = 3*k. Is 9 a factor of q?
False
Let c(k) = 264*k**3 - k**2 + 2*k - 1. Let v = -48 + 49. Is 34 a factor of c(v)?
False
Suppose -4 = d - 13. Let g be d/(9/3) - -1*33. Suppose k - 115 = -5*t, 5*t = 4*k + 79 + g. Does 13 divide t?
False
Suppose 15*k - 141241 = 126599. Is 4 a factor of k?
True
Suppose -3*y + w + 14 = 0, w + 19 = 4*y - 0*w. Does 6 divide 1 + y/(-3) - 1110/(-45)?
True
Is 52 a factor of (276/23)/((-9)/(-2184))?
True
Suppose -8221 = -2*r + 3*b + 39000, -2*b = r - 23628. Is r a multiple of 54?
False
Suppose -53*m = -4*n - 57*m + 14768, 2*n - 7394 = 3*m. Does 5 divide n?
False
Suppose -2892*y = -2889*y - 141. Is 4 a factor of y?
False
Suppose 5*z = -4*r - 715, -4*z + 177 = -r - 7*z. Let f be (r/(-16))/(3 - 47/16). Suppose 46*l - f = 44*l. Is 18 a factor of l?
True
Suppose -2*l = -6*l + 84. Let u be (-35)/l - 1048/(-6). Let t = -74 + u. Is t a multiple of 33?
True
Suppose -n - 9375 = -5*q, -11*n = 8*q - 6*n - 14967. Is q a multiple of 14?
False
Let a(c) = -1364*c - 382. Is 10 a factor of a(-1)?
False
Let n(l) = 2*l**3 + 9*l**2 - 10*l + 8. Let g(s) = 3*s**3 + 9*s**2 - 10*s + 9. Let h(r) = -3*g(r) + 4*n(r). Let k be h(7). Suppose -21 = -w + k. Does 9 divide w?
True
Suppose -3*s + 3116 = 5*m - 0*s, 4*s = -m + 630. Is m a multiple of 46?
False
Suppose 120 = -83*l + 78*l. Let a = l + 139. Let r = -100 + a. Is r a multiple of 7?
False
Let t be (-24)/(-14) - (-16)/56. Suppose -1539 = -t*u - 7*u. Let r = 242 - u. Does 14 divide r?
False
Let x = 95 + -211. Let s = 220 - x. Does 23 divide s?
False
Let f(k) be the second derivative of k**4/12 + 19*k**3/6 - 73*k**2/2 + 2*k - 18. Does 11 divide f(-25)?
True
Let p(r) = 400*r**3 - 2*r + 1. Let y 