 3*s - s, -5*k + 87 = -3*s. Let i = 6 + k. Is 10 a factor of i?
False
Let g be 87/18 + 2/12. Suppose 2*c - 40 = -2*f, g*c - 75 = c - 3*f. Does 5 divide c?
True
Does 2 divide 8/(-2) + (-4 - -12)?
True
Let t be (-2 - -2) + 8/2. Suppose -t*f - u = 11, -3 = 2*u - 5*u. Let y = 2 - f. Is y a multiple of 5?
True
Let j = 16 - 6. Is j/25 + (-43)/(-5) a multiple of 9?
True
Let y be (-4)/(-18) + 25/9. Suppose y*h = -h + 44. Does 4 divide h?
False
Let t(c) = 3*c. Let k be (-1)/(((-15)/9)/5). Is t(k) a multiple of 5?
False
Let v be 20/8*(-56)/(-2). Suppose 0*h - h = -v. Does 25 divide h?
False
Let l(q) = 28*q - 1. Let r be l(-3). Let y = -28 - r. Is 23 a factor of y?
False
Let s(f) = -f**3 + 7*f**2 - 7*f + 8. Let r be s(6). Let k be 0 + 2 + 64/r. Does 12 divide 0 + 1/(1/k)?
False
Let m(n) = -n**3 - 4*n**2 + 2*n + 9. Let i = 3 + -9. Let r be m(i). Suppose 0 = -0*a + 4*a + 3*c - r, 4*c = -3*a + 57. Does 13 divide a?
False
Is 1/2 + (-1062)/(-12) a multiple of 28?
False
Let q be (0 - (1 + 0))*-1. Is 11 a factor of -60*(-1)/(2/q)?
False
Suppose j - 2*r = 113, -5*j + 553 = -0*r + 2*r. Suppose -2*o + 5*o - j = 0. Does 10 divide o?
False
Suppose -2*r + r - 5*m - 6 = 0, 0 = r - 4*m - 21. Suppose 3*o - r = 2*o. Is o a multiple of 4?
False
Let o = -7 + 15. Is 7 a factor of o?
False
Suppose -5*w - 5*a = -100, -a = 4*w - 3*a - 68. Is 6 a factor of w?
True
Let q(f) = f**2 - 4*f + 4. Let s be q(4). Suppose s*x - 20 = 2*w - 6, 4*w - x = 7. Suppose -n + w*n = 62. Is n a multiple of 17?
False
Suppose -2*z + 6*z = 0. Suppose 2*b + 2*y - 32 = z, -47 = -2*b - 2*y - 3*y. Is 4 a factor of b?
False
Let s be 5*(38/10 + -3). Suppose -3*a - 115 = -s*u - 0*u, 3*u = 3*a + 87. Suppose 0 = d - 3*r - 18, 0*r + u = 2*d - 2*r. Is 8 a factor of d?
False
Let n be 2 - 4 - -4 - 1. Let a = n - 0. Is -1 + a/(1/3) even?
True
Let b(t) = -t**3 + 6*t**2 + 8*t - 4. Let m be b(7). Suppose 0 = 5*d - 10 - 10. Suppose 4*q = d*x - 136, 4*x - q = -m*q + 106. Is 11 a factor of x?
False
Let j = 7 + 60. Is j a multiple of 23?
False
Suppose -3*f - 18 = -2*h - f, 3*h - 15 = -f. Let o(d) = -d**3 + 5*d**2 + 6*d + 5. Is o(h) a multiple of 2?
False
Let q be -2 + (5 + -3 - -29). Suppose -3*l + 182 - q = 0. Does 17 divide l?
True
Let y be (12/8 + 0)*-2. Is 1/(y*3/(-63)) even?
False
Let m(t) = t**2 - 2*t**3 - 3*t + 2*t**2 - 3 - 5*t**2. Suppose -1 = g + 1. Is m(g) a multiple of 5?
False
Suppose 126 = 4*g - g. Does 14 divide g?
True
Let c = 3 + -4. Does 24 divide (c - -2)/((-1)/(-31))?
False
Suppose 3*r + 33 = -3*j + r, -5*j - 2*r - 51 = 0. Let q(c) = c**2 + 6*c - 7. Is 5 a factor of q(j)?
True
Let p be 1*(91 - (1 - -1)). Suppose 33 = -4*y + p. Does 14 divide 4/14 - (-388)/y?
True
Let u = -1 - -6. Let r = u + -2. Does 3 divide r?
True
Suppose 5*w + g = 15, 2*g = -2*g. Let y = 230 - 135. Suppose y = w*l + 2*l. Is 14 a factor of l?
False
Let t(h) = 5*h**2 + 6*h - 3. Suppose 4*v + c = 60 + 11, 5*v - 79 = 2*c. Let b(f) = 14*f**2 + 17*f - 9. Let u(g) = v*t(g) - 6*b(g). Is 2 a factor of u(0)?
False
Let o be 0 - (-3 - 1*-2). Let v(q) = 7*q - 5 - 3 + 9. Is 6 a factor of v(o)?
False
Suppose 40 = -3*a + 133. Is 4 a factor of a?
False
Is (65 + -3)*11/22 even?
False
Let t(x) = x**2 + x + 1. Let z(c) = -c**3 + 13*c**2 + 4*c + 14. Let k(i) = -2*t(i) + z(i). Does 16 divide k(11)?
False
Let w(i) = 2*i**3 - 4*i**2 + 53. Let k(n) = 3*n**3 - 7*n**2 + 107. Let s(y) = -3*k(y) + 5*w(y). Let l be s(0). Let x = -33 - l. Is 6 a factor of x?
False
Suppose -2*z = -2*n + 93 - 221, 5*z - 3*n - 320 = 0. Does 13 divide z?
False
Is 24/14*(6 + 1) even?
True
Let l(i) = -12*i + 4. Does 4 divide l(-4)?
True
Suppose 0 = -4*d + 2*d. Suppose d = o - 4*o + 144. Does 16 divide o?
True
Suppose -70 - 29 = 3*d. Let k = d - -57. Is k a multiple of 8?
True
Let c(y) = 7*y**3 + 4*y**2 - 4*y - 3. Let w(m) = 6*m**3 + 3*m**2 - 3*m - 2. Let s(v) = -2*c(v) + 3*w(v). Does 3 divide s(1)?
False
Let a = -2 - 0. Let m(w) = -15*w - 1. Let s(k) = 46*k + 2. Let b(j) = -8*m(j) - 3*s(j). Is 19 a factor of b(a)?
True
Let u be 0*((-6)/4 - -2). Suppose u = -2*r + 4*r - 3*l - 55, -20 = 4*l. Is 8 a factor of r?
False
Let o(t) = -t**3 - 2*t**2 + 3*t - 2 + 4 - t - t. Does 4 divide o(-3)?
True
Let n be (-6)/(-4)*(-6)/3. Let j be 3 + (-4)/(4/n). Let h = j - -5. Is 8 a factor of h?
False
Suppose -3*p - 39 = 3*d, 3*p = 2*d + 35 - 4. Let a = -7 - d. Let c = 32 - a. Does 12 divide c?
False
Let w(r) = -16*r**2 - 4*r. Let b(m) = -8*m**2 - 2*m. Let y(v) = -7*b(v) + 3*w(v). Is y(2) a multiple of 18?
True
Suppose 0*x = -x + 4*d + 23, -5*x - 3*d + 230 = 0. Suppose 0 = 3*k - x - 38. Is 27 a factor of k?
True
Let k(x) = x**3 - 3*x**2 + 5*x - 3. Suppose -d = 4*h - 23, -2*h = 4*d - 5*h + 3. Let r be k(d). Is r/4 - (-2)/(-2) even?
True
Suppose 216 - 48 = 4*l. Is (-1 + 3)/(4/l) a multiple of 6?
False
Suppose 4*v = -2 - 2. Does 18 divide 1/(-1) + v - -39?
False
Suppose 0*u = 2*u. Suppose u = 3*x - 8 - 13. Does 7 divide x?
True
Let k = -1 + 6. Suppose -1 = -z - q, 1 = k*z - q - 4. Suppose 0 = p - 5 + z. Is 2 a factor of p?
True
Let u(n) = 3*n**2 - 4*n - 1. Let q be u(5). Does 13 divide -1*(0 - (-2 + q))?
True
Suppose 0 = 3*q + 2*m - 580, -3*q - 37 + 592 = -3*m. Is q a multiple of 38?
True
Let o(w) = 2*w**2 - 3*w - 4. Does 3 divide o(3)?
False
Let j(l) = l**2 - 4*l - 2. Let x be j(5). Suppose -2*v = -x - 101. Does 13 divide v?
True
Suppose 0 = f - 2 - 0. Suppose -f*c - 3*c + 20 = 0. Suppose -2*h - 100 = -5*y, 5*y - c*h - 24 = 3*y. Does 22 divide y?
True
Let v be -1 - (3 + -6 - 1). Let u(a) = -9*a**2 + 11. Let w(k) = 4*k**2 - 5. Let g(l) = v*u(l) + 7*w(l). Does 23 divide g(-6)?
False
Suppose -5*k = -5*v - 345, -4*k + 3*v - 21 + 300 = 0. Is 9 a factor of k?
True
Let a be (1 - -1)/(3/27). Let w = a - 13. Does 4 divide w?
False
Let o(k) = 0*k**3 - k**3 - 1 + 0*k**3 + 3*k**2. Let v = 24 - 22. Is o(v) even?
False
Suppose 10 = -2*h - 34. Is 16 a factor of (-1764)/h - (-14)/(-77)?
True
Suppose 0*i + 2*i + 8 = 0. Let g(n) be the third derivative of -5*n**4/24 + n**3/3 + 2*n**2. Does 12 divide g(i)?
False
Let x(o) = 11*o. Let n be (2/6*3)/1. Is x(n) a multiple of 11?
True
Let a(t) = -t**3 + 4*t**2 - 2*t + 4. Let q be a(3). Let d(o) = o**3 - 5*o**2 - 10*o - 2. Does 13 divide d(q)?
True
Let t be -6 - -43 - (0 - 0). Let o = t + -26. Is o a multiple of 11?
True
Suppose 2 = y - 2*l + 8, -4*y - 38 = -l. Let k = 8 - y. Is k a multiple of 12?
False
Suppose 4*q - 170 = 198. Is q a multiple of 19?
False
Let k = 2 + 2. Let l be (0/2)/(1 + 2). Suppose -3*x + x - 3*q = -5, -5*x - k*q + 23 = l. Does 7 divide x?
True
Suppose -4*b + 96 = 2*r, 5*b + 2*r = 53 + 67. Is 18 a factor of b?
False
Let j(g) be the first derivative of 5*g**4/24 - 7*g**3/6 + g**2 - 2. Let x(w) be the second derivative of j(w). Does 9 divide x(6)?
False
Let w(h) = 2*h - 4. Let a be w(-5). Let b = -26 + -8. Let o = a - b. Does 10 divide o?
True
Let t(i) = 9*i**2 - 16*i + 29. Let u(c) = 5*c**2 - 8*c + 15. Suppose -3*d = 3*x + 41 + 1, -2*x = -2*d + 16. Let r(p) = x*u(p) + 6*t(p). Is 9 a factor of r(-8)?
True
Let p(a) = 9*a + 2. Suppose -2*l = -3*s - 23, -3*s + 5 = 5*l - 0*l. Suppose 0*v = -3*v + l*c + 26, -5*c - 15 = 5*v. Does 10 divide p(v)?
True
Let f(p) = p - 1. Let g be f(1). Suppose g = 2*o + o. Suppose o = 4*x + 3*l - 22, -5*l + l = 5*x - 27. Does 5 divide x?
False
Suppose 3*s + 2*c - 77 = -3*c, 3*s + 3*c - 75 = 0. Does 8 divide s?
True
Let c be -1*3*1/(-1). Suppose 4*v = -c + 83. Does 10 divide v?
True
Let p = 19 + -14. Let s(u) = 2*u**2 - 2*u - 4. Is s(p) a multiple of 9?
True
Suppose -58 = 3*j - 70. Is j a multiple of 2?
True
Let x(j) = 8*j + 4. Let s be x(-7). Let i = -17 - s. Suppose -3*d + 22 = v, -5*d = v + v - i. Is d a multiple of 7?
False
Suppose -6*c = 3*c - 945. Is c a multiple of 21?
True
Suppose -26 = -4*d + 2*v, 0 = -5*d - 4*v + 2*v + 19. Suppose 39 + 51 = d*i. Is 9 a factor of i?
True
Let r(l) be the second derivative of l**5/60 + l**3/6 - l**2 - l. Let c(x) be the first derivative of r(x). Does 4 divide c(-3)?
False
Suppose 7*g - 15*g + 616 = 0. Is 4 a factor of g?
False
Let f(t) = -t**3 - 4*t**2 - 5*t - 3. Let j be f(-3). Does 5 divide 9*(-1)/(j/(-8))?
False
Let m = 18 + -13. Suppose -5*w = -m*t - 45, 3*w = -9*t + 4*t - 13. Does 8 divide (-192)/(-10) - t/(-25)?
False
Let x(z) = z**2 - 3*z + 36. Is x(0) a multiple of 6?
True
Suppose 0 = -