 + 5 = -w. Is 10 a factor of v?
True
Is 6 a factor of (2*-1)/(22/(-253))?
False
Let g = -25 - -66. Suppose 0 = 3*d - 4*w - g + 13, 4*d + w = 12. Is d a multiple of 4?
True
Let z(b) = b**3 - 2*b**2 - 3*b. Let k be z(3). Suppose k = 4*h + 9 - 85. Is 11 a factor of h?
False
Let h(l) = l + 3. Let k(v) = 4*v + 14. Let i(g) = -28*h(g) + 6*k(g). Let m be i(1). Let s = m + 17. Does 11 divide s?
False
Let k(y) = -4 + 1 + 5 - 3*y. Is k(-4) a multiple of 6?
False
Let a(p) = p**3 - 6*p**2 - p + 6. Let c be a(5). Let i = 39 + c. Is i a multiple of 4?
False
Is -60*(-2 + 12/15) a multiple of 24?
True
Let g = 5 + 7. Is g a multiple of 3?
True
Let d(c) = 2*c - 12. Let o be d(6). Suppose o = -5*r - 5*a + 290, 0*r = 2*r - 5*a - 88. Is r a multiple of 9?
True
Suppose 3*o + 235 = -5*g, -188 = 4*g + 4*o - 2*o. Let l = -15 - g. Is 11 a factor of l?
False
Let h(u) = -27*u**3 - u + 1. Let v be h(1). Let o = 60 + v. Does 17 divide o?
False
Let c be 4/(-18) + (-40)/(-18). Suppose -c*z + 10 = 2. Suppose -4*g - 5*o + 49 = 0, -3*o - z + 19 = 0. Is 6 a factor of g?
True
Suppose 48 = -8*q + 12*q. Does 3 divide q?
True
Let d be (2 - 3)*-1 + -3. Does 21 divide (7/d)/((-3)/18)?
True
Let v be 6/(22/4 + -4). Suppose 5*l = -2*b + 60 + 40, 3*l - v*b - 60 = 0. Is l a multiple of 20?
True
Let m(i) = 5*i - 6. Is m(7) a multiple of 29?
True
Let s(h) be the first derivative of 2*h**3/3 - 7*h**2/2 - h - 2. Does 7 divide s(5)?
True
Let m = -5 + 8. Is 11 a factor of (6/m)/(2/22)?
True
Suppose 0*c = 5*c - 105. Is 8 a factor of c?
False
Suppose -4*c = 2*l - 1120, -560 = -2*c - 5*l + 7*l. Does 61 divide c?
False
Let n = 50 + -35. Is n a multiple of 5?
True
Suppose 5*t - 2*g = 3, -g - g - 11 = 3*t. Is 10 a factor of -9 + 51 + t + 1?
False
Let o(u) be the second derivative of -u**4/3 - u**3 - u**2/2 + 4*u. Let w(a) = -a. Let r(x) = -2*o(x) + 10*w(x). Is r(-2) a multiple of 13?
False
Let t(z) = 8*z. Is 22 a factor of t(11)?
True
Suppose 3*g = -t + 7*g + 12, 4*g + 8 = 0. Suppose 0 - 48 = -t*w. Is 4 a factor of w?
True
Let q = 7 + 16. Let c(b) = -b - 2. Let a be c(0). Let t = q - a. Is t a multiple of 10?
False
Let w(s) be the first derivative of 26*s**2 + 3*s + 1. Let p be w(4). Suppose -p + 23 = -4*c. Is 17 a factor of c?
False
Let v(k) = 2*k - 9. Let h be v(6). Let s = h + -6. Is 11 a factor of 41/((-2 - s) + 0)?
False
Suppose 0 = 2*k + 121 - 13. Let v = k + 99. Is 18 a factor of v?
False
Is ((-16)/(-40))/((-1)/(-10)) a multiple of 4?
True
Let m = -14 + 78. Does 16 divide m?
True
Suppose -2*t = -4*t - 4, 5*t - 2 = -4*n. Let y = 9 - 6. Suppose -n*q + 2*o = -38, y*o + 51 = q + 3*q. Is 6 a factor of q?
True
Let r be (2 - -2) + 6/(-1). Let v(a) = -3*a**3 - 4*a**2 - 2*a. Does 5 divide v(r)?
False
Suppose 0 = 5*l - 66 - 29. Is l a multiple of 11?
False
Let o(b) = 2*b**3 - b**2. Let z be o(1). Let v be ((-7)/4)/(z/12). Let q = -12 - v. Is 8 a factor of q?
False
Suppose 0 = -5*s - 5, 2*f - 1 + 2 = -5*s. Suppose -f*p + 5*p - 57 = 0. Is 11 a factor of p?
False
Does 7 divide 1/1 - (61/1)/(-1)?
False
Suppose -2*x + 172 = 4*v, -4*x + 8*x - 3*v - 399 = 0. Let r be (24/(-9))/(4/(-6)). Suppose x + 16 = r*h. Is 14 a factor of h?
True
Let u(i) = -i**3 + i + 50. Suppose -3*b - 20 = -b - 4*g, -g + 5 = -4*b. Let t be u(b). Suppose 0 = 5*s + 5*h - t, 3*s - 40 = -s - h. Is s a multiple of 6?
False
Suppose -20 = 4*z - 4*k, 0 + 3 = z - 5*k. Let i = z + 5. Let t = 13 - i. Does 15 divide t?
True
Let y(g) = -181*g + 1. Let h be y(-1). Let c = h - 122. Is 11 a factor of c?
False
Let m = 8 + -1. Is 2 a factor of m?
False
Suppose 3*n = -2*n + 135. Suppose -p + n = -0*p. Is p a multiple of 27?
True
Suppose 4*i - 36 = 5*q, q = -5*i - 3*q + 86. Does 9 divide i?
False
Suppose f + 4 = 2*f. Suppose 0 = -4*k, o - f*o + 3*k = 0. Suppose -2*i + 6 + 0 = o. Is i even?
False
Suppose -2*i - 40 = -w, 1 = -3*i - 2. Does 19 divide w?
True
Is ((-4)/(-8))/((-2)/(-56)) a multiple of 14?
True
Let i(w) = -w**2 - 4*w + 1. Let c be i(-5). Let t(f) be the first derivative of -3*f**2 + 2*f + 1. Does 12 divide t(c)?
False
Let t be (-2)/(-3) + 469/21. Let k = -7 + t. Suppose k + 30 = 2*f. Is f a multiple of 18?
False
Let c be (3/1)/((-3)/(-2)). Suppose -6 = 3*u - c*b, b = 3*u - 4*b - 3. Is 36/u*(-1 + -2) a multiple of 13?
False
Let y(p) = 2*p**2 + 4*p - 1. Suppose 2*a - 5*a = 12. Is y(a) a multiple of 11?
False
Let b(i) = -5*i - 1. Let a(u) = -9*u - 1. Let f(w) = -6*a(w) + 11*b(w). Let n be f(-5). Suppose 16 = 4*z - n*z. Does 4 divide z?
True
Let d = 64 - 42. Let a = d - 11. Is 3 a factor of a?
False
Let p(k) = -k**3 + 7*k**2 + 5*k + 9. Does 11 divide p(7)?
True
Suppose 5*z - 42 - 98 = 0. Does 7 divide z?
True
Let n = -6 + 5. Let w(y) = -40*y**3 - y**2 - y - 1. Does 16 divide w(n)?
False
Suppose 0 = -b + 2 + 143. Suppose -4*c - o = -2*o - b, -5*o = 4*c - 163. Is c a multiple of 9?
False
Suppose 5*m - 251 = 204. Does 39 divide m?
False
Suppose 3*a - 7 + 1 = 0. Let y = 2 - a. Suppose 5*q = -4*r + 19, -8 = -r - y*q + 2*q. Is 3 a factor of r?
True
Suppose 13 = -2*g + 81. Is 9 a factor of g?
False
Let i(c) = -3*c - 1. Let f = 6 - 7. Let a be i(f). Is 76/8 + (-1)/a a multiple of 4?
False
Suppose 5*n = -2*i + 36, 3*i - 33 = 2*n - 6*n. Let u(x) = -x**3 + 6*x**2 + 5*x - 1. Does 15 divide u(n)?
False
Let q(n) = n**2 + 4*n - 5. Is 9 a factor of q(-8)?
True
Is 2 a factor of (-76)/(-8) + (-3)/2?
True
Let z(a) = a**2 - 11*a + 7. Let s be z(10). Does 21 divide 2/3 - 154/s?
False
Let t(k) = -k**3 + 4*k**2 - 4*k - 1. Let h be t(3). Let l be 8/(-32) + 119/h. Does 16 divide (6/(-9))/(1/l)?
False
Suppose -5*w + 0*w - 150 = 0. Let j = w - -14. Let y = j - -37. Does 21 divide y?
True
Let l(g) = -12*g - 10. Is 14 a factor of l(-4)?
False
Is -32*(7/(-2) - 4) a multiple of 9?
False
Let c(a) = -7*a**2 + a. Let o be c(1). Does 20 divide 58 - 0 - (o - -5)?
False
Let k = -11 - -13. Suppose -3*i = -k - 19. Does 3 divide i?
False
Suppose -2 = -5*y - 4*m + 2, 2*y - 5*m - 28 = 0. Suppose 1 + 31 = -y*u. Let f(i) = i**2 + 3*i - 6. Is 17 a factor of f(u)?
True
Let m = 3 + -13. Let a = 4 - m. Is a a multiple of 10?
False
Let b be (1*53)/(20/20). Let k(p) = 2*p**3 + 3*p**2 + 2*p + 1. Let i be k(-2). Let x = i + b. Is x a multiple of 16?
False
Let z(q) = q - q + 2 - 10*q. Is 11 a factor of z(-3)?
False
Let g(f) = 5*f - 27. Does 3 divide g(11)?
False
Suppose 3*y + 6 + 0 = 0. Let l be (-454)/(-6) - y/(-3). Suppose -45 = -3*t - 4*s - s, 5*t + s = l. Does 13 divide t?
False
Suppose 11 = 2*r - 5*x, 0 = -4*r - x - 6 - 5. Let z(o) be the first derivative of -o**4/2 + 2*o**3/3 + 3*o**2/2 + 2*o - 6. Does 10 divide z(r)?
True
Suppose 0 = -z - 4, -x + 0*x + 113 = -4*z. Does 14 divide x?
False
Is (-1 + 2)*2 - (-80 - 2) a multiple of 21?
True
Is 13 a factor of (-6447)/(-84) - (-3)/(-8)*2?
False
Suppose x + x - 168 = 0. Is 6 a factor of x?
True
Suppose 8*l + k = 4*l - 98, -5*k - 10 = 0. Let o = l - -104. Is o a multiple of 21?
False
Let r = -9 + 12. Suppose 0 = -n - r*f + 18, -4 + 1 = -n + 2*f. Is n a multiple of 9?
True
Let g(c) = -3*c + 11. Let a(z) = z. Let m(w) = 4*a(w) + g(w). Is m(-4) even?
False
Let p = 3 + -3. Suppose k - 2*u + 22 = p, -u = 3*k - k + 69. Let c = k - -54. Is 11 a factor of c?
True
Let z(y) = y**3 + 5*y**2 - 2*y - 2. Let j be z(-4). Suppose -10 = 4*d - j, 5*b + 3*d = 19. Suppose -b = 2*w, -w + 39 = l + 4*w. Is l a multiple of 14?
False
Is 33 a factor of ((-18)/5)/(6/(-100))?
False
Let g be (0 - 1 - 24)*1. Let s = g + 47. Is 22 a factor of s?
True
Suppose 0 = -2*c + 18 + 10. Suppose -o - 2*s + 19 = 0, 2*s - c = 3*o - 47. Is o a multiple of 13?
True
Let p = 133 + 138. Is 16 a factor of p?
False
Let m be (0 + 12/3)*1. Suppose m = -w - 3*w, 0 = -2*x - 4*w + 6. Does 4 divide x?
False
Let o(k) = 1 + 37*k + 0*k - 5*k. Let g = 0 - -1. Is o(g) a multiple of 22?
False
Let y = -10 + 20. Let h = 0 - y. Is 15 a factor of ((-232)/10)/(4/h)?
False
Suppose -5*j + 43 = -7. Is 9 a factor of j?
False
Suppose -2*f - 2*i + 82 = -0*i, -4*f = -3*i - 157. Is f a multiple of 22?
False
Let i(f) be the second derivative of -f**7/840 + 7*f**6/360 - f**5/24 - f**4/12 - f**3/2 + 3*f. Let t(d) be the second derivative of i(d). Does 16 divide t(4)?
False
Let b(f) = -f**2 + 4*f + 4. Let r be b(4). Let z(w) = w**3 - 4*w**2 + 2. Let d be z(r). Suppose x - 18 = -y, -d*y - x + 75 = 2*y. Is y a multiple of 7?
Fal