k + 3. Let f = 27 - 30. Let v be z(f). Is 4 a factor of v + 0 + 3 - (4 - 1)?
True
Suppose -a - 5*w = -2871, -3*a + 4*w + 2606 + 5950 = 0. Does 68 divide a?
True
Let m(o) = -7*o**2 - 4*o + 6. Suppose 2*z - 18 = -5*l - 0*z, -4*l + 4*z = -20. Let u be m(l). Let c = u + 211. Does 17 divide c?
False
Let c = 95 + -90. Suppose -w - 3*m + 230 = -43, 0 = c*m - 5. Is w a multiple of 27?
True
Let y = -10 + 12. Suppose -5*g + y*g = -51. Let p = g + 25. Is 13 a factor of p?
False
Suppose -15 + 1 = -7*g. Suppose g*w - 3*y + 13 = 0, -3*w = -6*y + 2*y + 18. Let a = w + 12. Is a a multiple of 4?
False
Suppose -q - 3*w + 6 = -0*q, 5*w - 2 = q. Suppose -n - 3*t = 2*t - 13, 0 = -q*n + 2*t + 5. Suppose g - n*y - 3 = 0, 4 + 14 = 2*g - 2*y. Is g a multiple of 6?
True
Suppose -33 = -2*w - 21. Let b(f) = 10 - 2 - 9*f + w - f. Is 12 a factor of b(-18)?
False
Let g be (-255)/(-34)*(-2 - (-6)/5). Does 45 divide 159/6*(12 - g)?
False
Is 17079/2*(-3)/(-9) - (-114)/76 a multiple of 89?
True
Let o(u) = 4*u - 1. Let z be o(-1). Let x(m) = 3*m + 16. Let l be x(z). Does 24 divide 55 - l*2/(-2)?
False
Suppose -3*m + 142 = 4*z, 0 = -2*m - 3*m + 4*z + 194. Let o be (-1)/(3/(-279))*(40 - 42). Let k = m - o. Is 15 a factor of k?
False
Let s(i) = 6*i**2 + 21*i + 9. Suppose 11 - 3 = 4*h. Suppose 6*k = -h*k - 48. Is s(k) a multiple of 51?
False
Let h = 105 - 150. Let m = h - -242. Is 12 a factor of m?
False
Let s be 78/(-42) - (-3)/(-21). Let k be (-133)/(s*4/8). Let o = k - 22. Is 37 a factor of o?
True
Suppose 3*m - 4*k - 63294 = 0, 9*m - 12*m = k - 63294. Does 25 divide m?
False
Let l be (4/12)/(2/(-12)). Let v(q) = 31*q - 444. Let a be v(13). Is 4 a factor of (l + a)*-1 - 0/1?
False
Let o(w) = -18*w**3 - 13*w**2 - 91*w + 301. Is 5 a factor of o(-12)?
True
Let g(l) = 16*l**2 + 2*l**3 - 19 - 23*l**2 - l - 9*l**2 - l**3. Is 13 a factor of g(18)?
True
Let s = -694 + 1342. Let k be -3*1*68/(-51). Suppose -k*p - s = -10*p. Is 12 a factor of p?
True
Suppose 5464*w - 5480*w + 16272 = 0. Does 36 divide w?
False
Suppose x - 117*x + 3*x = -202609. Does 23 divide x?
False
Is (-204)/(-72)*2292/1 a multiple of 43?
False
Let a(u) = 8571*u**3 - 3*u**2 - 24*u + 24. Is 63 a factor of a(1)?
True
Let p(x) be the second derivative of 19*x**3/3 + 299*x**2/2 + 257*x. Is p(13) a multiple of 13?
True
Let q = -605 - -605. Is -657*(q + (-4)/6) a multiple of 6?
True
Let f = -542 - -1379. Suppose -d + 2882 = 2296. Let s = f - d. Does 26 divide s?
False
Let y(j) be the third derivative of j**6/120 + 19*j**5/60 - 5*j**4/24 - 7*j**3/6 - 2*j**2 + 35. Is 22 a factor of y(-19)?
True
Let p(l) be the third derivative of 22*l**5/5 + l**4/12 - l**3/3 + 3*l**2 - 3*l. Is 11 a factor of p(1)?
True
Let u(g) = 34*g**3 - 1417*g**2 - 19*g + 134. Is u(42) a multiple of 36?
False
Suppose w + 965 = -4*b + 4*w, -4*b - w - 969 = 0. Let m = -225 - b. Does 3 divide m?
False
Let a(k) = k**3 + 4*k**2 + 13*k - 71. Let v be a(8). Let o = v - -508. Is 17 a factor of o?
True
Let i be -2*(-3)/(-18)*(-1 - 1118). Let j = i - 185. Is j a multiple of 17?
False
Suppose -587*d + 649*d = 5270. Does 2 divide d?
False
Let t(z) = -z**2 + 10*z - 11. Let v = -20 + 28. Let h be t(v). Suppose h*l = 2*k + 230, 0 = -4*l + 2*k + 97 + 89. Is l a multiple of 33?
False
Suppose 6974 = -5*s + 25974. Does 76 divide s?
True
Let p be (-12)/(-78) - 386/(-26). Let s(g) = -p*g - 6 + 4*g + 5. Does 13 divide s(-6)?
True
Does 11 divide 440*-2*(-26)/(-208)*-18?
True
Let b be (-2928)/(-305) - ((-12)/10)/(-2). Suppose -b*t - 8 = -13*t. Suppose 7*c = -t*c + 2025. Does 45 divide c?
True
Let x be (-1 - -2)*4 + 0. Suppose 0 = x*a + 12 - 4. Does 46 divide 1 + (-2 - 1/a*446)?
False
Suppose 10*r + 41*r + 2091 = 0. Suppose 3*g - 4*j = 115, 5*g - 186 = 2*j - j. Let v = g - r. Does 13 divide v?
True
Suppose 9*y - 3*x = 5*y + 22335, -5*y + 27921 = -3*x. Is 42 a factor of y?
True
Let h be 3 - 4 - -4 - (154 + 3). Let y = h + 274. Is 19 a factor of y?
False
Is 8 + -19 - -1164 - 5 a multiple of 5?
False
Suppose -y = 7*y - 8. Let a be (-3 + y + 1)*-9. Let t = 18 + a. Is t a multiple of 9?
True
Let m be ((-2)/1)/((9 + -5)/64). Is 1 + 286 + (-31 - m) a multiple of 9?
True
Is 3/((-48)/(-39452)) + (-6)/8 + -2 a multiple of 4?
False
Let v be 3/(-4) - 665/(-76). Suppose 0 = -4*d + v, 0 = m - d + 7. Does 18 divide 54 - m/20*0?
True
Let f(z) = -2*z**3 + 30*z**2 + 3*z - 42. Let q be f(15). Suppose 4*r = 14*x - 10*x - 1360, 0 = 2*x + q*r - 680. Is x a multiple of 20?
True
Suppose 0 = 2*o + d - 1, -o + 5*d - 7 = -2. Suppose o = -c + 13*c - 6960. Let i = c + -403. Is 17 a factor of i?
False
Suppose -71*l + 81*l = -63*l + 747958. Is 47 a factor of l?
True
Let p = -444 + 454. Is 10 a factor of (2086/105 + 4/30)*p?
True
Let s be (-10)/(-5) + 1 + 2. Suppose -10*u = 5*x - s*u - 1360, x = 4*u + 252. Does 67 divide x?
True
Suppose -101*u = -940115 + 115450. Is 162 a factor of u?
False
Suppose j - 14 = -3*z, -33*j + 28*j + 3*z + 124 = 0. Let x(g) = 3*g**2 - 43*g - 72. Is x(j) a multiple of 39?
False
Let l(q) = -10*q - 15. Let u be l(-2). Suppose -u*w = -2*j - 75, 5*w + j = -j + 75. Does 5 divide w?
True
Suppose 10 = -3*b + 28. Suppose 67 = b*t + 19. Does 10 divide t/6 + (-2848)/(-24)?
True
Let x be (9/(-18))/(2/96). Let l = x + 50. Let z = 52 - l. Does 19 divide z?
False
Let v = 44 + -50. Let o(t) = 3*t**2 + 14*t - 6. Let m be o(v). Suppose 8*b + m = 9*b. Is 8 a factor of b?
False
Let k(d) = d**3 + 30*d**2 + 118*d - 11. Is k(-5) a multiple of 6?
True
Let g = 81 + -72. Suppose g*u - 3*u - 426 = 0. Suppose -4*z + 285 = -3*s, 3*s = z + 2*s - u. Is 9 a factor of z?
True
Suppose -5*d - 4*m + 5 = 0, -8 - 2 = -4*d - 2*m. Suppose 80 = d*c - 1390. Is 13 a factor of c?
False
Suppose -3*f + 5493 = 3*v, -5*v - f + 5298 + 3877 = 0. Is 24 a factor of v?
False
Let z = 20826 + -15816. Is 5 a factor of z?
True
Let k = 735 - 735. Let p(o) = -20*o + 147. Is 7 a factor of p(k)?
True
Let j(f) = 8*f - 5 - 9*f - 2 - 14*f. Is 17 a factor of j(-6)?
False
Suppose 200*r = 184*r. Suppose -38*o + 3627 + 4125 = r. Is 10 a factor of o?
False
Let m(d) = -d**3 + 3*d**2 + 26*d - 42. Let l(f) = f**3 - 2*f**2 - 28*f + 43. Let t(a) = 6*l(a) + 7*m(a). Is t(8) a multiple of 7?
True
Let x = 41 - 51. Let i(v) = -5*v - 29. Let w be i(x). Suppose 4*m - w - 15 = d, -36 = -4*m + 4*d. Does 9 divide m?
True
Is 145 a factor of ((-172)/6)/((-2 + 3)*12/(-29574))?
False
Let v(l) = l**3 + 30*l**2 - 29*l + 64. Let z be v(-31). Suppose 8*b - 4*b + 529 = k, 3*b + 405 = -z*k. Let x = b + 157. Is x a multiple of 2?
True
Let y = -1668 - -6054. Suppose -49*r + 52*r - y = 0. Does 26 divide r?
False
Does 8 divide -1*(-6 - 4)*(2838/12 - -2)?
False
Suppose 0 = 4*n + 4*r + 8 - 40, -2*n + 3*r - 9 = 0. Suppose -156 = -l - n*l. Suppose -2*b = -61 + l. Does 8 divide b?
False
Suppose 1745 - 32199 = -102*c + 115100. Is 78 a factor of c?
False
Let m = -113 + 105. Let z be (-11 + 1)*4/m. Let k(p) = 8*p**2 + p + 1. Does 27 divide k(z)?
False
Suppose g = 222 - 214. Suppose -g*x + 407 = -337. Does 12 divide x*(-7)/(-35) - (-4)/10?
False
Let i be ((-20)/8 + -1)*-2. Let a = -17 - i. Is (-380)/(-6) + a/(-36) a multiple of 5?
False
Let p be (41 - (0 - (-4)/2)) + -3. Let u = -35 + p. Suppose 4*v + g - 64 = 0, 3*v - 50 = -g - u. Is v even?
False
Suppose -378189 = -27*s - 54*s. Is s a multiple of 29?
True
Let o(i) = -986*i + 9807. Is o(9) even?
False
Let t(n) = -n**3 + 4*n**2 + 2*n - 6. Let g be t(4). Suppose 25 = -g*m + 17. Is (6 + -4)/(m/(-62)) a multiple of 5?
False
Let g(v) = 2*v + 8. Let l be (-1)/((-2)/4 - 12/(-12)). Let f(p) = -p**3 + 3*p + 4. Let r be f(l). Is g(r) a multiple of 5?
True
Suppose 5*w - 55 = -1615. Is w*(2 - 5)*(-2)/(-8) a multiple of 38?
False
Suppose -90830 + 15286 = -14*r. Does 142 divide r?
True
Let l = 11088 - 4714. Does 15 divide l?
False
Is 12 a factor of ((-5)/(-2))/(-5) - 56185/(-2)?
True
Suppose -64 = 17*q - 25*q. Let z be (-3)/(0 + -3)*(q + -6). Does 10 divide ((-26)/(-1) + 4)/(z/4)?
True
Suppose 4*z - 218 = -66. Suppose 4*y - 26 - z = 0. Does 3 divide y?
False
Suppose 5*g = 3*a - 2655, -a = -2*a - 4*g + 868. Is a a multiple of 7?
False
Let j = 158 + -90. Let d be (j/(-6))/((-4)/12). Let q = d + -10. Is q a multiple of 3?
True
Let r be 0 - 4830/(-45) - 4/3. Suppose r = 3*s - 566. Is 28 a factor of s?
True
Does 32 divide (2298072/1512)/((-2)/(-18))?
Fal