1) a multiple of 14?
False
Let r(l) = -2*l**3 - 13*l**2 - 10*l - 8. Is r(-6) a multiple of 16?
True
Let l(f) = -2*f + 19. Let i be l(8). Suppose -s = i, 2*r + s - 135 = 2*s. Is 22 a factor of r?
True
Let d = -9 - -12. Let h = -1 + d. Does 2 divide h?
True
Suppose -3*w - 9 = 0, 2*p - 3*w = 4*p + 11. Let r be -1 + -2 - (0 + p). Let l = 6 - r. Is l a multiple of 3?
False
Let b(r) = -20*r**3 - r**2 + 3*r + 5. Does 31 divide b(-2)?
True
Let r(q) = -6*q**2 + q. Let i be r(-1). Does 6 divide (-6)/i*(-1 + 22)?
True
Suppose 5*y + 8 = -p, 0 = y + 1. Let l be 50 + ((-6)/p)/(-2). Suppose 4*m = l + 3. Does 7 divide m?
False
Let j be ((-12)/9)/4*-15. Suppose 0 = 2*t + r - 189, -j*t + 480 = 4*r - 0*r. Let s = t + -37. Is 21 a factor of s?
False
Is 217/3 + (-1)/3 a multiple of 36?
True
Let k(l) = -l + 6. Let u(m) = m**2 + 4*m - 4. Let y be u(-6). Let q be k(y). Let r = q - -5. Does 3 divide r?
True
Suppose -35 - 51 = 2*h. Let w = h - -66. Is 9 a factor of w?
False
Let h = 7 - -22. Does 27 divide h?
False
Let a(t) = t**3 + 11*t**2 - 4*t + 11. Is a(-11) a multiple of 11?
True
Let t(j) = -26*j + 4 + 5*j + 14 + 2*j**2. Let i(y) = -y**2 + 10*y - 9. Let k(d) = -7*i(d) - 3*t(d). Is k(7) a multiple of 3?
True
Let n = 89 + -327. Let g = n - -341. Is g a multiple of 29?
False
Suppose 0*g = -4*g + 112. Suppose -2*v + g = -2*d, v + 5*d + 2 - 22 = 0. Suppose j - 6*j = -v. Is 2 a factor of j?
False
Suppose 80 = 3*r - 46. Is r a multiple of 21?
True
Is (-52)/(-3)*(-9)/(-2) a multiple of 13?
True
Suppose -l - q = 13 - 1, -21 = 4*l - 5*q. Is (-12)/(-9)*l/(-2) a multiple of 6?
True
Let m(x) = -5*x**3 + 9*x**2 + 36*x + 30. Let z(b) = b**3 - 2*b**2 - 7*b - 6. Let k(g) = -2*m(g) - 11*z(g). Is k(5) a multiple of 3?
True
Let j = 10 + -6. Suppose -b - 2 = 4*t, t - 2*t = j*b - 67. Is 18 a factor of b?
True
Let u = 18 - 8. Suppose -5*a - 4*t + 36 + 11 = 0, -2*t - 22 = -4*a. Let d = u + a. Does 7 divide d?
False
Suppose 0*v - 4 = -2*v. Suppose -k + 8 = v. Suppose -k*d + 132 = -2*d. Does 10 divide d?
False
Let r = -28 - -43. Is (-33)/(-2) + r/(-10) a multiple of 4?
False
Let k = 14 - 10. Let g be 4 - 6/3 - k. Is ((-4)/g)/(-2)*-12 a multiple of 12?
True
Let k(d) = 22*d + 1. Let s = 9 - 5. Let a be 1 + -2 + (s - 2). Is 16 a factor of k(a)?
False
Let z be 1/(-2) - 5/(-2). Suppose -z*q = -10 + 2. Is q even?
True
Suppose 66 = 3*b - 3*a - 6, 5*a = 15. Does 27 divide b?
True
Suppose 1 = -m + 2*z, 4*z = -4 + 12. Suppose -n + 88 = m*n. Is 8 a factor of n?
False
Let b = -61 + 81. Is b a multiple of 20?
True
Suppose -6*b + 49 = -779. Is 30 a factor of b?
False
Let w(o) = 35*o. Let l be w(-1). Let m = l + 84. Is m a multiple of 13?
False
Suppose -2*j = -5*j - 5*y + 8, -5*j - 2*y = -45. Is 4 a factor of j?
False
Let y = -4 - -8. Let k be 32/(-6) + y/(-6). Let x(v) = -2*v - 4. Is x(k) a multiple of 3?
False
Let u(l) = l**2 - 7*l - 2. Let a be u(7). Let i = a + 3. Does 10 divide 8/i - (-3 - -1)?
True
Suppose 240 = h - 2*q, 2*q - 1113 - 99 = -5*h. Is 26 a factor of h?
False
Suppose 187 = 2*n + 49. Is 11 a factor of n?
False
Suppose 0*z + 42 = -z. Let u = z + 77. Does 6 divide u?
False
Let j be (15/6 - 3)*-12. Suppose j + 5 = q. Is 6 a factor of q?
False
Let o = 10 - 18. Is (-146)/(-8) - (-2)/o a multiple of 18?
True
Suppose -8 = -2*o - 2*o. Let r = -3 - -4. Suppose 23 = o*b + k, 5*k = b + 2*k - r. Does 5 divide b?
True
Let a(p) = -p - 2*p**3 + 4*p**3 + 5*p**2 - p - 4*p**2. Is a(2) a multiple of 8?
True
Suppose -3*k + h + 240 = -h, 2*k - 3*h - 155 = 0. Does 11 divide k?
False
Let o be 3 - (-4)/((-12)/(-9)). Suppose 4*b + 5*a - 101 = 0, -o*b - 3*a + 51 = -4*b. Does 13 divide b?
False
Suppose 5*h = -w + 243, 5*h - 268 = 5*w - 13. Is h a multiple of 7?
True
Let z = 1 + 1. Suppose 4*y = z*y. Suppose -5*k + 5 = w, 4*w = -y*w - 5*k + 35. Does 10 divide w?
True
Let z(t) = 126*t + 1. Is 31 a factor of z(1)?
False
Let w be (4/(-5))/((-4)/30). Let n(c) be the third derivative of c**5/60 - 5*c**4/24 + c**2. Is n(w) a multiple of 6?
True
Suppose t - 13 - 6 = 0. Suppose 0*q - 4*w = q - t, -3*w = -4*q. Suppose 0 = k - 5*p - 9 - 5, -5*p + 102 = q*k. Is 12 a factor of k?
False
Let w be (-2 - 2/(-2))*25. Let p = w - -41. Does 5 divide p?
False
Is 2/(-10) + (-882)/(-10) + -4 a multiple of 6?
True
Suppose -137 = -f + 3*f + 5*u, f + 86 = u. Let c be ((-10)/(-3))/((-4)/54). Let m = c - f. Does 18 divide m?
True
Let u = -3 + 7. Suppose 2*v + u = -32. Let i = v - -29. Is i a multiple of 11?
True
Suppose 5*o + 47 = -3*h, 4*h + 37 = -2*o - o. Is 16/112 - 566/o a multiple of 30?
False
Suppose 0 = -m + 4*f - 21 + 78, -f + 114 = 2*m. Is 30 a factor of m?
False
Is 2/(-7) + (-6210)/(-126) a multiple of 5?
False
Suppose 10 = j + 3*s, -1 = -2*s + 3. Does 11 divide j/(-16) - (-282)/8?
False
Let o be (-48)/9 - (-2)/(-3). Let y(i) = -2*i**2 - 13*i - 2. Let z(f) = 6*f**2 + 38*f + 6. Let k(r) = 17*y(r) + 6*z(r). Does 16 divide k(o)?
True
Suppose 0*t - 4*t = -80. Is t a multiple of 5?
True
Let d = -180 - -128. Is 8 a factor of d/(-3)*(-12)/(-8)?
False
Suppose -7*v + 3*v = -2128. Is 38 a factor of v?
True
Suppose -u + 35 = -5*g, -2*u - g = u - 25. Suppose 5*c = 3*f + u, 4*f + 8 = 2*c + 2*f. Does 12 divide -1 - (-96)/(c - -4)?
False
Suppose 0 = y - 5, 2*y = 3*f + 10 + 6. Let a be (f/(-6))/((-5)/(-30)). Let t(j) = 2*j. Is t(a) even?
True
Suppose -2*u + 36 = 3*q - 5, -4*u + 4*q = -92. Let i = u + 3. Is i a multiple of 11?
False
Suppose 3*y - 4*l - 11 = -3*l, -5*y + 5 = l. Does 2 divide y?
True
Let y(g) = -g + 5. Let w be y(5). Suppose w*s + 24 = 4*s. Does 3 divide s?
True
Let o(d) = -d**2 + 7. Is o(0) a multiple of 7?
True
Let d(v) = v**3 + 8*v**2 + 5*v + 32. Is d(-6) a multiple of 8?
False
Let x be (-1)/(-2*(-3)/(-30)). Let a be x + ((-3)/3)/(-1). Let s(t) = t**3 - 7*t**2 + 7*t + 1. Is s(a) a multiple of 7?
True
Suppose 0 = 3*i - 5 + 2. Suppose -11 + i = -v. Suppose -15 = -g + 5*r, -3*r - v = 2*r. Is 2 a factor of g?
False
Let k be -2 - ((-100)/(-2) - 0). Let t be k/44 + 2/11. Is 13 a factor of 38 - -1*(t + 2)?
True
Is (-19192)/(-56) + (-8)/(-28) a multiple of 15?
False
Let o be -1 - (-1)/((-2)/(-26)). Suppose 2*h - o = h. Is 12 a factor of h?
True
Let a(x) = 3*x**2 - 2*x + 4. Let f(p) = 2*p**2 - p + 4. Let k(z) = 3*a(z) - 4*f(z). Is 30 a factor of k(7)?
False
Let f(r) be the first derivative of -r**2 + 2*r + 2. Let y be f(2). Does 9 divide 4*(y + 57/12)?
False
Let q = 9 - 2. Does 5 divide q?
False
Suppose 10*m - 875 = 5*m. Does 14 divide m?
False
Let a(f) = 2*f + 31. Let u be a(-13). Suppose -4*c + 148 + 57 = -3*m, -u*c - 4*m = -233. Does 11 divide c?
False
Suppose -19 - 35 = -2*w - 5*v, 4*w = v + 64. Does 3 divide w?
False
Let w(o) = -o**3 - o. Let h(u) = -u**2 + 5*u + 4. Let v be h(6). Is 8 a factor of w(v)?
False
Suppose 3*n - 57 = -w, 4*n = 2*w - 40 - 74. Suppose w = -0*c + c. Is c a multiple of 19?
True
Let q = -67 - -106. Let a = q - 20. Let j = a - 3. Does 16 divide j?
True
Let g = -3 + 6. Suppose 5*a = g*a + 4. Is 11 a factor of a - 4 - 34/(-2)?
False
Suppose -3*y + y = 10. Is 2/(2 - (-8)/y) even?
False
Let c be 3 - ((-2)/(-2) - 0). Suppose -i - 33 = -c*i. Is 16 a factor of (i/(-4))/(3/(-12))?
False
Let j be (-4)/(-10) + (-2)/5. Suppose -4*b - 70 + 230 = j. Is b a multiple of 19?
False
Suppose -p + 0*p = -7. Suppose 55 = 4*x + p. Is 12 a factor of x?
True
Let t be (33/(-9))/((-3)/(-9)). Let b be (1 + 0/2)*t. Is 12 a factor of (b/2)/(7/(-42))?
False
Let o = 1 - 6. Let k = 8 + o. Suppose -3 + 105 = k*c. Is 17 a factor of c?
True
Suppose 0 = 4*f - 3*j - 2*j - 80, j + 60 = 3*f. Is 5 a factor of f?
True
Suppose -22 = -f + 2*a + 9, 1 = a. Suppose 3*u - v - f = -3*v, 3*v = -9. Is 12 a factor of u?
False
Suppose -l = -21 - 0. Does 16 divide l?
False
Suppose 0 = 2*i + 3*i - 130. Is 11 a factor of i?
False
Let k be (-3)/(-12) + (-750)/(-8). Let x = k - 39. Let n = x - 37. Is n a multiple of 9?
True
Let h = 21 - 9. Does 17 divide h/(-8) + (-153)/(-6)?
False
Let k = -22 + 16. Does 24 divide -2 + 3*(-116)/k?
False
Suppose 5*r + l = 445, 2*r + 85 = 3*r + l. Does 5 divide r?
True
Let u be 714/18 - 1/(-3). Is 14 a factor of (2 - 1)*2 + u?
True
Let i(b) = -b + 4. Let x be i(0). Suppose d = -3, -5*d - 60 = -x*c + 47. Is 9 a factor of c?
False
Suppose -27 = 2*h + b, 6 = -0*h - h - 3*b. Let n = 21 + h. Is 18 a factor of n/(-4)*(-17 + 5)?
True
Let v(