ose m - 11 = -2*y, -2*y + 3*y = -m + 9. Let d be (-2)/m + (-825)/(-21). Let l = -27 + d. Is l a multiple of 6?
True
Let m(l) = -l + 13. Is 2 a factor of m(-3)?
True
Let m = 5 - -45. Is 12 a factor of m?
False
Let x(b) = b**3 - 12*b**2 + 6*b - 9. Is x(12) a multiple of 21?
True
Suppose -3*g - 5*q + 46 = 0, -q = g - 0*q - 12. Let h = 7 - g. Suppose -t = -h*l - 3*l + 57, 0 = -4*t. Does 7 divide l?
False
Suppose 0 = -0*p + p - 76. Does 23 divide p?
False
Suppose -3*d + 4*d - 7 = 0. Let l = d + -5. Suppose 14 = u + l. Is u a multiple of 12?
True
Let u(l) = -13*l - 13. Let y(n) = 20*n + 20. Let o(j) = 8*u(j) + 5*y(j). Let k be -1*9 + (-1)/(-1). Is 15 a factor of o(k)?
False
Suppose -2*x - 210 = -5*x. Is 7 a factor of x?
True
Let r(u) = 1 - 2 - 1 + 7*u. Let j be r(4). Suppose -g = -j + 2. Is 12 a factor of g?
True
Suppose -5 = -6*p + 151. Does 8 divide p?
False
Let g(f) = f - 2. Let y be g(0). Let u(s) = s**2 + s + 2. Is 2 a factor of u(y)?
True
Let c = 12 - 7. Suppose 16 = -3*p + c*p. Let t = 7 + p. Is t a multiple of 9?
False
Let z(g) = g**3 - 3*g**2 - 2*g - 8. Is 6 a factor of z(5)?
False
Suppose 4*w - 128 = -3*r, -5*r + 2*w - 8 = -204. Is 30 a factor of r?
False
Let c be 10*-2*(-26)/10. Let y = -31 + c. Let m = -9 + y. Does 6 divide m?
True
Let b = 151 + -72. Suppose -33 = -5*f + 4*d + b, 18 = f - 3*d. Is f a multiple of 8?
True
Let o be 15*(1 - 9/15). Suppose k = o + 6. Is 12 a factor of k?
True
Let j be 5/2*(0 + 28). Let i = j + -33. Is 9 a factor of i?
False
Suppose 0 = -c - 3 + 110. Is c a multiple of 17?
False
Let n = -9 + 9. Suppose 0 = -3*q - 12, -j - 2*q - 8 = -n*j. Let z(i) = i**2 - i + 46. Does 15 divide z(j)?
False
Suppose 6*o - 10 = o. Suppose l - x - 2 = o, -6 = 2*l + 5*x. Suppose 0 = -4*j + l*y + 16, 3*j + 5*y = 21 + 4. Is 5 a factor of j?
True
Let v = 4 + 2. Let x(p) = -1 + 3 - 3 + v*p + p. Is 3 a factor of x(1)?
True
Let v = -5 + 14. Let a = 11 + v. Is a a multiple of 10?
True
Let i(q) = -1. Let f(z) = -7*z + 14. Let b(v) = f(v) + 3*i(v). Let x be b(-9). Suppose l - 3*l + x = 0. Does 15 divide l?
False
Let o(w) = w**3 - 6*w**2 + 1. Suppose -3*a + 5*s = 2*s - 27, 4*a - 5*s = 39. Let k be o(a). Does 7 divide 24*(-1)/(-2*k)?
False
Let y(z) = -z**2. Let d(s) = 8*s**2 - 3*s - 10. Let j(l) = d(l) + 6*y(l). Is 30 a factor of j(7)?
False
Suppose 2*f = -3*q + 6, q - 8 = -2*f - q. Suppose -c - 4 = -1. Let n = c + f. Is n even?
False
Suppose -5*v = -2*p - 27, -5*v + 3 = -4*p - 36. Let r(n) be the second derivative of -n**3/2 - 7*n**2/2 + n. Is 7 a factor of r(p)?
False
Is 11 a factor of 173/4 + 6/8?
True
Suppose -9*p + 7*p = 6. Let a(j) = 2*j**2 + 4*j - 1. Is a(p) a multiple of 2?
False
Let p(y) = y**3 - 10*y**2 - 6*y - 23. Does 8 divide p(11)?
True
Suppose 5*j + 5*s + 35 = 490, s = -2*j + 182. Is 4 a factor of j?
False
Let a be 2094/18 - (-2)/(-6). Does 8 divide 3/2*a/6?
False
Let x(m) = -m**3 - 7*m**2 - m + 8. Suppose 5*c + 31 = -o, -3 - 1 = -o. Does 14 divide x(c)?
False
Let r(n) = -n**2 - 4*n + 9. Let m be r(-5). Suppose -3*j - m*f = -108, 0*j + 2*f - 144 = -4*j. Does 12 divide j?
True
Let g(f) = f + 8. Let a be g(-6). Let k = -84 + 208. Does 10 divide k/12 - a/6?
True
Let l = 135 + -87. Suppose -l - 6 = -3*v. Is 6 a factor of v?
True
Let j be (-2)/6*(-18)/2. Suppose -j*i = -6*i + 15. Is 8 a factor of i*((-168)/10)/(-4)?
False
Let t = -87 - -207. Is t a multiple of 20?
True
Is 9 a factor of 6/((-28)/12 + 3)?
True
Suppose 0 = m + 6 + 3. Does 10 divide (1 - m)*(4 + -2)?
True
Suppose -3*h = -4*j + 625 + 130, j + 5*h - 160 = 0. Is j a multiple of 53?
False
Let n(p) = p**2 + 14*p + 8. Let t(c) = 3*c**2 + 41*c + 23. Let h(q) = 8*n(q) - 3*t(q). Is h(-6) a multiple of 19?
False
Let z be ((-78)/(-10))/((-3)/(-15)). Suppose z = 4*r - 17. Is r a multiple of 6?
False
Let u be (-5)/15 + 2042/6. Let x = u - 135. Suppose -5*r = -r - 5*p - 166, 0 = 5*r - 5*p - x. Is 19 a factor of r?
False
Let q = -19 - -34. Is q a multiple of 5?
True
Suppose -c - 3 = 0, -39 = -3*w - 2*c + 4*c. Let t = 17 - w. Is 3 a factor of t?
True
Suppose 2*q - 7*q = -25. Suppose 0 = 3*z - 4*o - 53, 0 = 2*z + o - 24 - 4. Suppose f - s - 4 = 17, -q*s = -z. Is f a multiple of 17?
False
Let k(s) = -s**2 + s + 4. Let h(d) = d. Let a(f) = 3*h(f) - k(f). Suppose z = 2*z + 4. Does 2 divide a(z)?
True
Let v(f) = 3*f**2 - 5*f + 8*f**2 - 4*f**2 - 1 - f**3. Let y be v(6). Is 8 a factor of 12/y*80/24?
True
Let y = -31 + 15. Is y/((-8)/(-60)*-3) a multiple of 18?
False
Suppose -4*l = 5*b - 187, b + 7 = 2. Suppose 0 = 5*h - 3*d - l, d + 14 = 2*h - 2*d. Does 7 divide h?
False
Let d(q) = -5*q**3 + 6*q**2 - q + 9. Let o(p) = 4*p**3 - 7*p**2 - 8. Let h(r) = 5*d(r) + 6*o(r). Let m be h(-11). Let u = -37 - m. Is u a multiple of 8?
True
Let m(c) = c + 10. Let j be m(-5). Suppose -13 = -2*p - j. Suppose -6*v + p*v = -36. Is v a multiple of 11?
False
Suppose 0 = -4*b - b + 215. Suppose -5*o + 17 + b = 0. Is 6 a factor of o?
True
Let d = -7 + 8. Let b be 966/7 + 2*d. Suppose 0 = -2*c, -5*f - 5*c + b = -0*f. Does 14 divide f?
True
Let i(w) = -w + 2. Let a be i(0). Let b = 6 + -2. Suppose b*y - a*r - 22 - 16 = 0, -r = 2*y - 29. Is 6 a factor of y?
True
Suppose 3*o - 72 = -3*k, -34 = 4*o - 3*k - 144. Does 9 divide o?
False
Let v(g) be the third derivative of g**6/120 + 17*g**3/3 + 2*g**2. Let k be v(0). Suppose 3*x + 10 - k = 0. Does 4 divide x?
True
Let i(t) = 5 + 13*t**2 + 10*t**2 - 4 + t. Is 23 a factor of i(-1)?
True
Let p(v) = -v**3 - 8*v**2 + 13*v. Is 22 a factor of p(-11)?
True
Let q(t) be the first derivative of -1/2*t**2 + 2 + 5*t. Does 7 divide q(-4)?
False
Suppose -5*q + 170 = 5*m, 3*m - 2*m - 166 = -5*q. Suppose -2*d = 3*p - 3*d - q, p - 25 = 5*d. Does 2 divide p?
True
Let v(q) = 17*q + 44. Let t(s) = 4*s + 11. Let g(i) = 26*t(i) - 6*v(i). Is 14 a factor of g(10)?
True
Let d be (-918)/(-10) - (-11)/55. Suppose -5*a + 93 = -d. Is 11 a factor of a?
False
Let c = -18 - -31. Suppose -178 = -5*f + 2*l + c, l = -f + 34. Is f a multiple of 8?
False
Let f(k) = k**3 + 7*k**2 - 2*k - 3. Let z be f(-6). Let l be 2 - -2*z - 2. Suppose -5*m - l = -10*m. Does 18 divide m?
True
Let k(o) = 48*o**2 - 3*o + 3. Does 37 divide k(-2)?
False
Let b = -8 - -63. Is 11 a factor of b?
True
Let c = 1 - 0. Let t = 0 - c. Let d = 3 + t. Is d even?
True
Suppose 3*w = 4*a - 93, 2*w - 25 = -3*w. Is a a multiple of 5?
False
Suppose 7*x - 2*x - 415 = 0. Suppose 3*w = 52 + x. Is w a multiple of 28?
False
Let l be 4 + -4 - (-5 - -2). Suppose l*v + 32 = 5*v. Is v a multiple of 12?
False
Suppose 2*f + 57 + 7 = 0. Does 27 divide (f/(-10))/(32/560)?
False
Suppose 0*y - y - g + 7 = 0, -7 = -4*y + 3*g. Is 4 a factor of y?
True
Suppose -10*g = -0*g - 1560. Is g a multiple of 39?
True
Suppose -3*g + 35 = -p + 6*p, 3*p - 22 = -2*g. Let y = 31 + -7. Let b = y + g. Is b a multiple of 18?
False
Let u = 24 + -12. Let l = 21 - u. Suppose -z + l = -7. Is 8 a factor of z?
True
Let r(g) = -4*g + 7*g**2 - g - g**2 + 3*g. Is r(3) a multiple of 16?
True
Let t(p) = -p**3 + 4*p**2 + 2*p - 9. Let l(c) = 2*c**3 - 7*c**2 - 4*c + 17. Let y(g) = 6*l(g) + 11*t(g). Is 17 a factor of y(3)?
False
Let u(q) be the second derivative of q**3/3 + q**2 - 3*q. Let o be u(-4). Let d = o - -33. Is 12 a factor of d?
False
Suppose -5*x = 3*a - 2*a - 21, 0 = 3*x + 4*a + 1. Is x a multiple of 5?
True
Let l(z) = -111*z**2 + z. Let c be l(1). Let q = c + 161. Let f = q + -27. Is 12 a factor of f?
True
Suppose 5*u + 0*u + 10 = 0. Let q = u + 7. Suppose -80 = -q*c - 5*x, -22 = -c - 5*x + 2. Does 14 divide c?
True
Suppose 4*t + 1 = -r - 11, 2*r + 5*t = -12. Suppose 0 = -5*l + r*l + 2. Suppose 4*k + 0*f = l*f + 54, 5*k - 30 = -5*f. Is k a multiple of 4?
False
Suppose 6*p - 2*p - 192 = 0. Suppose 0 = c - 3*c + 10. Suppose -c*y + 48 = 3*k - 8, 5*y - k = p. Is y a multiple of 5?
True
Suppose -6*q = -4*q - 40. Is q a multiple of 5?
True
Suppose -4*c - 24 = 176. Is (-1020)/c - (-6)/10 a multiple of 21?
True
Does 5 divide (-5)/(-10) - 34/(-4)?
False
Suppose 5*c - c = -3*q + 154, -4*q = -5*c - 195. Does 11 divide q?
False
Let h(f) = f**3 - 2*f**2 - 3*f - 4. Does 15 divide h(4)?
False
Let a = 216 - 131. Does 12 divide a?
False
Let h(g) = 5*g - 12. Suppose -2*j = 4*q - 34, -5*j + j + 14 = 2*q. Is 31 a factor of h(q)?
False
Let v(d) = 12*d - 1. Let k(z) = z**3 + 6*z**2 + 4*z - 4. Suppose