pose -89 = -5*w - 4. Does 17 divide w?
True
Let z = 2 + 1. Suppose -13 = -l + 3*h, -4*l + z*h = -l - 57. Is 9 a factor of l?
False
Suppose -4*d - 220 = -2*j, -2*j + 3*d - d + 214 = 0. Is 26 a factor of j?
True
Suppose 2*a - 162 = -5*z + 4*a, 4*a = -z + 50. Let w = 31 + z. Does 16 divide w?
False
Let h = -5 + 14. Is h a multiple of 2?
False
Let t(a) = -a**3 - 3*a**2 + 4*a + 5. Let r be (0 - 5)*4/5. Is 5 a factor of t(r)?
True
Does 12 divide 7/(28/16) - -8?
True
Let j be 7 + (-3 - (-6 + 3)). Suppose h + 0 - 3 = 0. Suppose -2*k = 4*g - 70, -g + j*k - h*k + 40 = 0. Is g a multiple of 15?
False
Let b(y) = -y**2 + 11*y + 2. Let u be b(11). Let n(d) = -3*d**2 + d**3 + 9*d + 0*d**u + 7*d**2 + 9 + 6*d**2. Does 9 divide n(-9)?
True
Suppose 0*j - 2 = -j. Does 7 divide 0 + 7/j*4?
True
Suppose 4 = x - 3. Suppose -s + 0 = -x. Is s even?
False
Let v = -13 - -56. Is v a multiple of 26?
False
Let x(l) = 2*l**2 + l - 1. Is 5 a factor of x(2)?
False
Let i = 866 + -476. Is 39 a factor of i?
True
Let d be 2*(-3 - 54/(-4)). Suppose 0 = x - 0*x + 7. Let m = x + d. Is m a multiple of 14?
True
Suppose 4*l - c = -0*c + 8, l - c = -1. Is 13 a factor of 6*-14*l/(-12)?
False
Suppose -2*k - 61 = -a, 0 = -3*a + k - 5*k + 143. Is a a multiple of 21?
False
Suppose -5*i + 309 = 3*u - 0*u, 195 = 3*i - 3*u. Suppose -242 = -4*h - 2*l, h - 2*h = 3*l - i. Is 26 a factor of h?
False
Let n(b) = b**3 - 19*b**2 + 23*b - 12. Is n(18) a multiple of 26?
True
Does 42 divide ((-2)/(8/2))/(12/(-4032))?
True
Let d = -14 + 22. Is 3 a factor of d?
False
Let w = -71 - -51. Let r = 10 - w. Let a = 6 + r. Is 18 a factor of a?
True
Suppose -2*c - 8 + 32 = 0. Is c a multiple of 6?
True
Let c(u) = 3*u + 2. Let z = 0 + 4. Is 4 a factor of c(z)?
False
Suppose -5*n = -4*r - 28, -r + 4*n + 4 = 22. Is 16/(r/(-30)*6) a multiple of 20?
True
Suppose -45 = -b + 48. Is b/(-1 + -2)*-1 a multiple of 12?
False
Suppose 5*w - w = 156. Is w a multiple of 13?
True
Let j be (-1 - -3 - 1)*5. Let u = -7 + 11. Suppose -u*x + 2*d + 48 = 0, 3*x + j*d = 16 - 6. Is 5 a factor of x?
True
Let g(u) = u**2 - 11*u + 13. Let q be g(9). Let x = q - -16. Suppose 5*r - x - 4 = 0. Is r a multiple of 3?
True
Let n = -11 - -15. Let x = 20 - n. Is x a multiple of 16?
True
Let j = 1 + -4. Is (-22)/j - (-8)/12 a multiple of 4?
True
Suppose -q + 5*r + 194 = 0, 7*r = 4*q + 2*r - 716. Is 58 a factor of q?
True
Let x be (-15)/10*2/(-3). Let b = x + -2. Is ((b + 15)/2)/1 a multiple of 7?
True
Let v(o) = 0*o - 4*o - o**2 - 4 + 9*o. Let g be v(3). Suppose -g*y = -6 - 12. Is 4 a factor of y?
False
Suppose 0 = 4*s - 24 - 12. Suppose -2*w = 1 - s. Does 2 divide w?
True
Let m be (3 - 0 - 1) + 4. Let s(g) = -g + 6. Let u be s(m). Suppose 0*k + 4*k - 56 = u. Does 7 divide k?
True
Suppose 0 = -s + 3 + 2. Suppose -s*o - 2 - 4 = j, j - 5*o = 14. Suppose 24 + 0 = j*h. Does 6 divide h?
True
Let k(b) = 4*b**2 - 2*b + 13. Let l(m) = -5*m**2 + 2*m - 14. Let i(j) = -6*k(j) - 5*l(j). Is 10 a factor of i(-6)?
False
Let m = 84 + -141. Let g be (-52)/(-1 + (-51)/m). Is 12 a factor of (-8)/28 - g/(-14)?
False
Let y(q) = -8*q + 3. Let m be y(-6). Let r = -26 + m. Is 15 a factor of r?
False
Let r be (-55)/(-11) + -1 + 2. Let y be (-20)/(-2) + 0 + -2. Let a = y - r. Is 2 a factor of a?
True
Let p = 12 - -62. Does 14 divide p?
False
Suppose 4*b - 4*r = 76, 5*b = 7*r - 3*r + 94. Is b a multiple of 18?
True
Let u = 17 + 23. Does 15 divide u?
False
Let f = 3 + 38. Let b be -34*(2/(-4) + 1). Let y = b + f. Is 12 a factor of y?
True
Let f(m) = -m**3 + 6*m**2 - 3*m - 7. Let n be f(5). Suppose a = n*a - 10. Suppose 0 = -4*y + a - 1, s - 28 = -y. Does 16 divide s?
False
Let x(i) = i**3 - 16*i**2 + 19*i + 4. Let n = -8 - -23. Is 16 a factor of x(n)?
True
Let i = 26 - 0. Does 5 divide i?
False
Let h = -6 - -15. Suppose 72 = 3*o + h. Is o a multiple of 11?
False
Does 8 divide (-3366)/(-85) - 4/(-10)?
True
Let z = 59 + 61. Suppose q = -q + z. Is 15 a factor of q?
True
Let z be (0 + 1)*20/(-5). Is z/(-16) + 286/8 a multiple of 12?
True
Suppose 5*g + 3*q = 34 + 41, 3*g - 5*q - 11 = 0. Let n = 11 + -31. Is (n/g)/(1/(-21)) a multiple of 25?
False
Let c(m) = -9*m**2 + 5*m - 7. Let r be c(3). Let w = -37 - r. Does 18 divide w?
True
Suppose -6*a - 336 = -10*a. Is a a multiple of 28?
True
Let s be 1/(1/2) - 0. Suppose 5*r = s*r + 54. Does 13 divide r?
False
Is 7 a factor of 786/39 - (-2)/(-13)?
False
Suppose -2*l = -4*s + 44, 66 = 5*s + l + 2*l. Is 3 a factor of s?
True
Suppose -3*h - 2*z - 2*z = 28, z = -4. Let p(g) = -6*g - 3. Does 17 divide p(h)?
False
Let i = -72 - -242. Is i a multiple of 34?
True
Let j(g) = 6*g. Suppose 5*o - 11 - 9 = 0. Does 12 divide j(o)?
True
Let c(s) be the second derivative of s**3/6 + 5*s**2 + 6*s. Does 4 divide c(-6)?
True
Suppose 0 = 4*a - 199 + 71. Does 13 divide a?
False
Let i be ((-164)/(-3))/(6/99). Let f be i/9 - (-2)/(-9). Let p = f - 65. Does 12 divide p?
False
Let m be 64 + (3 - 12)/(-3). Let r = m + -38. Does 10 divide r?
False
Suppose -7 = -2*h - 0*h - c, 5*h + c = 16. Suppose -h*w = -8*w + 130. Does 18 divide w?
False
Let d be 80/44 - (-2)/11. Suppose 6*o = 3*o + d*n + 54, 0 = -3*o + 4*n + 54. Does 18 divide o?
True
Let s(x) = -3*x**3 - 2*x**2 + 6*x + 3. Does 4 divide s(-3)?
True
Suppose 0 = m - 31 + 8. Does 10 divide m - ((-2)/(-2) - -2)?
True
Let q = 3 - 1. Suppose -2*z - 6 = z. Does 13 divide (0 + z)*(-13)/q?
True
Suppose 4*y - 16 = 0, -3*y - 5 = -3*f - 2*y. Suppose -u - f*p = -38, 40 = 3*u - 2*u + 4*p. Does 16 divide u?
True
Does 18 divide (425/(-15))/((-1)/3)?
False
Let b be (1 - 0/(-1)) + -3. Let o = 6 - b. Is 4 a factor of o?
True
Suppose 7*y - 36 - 27 = 0. Is y a multiple of 2?
False
Suppose -4*m + m + 2*l = -384, 5*l = -5*m + 640. Is m a multiple of 32?
True
Let t be (-2)/7 - 32/(-14). Suppose -21 = -2*l + j, -l - t*j + 7*j + 15 = 0. Is l a multiple of 4?
False
Let h(u) = -u**3 + 3*u**2 + 3*u. Let m be (-3)/3 + -1*1. Is h(m) a multiple of 7?
True
Let o(z) = -z - 1 + 7 - 3 + 14*z. Is o(3) a multiple of 11?
False
Let p = -7 - -2. Let m = 1 - p. Is 2 a factor of m?
True
Let b(p) = 37*p**3 - p**2. Is 18 a factor of b(1)?
True
Let q be (-2)/(-7) - (-4)/(-14). Suppose 4*g = -q*g - 72. Let k = g - -30. Is k a multiple of 5?
False
Suppose -32 = 2*d - 4*t, t - 32 = 2*d - 0*t. Let l = 30 - d. Let p = 64 - l. Is p a multiple of 18?
True
Suppose -167 = -7*r + 295. Is 11 a factor of r?
True
Let n(p) = p**3 - 3*p**2 + p - 2. Suppose -47 = -2*t - 5*c - 6, 3*t - c - 19 = 0. Let r = t - 4. Is 18 a factor of n(r)?
True
Let s(t) = -5*t**2 + 4*t + 1. Let n(r) = r**2 - r. Let c(y) = -3*n(y) - s(y). Let w = -1 - 2. Does 10 divide c(w)?
True
Let u be (4 - 5) + 2 + -1. Suppose 2*g - 4*g + 4 = u. Let y = g - -26. Does 14 divide y?
True
Suppose 0 = -2*u + 5*l + 20, -2*l = -3*u + u + 8. Suppose 19 = 4*m + o - 2*o, 4*m + o - 13 = u. Suppose 0 = m*w - 24 - 16. Is 5 a factor of w?
True
Suppose 3*g + 5*u - 9 = -0*u, -3*g = -4*u - 9. Suppose -112 = -7*v + g*v. Is 14 a factor of v?
True
Let k(m) = -m**3 + 8*m**2 - 7*m + 7. Let n = 7 - 2. Does 19 divide k(n)?
False
Suppose -177 = -4*i - n, 4*i + 4*n = -9 + 201. Is i a multiple of 5?
False
Suppose 4*j + 4 = -4*s, 4*j - 5 = -j. Does 2 divide (33/12 + s)*8?
True
Let o = 288 + -184. Is 26 a factor of o?
True
Let w be 0 - (-2 + (3 - 4)). Suppose -2*v + 7 = -w. Does 2 divide v?
False
Suppose -c + 72 = 3*q, 0 = -2*c + 3*q + 50 + 67. Let l = 24 + c. Is l a multiple of 15?
False
Let c = 11 - 3. Suppose l - 5*w = 36, -3*w + w + c = l. Is 16 a factor of l?
True
Suppose 7 = -z + 4*y, -z - 13 = -y - 0*y. Suppose 2*d - 6*d - b = -140, 3*d - 5*b - 82 = 0. Let l = d + z. Is l a multiple of 8?
False
Let t(l) be the first derivative of 2*l**3 - 2*l - 1/4*l**4 - 1 + 3/2*l**2. Is t(5) a multiple of 16?
False
Let g(c) = -22*c**3 - c**2 - c - 1. Does 7 divide g(-1)?
True
Let h(j) = 14*j**2 + j + 9. Is h(5) a multiple of 13?
True
Suppose 5*p + 17 = w, -14 = 3*w + p - 1. Let h = w + 7. Is h a multiple of 2?
True
Let z(q) = -17*q**3 + 3*q**2 - 3*q - 3. Does 3 divide z(-1)?
False
Let r(j) = 2*j**2 + 6*j. Let h(g) = -4*g**2 + 5*g**2 - 8 + 2 - 5*g + 1. Let m be h(5). Is 20 a factor of r(m)?
True
Suppose -v = v. Suppose -h + 3 = -v*h. Suppose 0 = h*m + m - 84. Is m a multiple of 15?
False
Let j be 6 + -2 + (3 - 0). Let i = 11 - j. Is (i - 2 - 2)