b be z(-6). Let m = 3 + b. Does 6 divide m?
True
Is 4 a factor of -2*(0 - -1) + 21 + 0?
False
Let r = 31 + -26. Is r a multiple of 2?
False
Does 5 divide (-56)/6*(-216)/84?
False
Let b(h) = h**3 + 9*h**2 + 7*h - 5. Let t be b(-7). Suppose -4*m + t = -4*n + 8*n, -5*m + 3*n + 23 = 0. Is m a multiple of 2?
False
Let c = -5 - -5. Suppose -5*f + 48 = a, 177 = 5*a + 4*f - c*f. Is 11 a factor of a?
True
Let c be (-3*2)/(6/4). Let o = -6 + c. Does 11 divide -1 - -2 - o/1?
True
Suppose z + 2*z - 417 = 0. Suppose 0 = 5*v - z + 14. Is 9 a factor of v?
False
Let j be 1/(-3) + (-176)/(-24). Suppose 5*k - j*s - 144 = -3*s, 0 = 5*k + s - 139. Does 7 divide k?
True
Let g(c) = 64*c**2 - 2*c + 1. Let q be g(1). Let x = 25 - 62. Let r = x + q. Is r a multiple of 12?
False
Let q = -33 - -59. Is q a multiple of 5?
False
Let x(t) = t**2 - 5*t + 2. Let w be x(4). Let l = w + 0. Does 13 divide ((-2)/2)/(l/38)?
False
Let f(h) = -2*h - 7. Let w be f(-6). Suppose 5*o - 61 = -5*c + 94, -167 = -w*c + o. Is 12 a factor of c?
False
Suppose -2*t + 3*o = t - 24, -4*t = o - 32. Let h be 3/(2/t*3). Suppose 0 = w - 3*w - 4*m + 68, w - 4*m = h. Is 8 a factor of w?
True
Suppose 0 = -5*g + 2*g + 18. Is g a multiple of 4?
False
Let x(k) = 3*k**3 - 6*k**2 + 7*k - 8. Is 19 a factor of x(4)?
False
Suppose x - 10 = -x - 3*w, w = -3*x + 15. Suppose -x*k - 7 = 3, 3*a - 52 = -k. Suppose -42 = -2*c - 4*l, c + l - a = 5. Does 10 divide c?
False
Suppose -3*g + 2*b + 45 = -b, -b - 25 = -2*g. Let a = g - 5. Does 5 divide a?
True
Let d be 2 - (-2 + (-10 - 4)). Suppose d - 82 = -2*y. Is y a multiple of 16?
True
Let t be 336/(-18)*(-12)/1. Suppose -r + 5*r = t. Does 28 divide r?
True
Let v = 9 + -11. Is v*1*9/(-2) a multiple of 4?
False
Let j = -23 - -29. Is j even?
True
Let h(p) = 4*p**2 - 7*p + 3. Does 21 divide h(6)?
True
Does 32 divide 1 + (0 - -77) + 3?
False
Suppose -49 = 7*s - 8*s. Is 9 a factor of s?
False
Let x = -3 - -4. Does 16 divide (-110)/(-6) + x/(-3)?
False
Let m(y) = y**3 + 12*y**2 + 11*y - 6. Is 21 a factor of m(-10)?
True
Let f be 8*(-4)/(-8)*-7. Let k = -16 - f. Is 12 a factor of k?
True
Let k be (-2)/5 - 928/(-20). Let n = k - -25. Is 30 a factor of n?
False
Let a(c) = -c**3 + 8*c**2 - 6*c - 2. Let x be a(7). Let t(j) = 8*j - 3 + 3*j + 4*j - x*j. Is t(2) a multiple of 11?
False
Let c(t) be the second derivative of 5*t**4/6 + 2*t**3/3 + 3*t**2/2 - t. Let g(k) = k**2 - 7*k + 8. Let z be g(5). Does 14 divide c(z)?
False
Suppose 12 = -4*a, 2*q + 3*a = -0*q + 107. Is 10 a factor of q?
False
Let o be -3 - (-1 - -1)/2. Let r be 1*0/o - -5. Suppose -b - 18 = -4*u - r, -u + 5 = 0. Is 7 a factor of b?
True
Let t(z) = -8*z - 16. Is t(-8) a multiple of 8?
True
Suppose -y = -0*y. Suppose -n - 5*a = -22, y = 3*n + a + 2 + 2. Is 17 a factor of -5*(54/n)/2?
False
Suppose -2*s + 65 = 5*p, -4*p - p + 145 = 4*s. Is (s - 0) + (6 - 4) a multiple of 14?
True
Is 2/(((-9)/300)/((-18)/16)) a multiple of 14?
False
Let i(b) = 4*b**3 - 4*b**2 + 7*b - 6. Let f be i(4). Suppose -f = -5*h - d - d, -3*h - 5*d = -136. Is h a multiple of 17?
False
Let y = 1 + 1. Suppose 2*j + 7*p - 26 = y*p, -5*p = 4*j - 32. Suppose j*x + 7 = 76. Is x a multiple of 8?
False
Suppose -20 = k - 6*k. Is k a multiple of 3?
False
Suppose -4*h = 4*b - 40, 10 - 4 = 3*b - 3*h. Suppose -2*g + 0 = -b. Suppose -g*v = -4*x + 32, 3*v + v = 0. Does 3 divide x?
False
Suppose 3*w = 5*v + 20, -3*v - v = -5*w + 16. Suppose n - j - 2 = -w*n, -2*j = 2. Let x(g) = 17*g**3 - 2*g**2 + 1. Does 13 divide x(n)?
False
Let q = 279 - 191. Is q a multiple of 31?
False
Let x(q) = 13*q**2 + 10*q + 3. Is x(-4) a multiple of 10?
False
Let z(d) be the first derivative of -d**4/4 + 8*d**3/3 - 5*d**2 + 6*d - 6. Is 5 a factor of z(6)?
False
Suppose -5*q = -5*c + 35, -3*c - 4*q = -34 - 15. Let h = 7 - c. Is 3 a factor of 6/h - 11/(-2)?
False
Let u(s) = 3*s**2 - s. Let o be u(-1). Suppose -o*p + 84 = -0*p. Does 8 divide p?
False
Suppose 0 = -4*g + 98 + 2. Is g a multiple of 5?
True
Is (-668)/(-14) - (-10)/35 a multiple of 16?
True
Let c be ((-4)/(-4))/(1/45). Let g be (4/6)/(10/c). Suppose -g*j + 120 = j. Does 22 divide j?
False
Suppose 4*q + 4*x = 600, -2*q - 6*x + x + 306 = 0. Is q a multiple of 8?
False
Let u(q) = -q**3 + 6*q**2 + q - 7. Let r be u(6). Let d be ((-2)/4)/(r/(-46)). Is (d + 4)*1/(-1) a multiple of 14?
False
Suppose -20 = 5*t, 0*t = -2*h - 4*t + 68. Is 21 a factor of h?
True
Suppose 0 = d + 3*j - 30, 3*d - 4*j = 7*d - 80. Suppose -5*h = 4*p - 114, -p - 5*h + 51 = d. Does 13 divide (p/6)/((-1)/(-9))?
True
Suppose 11*n - 1126 - 579 = 0. Does 23 divide n?
False
Let h = -366 + 558. Suppose -2*m = -3*k - 43 - 43, 4*m - h = k. Suppose c = -2*c - r + 27, 5*c + 3*r = m. Does 8 divide c?
True
Let n(d) = -d. Suppose 5*s + 43 = -2*q, -q + 5 = -s + 2. Does 3 divide n(s)?
False
Let l(a) = -a + 19. Does 5 divide l(9)?
True
Let t be (-3 - -3)*1 - -1. Let s(n) = 24*n. Does 12 divide s(t)?
True
Let v be (0 - 0)/(2 - 4). Suppose v = -5*o + 4*q + 231, -3*q + 0*q + 97 = 2*o. Let c = -18 + o. Is c a multiple of 12?
False
Is 9/(-6)*620/(-15) a multiple of 22?
False
Let x(o) be the third derivative of o**5/60 - 7*o**4/24 - o**3/6 - 5*o**2. Let u(h) = h**3 - h**2 - 3*h - 1. Let d be u(3). Is 7 a factor of x(d)?
True
Let q(j) = -j**2 + 18*j - 16. Suppose 0 = 2*y + 5*c - 19, y = -3*y + 2*c + 50. Is q(y) a multiple of 17?
False
Let h = 13 - -4. Suppose 5*l - h = 3. Is 4 a factor of 63/(-6)*l/(-6)?
False
Is 13/((-234)/1968)*3/(-2) a multiple of 14?
False
Let m be (-2)/9 + (-418)/(-99). Suppose -v - 27 = -m*k + 3*k, -3*k + 81 = v. Is 27 a factor of k?
True
Let d(u) = 2*u. Let g(y) be the third derivative of -y**4/8 - y**3/6 - 3*y**2. Let w be g(-2). Is d(w) a multiple of 10?
True
Suppose 0 = w + 2*w - 4*q - 35, -5*w + 30 = -q. Suppose 2*f = -7*x + 4*x + 145, -4*f + 285 = w*x. Is 20 a factor of f?
False
Is 12 a factor of (-3)/(-2)*(-400)/(-30)?
False
Let w be 6/(-4) + 90/(-4). Let a = w - -46. Is a a multiple of 11?
True
Let d = -23 - -20. Is (d - -1 - -2) + 9 a multiple of 4?
False
Let z = 25 + -8. Suppose -o = -21 - z. Is 19 a factor of o?
True
Suppose y + 4*b = 6, 5*y = -2*b - 4 + 52. Is y a multiple of 5?
True
Suppose 0 = -a - 2*a + 33. Does 11 divide a?
True
Let s = -10 - -11. Does 4 divide s/3*(-3 + 39)?
True
Suppose 0 = -4*f - 0*f + 80. Suppose 5*c - 45 = -f. Suppose -g + c*q - 5 = -6*g, g = q + 7. Is g a multiple of 4?
True
Let n = 5 - 8. Let r be 4 + (-1)/3*n. Let i(a) = -a**2 + 7*a - 4. Is i(r) a multiple of 6?
True
Let n be (-2 + 0)/((-1)/2). Suppose 0 = -n*b + f + f - 120, 132 = -4*b + 5*f. Let p = -9 - b. Is 13 a factor of p?
False
Let z = 172 + -70. Is 20 a factor of z?
False
Suppose -51 = -3*m + 3*y, -2*m + 2*y + 52 = 6*y. Does 5 divide m?
True
Let d(s) = -s**2 + 6*s + 22. Let c(b) = b + 1. Let v(g) = 4*c(g) - d(g). Is 31 a factor of v(-8)?
True
Let n(p) = 6*p + 15. Let u(o) = 6*o + 14. Let c(t) = -5*n(t) + 6*u(t). Does 9 divide c(4)?
False
Let d = -101 - -186. Does 17 divide d?
True
Let g be (-446)/(-4) - 7/(-14). Suppose -g = -3*a - a. Is 10 a factor of a?
False
Suppose -5*s - 1100 = 5*b - 10*b, -b - 890 = 4*s. Is s/(-7) + 2/7 a multiple of 32?
True
Suppose 63 - 3 = 2*v. Is v a multiple of 10?
True
Let n(c) be the second derivative of 3*c**3/2 + 17*c**2/2 - 9*c. Is n(7) a multiple of 16?
True
Suppose s + 15 = -5*n, -2*s + 4*n + 12 = -0*s. Suppose -k + 3*k - 142 = s. Let p = 107 - k. Is p a multiple of 13?
False
Suppose 4*j - 2*a = -5*a - 184, 4*a = -j - 59. Let d = -93 - j. Is (d/(-15))/(2/21) a multiple of 18?
False
Suppose 4*x + 1 - 17 = 0. Suppose -5*d + 20 = 2*p, -2*d = -x*d. Is 10 a factor of p?
True
Let d = 15 + -15. Suppose 0 = -j + y - d*y + 74, j - 3*y - 84 = 0. Does 23 divide j?
True
Let a = 49 + -29. Suppose a = -4*p + 5*p. Is p a multiple of 10?
True
Let w be -4*(-15)/18*3. Is 3 a factor of (-2 - (3 + -8)) + w?
False
Let h(y) = 7*y**2 + 4*y. Let z be h(-3). Suppose -3*m + 5*i + z = 0, m - 4*i - 13 = 11. Is 4 a factor of m?
True
Is 1484/20 + (-2)/10 a multiple of 22?
False
Suppose i - 3*b = 201, -2*i - 3*i - 5*b + 945 = 0. Suppose 0 = -4*f + 2*f + i. Suppose -f = -p - 3*p. Is p a multiple of 13?
False
Let t = 8 - 6. Is t/5 - 159/(-15) a multiple of 11?
True
Let l = -7 - -13. Does 4 divide 40/(-15)*l/(-4)?
True
Let i be (0 + 120)*(-4)/(-6). Suppose