n = -v + 23. Is 13 a factor of v?
True
Let u = -2 - 1. Let v be (-13 - -1)/(1/u). Suppose 2*z + 2*f - 52 = 0, -7 - v = -2*z + f. Does 14 divide z?
False
Suppose -3*y = -6*y + 51. Is 16 a factor of y?
False
Let z = 125 - -28. Does 32 divide z?
False
Suppose -2*k = -5*v - 105, -2*v = -3*k + v + 162. Is k a multiple of 16?
False
Suppose 9 + 85 = x - 2*v, -2*x - 3*v + 153 = 0. Does 28 divide x?
True
Let z(u) = -u - 26. Let i(b) = -4*b - 77. Let f(c) = -c - 3. Let h be f(4). Let j(o) = h*z(o) + 2*i(o). Is j(0) a multiple of 14?
True
Let b be 28/16 - (-3)/(-4). Let k(c) = c**3 + c**2 - 6 - 3*c**2 + b - c - 3*c. Does 8 divide k(4)?
False
Suppose -4*o + h + 137 = -146, 3*o - 2*h = 211. Is 13 a factor of o?
False
Let r(l) be the first derivative of -l**5/60 - 5*l**4/12 + 4*l**3/3 - 3*l**2/2 + 3. Let p(k) be the second derivative of r(k). Is 16 a factor of p(-6)?
True
Is (4 - 5) + 4 - 97*-1 a multiple of 25?
True
Let g(x) = -3*x**3 - 11*x**2 + 12*x + 19. Is g(-6) a multiple of 24?
False
Let q = 41 - 29. Does 3 divide q?
True
Let a(i) = i**2 - 5. Let n be 102/(-15) - 3/15. Is a(n) a multiple of 13?
False
Let n = -2 + 2. Suppose -4*o + 43 = -l, -2*o - l - 11 + 28 = n. Let b = -5 + o. Is 5 a factor of b?
True
Let t(j) = 28*j**2 + j + 1. Let a be t(-1). Suppose 2*c - a = -2*c. Let r = c - 4. Does 2 divide r?
False
Suppose 35 = 4*v - 3*i, 3 + 2 = -3*v - 4*i. Suppose 3*h + 2*z = 2, -v*h - 4 = -0*z - 4*z. Suppose -q + 16 = -h. Does 15 divide q?
False
Let r be (-2)/(-3 - (-14)/6). Suppose 0 = -r*t - 2*c + 89, -t - c = -20 - 11. Is 9 a factor of t?
True
Let d be (5/(-10))/(2/(-16)). Suppose d*o + 31 + 77 = -2*q, -o - 4 = 0. Let g = q - -67. Is 20 a factor of g?
False
Does 3 divide 7 - (10/5 + -6)?
False
Let o(i) = i. Does 2 divide o(5)?
False
Suppose -l + 1 = -41. Is 21 a factor of l?
True
Let v be (2/3)/((-2)/(-123)). Let d = v - 18. Suppose 0*q - q = -d. Is 8 a factor of q?
False
Let f = -5 - -8. Let c = f - 7. Let g = 6 + c. Does 2 divide g?
True
Suppose -x + 4 = 0, s - 2*x + x = 50. Does 27 divide s?
True
Let a(z) = 4*z - 7 - 1 + 11. Let b(h) = h**2 - 2*h. Let d be b(4). Is a(d) a multiple of 12?
False
Let w(j) = -2*j - 1. Let u be w(-4). Let z(g) = g**2 - 6*g - 2. Does 2 divide z(u)?
False
Does 3 divide (0 + 72)*(-24)/(-72)?
True
Suppose -3*m + 4*m - 5 = 0. Suppose 0 = -m*a - j + 270, 4*a - 216 = -0*a + 2*j. Is a a multiple of 18?
True
Does 8 divide 1*5/((-5)/2)*-69?
False
Let z = 168 + -254. Is 12 a factor of (0 - 2/4)*z?
False
Let g(c) = c**3 + 7*c**2 + 3*c - 8. Let q be g(-6). Suppose 3*s - 4*s - 2 = 3*o, -5*s = 4*o + q. Does 7 divide (2/s)/(3/(-21))?
True
Suppose 0 = -3*a + 3, -5*u + 84 = 2*a - 78. Suppose -2*i = -2*o - u + 108, -3*o - i + 134 = 0. Is 25 a factor of o?
False
Let g(c) = c**3 + 7*c**2 + 5*c + 4. Let v be g(-6). Let f = -7 - -2. Does 4 divide 116/v - 2/f?
True
Let v(z) = 3*z**3 + 2*z**2 - z - 2. Let j be v(2). Let n be (-6)/8 + 749/j. Suppose n = 5*k - 29. Does 11 divide k?
True
Let a(z) be the third derivative of z**7/840 - z**6/60 + 7*z**5/120 - z**4/24 + z**3/2 + z**2. Let q(s) be the first derivative of a(s). Does 3 divide q(5)?
True
Let l be (-3)/(-12) + 150/8. Suppose 5*d - l = 11. Suppose 0 = -4*o + d*o - 34. Does 17 divide o?
True
Let g(j) = j**3 + 6*j**2 + 3*j + 9. Let p be g(-6). Is (-6)/p + 116/6 a multiple of 10?
True
Let d(g) = g**2 + g + 3. Does 13 divide d(7)?
False
Let b be (-3)/(0 - 1/(-2)). Let l = b - -9. Suppose -3*x + 38 = -3*q - 1, -4*x + l*q = -53. Is 13 a factor of x?
False
Suppose 368 = 5*t - t. Suppose -37 = -2*m - y + 15, -4*m - 5*y + t = 0. Does 14 divide m?
True
Let w = 19 - -6. Suppose w = 4*j - 23. Suppose 5*k - 18 + 6 = n, n = -3*k + j. Is n even?
False
Suppose 8*y - 210 = y. Let z(d) = 2*d**2 - d + 1. Let x be z(1). Suppose 2*g + 3*l - 23 = 28, -4*l = -x*g + y. Does 11 divide g?
False
Let x be 9 + -3 - (2 - 0). Let a be x/(-10) - 324/(-10). Suppose 2*q + 2 = a. Is q a multiple of 8?
False
Let f = -18 - -20. Is 2 a factor of f?
True
Does 5 divide 0 + -3 + 20 + 0?
False
Suppose 0 = 5*l + 2*v - 100, -v + 2*v = -5. Is 22 a factor of l?
True
Let g(a) = -a**2 + 7*a - 6. Let z be g(6). Let u(d) = -d + 6. Is u(z) a multiple of 2?
True
Suppose -3*o + 2*z = -13 - 6, 2*o - 14 = 2*z. Suppose -j + 11 = -o*x, 4*j = -5*x + 12 + 7. Is (-9)/j*(-2 - 0) a multiple of 3?
True
Let k(o) = 20*o - 7. Is 15 a factor of k(6)?
False
Let v = 130 - 75. Is v a multiple of 11?
True
Suppose 4*b - 48 = 7*b. Does 22 divide (-131)/(-2) - 8/b?
True
Let x(k) = -12*k + 3. Let d(n) = 1. Let p(a) = -6*d(a) + 2*x(a). Let f(s) = s**3 - 8*s**2 + 8*s - 8. Let h be f(7). Does 12 divide p(h)?
True
Suppose 4*b = 7*b + 219. Let w = b + 127. Is 18 a factor of w?
True
Let t = 436 + -195. Does 72 divide t?
False
Let f = -74 + 119. Does 22 divide f?
False
Let v(x) = -2*x**3 + 5*x**2 - 6*x - 10. Is v(-4) a multiple of 37?
True
Suppose o - 41 = -x - 2*x, 0 = -o + 3*x + 17. Is 9 a factor of o?
False
Suppose -6 - 3 = -3*w - f, -5*w + 17 = f. Suppose w*x - 46 = -0*x + 3*g, -x + 5*g + 20 = 0. Is x a multiple of 5?
True
Suppose 2*v - 12 = -0. Let z(i) = 5 + i**2 - 5*i + 8 + 1 - 9. Is 3 a factor of z(v)?
False
Let x be 1 + -2 - 36/(-12). Is 2 a factor of x/(-11) + 369/33?
False
Let v = -29 + 55. Suppose -2*z + 46 = -v. Does 18 divide z?
True
Suppose -91 = -d + 22. Is 6 a factor of d?
False
Let s(w) = 14*w**2 + 2*w + 1. Let n be s(-1). Does 10 divide -1 + n + 0 + -2?
True
Suppose t = 2*b, -b + 2*b = 5*t. Suppose t*c + 8 = -c. Let i = 14 + c. Is 6 a factor of i?
True
Suppose 1 = 4*y - 7. Let q be ((-3)/y)/((-6)/8). Suppose -3*p - q*p + 140 = 0. Is p a multiple of 10?
False
Let d = 51 - 30. Is d a multiple of 21?
True
Does 9 divide 15/20*-22*-2?
False
Let r = 126 - 24. Is r a multiple of 6?
True
Let q = 254 + -180. Is 9 a factor of q?
False
Suppose 5*d - 123 = 3*c, 4*d - 24 - 76 = 4*c. Is 2 a factor of d?
True
Let b(m) = -m**3 - 4*m**2 - 4*m. Let n be b(-3). Suppose 7*i - 28 = n*i. Is i a multiple of 7?
True
Let f be (-14 - -6) + (1 - 1). Suppose -23 - 1 = -4*u. Is -2 - 15/u*f a multiple of 9?
True
Suppose 5*z = 3*q - 3, q = -0*z + z + 1. Suppose z = -w - 1, 2*f - 4*f + 3*w = -75. Does 12 divide f?
True
Suppose 2*s + 2230 = 4*z, -z + s = -385 - 170. Is 11 a factor of 1/3 - z/(-21)?
False
Let n be 10/3 + 4/(-12). Suppose o - 42 = -n. Is o a multiple of 16?
False
Let p(g) = g**2 - 8*g - 9. Does 17 divide p(-7)?
False
Let k(b) be the second derivative of b**4/12 - 7*b**3/6 - 3*b**2 + b. Let s be k(7). Let n = 11 + s. Is n a multiple of 3?
False
Let i(g) = 126*g**3 + g**2. Is 12 a factor of i(1)?
False
Let n = -14 - -20. Suppose n*i - 4*i = 36. Is i a multiple of 9?
True
Suppose -75 = -13*r + 627. Does 28 divide r?
False
Let r(o) be the third derivative of -o**6/120 - o**5/15 - o**4/8 + o**3/2 + o**2. Let l be (-1)/(((-2)/(-1))/6). Is 2 a factor of r(l)?
False
Let x(a) = -2*a - 4. Let r be x(-4). Suppose -r*u + 0 = 12. Does 16 divide -3*1 + (-177)/u?
False
Suppose 4*s - 8*s + 28 = 0. Is s a multiple of 7?
True
Let r(p) = p**3 - 5*p**2 - p - 28. Is r(7) a multiple of 2?
False
Let w(y) = y**3 + 10*y**2 - 13*y - 12. Does 5 divide w(-11)?
True
Suppose -5*r + 26 = -4*y, 0 = 2*r - 8*y + 3*y - 24. Suppose -116 = -2*t - r. Is 11 a factor of t?
False
Let q = -21 - -91. Does 14 divide q?
True
Let s be (-15)/35 + 408/21. Does 9 divide (9/(-2))/(s/(-38))?
True
Let i = -4 - -16. Let a(v) = 7*v**2 + 0*v**2 - 5*v**2 + 13*v + i. Is a(-8) a multiple of 18?
True
Let s(j) = -j**3 + 7*j**2 + 8*j + 7. Suppose -24 = -5*t + 2*t. Let q be s(t). Suppose 0 = -4*v - 4*x + 71 - q, -v = 2*x - 20. Is 6 a factor of v?
True
Suppose -2*s + 1 - 3 = 0. Let g = s - -13. Is g a multiple of 5?
False
Is (-129)/(-12) + 2/8 a multiple of 11?
True
Suppose a = -4*l, -l + 4*l = 0. Let u be (1 + a)/(3/180). Let g = -42 + u. Is 8 a factor of g?
False
Does 31 divide -3*2/6 + (1 - -155)?
True
Suppose -40 = 4*t + 80. Let c = -10 - t. Suppose 0 = b + 2*k - 6, k - 18 = -3*b + c. Is b a multiple of 7?
True
Let m = -3 + 2. Let w(z) = 9*z - 3. Let n(a) = 80*a - 28. Let u(g) = 3*n(g) - 28*w(g). Is u(m) a multiple of 5?
False
Let j be 4/22 - (-159)/33. Is 2 a factor of 3 + -1 + -2 + j?
False
Let o(m) = -3*m + 6*m - 4*m - 6. Let d be o(-10). Suppose -5*c + 16 + 4 = 0, d*t - c = 44. Is 6 a factor of t?
True
Suppose -3*g + 3*