34*f**3 - f**2 + 2*f + 21. Let m be c(-6). Suppose -m - 719 = -28*s. Is s a multiple of 13?
False
Suppose 0 = -9*t + 12*t - 15*t + 178560. Does 20 divide t?
True
Let f be -2 + (144/4 - -1). Let a = 33 - f. Let u(w) = -10*w**3 + 2*w**2 - 3*w - 6. Does 22 divide u(a)?
True
Let m be (-558)/(-155) - 4/(-10). Suppose -2*y = -z - 369, 8*y + m*z = 7*y + 207. Is 11 a factor of y?
True
Suppose -141 = 2*j - 741. Suppose 0 = -0*r + 5*r - 645. Suppose 124*b - r*b = -j. Is b a multiple of 15?
True
Let o = -64 - -66. Suppose 1493 = -6*k + 11*k - 2*z, o*z + 8 = 0. Is 23 a factor of k?
False
Is 6 a factor of ((-10)/16)/(2/(-5992))*9422/673?
False
Suppose 2*a + 3*d = 2249, -2*a = -7*a - 4*d + 5612. Does 23 divide a?
False
Let a(i) = 749*i**2 - 43*i - 140. Is a(-3) a multiple of 22?
False
Let a(q) = q - 32. Let o(d) = 2. Let p(y) = -2*a(y) - 6*o(y). Does 9 divide p(8)?
True
Let f = -11547 + 12601. Is 17 a factor of f?
True
Does 57 divide 5023 + -3*(-2 - -4) - (-1 - -2)?
True
Suppose 0 = -u - 5*x - 399, 2*u + 817 + 9 = -3*x. Let a = u - -199. Does 7 divide 9/(-5)*a/4 - -1?
False
Let l be (-507)/(-91) + 8/(-14) + -1. Suppose -4*k + g + 36 = -3*g, -k - 3 = -l*g. Suppose 8*c = k*c - 1510. Is 36 a factor of c?
False
Let j = 158 - 288. Let q be (16/14)/(-4) - j/(-35). Does 14 divide 72/((-4)/q)*15/12?
False
Let x = -479 + 3612. Is 9 a factor of x?
False
Suppose 2*c = 1 - 3. Let j be c - ((3 - 3) + -1). Suppose j = 6*v - v - 40. Does 8 divide v?
True
Suppose -6 = -3*s + 4*s. Suppose 8*d = 3*d - 35. Does 10 divide (9/s)/(((-63)/(-732))/d)?
False
Let d(k) = 4*k**2 - 18 - 8*k**2 - 16*k - 2*k**3 + 10*k - 4*k**2 - 22*k**2. Is d(-15) a multiple of 3?
True
Let q(w) = 2*w**3 - 20*w**2 + 128*w - 38. Is 11 a factor of q(13)?
True
Let b(x) be the second derivative of x**5/20 - 5*x**4/12 + 11*x**2 - 47*x. Does 6 divide b(7)?
True
Suppose 47 - 43 = 2*c, -2*z - 5*c = -1916. Is 15 a factor of z?
False
Suppose 57*o - 55*o - 1232 = 0. Let i = o + -266. Is 14 a factor of i?
True
Let n = -45 + 5167. Is n a multiple of 26?
True
Let r(b) = 16*b**2 + 2295*b - 117. Is r(-149) a multiple of 10?
False
Let c = -35081 + 51369. Does 11 divide c?
False
Let f = 18 - -32. Suppose -o = 3*u - f, o - 4*o = -u - 170. Is 84/(-28) + (o - -1) a multiple of 6?
True
Suppose 48 - 30 = 9*c. Suppose -6*d = -c*d - 5*f - 3928, 1978 = 2*d + f. Does 21 divide d?
True
Let f(s) = -s + 3. Let r be f(0). Suppose -13*c + d = -15*c + 1, 32 = c - 4*d. Suppose 12 = a - 5*a, 0 = -r*u - c*a + 489. Is 14 a factor of u?
False
Let l(a) = -a**2 - 18*a - 65. Let w be l(-43). Is w/(-9) + 44/(-66) a multiple of 9?
True
Let k(j) = -6*j - 74. Let n be k(-13). Suppose -63 = -v - n*c + c, -3*v - 5*c = -181. Does 3 divide v?
True
Is 39 a factor of 12 - (327523/21)/((-10)/30)?
False
Suppose 5*q - 145 = -5*v + q, 4*v = 5*q + 157. Let i be -4*5/(-10)*6. Let h = v - i. Is 7 a factor of h?
True
Suppose 46*a = 39*a + 3066. Suppose 4*f - a = 2*j, -f - 5*j = -6*j - 108. Is 37 a factor of f?
True
Let c(h) = h + 7. Let n be c(-14). Let x be n/(-2)*28/7*4. Suppose -x = 24*i - 28*i. Does 14 divide i?
True
Suppose 2*t + 45*t - 50236 = 9*t. Is t a multiple of 153?
False
Is 8 a factor of (-11172)/(-1)*1056/308?
True
Suppose 22520 = 6*a - 3496. Suppose 6052 = 14*b - a. Is 53 a factor of b?
True
Let x be (5 + -2)*460/30. Suppose 0 = -4*m + 8, 3*c - 170 = -2*c - 5*m. Let g = x + c. Does 10 divide g?
False
Let x = -20616 - -45949. Does 14 divide x?
False
Suppose 9*s + 43 = 88. Suppose -s*k + 2*q + 701 = -1273, 2*k - 807 = -5*q. Is 44 a factor of k?
True
Is 20 a factor of (1 - (-3 + (-22)/(-2))) + 2*4684?
False
Suppose i - v + 27 = 4*v, -i - 5*v = 47. Let g = -33 - i. Suppose 140 = 3*c - 2*m, 2*c - g*c = -m - 94. Is 16 a factor of c?
True
Suppose -5*j - 2*s = -33, 2 = j - 5*s + 17. Suppose 192 = 4*c - j*x, 0 = 2*x + x. Is (c/42)/(-4) + 1077/21 a multiple of 17?
True
Suppose 2*q = -17 + 15, -3*h + 2*q = -7007. Suppose -10*x + 135 + h = 0. Is 15 a factor of x?
False
Suppose -3*b + 5*u - 58 = -157, 5*b - 2*u = 165. Let c be 0/(-1) + b/11. Is 20 a factor of 20/c*(-17)/((-68)/24)?
True
Let o = -470 + 457. Let x be (-28)/(-10)*10/(-2). Is 20 a factor of 47*5 + (x - o)?
False
Is 26 a factor of ((-6)/5*165/22)/(-3) - -7069?
True
Suppose -k + 4*v = -2345, 5*k = -2*v + 4358 + 7389. Is k a multiple of 9?
True
Suppose 5*q + 0 = 15. Let x be -1*1 - (2 - (9 - 6)). Suppose x = q*y + 3*i - 75, 4 = -2*i - 4. Is 29 a factor of y?
True
Let t(u) = 10*u - 40. Suppose -4*w + 0*w = z - 20, -2*z + 4*w = -4. Is 21 a factor of t(z)?
False
Suppose -2*a + 0*y - 3*y + 18 = 0, a + 4*y = 19. Let k(i) = i + a*i - 3*i + i**2 + 6. Is 8 a factor of k(-7)?
True
Let t = 10914 - 8614. Does 20 divide t?
True
Let o = 109810 - 33293. Is 206 a factor of o?
False
Suppose 55*i + 275280 = 86*i. Does 37 divide i?
True
Let c = -371 + 360. Let l(y) = -16*y + 53. Does 13 divide l(c)?
False
Is 20 - -3903 - (1 + -8) a multiple of 101?
False
Suppose 6*h - 3*a + 20838 = 9*h, -a = 5*h - 34734. Is 14 a factor of h?
False
Let d(w) be the third derivative of w**6/120 - 7*w**5/20 + 13*w**4/8 - 5*w**3/3 + 26*w**2. Is d(19) a multiple of 3?
True
Let t(s) = s**2 + s - 2. Let u be t(0). Let g be 123 + 0 + u + 0. Suppose 27 = 4*j - g. Does 4 divide j?
False
Let y be 6/9*(56/(-21) + 209/(-33)). Let p(b) = -7*b**2 - 12*b - 12. Let z(j) = 57*j**2 + 96*j + 96. Let q(v) = -33*p(v) - 4*z(v). Is q(y) a multiple of 6?
True
Let n = 680 + -574. Is 2 a factor of n?
True
Suppose 397 = 2*y + 4*w - 24925, 50590 = 4*y + 2*w. Is 12 a factor of y?
False
Let v = -1413 + 7761. Does 74 divide v?
False
Let w(n) = -n**3 - 4*n**2 + 4*n + 3. Suppose 7*h = -10*h + 255. Suppose -4*r = b + 31, r + 2*r - 2*b = -h. Is w(r) a multiple of 12?
False
Let b = 138 - 93. Suppose 0 = -2*g - g - b. Does 2 divide 5*g/(-50)*8?
True
Let u be 6 + (-7)/((-14)/8). Suppose -10*w - u = -12*w. Suppose 924 = w*p + 2*r, p - 56 - 124 = -2*r. Is p a multiple of 31?
True
Suppose 54*i - 44*i = 14710. Suppose -i + 7 = -4*d. Is 18 a factor of d?
False
Let r = 2530 - 1110. Does 20 divide r?
True
Let a be 2*(-3)/((-48)/40). Is 4 a factor of a*570/50 + (-5 - -1)?
False
Suppose 2*h + 80*h = -15*h + 530978. Is 9 a factor of h?
False
Suppose -146*s + 152*s - 19218 = 0. Suppose 6*z - s = 1291. Does 22 divide z?
False
Let g(y) be the first derivative of y**3 + 3*y**2 - 37*y + 11. Let b(p) = -10*p**2 - 17*p + 112. Let o(t) = 2*b(t) + 7*g(t). Is o(10) a multiple of 21?
False
Let v be (-19)/228 + 5459/(-12). Let h = -408 - v. Is 5 a factor of h?
False
Suppose 21 = 14*c - 7*c. Let s = c + -3. Suppose s = -3*z + 9*z - 114. Does 2 divide z?
False
Let k(j) be the first derivative of j**3/3 - j**2 - 26*j + 11. Let y be k(-12). Suppose -y*f - 21 = -145*f. Does 7 divide f?
True
Let h be (6 - 1)/(-71 - -70). Let k(a) = -a**2 + 1. Let d(i) = -i**3 - i**2 + 7*i - 1. Let m(s) = d(s) + 2*k(s). Does 16 divide m(h)?
True
Suppose -l - 12*l = -5876. Suppose l = 3*q - 406. Is 18 a factor of q?
False
Is 24 a factor of 41/(861/192528)*2/4?
True
Let n(s) = -s**2 + 3*s - 4. Let k be n(12). Let d = k + 61. Let u = -28 - d. Is u a multiple of 23?
True
Let n(g) = 2*g**3 + g**2 - 2*g + 5. Let i be n(-4). Let a be (-2883)/24 + (-20)/(-160). Let j = i - a. Is j a multiple of 3?
True
Suppose -159 = 3*w + 2*w + 3*y, -4*y + 138 = -5*w. Let v be 57/18 + -3 + (-85)/w. Suppose -465 = -v*m + 3*l, -5*m + l - 2*l = -799. Does 25 divide m?
False
Let v(z) = 11*z + 18. Suppose 0 = -k + 10 - 13. Let g be v(k). Is 5/2*3/(g/(-46)) a multiple of 12?
False
Let p = -253 + 240. Let b = p + 81. Is b a multiple of 17?
True
Let p = -6386 + 6743. Is 7 a factor of p?
True
Suppose 12*h = 5841 - 547 + 7990. Does 27 divide h?
True
Is 38 a factor of (-4256)/(3 - 35)*(-5)/(70/(-348))?
True
Is 2/(-2)*(105 + -54 + -8699) a multiple of 20?
False
Let u = 21622 - 4767. Is 16 a factor of u?
False
Let d(t) = -t**2 - 7*t + 12. Let v be d(-7). Is 25 a factor of (22 - v)/(-1 - 1) - -555?
True
Let g(o) = 7 + 15*o + o**2 + 10 + 9 + 0*o. Let w be g(-12). Is 4/w - ((-1818)/5)/9 a multiple of 14?
False
Suppose -m = -2*m - 3*l + 589, 2*l - 2366 = -4*m. Suppose 3*n - 128 = m. Is n a multiple of 20?
True
Is 64 a factor of 13269/(-18)*(-252 - -246)?
False
Let u(o) = 2*o**2 + 3*o - 2. Let r be u(2). Suppose -44*n - 50 = -47*n + 2*z, 3*z = -5*n + 96. S