 w(p) = p**2 - p. Let k be w(f). Let v = k - -42. Is v a multiple of 19?
False
Let k(i) = -i**3 + 10*i**2 + 5*i - 22. Is k(10) a multiple of 14?
True
Let q(f) = -3*f**3 + 4*f**3 + 33 - f**2 + f + 30 - 13. Is 13 a factor of q(0)?
False
Let y be 4 - 4/(-12)*0. Does 11 divide 0 - (y + -13*2)?
True
Let n be (58 - 2) + 1*-2. Let r be (-3)/3 + 1 + n. Suppose -2*s - 4*x = -r, 5*s - 2*x = -x + 80. Is s a multiple of 15?
False
Let d be (-46)/(-10) + 12/30. Let h(f) = f. Is h(d) a multiple of 2?
False
Let a be 28/(-8)*8/(-14). Let r(m) = 5*m**3 - m**2 - 2*m + 2. Does 17 divide r(a)?
True
Is 484/33 - 2/3 a multiple of 4?
False
Suppose 0 = -0*t + 3*t. Suppose k + k + 10 = t. Let g = k + 9. Is g a multiple of 4?
True
Let m = -66 - -110. Is 11 a factor of m?
True
Suppose -2*z - z + 60 = 0. Suppose -5*r + 3*l + 2 + 18 = 0, -5*r - 5*l = -z. Is 2 a factor of r?
True
Let g be (-2)/7 - 68/7. Let x be (-4)/(-6)*-3 - g. Let y(f) = 4*f - 11. Does 21 divide y(x)?
True
Suppose 3*d + 2*d - 190 = -3*r, -5*d + 4*r = -155. Is 13 a factor of d?
False
Let b = 8 - 5. Suppose -2 = -i - 3*d, b*d = 5*i - 4 - 6. Suppose -u - i = -4. Is u a multiple of 2?
True
Suppose 3*c - 82 = -4*k, c - 1 = -2*k + 27. Suppose c = 4*z - 22. Does 6 divide z?
True
Suppose 2*s + 0*f - 3*f - 31 = 0, 5*s - 30 = -2*f. Is 11 a factor of 12 - (s/(-4) - -3)?
True
Is 12 a factor of ((-3)/(-5))/((-3)/(-570))?
False
Suppose 6*h - 237 = 183. Is 14 a factor of h?
True
Let u = -53 + 135. Does 8 divide u?
False
Suppose 4*r + 30 = -5*q + 247, 4*r + 193 = 5*q. Does 20 divide q?
False
Suppose y + 5*k - 25 = -0*y, k = 5*y - 151. Let f = y + 14. Does 22 divide f?
True
Let w = -7 - -16. Is 2 a factor of w?
False
Suppose -665 = -5*n + 4*l, 0*n + 501 = 4*n + 3*l. Let j = -229 - -140. Let y = n + j. Does 22 divide y?
False
Is 2/((-4)/55)*-2 a multiple of 14?
False
Let f(t) = 49*t**2 - 6. Is f(2) a multiple of 38?
True
Let z(g) = -16*g - 20. Does 27 divide z(-8)?
True
Let k(c) = c**3 + 10*c**2 - 16*c - 7. Is k(-11) a multiple of 16?
True
Let d(x) = -10*x - 23. Let v(q) = 3*q + 8. Let a(u) = 2*d(u) + 7*v(u). Suppose y = -y. Is 8 a factor of a(y)?
False
Let p be (-3 - (-34)/10)*55. Let x = p + -7. Does 15 divide x?
True
Let j = -23 + 33. Let o(k) = -k**3 + 9*k**2 + 12*k + 14. Is o(j) a multiple of 6?
False
Let x(w) = w**3 - 9*w**2 + 10*w + 16. Is x(10) a multiple of 16?
False
Let d = -9 - -4. Is 10 a factor of (d + 7)/((-2)/(-52))?
False
Let y(v) = -2 + 0 + v - 2*v. Let s be y(-5). Suppose d = -s + 11. Does 3 divide d?
False
Suppose -a - 52 = -2*q, -q = 4*a - 34 + 197. Let j = a - -76. Is j a multiple of 17?
True
Let w(y) = y**2 - 2*y + 18. Suppose -t = -3*t. Does 7 divide w(t)?
False
Suppose 0 = -3*p + 8*p - 290. Is 29 a factor of p?
True
Suppose 0 = -2*i - i - 4*f - 10, 3*i + f = 2. Let z(a) = 27*a**2 - a - 1. Does 26 divide z(i)?
False
Let b(x) = -x - 4. Let y be b(-8). Let m be 3 - (-22)/(y + -3). Is 5/(-10) - m/(-2) a multiple of 12?
True
Suppose -7*i + 180 = -415. Is i a multiple of 15?
False
Let m = 78 + -24. Is 9 a factor of m?
True
Let k be 28/6 + 3/9. Suppose -k*q + u + 4*u + 20 = 0, -u = -4*q + 16. Is ((q + -2)*-11)/(-1) a multiple of 11?
True
Let m(p) = -4*p - 7. Let v be 0 + (-9)/3 + -3. Does 9 divide m(v)?
False
Let a = -2 - -43. Let m = -13 + a. Is 14 a factor of m?
True
Let s(h) = h**2 - 5*h + 2. Let u be s(3). Let g = u + 48. Let m = g - 23. Is m a multiple of 15?
False
Suppose 5*y - 38 = q, y - q + 18 = 4*y. Does 2 divide y?
False
Let j(c) = -4*c. Is j(-12) a multiple of 7?
False
Suppose 0 = -a + 4*b + 30, 2*b = a - 12 - 10. Let o = a + -8. Suppose l - 28 = -3*d + o, 0 = -4*l + 4. Is d a multiple of 11?
True
Suppose -4*h = 3*o - 41, -16 = -3*o + o + 3*h. Suppose 3*m - m = 0. Suppose c = -2*u + o, m = 2*c + 2*u - 0*u - 24. Is 12 a factor of c?
False
Let b = -6 + 6. Suppose -5*x - w + 6*w + 35 = b, 0 = 3*x - 2*w - 23. Is x a multiple of 3?
True
Let u(s) = 5*s + 3. Let j be 1 - 2 - (7 - 12). Is u(j) a multiple of 6?
False
Let s(r) = 7*r + 2. Let z(p) = p - 1. Let a(f) = -s(f) + 2*z(f). Is 13 a factor of a(-19)?
True
Let d(q) = -q. Let m = 0 - 2. Let n be d(m). Suppose -3*z = -2*h + n, -4*z + 3*z + 2*h - 6 = 0. Is z a multiple of 2?
True
Is 23 a factor of 12/54 + 8*(-309)/(-54)?
True
Does 25 divide -2*508/(-8) - 2?
True
Suppose -7*s - 1 + 29 = 0. Let o = 15 - 30. Is 18/o*(-30)/s a multiple of 3?
True
Suppose -9 = -4*g - 1. Suppose 0*d = -g*d - 16. Let x = d - -25. Is 6 a factor of x?
False
Suppose 3*b - 9 = 3*c - 0*c, -5*b + 4*c = -15. Suppose b*g = 24 + 6. Does 8 divide g?
False
Let m = -61 + 106. Is m a multiple of 9?
True
Let n(f) = f**2 + 5*f - 2. Let m be n(-6). Suppose -4*p - 39 = -i, -m*p + 66 = i + i. Is 23 a factor of i?
False
Let x(b) = b**2 - 2*b. Let a be x(2). Suppose a = -5*w + 1 + 19. Is 9 a factor of 6/4 + 102/w?
True
Suppose 3*p - 5 = -2. Is -2*(-6 - (p - 0)) a multiple of 7?
True
Let n(h) = -h**3 + 5*h**2 - 3*h - 1. Let m be n(4). Suppose -7*f = -m*f - 144. Is f a multiple of 9?
True
Suppose -6*x - 15 = -11*x. Suppose 3*j = -x*k - k + 60, j - 50 = -3*k. Does 6 divide k?
True
Suppose 5*i + 0*i - 25 = 0. Suppose 35 = i*a - z, z - 7 = -a - 0. Is 5 a factor of a?
False
Is 252/5 + 6/(-15) a multiple of 12?
False
Suppose 2*c + 2*j = j - 9, -3*j = -c - 1. Let q(o) = -32*o - 2. Is 34 a factor of q(c)?
False
Let w be (-3)/(-9) + (-17)/(-3). Suppose w*x - x = 10. Suppose 2*k - 20 = -2*c, -2*k - c = -x*c - 5. Is 5 a factor of k?
True
Let w(g) = -2. Let o(k) = k - 3. Let v(s) = -4*o(s) + 5*w(s). Let n be v(-3). Let j = n - 0. Does 4 divide j?
False
Suppose 0 = -4*b + p + 323, 0 = -3*b + 3*p + 12 + 228. Let o = b - 58. Does 6 divide o?
False
Let u(p) = -p + 6. Let i be u(6). Suppose 2*g + 2 = i, 3*g + 3 = -b - 2*g. Suppose -c = -5*y - 18, 5*y - 97 = b*c - 6*c. Is 8 a factor of c?
False
Suppose 12 = 5*d - 18. Let k = -28 + 46. Let z = k + d. Is 14 a factor of z?
False
Let h = -4 + 20. Let z = h - 11. Suppose 2*r = r + z. Does 3 divide r?
False
Let c(b) = b**3 + 11*b**2 + 9*b + 11. Does 6 divide c(-10)?
False
Let f be ((-4)/4)/(2/376). Let u = -294 - f. Is u/(-9) - 4/(-18) a multiple of 5?
False
Suppose 2*n + 2*n = 12. Suppose 0 = -5*h - 2*s + 20, -4*s = 3*h - 9 - n. Suppose -172 = -5*i + 4*r, -5*r - 111 = -h*i + i. Does 16 divide i?
True
Let z(w) = w**2 + 4*w + 2. Let f be z(-3). Let o = 2 - f. Suppose o*k + 0*k - 102 = 0. Is k a multiple of 17?
True
Let j = -19 - -35. Is j a multiple of 16?
True
Let z(q) = -q**2 - q + 30. Suppose -3*y = -7*y. Does 15 divide z(y)?
True
Let u(x) = -6*x + 10. Is 3 a factor of u(-2)?
False
Let x = 111 - 56. Suppose 2*i + 218 = 4*r, -3*i = -4*r + x + 166. Is 16 a factor of r?
False
Let p(k) = -9*k - 11. Is p(-5) a multiple of 33?
False
Let g = 519 + -359. Is 32 a factor of g?
True
Let k = 146 + -83. Does 7 divide k?
True
Suppose 3*n - 59 = 13. Does 12 divide n?
True
Let s(a) = a**3 - 16*a**2 - 13*a - 34. Is 2 a factor of s(17)?
True
Suppose -6 = 2*x - 0*x. Let d be x/(-18) + (-29)/(-6). Suppose 3*l - 17 = -d. Is 3 a factor of l?
False
Let o = -5 + -1. Does 10 divide -3*2/o + 9?
True
Suppose -4*g - w - 4 = -3, 4*w + 4 = -3*g. Suppose -5*i - m + 353 = g, -2*i - m = -0*i - 143. Is i a multiple of 14?
True
Let r be (-7)/((-7)/4)*1. Suppose z + 3*f + f = 22, r*f - 16 = 0. Does 2 divide z?
True
Suppose 0 = 3*k - 197 - 61. Let h = -5 + k. Is 27 a factor of h?
True
Suppose -4 = 4*y, -2*y = -5*c - 0*y + 17. Suppose 3*u + 0*h = 5*h + 11, 4*u = -5*h + c. Suppose u*a = 4*q - 70, 5*q + 7*a - 2*a = 95. Is 7 a factor of q?
False
Let w = -6 - -8. Suppose -w*t + 214 = -0*t. Suppose -j - t = -7*f + 3*f, 4*f = 4*j + 92. Is 18 a factor of f?
False
Let h = -86 - -185. Is 9 a factor of h?
True
Is 6 a factor of 2/(-6) + 37/3?
True
Let j = -10 + -8. Is ((-6)/j)/(1/99) a multiple of 11?
True
Let r = 7 - 1. Does 6 divide r?
True
Let g(o) be the first derivative of 5*o**3/3 + 3*o**2/2 + 6*o - 3. Let w be g(-4). Suppose 4*r - w = -18. Does 14 divide r?
True
Suppose 5*a = 22 - 242. Let m = a - -88. Does 31 divide m?
False
Let z = 258 - 117. Is 12 a factor of z?
False
Let n(t) = -t + 2. Let k be n(3). Let i be (-2 + 1)*k*15. Suppose 0 = x - 2*y - i, -4*y = 4*x - 183 + 75. Is x a multiple of 11?
False
Let p = 7 - 4. Suppose -5*f + p = 43. Does 3 divide 34/8 + 2/f?
False
Let i be (3/(-1) - -8) + -2. S