+ 8*z = 6. Is z a multiple of 2?
False
Suppose 2*m = 68 + 98. Does 6 divide m?
False
Does 7 divide (602/(-3))/7*1*-3?
False
Let k(w) = w**2 + 3*w + 1. Let s(v) = -v**2 + 4*v + 6. Let g be s(6). Does 13 divide k(g)?
False
Let k(y) = 31*y**2 - 1. Is k(-1) a multiple of 23?
False
Let b = -6 - -1. Let p be -30*b/((-25)/(-8)). Suppose -p = -2*f - 2*f. Is 6 a factor of f?
True
Suppose s + 7 = -4*v + v, -3*s - 5*v - 9 = 0. Let z be ((-414)/8)/(s/8). Is 11 a factor of (-2)/8 + z/(-12)?
False
Let x = 87 + 4. Is x a multiple of 13?
True
Suppose 10*i = 5*i + 15. Let s(y) = -9*y + 3*y - 4*y - i. Is 13 a factor of s(-2)?
False
Let f(z) = -4*z + 14. Is 10 a factor of f(-6)?
False
Let h(p) = -2*p**3 + p**2 - 2*p + 1. Does 5 divide h(-2)?
True
Let w be (-1)/(-2) - (-15)/2. Let r be 2/8 + (-74)/w. Is 4 a factor of ((-10)/(-3))/((-3)/r)?
False
Is (-469)/(-14) + (-2)/4 a multiple of 11?
True
Suppose 3*s + 4*x - 2 = 0, s - 4*x + 5 = -5. Let t be (-7 + 5)/(s/4). Suppose 0*z = t*z - 4*w - 20, 75 = 5*z + 5*w. Is 8 a factor of z?
False
Suppose -4*i + 5*i = -150. Let t = i + 276. Suppose -t + 30 = -3*j. Is j a multiple of 11?
False
Let u(p) = -4*p**2 + 7*p + 31. Let c(w) = 3*w**2 - 5*w - 21. Let a(m) = 7*c(m) + 5*u(m). Let n be a(-6). Let z = n - 21. Is 8 a factor of z?
False
Let s(p) = -2*p**2 - 7*p + 5. Let l be s(-6). Let u = -14 - l. Is 11 a factor of u?
True
Let h be (-8*(3 + -4))/2. Suppose -5*i - 83 = -h*s - 405, -i - 5*s = -76. Is 17 a factor of i?
False
Let m(v) = -v**3 - 11*v**2 + v - 18. Does 19 divide m(-12)?
True
Does 12 divide (-121 + 3)*(-1)/2?
False
Suppose 18 - 8 = -t. Does 2 divide (6/t)/(2/(-10))?
False
Does 3 divide 4 + 0 - -7 - 0?
False
Let d = 1 + 59. Is 6 a factor of d?
True
Is (-3 + 1)*(-141)/2 a multiple of 21?
False
Suppose 5*c - 4*q + 3 = 6, 0 = -4*q + 12. Suppose -c*u + 0 + 45 = 0. Does 8 divide u?
False
Suppose -6*x = x - 245. Is 4 a factor of x?
False
Let b = -10 + 17. Let t(z) = z**3 - 8*z**2 + 7*z + 2. Let l be t(b). Is (-5 - -2) + 60/l a multiple of 14?
False
Is 6/4 + -1 + (-119)/(-2) a multiple of 12?
True
Suppose -g + 0*g = -94. Let b = 118 + -47. Suppose 5*y - g = b. Is 11 a factor of y?
True
Suppose 84 = 3*m + 4*m. Is 3 a factor of m?
True
Does 5 divide (-12 - -8)*(0 - 8)?
False
Let q be 4/14 - (-76)/28. Suppose -3*h + 4 = h, 5*x - 22 = q*h. Suppose 0 = x*l + k - 84, -l - 4*k = -5*l + 48. Is 16 a factor of l?
True
Suppose -7*z + 86 = -19. Does 15 divide z?
True
Is 8 a factor of (-1)/(-5) - 711/(-45)?
True
Suppose 4*b + 10 = -2*o, 0*b - 3*b + 5*o = -25. Let h(n) = -n + 28. Let s be h(b). Let l = s + -10. Is l a multiple of 9?
True
Suppose 0 = -7*a + 5*a + 30. Does 15 divide a?
True
Suppose 0 = -0*v - v + 24. Is 12 a factor of v?
True
Let g = 151 + -139. Is 2 a factor of g?
True
Let j be 2*10/4 + -3. Let s be 6*7/j + -3. Is 2 a factor of ((-3)/(-2))/(s/48)?
True
Let o = 0 + 16. Suppose -2*y - b = 3*b - 20, -4*b = -o. Does 16 divide 2/(y + (-31)/16)?
True
Let t(i) = -2*i**2 - 2*i + 2. Suppose -5*q - 7 = 3. Let x be t(q). Does 13 divide 154/8 + x/8?
False
Let m(q) = 223*q**2. Let w be m(1). Let k = 316 - w. Is k a multiple of 31?
True
Suppose -3*t + 33 + 30 = 0. Suppose b = 181 - t. Let n = -113 + b. Does 12 divide n?
False
Suppose q - 31 = 2*c, -3*c - 58 = -2*q - 14. Let x = c - -31. Is 5 a factor of x?
False
Suppose -15 = 3*w, 0 = j - w + 3*w - 2. Is j a multiple of 6?
True
Is (4 - 8/(-2)) + 1 a multiple of 9?
True
Let w(d) = d**3 + 3*d**2 + 2. Let o be w(-3). Let r(p) = 33*p - 4. Let y be r(4). Suppose o*g = -5*l + 64, 0*g = 4*g - 3*l - y. Is g a multiple of 16?
True
Suppose 5*x = -3*y + 16, -x + 32 = 3*x - 4*y. Is (x/(-4))/((-2)/16) a multiple of 10?
True
Let z(t) = -t - 1. Let c(w) = w**2 - 4*w - 2. Let u(h) = c(h) - z(h). Is 2 a factor of u(4)?
False
Suppose -19 = -3*o + 86. Let d = o - 15. Is d a multiple of 8?
False
Suppose 9 = -4*f + 45. Is f - 2*(-9)/(-6) even?
True
Let b(o) = -o**3 - 7*o**2 + 8*o + 3. Let x be (-60)/6 + 1*2. Is b(x) a multiple of 3?
True
Let a(g) = 20*g**2. Let j be a(1). Suppose 2*k + 0*k = j. Is 10 a factor of k?
True
Let j(l) be the third derivative of 41*l**4/24 + l**3/6 - 8*l**2. Is j(1) a multiple of 21?
True
Suppose -3 = 3*p - 9. Let i(b) = p*b + 4*b - 4*b. Does 5 divide i(5)?
True
Let n(j) = -j**3 - 3*j**2 + 1. Let l = -6 - -3. Let r be n(l). Suppose 4*q - 5*f = -2, r = -5*q - f + 13. Is q a multiple of 2?
True
Let m(i) = -i**3 + 4*i**2 + 2*i + 3. Let t(p) = -1. Let z(s) = m(s) + 3*t(s). Let a be z(4). Suppose d - a = 5. Is 13 a factor of d?
True
Let d = 16 - 3. Let o = -2 - d. Is 5 a factor of ((-24)/9 + 2)*o?
True
Let o(n) = -7 + 10 - n + 7. Let k be o(7). Suppose k*f = -f + 28. Does 7 divide f?
True
Let x(l) = -7*l**2 + l - 1. Let p be x(5). Let n = -254 - p. Let f = n + 118. Is f a multiple of 15?
False
Let o be (6 - 0)*150/18. Suppose 2*q - 3*w - 69 = 0, -3*w = -4*q + o + 79. Is q a multiple of 9?
False
Let b(t) = t**2 + 5*t - 15. Is b(5) a multiple of 7?
True
Let p(z) = 10*z - 4. Let y(a) = -29*a + 11. Let l = -15 + 32. Let h(o) = l*p(o) + 6*y(o). Does 6 divide h(-2)?
True
Let s(q) = q**3 + 12*q**2 + 5*q - 5. Let o be s(-11). Suppose -u = -0*u + 4*y - 26, -5*u + 3*y = -o. Is u a multiple of 10?
False
Let g be 2/(1/(-24)*2). Let k be -6*(0 - (-8)/6). Is (-6)/g + (-326)/k a multiple of 24?
False
Suppose 0*s + 58 = 2*s. Let j = s + -20. Is 2 a factor of j?
False
Let a = -11 - -20. Does 3 divide a?
True
Suppose t - 3*d = 38, -5*t + 240 = -8*d + 3*d. Does 17 divide t?
False
Suppose f - 28 - 12 = 0. Is f a multiple of 20?
True
Let h = -41 - -103. Does 4 divide h?
False
Is 2 a factor of 1/4 + (-81)/(-12)?
False
Let g(f) = 11*f**2 + 24*f + 23. Let z(p) = -4*p**2 - 8*p - 8. Let l(o) = -3*g(o) - 8*z(o). Let b be l(-5). Let y = -7 + b. Is y a multiple of 2?
False
Let h(m) = -m**3 - 7*m**2 - 16. Is 21 a factor of h(-10)?
False
Suppose 5*d - 2*i - 694 = 0, -d + 3*i + 76 + 55 = 0. Is d a multiple of 20?
True
Does 13 divide (-1956)/(-30) + 2/(2 - 12)?
True
Let s(f) = -6*f + 9. Let i(d) = -d + 1. Let l(r) = -14*i(r) + 2*s(r). Does 5 divide l(8)?
True
Let x(k) be the first derivative of 3*k**2/2 - k + 4. Is x(8) a multiple of 15?
False
Let z(s) = 20*s**3 + s**2 + s - 1. Let c be z(1). Suppose 27 + c = o. Is 16 a factor of o?
True
Let f(q) = -9*q**3 - 20*q**2 - 3*q - 14. Let c(j) = -5*j**3 - 10*j**2 - j - 7. Let t(x) = 7*c(x) - 4*f(x). Is t(-9) a multiple of 21?
False
Suppose 0 = -4*q + 344 + 96. Suppose -q = 2*a - 7*a - 5*n, 3*a - 70 = -n. Suppose g = 3*w - 44, 0 = -2*w + 2*g + 8 + a. Is 14 a factor of w?
True
Let t(o) = o**3 - 7*o**2 + 5*o + 5. Suppose -3*i + i + 3 = -3*q, -4*i = -4*q - 12. Let j be t(i). Is j/4 - 58/(-8) a multiple of 5?
False
Let o = -2 + 73. Is o a multiple of 25?
False
Let t be (-1)/(-3) + 1/(-3). Suppose -c + 6 + 18 = t. Is 9 a factor of c?
False
Let o(f) = 69*f**2 - f. Is 15 a factor of o(-1)?
False
Suppose -7*x + 3*x - 16 = 0, 4*x = 5*w - 506. Does 31 divide w?
False
Let j = 11 - 6. Let b = -37 + 96. Suppose 21 = j*o - b. Is o a multiple of 16?
True
Suppose -19 = 2*l - 3*k, -3*l - 35 + 8 = -5*k. Let t = 17 + l. Is t even?
False
Let g(d) = -d**3 - 16*d**2 - d - 3. Is g(-16) a multiple of 3?
False
Does 14 divide (0 - 538/(-5)) + 22/55?
False
Let p(t) = t**3 - 5*t**3 + 2 - 10*t**2 + 8*t**2. Let f be p(2). Let i = 54 + f. Does 8 divide i?
True
Let m = 7 + -6. Let p = 6 - m. Suppose -5*r = -2*r + s - 8, -5*s = -p*r. Is r even?
True
Let y = 112 + -33. Suppose 7*x - 2*x - 3*f = -231, -4*x - 190 = -5*f. Let h = x + y. Is h a multiple of 17?
True
Suppose 3*c = 61 + 137. Suppose 4*o = 4*f + 42 + 34, -4*o - f = -c. Is 16 a factor of o?
False
Let q = 139 - 117. Is q a multiple of 11?
True
Let q(h) be the first derivative of 0*h - 3 + 3/2*h**2 + 2/3*h**3. Does 4 divide q(-3)?
False
Let u be 2*25 - (0 + 1). Suppose u = 5*y - 66. Is 19 a factor of y?
False
Let r be 3 - 1 - (17 + -79). Let h(m) = -m**3 + m**2 - m + 2. Let z be h(0). Suppose -z*s + r = 2*s. Does 11 divide s?
False
Suppose 0 = -4*p + 2*m - m + 156, -2*p = -m - 80. Let u = -18 + p. Does 20 divide u?
True
Let k = 1 + -12. Let d = k + 20. Does 2 divide d?
False
Suppose -8 = -4*d - 0. Suppose 5*l = -d*b + b - 98, -4*b + 4*l - 296 = 0. Let h = -49 - b. Is h a multiple of 18?
False
Suppose 0 = -4*l - p - 50, 42 = -l - 2*l - 3*p. Let s = l