pose m + 16 = -g + 5*g, -5*m - 26 = -2*g. Is 3 a factor of g?
True
Let j(b) = -b**3 + 3*b**2 + 3*b - 1. Let w be (-11)/(-3) - (-2)/(-3). Is 7 a factor of j(w)?
False
Let w(y) be the second derivative of 4*y**5/5 - y**4/12 + y**3/3 - y**2/2 - y. Is 10 a factor of w(1)?
False
Let u(j) = 6*j**2 + j - 1. Let h be u(2). Let b = -17 + 5. Let y = b + h. Is y a multiple of 5?
False
Suppose 3*b = 14 + 67. Suppose -12 = 3*w - 6*w. Let d = b - w. Is 13 a factor of d?
False
Let w = 130 - 6. Is w a multiple of 13?
False
Let t = -341 + 594. Is 23 a factor of t?
True
Let z(b) = -2*b + 8. Is z(-7) a multiple of 2?
True
Suppose 5*w - 3*d = 202, -2*w - 4*d + 86 = -0*w. Does 2 divide w?
False
Let b be (21/14)/(1/2). Let v = 55 - b. Is 26 a factor of v?
True
Let v = 5 - 2. Suppose 5*i + 4*a - 132 = 15, 149 = 5*i + v*a. Is 9 a factor of i?
False
Suppose -171 = -3*s - 45. Does 42 divide s?
True
Let a be (14/1)/(2/(-4)). Let s = 60 + a. Is s a multiple of 32?
True
Is (6/(-3) - -15) + 2 a multiple of 13?
False
Let f be (-4)/(0 - 2) - 1. Let w be -16*(f + 0)/(-1). Let s = w + -10. Does 3 divide s?
True
Let m(s) = -s**2 + 11*s + 5. Is m(8) a multiple of 29?
True
Let m be (-4)/(-14) + 188/28. Let h = m - 13. Is 5 a factor of (-2)/h - (-64)/6?
False
Let b = -7 + 4. Is (-9)/b*26/3 a multiple of 20?
False
Let y = 30 - 23. Let t = y - -11. Is t a multiple of 12?
False
Suppose -4*v - 3*c + 46 = 0, 3*v - 3*c - 20 = 2*c. Suppose 5*d = -v, 3*u - 3*d + 102 - 6 = 0. Let q = -16 - u. Is q a multiple of 9?
True
Let k(w) = -4*w**3 - 3*w - 7. Let o(l) = -3*l**3 - 2*l - 8. Let i(x) = 2*k(x) - 3*o(x). Does 10 divide i(0)?
True
Let h = -11 - -15. Let s = h - -4. Is s a multiple of 8?
True
Suppose -3*i - c = -77, -4*i + 100 = -c + 3*c. Suppose h - i = -4*j - 2, 5*j = 10. Is h a multiple of 12?
False
Let t(f) = f**3 - 3*f**2 + 2*f + 1. Let u be t(3). Let n = u - 5. Suppose 5*w - 3*a - 35 = 0, 3*w - 5 - 17 = n*a. Is w a multiple of 2?
True
Let s(r) = r + 7. Let h be s(5). Suppose o - h = -0*o. Let w = 34 - o. Is w a multiple of 14?
False
Suppose 2*u - 11 = -2*a + a, -2*a - 3*u + 18 = 0. Suppose a*o = -47 + 179. Is 13 a factor of o?
False
Suppose p - i - 11 = -5, -p = -3*i - 14. Suppose -p = -2*n + 4. Suppose n*u - 17 - 25 = 0. Is u a multiple of 14?
True
Let x(t) = 1 - 3*t - t**3 + 1 - 4*t**2 + 1. Let h be x(-4). Does 8 divide 310/h - 2/(-6)?
False
Suppose -41 = -5*q + 4*b - 11, -q - 8 = 2*b. Let v(k) = k**3 + 0*k**2 - 2*k**2 + 3*k - 2 + k. Is v(q) a multiple of 3?
True
Suppose 2*v = 4*w - 10, v - 10 = -0*w - 3*w. Suppose 3*n + 27 = h - w, 70 = 5*h + n. Does 15 divide h?
True
Let p be 46/(-8) + (-2)/8. Let h = 11 + p. Is 18 a factor of (-6 + 26)*8/h?
False
Suppose 6*r - 4*p - 48 = 3*r, 5*p = -r + 35. Let j = r - 1. Is j a multiple of 16?
False
Suppose 6 + 13 = 5*y + 4*r, -6 = 2*y + 5*r. Let p(w) = 7*w - 4. Let t be p(y). Let a = t - 26. Does 7 divide a?
False
Suppose -2*d + 0 = -6. Suppose d*v = 8*v - 155. Does 7 divide v?
False
Let n be (-2)/(-5) - (-8)/5. Let u(v) = -v**3 + v**n - v**2 + v + v**2 + 12. Does 11 divide u(0)?
False
Let w = 29 - -28. Is w a multiple of 37?
False
Let z = 0 - -3. Let x = z + -3. Suppose x*i - 13 = -i. Does 13 divide i?
True
Suppose -20 = w - 3*w + 5*k, -2*k = 0. Suppose -w = -5*m + 10. Suppose -2*y + m*y - 40 = 0. Does 8 divide y?
False
Let k(w) = 2*w**2 - 7*w - 4. Is k(6) a multiple of 10?
False
Let p be 19/4 + 4/16. Suppose -7 = -w - 5*s, p*s - 6 = -16. Is 17 a factor of w?
True
Suppose 4*i - 14 - 62 = 0. Suppose -4*v + 3*v + i = 0. Is v a multiple of 19?
True
Suppose -4*s + 7*s = 24. Let c be (-6)/s + (-45)/(-12). Suppose -c*a - 60 = -2*z + 10, 48 = z + 5*a. Does 15 divide z?
False
Suppose 30 = 5*k - 0*k. Let i be (-8 - k/(-2))*-1. Suppose 0 = i*c - c - 72. Does 16 divide c?
False
Suppose -4*x + 14 = 2*g, 3*g = 3*x + 5 - 2. Let h be (-1)/(0 + -1) + 3. Suppose 2*b + 106 = h*o, -o - x*b = b - 30. Is o a multiple of 12?
False
Let j(b) = -b. Let n(a) = a**2 - 9*a - 5. Let m(l) = 2*j(l) - n(l). Let g be m(7). Let t(v) = v**3 - 4*v**2 - 4*v + 5. Is t(g) a multiple of 8?
False
Suppose -204 = -3*j + 5*j. Let o = -31 - j. Does 26 divide o?
False
Let d(o) = -o**3 - 8*o**2 - 6*o + 10. Let t be d(-7). Suppose 3*w - 165 = -t*j, -4*w + 7*w + 259 = 5*j. Is 18 a factor of j?
False
Let b(d) = -d**2 - 1. Let z(f) = -4*f**2 + 4*f + 4. Let w(c) = -5*b(c) - z(c). Is w(3) a multiple of 22?
False
Suppose -5*t + 4*t = -3. Let d be 19/t + 5/(-15). Suppose d*i = 8*i - 5*c - 30, -c = -i + 12. Is i a multiple of 5?
True
Let o(i) = -12*i + 3. Let f be o(-4). Let d = f + -28. Is d a multiple of 8?
False
Let t = -9 + -93. Let p = -73 - t. Is p a multiple of 25?
False
Let c = -24 - -11. Let w = c + 39. Is w a multiple of 13?
True
Let j = 79 + 20. Does 11 divide j?
True
Let l be 0/(-3 + 2 + 0). Is 7 a factor of 2/(-4)*(-14 + l)?
True
Let z = 12 + -18. Let l = z + 3. Let q = 26 + l. Is q a multiple of 8?
False
Let y = -17 + 22. Is (1/y)/((-1)/(-95)) a multiple of 9?
False
Suppose 0 = 3*l + l - 36. Is l a multiple of 2?
False
Suppose y = -y + 16. Suppose y = 5*n - 217. Suppose 71 = 4*u - n. Does 13 divide u?
False
Let n = -7 + 10. Let a be (12/(-8))/(n/(-368)). Suppose -a = -5*x + 2*y, -4*x - 5*y + 170 = x. Does 18 divide x?
True
Let q = -119 - -145. Is 26 a factor of q?
True
Let d = -85 + 107. Is 3 a factor of d?
False
Is 24 + (5 + -6 - -4) a multiple of 9?
True
Suppose -t - t - 8 = 0, -4*m - 3*t = -564. Is 24 a factor of m?
True
Let v = 42 - 20. Let d = v - 16. Is d a multiple of 3?
True
Suppose -u - u + 124 = 0. Is u a multiple of 14?
False
Let v = -13 + 21. Suppose 4*j = -3*o + 14, -o - 2*j + 8 = -0*j. Is 8 a factor of (o + 12)*v/10?
True
Is (-27)/2*-1*(0 - -2) even?
False
Let a be (-1*7)/(5/(-5)). Suppose -y - 4*b + 5 = -a*b, -4*b + 30 = 2*y. Is 11 a factor of y?
True
Suppose -4*x - 2*b = -30, -x + 4*b - 18 = -3*x. Suppose -2 - x = -q. Is q a multiple of 9?
True
Let y be 4 - (-2 - -1 - -3). Suppose 0*f - 3*x = y*f - 117, -2*f - 4*x = -120. Does 8 divide 2/3*f/4?
False
Suppose -5*u + 73 = -r, 2*u + 3*r - 19 = -0*u. Is u a multiple of 7?
True
Suppose 5*k = -q + 858, 13*q = 2*k + 12*q - 339. Is 17 a factor of k?
False
Suppose 0 = 3*h + 5*c + 150, 5*h + 3*c - 2*c = -228. Let j = h + 10. Let q = j + 63. Is 14 a factor of q?
True
Let r = -17 + 2. Let d be r/2*16/(-10). Does 11 divide (-4)/(-6) + 256/d?
True
Suppose -2*c + 5*n = 3 - 27, -13 = -c + 2*n. Is c a multiple of 6?
False
Suppose 18*c - 162 = 15*c. Does 7 divide c?
False
Suppose 280 = -0*w - 7*w. Does 10 divide ((-42)/(-35))/((-3)/w)?
False
Suppose 3*x - 11 = 22. Is x a multiple of 7?
False
Suppose -2*n - 154 = -4*p, -3*p + 107 = -4*n - 1. Does 10 divide p?
True
Let d be (3 + -17)/(-2 + 1). Does 12 divide (-3)/3 + -1 + d?
True
Let m be 0 - 9/3*18. Let x = 94 + m. Suppose -h = h - x. Is 8 a factor of h?
False
Let c(a) = -2*a**3 - 2*a**2 - 2*a + 2. Let x be c(-2). Suppose 0*p + 21 = -3*p. Let h = x + p. Is h a multiple of 7?
True
Let z = 58 - 42. Let o = 8 + 0. Let f = z + o. Is 24 a factor of f?
True
Let y(a) = -2*a - 1. Let n be y(-2). Let z = -3 + n. Suppose z = -3*v - 3*i + 87, 5*v - 4*i = -2*i + 124. Is 13 a factor of v?
True
Let j(b) = -6*b + 20. Let d be j(-15). Suppose 8 = 2*k, 0*s = 2*s + k - d. Is s a multiple of 9?
False
Let w = -72 - -107. Does 18 divide w?
False
Let z(o) = -o**2 - 8*o - 6. Let k be z(-5). Let h = 9 - k. Let m(i) = i + 36. Is m(h) a multiple of 12?
True
Suppose 0 = -3*n - 0*n - 18. Let h be n/21 - (-300)/21. Let y = h + 16. Does 11 divide y?
False
Let y(a) = 3*a. Let m = -5 - -3. Let f = m - -9. Is 21 a factor of y(f)?
True
Let h = 9 - 7. Suppose -2*s = -o - h - 27, 0 = 4*s + 12. Let g = 69 + o. Does 17 divide g?
True
Suppose 65 = 2*y - 139. Suppose 0 = -3*q + 2*q. Suppose q*z + 3*v = -5*z + y, z + 3*v = 30. Does 6 divide z?
True
Let a(m) be the third derivative of m**5/60 - m**4/4 - 11*m**3/6 - 2*m**2. Let w be a(8). Suppose -5*g = 5*o - 207 + 47, w*o = 2*g + 153. Does 13 divide o?
False
Let a = -51 - -153. Is a a multiple of 17?
True
Suppose 2499 = -c + 22*c. Is 7 a factor of c?
True
Suppose 6*z = 3*z - 2*f + 45, 5*z - 77 = -4*f. Is z a multiple of 4?
False
Let s be 4 + 1 + (2 - 3). Suppose -16 = 2*i - s*i. Is i even?
True
Let b be 1*-17*(-7)/7. Suppose -5*n - 3*t = -47, -5*n = -t - 34 - b. Is 3 a fact