2*w + 74, w - 39 = -2*m + 8. Suppose 0 = -0*u + 3*u - m. Is 8 a factor of u?
True
Suppose -21 = -4*x - 1. Let c be 1/x + (-68)/(-10). Is 7*(2 - (-10)/c) a multiple of 12?
True
Is 12 a factor of (84/(-8))/7*-24?
True
Let i(v) = 7*v + 21. Is 14 a factor of i(9)?
True
Suppose -d = 2*f - 66, f - 2 + 0 = 0. Suppose 4*b + d = 6*b. Is b a multiple of 14?
False
Let n(v) = -v - 1. Let i be n(-7). Let r(c) = 6*c - 10. Is r(i) a multiple of 22?
False
Suppose 10*m - 15*m + 215 = 0. Is m a multiple of 14?
False
Let m(c) = -20*c + 5. Does 7 divide m(-2)?
False
Let u(h) = h**2 + 9*h - 12. Does 9 divide u(-12)?
False
Let n = -73 + 155. Does 18 divide n?
False
Let m be (2 + 28)/((-1)/2). Let l = -38 - m. Does 6 divide l?
False
Let j(w) = 2*w**2 - 11*w - 3. Is 37 a factor of j(8)?
True
Let w = -23 - -31. Does 4 divide w?
True
Let q = -33 + -47. Let a = -48 - q. Is a a multiple of 19?
False
Let l = 21 - -40. Does 5 divide l?
False
Suppose -208 = -2*i + 4*l + l, 0 = l + 4. Does 10 divide i?
False
Suppose -5*b - 5*m = -17 - 28, 5*m - 30 = -2*b. Suppose -13 = b*a - 138. Does 20 divide a?
False
Suppose -3*b + 162 + 162 = 0. Let z(w) = -63*w + 1. Let f be z(1). Let j = f + b. Does 16 divide j?
False
Let g(u) = u**3 - 11*u**2 + 13*u - 15. Is 15 a factor of g(10)?
True
Let h(u) = 2*u. Let p be h(-2). Is 13 a factor of p/(4/(-65)) - -3?
False
Let p = 1 + 2. Suppose 10*r - p*r - 238 = 0. Is 34 a factor of r?
True
Let k(j) be the first derivative of -j**4/2 - j**3/3 - j**2/2 + 2*j - 3. Is 13 a factor of k(-2)?
False
Let s(x) = 8*x**2 + 2*x - 3. Let g be s(-5). Suppose -5*i + g = -73. Is 25 a factor of i?
False
Suppose 4*z + 4 = 12. Suppose -2*c - z*c = -192. Is 24 a factor of c?
True
Let f(d) = d**3 - 5*d**2 - 11*d + 6. Is f(7) a multiple of 9?
True
Let r be (-24)/(-6) - (-1 + 2). Let o(d) = -3*d**2 + r*d - 1 - 11 - 7*d**2 + d**3. Does 8 divide o(10)?
False
Suppose 2*h = f + 317, -5*h + 5*f + 788 = 4*f. Is h a multiple of 18?
False
Suppose -1 - 9 = -2*r. Suppose 3*t + 0*o - 67 = 2*o, -2*t = -r*o - 63. Is t a multiple of 6?
False
Suppose -27 = -d - 1. Does 26 divide d?
True
Let r(f) = f**3 - 3*f**2 - 3*f. Let c be r(4). Let y(w) = w**2 - w + 2. Let o be y(0). Suppose -c + 24 = o*u. Does 5 divide u?
True
Suppose 2*l - 3*q - 21 = 0, -3*l - q - 18 = -55. Let r = l - 4. Let o(j) = j**2 - 5*j + 6. Is o(r) a multiple of 20?
False
Let g(l) = -67*l**2 - 3*l + 5. Let c(w) = 34*w**2 + 2*w - 3. Let t(h) = -5*c(h) - 3*g(h). Does 15 divide t(1)?
True
Let t = 69 - 44. Is t a multiple of 5?
True
Suppose -2*t - t - 9 = 0. Is 2/t*(-1 + -17) a multiple of 12?
True
Let w be (-156)/(-7) - 2/7. Does 8 divide w/3 + 8/12?
True
Suppose 5*y - 206 = -16. Let m = -11 + y. Does 9 divide m?
True
Let a = -5 - -7. Suppose -a*g = -3*g. Suppose g = k - 3 - 0. Is k a multiple of 3?
True
Let j be (-508)/18 + 2/9. Let v = j + 44. Does 8 divide v?
True
Let l(t) = -t**3 - 12*t**2 + 12*t + 5. Is l(-13) a multiple of 9?
True
Suppose -234 = -3*n + 5*k, 0 = 2*n - 5*k + 3*k - 160. Does 18 divide n?
False
Suppose -3*b + 75 = 2*b. Is (-3 - -1) + b*4 a multiple of 29?
True
Let k be (-4)/5*(-595)/7. Let g = k + 29. Is 26 a factor of g?
False
Let g = 3 - 1. Let s(k) = 7*k. Is 14 a factor of s(g)?
True
Suppose g = 31 + 138. Is 13 a factor of g?
True
Let d = 0 - 1. Let v = 38 + d. Is 17 a factor of v?
False
Suppose 4*d = 4*l + 20, -d = d + l - 19. Let q be 4/d + (-9)/(-2). Suppose -3*y + 23 = -q*v + v, 28 = 4*y - 4*v. Is y a multiple of 2?
False
Let h(g) = 12*g - 14. Is h(6) a multiple of 30?
False
Let m(x) = x**2 - 3*x - 16. Does 8 divide m(11)?
True
Suppose 5*u = -3*x - 0*x + 31, 4*x - 4*u - 52 = 0. Does 12 divide x?
True
Let o = -49 + 46. Suppose -2*m = -m - 15. Let t = o + m. Is t a multiple of 11?
False
Let b be 3072/30 + 4/(-10). Suppose n - 94 = -4*l - 0*l, b = 4*l + 5*n. Is l a multiple of 9?
False
Let m = -44 - -77. Is 10 a factor of m?
False
Let a be 3/(-6) + 98/4. Suppose -q + a = 3*q. Does 3 divide q?
True
Let i(o) = -5*o - 2. Let m be i(-9). Suppose 0 = -4*z - m + 299. Is 19 a factor of z?
False
Let q(d) = -5*d. Let v be q(-1). Suppose 3*z = 7*z - 32. Suppose -4*a = -3*i - 24, -65 = 3*a - z*a - v*i. Does 9 divide a?
True
Let n = 67 + -34. Is n a multiple of 11?
True
Let i(p) = -4*p - 2. Let u = -13 - -5. Is 30 a factor of i(u)?
True
Suppose 2*o - 20 = 3*o. Let a = o + 29. Does 9 divide a?
True
Let u = 21 - -13. Is 34 a factor of u?
True
Let b = -8 + 10. Is b even?
True
Let z = 14 - 10. Suppose z*r + 160 = 5*q - r, -r - 5 = 0. Does 19 divide q?
False
Let t(m) = 114*m**3 - m**2 + 3*m - 2. Is t(1) a multiple of 19?
True
Let s(h) = -23*h - 2. Let w be s(-4). Suppose k - w = -2*t, 0*k + k + 3*t - 94 = 0. Is k a multiple of 25?
False
Let d(w) = 2*w**3 - 7*w**2 - w - 4. Let z be d(5). Suppose -4*t + z = a, -5*t = 2*a - 122 + 5. Does 12 divide a?
False
Let y(s) be the second derivative of s**5/20 - s**4/3 + s**3/2 - 2*s**2 + s. Let t be y(4). Suppose -t = 2*d - 32. Is d a multiple of 7?
False
Is 10 a factor of (3 - (-69)/(-3))*-4?
True
Let h(a) be the third derivative of -1/120*a**6 + 7/24*a**4 - 1/3*a**3 + a**2 + 0 + 0*a + 1/15*a**5. Is 4 a factor of h(5)?
True
Suppose 4*u + 145 = -u. Let q be (18/(-24))/(2/56). Let g = q - u. Does 8 divide g?
True
Let d(v) = 4*v - 5. Is 6 a factor of d(6)?
False
Suppose 95 = 5*l - g - 4*g, -2*l = 3*g - 43. Suppose 4*q = l + 16. Is 6 a factor of q?
False
Does 34 divide (0 + -187)/(14/(-28))?
True
Let g(i) = i**3 + 3*i + 2*i**2 + 2*i**2 - 4*i. Let a be g(-4). Suppose -3*n - 13 = 3*h - 55, -a*n - 115 = -5*h. Is 8 a factor of h?
False
Let s(q) = -q**2 + 10*q + 14. Does 15 divide s(8)?
True
Let z(f) = -2*f**2 - 7*f + 0*f**2 + 11*f**2 - f**3 + 4. Does 12 divide z(8)?
True
Suppose 0 = -2*i - 5*l + 62, -4*i - 155 = -9*i - l. Is i a multiple of 5?
False
Let a be 2 + 1 + 20 + -4. Let q be -2*4*(-2)/(-4). Let g = a - q. Is g a multiple of 23?
True
Let b(i) = 58*i**2 + 3*i - 2. Is b(1) a multiple of 20?
False
Suppose -s - 3*s - 12 = -4*d, -s - 9 = -3*d. Suppose 3*q + 2*f - 3*f - 1526 = s, f = -q + 502. Does 6 divide q/27 + (-6)/(-27)?
False
Let d be ((-12)/8)/((-3)/4). Suppose 5*f - d*x + 90 = 0, 5*f - 3*x + 14 = -76. Let j = -4 - f. Does 4 divide j?
False
Let d = 28 + -10. Suppose 2*x = 4*x - d. Is 6 a factor of x?
False
Let v be (-434)/(-6) - (-5)/(-15). Let s = -40 + v. Is s a multiple of 16?
True
Is (-5)/(10/(-8)) - -48 a multiple of 6?
False
Suppose 5*i = 8*i - 72. Is i a multiple of 22?
False
Does 17 divide ((-31)/(-2))/((3 + -5)/(-12))?
False
Let o(x) = x**3 + 9*x**2 - 8. Let f be o(-9). Let y(k) = -k**2 - 8*k - 5. Let w be y(f). Does 18 divide 20 - w/((-10)/4)?
True
Let g(x) = x**2 - 5*x - 12. Does 5 divide g(8)?
False
Is 26 a factor of 321/3 - 9/3?
True
Suppose 4*w - 228 = 2*w. Does 33 divide w?
False
Suppose 0 = -4*t + 216 + 36. Is t a multiple of 9?
True
Let h(s) = -3*s - 7. Let a be h(-5). Let p = 27 - a. Let w = -2 + p. Is w a multiple of 15?
False
Let c(n) = -15*n**3 - 3*n**2 - 15*n + 7. Let s(a) = 7*a**3 + 2*a**2 + 7*a - 3. Let y(w) = -6*c(w) - 13*s(w). Is 5 a factor of y(-8)?
True
Let r = 5 - 3. Suppose -3*u - r*u = -105. Is 14 a factor of u?
False
Let w = -129 - -153. Is 6 a factor of w?
True
Suppose 0 = -2*y + 50 + 10. Is 6 a factor of y?
True
Let x be (27/(-4))/(3/8). Let k = x - -67. Does 22 divide k?
False
Suppose -8*v + 85 = -947. Does 43 divide v?
True
Let k(s) = -27*s. Let j be k(-1). Suppose -l = -0*l + 2*h + 29, -l - 3*h - j = 0. Let z = l + 63. Is 12 a factor of z?
False
Let a = -94 + 122. Does 4 divide a?
True
Is (-135)/(-4) + 14/56 a multiple of 7?
False
Let n = 16 - -1. Suppose -6*w - n + 107 = 0. Does 11 divide w?
False
Let a be (24/20)/((-4)/(-10)). Suppose 3*o - 2*r = r + 117, 3*o - 111 = -a*r. Is o a multiple of 16?
False
Suppose 4*r - 4 = -2*z + 2, -4*r + 3*z + 11 = 0. Suppose -4*o + r*c - 14 = 0, -4*c = 5*o - 0*o - 15. Does 10 divide -1*(1 + 18/o)?
False
Let u(i) = 81*i**2 - i. Is u(1) a multiple of 16?
True
Suppose 4*f + 10 - 82 = 0. Suppose -2*o + f + 18 = 0. Is o a multiple of 6?
True
Suppose -4*b + 2 = -2*l, l + 12 = 4*b - 3*l. Let c be 1*(-4)/b - 3. Is 4 - 0/(1 - c) a multiple of 3?
False
Let q(m) = 7*m**2 - 10*m + 6. Does 47 divide q(-3)?
False
Suppose -t - 4*u - 2 = 0, 0 = -t - 7*u + 4*u - 1. Suppose t*p - 5 + 1 = 0. Does 12 divide 1/p + (-236)/(