1))?
True
Suppose 3 = 3*p + 15. Let t(l) = -l - 1. Is t(p) a multiple of 3?
True
Suppose 4*i - 42 = -0*k - 3*k, 2*k = 2*i + 42. Is k a multiple of 6?
True
Suppose b - 16 = 5*y, -2*y = -0*b + b - 44. Does 18 divide (-8 + 3)*b/(-10)?
True
Let q be (1/(-3))/(1/(-15)). Suppose -q*w + 6 = -4. Suppose 10 = 3*b - w*b. Is b a multiple of 10?
True
Let h be ((-5)/(-2))/(1/2). Is (-10)/25*h*-5 a multiple of 5?
True
Let p(y) = -11*y + 3. Let t be ((-1)/3)/((-6)/(-36)). Is p(t) a multiple of 4?
False
Is (1 + 2 + -110)*1/(-1) a multiple of 15?
False
Suppose f + 1 = -4*j - 30, -2*f - 6 = 0. Let t(z) = z**2. Let v(x) = -7*x**2 - 2*x - 1. Let r(h) = -6*t(h) - v(h). Is r(j) a multiple of 15?
False
Let k be ((-66)/(-9))/(4/(-12)). Let z = -12 - k. Does 8 divide z?
False
Let c = 17 - 29. Let p = c + 57. Does 16 divide p?
False
Let w be 2 + -5 - (0 + -5). Is 7 a factor of ((-48)/(-15))/(w/10)?
False
Let o(n) = 0*n**3 + 5 - n**3 + 6*n**2 + 0*n**2. Does 15 divide o(5)?
True
Let s(y) = y**3 - 6*y**2 + 3*y - 15. Let v be s(6). Suppose -3*b - 5*h + 58 = -4*h, -v*b + 62 = 2*h. Is 9 a factor of b?
True
Let j be (-11)/(-3) + (-1)/(-3). Suppose 0*d - 3*d + 138 = j*y, -y = 5*d - 43. Is y a multiple of 9?
False
Let m be (-1664)/(-20) + 2/(-10). Suppose 3*o + m = 2*s - 0*o, -o + 199 = 5*s. Does 20 divide s?
True
Is -2*(-3)/27 - (-374)/18 a multiple of 2?
False
Is 10 + (-2 + 14)/3 a multiple of 4?
False
Let h = 24 - 16. Is (h - 0) + (-8 - -6) a multiple of 6?
True
Let q(k) = -k**2 + k + 3. Let g be q(4). Is 3/g + 58/3 a multiple of 19?
True
Let c(r) = -r**2 - r + 13. Let b = -2 + 2. Does 13 divide c(b)?
True
Let s(d) = d**2 + 7*d + 3. Let i be s(-7). Suppose i*m - 8*m - 45 = 0. Let h = m + 23. Is h a multiple of 7?
True
Let n(i) = -3*i**2 - 8*i + 49. Let f(z) = 2*z**2 + 5*z - 33. Let p(s) = -8*f(s) - 5*n(s). Suppose 4*c = 6*c - 4*b + 8, 5*c + 4*b = 8. Is 12 a factor of p(c)?
False
Let v(r) be the second derivative of r**5/20 + r**4/4 - r**3/3 - r**2 + r. Let g be v(-3). Suppose -4*l + y + 34 = -11, g*l - 5*y = 33. Does 12 divide l?
True
Suppose 5*i - 5*g = 2*i - 134, 0 = 2*i - g + 94. Let r = 71 + i. Is 23 a factor of r?
True
Let r(k) = k**3 + 4*k**2 + k + 1. Let b be r(-3). Suppose 0 = -4*o - b + 91. Is o a multiple of 8?
False
Let y = -13 + 90. Let h = y - 52. Is h a multiple of 25?
True
Let m = 37 + -19. Is m a multiple of 9?
True
Let j be 5/(6 - 5) - (-3)/(-1). Let r be -1*6*(0 - 1). Is ((-27)/j)/(r/(-16)) a multiple of 12?
True
Let c be 1*-2*9/(-6). Let a = c + -7. Let l = 24 + a. Is 20 a factor of l?
True
Suppose 5*s = -3*n + 3*s + 122, -3*s = 3*n - 126. Suppose -16 = 4*d, 3*d - 4*d = c - n. Does 9 divide c?
False
Suppose 0*h - 4*h + 312 = 0. Suppose 0 = 5*p + 2*x + x - h, 5*x + 92 = 4*p. Is p a multiple of 9?
True
Let m(f) = -f**3 + 14*f**2 + 15*f + 35. Is m(15) a multiple of 7?
True
Suppose 5*j = -15, -h - 22 = -6*h + 4*j. Let s be (-23)/(0 - h - -3). Let o = 59 + s. Is o a multiple of 16?
False
Let j(t) = 13*t + 1. Is 13 a factor of j(2)?
False
Let h be (-1)/(-5) + 28/10. Suppose -h = 2*i - 63. Does 14 divide i?
False
Suppose -2*z - 2*f - 5 = -5*f, 3*f = 4*z + 7. Is (1*z)/((-5)/40) a multiple of 4?
True
Suppose u - m + 1 + 9 = 0, 0 = 4*u - 3*m + 35. Let d(k) = 3*k + 5. Let s be d(u). Is (-234)/s - (-3)/5 a multiple of 8?
True
Let t = -5 + 0. Let a = 3 + t. Let w = 1 - a. Is 3 a factor of w?
True
Let d(o) = -91*o + 4. Let r(m) = 90*m - 5. Let p(z) = 5*d(z) + 4*r(z). Does 24 divide p(-1)?
False
Let q(b) = 2*b**2 + 5*b - 8. Let x(p) = p**2 + 2*p - 4. Let a(s) = 6*q(s) - 11*x(s). Let v be a(-8). Let z = 5 - v. Does 4 divide z?
False
Let q(o) = 2*o**3 + 2*o**2 - 3*o - 2. Let f be q(-2). Let l be ((-2)/6)/(5/(-90)). Let a = l - f. Is 5 a factor of a?
True
Suppose -6*z + z - 25 = 0. Let o(w) = -w**2 - 15*w - 11. Let l(r) = -r**2 - 14*r - 10. Let h(c) = 6*l(c) - 5*o(c). Is 13 a factor of h(z)?
False
Suppose 5*m = -0*m + 25. Does 12 divide ((-16)/m)/(4/(-30))?
True
Suppose -o + 2*o = -5, -2*g = -4*o + 58. Let z = g + 83. Is 17 a factor of z?
False
Let o(y) = -3*y + 4. Does 10 divide o(-12)?
True
Suppose -14*f - 116 = -16*f. Does 27 divide f?
False
Let t = -18 + 10. Is (-2)/t + 1651/52 a multiple of 16?
True
Suppose 3*c + 4*g = 7*c - 4, -4*g - 7 = -5*c. Let u(f) = -f**3 - 4*f**2 - 2*f - 5. Let n be u(-4). Suppose -c = -r + n. Is 6 a factor of r?
True
Let h(p) = 2*p - 3. Let m be h(2). Suppose -c = -0 - m. Is 6 + (c - 0) - -2 a multiple of 9?
True
Let w(h) = 7 - 2*h - 3 - 7 + h**2. Is w(-3) a multiple of 6?
True
Suppose -5*x = 77 - 977. Does 12 divide x?
True
Suppose -5*f + 12 = -13. Let t = 3 - f. Does 4 divide (-5)/t*40/25?
True
Let a be (-4)/(-5)*(1 - 6). Let t be 0 + 28 + (-4)/a. Suppose 9 = 4*k + m - t, -2*k + 18 = m. Is k a multiple of 7?
False
Let r be ((-4)/6)/((-6)/18). Suppose 0*l - l - r*t = -10, -5*l - 5*t + 25 = 0. Let j = l + 12. Is 6 a factor of j?
True
Suppose -3 = m - y, 0 = 4*m + 2*y + y - 2. Is m/(-3*(-1)/(-48)) a multiple of 10?
False
Let k(b) = -b - 5. Let w be k(-9). Suppose 7*f - 144 = w*f. Is 12 a factor of f?
True
Let q = -2 + 2. Suppose q = 3*l - 5 - 16. Let z = 3 + l. Is 5 a factor of z?
True
Let v(d) = -68*d**3 - d**2 - 2*d - 1. Is v(-1) a multiple of 30?
False
Suppose -8*g + 4*g = -68. Is 2 a factor of g?
False
Let m(l) = l**2 + 6*l - 4. Let g be m(-7). Let v be (-3)/g*(-25 - 1). Suppose -6 + v = 5*r. Is 4 a factor of r?
True
Suppose -125 = -2*g + o, -6*g + 3*g - 3*o = -192. Is g a multiple of 15?
False
Let m(l) = -l**3 - 7*l**2 - 8*l - 5. Suppose y + 11 = 5. Is 7 a factor of m(y)?
True
Suppose 0 = 3*s - 7 - 5. Suppose -s*m - 8 = -56. Suppose d - m + 0 = 0. Is 5 a factor of d?
False
Let q(u) = 2*u + 15. Let a(k) = -k - 15. Let v(x) = 4*a(x) + 3*q(x). Suppose 0*i - 36 = -3*i. Is v(i) a multiple of 9?
True
Let f be 2 + -7 + 2 - -16. Suppose -2*o = -o + 2*x + f, -47 = 5*o + 4*x. Let y = -3 - o. Is y a multiple of 4?
True
Suppose 0 = -2*f - g + 288, f - 2*g + 18 = 167. Does 18 divide f?
False
Suppose -4*m - 5*d + 181 = 0, -3*m - 5*d = -3*d - 141. Is 13 a factor of m?
False
Let g = 19 + -4. Let m = g - -21. Suppose -s = s - m. Is 8 a factor of s?
False
Let i(k) = -k**3 + k**2 - 7*k + 3. Let g(b) = 4*b**3 - 2*b**2 + 22*b - 10. Let a(y) = 2*g(y) + 7*i(y). Is a(-4) a multiple of 2?
False
Let s be 6/9 + (-40)/15. Is 26 - (1 + 7)/s a multiple of 9?
False
Let h(u) = -u**3 + 4*u**2 + 5*u - 3. Is 5 a factor of h(4)?
False
Suppose -24 = -5*z - z. Is z even?
True
Let h = -166 - -239. Is 15 a factor of h?
False
Suppose 0 = -5*r + 4*c + 10, -2*r - c + 3*c = -6. Let s(n) = -n**3 - 7*n**2 + n + 4. Let f be s(-7). Is 14 a factor of f - (38/r + 1)?
False
Let o(j) = 4*j**3 + j - 1. Let v be o(2). Suppose -v = -0*u - 3*u. Is 11 a factor of u?
True
Is 4*1/16 + (-399)/(-4) a multiple of 20?
True
Let p = 10 + -2. Let g = p - -11. Is 19 a factor of g?
True
Let k(h) = -4*h + 3. Does 3 divide k(-3)?
True
Suppose 0 = -4*g + 3*p + 11, 5*g = -3*p + 4*p + 22. Suppose 120 = -g*i + 695. Let r = i - 59. Is r a multiple of 15?
False
Suppose -4*p + 2*s - 29 + 83 = 0, 5*s - 47 = -3*p. Suppose p = -2*u + 74. Is 10 a factor of u?
True
Does 20 divide ((75/(-10))/1)/(3/(-16))?
True
Let t be 6*(-3)/6 - -113. Let g = t - 66. Is 18 a factor of g?
False
Suppose 3*j + 1 + 8 = 0, 3*p + 5*j + 12 = 0. Let m = 13 + p. Suppose 4*d = n - m, 4*n = -4*d + 5 + 11. Does 6 divide n?
True
Let j(y) be the second derivative of -y**5/20 + y**4/2 - 5*y**3/6 + y**2/2 + y. Let b be j(5). Is 31 - (-1)/b*1 a multiple of 11?
False
Is -1*(-12 - -7)*(-26)/(-2) a multiple of 5?
True
Let a(b) = b - 3*b - 3 - b**3 + 4. Let r = 7 + -10. Is 14 a factor of a(r)?
False
Let z(v) = -v**3 + 6*v**2 - 8. Let p be z(6). Let h(q) = q + 11. Let i be h(p). Suppose i*j - 6*k - 129 = -k, 111 = 2*j + 5*k. Is 26 a factor of j?
False
Let m(b) = 7*b - 1. Let k be m(-1). Let g = -6 - k. Suppose -2*a = -0*n + g*n - 56, 5*a - 4*n = 140. Does 14 divide a?
True
Suppose -76 = -3*b - 2*b + f, 4*f = -4. Is b a multiple of 15?
True
Suppose -4*p - p + 1090 = 0. Is p a multiple of 13?
False
Let x be (3/12)/((-3)/(-36)). Suppose 15 = -x*v, 3*v + 52 = h - v. Does 8 divide h?
True
Let k = 74 - 49. Does 5 divide k?
True
Suppose 5*r + 247 = 4*f, -58 = 2*f - 3*f + 5*r. Let t = -8 + f. Does 11 divide t?
True
Suppose t - n - 29 = 0, n = -t - 2*t + 67. Doe