 -4. Is 21 a factor of p?
False
Is 26 a factor of 4 + 422/(-8)*-4?
False
Let h(k) = 8*k + 2. Let y = 29 - 27. Does 7 divide h(y)?
False
Suppose -3*x + 9 = 3. Suppose 36 + 2 = x*u. Is 19 a factor of u?
True
Let y = 168 - 38. Is 26 a factor of y?
True
Suppose -1 = -2*v + 5. Let d(m) = 6*m**2 + 7*m + 4. Let r be d(-4). Suppose v*y = 36 + r. Is y a multiple of 14?
False
Suppose 21 - 27 = -u. Is u even?
True
Suppose z - 6*z = 5*o - 260, -2*o = -4*z - 74. Let j = -4 + o. Is 13 a factor of j?
False
Suppose 483 + 2233 = 14*y. Is 43 a factor of y?
False
Suppose 3*k - 174 = 5*z, 2*k - k + 5*z - 58 = 0. Is k a multiple of 15?
False
Suppose 5*s = -0 + 5. Let z be (2/(-6))/((-3)/9). Let l = z + s. Is l even?
True
Let t(c) = -2*c**2 + 2*c - 1. Let o be t(1). Let l be ((-21)/9)/(o/15). Suppose 5*b - 125 = l. Is b a multiple of 16?
True
Is 12/5*(-220)/(-33) a multiple of 4?
True
Let b = 6 - 2. Let y = -2 + b. Is 6 a factor of (2/1 - y) + 8?
False
Let a = -18 + 13. Is a - -23 - 0/(-3) a multiple of 4?
False
Let f(q) = 1 + 5*q - 3*q + 0*q + 1. Does 5 divide f(4)?
True
Suppose -5 = -2*t + 3. Suppose 0 = -4*u + 8 + t. Is 2 a factor of u?
False
Let j = -18 + 21. Does 2 divide j?
False
Let c = 13 - 78. Let y = c - -97. Is y a multiple of 8?
True
Let i(y) = -y**3 + 5*y**2. Let d be i(4). Suppose d = 3*x + 4*n, -3*x + 4 = 2*n - 10. Suppose x*k = -0*k + 64. Is k a multiple of 8?
True
Let l be 10/2 - (-3 - -2). Let j = l - 19. Let h = j + 18. Is 5 a factor of h?
True
Suppose 5*n = -3*w - w - 169, 0 = -2*n - 4*w - 58. Let x be (9*-1)/((-1)/(-7)). Let u = n - x. Does 17 divide u?
False
Suppose -8*k + 1230 = -418. Is k a multiple of 40?
False
Let b be (-2)/(-3) + (-7)/(-3). Suppose 2*j = -b*v + 4*j + 18, -3*j = -2*v + 12. Is 6 a factor of v?
True
Suppose 2*k - 7 + 3 = 0, k - 154 = -4*y. Is 19 a factor of y?
True
Let t(f) = f - 1. Let x be t(2). Suppose o + 2*y = x, 0 = -2*o - 0*o + 3*y + 16. Is o a multiple of 2?
False
Let x(q) = q**3 - 5*q**2 - 4*q + 4. Suppose 0 = -3*s + 24 - 6. Is x(s) a multiple of 16?
True
Let c(i) = -i**2 + 4*i - 1. Let h be c(4). Does 3 divide (12/30)/(h/(-25))?
False
Let c(h) = -5*h - 6. Let y(l) = -3*l - 3. Let d(u) = 4*c(u) - 7*y(u). Does 3 divide d(6)?
True
Let h(p) = p**3 - 4*p**2 + 5*p - 4. Let g be h(4). Suppose 4*m - 88 = -2*r - g, -m - 4*r = -18. Is 6 a factor of m?
True
Suppose -5*c + 42 = -2*c. Suppose 13*v = c*v - 12. Is 11 a factor of v?
False
Suppose 0 = 4*h + 2*i - 4*i - 2, 14 = 3*h - 4*i. Does 20 divide (0/h)/(-3) + 39?
False
Suppose -5*o - 8 = 4*d + 8, 4*d = -4*o - 16. Let h = o - -1. Does 2 divide -1*(-1 + (h - 3))?
False
Let t(i) = -i + 21. Is t(14) a multiple of 7?
True
Let d = 0 + 0. Suppose -9 = -3*m - d. Is (117 + 3)/m + 0 a multiple of 20?
True
Suppose -180 = 385*d - 389*d. Is d a multiple of 3?
True
Suppose -4*q + 11 = -5*q. Let b(p) = -p**2 - 12*p - 7. Let c be b(q). Suppose 2*d - c = d. Is 4 a factor of d?
True
Suppose f - 25 - 28 = -5*a, 0 = -2*f + a + 84. Does 20 divide f?
False
Suppose -55*x + 50*x + 115 = 0. Is 7 a factor of x?
False
Let m = 136 - 80. Does 23 divide m?
False
Suppose o - 6*o = -50. Suppose q = o + 49. Is q a multiple of 16?
False
Suppose 0*x + 2*x = 156. Let f(n) = -11*n**2 + 3*n - 2. Let y be f(2). Let v = x + y. Does 13 divide v?
False
Let o = -20 - -8. Suppose -3*n - 3*g - 15 = 0, 14 + 5 = -3*n + g. Let z = n - o. Is z a multiple of 6?
True
Let c = 18 + -29. Is 1776/88 - (-2)/c a multiple of 10?
True
Let c(s) = -s**2 - 7*s + 2. Let f(m) = -2*m**2 - m. Let y be f(-2). Let g be c(y). Suppose -7 = -5*z + g. Is z even?
False
Suppose 0 = 3*p + 5*v + 62, -v + 0*v + 122 = -5*p. Let j = 48 + p. Is 8 a factor of j?
True
Let u(z) = -2*z**3 - z**2 - 2*z + 155. Is u(0) a multiple of 7?
False
Suppose 4*d = x - 22, -4*x + 4 = 2*d + 3*d. Suppose 7*r = 8*r - x. Is 4 a factor of r?
False
Let t be -1 - (-4)/6*6. Let x(a) = -a**3 - 3*a + 4*a**2 - t*a**2 - 2*a**2 - 2. Is x(-2) a multiple of 5?
False
Suppose 47 = a - 5*n, -2*n - 2*n - 70 = -2*a. Does 11 divide a?
False
Suppose -7 = 5*c - 37. Suppose 3*q - 5*q = -c. Suppose -q*t = -0*t - 144. Is t a multiple of 19?
False
Suppose -3*l + 342 = -438. Is l a multiple of 20?
True
Let y(p) = p**2 + p + 97. Is y(0) a multiple of 23?
False
Suppose -10*r + 5*r = -875. Is r a multiple of 30?
False
Suppose -2*r + 3 + 49 = 0. Does 5 divide r?
False
Let k be (-14)/((1 - 2) + -1). Let i(m) = -1 + m + 3 + m. Is i(k) a multiple of 6?
False
Let d = 201 + -125. Is d a multiple of 38?
True
Let i(u) = -2*u**2 + 6*u. Is i(2) a multiple of 2?
True
Let s(z) = -4*z. Is s(-7) a multiple of 7?
True
Let k(t) be the third derivative of t**4/2 + t**3/6 + 6*t**2. Is 12 a factor of k(4)?
False
Is (-140)/6*(-6)/5 a multiple of 28?
True
Suppose -4*v - 4*o = 7268, v + 2*o = 3*v + 3650. Let s be v/(-33) + (-2)/11. Let b = s - 32. Is 12 a factor of b?
False
Let o = 131 + -74. Does 31 divide o?
False
Suppose 0 = 3*w - 2*r - 37, 0 = 3*w - 5*r - 14 - 38. Let x be (2/(-2))/(1/3). Let p = x + w. Does 3 divide p?
True
Is 2 a factor of 63/(-7)*-3 + -1 + 0?
True
Suppose -4*t - q + 29 = 0, -17*q + 15*q = 2*t - 22. Is 2 a factor of t?
True
Is 19 a factor of 1*(-2 + 81 - 3)?
True
Let m(z) = z**2 + 10*z - 1. Let d be m(-7). Let k = -12 - d. Let u(w) = -w**2 + 12*w - 11. Does 9 divide u(k)?
True
Let v = -1 + 1. Suppose j = 5*b - v*j - 26, -2*j = -8. Suppose 3*l - 75 = b. Is l a multiple of 10?
False
Let s(l) = -l + 101. Is 8 a factor of s(-13)?
False
Let f(o) = -o**2 - 3*o. Let z be f(-6). Let s = -13 - z. Let b = 18 - s. Does 6 divide b?
False
Let n be (2*-1)/(4/(-4)). Suppose a + n = 2*a. Let z = 6 + a. Does 6 divide z?
False
Suppose 5*c - 5*x - 15 = 0, 5*x - 1 = c - 0*x. Suppose q + 96 = k + k, c*k - 3*q - 190 = 0. Is 25 a factor of k?
False
Is 2 a factor of (-1 + 9)/2 - (-17)/17?
False
Suppose -4*z + 8 = 0, -2*z - 10 = -3*i + 4*i. Let n = 14 - i. Is n a multiple of 12?
False
Let g be 1*(-1 + -5)/(-2). Suppose 2*q - 5*n = 76 + 176, -q + 5*n + 126 = 0. Suppose 0*o - g*o + q = 0. Is 14 a factor of o?
True
Let a = 7 + -1. Let g be (2 + -1 - a)*-11. Suppose -3*q + 18 = -5*z - 52, 4*z - g = -5*q. Is 5 a factor of q?
True
Suppose -x - 2*x = 0. Suppose x*b + 28 = b. Does 20 divide b?
False
Let f(g) = -2*g**3 - 3*g**2. Let j be f(-2). Suppose 69 = -2*d + 5*v, 2*v - j*v = 5*d + 100. Let m = -13 - d. Is 8 a factor of m?
False
Let f be 66/14 - (-2)/7. Suppose -w - 1 + 7 = f*t, 0 = -3*t - 9. Does 21 divide w?
True
Suppose -3*p - 74 = -197. Does 41 divide p?
True
Let y(o) = 2*o - 7. Does 7 divide y(7)?
True
Let k be 24/(-10) + (-6)/(-15). Let g(l) = -7*l + 1. Let z(i) = 36*i - 6. Let v(c) = k*z(c) - 11*g(c). Is 8 a factor of v(3)?
True
Suppose 3*t - 3*o + 1 = -5, -5*t + 30 = 5*o. Suppose v - 10 = -2*c + 18, t*c - 4*v = 8. Is c a multiple of 6?
True
Suppose 0 = 8*i - 6*i - 24. Is i a multiple of 6?
True
Suppose -v - 11 = -96. Is 20 a factor of v?
False
Let q = -51 + 76. Suppose -7*a + 2*a = -q. Suppose a*d + 1 = 71. Is d a multiple of 14?
True
Let r(a) = 3*a**2 + 17*a + 19. Is 25 a factor of r(-8)?
True
Let z be 0 + (0 - 0) + -5. Let h(v) = -v + 15. Let m(r) = 7. Let k(j) = 2*h(j) - 5*m(j). Is 5 a factor of k(z)?
True
Suppose p = 8 - 2. Suppose m - p = -4*z, 3*m - 2*z = z + 18. Does 3 divide m?
True
Suppose 4*o - 4*n + 20 = 0, 0 = 4*o + o + 5*n + 5. Let u = 3 + o. Suppose 0*j + j - 4 = u. Is j a multiple of 4?
True
Suppose -3*s + 6 = -0*s. Suppose c = -v + 37, c + 1 = -s. Suppose 3*f + 4*n + 4 = v, -f = -2*n - 12. Is 5 a factor of f?
False
Suppose 4*a = -4*d + 92, 4*d - 5 = 5*d. Let f = a - 7. Does 13 divide f?
False
Suppose -3*g = -3*n - 102 - 66, 3*g = 4*n + 166. Suppose -u = u - g. Does 13 divide u?
False
Let v = 14 - -13. Let c = v + -1. Is c a multiple of 26?
True
Suppose -3*m = -5*p - m + 23, 0 = 4*p + m - 21. Is 9 a factor of 2 + p + 0 + 2?
True
Let c(y) = -y**3 - 4*y**2 + 7*y - 7. Is c(-6) a multiple of 11?
False
Suppose 0 = 2*c + 2*f - 100, -236 = -5*c + 3*f - f. Is c a multiple of 3?
True
Let j = -6 - -9. Suppose 189 = j*s + 2*s - 4*g, 4*g - 107 = -3*s. Is s a multiple of 22?
False
Suppose 125 = 2*p + 3*p. Let b = p + -18. Let q(w) = w - 1. Does 6 divide q(b)?
True
Let c = 109 - 75. Is 34 a factor of c?
True
Suppose 5*g + 5*r - 237 + 12 = 0, 0 = 4*g - 4*r - 204. Suppose a = -3*a - g. Does 9 divide 147/9 - (-4)/a?
F