se -4*l + 2*n = -2562, -3*n = -2*n - 3. Does 40 divide l?
False
Let l = -4 + 43. Let y be (-4 - -4) + 58/1. Let s = y - l. Is 5 a factor of s?
False
Suppose -178 = -0*v - 2*v. Is 18 a factor of (-7 - -3)*(-3 - v/4)?
False
Suppose r + 3*r = 28. Suppose -23 = -4*q - r. Suppose 87 = q*d + 3. Is 7 a factor of d?
True
Let r = 59 + -53. Suppose -r*h = -321 + 27. Does 27 divide h?
False
Suppose 0 = -7*v + 491 + 1252. Suppose -214 = -4*n + 2*a, -6*a = -4*n - 11*a + v. Does 8 divide n?
True
Is (3 - (3 - 2))*(-848)/(-32) even?
False
Suppose -3*b + 9 = 3*q, -5*q - 5*b + 6*b + 27 = 0. Suppose -4*y - 99 = -q*z + 53, -150 = -5*z + 5*y. Does 12 divide z?
False
Let l = -13 - -9. Let t = 13 + l. Suppose -f + 7 + t = 0. Does 5 divide f?
False
Suppose 0 = 64*z - 22939 - 5349. Does 15 divide z?
False
Let f = -106 + 1028. Does 78 divide f?
False
Suppose -q + 2 = -6. Suppose 318 = -q*w + 2*w. Let n = -15 - w. Does 19 divide n?
True
Let s(z) = z**2 + z - 12. Let g(v) = v**2 - 14. Let y(c) = 6*g(c) - 7*s(c). Let d(a) = a**2 - 9*a - 6. Let h be d(9). Is y(h) a multiple of 3?
True
Suppose -9*d + 1065 = -51. Is d a multiple of 40?
False
Let k(u) = -604*u - 20. Does 20 divide k(-5)?
True
Let l = -403 + 661. Is l a multiple of 5?
False
Let l(x) = x**2 - 18*x - 67. Does 48 divide l(31)?
True
Suppose 41*i - 15334 = -0*i. Does 11 divide i?
True
Let r(f) = -f**3 + 15*f**2 + 27*f + 28. Is r(16) a multiple of 3?
True
Does 16 divide (-18852)/(-15) - (-2)/10?
False
Let n(a) = -97*a + 176. Is n(-11) a multiple of 16?
False
Let q = 3729 + -1429. Is 6 a factor of q?
False
Let c = -68 - -322. Let k = c + -93. Let j = k - 97. Is 16 a factor of j?
True
Suppose -3*l - h - 18 = -5*l, 22 = 2*l - 3*h. Suppose l = -2*o, 78 = 2*v + 4*o + 20. Is 6 a factor of v?
False
Let v(d) = -d**3 + d**2 + 3*d + 6. Does 6 divide v(0)?
True
Suppose 5*r = 12*i - 13*i + 327, 1605 = 5*i - 5*r. Does 70 divide i?
False
Suppose 0 = -5*g + 4733 - 718. Suppose -257 = 6*t - g. Is t a multiple of 13?
True
Is 15 a factor of -8*(-644)/(-20)*10/(-8)?
False
Let d(a) = 3*a**2 + 25*a + 2. Does 52 divide d(6)?
True
Suppose y = -43 + 115. Is y a multiple of 9?
True
Let m = 16 - 16. Suppose m = 5*o - 5*t - 530, 0 = -7*o + 3*o + 2*t + 416. Does 16 divide o?
False
Suppose -211 = 2*a - 1803. Is 16 a factor of a?
False
Let d(k) = 7*k**2 + 10*k + 26. Is 29 a factor of d(-10)?
False
Let h = 261 + -231. Is h a multiple of 6?
True
Suppose 4*j + 6 = 5*j. Suppose j*m = 5*m. Suppose 3*u - 44 = -4*s - m*u, 4*s - 44 = u. Is s a multiple of 4?
False
Let f be 1*-5*2/(-2). Let k(d) = 2*d + 1 - 2 + 2*d. Does 10 divide k(f)?
False
Is 34 a factor of ((-1)/2)/(87/(-23664))?
True
Suppose 44228 + 281212 = 113*g. Does 80 divide g?
True
Let w(m) = -54*m - 7. Let p(l) = 27*l - 2. Let j(v) = -54*v + 5. Let y(g) = -6*j(g) - 13*p(g). Let s(q) = -3*w(q) + 5*y(q). Does 14 divide s(1)?
True
Let b(h) = 3211*h**3 + 2*h - 1. Does 18 divide b(1)?
False
Is 19 a factor of (-1156)/14*98/(-14)?
False
Let w(x) = -15*x**3 + x**2 - 2*x - 2. Let q be w(-1). Let h = q - -2. Is h a multiple of 6?
True
Let x = 38 - -94. Is x a multiple of 22?
True
Let q(l) be the second derivative of 3*l**4/4 + l**3/6 - 3*l**2 - 5*l. Let c(f) = 4*f**2 + f - 3. Let v(b) = 7*c(b) - 3*q(b). Is 2 a factor of v(2)?
False
Does 3 divide (-25 + 5)*(57/(-6) - -2)?
True
Suppose 3*c = -c + 248. Let u = 92 - c. Is u a multiple of 6?
True
Let z = 249 - 222. Is z a multiple of 8?
False
Let l(z) = -9*z + 31. Let k = -114 + 105. Is 23 a factor of l(k)?
False
Let f be ((-16)/6)/(2/111). Let h = -121 - f. Is h a multiple of 3?
True
Let t(d) = 27*d**2 + 6*d + 27. Let y be 6*(35/10 + -4). Is t(y) a multiple of 36?
True
Suppose -3*a + 9 = -21. Is 22 a factor of (a/(-20))/(1/(-176))?
True
Suppose -7*g - 2342 = -s - 8*g, 2343 = s + 2*g. Is s a multiple of 89?
False
Let f(z) = 3*z**2 + 8*z + 10. Let t be f(-5). Suppose -t*a - 24 = -46*a. Is 24 a factor of a?
True
Let g(b) = -5*b**2 - 20*b - 23. Let v(o) = -2*o**2 - 7*o - 8. Let j(u) = 4*g(u) - 11*v(u). Suppose -5 - 1 = 5*f - c, -4*f = -4*c - 8. Does 10 divide j(f)?
True
Suppose 1716 = 4*c + o, 6*c - 8*c + o + 852 = 0. Does 16 divide c?
False
Suppose -10 = -3*w + p, 2*p = 5*w - 9 - 6. Suppose 6*x - w*g = 3*x + 83, 70 = 2*x + 4*g. Is x a multiple of 31?
True
Suppose -7 = -4*l + 5*t - 18, 3*t + 3 = 0. Let i = 0 - l. Let o = 26 + i. Is o a multiple of 6?
True
Let c(r) = 5*r - 2. Let l be c(3). Let u(w) = 11*w - 23. Is u(l) a multiple of 12?
True
Suppose -39 = 22*b - 25*b. Let f = b + 0. Is f a multiple of 6?
False
Let l be (6/4 - 0)*2. Suppose -m = 2*m - 2*x - 6, 0 = l*m + x - 15. Suppose -3*u + 2 - 29 = -m*n, u = 2*n - 11. Is n even?
False
Let y(b) be the first derivative of b**4/2 - b**3/3 - 3*b - 2. Is y(3) a multiple of 8?
False
Let v = 11 - 8. Is 26 a factor of ((57*-3)/v)/(-1)?
False
Let u(o) = 15 + 3*o + o - 2*o + 22*o**2 - 21*o**2. Is u(-7) a multiple of 10?
True
Suppose 0 = -19*n + 18*n. Suppose -4*i + 7*i - 3 = n. Does 14 divide i*(-1 + 1 + 37)?
False
Suppose 2*z = -2, l - 4*z - 18 = 14. Does 3 divide l?
False
Suppose -2*m - 10 = -2*c, -14 = -4*c + 2*c + 4*m. Suppose -261 = -3*g - 5*z, c*z + 0 - 9 = 0. Is 5 a factor of g?
False
Let t be -1*10/(-5)*6. Is ((-825)/(-20))/(t/32) a multiple of 19?
False
Suppose 0 = -5*v + 2*v. Suppose v*c = -4*c + 4. Does 17 divide (-76 + -4)/(c*-1)?
False
Let t(b) = -b**3 - 19*b**2 - 18*b - 56. Does 81 divide t(-21)?
False
Let b be 2 - (1 + -1)/4. Suppose 2*q - 5*c - 43 = 0, 5*q + c = -b*c + 30. Does 9 divide (0 - 1)*(0 - q)?
True
Let q(z) = 25*z + 2. Let n be q(-8). Is 11 a factor of (-1*4/12)/(2/n)?
True
Let a(b) = b**3 - 3*b**2 - 2*b + 6. Let c = 2 + -5. Let i = c - -7. Is 13 a factor of a(i)?
False
Suppose 259 + 167 = 2*k. Is k a multiple of 3?
True
Suppose a - c = -a + 1235, -3*a - 5*c = -1820. Is 37 a factor of a?
False
Let k(x) = 20*x**3 - x**2 + 2*x + 4. Let o be k(-2). Let z be (-18)/(-81) - o/(-9). Does 12 divide (-16)/72 + (-1498)/z?
False
Suppose 4*x - 4*k = 1616, 0 = 5*x + 8*k - 9*k - 2012. Is 15 a factor of x?
False
Let d = -39 + 176. Let j = -107 + d. Is 15 a factor of j?
True
Let l(m) = -2*m**3 + m**2 - 6*m - 7. Let z be l(-3). Suppose -t + 4*a + z = 0, -5*a + 246 = 4*t - 50. Is t a multiple of 12?
False
Let f = -49 + 178. Does 9 divide f?
False
Let o = -11 + 10. Let l be 327/4 + o/(-4). Suppose 3*z + 4*k = 142, -4*z + 3*k + l + 74 = 0. Does 21 divide z?
True
Let s(u) = 19*u**2 - u + 1. Let r be s(1). Let k be (-12)/12*(-3 + -4). Let o = r - k. Is o a multiple of 12?
True
Let o(r) be the third derivative of r**8/672 + r**7/2520 + r**6/360 - r**5/60 - 3*r**2. Let a(g) be the third derivative of o(g). Is a(-1) a multiple of 11?
False
Suppose j - 3*j = -5*x + 537, -3*j - 4*x - 863 = 0. Let f = -141 - j. Is 10 a factor of f?
True
Let z = -165 - -243. Does 39 divide z?
True
Suppose -26 = -p - 0*l + 4*l, -l = 0. Suppose -127 = -2*w - 3*h + 8*h, 5*h = -w + p. Is 17 a factor of w?
True
Let r = -620 - -3388. Does 20 divide r?
False
Let d(s) = s**3 + 9*s**2 + 8*s + 3. Let h be d(-8). Suppose 0 = w + w - h*i - 261, -4*w = -5*i - 523. Suppose -3*k + w = k. Is k a multiple of 16?
False
Suppose 3*k - 7 = -1. Suppose -5*v = 5*m - 115, -k*m - v = 2*m - 95. Is m a multiple of 13?
False
Let q(n) = 6*n**2 - 74*n - 3. Does 9 divide q(21)?
True
Let r(b) = b**2 - 11*b + 28. Let i be r(7). Suppose -54 = -3*c - i*c. Is c a multiple of 6?
True
Is 150/10 + (3 - (-4 + 3)) a multiple of 17?
False
Suppose -3*y + 85 = -r, -3*r + 45 = 2*y - 6*r. Is 5 a factor of y?
True
Let d(h) = -h**3 + 8*h**2 - 7*h + 2. Let s be d(7). Suppose s*q - 8 = -2*x, 3*x - 2*x = -3*q - 4. Let a(u) = u**2 - 7*u - 2. Does 4 divide a(x)?
False
Let k be (24/14)/((-21)/(-98)). Suppose 0*h = -2*c - 2*h + k, -3*h + 8 = 2*c. Suppose 0 = r - c, -191 + 5 = -3*x - 3*r. Is x a multiple of 10?
False
Let z be (-33)/2 - (-13)/(-26). Let p = z + 104. Suppose 3*x - 3*u - p = -x, 0 = -5*x - 2*u + 126. Does 7 divide x?
False
Let a(p) = -p**2 + 25*p + 50. Let w be a(26). Is 20*(-11)/2*w/(-30) a multiple of 39?
False
Suppose 2*m = l - 40, 3*m - l + 3*l + 67 = 0. Let g be 78/21 - 6/m. Suppose g*a = -5 + 93. Is a a multiple of 6?
False
Let y be (-4)/(-3 + 2) - -1. Let k(w) = -6*w + 29. Let m(d) = 3*d - 13. Let o(x) = 3*k(x) + 7*m(x). Is o(y) a multiple of 9?
False
Let r(s) be the