(c) = 3*c**2 + 2*c + 1. Is w(-2) a multiple of 2?
False
Let c(q) = 73*q**2 - q - 2. Is c(-1) a multiple of 36?
True
Let s = -15 + 9. Let r(o) = -2*o - 8. Let w be r(-7). Is (-1)/s + 83/w a multiple of 7?
True
Let q(z) = -z**2 + 14*z - 16. Is q(11) a multiple of 6?
False
Suppose 201 = r + 2*r. Is 17 a factor of r?
False
Let g be -3 - (-5 - -2 - 2). Is 2 - (2/g + -29) a multiple of 15?
True
Let x(o) = -o**3 + 10*o**2 + 10*o - 24. Is x(10) a multiple of 37?
False
Suppose -20*t + 16*t + 300 = 0. Does 25 divide t?
True
Is 11 a factor of (-73)/(-1) - -1 - 12/(-4)?
True
Suppose 73 = 2*r + h, 0*r - 3*h + 141 = 4*r. Does 3 divide r?
True
Suppose -3*g + 132 = g. Is 33 a factor of g?
True
Suppose 0 = 2*i + p - 1, i + 2*p = -3*p - 22. Suppose -i*y + 60 = -y. Does 15 divide y?
True
Let b(x) = -4*x - 1. Let f(d) = 8*d + 3. Suppose 2*j + 3*j - 2*s = 19, -2*s - 10 = -2*j. Let c(z) = j*f(z) + 7*b(z). Is 16 a factor of c(-5)?
False
Suppose -5*b + 168 = -137. Let c = -35 + b. Is c a multiple of 9?
False
Let w be (8/(-4) - -1)*0. Suppose -2*m = u - 205, -u + 4*u - 9 = w. Is 26 a factor of m?
False
Let l(j) = j**3 + 13*j**2 + 13*j + 15. Let q be l(-12). Suppose 0 = q*d - 12 + 3. Does 2 divide d?
False
Let a(w) = 3*w - 10. Let d be a(9). Suppose 2*h = -l + d, -2*h - 4 = -4*l + 94. Is l a multiple of 7?
False
Let r(d) = d**3 - 20*d**2 - 39*d + 38. Is 7 a factor of r(22)?
False
Suppose 0 = -z - 3*z - 20. Let u(y) = y + 7. Let i be u(z). Suppose -i*m - 13 = -5*r, -r + 15 = 5*m - 4*r. Is 6 a factor of m?
True
Suppose -b - b = -8. Let f(g) = -9*g + 1. Let l be f(-1). Suppose b*y - l - 26 = 0. Is 5 a factor of y?
False
Let w(o) = -o. Let r be w(-3). Let i = 15 - -12. Suppose -r*l = j - i, 1 = -3*l - 5. Does 9 divide j?
False
Let x = 54 + -35. Let b = 46 + x. Is 13 a factor of b?
True
Let l = -7 - -10. Let v be 1/(l*3/135). Is v + -3 - 2/(-2) a multiple of 13?
True
Suppose f - 2 - 3 = 0. Suppose -3*l + l - 17 = -3*p, p = -f*l. Suppose p*z + 2*n - 158 = 0, 142 = 4*z - 5*n + 9. Does 10 divide z?
False
Let r(w) = w**3 - 7*w**2 + 4*w + 2. Suppose 0 = p - 5*q - 6, 4*q - 20 = -0. Suppose 0 = 4*d - p + 3. Is 10 a factor of r(d)?
True
Suppose 20 = 3*w - 16. Does 6 divide w?
True
Let a(y) = 3*y**2 + 8*y + 12. Let m(o) = -o**2 - 4*o - 6. Let p(l) = 2*a(l) + 5*m(l). Let w be 114/(-27) - (-2)/9. Is p(w) a multiple of 13?
True
Let t(d) = 3*d + 20. Let y be t(6). Let g = y - 4. Does 9 divide g?
False
Suppose 0*k + 30 = 5*k. Suppose -k*s + 264 = -s + 2*i, -2*i = -3*s + 168. Let q = -20 + s. Is q a multiple of 17?
True
Suppose 0 = -4*k - 15 - 33. Let o = 5 - k. Is 7 a factor of o?
False
Let o(q) = q + 12. Is o(16) a multiple of 14?
True
Suppose -3*j + 8*j - 4*u + 130 = 0, -u + 115 = -5*j. Is 3940/110 + (-4)/j a multiple of 9?
True
Suppose 0 = -4*p - 3*y + 31, 3 = -p + 3*y + 22. Suppose 70 = 4*f + p. Is f a multiple of 5?
True
Let b(i) = -i**3 + 7*i**2 - i + 10. Let m be b(7). Let s(x) = -4*x + 1 + 0*x**2 + 1 + m*x**2. Is 14 a factor of s(4)?
False
Let d be -2 - (-3)/(3/2). Suppose d = 2*j + j - 51. Is j a multiple of 17?
True
Suppose 309 = 2*a + 3*l, -155 = -2*a + a - 2*l. Let c = a + -77. Does 16 divide c?
False
Let c(b) = -b**3 - 4*b**2 - 7*b - 8. Is 3 a factor of c(-4)?
False
Is 17 a factor of (408/8)/((-5 - -2)/(-18))?
True
Does 7 divide (-6)/24 + (-327)/(-12)?
False
Let l = -103 + 136. Does 33 divide l?
True
Let c(f) = 2*f**2 - 6. Does 3 divide c(4)?
False
Let f(d) = 2*d**2 - 5*d - 5. Let p be f(6). Suppose 3*x - p = 65. Is 17 a factor of x?
True
Let f = 8 - 1. Does 7 divide f?
True
Let j = -2 - -9. Suppose 3*y + j = 2*c, 5*c = 2*y - 1 - 9. Is -1 - (3 + -3) - c a multiple of 2?
False
Let p = -16 - -100. Suppose g + 2*g = p. Is g a multiple of 5?
False
Suppose 0 = 2*r - 5*r - 408. Let d = r + 208. Is 24 a factor of d?
True
Let s(t) be the third derivative of 5*t**4/24 - t**3/6 - 2*t**2. Let m be s(2). Let z(l) = l**3 - 9*l**2 + l - 1. Is z(m) a multiple of 8?
True
Suppose w + 4 = -2*w + 4*q, -3*w - 4*q + 4 = 0. Suppose w = 2*i - 4. Suppose -d = i*x - 17, 0 = 3*x - x + 3*d - 19. Does 6 divide x?
False
Let q(u) = -2*u**3 - 7*u**2 - 8*u - 5. Is 10 a factor of q(-5)?
True
Suppose 4*f = f + 21. Suppose -111 - 92 = -f*r. Does 9 divide r?
False
Is 21 a factor of (-325)/(-15 - -10) + (-4)/2?
True
Suppose -2 = -t - 0. Let q = t + 1. Let k(o) = 4*o**2 - 5*o + 3. Is k(q) a multiple of 12?
True
Let x(z) = -z**3 + 4*z**2 - 2*z + 5. Suppose 0 = 2*b + 3*b - 20. Let n be x(b). Is 38 - (n + 4 + 0) a multiple of 17?
False
Let q = 422 - 793. Is 3/(-5) - q/35 a multiple of 10?
True
Let o(d) = -19*d. Let n be o(-2). Suppose -t - 4*t + 25 = 0. Suppose -2*a - t*z + n = 0, -a - a + 38 = -2*z. Is a a multiple of 7?
False
Suppose 0*n - n = -40. Is (-16)/n - (-82)/5 a multiple of 10?
False
Let a = 6 + -2. Let h(k) = -k**2 + 6*k - 5. Let g be h(5). Suppose a*t + 24 = -g*p + 4*p, 3*p - 26 = t. Is 5 a factor of p?
True
Let m(z) = 1 - 5 + 0 + 2*z. Suppose -t = -2 - 4. Is m(t) a multiple of 6?
False
Let v(n) = 39*n + 2. Let j be v(1). Suppose -j - 334 = -5*w. Is w a multiple of 25?
True
Let w(i) = -i**3 - 5*i**2 - 6*i - 5. Let b be w(-4). Let z(k) = 2*k**2 + 2*k. Does 9 divide z(b)?
False
Let d(m) = -m**3 - 5*m**2 - 4*m - 8. Let b be d(-6). Suppose 0 = -4*y + 240 - b. Let f = y - 34. Does 13 divide f?
True
Let n = 4 - 0. Let g be (-4)/2 + 16/n. Does 14 divide (0 - g) + 0 - -20?
False
Let d = 26 - 3. Is 5 a factor of d?
False
Does 22 divide -2 - -16*15/10?
True
Suppose -13 = -5*k + 22. Let l = 12 - k. Suppose -3*o - l*q - 5 = -82, 53 = 2*o + 5*q. Is o a multiple of 12?
True
Suppose -5*z + 29 - 6 = -3*m, 0 = 5*m - 4*z + 21. Let d(b) = -21*b**3 - b**2. Is d(m) a multiple of 18?
False
Suppose -6 = -3*n + 4*t - 7*t, 0 = -t. Suppose -n*k + 10 = -8. Is k a multiple of 2?
False
Let i = -3 + 11. Let h(y) = -5*y + 1 - 4 - 2*y + y**2. Is h(i) a multiple of 5?
True
Suppose -5*c + 12 = 2*y - 99, 5*y + 4*c = 235. Suppose 4*d - y = 21. Does 8 divide d?
True
Let t(o) = -25*o - 14. Does 28 divide t(-14)?
True
Suppose -814 = -8*p + 66. Is 6 a factor of p?
False
Let d be (1 - -1) + -1 + 53. Suppose -d - 11 = -u + q, -4*u = -2*q - 250. Does 15 divide u?
True
Suppose 0 = n + 5*v + 24, -n + 5*n + 4*v + 32 = 0. Let r = n - -12. Does 2 divide r?
True
Suppose 2*d = 25 + 33. Does 29 divide d?
True
Let o = -26 + 89. Let z = 60 + o. Suppose 2*n = 5*n - z. Is n a multiple of 14?
False
Let r = 4 - 9. Let q be (-1)/(1*3/9). Let y = q - r. Does 2 divide y?
True
Suppose t + 4*t = 25. Suppose 0 = -4*s - 2*u + 8 + 2, 15 = -3*u. Let y = s + t. Is y a multiple of 9?
False
Let b(k) = 15*k**2 - k - 1. Suppose -2*s - 3 = -1. Let n be b(s). Suppose n = u - 0*u. Does 15 divide u?
True
Suppose -3*s = 5*y - 16, -5*s + 5 = 3*y + y. Let a be (-34)/s - 2/6. Suppose 0 = -5*f + 46 - a. Is 3 a factor of f?
False
Suppose -x - 3*x + 12 = 2*o, 0 = 5*o - 2*x - 54. Suppose -t - 2*h = -0*h - 26, -4*h = -20. Let j = t - o. Is j a multiple of 6?
True
Does 25 divide (4 + (-39)/6)/((-5)/50)?
True
Let s(i) = 16*i + 4. Is 6 a factor of s(2)?
True
Let g(n) = -n**2 + 10*n + 9. Let x = 4 + 6. Is g(x) a multiple of 9?
True
Let m(i) = i**3 - 5*i**2 - 2*i + 4. Let r = 6 + 0. Does 14 divide m(r)?
True
Let v(x) = -x**2 - 2*x + 11. Let i(h) = -3*h**2 - 3*h + 23. Let n(c) = -2*i(c) + 5*v(c). Suppose -2*g - 10 + 2 = 0, w - 14 = 2*g. Is 14 a factor of n(w)?
False
Let d(l) = -l**3 - 6*l**2 - 4*l + 3. Let j(f) = -f**2 - 5*f. Let x be 12/(-10)*20/4. Let o be j(x). Does 17 divide d(o)?
False
Suppose -5 = 2*m - 17. Is 5 a factor of 94/14 - m/(-21)?
False
Let z(u) = -u**2 - 4*u + 4 - 4*u - 3. Suppose -j - 17 = -5*y, 0 = 2*j + 4*y - 7*y + 20. Is 4 a factor of z(j)?
True
Let a(m) = 3 + 0 - 6 + 2*m**2 - m**2. Let x be a(3). Does 8 divide 44/x*3/2?
False
Let c(f) be the third derivative of f**4/24 + f**3/6 + f**2. Let q(m) = 10*m + 12. Let d(x) = -6*c(x) + q(x). Does 13 divide d(5)?
True
Let q = 146 - 66. Is q a multiple of 20?
True
Is 17 a factor of 3/(-12)*(-1 - 67)?
True
Let o(i) = -2*i**3 - 16*i**2 + 13*i + 9. Is 7 a factor of o(-9)?
False
Let s be (-5 - -2)/(-1 - 0). Suppose -5*i + 202 = s*b, -4*i - 7 = -4*b - 143. Let d = i + -26. Does 6 divide d?
True
Does 32 divide (4/5)/(14/560)?
True
Let k(x) be the third derivative of -x**5/60 - x**4/4 - x**3/3 - 2*x**2. Let w be k(-5). Let l(r) = 