actor of w(16)?
True
Suppose a - 45 = 16. Let f = 5 - a. Let c = -18 - f. Does 10 divide c?
False
Suppose s = 1 + 10. Let n = -6 + s. Suppose -3*t - n + 65 = 0. Is t a multiple of 10?
True
Suppose 5*b - 1 = -6. Let l be -1 + 2 + b + 1. Does 3 divide (-5 - -3) + l*5?
True
Let y = -1 + 1. Let n(d) = -d**2 - 8*d + 2. Let i be n(-8). Let q = i + y. Is 2 a factor of q?
True
Suppose -104 = -3*b + 58. Is b a multiple of 17?
False
Let j(k) = -k. Suppose g + 3*t + 8 = 0, 0 = -g - 5*t + 8*t - 2. Let s = g - 0. Does 5 divide j(s)?
True
Suppose -4 - 20 = -4*b. Suppose -3*i + b = -4*n - 16, -i + n + 7 = 0. Is 6 a factor of i?
True
Let b(a) = -a - 3. Let v be b(-6). Let i(n) = -1 + 6*n + 2 + v. Is 17 a factor of i(5)?
True
Let o(y) = y**3 + 4*y**2 - 2*y + 5. Let r(i) = i**3 + 10*i**2 + i + 6. Let v be r(-10). Is o(v) a multiple of 8?
False
Let z(d) = 8*d + 12. Is 15 a factor of z(6)?
True
Suppose -f = u + 2*u - 32, 3*u = -3*f + 78. Is f a multiple of 7?
False
Suppose 20 = 5*y + 3*b, 2*b = -4*y - 0*b + 16. Suppose -w = 4*d - 219 - 5, 0 = -5*d - y*w + 280. Does 19 divide d?
False
Let v(y) = y**2 - 9*y - 25. Does 27 divide v(-10)?
False
Let l(i) = 4*i + 4. Let q be 3/(-12) + (-58)/(-8). Is l(q) a multiple of 13?
False
Suppose 76 + 59 = 5*v. Suppose 0 = 2*b - 31 - v. Suppose 5*l - 46 = b. Is l a multiple of 15?
True
Let g be (14 + -2)*4/(-8). Let d be (8/12)/(4/g). Is (-324)/(-8) - d/(-2) a multiple of 20?
True
Let r be (-276)/27 - (-4)/18. Let v(y) = -7*y - 15. Let g be v(r). Suppose 9*k - 4*k = g. Does 11 divide k?
True
Let v = 31 - 7. Is v a multiple of 12?
True
Suppose 0*q + q - 2*n - 15 = 0, 4*q - 3*n - 40 = 0. Does 5 divide q?
False
Suppose 0 = -0*l + 3*l - 33. Does 6 divide (l - 8)*(-40)/(-6)?
False
Let g(i) be the second derivative of i**4/6 + 5*i**3/3 + 3*i**2/2 + i. Does 24 divide g(-8)?
False
Let p = 6 - -6. Let o be (-14)/(-6) + (-4)/p. Let r(s) = 8*s. Is 10 a factor of r(o)?
False
Let i be (-3)/(-2) + (-65)/(-2). Suppose -5*r + 87 = o, -4*r + 5*o = -24 - i. Is 5 a factor of r?
False
Let t(g) = 4*g - 10. Let l be t(8). Suppose -5*y = -0*p - 2*p + 45, -p + 2*y = -l. Does 20 divide p?
True
Suppose -m + 4 = 3*d - 11, -5*d + 36 = -2*m. Is 16 a factor of 518/18 + d/27?
False
Suppose k + 0*k - 120 = 0. Let d = k + -55. Is d a multiple of 22?
False
Is (-6)/(5/(-110)*4) a multiple of 33?
True
Let s(v) be the first derivative of 2*v**3 + v**2/2 - v - 1. Let r be s(1). Suppose -2*a + 0*a = -r. Is a a multiple of 3?
True
Let a = 26 + 30. Does 28 divide a?
True
Let r = 18 - 14. Is (0 - 4)*-1*r a multiple of 13?
False
Suppose 25 = 2*z + 3*z. Suppose -1 = 4*v - t, 0*v - 5 = 5*v - z*t. Suppose v = 3*k - 72 + 6. Does 15 divide k?
False
Suppose -4*f + 5*t = -1163, f - 3*t - 1457 = -4*f. Is 31 a factor of f?
False
Let v = 81 - -73. Is 16 a factor of v?
False
Let v(f) = -3*f**2 + 2*f**3 + 3*f**2 + 1 + f**2. Let q(g) = -2*g**3 - g**2. Let u(c) = 3*q(c) + 2*v(c). Is u(-2) a multiple of 7?
True
Is 6 a factor of (-8)/52 + (-1176)/(-39)?
True
Is 28 a factor of -3*(66/(-9) - 2)*8?
True
Let x(h) = 7*h - 1. Let n be x(1). Suppose -68 = 2*z - n*z. Is 7 a factor of z?
False
Let p(k) = -4*k - 50. Is p(-17) a multiple of 14?
False
Let y(j) = -j - 2. Let g be y(-3). Suppose 5*x = 4*n - 22, -3*n + g = -0*x + 4*x. Suppose n*k - 20 = -k. Is k a multiple of 3?
False
Suppose -3*h + 75 = -3*f, 3*h - 5*f - 14 - 67 = 0. Suppose -y = y - h. Is 11 a factor of y?
True
Let u = 241 - 29. Suppose 5*j + u = j. Let t = -14 - j. Does 14 divide t?
False
Let u(o) = o**3 + 8*o**2 + o - 2. Does 8 divide u(-3)?
True
Let k(r) = 6*r**3 + r**2 - 3*r + 1. Let v be k(2). Suppose 64 = 2*q - 3*m + 5*m, -q + 2*m = -v. Is 18 a factor of q?
False
Let a(j) = -4*j**3 + j**2 + 2*j - 1. Let v be a(2). Let l be ((-16)/10)/(10/v). Suppose -l*i + 39 + 9 = 0. Is 12 a factor of i?
True
Let r(k) = -k + 52. Is r(21) a multiple of 4?
False
Suppose -5*c + 6*c = 1. Is 5 a factor of 14/(-4)*c*-4?
False
Let h(t) = -10*t - 10. Let a(m) = -29*m - 29. Let z(c) = 3*a(c) - 8*h(c). Is z(-6) a multiple of 15?
False
Let j(t) = -t + 8. Let z be j(-6). Suppose 214 = 4*n + z. Suppose -4*i + n = 5*x - 35, 2*i - 50 = -4*x. Is i a multiple of 15?
True
Let w be (-4)/(-2)*(-2 + 3). Let j be (w/2 - 2)*-1. Does 4 divide j + 2 + -1 - -2?
True
Let f = 58 - 32. Suppose 2*p + f + 10 = 2*g, -g - 2*p + 27 = 0. Is 8 a factor of g?
False
Suppose p + 2*p = s + 34, 0 = 2*s + 2. Suppose 3*i - 152 = -p. Is 25 a factor of i?
False
Let a = -3 + 12. Suppose 2*o - 6 = -5*g, 21 = 3*o - 3*g - a. Suppose -j = 3*u - 12, 0 = j + u + 3*u - o. Does 14 divide j?
False
Let g(r) = 10*r - 13. Let w(z) = z - 1. Let v(m) = 4*g(m) - 44*w(m). Is v(-6) a multiple of 8?
True
Let v(w) = -9*w + 11. Is 14 a factor of v(-5)?
True
Suppose 4*w - 2 = 5*l, 2*l = l - w + 5. Suppose 99 = l*c + c. Suppose 0 = -u - 3*d - 0*d + c, 2*d - 122 = -4*u. Does 10 divide u?
True
Let z(h) = -h**2 - 9*h + 2. Suppose 3*q - 20 = 2*d, 0 = 5*d + 3*q + 20 + 9. Is z(d) a multiple of 16?
True
Is 4 a factor of 4 + 0 + -2 + 6?
True
Let a be ((-16)/6)/(-1)*(-171)/(-4). Let d(h) = h**3 + 3*h**2 - h + 2. Let w be d(-3). Suppose 4*b + a = 3*u, -36 - 159 = -5*u + w*b. Is 14 a factor of u?
True
Let a(x) = -43*x + 0 + 3 - 6. Let p be a(6). Is 13 a factor of (p/6)/3*-2?
False
Let f = -12 - -12. Suppose f*c + 94 = 2*c. Is 15 a factor of c?
False
Let g be 18/5 - (-2)/5. Suppose -8 = 5*r + h, -2*r - 4*h + 6*h + g = 0. Is 8 a factor of 63/3 + r/(-1)?
False
Let g(j) = j**2 - j - 5. Let i be g(0). Does 19 divide 37 - (3 + i - 0)?
False
Let x be -2*(-14)/12*-63. Let r = -86 - x. Does 21 divide r?
False
Let g(v) = -9*v**2 + 3*v - 2. Let a be g(2). Let w = 57 + a. Is 7 a factor of w?
False
Let m be (-6)/18 + (-19)/(-3). Suppose -f - m + 3 = 0. Let b(q) = q**3 + 4*q**2 + q + 2. Is 4 a factor of b(f)?
True
Suppose -2*t - 4*z = 3*t - 29, 3*t = -5*z + 20. Suppose -4*x + 7 = -t. Suppose -x*h + 8 = -16. Is h a multiple of 8?
True
Is (-66)/(-4) - 8/16 a multiple of 8?
True
Is (-2)/8 - 363/(-44) a multiple of 8?
True
Let b(o) = 7*o**3 + 1. Let m be b(-1). Let j = m + 22. Is j a multiple of 16?
True
Let z(r) = -5*r**3 - r**2. Let b be z(1). Let f(p) = -2*p - 8. Let a be f(b). Let u(l) = l + 4. Does 4 divide u(a)?
True
Suppose 0 = -2*c + 2*n + 108 + 32, 0 = -3*c + 5*n + 202. Is 15 a factor of c?
False
Let l(w) = 13*w - 26. Is 39 a factor of l(8)?
True
Let r = 10 - 4. Does 11 divide ((-32)/r)/(-2)*6?
False
Let a be 15 - (3 + (-2 - 1)). Let p be (2/4)/(3/12). Suppose p*w = 7 + a. Is w a multiple of 7?
False
Let z be 2/(-2 - 0) - -1. Suppose z*x + 2*x = 32. Is 16 a factor of x?
True
Let x = 64 + -29. Does 7 divide x?
True
Suppose -6*s + 42 = -3*s. Is 4 a factor of s?
False
Is 4 - 4/1 - -223 a multiple of 12?
False
Let y = -14 + 24. Is y a multiple of 5?
True
Let a = -207 + 395. Does 15 divide a?
False
Suppose -2*f + f = -85. Suppose 4*q + f = 5*u, 2*u = 5*q + 23 + 28. Is 13 a factor of u?
True
Suppose -z + 24 = 5*w - 14, -3*w = -5*z - 6. Let j = 1 + w. Is 8 a factor of j?
True
Does 3 divide 3 - 1 - (-76)/4?
True
Suppose -z + 1 = h, 0*z - 4*z = -2*h + 14. Suppose 4*k = h + 9. Is k a multiple of 3?
True
Let p(k) = k**3 + 9*k**2 + 8*k - 1. Let o be p(-8). Is (-7)/(-3)*(10 + o) a multiple of 20?
False
Suppose 0 = -5*t - m + 6*m + 490, -5*t - 2*m = -504. Is 50 a factor of t?
True
Let t = -1 - -2. Let c(l) = 14*l**3 - 22*l**2 + 22*l - 22. Let m(u) = u**3 - u**2 + u - 1. Let x(h) = -2*c(h) + 44*m(h). Is x(t) a multiple of 7?
False
Let n(r) = 39*r**2 - 5*r + 2. Let c(v) = 20*v**2 - 3*v + 1. Let p(l) = -5*c(l) + 3*n(l). Let o be p(-1). Suppose 130 - o = 4*q. Does 14 divide q?
True
Suppose 0 = 2*s + 3*s - 25. Suppose s*u = -5*a - 10, u + 0*a - 5*a - 10 = 0. Suppose u = -k + 4 - 3, -k = -4*n + 83. Is n a multiple of 12?
False
Let k be -6 - -8 - (4 + 0). Is (k + 3)*15/3 a multiple of 4?
False
Let m be 8/4 - (1 + 1). Let d(k) = 3*k**3 - 5*k**2 + 5*k - 21. Let j(n) = -2*n**3 + 3*n**2 - 3*n + 11. Let t(u) = -3*d(u) - 5*j(u). Does 8 divide t(m)?
True
Is 12 a factor of (-2)/3*(2 - 20)?
True
Suppose 1 = -3*z - 5. Does 12 divide z + (2 - 0) - -41?
False
Let d be 1 + (-2 - (-2 - -2)). Is ((-5 - d) + 2)*-5 a multiple of 3?
False
Suppose -5*l - 17 = s, 7*l = -3*s + 2*l - 1. Is s a multiple of 2?
True
Let o(x) be the third derivative of x**8/20160 + x**7/2