et i be x(0). Let k(l) = -l**2 + 15*l - 17. Let o be k(i). Is 10 a factor of -8*(-5)/2 + o?
False
Suppose 44*d = -75*d + 490637. Is 31 a factor of d?
True
Let w be ((-65)/10 + 5)/(6/(-16)). Suppose w*b - n - 1680 = 0, -4*b - n + 4*n = -1672. Is b a multiple of 20?
False
Suppose 0 = 2*w + u - 1134, 5*w + u - 2213 = 628. Is 2 a factor of w?
False
Let c = 2089 - 283. Does 86 divide c?
True
Let z = 16 + -8. Suppose -2*d - 2 = -s, 3*s + 17 = z*s - 3*d. Let f(k) = 3*k**2 - 6*k + 1. Does 19 divide f(s)?
False
Suppose -18*l - 18717 = -5*l - 57587. Is 11 a factor of l?
False
Let l = 804 - -17052. Is l a multiple of 6?
True
Let k(j) = j**3 + 6*j**2 - 10*j - 13. Let x be k(-7). Suppose 21*z = 17*z + x. Suppose -y + m = -0*y - 96, -z*y - 4*m + 192 = 0. Is y a multiple of 7?
False
Suppose -49 = -2*f + 3*r - 2*r, -3*f + 5*r = -70. Let n = 102 + f. Is n a multiple of 7?
False
Suppose 0 = -19*s + 11*s - 720. Let i = 93 + s. Let f(z) = 13*z**3 - 4*z**2 - 2*z - 5. Is f(i) a multiple of 38?
True
Let y be (367/3)/((-6)/(-18)). Let p = y - 185. Is 13 a factor of p?
True
Suppose -1990912 = -367*a + 290*a. Is 256 a factor of a?
True
Suppose 21*m - 22474 = 13680 + 16010. Does 27 divide m?
True
Suppose 3 = -6*y + 9. Let k be -6 + 5 - (0 - (y + 5)). Suppose k = i - 4. Does 9 divide i?
True
Let v = 25106 + -20793. Is 58 a factor of v?
False
Let y be (-6)/56*-20 + 6/(-42). Suppose -u + 5*d + 193 = 0, -d - 183 = -u + y*d. Is u a multiple of 6?
True
Suppose 87*z - 45*z + 20313 = 51*z. Is z a multiple of 12?
False
Let f(q) be the first derivative of q**4/4 - 22*q**3/3 - 3*q**2/2 - 57*q + 29. Is 13 a factor of f(23)?
True
Let o(g) = -g**3 - 6*g**2 - 8. Let f be 63/(-8) - 16/128. Is o(f) a multiple of 6?
True
Let w be 2/6*2/(14/63). Suppose -3*p + 1599 = 4*y + 508, -4*p + 813 = w*y. Is y a multiple of 33?
False
Let v = 4586 - 3290. Is 16 a factor of v?
True
Let m = -3799 + 11941. Does 23 divide m?
True
Suppose -120*g + 200*g = 957120. Does 94 divide g?
False
Let b(d) = 53*d - 2. Let v(r) = -5*r - 6. Let k be v(-4). Let y(p) = p**3 - 14*p**2 + p - 13. Let n be y(k). Does 22 divide b(n)?
False
Suppose 91*u = 55*u + 59400. Is 22 a factor of u?
True
Is (11/(330/(-140)))/(1*(-6)/28161) a multiple of 147?
True
Let k(s) = -836*s + 10911. Does 11 divide k(13)?
False
Let y = -6516 - -7696. Does 56 divide y?
False
Let q(t) = t**2 + 5*t + 4. Let y be q(-4). Suppose -i - 135 - 85 = y. Let c = i + 340. Is 30 a factor of c?
True
Let h(r) = 568*r**3 - 6*r**2 + 6*r - 1. Let y = 273 + -272. Is 21 a factor of h(y)?
True
Suppose 121125 = 17*w + 34*w. Suppose 2377*r - w*r - 3796 = 0. Is 13 a factor of r?
True
Let j = -1061 - -634. Let m = j + 500. Does 2 divide m?
False
Let u(a) = 5*a**2 + 8*a - 17. Let p be u(3). Suppose p*h = 37*h + 4350. Is 10 a factor of h?
True
Let j(a) = 14*a**2 + 64*a + 174. Does 108 divide j(-17)?
True
Let z = -52 + -9. Does 7 divide (5 - 8 - -7 - z) + 1?
False
Let f(l) = 10*l**2 + 0*l**3 - 6*l**3 - 32*l + 2*l**3 + 2*l**3 + 19*l**2 + 39. Does 3 divide f(12)?
True
Suppose -3*t + 22760 = 4*o, o - 5*t = -4*t + 5690. Is o a multiple of 33?
False
Suppose -7 = -a - 1, 0 = 4*i - 5*a - 21866. Is i a multiple of 23?
True
Suppose 12*b - 98 = 5*b. Let t = b + 112. Suppose t = j - 3*r, 2*j - 359 + 99 = -2*r. Does 51 divide j?
False
Suppose 132 = -8*n + 556. Suppose 54*j - 113 = n*j. Is 2 a factor of j?
False
Let f(o) = -o**3 + 24*o**2 - 38*o + 9. Is f(-9) a multiple of 72?
True
Let n = -2211 + 4241. Is n a multiple of 70?
True
Let k = -157 + 143. Is 12 a factor of 90926/88 + -2 + k/(-8)?
False
Let l(a) = 411*a + 915. Is l(2) a multiple of 3?
True
Let u(h) = h**2 - 11*h + 21. Let k be u(9). Suppose -k*p + 583 = 2*s, -5*s = -5*p + 404 + 601. Is p a multiple of 21?
False
Let k(t) = 17*t**2 - 69*t - 844. Is 22 a factor of k(-14)?
True
Let m(l) = 20*l + 2128. Is m(29) a multiple of 33?
False
Let t(z) be the second derivative of -z**2 - 2*z**2 - 31*z - z**3 - 10*z**3. Is 16 a factor of t(-3)?
True
Let b = 37 + -55. Let i(n) = n**2 + 14*n + 7. Let u be i(b). Suppose -3*y + u + 11 = 0. Does 21 divide y?
False
Let t(d) = -d**3 - 44*d**2 + 141*d - 529. Is 49 a factor of t(-50)?
False
Suppose 36 = 4*q + 4*u - 8*u, -3*q + 11 = u. Suppose b + 14 = 4*d, -5*b - q*d = -9*b - 23. Is 43 a factor of (606/b)/(-5 + 4) - -1?
False
Let n(u) = -68*u**3 - u**2 - 21*u - 70. Is n(-3) a multiple of 52?
True
Let y = -960 + 105. Let h = -482 - y. Suppose 0 = 3*u + 19 - h. Is 53 a factor of u?
False
Suppose -2*n + 201 = -x, 0 = -3*n + 1 - 4. Let w = x - -467. Is w a multiple of 66?
True
Suppose d + 2 = -d, -233 = -4*l - 3*d. Let t = 37 - l. Let x = 33 + t. Is x a multiple of 10?
False
Suppose 85*c - 3691348 = -319*c. Is c a multiple of 87?
False
Let c(v) = -5*v - 13. Let w be c(5). Let k = 98 - 45. Let p = k + w. Is p a multiple of 15?
True
Suppose 0*x - 5 = -b + 3*x, 2*b + x = 3. Suppose -2*c = -b, 0 = 7*u - 6*u + 2*c - 231. Is u a multiple of 12?
False
Let q(b) = 55*b**2 - 43*b + 632. Is 17 a factor of q(13)?
False
Let h be (-6)/((-36)/(-2606)) - (-2)/(-3). Let g = 607 + h. Is g a multiple of 11?
False
Let q = -230 + 393. Suppose 33*z + q = 1087. Is z a multiple of 14?
True
Let s(m) = -2*m + 6. Let y be s(2). Suppose -g - y*p = -386, 0 = -g + 3*p + p + 392. Is g a multiple of 15?
False
Let z = 12047 + -7346. Suppose 1026 = -15*o + z. Is o a multiple of 49?
True
Suppose -2*o + 1864 - 392 = 0. Suppose -14*f - o = -18*f. Is 5 a factor of f?
False
Let q(l) = 3*l**2 - 21*l - 1. Let v be q(7). Let a be 6/4 + -2*v/4. Suppose -a*j - 3*z = -480, j = 4*j - 3*z - 720. Does 20 divide j?
True
Let w = 9211 - 3469. Does 20 divide w?
False
Does 24 divide (-2)/(-26) + (-87977125)/(-4199)?
True
Let w = 8194 + -7596. Is w a multiple of 11?
False
Suppose 4*z + 15 = 2*x - 3177, -3*x - 2*z + 4804 = 0. Does 16 divide x?
True
Let j(d) = -6*d + 11*d + 15*d + 4. Is j(4) a multiple of 3?
True
Suppose -4*i = 5*y + 1156 - 109, 0 = i + 4*y + 270. Let n be 2*(0 - 1) - i. Suppose -6*l + n = -332. Is 14 a factor of l?
True
Let g be 5*9*(-92)/(-115). Let v(o) = -9 - 9*o + 17*o**2 + g*o - 18*o. Is 9 a factor of v(3)?
True
Let p = -104 - -147. Let i = 41 - p. Is 2 a factor of i - -3 - (-18 + 3)?
True
Suppose 94*h = -69*h - 162*h + 1550575. Does 3 divide h?
False
Suppose -3*i = 483 - 126. Let q be 30/14 + 17/i. Suppose q*t + a = -a + 148, -400 = -5*t + 5*a. Does 11 divide t?
True
Suppose -8*d + 5*d = -276. Let u = 97 - d. Suppose 5*y - 2*l - 654 = y, -u*y = 4*l - 824. Does 15 divide y?
False
Suppose n = -2*u + 80197, -u - 13195 = -3*n - 53283. Is 19 a factor of u?
False
Let p(a) = 32*a**2 + 5*a - 15. Suppose 0*z = 3*z + 3*x - 15, 0 = 4*z - 4*x - 20. Is p(z) a multiple of 15?
True
Let h = 1179 - -1204. Is 24 a factor of h?
False
Suppose 0 = -v + 4*v + q - 2, -3*q - 14 = -v. Suppose 0 = 2*a - 6 + v. Suppose -a*d + d = 4*h - 208, 5*d - 52 = -h. Is h a multiple of 13?
True
Let n(v) = -3*v**2 + 4*v + 4. Let c be n(2). Suppose 4*k + k - 3*m - 1305 = 0, c = -4*m. Is 8 a factor of k?
False
Suppose 4*y + 2*m + 8 = 0, -4*y - 9 - 11 = -m. Let n = -359 + 169. Is 1 - (n/y)/(2/(-4)) a multiple of 14?
False
Suppose -2*i - 2*o - 52 = 0, 3*i + 79 = -0*i - 4*o. Is (-3620)/(-15) + i/(-15)*1 a multiple of 13?
False
Is (42/9*251)/((-94)/(-141)) a multiple of 7?
True
Suppose -3*g - 18 = -3*c, 3*g = -4*c + c + 18. Suppose -5*o + 3234 = c*o. Is 22 a factor of o?
False
Suppose -r = -5*l - 5*r + 15, -r = 2*l - 6. Suppose p + 519 = 2*s + 27, l*s - 716 = -4*p. Is s a multiple of 14?
False
Let t(h) = -23*h - 4. Let q be t(-13). Let f = q + 172. Suppose -5*v - 5*y + f + 148 = 0, -373 = -3*v + y. Is 31 a factor of v?
True
Let g = 6377 - 3159. Is 26 a factor of g?
False
Let t(x) = 34*x - 14. Let p be (-47)/2 + (-5)/10. Let f be 6 - p/18 - 1/3. Does 25 divide t(f)?
False
Suppose -41*x + 5094 = -40*x + 4*k, -3*x = -3*k - 15222. Does 55 divide x?
False
Let p = -15123 - -15848. Does 25 divide p?
True
Suppose -q - 6*v - 5 = -2*v, -5*q = -2*v - 85. Suppose q*p - 37*p = -3278. Is p a multiple of 6?
False
Let k(y) be the first derivative of y**2/2 + 9*y + 27. Let g be k(-9). Suppose g = -3*v + 83 + 331. Does 16 divide v?
False
Let c = -1287 + 1343. Let o(r) = 4*r**2 - 3. Let q be o(4). Let j = c + q. Is 9 a factor of j?
True
Suppose 7*p = -2*p - 9501 + 44529. Is 28 a factor of p?
T