 l a multiple of 3?
True
Suppose 3*n + 2*y - 510 = 0, 2*n = -2*y + 90 + 250. Is 85 a factor of n?
True
Is 57 a factor of (-240576)/(-105) + 4/5?
False
Let a(i) = i**3 + 22*i**2 - 24*i - 19. Let u be a(-23). Does 21 divide ((-66)/5 + 2)*(-30)/u?
True
Let d(m) = -87*m - 311. Is 10 a factor of d(-20)?
False
Suppose 8 = 3*t - 1. Suppose -5*n = -4*j + 182, -7 = -4*j + t*n + 171. Is j a multiple of 4?
False
Suppose 5*f - 3*f - 1155 = 3*h, -1179 = -2*f - 5*h. Is 6 a factor of f?
True
Let t be -3 - -5 - (-155)/1. Suppose -5*z = -3*c + t, 4*z - 134 = -2*c - 0*z. Is c a multiple of 16?
False
Suppose -5*d = -9*d - 3*c + 69, -4*d + 2*c + 94 = 0. Let f(w) = w**2 - 15*w - 26. Is 32 a factor of f(d)?
False
Suppose -4*w = -6*w + 24. Suppose 0 = b - 36 + w. Is 11 a factor of b?
False
Let k(g) = 0*g - 1 + 2*g + 2. Let r be -354*8/(-400) - 12/150. Does 5 divide k(r)?
True
Does 3 divide (-287 + -1)*(74 + -75)?
True
Let z be 6/15 - 4/10. Suppose -4*s - 58 = -3*t, 5*t - 4*s - 110 = -z*t. Does 4 divide t?
False
Suppose s = -11 + 14. Suppose f + s*m = -m + 169, 5*f - 757 = 2*m. Is 31 a factor of f?
False
Suppose -5*m = -0*m - 2*t - 30, -3 = 3*m + 3*t. Suppose 0 = m*n - 3*j + 2*j - 22, n = j + 7. Is n even?
False
Let a = 1162 + -624. Is 13 a factor of a?
False
Let o = 386 + -172. Is o a multiple of 21?
False
Suppose -42248 + 10172 = -99*t. Is 36 a factor of t?
True
Let w = 60 - 55. Suppose 16 = 3*z - w. Is 7 a factor of z?
True
Let j be (-516)/18 + 4/6. Let t be (j/3)/((-12)/18). Suppose t*b = 9*b + 135. Is b a multiple of 9?
True
Let i(h) be the third derivative of -7*h**4/6 + h**3/3 - 9*h**2. Is i(-1) a multiple of 19?
False
Let h(c) = 2*c**3 + c**2 - 25*c + 76. Does 40 divide h(7)?
False
Let w = -119 - -243. Is w a multiple of 7?
False
Let u(v) = -v**3 + 31*v**2 - 76*v - 40. Does 8 divide u(28)?
True
Let s = 113 - 88. Let h = s + 387. Does 47 divide h?
False
Let b(h) = 2*h**3 - 3*h**2 + 3*h - 5. Let z be b(2). Let y(m) = m**3 - 7*m - 5. Is 22 a factor of y(z)?
False
Let o = -164 + 115. Let t = 57 + o. Is t even?
True
Let x(d) be the second derivative of d**5/20 + d**4/6 - d**3/3 + 4*d. Let p be x(-3). Is (12/8)/p*-60 a multiple of 17?
False
Let t = 18 + -16. Suppose 3*g = 2*s - 36, -80 = -5*s + 3*g + t*g. Does 15 divide 8/s*(-102)/(-4)?
False
Let c be 6/10 + 14/10. Suppose -8*x + 17*x = 1602. Suppose -i + 2*s + x = c*i, 5*i = 2*s + 302. Is 17 a factor of i?
False
Is ((-37)/2)/((-8 - -3)/90) a multiple of 24?
False
Let w(l) be the first derivative of -l**4/4 - 8*l**3/3 + 3*l**2 + 4*l - 23. Does 3 divide w(-9)?
False
Let j(i) = -i**3 + 14*i**2 - 5*i + 14. Let x be j(13). Let d = -207 + x. Let w = -62 - d. Is 14 a factor of w?
False
Suppose -4*m = -8*m - 8. Let h be 34*m*(-2)/8. Let v = 35 - h. Is 6 a factor of v?
True
Let p(z) = 15*z - 8. Let q(u) = -63*u + 25. Let y(j) = -31*j + 13. Let o(b) = -2*q(b) + 5*y(b). Let s(r) = -6*o(r) - 11*p(r). Does 10 divide s(4)?
False
Suppose 0 = 4*h - 6 + 2. Is 12 a factor of (-1)/(-1)*h*59?
False
Suppose -2*y - 3 - 3 = 0. Let z be 0/(4*(y - -2)). Suppose z = 7*i - 2*i - 340. Is 19 a factor of i?
False
Let z = 56 + -53. Is z/(-5) + 11*(-36)/(-10) a multiple of 7?
False
Let l be 26 + -3 + -1 - -2. Let z(j) = 33 + 2*j - l + 20. Is z(-9) a multiple of 3?
False
Let w = 94 - 192. Let g be (w/28)/(1/4). Is ((-7)/g)/(1/106) a multiple of 21?
False
Let i(j) = 3*j + 17. Let w be i(-5). Suppose 124 = -0*l + l + 5*p, 0 = 2*l - w*p - 200. Is 22 a factor of l?
False
Let f(n) be the third derivative of 11/6*n**3 + 0*n + n**2 + 0 - 1/24*n**4. Is 2 a factor of f(9)?
True
Suppose 5*j + 2 = -4*d + 4*j, 3*j = -d - 6. Let x be d/((-3)/(9/(-6))). Suppose x = -4*o + 36 + 36. Is 13 a factor of o?
False
Let k(p) = -p**2 - 13*p + 4. Let z be k(-12). Is z/(-3)*12/(-16)*10 a multiple of 20?
True
Suppose 7*m - 5*m - 10 = 0. Suppose 1101 = m*s - 2*l, l = -4*s - 2*l + 890. Is s a multiple of 23?
False
Is 7 a factor of (-35 - -33) + 354/2?
True
Let g = -458 + 780. Suppose 4*v + 2*r = -0*v + g, -r = -5. Does 9 divide v?
False
Let j be 47/3*(6 + -3). Let x = j + -31. Is 27 a factor of (-24)/x*94/(-3)?
False
Suppose -2*p - 8 = 0, f = 5*p + 2 + 15. Let c be f/(6/(-5))*-2. Let x(w) = -w + 7. Is 4 a factor of x(c)?
True
Let q(s) = -s**3 + 7*s**2 + 4. Let v = 38 + -60. Let d be (-128)/v - (-10)/55. Is q(d) a multiple of 10?
True
Let o(u) = 6*u + 8. Let t = -19 - -25. Is o(t) a multiple of 22?
True
Suppose 38*v - 33*v = 1480. Does 12 divide v?
False
Let c be 6/(-33) - 35/(-11). Is 21 a factor of 4*21 - (-3 + c)?
True
Suppose 4*y = -5*x + 27 - 5, -2 = 2*x - 2*y. Suppose -1 = -i + x. Does 6 divide 76*1/12*i?
False
Suppose -24*h = -28*h - 8. Let j be 0*(h - 12/(-8)). Does 12 divide (-96)/(2/(-1)) + j?
True
Let o(c) be the third derivative of c**6/60 - c**5/10 + c**4/24 + 7*c**3/6 + 3*c**2. Is o(4) a multiple of 5?
False
Let g(s) be the third derivative of s**4/24 + 7*s**3/2 - 2*s**2. Suppose -3*d + 0*d - 43 = -4*b, 5*d + 53 = 2*b. Is g(d) a multiple of 6?
True
Suppose 0*t = -2*t + 244. Suppose 7*v - 9*v = -t. Suppose -v = -4*u + 3. Is 4 a factor of u?
True
Suppose 8362 = 106*f - 71456. Is 11 a factor of f?
False
Let n = -4 + 12. Suppose -n*v + 55 = -7*v. Does 7 divide v?
False
Suppose 13602 - 43610 = -31*x. Is 22 a factor of x?
True
Suppose -a - a - 4 = v, 3*a + 7 = -v. Let r = -708 + 728. Suppose r + 94 = v*k. Is k a multiple of 12?
False
Let v be ((-4)/(-3))/((-14)/21). Is 20 a factor of 4 + -5 - 138/v - 1?
False
Let z = -805 + 2713. Does 48 divide z?
False
Let p(l) = -l + 5. Let u(q) = -q + 1. Let y(x) = p(x) - 2*u(x). Let z = 41 - 37. Is y(z) a multiple of 7?
True
Let h = -6 + 11. Suppose -2*g - g = -h*z - 32, -g + z + 12 = 0. Is 6 a factor of g?
False
Suppose -5145 = -4*j + 4*n - 1817, 0 = 4*j + 4*n - 3296. Is 36 a factor of j?
True
Let q = 151 + -78. Suppose -2*d = -q - 61. Is d a multiple of 20?
False
Suppose 2*i + 4 = 2*h, -h - 3 + 1 = -3*i. Suppose 5*q = h*q + 1. Is 12 a factor of (-2)/(q - -1) + 61?
True
Let z = -4 - -6. Suppose z*h = -2*k - 48, 5*k + 90 = -h + 2*h. Let m = k + 24. Is 2 a factor of m?
False
Suppose -14*o + 14544 = 2*o. Is 45 a factor of o?
False
Let d(q) = -q. Let f(r) = -10*r. Let g(p) = -6*d(p) + f(p). Let m be g(-2). Does 14 divide (28/m)/(2/8)?
True
Let q(a) = -a**3 + 4*a**2 + 5*a + 5. Let z(g) = -g**2 + 17*g - 11. Let j be z(16). Let x be q(j). Suppose x = -2*v + 3*v. Is v a multiple of 3?
False
Let r(u) = 71*u**2 + 36*u + 153. Does 14 divide r(-4)?
False
Let j(o) = 4*o**2 + 87*o - 1. Is 27 a factor of j(-25)?
True
Suppose s - 210 = 882. Suppose 0 = 3*q + q + h - 1100, -4*q + s = 3*h. Does 46 divide q?
True
Suppose 3*o - 1991 + 647 = 0. Suppose -3*t - 56 = 5*l - 390, 0 = -4*t - 4*l + o. Let k = 196 - t. Is 14 a factor of k?
False
Let u = -293 - -671. Is 7 a factor of u?
True
Let o(q) = 114*q - q**2 + 488 - 497 - 101*q. Let c(b) = -b**2 - 5*b + 3. Let j be c(-4). Is o(j) a multiple of 33?
True
Let w be (3/(-9))/((-4)/(-24)). Does 26 divide (5 - (-1)/5)*(-50)/w?
True
Suppose -8*c + 3*c = 0. Suppose -5*l + 20 + 115 = c. Does 27 divide l?
True
Let y(s) = 3*s**2 + 3*s - 1. Let a(j) = j**2 + 6*j - 4. Let r be a(-7). Does 7 divide y(r)?
True
Let d(m) be the third derivative of -3*m**4/8 - 7*m**3/6 - 4*m**2. Is d(-10) a multiple of 17?
False
Suppose 0 = -19*g + 23*g + 28. Does 4 divide (g*7/(-49))/(1/44)?
True
Let n = 37 + 11. Is 25/4 + (-12)/n a multiple of 2?
True
Is 20 a factor of (-1562 - -2)/((-15)/10)?
True
Let y be (2/(-5))/(32/(-560)). Let k = y + 107. Does 19 divide k?
True
Let r = 24 + 80. Is 6 a factor of r?
False
Is 3 a factor of 2/(-9) - 3770/(-117)?
False
Let o(b) = 14*b + 25 - 6*b + 17 + 8*b. Is 17 a factor of o(9)?
False
Suppose -2*g - g = -168. Let i = g + -30. Suppose 3*n + 4*s = 67, 3*s - i = -n - 2*s. Does 10 divide n?
False
Let u(d) = 2*d**2 - 2*d + 8. Let s(f) = 3*f**2 - 3*f + 8. Let h(w) = 3*s(w) - 4*u(w). Is h(-4) a multiple of 4?
True
Suppose 7*f - 2*f = -25. Let o(p) = p + 12. Let v be o(f). Let r(x) = 2*x - 8. Does 5 divide r(v)?
False
Let i(n) = n + 15. Let t be i(15). Let p = t + -24. Suppose -p*m - 77 = -7*m. Is 11 a factor of m?
True
Let p = 167 + -47. Is 7 a factor of p?
False
Let f(a) = 17*a**2 - 17*a - 30. Is 16 a factor of f(-5)?
True
Let a(k) = -9*k**3 - 9*k**2 + 15*k. Let p(i) = -5*i**3 - 5*i**2 + 8*i. Let h(