. Let t(c) = -c**2 - 8*c - 2. Let o be t(-9). Let j be k(o). Suppose j*l + 2*l - 60 = 0. Is 10 a factor of l?
True
Let k(v) = -v**3 + 9*v**2 - 9*v + 13. Let p be k(8). Suppose 4*l + 233 = -q + 2*q, p*q - 3*l = 1182. Does 20 divide q?
False
Suppose 11*r - 10*r = 5*k - 22045, -2*k = r - 8811. Is k a multiple of 29?
True
Let p be ((-312)/(-15))/(4/130). Suppose 8*g = 412 + p. Suppose -7*n + g = n. Is 3 a factor of n?
False
Let h(r) = 3*r**3 + 8*r**2 - 30*r + 15. Let q be h(7). Let p = q - -171. Does 13 divide p?
False
Suppose 186188 = 4*l + 2*j, -3*l + 182180 = -2*j + 42518. Is l a multiple of 38?
True
Let x be 3/12 + (-482)/8. Let o(w) = -2*w**3 + 81*w**2 - 43*w + 116. Let j be o(40). Let d = j - x. Does 14 divide d?
True
Suppose -22196 = -3*x + 4*j, 57*x + 5*j - 29574 = 53*x. Is 22 a factor of x?
False
Let q = 2218 - 2060. Is 2 a factor of q?
True
Let r(z) = -2 + 2*z**3 - 9 - 5*z**3 + 7*z**2 - 12*z. Let k be r(-7). Is 19 a factor of k/25 - 5 - (-1)/5?
False
Let g(k) = 42*k - 903. Is 11 a factor of g(31)?
False
Let p = 441 - 153. Let w = 551 - p. Is w a multiple of 24?
False
Is ((-2548)/(-35))/(44/20 + -2) a multiple of 26?
True
Let b(h) = h**3 + 16*h**2 - 17*h - 18. Let p be b(-17). Does 30 divide p/63 + 0 - (-1892)/7?
True
Let c = -3 - -8. Suppose 4*b - 3*t = 2 + 4, b - c*t + 7 = 0. Suppose b*i - 12 - 168 = 0. Is i a multiple of 15?
True
Let l be 2 + 99 - (15 - 11). Let a = l - 6. Does 24 divide a?
False
Does 98 divide 206388/8*(-372)/(-279)?
True
Let l be (-2)/19 - 17578/(-209). Suppose -27*k = -29*k + l. Is 39 a factor of k?
False
Let s be (-24)/36*2148/(-8). Suppose 5*i = -m + 88, -s + 531 = 4*m + i. Is m a multiple of 11?
True
Suppose -3*w - 3 = 3, -5*m = -4*w + 7. Let y(i) = -i**3 - 2*i**2 + 2*i + 3. Let p be y(m). Suppose p = -3*t + 3*s + 57, -1 = s. Is t a multiple of 2?
True
Let h = -196 - -2194. Is h a multiple of 14?
False
Suppose -22*d = -72981 - 46919. Is 4 a factor of d?
False
Let f(a) = a**3 + 27*a**2 - 19*a - 37. Let h = 322 + -349. Is 24 a factor of f(h)?
False
Let i(r) = -132*r**3 + r**2 - 6*r + 5. Let s be i(1). Let u = -310 - -550. Let k = s + u. Is k a multiple of 10?
False
Let s be 12/(-16) - 19/(-4). Let j(o) = -7*o**2 + o - 4. Let c(b) = 8*b**2 + 4. Let m(v) = -3*c(v) - 4*j(v). Does 13 divide m(s)?
True
Let x(b) = 3*b**3 - 3*b**2 - 3*b + 1. Let u be x(-3). Is 28/u - (-1)/(14/312) a multiple of 5?
False
Let w = 4601 - 3033. Suppose -3*k = 4*l - w, 5*l + 3*k - 1089 - 874 = 0. Is 3 a factor of (-3)/(-4 - l/(-100))?
True
Does 38 divide 24/(-10) + 3 - (-4018971)/165?
True
Let w(t) = 8*t**2 - 13*t - 4. Is w(11) a multiple of 2?
False
Suppose 5*m + 31 = -4*o, 3*o + 2*m = 6*o + 6. Let u be o*(-1)/6 + 39/9. Suppose -u*l - l = -210. Does 5 divide l?
True
Let t(h) = -h**2 + 5*h - 3. Let x be t(3). Let u be 8/((-8)/(-3))*x. Suppose -4*o - 340 - 203 = -3*v, 3*o + u = 0. Is v a multiple of 15?
False
Let m = -706 - -709. Suppose 5*c - 5*z = 565, -c = -3*c + m*z + 227. Is 14 a factor of c?
True
Let h = 4499 - -2013. Is h a multiple of 44?
True
Suppose -33*p + 19*p = -476. Suppose -p*n + 37*n = 1986. Is n a multiple of 12?
False
Let p be 1/(-4) - 663/(-12). Suppose -652*g = -591*g - 8235. Let t = g - p. Is 10 a factor of t?
True
Let d be 430 + -36 - (-4)/2. Suppose 3*y - 4*g - 1051 = 0, -2*y = g - 323 - d. Is 17 a factor of y?
True
Let s be (0/1 - (-439 - -9)) + 0. Let t = -129 + s. Is 29 a factor of t?
False
Let o be (-436)/(-6) + -9 + (-420)/(-45). Let k = -55 - -133. Suppose -o*v - 740 = -k*v. Is 19 a factor of v?
False
Let g be (-10)/50 + 21/5. Suppose g*i - 4 = -104. Does 24 divide (-3 + (-15)/i)*-60?
True
Let o = 484 - 469. Suppose -3*p = 2*r - 155, 2*r - 35 - 115 = -4*p. Let d = o + r. Is 25 a factor of d?
True
Let n be 18/144 + 15359/8. Suppose -18*s = -8*s - n. Suppose 240*x - 244*x = -s. Does 16 divide x?
True
Let u be 4*(-2)/(-12) + (-52)/6. Let y be 0*(12/u)/3. Does 17 divide (2/5 - y) + 446/10?
False
Suppose -99*b - 715917 = -218*b + 728862. Is b a multiple of 71?
True
Suppose 0*q = -2*j - 4*q + 20, 0 = -j - 3*q + 13. Is (325/3 - 1) + j/6 a multiple of 27?
True
Let k = -5592 + 9609. Is k a multiple of 80?
False
Let j(h) = -h**3 - 35*h**2 - 49*h + 93. Let s be j(-36). Suppose -1291 - s = -22*r. Is r a multiple of 9?
False
Suppose 0 = -2*n - 3 + 333. Let m be 4/(-14) - (-2 - n/(-35)). Let f(r) = -r + 8. Is f(m) a multiple of 3?
False
Let k(j) = j**3 - 25*j**2 + 27*j + 1. Suppose -8*x = -105 - 247. Let t be 4 + (-168)/x - (-262)/11. Does 10 divide k(t)?
False
Let o = -17958 + 30248. Is 16 a factor of o?
False
Suppose 0 = 4*b - 4*g, 2*b + 8 - 3 = 3*g. Suppose -4*w = j + j + 56, 0 = b*w + 5*j + 60. Is 9 a factor of (-2884)/w + 2/(-8)?
True
Suppose -4*f + 45 + 21 = 3*c, -3*f = -5*c - 35. Let u be (-5)/f + (-2)/(-6). Suppose 0*n - 5*n + 2*a + 60 = 0, u = 2*n - a - 23. Is n a multiple of 7?
True
Suppose -4*h - 18949 = 297*n - 302*n, -2*n + h + 7579 = 0. Is n a multiple of 29?
False
Let r(q) = -q + 19. Let h be r(16). Suppose 1170 = 9*b - h*b. Suppose 11*n = 6*n + b. Is 4 a factor of n?
False
Let o(j) = 6*j**2 + 7*j - 2. Let y(t) = -5*t**2 - 8*t + 3. Let s(r) = -5*o(r) - 4*y(r). Let d be s(-2). Does 14 divide -3*(-8)/d*-114?
False
Let b(k) = -7*k + 1363 - 690 - 685. Suppose -4*j - 78 = -2*q, 4*j = -j + q - 93. Is 18 a factor of b(j)?
False
Suppose -39359 + 88863 = 19*i - 133257. Does 70 divide i?
False
Suppose -103*x + 623311 + 374602 = -1204639. Is 18 a factor of x?
True
Suppose 9*n = 2*n + 42. Suppose n*b = -k + b, 4*b = -3*k - 11. Let q(g) = 2*g**2 - 18*g - 7. Is 20 a factor of q(k)?
False
Let m = 0 + 5. Let v(b) = 24*b - 78. Does 4 divide v(m)?
False
Let o(g) = g**3 + 19*g**2 - 2*g - 36. Let q be o(-19). Let k be -2 - 2 - (-1 + (0 - q)). Is (348/9)/((-2)/3 - k) a multiple of 11?
False
Let f = -161 + 184. Suppose -24*q + f*q + 769 = 0. Is q a multiple of 30?
False
Suppose -24*u - 34740 = -z - 37*u, -4*z - u + 139011 = 0. Does 7 divide z?
False
Does 11 divide (2 + 31)*(33/4)/((-12)/(-288))?
True
Suppose 62*s = -123064 + 604928. Does 58 divide s?
True
Let l = 421 - 349. Suppose 760 = 74*x - l*x. Is 76 a factor of x?
True
Let g(i) = -5*i - 30. Let k(d) = 2*d. Let f(o) = -3*g(o) - 6*k(o). Does 25 divide f(-5)?
True
Suppose 249*p - 61*p = 1583336. Is 133 a factor of p?
False
Let j(o) = 279*o**2 - 537*o - 81. Does 276 divide j(15)?
False
Let r = -52 + 50. Does 3 divide r - (-84 - -2 - 2)?
False
Let c(j) be the first derivative of j**2 - 29*j + 14. Let g be c(15). Let n(w) = 16*w + 8. Does 6 divide n(g)?
True
Let i(b) = 2*b**2 - 93*b + 230. Is i(45) a multiple of 19?
True
Suppose -2550 = 15*a + 2*a. Does 6 divide (-324)/(-5) - 30/a?
False
Suppose 0 = -10*f - 5778 + 62888. Does 32 divide f?
False
Let a = 826 - 412. Suppose a = 9*v - 3*v. Is v a multiple of 11?
False
Let i(w) = 454*w**2 + 41*w - 311. Does 23 divide i(6)?
False
Suppose -3*z + 93 = -318. Suppose -2*y + 25 = 3*y. Suppose -3*f = -3*m + 2*f + z, -181 = -4*m + y*f. Is 7 a factor of m?
False
Let u = 1717 - 461. Let g = u - 595. Is 98 a factor of g?
False
Suppose -36 = -13*i - 5*i. Suppose 0 = -i*c + r + 55, -4*c + 145 = 10*r - 5*r. Does 6 divide c?
True
Let j(a) = -2*a - 1. Let t be j(-2). Let z = 1626 + -1622. Suppose -t*b = -b - 8, 0 = d + z*b - 125. Does 13 divide d?
False
Suppose -2*g = -4*h - 194, 3*g + 5*h + 379 = 7*g. Let w = g + -48. Let o = 103 - w. Is o a multiple of 15?
True
Is 507/(13 - (-7480)/(-576)) a multiple of 52?
True
Suppose -16*v = 843 + 1285. Suppose 93 + 55 = -2*f. Let u = f - v. Is 20 a factor of u?
False
Suppose -5*g + 11*v + 12621 = 12*v, 0 = 2*g + v - 5049. Does 57 divide g?
False
Suppose -9*o = -4*o - 2565. Let u = o - 190. Is u a multiple of 19?
True
Suppose -12*r + 7*r = -25. Suppose -2*j - 20 = -r*d - 163, -j - 2*d + 85 = 0. Does 2 divide j?
False
Suppose 0 = 31*y - 731 - 1036. Suppose -67*r + 1790 = -y*r. Is r a multiple of 11?
False
Suppose 44*l - 41*l = 2*u + 223, 3*u + 3*l = -327. Suppose -i = 2*i + 9. Is -1 + i - u/2 a multiple of 9?
False
Suppose 23*k = 37*k + 126. Does 46 divide (3/k)/(0 - 4/9384)?
True
Is 20 - (54859/(-17) + -8) a multiple of 3?
True
Let l = -111 - -113. Suppose -29*m + q = -33*m + 314, 0 = l*m - 5*q - 146. Does 13 divide m?
True
Let v = 4514 - 4159. Is 16 a factor of v?
False
Suppose -5*o - 2501 = -4*a + a, 2*a = -6. I