. Suppose -u = 4*k, k = 2*y - 89 - 39. Is 17 a factor of y?
False
Is (1022 - -1) + 1*(-6 - (12 + -19)) a multiple of 32?
True
Suppose 4*u - 3*l = 290, 0 = -2*l + 4*l + 4. Suppose 5*r = 3*i + 53, -5*i + 0*i = -4*r + u. Let t(v) = -9*v - 58. Is 14 a factor of t(i)?
False
Is (2 - 3)/((-2)/4989*(-24)/(-80)) a multiple of 202?
False
Let z be -3*10/8 - 12/(-16). Does 10 divide (z - -1)/(1/(-225))?
True
Let k(r) = 18*r**2 + 223*r + 691. Is k(-3) a multiple of 8?
True
Suppose 18*v + 2*r + 29040 = 23*v, -2*v + 11616 = 3*r. Is 16 a factor of v?
True
Let g(v) = -33*v + 19. Let d = -69 - -56. Does 64 divide g(d)?
True
Let b(l) be the second derivative of 3*l**5/20 - 5*l**4/4 - l**3/2 - 23*l**2/2 - 25*l. Does 50 divide b(7)?
True
Let m(w) = -14*w - 10 + w**3 + 8*w**2 + 4 - 8*w**2. Let t be m(4). Suppose t*c + 432 = 20*c. Does 8 divide c?
True
Let z = -140 - -145. Suppose 0 = -2*f - u + 17, -z*f + 2*f - u + 25 = 0. Does 8 divide f?
True
Let c = 15843 + -5435. Does 89 divide c?
False
Let k be 55/(-3)*(16 + -10). Let o = 96 + k. Let u = 23 - o. Is 3 a factor of u?
False
Suppose -70 = 5*k - 7*k. Suppose k = -f + 6*f. Let b = f - -80. Is b a multiple of 20?
False
Suppose 0 = -12*n + 13*n - 4909. Does 57 divide n?
False
Suppose 5*z - 108 = 67. Suppose -g - 6 = -z. Does 2 divide g?
False
Suppose 29*s = -36*s + 67340. Is 8 a factor of s?
False
Let i(h) = -146*h + 164. Let n be i(-6). Let p = n + -698. Is p a multiple of 57?
True
Let b = 3315 + -2783. Is b a multiple of 19?
True
Let y = 51 - 192. Is 10 a factor of y*(-15)/6*2/3?
False
Suppose -3*o - s + 62 = 0, 3*o + 0*s - 42 = 3*s. Let f(c) = -c**2 + 7*c + 8. Let r be f(8). Let x = o - r. Does 2 divide x?
False
Let y = 10675 - -1130. Does 15 divide y?
True
Let r(h) = -h**3 + 6*h**2 + 3*h + 1. Let b = 91 - 83. Suppose b*m + 4 = 36. Is r(m) a multiple of 4?
False
Is (-2 - -3538) + 26 + -21 a multiple of 134?
False
Let o(n) = 10*n**2 + 3*n + 31. Let j(w) = 2*w**2 + 2. Let x(f) = -4*j(f) + o(f). Is x(-27) a multiple of 40?
True
Let a = 3594 - 3443. Is a even?
False
Let x = -19 - -19. Suppose 4*q - 3*q + q = x. Suppose -2*v + 5*t = -q*v - 91, t = -5. Is v a multiple of 11?
True
Suppose 4*d - 305 = -3*i, 4*i - 3*d - 219 = 221. Suppose -546 = 167*r - 125*r. Let m = r + i. Does 31 divide m?
False
Suppose 2*f + 19975 = 3*t, -f + 24084 = 5*t - 9238. Is t a multiple of 50?
False
Let j(f) = 765*f**2 - 29*f + 103. Is j(3) a multiple of 113?
False
Suppose n - 409 = -2*f + 859, -2*f + n + 1272 = 0. Let h be 2/4 + f/10. Suppose 0*v + h = v. Does 4 divide v?
True
Let h = -1276 - -534. Let g = -144 - h. Is g a multiple of 84?
False
Let p be 2*(-1)/1 + -190 - 1. Let r = p + 278. Let v = r + -51. Is v a multiple of 17?
True
Suppose 7714 = 2*w + y - 4*y, 3*y = 3*w - 11565. Is w a multiple of 36?
False
Suppose -21*p = -3146 - 6304. Let t = -96 + p. Does 19 divide t?
False
Suppose -i - 7 = 0, 286*i - 46582 = -5*y + 282*i. Is y a multiple of 15?
False
Suppose -4*g + 2*h = -0*h + 28, -h + 8 = -g. Let u(n) = -7. Let x(v) = v. Let a(r) = u(r) - 2*x(r). Is a(g) a multiple of 5?
True
Let y(x) = x**3 - 16*x**2 + 16*x + 15. Let z be y(15). Let s be (z/(-9) + 4)*3. Is (-1)/(s/78*-3) even?
False
Let k(d) = 38*d + 6. Let q be k(8). Suppose -g + q = 4*g. Let h = 12 + g. Does 21 divide h?
False
Let j(b) = -3*b**2 - 83*b - 2. Let v(a) = a**2 + 41*a + 3. Let h(x) = -3*j(x) - 5*v(x). Is 26 a factor of h(-13)?
False
Suppose -9*p + 78 = -12. Suppose p*a = 9 + 31. Suppose -a*l + 132 = -3*l. Is 11 a factor of l?
True
Let r = -2095 + 2104. Let l = 4 - -6. Suppose -l*v + r*v = -19. Is 7 a factor of v?
False
Let n = -264 + 262. Does 16 divide (172*n/12)/(3/(-18))?
False
Suppose -5*r = w - 837, 0 = -3*r - r + 16. Suppose 2*n + 5*p = w, -2*p = -7*p - 15. Is n a multiple of 13?
True
Let m(l) = -4*l - 78. Let r be m(-25). Suppose -3860 = -r*c + 17*c. Suppose -a + 3*a = c. Is 56 a factor of a?
False
Let a(o) = o**2 + 2*o + 2. Let c be a(-2). Suppose c*p - 5 = 9. Suppose 509 = p*r - 23. Does 19 divide r?
True
Let r = 32567 - 20055. Does 34 divide r?
True
Let l be (-55)/22*(-88)/10. Let q(k) = 3*k + 1. Let h be q(1). Let s = l + h. Does 13 divide s?
True
Let o be 2*((-3)/3 + (-453)/(-1)). Let r = o - 646. Is 6 a factor of r?
True
Let p(l) = 3*l - 24. Let v be p(11). Does 60 divide 18265/30 - v - (-2)/12?
True
Let k be 4 + 4/20 + 1/(-5). Suppose -20 = -k*s, s + 2 + 293 = -5*g. Let b = g - -96. Does 12 divide b?
True
Let r be 14/(-3)*12 - 1. Is 13 a factor of ((-463)/(-6))/(-3 + r/(-18))?
False
Suppose -8*g + 4*g = -128. Suppose -31*o = -g*o + 73. Is 8 a factor of (6/2)/(-1) + o + 2?
True
Let a(r) = 6*r**2 + 36*r. Let o be a(-8). Let d = -24 + o. Is d a multiple of 23?
False
Let t be (12 - 2) + -2 - (9 - 6). Suppose -t*m + 12*f = 13*f - 3220, 3*m - 1930 = -f. Is m a multiple of 15?
True
Suppose 3*w - 8*w = -75. Suppose -2*u + 304 = -4*i, 0 = 6*i - 3*i - w. Suppose 6*j - 3*j = u. Is 18 a factor of j?
True
Let f(u) = u**2 - 4*u + 4. Let m(t) be the first derivative of -t**3/3 + 2*t**2 - 4*t + 12. Let l(v) = 4*f(v) + 3*m(v). Is l(6) a multiple of 16?
True
Let a(n) = -n**2 - 49*n - 218. Let m be a(-44). Let s be (-16)/(-7) - 4/14. Is (-22)/(-2) + s/m a multiple of 2?
True
Let f(h) = h**3 - h**2 - 2*h + 4. Let n be f(2). Suppose -b - 597 = n*u - 0*u, 300 = -2*u - 2*b. Is 33 a factor of (-7 - 1)*(-4 - u/(-4))?
True
Let l(g) = g**2 + 3*g + 4. Let x be l(-3). Suppose x*k - 868 = -4*h, 15*k = 10*k - 15. Is 4 a factor of h?
True
Let z = 1191 + 1574. Suppose 461 - z = -4*p. Is 64 a factor of p?
True
Suppose -32*n = -27*n - 465. Let i = n + -59. Let h = i + 45. Does 18 divide h?
False
Suppose 5*b - 3*b - 120 = 0. Let k = b - 64. Is k/22 + 5290/55 a multiple of 24?
True
Let m = 16184 + -9564. Is 60 a factor of m?
False
Suppose 3*g = 4*r - 19 - 9, -5*g = 20. Suppose -n = -4*w + 2*n + 129, w - 45 = 5*n. Suppose -m = -z + m + 1, -5*m + w = r*z. Is 4 a factor of z?
False
Suppose 0 = 20*z - 3*z - 34. Suppose 5*t - 6*x + 5 = -z*x, -2*x = t + 15. Does 14 divide (-115)/(8/t - (-27)/45)?
False
Suppose -60 = -k + 36*q - 38*q, -4*k + 240 = 2*q. Is 4 a factor of k?
True
Let u = -94 - -133. Let k(x) = -u*x**3 + x**2 - 94*x + 44*x + 51*x. Is 5 a factor of k(-1)?
False
Suppose 5*t = -5*x - 35, -6*x + 3*x = -3*t - 45. Does 28 divide (-33)/t*(-280)/(-3)?
True
Suppose -r - 4*w + 1874 = -356, 0 = -5*r - 3*w + 11133. Is r a multiple of 28?
False
Let z(n) = -459*n**3 + n**2 + 2. Let x be z(-2). Let m = x - 1206. Suppose 0 = -13*v - 15 + m. Is v a multiple of 27?
True
Let l(q) be the third derivative of q**6/120 + q**5/12 - 7*q**4/24 + q**3 - 9*q**2. Let y be l(6). Suppose m = 5*m - y. Does 15 divide m?
True
Suppose 8*o = 278 + 690. Suppose -5*i - 306 = -w + 29, 3*w = 2*i + o. Let y = i + 154. Is 4 a factor of y?
False
Let w(g) = -48*g + 7527. Is w(-108) a multiple of 19?
True
Let d(b) be the second derivative of b**5/20 + b**4 + 3*b**3 + 28*b**2 - 80*b. Does 7 divide d(-8)?
True
Suppose -3*i - 984 = -3*f, -4*f + 1336 = -4*i + 8*i. Let t = -123 + -12. Let j = t + f. Is j a multiple of 12?
False
Suppose -l = 7*l - 8408. Suppose -l = -3*o + 5*f, 5*o = -3*f + 945 + 750. Does 33 divide o?
False
Suppose 3*t - 12653 = -i, 4*i + 10*t = 9*t + 50645. Is 20 a factor of i?
False
Let d = 29 + -17. Suppose 7*z = 3*z + d. Suppose n - 164 = -z*n. Is n a multiple of 3?
False
Let k = 1435 - 851. Let p = k - 388. Does 10 divide p - (-1 + (-20)/(-4))?
False
Let c(u) = u**2 - 24*u - 103. Let l be c(28). Suppose -141 = l*f - 2508. Does 62 divide f?
False
Let m(n) = 3*n**2 - 5*n - 2. Let i(g) = -g**2 - 2*g + 2. Let j be i(0). Let t be m(j). Suppose -y = -5*s + 2 - 62, t = -5*y + 2*s + 208. Is y a multiple of 10?
True
Suppose -2*g + 2 = -2. Suppose 707 = g*c - 61. Does 22 divide c?
False
Suppose -r + 5*v + 5 = 4*r, 6 = 4*r - 3*v. Is (-1)/r - 50442/(-126) a multiple of 28?
False
Let b(h) = 3*h**3 + 279*h**2 + 317*h + 170. Is 149 a factor of b(-91)?
True
Suppose 2*g + 5*t = 31, 4*t - 5 = 15. Let w(h) = 13*h - 25. Let j(q) = 6*q - 13. Let n(v) = g*w(v) - 7*j(v). Is 15 a factor of n(0)?
False
Let i be (768/24)/(-1 - (-10)/8). Suppose -11*f = -27*f - i. Let z(p) = p**2 + 5*p + 6. Is 15 a factor of z(f)?
True
Let m be (13 - 5) + (1 + 0)*4. Let k(r) = -r**2 + 4*r - 25. Let x(f) = -2*f**2 + 7*f - 51. Let w(v) = -5*k(v) + 2*x(v)