 3*l + 14, 0*p - 4 = 2*p - 2*l. Let a be x(p). Is a/(-5) - (-162)/15 a multiple of 7?
False
Suppose -l + 208 = -w, -3*l + 592 = 2*w + 3*w. Does 34 divide l?
True
Let d = 28 - -9. Is d a multiple of 3?
False
Let b be 183/5 - (-10)/25. Let g = b + -22. Does 7 divide g?
False
Let s(f) = 37*f**3 + 2*f - 1. Let v = 3 - 1. Suppose 0 = v*a - p + 1, 0 = -2*a - 0*a + 5*p - 13. Is s(a) a multiple of 13?
False
Suppose 1189 = 5*y + 19. Is 26 a factor of y?
True
Suppose 2*r - 5*o = 753, 0*r + 5*r - o - 1848 = 0. Does 45 divide r?
False
Let z be (15/(-6))/((-2)/4). Let r be 2/(-4)*(-4 - 0). Suppose q + z*j - 49 = 0, -12 - 2 = -q + r*j. Is q a multiple of 12?
True
Let v(g) = g**3 - 4*g**2 - 4*g - 6. Let w be v(5). Let f = w - -5. Suppose 2*d = 22 + f. Is 6 a factor of d?
False
Suppose w + 5 = -0*w. Does 7 divide w + 18 - (-1 + 0)?
True
Suppose h = 3*v + 2*v, 2*h = -5*v. Suppose -5*i + 26 = r - h*r, -24 = -4*i - 4*r. Suppose -i = -0*p - p. Is 2 a factor of p?
False
Suppose -4*b - 232 = 4*f, -4*f - 223 = -0*f + b. Let t = 67 - 104. Let j = t - f. Is 11 a factor of j?
False
Suppose 0 = 15*r - 11*r - 756. Is r a multiple of 21?
True
Suppose 45*g + 30 = 47*g. Does 3 divide g?
True
Let a(y) = -y + 8. Let w(h) = 2*h - 5. Let x be w(4). Suppose -x*s = -s. Is a(s) a multiple of 4?
True
Suppose -4*l + 13 = -4*o - 3, -5*o = 5*l. Suppose -22 = -4*v + d, 6*v - l*d - 20 = 2*v. Is v even?
True
Let n(x) = 5*x + 13. Is 17 a factor of n(11)?
True
Let w = 18 + -1. Let u = -7 + w. Is 10 a factor of u?
True
Let j = 13 - 9. Suppose 2*c = -j*q + 12, 5*c = 2*q + q - 9. Suppose c = f - 4*f, -f = 3*i - 27. Does 5 divide i?
False
Let p = 11 - 0. Is p a multiple of 2?
False
Let b(z) = z**2 + 8*z + 8. Is b(-10) a multiple of 14?
True
Suppose i = 5*i - 408. Is i a multiple of 17?
True
Let v = 119 + -83. Does 23 divide v?
False
Let u(f) = 19*f - 14. Is 27 a factor of u(5)?
True
Suppose -6*v + v = -330. Does 24 divide v?
False
Is 4/2*(-135)/(-6) a multiple of 9?
True
Suppose 0 = -3*i + 1 - 4. Let x(n) = -14*n**3 - 5*n**2 + n - 5. Let a(v) = -14*v**3 - 4*v**2 + v - 4. Let k(z) = 5*a(z) - 4*x(z). Does 13 divide k(i)?
True
Suppose 5*z = -3*i - 9, 4 = -3*i + 5*i. Let s(l) = -6*l - 4. Is s(z) a multiple of 11?
False
Let u(c) = 25*c - 7. Is u(3) a multiple of 18?
False
Let z(l) = l**2 - 7*l + 4. Let d be z(6). Let y(r) = 11*r - 2. Let j(k) = -5*k + 1. Let m(v) = 5*j(v) + 2*y(v). Does 3 divide m(d)?
False
Let s(d) be the first derivative of d**4/4 - 2*d**3/3 + d**2 + 4*d - 1. Let p be s(3). Suppose 61 = 5*c - p. Is 8 a factor of c?
True
Let k = 136 - 56. Suppose -4*p = 8, -2*c + 6*p - 2*p = -k. Does 12 divide c?
True
Let s = 10 + -22. Let z = s - -23. Let d(n) = -n**2 + 11*n + 8. Does 8 divide d(z)?
True
Let h(k) = 4*k**3 + 8*k**2 + 11*k + 6. Let n(q) = -11*q**3 - 25*q**2 - 32*q - 18. Let c(i) = -8*h(i) - 3*n(i). Does 13 divide c(-10)?
True
Let i(x) = 2*x**2 + 2*x. Let o be 3 + (-15*1)/3. Is i(o) a multiple of 3?
False
Let r = 5 - 4. Does 12 divide -2 - r*(-78)/3?
True
Let a(u) = u**3 + 4*u**2 - 2*u + 10. Is a(3) a multiple of 5?
False
Suppose -5*q + q - 2*c = -8, -q - 2*c = -8. Let b = q - -2. Suppose -5*i = 4*g - 76, 0*g = -4*g - b*i + 88. Does 10 divide g?
False
Let w(y) = 2*y**3 + 2*y**2 - 3*y - 3. Let x be w(-2). Is (-288)/(-15) - (-1)/x a multiple of 19?
True
Let l = 58 + -21. Let p = l - 9. Let x = p - 16. Does 12 divide x?
True
Suppose 2*l - 2*h - 129 = -l, 2*l - 105 = -5*h. Does 3 divide l?
True
Let b be ((-18)/(-12))/(2/4). Suppose -4*g - 2*c = g - 86, -b*c = -3*g + 39. Is g a multiple of 16?
True
Suppose -8 = -4*b + v + 3*v, -4*b = -5*v - 5. Suppose -b*r = 4*w - 16, -3*w + 5*r = -0*r - 12. Is 2 a factor of w?
True
Is -63*(34/(-66) + (-10)/(-55)) a multiple of 7?
True
Suppose 9 + 30 = u. Does 16 divide u?
False
Let f(c) = c**2 - 10*c + 54. Does 44 divide f(-12)?
False
Let z be (48 - -3)/3 + -2. Suppose -3*x + 2*k + 47 = -2*x, 3*k = 5*x - 242. Suppose z = 4*s - x. Is 16 a factor of s?
True
Suppose p - 46 - 57 = 0. Is 13 a factor of p?
False
Let s(t) = -t + 1. Let y be s(-1). Suppose -n - y = k + 3*k, 2*n + 3*k - 6 = 0. Suppose n*w = w + 60. Is w a multiple of 5?
False
Let z = 128 + -33. Is z a multiple of 30?
False
Let o(v) = v**3 + 4*v**2 - v - 1. Let s be o(-4). Let k be 1*1/(s/57). Suppose 3*n + 3*h - k = h, -5*h - 20 = 0. Is n a multiple of 7?
False
Let j(y) = -13*y**3 - 3*y**2 - 3*y - 3. Does 19 divide j(-2)?
True
Suppose -4*a = -9*a + 3*i + 240, 3*i + 36 = a. Is a a multiple of 17?
True
Let x(w) = -w**3 - 6*w**2 - 10*w. Is 8 a factor of x(-4)?
True
Let g = 71 + -35. Is 9 a factor of g?
True
Let i(l) = -l**2 - 2*l - 12. Let j be i(-11). Let u = -30 - j. Is 27 a factor of u?
True
Let z(c) = c**3 - c**2 - c + 1. Let j be z(0). Let l(m) = 18*m**3 + m**2. Does 14 divide l(j)?
False
Let b = 128 - 77. Let n = 85 - b. Does 8 divide n*(-1)/(-4)*2?
False
Let p(c) = -c**2 - 10*c - 3. Let y be p(-10). Let u(j) = -4 + 2*j**2 - j**3 - 4*j**2 + 3*j - 3*j**2 + 4*j**2. Is u(y) a multiple of 3?
False
Let r(i) = i**3 + 19*i**2 + 10*i + 10. Is 11 a factor of r(-18)?
True
Let d(k) be the second derivative of -5*k**3/6 + k**2 - 3*k. Is d(-2) a multiple of 8?
False
Let r = -36 + 98. Is 24 a factor of r?
False
Let u = 4 - 4. Suppose u = 3*g - 17 - 7. Is 7 a factor of g?
False
Let j be (-3*15/(-9))/(-1). Let a(c) = c**3 + c**2 - 5*c + 1. Let b be a(j). Let x = b + 103. Does 11 divide x?
False
Suppose 0*r - 23 = -r + 2*k, -r + 32 = k. Does 10 divide r?
False
Let x be 39/(-5) + (-5)/25. Let b(f) = f**2 + 3*f + 8. Let u be b(x). Let s = 67 - u. Is 11 a factor of s?
False
Let o(p) = -3*p - 2. Suppose -2*l + 3*l + 6 = 0. Let b be o(l). Let s = b - 10. Does 4 divide s?
False
Let v(x) = -5*x**2 - 7*x**2 + 5*x + 11*x**2 - 1. Let k be v(5). Does 25 divide 10*10*k/(-4)?
True
Let y be (-9)/6 - (-22)/4. Does 8 divide -20*1/((-10)/y)?
True
Let a = 10 + -6. Suppose 3*n - 5*u - 36 = 0, u - 37 = -0*n - 2*n. Suppose n + 15 = a*x. Is x a multiple of 8?
True
Suppose 2*c - 3*l = 110, 0 = 2*c - 0*c - 5*l - 110. Does 9 divide c?
False
Let l(i) = 67*i - 15. Does 8 divide l(2)?
False
Suppose 5*m - 3*t = 877, 4*t - 130 - 226 = -2*m. Is m a multiple of 22?
True
Suppose 14*d - 92 = 12*d. Is d a multiple of 4?
False
Let d be -3 + 3 + (-22)/(-1). Let x = 64 - d. Is x a multiple of 14?
True
Let z = -11 - -11. Let a(p) = 25*p - 1. Let n be a(3). Suppose z = -3*i + n + 7. Does 11 divide i?
False
Let u(y) = 2*y**3 - 3*y. Let c be u(-3). Let i = c + 78. Suppose i = 5*b - 2. Is 3 a factor of b?
False
Let k(i) = -i**2 - 4*i + 1. Let o be k(-3). Let x = o + 0. Suppose 2*d + x = 0, 3*w + 8 = 4*d + 40. Is 4 a factor of w?
True
Suppose 0 = -3*c + 2*c + 51. Is c a multiple of 17?
True
Let c be (-1 - -2) + 0 - -3. Suppose -31 - 17 = -c*b. Is b a multiple of 12?
True
Let h(a) = -a - 6. Let u be h(-3). Let f be 2/(-3) - 71/u. Suppose 4*l = w - f, 2*w - 3*l - 7 = 14. Is w a multiple of 2?
False
Suppose -7*s + 92 = -3*s + 5*d, 2*s - 5*d - 46 = 0. Does 8 divide s?
False
Suppose k + 5 = y, -4*y + k = -21 + 4. Suppose -3*q + 46 = 2*b, -5*q = y*b - 43 - 49. Is b a multiple of 8?
False
Is (-32)/(-6)*(-2 + 5) a multiple of 8?
True
Suppose 3 + 22 = -5*v. Let i = 5 + v. Suppose i*a = 3*a - 33. Is 11 a factor of a?
True
Suppose -28 = -c + t - 5*t, 0 = -3*t - 3. Is c a multiple of 16?
True
Suppose -2*n + 29 = 3. Is 4 a factor of n?
False
Let p(j) = j**2 - 5*j + 4. Let c be p(3). Let w = 7 - c. Is 3 a factor of w?
True
Let p = 191 - 161. Is 14 a factor of p?
False
Suppose 5*p - 20 = k - 1, p + 3*k = -9. Let o be 0 + p/(3/64). Let m = o + -36. Is 13 a factor of m?
False
Suppose -w + 2 + 1 = 0, -603 = -2*y - 5*w. Does 47 divide y?
False
Suppose p + 69 = z, -4*z + 7*z - 182 = -2*p. Let v = z - 8. Suppose -9*m = -5*m - v. Is 7 a factor of m?
True
Suppose -4*c - 5*s = -s - 140, 0 = -4*c + 2*s + 152. Is 18 a factor of c?
False
Let n(y) = -y**2 + 3*y + 4. Let o be n(3). Suppose -j = -3*x - 3, -o*j + x = -0 - 45. Is 12 a factor of j?
True
Let l(j) = 2*j + 20. Is l(-2) a multiple of 16?
True
Suppose -j + 20 = -5*h, 11 = -4*j - h + 28. Let n = 10 - j. Suppose n + 10 = 3*k. Is k a multiple of 2?
False
Is (-7)/((-126)/652) + (-2)/9 a multiple of 9?
True
Is (-1312)/(-40) + (-1)/(-5) a multiple of 33?
True
Suppose 0 = -3*x + 126 + 27. Is 13 a factor of x?
False
Suppose -