58. Suppose 0 = 2*s - s + 5, 5*w - z = s. Is 17 a factor of w?
False
Let x = 32 - -81. Suppose 0 = -5*s - x - 187. Let a = -39 - s. Is 7 a factor of a?
True
Suppose -3*f = -2*j + 4*j, j = -3*f. Suppose f = z + 2*z. Let g(i) = -i**2 + 8. Is g(z) a multiple of 4?
True
Let a = 140 + -77. Does 4 divide a?
False
Suppose 0 = i - 2*l - 73, 0 = -i + 3*l + 97 - 21. Suppose s - 4*s + 177 = -5*p, -5*s = 4*p + 149. Let o = p + i. Is 8 a factor of o?
False
Suppose 4*w = -0*w + 24. Is 129/w - (-3)/(-2) a multiple of 10?
True
Suppose 4*n + 12 = 0, 3*y + y - 2*n = 18. Does 3 divide y?
True
Does 32 divide ((-1)/(2 + -1))/((-12)/384)?
True
Suppose -335 = -10*q + 75. Is 39 a factor of q?
False
Let v(y) be the first derivative of 4*y**3/3 + 2*y**2 - 4*y - 3. Let i be 1 - 1/(-2)*-10. Does 22 divide v(i)?
True
Let b = 4 - 1. Let c = b - 7. Let n = c - -18. Does 7 divide n?
True
Suppose -230 = -5*x + 15. Is 14 a factor of x?
False
Let c(f) = f + 4. Does 9 divide c(8)?
False
Let m(l) = -64*l + 2. Let d be m(-7). Suppose 0 = 5*w - 0*w - d. Suppose 0 = -2*u - 3*u + w. Does 18 divide u?
True
Let v(z) = -z**2 - z + 32. Let i be v(0). Suppose -2*b = -5*a - i, 5*b - 3*a - 1 = 98. Suppose 4*q = b + 11. Is 5 a factor of q?
False
Let j be -1*(2 - (-3 + 1)). Let m be (-78)/21 + j/14. Let n(g) = g**2 + 2*g. Is 4 a factor of n(m)?
True
Suppose -2*i + 60 + 6 = 0. Suppose 4*w - i = w. Is w a multiple of 4?
False
Let d(r) = r**2 - r - 5. Let z be d(-5). Let k = 18 - z. Let o(h) = h**2 + 4*h + 5. Is o(k) a multiple of 7?
False
Let o(z) be the third derivative of -5*z**4/24 - z**3/6 + 2*z**2. Let l(w) = -10*w - 3. Let x(u) = -3*l(u) + 5*o(u). Is 14 a factor of x(5)?
False
Let r be (-14)/(-4)*12/7. Let y(u) = -2*u**2 - 2*u + 2. Let a be y(-2). Let p = a + r. Is 2 a factor of p?
True
Let c be 2 + 7 + (-3)/3. Let v = 40 - 20. Suppose v = -4*g + c*g. Does 5 divide g?
True
Let a(q) = 5*q**2 + 5*q - 5. Let t(i) = -4*i**2 - 5*i + 6. Let v(u) = 5*a(u) + 6*t(u). Suppose -37 = -0*m - 5*m - 3*f, -5*f - 5 = 0. Is v(m) a multiple of 14?
False
Let l = -9 + 7. Let g be (l/4)/((-5)/140). Suppose w + 0*i - g = 2*i, i + 67 = 3*w. Is 7 a factor of w?
False
Let c be (-1)/(-3) - (-16)/24. Let n(z) = z + 6. Let v be n(-6). Does 12 divide c*(v - -4)*6?
True
Let d(g) = g**3 - 6*g**2 + 9*g + 5. Is 6 a factor of d(5)?
False
Let o(g) = -12*g**3 - 3*g**2 - 2*g + 1. Let t be o(-2). Let n = 146 - t. Is n a multiple of 24?
False
Let a(z) = -7*z. Let h(g) = -6*g. Let c(s) = 3*a(s) - 4*h(s). Let u be c(-1). Let m = 14 + u. Is m a multiple of 6?
False
Is 22 a factor of ((-20)/5 + 1)*44/(-6)?
True
Let z(l) = -l**3 + 3*l - 1. Is 9 a factor of z(-4)?
False
Let k(q) = -q**3 + 5*q**2 + 2*q + 3. Let i be k(4). Let n = -18 + i. Does 6 divide n?
False
Let p = 3 - 1. Suppose 0 = p*b + 2*b - 76. Let y = b + -5. Is y a multiple of 8?
False
Suppose 2*v - 600 = 5*j, -v = -2*j + 2 - 300. Suppose -v = k - 6*k. Does 20 divide k?
False
Suppose -p - 548 = 3*p. Let s = 427 + p. Is s/26 - 6/39 a multiple of 8?
False
Does 14 divide (1 - 2)/((-7)/196)?
True
Let a = -5 + 7. Let c(k) = 5*k - 5*k + k**a + 20. Is 7 a factor of c(0)?
False
Does 14 divide 679/6 - (-1)/(-6)?
False
Let z be ((-9)/(-9))/(2/52). Let u = -10 + z. Is 4 a factor of u?
True
Let y = -3 - 1. Let t be (-3)/((-1)/(y/(-6))). Is (-11)/(t/4 - 1) a multiple of 10?
False
Let h(i) = 6*i**2 + 1. Let p be h(1). Let f = p - 15. Is (-105)/28*f/3 a multiple of 10?
True
Let f(g) = g**3 + 4*g**2 + 1. Let n be f(-4). Let l(a) = -3*a**2 + a**2 + 2*a + n + 4*a**2. Is 2 a factor of l(-2)?
False
Let f be (-2)/3 - (-26)/(-6). Let s = 36 + f. Is s a multiple of 11?
False
Let v(g) = 3*g - 4. Suppose 3*y + 2 = 11. Is v(y) even?
False
Suppose 9*s + z + 36 = 4*s, s = 2*z - 5. Let c(r) = r**3 + 7*r**2 - 5*r + 2. Is c(s) a multiple of 15?
False
Let b = 133 + -77. Is b a multiple of 28?
True
Suppose 0 = -4*t + 2*t - 4*f + 10, t - 5 = 4*f. Suppose u - 5*w = -17, -t*w + 38 + 11 = 3*u. Is (-2 - 0)*-1*u a multiple of 8?
True
Let n(l) be the third derivative of -l**4/24 + 3*l**3/2 + 6*l**2. Is n(0) a multiple of 9?
True
Let h be 0*(-3)/6 + 3. Suppose -n + 9 = -p, -3*n - h*p + 1 = -2. Is 3 a factor of n?
False
Let g = 18 + 34. Suppose d - 4*t + t - g = 0, -50 = -d + 5*t. Does 17 divide d?
False
Let l be 26/6 + (-2)/(-3). Suppose -48 = -l*q - 8. Does 4 divide q?
True
Suppose -2*h - 38 = -98. Let f = h + -4. Does 13 divide f?
True
Is 3 a factor of 1 + 17 + 4 + 35/(-5)?
True
Suppose 8 - 40 = -2*j. Is 14 a factor of j?
False
Let p = -3 + 3. Let w(o) = o - 14 + p*o + 63. Does 17 divide w(0)?
False
Is 11 a factor of ((-2)/6)/((4/(-204))/1)?
False
Let s(p) = p**3 - 5*p**2 - 7*p - 1. Let v(w) = 2*w**3 - 10*w**2 - 13*w - 1. Let b(l) = -11*s(l) + 6*v(l). Let c be b(6). Let q = -21 + c. Is 7 a factor of q?
True
Suppose -5*w = 4*l + 43, -4*w + 11 = -3*l - 29. Is 6 a factor of l/(-42) - (-164)/14?
True
Let i be -3*(40/2 + -1). Let w be 247/3 + 6/9. Let a = i + w. Is 12 a factor of a?
False
Let m = 33 - 3. Is 15 a factor of m?
True
Is (-119)/(-4) - (-2)/8 a multiple of 10?
True
Let s be (-5)/(-2)*-2 - -2. Is 12 a factor of (-89 - s)/(0 - 2)?
False
Suppose 0 = 4*u + 3*a - 258, 2*u - 128 + 0 = -a. Let x = -25 + u. Is 11 a factor of x?
False
Let b = -38 + 128. Suppose -b = -5*j + 155. Let w = j + -25. Does 10 divide w?
False
Let b = 50 + -10. Does 10 divide b?
True
Suppose 0*l + 45 = 5*l. Suppose 6 = 3*k - 2*b - l, 23 = 5*k - 4*b. Is 2 a factor of k?
False
Is 101 - (6/1 + -2) a multiple of 29?
False
Let y(a) = -9*a + 1. Let w be y(-1). Suppose x = -4*k - 23, 0*k - w = 2*k. Does 7 divide (-2)/6 - 79/x?
False
Is 19 a factor of 4/6*(55 - -2)?
True
Suppose 3*b - 4 = -3*n + 2*b, 3*b - 4 = -5*n. Suppose -d = d - p - 13, -n*d + 17 = -5*p. Is d a multiple of 6?
True
Let d(o) = o**2. Let n be d(-2). Let f be (75/12)/(2/16). Suppose 2 = n*t - f. Does 3 divide t?
False
Suppose 5*a - 4*y - 80 = 0, -1 = a + a + 5*y. Suppose 0 = -4*f + a + 28. Is f a multiple of 5?
True
Let m(h) = 3*h - 2. Let a be m(2). Let k(z) = 6*z - 3 + 4*z**2 - 4*z**2 - z**2. Is k(a) a multiple of 5?
True
Let m be (18/15)/((-3)/10). Let o(g) = -g - 1. Let d be o(m). Suppose -d*q - 5*z = -63, 2*q - 6*q + 110 = -2*z. Is 13 a factor of q?
True
Is (21 + -1)/(-4)*-2 a multiple of 10?
True
Suppose 1025 + 379 = 6*s. Does 26 divide s?
True
Let h(c) = -c**2 + 5*c + 2. Let i be h(6). Is 0 - -20 - i/(-2) a multiple of 9?
True
Let f(b) = b - 6. Let w be f(4). Let n be 0 - (w - -2 - -7). Let q(t) = -t**2 - 8*t - 5. Is q(n) a multiple of 2?
True
Let v = 215 - 117. Is v a multiple of 14?
True
Let t be (8/6)/((-1)/(-3)). Suppose 2*a = -i + 17, a = 4*a - t*i - 20. Does 12 divide (-16)/(-3)*18/a?
True
Let l(b) = 10*b**2 - b - 2. Does 8 divide l(-2)?
True
Let r(h) = 4*h**3 + 3*h**2 + 3*h + 2. Let l be r(-2). Is 25 a factor of (4 - 7)*l + 4?
False
Let o = -59 - -99. Does 8 divide o?
True
Let n be 5 + -1 - 4/4. Let d be (2 + n*-1)*-5. Is 9 a factor of d*(1 - -1) + 0?
False
Let g(h) = -h + 4. Let m be g(4). Let u(z) = -z**3 + 5. Let y be u(m). Suppose 112 = y*d - d. Is 14 a factor of d?
True
Let w = -12 + 17. Suppose 32 = x + 2*b + 2*b, w*x + 2*b = 160. Is x a multiple of 12?
False
Let a(o) = o + 41. Let k be a(0). Let m be -4*(2 - 22/(-8)). Let n = m + k. Does 20 divide n?
False
Suppose 0*q + 3*q = v - 7, 5*v = 5*q + 15. Let t = q + 2. Suppose 0 = -t*k + 4*k - 52. Is k a multiple of 5?
False
Let d(p) = 23*p + 1. Let w be d(1). Suppose -1 + 3 = h, -2*o = 2*h - w. Is o even?
True
Let l = -374 - -657. Suppose l + 62 = 5*c. Is 27 a factor of c?
False
Suppose -2*j + 0 + 17 = 3*w, j = -3*w + 22. Does 8 divide w?
False
Let k(u) = -17*u - 3. Let r = 8 - 10. Does 9 divide k(r)?
False
Let p(x) = x**2 + 9*x - 10. Let m be p(-10). Let v = m - 41. Let a = 86 + v. Is a a multiple of 15?
True
Let d = 43 + 62. Is 15 a factor of d?
True
Let k = 2 + 1. Suppose 0 = k*b + 3 - 15. Suppose -20 = -p - b*s, 2*s = p - 7 - 25. Does 14 divide p?
True
Let g(m) = -m**3 - 6*m**2 - 4*m + 3. Let w be g(-4). Let z = 2 + w. Is 1*3 - (10 + z) even?
True
Suppose 2*b = -q + 348, 5*b - 639 = 3*q + 209. Does 46 divide b?
False
Suppose -4*c - 5*b = -92, -b - 75 = -3*c - 25. Does 9 divide c?
True
Suppose 236 = 5*g + 2*y, 3*g = 4*g + 3*y - 55. Is g a multiple of 9?
False
Let d(v) = v**2 - 5. Does 19 divide d(-9)?
True
L