- 52 = 0. Is h a multiple of 6?
True
Suppose -5*k = -35 + 10. Let q(z) = z - 2. Let j be q(k). Suppose -2*x - 58 = -3*u - x, 0 = j*u + 3*x - 78. Does 9 divide u?
False
Let q = 12 - 16. Let k(o) = 5*o**2 - 9. Is k(q) a multiple of 18?
False
Let s(n) = 9*n**2 - 4*n. Let q be s(-5). Suppose 5*p = -0*p + q. Is p a multiple of 18?
False
Let l(n) = 15*n - 5. Let r(a) = -7*a + 3. Let m(w) = 6*l(w) + 13*r(w). Let j be m(9). Suppose j*h - h = -10. Is h a multiple of 5?
True
Suppose 186 = -2*s - 224. Let g = s + 287. Is g a multiple of 21?
False
Let s = 39 + -20. Let j(h) = h**3 - 3*h**2 - 2*h - 5. Let o be j(4). Suppose -23 = -o*i + s. Is 14 a factor of i?
True
Let f(d) = 2*d**2 + 11*d + 7. Is 13 a factor of f(-9)?
False
Let g(t) be the first derivative of t**4/4 + 7*t**3/3 - t**2 - 10*t + 2. Let s be g(-7). Is 12 a factor of (0 - 10)/((-2)/s)?
False
Let a = 24 - 18. Does 4 divide a?
False
Let i = 13 + -61. Let k = i - -88. Is k a multiple of 17?
False
Suppose 0 = 4*i - 3*o - 123, -2*i + 0*o = -4*o - 54. Is i a multiple of 11?
True
Let y be (-4)/10 + (-2)/(-5). Suppose 7*o - 4*o + 15 = y. Let j = o - -10. Is 2 a factor of j?
False
Suppose 4*l - 15 = -l. Let h = -10 + 7. Is 13 + 1 + h + l a multiple of 14?
True
Let b = 209 + -88. Suppose 1 = -3*q + b. Suppose 0 = -8*u + 3*u + q. Is u a multiple of 8?
True
Let r be 2/(-2) - (-1 - 2). Suppose 2*q = -r + 22. Is 5 a factor of q?
True
Suppose -4*z = -2*y + 16, 3*y - 25 = 5*z - 0*z. Suppose -2*w - 3*w = 3*d - y, -d = -2*w - 18. Does 10 divide d?
True
Let t(b) = -112*b**3 + b**2 + 2*b + 1. Is 27 a factor of t(-1)?
False
Does 14 divide -30*(1 + 1 - 72/20)?
False
Let s(c) = -c**2 + 5*c + 7. Does 3 divide s(5)?
False
Suppose 3 - 19 = -4*q. Suppose -2*o + 6 = -3*f - 0, -q*o - 5*f = 10. Suppose -z + o*z + 6 = r, z + 4*r + 9 = 0. Does 5 divide z?
False
Is 11 a factor of -22*(2/(-1) - -1)?
True
Suppose 2*t + 2*t - 12 = 0. Suppose -2*a - 6 = -3*m + t, 3*a + 15 = 5*m. Suppose a = -3*v - v + 216. Does 14 divide v?
False
Let s(r) = r**3 + 5*r**2 - 12*r + 2. Is 14 a factor of s(-5)?
False
Let h be (-19 - -2)*3/(-3). Does 17 divide ((-4)/(-2))/(2/h)?
True
Suppose -a - 2 + 15 = 0. Suppose 3*q = -b + 13, b = -2*b + 4*q + a. Is b a multiple of 4?
False
Let c(m) = -m**3 + 9*m**2 - 12*m + 7. Let f be c(8). Let l be 2 + f + 1 - -1. Does 2 divide (-4)/14 - 132/l?
True
Let c(u) be the first derivative of -u**2/2 - 5*u - 4. Is c(-7) even?
True
Suppose 4*m - 9 = 79. Does 22 divide m?
True
Let t be 4/(-2) + (3 - 1). Suppose -3*k = t, 0*g - 4*k + 2 = g. Suppose -7 = -g*z + 15. Is 10 a factor of z?
False
Let x(d) = -7*d - 5. Is 6 a factor of x(-4)?
False
Suppose -3*h + 393 = h + 5*i, 3*h = -i + 292. Is h a multiple of 15?
False
Let q = 56 - -88. Is 8 a factor of q?
True
Is (92 + 1 - -1) + -44 + 43 a multiple of 24?
False
Let w(k) = k**3 + k**2 - k + 1. Let m(l) = 5*l**3 - 3*l**2 - 10*l + 15. Let g(c) = -m(c) + 6*w(c). Is g(-8) a multiple of 11?
False
Suppose 2*z = 3*a - 79 - 136, 0 = -3*a - 3*z + 195. Is 8 a factor of a?
False
Suppose -2 + 10 = 2*i. Suppose -105 = -2*b + b - 2*s, -5*s = -15. Suppose -t - b = -i*t. Is t a multiple of 11?
True
Let y = 64 - 33. Is y a multiple of 22?
False
Suppose 3*d = 54 - 18. Suppose -2*z - d = -5*z. Suppose 3 = 5*r - z*r. Does 2 divide r?
False
Let q(k) = k**3 - 5*k**2 - 9*k - 10. Let d be q(7). Suppose 0*t + d = 5*t. Is t a multiple of 2?
False
Suppose -3 = -v, 0*v + 1763 = 4*c + v. Does 40 divide c?
True
Let c = 5 + -2. Let b = -5 + c. Is 19 a factor of 3 + (0 - -37) + b?
True
Let c(a) = -a**2 - 8*a + 7. Let k be c(-7). Suppose 4*p - 12 - 12 = 0. Let t = k - p. Does 4 divide t?
True
Let i(o) = o**2 + 7 + 2*o - 6*o + 3*o. Is i(8) a multiple of 21?
True
Let u = -72 - -126. Suppose h - 4*h + u = 0. Is h a multiple of 6?
True
Let b(t) = 3*t**2 - 23*t - 26. Does 10 divide b(12)?
True
Let u(x) = -x**3 - 7*x**2 - 7*x - 8. Let r be u(-6). Is 21 a factor of -3 + r + 5 + 21?
True
Suppose -y = -9 + 4. Let n = 16 + y. Does 7 divide n?
True
Let s = 12 - 9. Suppose 2*a + s*i - 42 = 0, 0 = 4*a - i + 5*i - 76. Does 5 divide a?
True
Let d be -1 - ((-2 - 2) + -2). Suppose 0 = -5*t + d*b + 60, -4*t + b + 37 = -20. Is 5 a factor of t?
True
Let o = 1 + 23. Is o a multiple of 3?
True
Suppose -4*s + 5*t = -132, -2*s + 2*t - 4*t = -66. Does 5 divide s?
False
Let q = -3 - -2. Let h be 2 - q - (-59)/(-1). Let b = -23 - h. Is 11 a factor of b?
True
Let m be (-6)/27 - (-40)/18. Suppose 2*f + m*t = -11 + 51, f + 3*t = 24. Is 9 a factor of f?
True
Let x(h) = -2*h**3 - 2*h + 1. Let g = 12 - 7. Suppose 4*s = -5*w - 3, -w = -g*s - 1 - 10. Is 13 a factor of x(s)?
False
Let j(c) be the second derivative of c**5/20 - c**4/12 - c**3/6 + 9*c**2 + 4*c. Is 4 a factor of j(0)?
False
Let r = 60 - 8. Is 26 a factor of r?
True
Let z = -159 - -256. Is 11 a factor of z?
False
Suppose 0 = 5*c + 2*c - 525. Is c a multiple of 5?
True
Let i = -60 - -110. Is 10 a factor of i?
True
Let l = -432 - -306. Let a = -56 - l. Suppose -j = -6*j + a. Does 6 divide j?
False
Suppose -10*l + 1653 - 603 = 0. Is 29 a factor of l?
False
Let j = 14 + -9. Suppose -24 = -b - j*c, 2*c - 5*c = -4*b + 50. Is 9 a factor of b?
False
Let h = -2 - -6. Suppose 0 = -h*q + 3*u + 179, 2*q - u = -q + 138. Is q a multiple of 14?
False
Let u be (-5 + 2)*(3 - 2). Let o = u - -7. Suppose 0*d - d = -o*g + 101, -4*d = 3*g - 90. Is g a multiple of 10?
False
Let o be ((-2)/2)/((-1)/4). Suppose k = 3*k + l + 1, 3*k + o*l = -4. Suppose -v + k*v - 15 = -4*w, 3*v - 25 = -2*w. Is v a multiple of 2?
False
Suppose -4*n = 39 - 15. Is (28/n)/(5/(-15)) a multiple of 4?
False
Suppose 2*j - 19 = 37. Does 5 divide j?
False
Let r(f) be the second derivative of 5*f**4/12 - 19*f**3/6 + 10*f**2 + 2*f. Let j(a) = a**2 - 4*a + 4. Let m(o) = -11*j(o) + 2*r(o). Is m(4) a multiple of 4?
True
Let w(t) = t**2 - 5*t + 2. Let p be w(6). Suppose 3 = -b + p. Is 5 a factor of b?
True
Let i = -833 - -1175. Does 24 divide i?
False
Let z be 16/6 + (-1)/(-3). Let o(s) = s**3 + 10*s**2 + 13. Let f be o(-10). Suppose -z*c + f = -38. Is 9 a factor of c?
False
Let g(z) be the first derivative of -9*z**2/2 - z - 1. Let j = -11 + 10. Is g(j) a multiple of 4?
True
Suppose 2*b = -3*b + 20. Suppose 8*g = b*g + 128. Is g a multiple of 16?
True
Let t = 21 - 19. Is t a multiple of 2?
True
Let d(s) = -19*s + 2. Does 26 divide d(-4)?
True
Let t = 6 + 27. Is 3 a factor of t/9 - (-2)/(-3)?
True
Let p = 148 + -92. Is 17 a factor of p?
False
Suppose -3*v = -4*v + 2. Suppose -u + 69 = v*u. Is 10 a factor of u?
False
Let u(i) = -3*i - 3. Let a be u(-2). Suppose 27 = a*n - 0*n. Does 4 divide n?
False
Let t be (1 + -3 + 2)*1. Suppose t = -4*z - z + 410. Does 18 divide z?
False
Let u(d) = 12*d**3 - d**2 + 1. Is u(1) a multiple of 4?
True
Suppose -54*c + 57*c - 1176 = 0. Is 14 a factor of c?
True
Let o(q) = -q**3 + 8*q**2 - 4*q - 5. Does 10 divide o(5)?
True
Let t(z) = -98*z + 1. Is 22 a factor of t(-1)?
False
Let d(f) = -f**3 + 17*f**2 - 21*f + 22. Is d(15) a multiple of 20?
False
Suppose -5*r + 65 - 20 = 0. Does 2 divide (-261)/(-81) - 2/r?
False
Suppose -3*p = -5*r - 148, r = -5*p - 17 - 7. Let s = r - -40. Let l = s + 6. Is 9 a factor of l?
False
Suppose -5 + 0 = -3*v - j, 4*v - j = -5. Suppose 4*y = -v*y + 52. Is y a multiple of 7?
False
Suppose 0 = -4*z - 9*r + 4*r + 507, -2*z + 251 = 5*r. Is 12 a factor of (9/(-6))/((-12)/z)?
False
Is 9 a factor of ((-9)/12)/(2/(-72))?
True
Suppose -3*h + 2*l + 54 = 0, 0 = -4*h - 2*l + l + 72. Is 9 a factor of h?
True
Suppose -2*m = 2*y + 14, 2*m + 12 = 4. Let l be (15/(-4))/y*8. Suppose l*x - 90 = 5*x. Is x a multiple of 9?
True
Let d(u) be the second derivative of u**4/3 - u**3/2 - 3*u. Is 10 a factor of d(2)?
True
Let j = 56 - -65. Is 11 a factor of j?
True
Suppose -d + 6*d + 195 = 5*v, -38 = -v + 2*d. Is 9 a factor of v?
False
Is 1/(-3)*-2*69 a multiple of 23?
True
Suppose 0 = i - 30 + 10. Is i a multiple of 6?
False
Suppose -5*w = -11*w + 1020. Does 34 divide w?
True
Let g = 96 + -57. Is g a multiple of 13?
True
Does 9 divide (27/(-3))/((-1)/9)?
True
Suppose 0 = -2*i + 2*o - 2, -4*i - 4 = i - 4*o. Suppose 5*k + 3*j - 66 = -0*k, 0 = -3*k + j + 34. Let f = i + k. Is 12 a factor of f?
True
Let q(d) = -19*d**2 - 2*d + 1. Let f be q(1). Let a = 80 + f. Does 21 divide a?
False
Let a be (0 - -2) + (-