(1 - 1) + -1 + -9. Let u be 9/6*n/(-3). Is -10*(-2 - (-7)/u) a multiple of 6?
True
Let l(u) = -3*u**2 + 29*u + 28. Let x(h) = -5*h**2 + 44*h + 42. Let i(k) = -8*l(k) + 5*x(k). Is 5 a factor of i(-10)?
False
Let v = 2 - 4. Let l(n) = 11*n**2 + 4*n + 2. Is l(v) a multiple of 22?
False
Let a be (7/(-3))/((-2)/(-6)). Let i = -1 - a. Let f = 1 + i. Is 7 a factor of f?
True
Suppose -5*s + 5*i + 1075 = -0*s, 0 = 5*s + 2*i - 1110. Is s a multiple of 44?
True
Let d(y) be the second derivative of 5*y**3/6 + y**2/2 + 2*y. Let z be d(-2). Let l = 19 + z. Is 5 a factor of l?
True
Suppose g - 63 = -25. Suppose 4*d - g = o, -d = -o - 5 - 6. Does 3 divide d?
True
Suppose -2*m + 20 = 2*m, 0 = -2*i - 2*m + 150. Is 18 a factor of i?
False
Let s(w) = w**3 + 11*w**2 + 4*w + 8. Let t be s(-10). Suppose k + t = 3*k. Does 12 divide k?
False
Let r(i) = -2*i**2 - 2*i - 7. Let q(c) = 4*c**2 + 3*c + 13. Let x(p) = 3*q(p) + 5*r(p). Let k be -3*1*(1 - 2). Does 7 divide x(k)?
False
Let t = 47 + -21. Let d = t - 17. Is 4 a factor of d?
False
Let y(z) = -z**3 - 18*z**2 - z + 12. Is y(-18) a multiple of 30?
True
Suppose -a = -2*w + 4, -3*a - 4*w - 3 + 11 = 0. Let g be ((-10)/(-30))/((-1)/(-12)). Suppose g*m = -n + 6*n + 75, a = -4*m - 4*n + 84. Is 13 a factor of m?
False
Is 12/21 - 513/(-21) a multiple of 19?
False
Let p = -3 - 0. Let k(b) = -b**2 - 7*b - 3. Is 9 a factor of k(p)?
True
Let b(l) = -l**2 - 6*l. Let u be b(-5). Suppose 32 = -u*n + 3*n. Let w = n - -30. Is w a multiple of 14?
True
Let f(c) = -c**2 + 13*c - 13. Suppose r + 7 - 18 = 0. Is f(r) a multiple of 2?
False
Suppose 0 = -3*a + 38 + 4. Suppose 2*s + a = 3*s. Is s*(7/2 + -3) a multiple of 3?
False
Let f = 77 + -13. Is f a multiple of 16?
True
Let t(i) = i**3 - 6*i**2 + 6*i - 1. Let w be t(5). Suppose q - w = 60. Is 19 a factor of q?
False
Let r(m) = -2*m - 5. Let d be r(-5). Suppose -2 = d*f - 32. Is 6 a factor of f?
True
Let m(c) = c + 8. Let x be m(-6). Let t be 2*(-39)/(-24)*-4. Does 11 divide 3/(x - 5)*t?
False
Let f(a) = 6*a - 19. Is 11 a factor of f(5)?
True
Suppose -z - 3*s = -13, -4*z = s - 4*s - 67. Suppose 28 = 2*h - z. Does 12 divide h?
False
Suppose -4*t + 4 + 4 = 2*y, -3*y - t = -12. Let g be 40/y*4/10. Suppose 0 = -3*o + 9, -j + 172 = g*j + 4*o. Does 16 divide j?
True
Let t(s) be the third derivative of 7*s**4/8 + s**3/3 - 6*s**2. Let i be 2 + -1 - (-1 + 0). Does 22 divide t(i)?
True
Let h(g) = -g**3 + 9*g**2 + 2*g - 13. Let v(n) = -3*n**3 + 17*n**2 + 5*n - 27. Let p(l) = -5*h(l) + 2*v(l). Does 11 divide p(-11)?
True
Suppose v + 4*j - 40 = 0, j + 248 = 5*v + 27. Is v a multiple of 27?
False
Suppose 2*v - 23 = -z, 3*v + 126 = 3*z + 21. Is 23 a factor of z?
False
Suppose -126*d + 38 = -125*d. Does 5 divide d?
False
Let c = -226 + 337. Let y = c - 54. Is y a multiple of 19?
True
Let h be 170/4*4/5. Let w = h + -8. Suppose -3*j + w = -2*j. Is j a multiple of 8?
False
Let c(o) = 5*o**3 - 2*o**2 + 2*o - 1. Let b be c(1). Suppose -12 = -2*f + 5*s, b*f - 4*s = -s + 52. Is 8 a factor of f?
True
Suppose 0 = -0*t - t + 98. Is t a multiple of 24?
False
Suppose 4*k = k - 2496. Let s be k/(-18) - 12/54. Suppose -34 - 3 = -4*o - c, 5*o = -c + s. Is 7 a factor of o?
False
Suppose -5*v - 4*m - 524 = -1884, -5*v + 1360 = -2*m. Does 34 divide v?
True
Let q(i) = 68*i - 9. Does 7 divide q(1)?
False
Suppose z + 4*z = -3*w + 379, 0 = 3*w - 9. Is z a multiple of 6?
False
Let s = -424 + 624. Is s a multiple of 38?
False
Let r = -37 - -62. Suppose 4*l + 3*f = -7, -6 = -3*l + 5*f + r. Is l a multiple of 2?
True
Let w(o) = -103*o**2 + 1. Let v be w(1). Let z = -66 - v. Is z a multiple of 12?
True
Let w(g) = 9*g - 7. Let k be w(5). Let v = -53 + k. Let h = 26 + v. Is 9 a factor of h?
False
Let m be (-2)/5 + (-748)/(-20). Let w = m + -26. Is w a multiple of 11?
True
Let d(g) = g**3 + 15*g**2 - g - 8. Let z be d(-15). Let h(t) = -t**2 + 8*t + 9. Does 4 divide h(z)?
True
Suppose 4*b - 11 = v + 12, 0 = -b + 3*v + 14. Is (-6 - -9) + b*5 a multiple of 7?
True
Suppose 3*h - 3*x = 177, 2*h + 0*x = x + 119. Does 10 divide h?
True
Suppose -8*s + 3*s + 110 = 0. Is s a multiple of 22?
True
Let d(z) = -105*z**3 - 8*z**2 + 11*z + 11. Let n(j) = -35*j**3 - 3*j**2 + 4*j + 4. Let o(q) = 4*d(q) - 11*n(q). Does 12 divide o(-1)?
True
Let q = -8 - -16. Let l(z) = 3*z. Is l(q) a multiple of 9?
False
Let m = 985 - 655. Suppose 4*j = 2*t - 132, 5*t - 3*j - m = 2*j. Is 14 a factor of t?
False
Let t = -42 - -80. Does 19 divide t?
True
Let g be (-180)/((3/9)/1). Is 2/8 + g/(-16) a multiple of 17?
True
Let t(k) = -k**2 + 8*k - 5. Let z be t(6). Suppose 0 = 4*j - z*j. Suppose -6 = -g - j*g. Is g a multiple of 4?
False
Suppose -2*z + 2 = 6. Let v(b) = -2*b**3 - 2*b**2 + b + 2. Is v(z) a multiple of 5?
False
Let s(o) = -o**2 + 7*o - 6. Let n be s(6). Let b(h) = -h**2 + 60. Is b(n) a multiple of 10?
True
Let m = -13 - -9. Let y be 8/m + 18*1. Suppose -2*s + 0*s + y = 0. Is 4 a factor of s?
True
Suppose 0 = -5*g - f + 2*f + 7, g + 2*f = 8. Suppose -g*a = -98 + 14. Is a a multiple of 17?
False
Suppose -38 = -4*c - 5*z, 2*c = 3*z - 5*z + 20. Let w be 16/6*3/2. Let k = c - w. Does 4 divide k?
True
Let t = 171 + -79. Is 12 a factor of t?
False
Let r(l) = -l**3 + 5*l**2 + 2*l - 5. Let q be r(5). Suppose -n - 12 = -q*n. Is n a multiple of 3?
True
Suppose m - 3*l = -4, 4*l = 3*m - l. Suppose 0*s = 3*s. Suppose -4*z + m*z - 22 = s. Is 11 a factor of z?
True
Let l(m) = m**3 + 6*m**2 - 2*m + 2. Let h be l(-3). Is (h/2)/(13/26) a multiple of 13?
False
Suppose -2*r = -10 + 4, 0 = x - r - 3. Suppose -d + 3 = x, -4*d = w - 2. Suppose -3*b - 2*t + w = 0, 1 = b + 3*t - 6*t. Does 4 divide b?
True
Suppose 0 = -5*q + 3*q + 36. Does 15 divide q?
False
Let f = -26 + 63. Does 11 divide f?
False
Does 11 divide (-3 + (-7)/(-2))*22?
True
Suppose 2*p - 40 - 72 = 0. Is 7 a factor of p?
True
Let c(d) = 19*d - 1. Let b(w) = 9*w - 1. Let u(z) = 5*b(z) - 2*c(z). Let j be u(7). Is 11 a factor of 2/(-4) - j/(-4)?
True
Is 7 a factor of 145/13 - 36/234?
False
Let n = -47 - -60. Let l be (18/2 - 1) + 1. Let s = n + l. Is 9 a factor of s?
False
Let o = -153 + 226. Is o a multiple of 13?
False
Let z(r) = -r**2 - 20*r - 15. Suppose -5*h - 4*w - 30 = -3*h, 0 = -4*h - 4*w - 64. Does 9 divide z(h)?
True
Suppose 5*a + 26 = 4*i, i + 3*i + a - 38 = 0. Is 2 a factor of i?
False
Suppose -2*t - t = -6. Suppose -v = -t*g + 26, -g - v + 3 = -16. Does 13 divide g?
False
Let j be -54*-3*(-1)/(-6). Suppose -7*g + 4*g + j = 0. Is 2 a factor of g?
False
Let x(j) = j**3 - 6*j**2 + 4*j + 5. Let q be x(5). Let u(i) = -8*i - 3 + q - 2. Does 9 divide u(-4)?
True
Suppose 120 = m + 3*j, -2*m + 333 = j + 68. Is m a multiple of 27?
True
Suppose -3*q = h - 49, -2*q + 0*q = -h + 49. Does 19 divide h?
False
Suppose 3*h = 2*c + 149 + 122, 2*c = -h - 275. Let g = c + 194. Does 16 divide g?
False
Let h = 8 - -4. Let y = 38 - h. Is y a multiple of 8?
False
Let a = -39 - -147. Suppose 3*k = -0*k + a. Does 5 divide k/(-21)*14/(-4)?
False
Suppose z + 6 = 3*z. Is 10 a factor of (2 + z)*(-56)/(-20)?
False
Let x(d) = -11*d + 1. Let h be x(-1). Suppose -2*q = -5*q + h. Suppose q*z - z = 27. Is z a multiple of 9?
True
Does 7 divide (315/(-30))/((-1)/2)?
True
Let q(o) = -o**2 - 7*o. Suppose -z = 4*c - 14, -5*z + 6*c = 2*c + 50. Does 6 divide q(z)?
True
Let z(s) = -s**3 - 8*s**2 + s + 5. Is 7 a factor of z(-9)?
True
Suppose -n - 2 = 2*n + 4*m, 14 = -5*n + 4*m. Let r = 5 + n. Suppose r*j = 3 + 3. Is j a multiple of 2?
True
Let q(s) = -s**2 - 6*s - 1. Let o be q(-5). Suppose -3*i = 5*p - 41, -o*p - 1 = 7. Is 10 a factor of i?
False
Suppose 0 = p + 5*o - 180, 0 = 4*p - 3*o - 812 + 46. Is 38 a factor of p?
True
Let c(z) = -18*z**3 + 5*z**2 - 5*z - 3. Let t(g) = 9*g**3 - 2*g**2 + 2*g + 1. Let x(o) = 2*c(o) + 5*t(o). Is 8 a factor of x(1)?
True
Suppose -4*p = 5*z - 4, 0 = z + 3*z - 3*p - 28. Suppose -z*u + 13 + 123 = 0. Is 17 a factor of u?
True
Let m(q) = -2*q - 2. Let r(k) = 3*k + 3. Let c(s) = 4*m(s) + 3*r(s). Let i be 4/(-6) - (-22)/6. Does 2 divide c(i)?
True
Let o(n) = 3*n**3 + 0*n + 7*n**2 - 2*n**3 + 9 + 2*n - 8. Does 11 divide o(-6)?
False
Let i(b) = -8*b - 12. Let c be i(-6). Suppose -3*q + c + 0 = 0. Is 4 a factor of q?
True
Let f(x) = -41*x + 6. Is f(-3) a multiple of 19?
False
Suppose 17*f = 11*f + 318. Does 4 divide f?
False