 multiple of 8?
True
Let g = -91 + 168. Is 15 a factor of g?
False
Let v(b) = 4*b**3 + b**2. Let o be v(1). Let i be 28/o + 4/10. Let z = 8 - i. Is z a multiple of 2?
True
Let w(h) = h. Does 9 divide w(9)?
True
Does 4 divide 74/3 - (4/(-12) + 0)?
False
Suppose -2*r + 19 = -0*r - 5*x, -x - 8 = r. Let j(d) be the second derivative of -d**5/20 + d**4/12 + 5*d**3/6 + d**2 - 8*d. Is 10 a factor of j(r)?
False
Suppose -4*o - 4 = -q + 14, 15 = 3*q + o. Is q a multiple of 2?
True
Suppose 0 = -2*o + d + 8, 4*o + d = 8 + 8. Let u(w) = w**2 - 5*w + 6. Let a be u(o). Suppose 0 = a*t - 23 + 7. Is t a multiple of 4?
True
Let w(n) be the second derivative of n**6/180 + n**5/24 - n**4/24 + n**3/6 + 3*n. Let y(o) be the second derivative of w(o). Is 11 a factor of y(-4)?
True
Let v = 9 + 37. Suppose -t + 2 = 0, 2*t = 4*c + 7*t - v. Is c a multiple of 9?
True
Let x = 5 + -14. Is -3*(-3)/(x/(-10)) a multiple of 10?
True
Suppose 3*g = -g. Let y be g/(3/(4 - 1)). Suppose 4*t - t - 33 = y. Is t a multiple of 11?
True
Let o be 1/((5/3)/5). Suppose p = -o*p + 16. Is 2 a factor of p?
True
Let w(f) = 1 + 3*f - f - 22*f - 2*f. Does 15 divide w(-2)?
True
Is 10 a factor of (-3)/((-2)/((-66)/(-9)))?
False
Let v(c) = -11*c + 4. Suppose -4*s = -6*s - 12. Let d be v(s). Suppose 0 = -u + 6*u - d. Does 7 divide u?
True
Let l = -8 + 34. Let k = l + -10. Suppose -52 + k = -a. Does 12 divide a?
True
Let p = -1 - 1. Let s(u) = -5*u**3 - u. Does 22 divide s(p)?
False
Suppose -f = -2 + 5. Let w(j) = -j**2 - 3*j + 4. Let l be w(f). Suppose -l*h = -2*h - 28. Is 5 a factor of h?
False
Let t(w) = -286*w - 7. Does 35 divide t(-1)?
False
Suppose -5*m + 17 = 5*p - 8, -3*m + 18 = 2*p. Does 3 divide m?
False
Let v = -49 + 70. Does 3 divide v?
True
Suppose -4*h + 5 = -3*h. Suppose -3*m + 3*n = -21, -2*m - 25 = h*n - 4. Suppose -m*t = 2*s - 56, -t + 0*s = 4*s - 28. Does 14 divide t?
True
Suppose -b + 21 + 15 = 0. Is 9 a factor of b?
True
Suppose p = -2*i + 71, 5*p - i = 3*i + 411. Is p a multiple of 22?
False
Suppose -4*i + 4*x - 144 = 0, -2*x = -0*i + 4*i + 126. Suppose w + 30 = -3*k, w + 0*k - 3*k + 6 = 0. Let z = w - i. Is z a multiple of 15?
True
Suppose 51 = 7*k - 824. Is 21 a factor of k?
False
Let x(q) = 2*q - q + 2*q + 1. Is x(1) a multiple of 2?
True
Let p(s) = s**3 - 3*s**2 + 2*s + 2. Let u be p(2). Suppose -3*a = u*a - 925. Suppose -v - a = -6*v. Does 24 divide v?
False
Let w(x) = -x**3 + 18*x**2 - 16*x + 4. Let d be w(17). Let p = 5 + -2. Suppose p*m + 3 - d = 0. Does 3 divide m?
True
Let r(p) = -22*p**3 + p**2 + p. Suppose 0 = -4*b - 3*i + 12 + 7, -20 = -4*i. Suppose -6*d + d = -3*j + 17, 3*j - d - b = 0. Is 11 a factor of r(j)?
True
Suppose 0 = -4*d - 9*m + 4*m + 275, -5*d = 4*m - 346. Suppose -5*g - 110 - d = 0. Let u = 52 + g. Does 16 divide u?
True
Suppose 5*w - 80 - 15 = 0. Is w a multiple of 3?
False
Let h(s) = s**2 + 13*s + 20. Is 17 a factor of h(-16)?
True
Suppose -q + 4*f = f - 5, -2*q + 26 = 2*f. Does 2 divide q?
False
Suppose 0*r + 15 = -3*r. Does 7 divide ((-6)/r)/(2/20)?
False
Let h be 0 + -1 - (15 + -1). Let v = h + 28. Is 13 a factor of v?
True
Let m(v) = -v**3 - 11*v**2 - 3*v - 5. Let i be m(-11). Is 6/(-9)*(1 - i) a multiple of 15?
False
Let j(h) = h**2 - 1. Let g(p) = -5*p**2 - 3*p + 11. Let z(v) = -g(v) - 4*j(v). Let b be z(-5). Suppose 0 = -0*a - b*a + 42. Is a a multiple of 5?
False
Let z = -35 - -83. Is 16 a factor of z?
True
Let n(b) = -b**2 + 11*b - 21. Is 5 a factor of n(5)?
False
Let d(i) = 8*i**2 + 16 + 15*i + 0*i**2 - 2*i**2. Let a(q) = 5*q**2 + 14*q + 15. Let r(h) = -5*a(h) + 4*d(h). Does 3 divide r(-8)?
False
Suppose -320 = -0*z - 5*z. Let t = -4 + z. Suppose 2*r + q = 6*r - t, -r - 5*q + 36 = 0. Is 10 a factor of r?
False
Let v(s) = -s. Let n(z) = 9*z - 1. Let u(q) = n(q) + 4*v(q). Is 17 a factor of u(7)?
True
Suppose -4*n - 9 = r + 8, -n = 4. Let t(o) = 87*o**3 + 8*o - 14. Let z(p) = -29*p**3 - 3*p + 5. Let k(y) = -4*t(y) - 11*z(y). Is k(r) a multiple of 13?
False
Suppose -5*a + 10 = 0, -4*o - o + 5*a = -95. Let d = -5 + o. Does 8 divide d?
True
Let o be (2 - (-2)/(-4))*2. Suppose 3*g - 108 = -o*f, -3*g - f + 0*f = -98. Is g a multiple of 10?
False
Does 17 divide 126*((-3)/(-9) + (-7)/(-6))?
False
Suppose -27 = -2*o - o. Is o a multiple of 9?
True
Suppose 3*i = -i. Is 4 + 18 + (i - 0) a multiple of 11?
True
Let m be 0 - ((34 - -1) + -3). Is (-45)/((-4)/(m/(-12))) a multiple of 10?
True
Suppose -a - 9 = -5*v, 5*a + 2*v - 36 = -0*a. Let g = a + 26. Is 16 a factor of g?
True
Let t(x) = x**3 - x**2 + 5*x - 1. Is 21 a factor of t(3)?
False
Let m = 7 - 5. Suppose 0*p + 38 = m*p. Is 19 a factor of p?
True
Suppose -4*m + 15 = -l - 25, 0 = 3*m - 3*l - 39. Is m a multiple of 6?
False
Let x = 52 + -1. Does 21 divide x?
False
Suppose -402 = -5*p - 97. Let u = p + -36. Does 20 divide u?
False
Suppose 0 = j + 5, 2*b + 43 - 253 = -2*j. Is b a multiple of 22?
True
Suppose 10 = 5*v - 3*i, i - 22 = 2*v + 5*i. Let w be 1 + (-9)/((-3)/v). Let q = 15 - w. Is 17 a factor of q?
True
Suppose -2*m + m = -4*k - 4, 0 = 3*m - 3*k - 12. Suppose 0 = -m*o + 39 + 45. Is o a multiple of 10?
False
Let b(t) = t**2 - 1. Let x be b(3). Let i(d) be the first derivative of d**3/3 - 5*d**2/2 + 8*d - 2. Is i(x) a multiple of 16?
True
Let o(y) = y**3 + 6*y**2 - 4*y + 6. Let h(q) = 2*q**2 + q. Let r be h(2). Let z = r - 16. Does 15 divide o(z)?
True
Is (40/(-4))/(0 - 1) even?
True
Is 9/((-4)/((-104)/3)) a multiple of 26?
True
Suppose 0*j + p = -4*j + 14, 26 = 5*j - 3*p. Let h = 3 + -1. Suppose h*n = j*n - 22. Does 6 divide n?
False
Is ((-84)/1)/((1 + 1)/(-2)) a multiple of 42?
True
Let z be (1 - -1) + (-6)/(-6). Suppose z*y - 96 = -y. Is y a multiple of 12?
True
Let m(g) be the third derivative of -3*g**4/8 - g**3/2 - 6*g**2. Is m(-2) a multiple of 5?
True
Let d = 90 - 31. Is d a multiple of 11?
False
Suppose -7*q + 4*q = -237. Let h = q + -48. Let y = h + -19. Is y a multiple of 9?
False
Let g = -41 + 198. Let v = -100 + g. Is 14 a factor of v?
False
Let u = 37 + -6. Does 31 divide u?
True
Let q = 5 + -5. Suppose 0 = 3*g + 3, 0*n - 3*n - g + 38 = q. Is 7 a factor of n?
False
Does 8 divide (-9)/15 + (-219)/(-15)?
False
Let v = -8 - -8. Suppose 28 = 4*z - v*z. Does 6 divide z?
False
Suppose -3*d - 6 = -3. Is (-8 + 35)*d/(-3) a multiple of 3?
True
Is (2 + (-198)/15)/((-1)/5) a multiple of 25?
False
Suppose 3*x - 7*x = -48. Is 6 a factor of x?
True
Let b = 0 + 0. Suppose -2*r + b*r = -10. Suppose -36 = -6*g + 3*g + r*m, 0 = 4*g - m - 65. Is g a multiple of 11?
False
Suppose -4*b = -543 + 131. Let z = b + -40. Is z a multiple of 18?
False
Let c = -105 - -73. Let j = 12 - c. Does 22 divide j?
True
Let n be -55 + 2/(-4)*2. Let r = 82 + n. Let s = 44 - r. Does 12 divide s?
False
Suppose -4*c - 94 = 3*n, 0 = -3*c - c + 20. Let v = -14 - n. Does 8 divide v?
True
Let q(p) = p**3 - 21*p**2 + 27*p + 22. Is 27 a factor of q(20)?
True
Let m = -253 - -376. Does 12 divide m?
False
Suppose 39 = 4*a - 3*a. Suppose 27 = 2*p - a. Does 15 divide p?
False
Let m = -2 + 6. Suppose -39 - 81 = -m*v. Is 10 a factor of v?
True
Let s(a) = -a**3 + 4*a**2 - 2*a - 2. Let p = -7 + 11. Let y be s(p). Let q = 18 + y. Does 8 divide q?
True
Let l be (4/10)/(4/20). Suppose l*k + 0*k = 30. Is k a multiple of 13?
False
Let i(k) = 21*k + 3. Suppose -4*q - 24 = 2*u, 4*q - 2*q + 8 = u. Let s be i(u). Is 1/2 + s/(-2) a multiple of 17?
False
Let h(t) = -t - 3. Let k be h(-3). Suppose k*b + 4*b = 232. Suppose v + 15 = b. Does 22 divide v?
False
Let x be (-3 - -6) + (-1)/(-1). Suppose -23*l = -19*l - 8. Suppose 0 = -u + 5, x*o - l*u = o + 5. Does 2 divide o?
False
Let g be -3 - (9/(-3) + 2). Let c(d) = -27*d - 1. Is c(g) a multiple of 20?
False
Suppose -5*u + 3*u = -8. Let g(s) = 8*s + 4. Is g(u) a multiple of 6?
True
Let x(c) be the first derivative of -c**4/4 - 2*c**3/3 - c**2 - 2*c + 2. Let t be x(-2). Suppose 3*w + 30 = 3*q - 6, -w + 33 = t*q. Is q a multiple of 7?
False
Suppose l = 6 + 7. Is l a multiple of 11?
False
Let w = 105 - 57. Suppose 8 = 5*m - 3*u - 20, -5*m = u - 24. Suppose 2*x + w = m*x. Does 8 divide x?
True
Suppose 2*u - 7 = -x, -u - 1 = -4*x - 0*x. Suppose 23 = k + u*z, -4*k + 7*z - 2*z + 58 = 0. Suppose 1 = h - k. Is h a multiple of 17?
False
Let u = 40 + -12. Suppose 4*v - 24 = u. Is v a multiple of 13?
True
Su