s = 3*w - 67, i = 5*w + 4*s - 87. Is 2 a factor of w?
False
Suppose -5*o + 5*i + 75 = 0, -1 - 63 = -4*o + 5*i. Let r(t) = -t**3 + 11*t**2 + 10*t + 25. Let v be r(o). Let n = v + -45. Does 15 divide n?
True
Let q(v) = 333*v - 2360. Is 83 a factor of q(36)?
True
Let g = -974 - -1691. Let c = g - 40. Is 16 a factor of c?
False
Let z be ((-4779)/6 - -4) + (-1)/(-2). Let f be (-1)/7 + z/(-7). Suppose -4*r + f - 37 = 0. Is r a multiple of 11?
False
Suppose -4*k + 133 = -1107. Suppose 64 - k = -2*r. Does 6 divide r?
False
Suppose -128 = 4*j - 3*v, -62 - 98 = 5*j - 3*v. Let b = j + 68. Suppose 0 = 25*w - 21*w - b. Is w a multiple of 9?
True
Let u = -979 + 773. Let l = u - -809. Is 9 a factor of l?
True
Suppose 4*v + u = 318, 3*v - 320 = 4*u - 72. Let p be (42/(-10))/1 + 16/v. Does 16 divide -33*19*p/12?
False
Suppose 390*d + 8820 = 400*d. Is 9 a factor of d?
True
Let d = -57 + 9. Let c be 2019/18 + -6 + (-140)/(-24). Let n = c + d. Does 16 divide n?
True
Let t = 7994 - -3472. Is t a multiple of 26?
True
Let d = -852 + 864. Does 68 divide (-408)/1*(-1 - 18/d)?
True
Suppose -16560 = -3*z - 2*q, -4*z + 4*q + 22060 = -0*q. Is z a multiple of 41?
False
Let k(a) = 2*a**2 + 18*a - 15. Let h(n) = -4*n**2 - 37*n + 31. Let q(d) = 2*h(d) + 5*k(d). Is 26 a factor of q(11)?
False
Is 100 a factor of 7/((-266)/(-21390)) - (-2)/19?
False
Let w be 16/28*84/8. Suppose 3*z = -3*n + w, 9 = 3*n - n - 3*z. Is 32 a factor of (3/(-3))/(n/(-495)) - -1?
False
Let l = -3510 + 5113. Suppose l + 3923 = 18*h. Does 20 divide h?
False
Let g(z) be the first derivative of -6*z**2 + 302*z - 307*z + 12 + z**2. Is g(-2) even?
False
Suppose -36*x = -35*x - 15. Let f be -1 - (-2)/(5*6/x). Suppose -13*a + 11*a + 56 = f. Does 14 divide a?
True
Is 1380 + (-11)/(-77)*77 a multiple of 150?
False
Suppose -6*j + 615 = -789. Is j even?
True
Let x = 39 + -43. Let f be 2 + (1 - x) + -4. Suppose u + f*u - 64 = 0. Is 16 a factor of u?
True
Suppose -4*t = 3*k - 37 + 12, 2*k - 18 = -3*t. Let u(a) = -3 + 7 + 3 + t - 5*a. Is 6 a factor of u(-5)?
True
Let c = -28 - -32. Suppose 14 + 23 = c*p + m, 4*m - 52 = -4*p. Let r(n) = 2*n**2 - 7*n. Does 12 divide r(p)?
True
Let u be (10/5 - -4) + 311. Let o = -202 + u. Is o a multiple of 21?
False
Let p(k) = 7*k + 1. Let b be p(2). Suppose 0 = 13*u - b*u - 54. Let l = 89 + u. Is 14 a factor of l?
False
Let u be 54/90 - 22/(-5). Suppose 2*g + 2*i - 4 = 0, u*g - 5*i + i - 10 = 0. Does 6 divide ((-1)/((-1)/g))/((-28)/(-1120))?
False
Let g = 72 - 69. Suppose g*v = 541 + 593. Does 18 divide v?
True
Let k = -254 + 209. Let l(s) = -s**2 - 58*s + 72. Is l(k) a multiple of 9?
True
Let h(g) = g**2 + 8. Let o be h(0). Suppose 0 = -4*q - i + 6 - o, -2*q - 4*i + 6 = 0. Does 8 divide (25 - 3) + (-1)/q?
False
Suppose 0 = 4*k - 45926 + 5326. Is 10 a factor of k?
True
Let u(j) = j**2 + 7*j - 33. Let p be u(-14). Suppose 12 = -k - 4*l + p, 0 = -k - l + 38. Does 17 divide k + 4/(-12)*-3?
True
Let k be (-12)/(-66) + (-2766)/(-33). Suppose 10*c = 17*c - k. Let l(p) = -p**3 + 12*p**2 + 4*p + 10. Does 29 divide l(c)?
True
Suppose 4*h - 7*h = 2*q - 3400, -5*q = 2*h - 2252. Does 142 divide h?
True
Suppose 5*o = -2*j + 35358, -o - 147*j + 7044 = -142*j. Is o a multiple of 18?
True
Suppose 4*o + 53*c - 49*c = 6436, -4*c = 3*o - 4824. Is 26 a factor of o?
True
Let u(j) = -2*j + 39. Let l be u(21). Let p(s) = -3*s**3 - 4*s**2 + 2*s + 6. Let y be p(l). Let a = -29 + y. Is 10 a factor of a?
False
Let m(r) be the second derivative of 0 + 1/20*r**5 + 8*r**2 + 6*r - 19/12*r**4 + 2/3*r**3. Is m(19) a multiple of 8?
False
Let t = 2444 - -2628. Does 19 divide t?
False
Let n(t) = t**3 - 4*t**2 - 4*t - 3. Let g be n(5). Suppose -3*v + 0*m + 14 = 2*m, g*m + 42 = 4*v. Is (42/v)/(1/(-8)*-2) a multiple of 3?
True
Suppose -55*i = -57*i + y + 42480, 3*i - 63759 = -5*y. Does 100 divide i?
False
Let g(x) = -7*x - 21. Let a be g(-9). Suppose -a*s - 1025 = -47*s. Does 24 divide s?
False
Suppose 0*b + 2*b = -4*a + 8, -4*b - a = -9. Does 21 divide (-23)/(2*b/(-32))?
False
Let g(s) = s**3 + 59*s**2 - 68*s + 18. Is 104 a factor of g(-58)?
False
Let a(i) = -i**2 - 5*i + 6. Let t be a(-8). Let q(g) be the third derivative of -g**4/8 + 7*g**3/2 + 7*g**2 - 7. Is q(t) a multiple of 25?
True
Suppose 152 + 16 = 6*j. Let g be (154/j)/(2/28). Let n = g - 4. Is 14 a factor of n?
False
Let c(l) = -l**3 + 11*l**2 + 2*l. Suppose 15 = -h + 3*z, 0*h - z = 2*h + 9. Let k be (-64)/(-6) - 0 - h/18. Is 11 a factor of c(k)?
True
Is -1837*(-60)/(-48)*-4 a multiple of 163?
False
Is 5 a factor of 170718/36 - (7 - 205/30)?
False
Suppose 4 + 2 = 2*r. Let k(u) = 2*u**3 - 4*u**2 - 4*u + 4. Let i be k(r). Suppose 137 + i = 3*m. Is 8 a factor of m?
False
Let m = 308 + -314. Let z = 246 + m. Is 5 a factor of z?
True
Let s = 73 - -33. Suppose -6 = -3*w + 6. Suppose -2*j + 3*i - 60 = -297, -s = -j + w*i. Is 35 a factor of j?
False
Does 107 divide (22066/34 + -7)/(1/(70/3))?
True
Let y be 3/21*40 - 6/(-21). Is 13 a factor of 204 - (y + -2 - 8)?
True
Suppose 14175 = 18*a - 68139. Is 17 a factor of a?
True
Suppose 0 = -2*p + 5*w + 7666, -10*p + 6*p + 15314 = -w. Is p a multiple of 44?
True
Suppose 4*q + 604 = 3*j - 1190, 2*q = 2*j - 1198. Is 38 a factor of j?
False
Suppose 5*i - 210 + 190 = 0. Suppose -1537 + 641 = -i*j. Does 18 divide j?
False
Suppose 0 = -3*b + 2*r - 4 - 3, 4*b = -2*r. Let i be (b + (-12)/(-9))*54. Does 20 divide 262/5 + (-3 - i/(-5))?
False
Suppose -2*v = v - 6, 4*i - 157986 = -v. Does 31 divide i?
False
Suppose 4*v + 86 = 6*s - 4*s, 5*v = 2*s - 83. Suppose -2*u + 6*u = -100. Let p = s + u. Is p a multiple of 8?
True
Let i(n) = n**2 - 7*n - 1. Let m be i(6). Let w(g) = -68*g + 24. Let b be w(m). Suppose 0 = -5*v - 0*v + b. Is 23 a factor of v?
False
Let q(c) = c**3 - 19*c**2 - 18*c - 27. Let o be q(20). Let p(u) = -u**2 + 21*u - 20. Does 14 divide p(o)?
True
Suppose -o = 107 - 111. Let r(w) = 23*w + 12*w + 3*w - 17. Does 12 divide r(o)?
False
Suppose 5*u - 828 - 2592 = 0. Let c = -289 + u. Does 28 divide c?
False
Suppose -t + 266 = 3*f, -2*f + 5*t - 4*t + 174 = 0. Let q(w) = f + 6*w - 104 + 21*w. Does 23 divide q(4)?
True
Suppose 33*m = 47*m - 490140. Is 18 a factor of m?
True
Suppose 60*c = -83*c + 104962. Is 3 a factor of c?
False
Let x(l) = -l**2 + 72*l - 658. Does 17 divide x(56)?
True
Suppose 5*n - g = 533, 7*n + 5*g = 12*n - 545. Suppose -16*b + 17*b = 3*y - n, 30 = y - 3*b. Is y a multiple of 4?
True
Suppose -r + n - 60 = 0, 13 - 1 = 4*n. Is (-41)/5*(-8 + r) a multiple of 13?
True
Let s(l) be the second derivative of -l**3/2 + 23*l**2/2 - l. Suppose 151*p + 3995 = -84*p. Does 36 divide s(p)?
False
Let n(y) be the second derivative of 19/12*y**4 + 4*y + 3/2*y**2 + 0 + 1/10*y**5 + 3/2*y**3. Is 22 a factor of n(-8)?
False
Let j = 1586 - 28. Is 82 a factor of j?
True
Suppose -109*u = -117*u + 1352. Does 2 divide u?
False
Let f(r) be the third derivative of -41*r**4/12 + r**3/6 - 3*r**2 + 6*r. Is f(-10) a multiple of 43?
False
Suppose 7*x = 11*x + w + 9, -x - 3*w = 16. Does 14 divide (-14)/21 - (1952/(-3) - x)?
False
Suppose 0 = b - 2*b - 5*n + 35, 2*n - 44 = -b. Let a = 26 - b. Is 3 a factor of (-3)/a*6*20?
True
Let f(v) = 271*v**2 + v - 95. Does 191 divide f(5)?
True
Suppose 0 = 2*b + 5*h + 1091, h = -b - 4*b - 2762. Let f = 229 + b. Does 12 divide (0 + -2)/(12/f)?
False
Suppose 11 = -2*o + 1. Let v be (8 + o - 3)/(1*-2). Suppose v = 25*j - 26*j + 129. Is j a multiple of 43?
True
Let m(o) = 3*o - 4. Let v be m(2). Suppose -5*c + 8 + v = 0. Suppose -6*i + 9*i = 5*b - 330, b - 66 = -c*i. Is 11 a factor of b?
True
Let w be (-4)/6 - 1*(-24)/9. Suppose -w*z = 4*a - 12 - 28, 2*z = 4*a + 24. Is z even?
True
Does 36 divide -2*(-7761)/130*35?
False
Suppose 0 = 4*i + 3 - 19. Let f(q) = -19*q + 10. Let u(z) = 18*z - 11. Let n(d) = -7*f(d) - 6*u(d). Does 16 divide n(i)?
True
Let u(d) = 140*d**2 - 14*d - 56. Let n be u(-4). Suppose -35*m + n = 29*m. Does 35 divide m?
True
Does 34 divide 5/(-1) - (9 + -20 + -4516)?
True
Suppose 4*s = s + 6, 10 = 2*i - 3*s. Is 49 a factor of 340 - (0 - 0)/(i + -5)?
False
Suppose 5*x = d + 685, -3*x - 685 = -8*x + 4*d. Suppose 21 = i + 3*s - x, 150 = i + 5*s. Suppose i = 11*c - 358. Is 8 a factor of c?
True
Let j(d) = -1408*d - 5104. Is 88 a factor of j(-9)?
True
Let n = 9156 + -7440. Does 8 divide n?
False