f (w - -1)*-1 + 8?
False
Is 4 a factor of -3 + 8 + (-3 - -6)*1?
True
Let w(q) = 2*q + 5. Let h(o) = 2*o + 6. Let j(n) = -2*h(n) + 3*w(n). Let p = -4 + 7. Is j(p) a multiple of 6?
False
Suppose -84 = -3*o + 57. Is 12 a factor of o?
False
Let j = -7 + 7. Suppose j = -z + 3*x + 2, 12 + 20 = z + 3*x. Does 17 divide z?
True
Suppose 0 = 14*d - 8*d - 540. Is 15 a factor of d?
True
Let m(b) = -2*b - 1. Let z(c) = -c**2 - 9*c - 10. Let t be z(-8). Is m(t) even?
False
Suppose -5*h + 46 = 3*b - 43, 0 = b + 2. Let q = -11 + h. Is 8 a factor of q?
True
Let c(t) = -2*t**2 + 10*t - 3. Let y be c(9). Let v = 115 + y. Suppose 0 = -a - 5*o + 8, 5*a = 4*o - 5*o + v. Does 3 divide a?
False
Suppose -10 = 7*a - 8*a. Is 10 a factor of a?
True
Let y(o) = o**3 + 9*o**2 + 8*o + 11. Let u be y(-8). Let n be 2/3*(-5 + u). Let w(h) = 3*h + 2. Does 5 divide w(n)?
False
Suppose -3*m - m = -672. Suppose 4*h = -0*h + m. Is h a multiple of 14?
True
Suppose 3*c - 4*b = c + 16, 0 = -3*b + 3. Suppose 3*v - 2*v + 4*a - 2 = 0, -4*a = -v + 2. Suppose 5*n = c, 0 = v*x + 2*x + 5*n - 126. Is 14 a factor of x?
False
Let p(u) = 2*u - 16. Let w be p(-11). Let o = 9 + w. Let r = o - -55. Is r a multiple of 13?
True
Let n = 212 - 115. Does 24 divide n?
False
Let u(v) = 241*v**3 - v. Suppose -y + 0*y - 9 = -4*a, -25 = 5*y. Let n be u(a). Is 16 a factor of (-6)/(-15)*n/3?
True
Suppose 0 = 8*p - 6*p - 458. Is 8 a factor of p?
False
Suppose y + 5*k = 170, 2*y + 2*k = 3*y - 191. Suppose 6*s - s - y = 0. Is 24 a factor of s?
False
Let b(a) be the third derivative of -a**4/24 - 2*a**2. Let n be b(-5). Let x = 8 + n. Is 13 a factor of x?
True
Suppose 4*d = -0*d - 4*r + 1488, 1488 = 4*d - 2*r. Is 45 a factor of d?
False
Let z(c) = -c**3 - 3*c**2 + 3*c + 2. Let x be z(-4). Suppose 0 = 2*i - x*i. Suppose 0 = 2*k - i - 34. Does 14 divide k?
False
Suppose 4*s = 2*q, 2*q + s + 27 = 7*q. Suppose -h + 0*h + q = 0. Let y(f) = -f**2 + 7*f + 4. Does 5 divide y(h)?
True
Let n(f) be the first derivative of -2*f**3/3 + f**2/2 - f + 3. Let z(q) be the first derivative of n(q). Is z(-5) a multiple of 12?
False
Suppose -20 = -q + 4*g - 3, 4*g + 7 = -q. Let f = 16 + q. Suppose 0*z - 5*z + 33 = 4*n, 0 = -3*n - 3*z + f. Is n even?
True
Let i(q) = q + 4. Let h be i(-2). Suppose -1 = -0*n - n - 4*x, -h*n + x = -38. Suppose 3*c - 65 + n = 0. Does 10 divide c?
False
Suppose 3*m + 19 = -5*l, 5*l = 4*m - 0*l + 2. Let x(b) = -3*b - 4. Let g be x(m). Let u = g + 12. Does 6 divide u?
False
Suppose 3*v = 259 - 103. Let d be (1 - 5)*v/(-16). Suppose -149 = -4*x - d. Is x a multiple of 17?
True
Let g be (6 + (0 - 1))*-1. Let c(a) = 2*a**2 + 7*a. Is c(g) a multiple of 14?
False
Let d(a) = a**2 + 6*a + 2. Let m be d(-7). Suppose 2*b - m - 19 = 0. Is b a multiple of 14?
True
Suppose y = -t + 1, 2*t + 0*t + 4*y = -6. Suppose t*h - 34 = 4*h. Is h a multiple of 17?
True
Suppose 2*f - 6 = 3*n - 2, 5*n - 5 = f. Let a be (24/20)/(n/260). Suppose 4*v = -0 + a. Is 16 a factor of v?
False
Is 22 a factor of 0 + 0/(-5) + 44?
True
Let r(s) = s**2 - 6*s + 2. Let k be r(6). Let t(j) = j**2 - 9*j + 11. Let i be t(8). Suppose -m - 41 = -i*c + 3*m, 4*m = -k*c + 54. Does 9 divide c?
False
Let q = -4 - -6. Suppose -5*s + q*s = 15. Does 15 divide (15/4)/(s/(-20))?
True
Let j = -167 + 356. Is j a multiple of 28?
False
Suppose 8*s = 9*s + 3. Does 16 divide (0 - s)/(9/165)?
False
Suppose 3*i - n = 128, 0*i + 68 = 2*i - 5*n. Does 26 divide i?
False
Let u(g) = 3*g - 3. Does 12 divide u(13)?
True
Let h(r) = r**3 - 9*r**2 + 8*r + 1. Let j be h(8). Let a be (-2 + 8)/2 - j. Is ((-4)/a)/(3/(-15)) a multiple of 5?
True
Suppose 3*w - 5*i = 14, 2*w - 2 - 3 = -i. Let m be (-2)/(-6) - (-26)/w. Does 16 divide (-48)/(-10)*30/m?
True
Let f = 119 + -72. Is f a multiple of 7?
False
Let v = -8 + 8. Suppose v*f = -2*f + 80. Is f a multiple of 8?
True
Let t be (-1820)/(-12) - 2/(-6). Suppose 4*r + 3*w - 16 = t, r + 5*w - 59 = 0. Does 13 divide r?
True
Let r(h) = h**2 + 9*h + 10. Let g(t) = 2*t. Let y be g(-4). Let q be r(y). Suppose 3*d + q*a = -2*a + 49, -3*d - 2*a + 41 = 0. Is d a multiple of 11?
True
Let u = 142 - 80. Does 21 divide u?
False
Suppose 8 = 4*w - 3*h + 34, -12 = 4*w + 4*h. Let j(n) = -2 - 3*n**2 - n**3 + 4*n - 3 + 0*n**3. Does 10 divide j(w)?
False
Let i(y) = -17*y + 5. Let s(p) = 324*p - 96. Let l(c) = -96*i(c) - 5*s(c). Does 8 divide l(2)?
True
Suppose v - 5 + 1 = 0. Let n(d) = d**3 + 5*d**2 + 5*d - 1. Let f(i) = 3*i**3 + 11*i**2 + 11*i - 2. Let c(m) = 2*f(m) - 5*n(m). Does 5 divide c(v)?
True
Suppose 3*n + 15 = 2*n. Let g = 11 - n. Does 13 divide g?
True
Let i(q) = 11*q**2 + 7*q + 1. Is 39 a factor of i(-4)?
False
Suppose -5*k - 985 = -4*u, -4*u + u + 3*k + 735 = 0. Does 16 divide u?
True
Let y be 4 + (-7)/(1/(-1)). Suppose 0 = -w + y + 26. Is w a multiple of 11?
False
Suppose -25 = -2*d - i, -2*d = -4*i - 1 - 29. Suppose 4*z - 13 = r, 0*r + d = 2*r + 5*z. Is 14 a factor of -2*-19*r/(-2)?
False
Let t = -96 - -184. Is t a multiple of 11?
True
Let t(s) = -s + 30. Let i(x) = -x**2 - 2*x - 1. Let b be i(-3). Let k = 4 + b. Is 15 a factor of t(k)?
True
Suppose q - 4 = -o, 0 = 4*q - 5*o - 0*o - 25. Let d(j) = j + 5. Let g be d(q). Suppose -2*a + a + g = 0. Is a a multiple of 8?
False
Let q = 17 + -8. Suppose -3*t = -0 - q. Suppose 2*m = 5*u - 104 + 24, -t*u = m - 37. Is 9 a factor of u?
False
Let s be 4/6*(-6)/(-2). Suppose -17 = -s*t + 13. Does 7 divide t?
False
Suppose -2*l + 0*l - 156 = -5*r, -15 = 5*l. Is 6 a factor of r?
True
Let y be 4/14 + 1002/21. Is ((-32)/(-12))/(4/y) a multiple of 16?
True
Let i(s) = -2*s**3 - 4*s**2 - 9*s - 10. Let g(c) = c**3 + 3*c**2 + 6*c + 7. Let a(u) = -7*g(u) - 5*i(u). Is 20 a factor of a(3)?
False
Let l = -8 - -14. Suppose -2*s - s + l = 0. Is 2 a factor of s?
True
Suppose -o + 9 = 2*o, -4*o = -2*m - 8. Suppose 71 = 5*y - 2*y - 4*i, -m = -2*i. Is 14 a factor of y?
False
Let n(a) = 3*a - 2. Let t(b) = -4*b. Let q be t(-1). Suppose 0 = -0*d - d - 5*p - 7, q*d = 4*p + 44. Is 11 a factor of n(d)?
True
Let r(h) = -2*h + 5. Let n be 1*(0 + 1 - 4). Let i(q) = -q**3 - 4*q**2 - 3*q - 4. Let k be i(n). Does 5 divide r(k)?
False
Suppose -3*u - u + 3*t = 12, 4*u + 4 = t. Suppose -w - 4*w - 5 = u. Does 22 divide (-22)/(2 + -1)*w?
True
Suppose -3*s = s + 84. Does 6 divide (-279)/s + 2/(-7)?
False
Let u be (6 + -4)/((-4)/(-2)). Let i(q) = -u - 32*q + 1. Is 16 a factor of i(-1)?
True
Let l = 7 - 4. Suppose 0 = -l*k - k + 56. Suppose 4*f - 50 = 2*j - 12, f - k = 5*j. Does 9 divide f?
True
Does 14 divide 1449/27 + (-4)/6?
False
Let o(f) = -7*f**2 + 7*f - 9. Let m(v) = 10*v**2 - 10*v + 13. Let g(w) = 5*m(w) + 7*o(w). Let j be g(0). Suppose j*q - 8 = 10. Is q a multiple of 4?
False
Suppose 4*z - 35 = b + 4*b, -z + 7 = -b. Let n = b + 12. Suppose 2*g = g + n. Is g even?
False
Let x(g) = g - 4. Let l be x(7). Suppose 3*c - 24 = -l*c. Is c even?
True
Let r(v) = v + 6. Suppose -d = 3*d + 16. Let x be r(d). Suppose 6*k = x*k + 68. Does 17 divide k?
True
Suppose -5*c + 4*k + 57 = 0, c - 3*k - 7 = -0*c. Let z = 23 - c. Suppose z = m - u, -3*u = -2*u + 3. Is 7 a factor of m?
True
Is (-202)/(-6) + 16/(-24) a multiple of 11?
True
Let p(d) = -d**2 + d. Let a be p(0). Let f(c) = -2*c**2 + c + 7. Let h(o) = -o**2 + o + 8. Let t(x) = -2*f(x) + 3*h(x). Is 10 a factor of t(a)?
True
Let p = 28 - 0. Is p a multiple of 15?
False
Let w = 144 - 80. Does 14 divide w?
False
Suppose 106 = 4*a - 174. Is a a multiple of 14?
True
Let x(u) = 13*u + 4. Let b(a) = -7*a - 2. Let h(n) = 11*b(n) + 6*x(n). Let p be h(-3). Is (p/(-2))/((-1)/(-56)) a multiple of 15?
False
Does 19 divide 3*10 + -3 + -3?
False
Let g(s) = -2*s + 10. Does 5 divide g(0)?
True
Suppose 4*q + 5*s - 88 = 0, -5*s + 2 - 112 = -5*q. Let h be (-933)/(-11) + 4/q. Suppose -5*l - 3*j - 17 = -h, l - 5*j - 36 = 0. Does 12 divide l?
False
Let a be (-1 + 32)*-1*3. Suppose -2*k + 3*q - 118 + 375 = 0, 0 = -2*q + 6. Let u = a + k. Is 12 a factor of u?
False
Does 3 divide 0 + (4 - 5 - -36)?
False
Let l(u) = 2*u**2 + 16*u + 14. Is 16 a factor of l(-11)?
True
Let o be (-2 - 2/(-1)) + 0. Suppose -3*m + 0*m - 12 = o. Does 13 divide m/(16/(-46))*2?
False
Let f(b) = -b + 3. Suppose -4*x = r - 4*r + 45, 3*x = 2*r - 30. Suppose -y - 1 + 4 = v, 0 = 3*y - 5*v + r. Is 3 a factor of f(y)?
True
Let b be 4/18 + 174/(-54). Is -19*(