p + 155. Is w a multiple of 16?
True
Let u be (-15)/(-6)*8/5. Suppose 0 = -z + u*z. Let m = z - -4. Is 3 a factor of m?
False
Let c(z) = -z**3 + 15*z**2 + 18*z - 5. Does 9 divide c(16)?
True
Let w(s) = s**3 - 15*s**2 - 29*s + 5. Does 15 divide w(17)?
True
Let f = -132 - -145. Is f a multiple of 4?
False
Suppose 0*b = -4*b + 60. Suppose -b = 3*a - 75. Does 6 divide a?
False
Suppose -5*b + 105 = -135. Suppose -4*f = 20, -4*j + 0*f = 4*f - b. Is j a multiple of 17?
True
Suppose 2*x + 4*a - 20 = 6*a, 2*a - 50 = -3*x. Does 5 divide x?
False
Let c(u) = -u**3 + 13*u**2 - 6*u + 2. Does 68 divide c(9)?
True
Suppose -3 = -2*q + 7, -q - 10 = -5*g. Suppose -13 - g = -2*h. Is 5 a factor of h?
False
Let a(d) = d**2 + 6*d + 7. Let w be a(-9). Suppose w = i + 7. Is i a multiple of 7?
False
Let o(c) = -c**2 - 5*c. Let u be o(-7). Does 12 divide (-12)/u*(4 + 66)?
True
Suppose -2*l - 3*l = -200. Suppose 0 = -2*g + r + l, 3*r - 2*r - 48 = -2*g. Is 16 a factor of g?
False
Let p be (-1 - (-15)/6)*14. Is (p/(-6))/(3/(-6)) a multiple of 3?
False
Suppose -8*x = -4*x + 652. Let k = -103 - x. Is k a multiple of 30?
True
Let v(u) = 4*u**2 - 5*u + 5. Let y be v(4). Let z = y - 35. Is z a multiple of 14?
True
Let z = 183 + -132. Is z a multiple of 17?
True
Let o = 18 - 15. Suppose -b - 210 = -3*g + b, 0 = 4*g + o*b - 297. Is g a multiple of 18?
True
Let o be -1 - (-1 - 1 - 9). Suppose -5*m + o*m = 70. Is 5 a factor of m?
False
Let o(v) = -v**3 + 6*v**2 + 2*v - 4. Let u be -12*(-2)/4 + -1. Let d be o(u). Suppose -5*j + d = -4*a + 7*a, 4*j - 30 = -5*a. Does 2 divide a?
True
Suppose -2 = -2*s + 8. Suppose -s*r - 3*u + 132 = -48, -2*r = -2*u - 72. Does 16 divide r?
False
Let w be -9*(-3)/3 - 4. Let m(q) = q**3 - 3*q**2 - q - 3. Is 14 a factor of m(w)?
True
Suppose -4*x + 76 = -0*x. Suppose x + 13 = 4*o. Let n(f) = 6*f - 8. Does 17 divide n(o)?
False
Let b be (-1)/((14/24)/(-7)). Suppose -b = -3*m - 0. Suppose m*g - 66 = -2*u, 4 = -g + u + 19. Is g a multiple of 16?
True
Suppose -2*p + 5*b + 190 = 0, b = -4*p + 3*b + 380. Is p a multiple of 46?
False
Suppose -3*o + 3*a + 96 = 0, 66 = 3*o - o - 3*a. Let u = o - 2. Is 14 a factor of u?
True
Let b = 6 - 4. Let q be -2 + 1 + (2 - 1). Suppose q = -b*o - s + 39, -4*o - s + 75 = -2*s. Is o a multiple of 10?
False
Suppose 5*b = b - 12. Is b + -4*(-11)/2 a multiple of 9?
False
Let q = -9 + -1. Let d = 18 + q. Does 3 divide d?
False
Suppose 13*f = 8*f + 155. Is f a multiple of 9?
False
Let x = 176 - 125. Let s = x - 11. Does 20 divide s?
True
Suppose -17 = -t - a, -t = -2*t - 4*a + 32. Is t a multiple of 5?
False
Is -7 + 7 - (-18 - 0) a multiple of 10?
False
Suppose 2 = -0*c - c. Does 12 divide c/(-2) + -3 + 26?
True
Let s = 77 - -3. Suppose -3*x + x + 30 = -v, -4*x - 3*v + s = 0. Is 13 a factor of x?
False
Let h(x) = x - 16. Let b be h(10). Let j be 4/b + 28/6. Suppose 0 = -4*u + 2*o + 110, 2*o + 43 = -j*u + 141. Is 13 a factor of u?
True
Let w = 371 - 137. Is w a multiple of 39?
True
Does 4 divide 52/20 + 4/10 - -18?
False
Let j(h) = h**2 + 8*h + 9. Let i be j(-9). Let f be (-3 + 1 - -2)/(-1). Suppose f*g + g - i = 0. Is 12 a factor of g?
False
Let u be ((-14)/(-5))/((-1)/(-5)). Suppose -2*i + u = -0*i. Suppose 0 = 4*v - i*v + 24. Is v a multiple of 6?
False
Suppose -143 = -5*j + 667. Suppose -t = 2*t - j. Is t a multiple of 18?
True
Let r = -8 - -18. Let x = 35 - r. Is 24 a factor of x?
False
Suppose 0*l = -l + 13. Is l a multiple of 13?
True
Let b = 4 + -4. Let z be (1 - -19)*(b - -1). Is 8/z - (-156)/10 a multiple of 8?
True
Let w(n) = 11*n**3 + 2*n**2 - 1. Let s be w(-1). Does 9 divide (3 + -2)*0 - s?
False
Let b = 52 - 28. Is b a multiple of 12?
True
Is 54/(-15)*20/(-3) a multiple of 6?
True
Let p(n) = n**3 + 10*n**2 - 15*n + 19. Is 23 a factor of p(-11)?
False
Let h(u) = -u**3 + 8*u**2 + 6*u - 6. Does 17 divide h(7)?
True
Let u(k) = -k - 4. Let d be u(8). Let b = d - -22. Does 10 divide b?
True
Let l be ((-2)/6)/(1/3). Let i be l - (2/(-1) - -1). Suppose -z + 7 + 7 = i. Is z a multiple of 7?
True
Let i(h) = h**2 - 3*h + 2. Let y be i(3). Suppose y*b + 35 = f, -b - 64 = -2*f - 3*b. Does 13 divide f?
False
Suppose 0 = 2*f - 60 - 6. Does 8 divide f?
False
Let p = -4 - -4. Let f(b) = 8 - 6 - b + p*b. Is 3 a factor of f(-8)?
False
Let r(p) = p**3 - 10*p**2 - 2*p - 10. Let n(b) = 3*b**2 + b + 3. Let x(a) = -7*n(a) - 2*r(a). Is 16 a factor of x(-2)?
False
Let w be (-1)/(-2) + (-34)/4. Let q = 11 + w. Is q a multiple of 2?
False
Suppose 43*d - 930 = 37*d. Does 8 divide d?
False
Let v be (0 - (-3)/(-9))*-12. Suppose -v*m = -5*k - 51, -2*k + 12 = 3*m + 3*k. Suppose 5*h = 3*n + 6, 0*n - 4*n + m = -h. Is h even?
False
Suppose -2*w = -0*w. Suppose 3*n - 5*n + 36 = w. Is 11 a factor of n?
False
Is 8 a factor of (-518)/(-8) - 9/(-36)?
False
Let h(i) = 3 - 3 - 4 - 10*i + 5. Does 18 divide h(-3)?
False
Suppose 3*k + 1 = 7. Suppose 6*m - 8 = k*m + 4*n, -m - n = 2. Suppose m = -d + 12. Is 6 a factor of d?
True
Let k(o) = -o**2 + 15*o - 9. Is k(13) a multiple of 8?
False
Suppose -8*h + 232 = -4*h. Does 14 divide h?
False
Let h be 7/4 - 9/12. Let z(d) = 59*d**3 - d**2 + d - 1. Is 20 a factor of z(h)?
False
Let h be 2*(-1)/2*0. Does 4 divide (h + -1)/(2/(-24))?
True
Let u(t) = -2*t - 11. Let f(a) = 5*a + 32. Let c(z) = 4*f(z) + 11*u(z). Does 19 divide c(-6)?
True
Let r(o) = o**2 + 4*o - 1. Let u be r(-5). Let g be (-16)/u*(-3)/(-2). Let a(h) = h**3 + 8*h**2 + 7*h - 6. Does 11 divide a(g)?
False
Is 4 a factor of 19/(1/3*(-4 - -7))?
False
Suppose -9*g + 11*g - 30 = 0. Is g a multiple of 5?
True
Let o(u) = 2*u**3 + 13*u**2 - 13*u - 17. Let c(b) = b**3 + 7*b**2 - 7*b - 9. Let g(k) = -11*c(k) + 6*o(k). Is g(3) a multiple of 12?
False
Suppose 5*u = 4*w + 3*u - 16, -u + 4 = w. Suppose -y = -67 - 3. Suppose 3*h + 2*h = -4*j + 114, -2*j + w*h = -y. Is 11 a factor of j?
False
Let n(u) = 7*u**3 - u**2 - 8*u. Let h(q) = 6*q**3 - 7*q - 1. Let y(b) = -6*h(b) + 5*n(b). Let s = -16 - -10. Is y(s) a multiple of 15?
True
Let t = 0 - 0. Let p be -1*(4 + -11) + -3. Suppose t = -5*h - 3*l + 153, 0 = -3*h - h + p*l + 116. Is h a multiple of 12?
False
Let u be ((-12)/18)/(2/12). Let f = u + 9. Let a = -3 + f. Is a even?
True
Let r(s) = s**3 + 7*s**2 + 7*s + 5. Let k be r(-6). Let n = k + 8. Is n a multiple of 5?
False
Suppose -2*y + 3*y - 120 = 0. Is y a multiple of 20?
True
Suppose 5*d + 2*l - 16 = 15, l = -d + 8. Is d a multiple of 4?
False
Let x(i) = 2*i - 7. Let t be x(2). Suppose 0*k - 5*k - 25 = 0. Is (-17)/t - k/15 a multiple of 6?
True
Let f be ((-2)/6)/((-11)/264). Let u(i) = i + 7. Is u(f) a multiple of 15?
True
Let s be (0 + (-1)/(-3))*15. Let r(v) = -3*v**2 + 35*v - 10. Let m(a) = -a**2 + 12*a - 3. Let n(f) = -11*m(f) + 4*r(f). Does 3 divide n(s)?
False
Let o(v) = v**3 + 4*v**2 - 2*v - 48. Let s(n) = -2*n**3 - 9*n**2 + 5*n + 96. Let x(m) = -7*o(m) - 3*s(m). Is 24 a factor of x(0)?
True
Does 19 divide 8 + -4 - (-444)/3?
True
Suppose 0*b - 10 = -2*b, 28 = 2*y + 4*b. Does 4 divide 5 - -6*2/y?
True
Let d = 35 - -41. Suppose 2*y = 2*n - d, 6*n = -5*y + 3*n - 174. Let p = -18 - y. Is p a multiple of 9?
True
Let t = 7 + -3. Suppose 7*v - 18 = t*v. Is v a multiple of 6?
True
Suppose 5*s = 214 + 106. Suppose 4*q + 5*j - 2*j = 68, -s = -4*q - 4*j. Does 12 divide q?
False
Suppose 3*b - 14 = q, 4 = 3*q + q. Suppose -b*x = 28 - 203. Does 12 divide x?
False
Suppose 2*n - n + 2*v = 5, 5*n - 5*v - 40 = 0. Let z = n - 23. Does 9 divide (-18)/4*z/6?
False
Let w be (-4)/(-6) + 424/(-6). Let z = w - -110. Is z a multiple of 14?
False
Let o(m) = 16*m**2 + m. Let a be o(4). Suppose -5*y + 10 = 2*k - 102, y = -4*k + a. Suppose -3*r + k - 6 = 0. Does 10 divide r?
True
Suppose -w - 932 = -4*v, 0*w + w = 4. Let o = -136 + v. Suppose a + 4 = 4*f + 11, -2*f - o = -4*a. Is a a multiple of 10?
False
Suppose 5*u - u = 8. Suppose -u*t = -t - 26. Is 13 a factor of t?
True
Is (2 + (-40)/12 + 1)*-30 a multiple of 7?
False
Let n = -114 + 303. Is 7 a factor of n?
True
Let r(i) = 10*i + 2. Is r(17) a multiple of 43?
True
Let c = -22 - -39. Is c a multiple of 17?
True
Let x(z) = z**2 + 3*z + 5. Let l be x(6). Let r = -39 + l. Does 20 divide r?
True
Suppose 0*m = -5*m + f - 12, -2 = -4*m - 5*f. Let d be (3 - (68 + m))*-1. Suppose 0*z + d = 3*z. Does 7 divide z?
True
Suppose -73 = -5*w + 102. Does