ultiple of 8?
True
Let x(c) = -2*c**3 + 25*c**2 - 26*c + 12. Let h(d) = -d**3 + 13*d**2 - 13*d + 6. Let r(g) = 5*h(g) - 3*x(g). Does 16 divide r(9)?
False
Let m = 22 + -33. Let u = 23 + m. Is u a multiple of 6?
True
Let g(d) = -9*d - 44. Is 5 a factor of g(-6)?
True
Suppose -3*s - 136 = s. Let q = -64 - s. Is 3 a factor of (-2)/10 + (-216)/q?
False
Let y(f) = f**3 + 17*f**2 - f + 13. Is 6 a factor of y(-17)?
True
Let h(s) = 21*s + 2. Let a(t) = -85*t - 7. Let f(y) = -2*a(y) - 9*h(y). Is 20 a factor of f(-3)?
False
Suppose -3*n + 45 = 2*x, 2*n - 31 = -3*x - 6. Let o = n - -1. Is o a multiple of 7?
False
Suppose -3*c - f + 26 = 0, -1 = 2*f + 1. Let j be (c/2)/((-6)/8). Does 27 divide j/5*(-55)/2?
False
Let p = -23 - -29. Is p a multiple of 6?
True
Is 19 a factor of ((-342)/(-12))/(9/12)?
True
Let x(w) = 32*w - 5. Let o be x(-5). Is 26 a factor of -4*(-2 - o/(-12))?
False
Suppose 6*z - 35 = 11*z. Let i(c) = -c**3 - c**2. Let u(f) = -f**3 + 5*f**2 - 5*f + 4. Let l(m) = -2*i(m) + u(m). Is 13 a factor of l(z)?
True
Suppose -2*v + y + 35 = -0*v, -30 = -v + 3*y. Is v a multiple of 5?
True
Let i(k) = 20*k + 16. Let d(c) = -7*c - 5. Let j(h) = 8*d(h) + 3*i(h). Suppose -3*y + 3 = -15. Does 22 divide j(y)?
False
Let s(v) = 67*v**2 + v + 1. Is s(1) a multiple of 7?
False
Let f(h) be the second derivative of h**3/3 + h**2 + 3*h. Let m be f(4). Is m/(-8)*20/(-5) a multiple of 2?
False
Let f be 70/40 - 1/(-4). Suppose f*z = -3 + 17. Is 7 a factor of z?
True
Let h be 664/10 - (-10)/(-25). Let n = h + -34. Is n a multiple of 10?
False
Let h = 22 + 24. Is h a multiple of 27?
False
Let o be (-1)/2 + (-22)/(-4). Suppose 2*f + 2*t = 20, -5*f + 14 + 26 = -o*t. Is 66/f - (-1)/(-3) a multiple of 4?
False
Let p(y) = 51*y + 1. Let r be p(-1). Let l = 92 + r. Let n = l + -24. Is n a multiple of 9?
True
Let i be 5*-2*(-1)/(-2). Let f = i + 18. Is f a multiple of 13?
True
Suppose -3*t + 94 = 4*z - 84, -z - t = -44. Let i = -1 - -4. Is 10 a factor of (-9)/(-6)*z/i?
False
Let q be 766/14 + (78/(-21) - -4). Let c(d) = -3*d + 1. Let t be c(-1). Suppose m + t*m - q = 0. Is m a multiple of 5?
False
Let l be (-8)/(-28) + 74/(-14). Does 11 divide (-3)/5 - 58/l?
True
Let h(u) = u + 7 - 6*u + 2*u. Let m be h(-6). Suppose 4*i = 2*d - 7*d + 95, 0 = 2*i - 5*d - m. Does 20 divide i?
True
Is (-344)/12*-3 - 0 a multiple of 25?
False
Let o = 11 - 3. Suppose -5*s = -s - o. Is s even?
True
Suppose 16 = 2*c - 68. Does 14 divide c?
True
Suppose -3*r = -5*i - 4*r + 278, 0 = -i - 4*r + 48. Is i a multiple of 9?
False
Let j(r) = 53*r**2 - r. Let i be j(1). Suppose 3*x = -x - i. Let s = x - -21. Does 4 divide s?
True
Let r(h) = -h**3 - 3*h**2 - h + 1. Let y be r(-3). Suppose -y*q + 4 = 16. Let c = q - -20. Is c a multiple of 6?
False
Let o = 0 - -46. Is ((-5)/(5/o))/(-2) a multiple of 4?
False
Let x(u) = -u**2 + 8*u + 3. Let n be x(8). Suppose -2*c - 5*d + 14 = -0*c, 0 = -n*c - d + 8. Suppose -c*l + 14 = 2. Is l a multiple of 3?
True
Let l(f) = -f - 2*f + 0*f**3 - 2*f**3 - 5*f**2 - 3. Let c be l(-3). Does 14 divide 1*5*c/5?
False
Let z(i) = i**2 - 9*i - 2. Let t be (77/(-2))/(-7)*2. Is z(t) a multiple of 9?
False
Let r = 17 + -25. Let p be r*2/(4/(-3)). Suppose -2*i + 58 - p = -3*g, -g + 132 = 5*i. Is 17 a factor of i?
False
Is 2310/24 + (2 - (-9)/(-4)) a multiple of 16?
True
Suppose -3*f + 2*l + 51 = 0, 0 = f + 4*f + 5*l - 85. Does 6 divide f?
False
Let i be (-8)/4 + 82/1. Let v = 9 - 6. Suppose -v*u + i = 2*u. Is u a multiple of 8?
True
Let o(u) = -u - 5. Let b be o(-9). Suppose h + b*s - 41 = 0, 0 = 5*h + s - 5*s - 229. Does 15 divide h?
True
Suppose 0 = 4*y + 4*p - 20, -p = 5*y - 40 - 5. Suppose -5*i - v = -y, -2*v + 1 = 11. Suppose -i*m = -19 - 26. Is m a multiple of 13?
False
Let t(j) = 4*j - 2. Let v be t(-6). Let l = v + 53. Is l a multiple of 7?
False
Suppose 1 = -2*z + z. Let p be (2 - (5 - -2))*z. Suppose 2*k - 13 = -5*h + 5*k, 3*h = -k + p. Does 2 divide h?
True
Suppose 5*z = -4*f + 58, z - 5*f + 0*f - 29 = 0. Is 14 a factor of z?
True
Suppose m = 2*m. Let p be (4 - (1 + m)) + 1. Is 831/33 - p/22 a multiple of 12?
False
Suppose 0 = 3*c + 2*c. Suppose -2*o - i = -56, 2*o + 4*i + 0*i - 68 = c. Is 13 a factor of o?
True
Suppose -4*o + 8*o - 132 = 0. Is 3 a factor of o?
True
Let b = 13 - 12. Let a = b + 3. Does 4 divide a?
True
Let d be (4/8)/((-1)/(-28)). Suppose -3*r - 2*r = -b - d, 0 = 4*r - b - 11. Suppose -2*s - 4*h + 48 = 4, 0 = -5*s + r*h + 71. Is s a multiple of 8?
True
Let i = 61 + -85. Does 27 divide (27/2)/((-6)/i)?
True
Suppose 0 = -2*y - 105 + 659. Does 22 divide y?
False
Is 218/11 - (-9 + 582/66) a multiple of 5?
True
Suppose -m + u = -3*m + 101, 0 = -4*u - 20. Is 5 a factor of m?
False
Let o(i) = 2*i**2 + 2*i - 1. Let p be o(-2). Suppose -39 - 45 = -p*a. Is a a multiple of 11?
False
Suppose -9*v + 6*v = -63. Does 10 divide v?
False
Suppose 5*r = -5*a + 75, -32 = -0*r - 2*r - 4*a. Let w = r - 4. Is 5 a factor of w?
True
Let v = -92 - -185. Is 7 a factor of v?
False
Let m be 4 + 1*(-3 + 1). Suppose -l = -0*l - 5*p - 31, -3*p = m*l - 36. Is 14 a factor of l?
False
Let w(b) = -b**2 - 8*b + 3. Let t be -8 - 0/(6/(-2)). Let d be w(t). Suppose a - 2*j - 24 = 0, 0*a - d*j = 5*a - 172. Does 16 divide a?
True
Is 5 a factor of (-440)/(-25) + (-3)/5?
False
Let i = 0 + 5. Suppose 3*m = 4*h + 153, 2*h + 3*h - 255 = -i*m. Does 25 divide m?
False
Let n(t) = -t**2 - t + 3. Let z be n(-6). Is 10 a factor of z/(-1*3/2)?
False
Suppose 5*b - 133 = 602. Is b a multiple of 12?
False
Let z = 236 - 60. Does 11 divide z?
True
Is 2 a factor of 8/(-16)*44/(-2)?
False
Let o = -7 - -7. Let t(x) = x - 6. Let h be t(o). Does 21 divide (-69 + 0)*2/h?
False
Suppose -12*x + 5*x + 714 = 0. Is x a multiple of 17?
True
Suppose -5*g = 5*r + 129 - 574, 5*r - 5*g - 415 = 0. Let p = r + -61. Let k = p + -3. Does 22 divide k?
True
Suppose 0 = -4*q + 4*k + 36, 4*k = -q + 4*q - 32. Suppose 0*x - 120 = -q*u + 4*x, -4*x = -3*u + 86. Is u a multiple of 8?
False
Let c be 0/(3 + -1) + 6. Let n(r) = -r - 6. Let d be n(c). Is ((-248)/d)/((-4)/(-6)) a multiple of 14?
False
Suppose 9 - 39 = 3*l. Let f be (-13)/5 + 4/l. Is (1/f)/(4/(-156)) a multiple of 10?
False
Let q = 3 + 29. Does 11 divide q?
False
Suppose -f = -4*f + 3. Is 10 - -15 - (0 + f) a multiple of 10?
False
Suppose 3*v - 48 = 15. Let w = v - 5. Does 8 divide w?
True
Suppose -3*k - k = 4*a - 52, -k + 3 = 3*a. Is k a multiple of 9?
True
Let u be (-3 + -10 + -3)/(-1). Suppose 3*r = -4*b + u, 0 = 5*b - 0*b - 5. Let m = 33 - r. Is m a multiple of 12?
False
Suppose -4*u = 8, -2*u = 2*q - 0*u + 20. Let k(a) = -a**2 - 7*a + 8. Let h be k(q). Suppose 0 = 5*c - h*c - 20. Is c a multiple of 4?
True
Suppose 2*v - 4*v + 216 = 0. Is v a multiple of 36?
True
Let h(q) = q**2 + 10*q - 7. Let r be h(-11). Suppose -3*b + 8 = -2*y - 0, -r*y = 2*b - 16. Is y a multiple of 2?
True
Let l(d) = d**3 - 6*d**2 + d + 6. Let g be l(6). Let q be 1/((-3)/g) + 2. Is q + (-40)/(-2) + 0 a multiple of 13?
False
Suppose 0 = -4*i - z + 263, 2*z = 4*i - 2*i - 134. Is i a multiple of 16?
False
Suppose -5*l - 3*t + 4*t = -39, 0 = l + t - 3. Suppose b = -r + 5, -5*b + 3*r + 22 = l*r. Does 13 divide ((-1)/2)/(b/(-104))?
True
Suppose 3*u - u - 58 = -2*q, 2*u = 2*q + 50. Let p be ((-10)/6)/(-5)*u. Let k = 11 + p. Does 10 divide k?
True
Let n = 11 + -6. Suppose 13 = -n*v - 7, -74 = -2*m - 4*v. Is m a multiple of 15?
True
Suppose -2*w = 2*w - 28. Suppose -2*z + 21 = w. Is z a multiple of 3?
False
Suppose -9 = 2*a + 3*n, 22 = -4*a - 5*n + 5. Let l be (-4)/(-5)*(a + -2). Is 10/l*18/(-5) a multiple of 9?
True
Let i = 380 + -265. Let w be i/(-5) + 2/(-2). Let n = w + 48. Is 12 a factor of n?
True
Let x(z) = -3*z**3 + 6*z**2 + 2*z - 5. Let w(i) = -7*i**3 + 12*i**2 + 4*i - 11. Let d(g) = -2*w(g) + 5*x(g). Let f = -4 - -10. Does 9 divide d(f)?
True
Let k(c) = -c**2 - 6*c + 3. Let o be k(-6). Let a be 37*(o*-1)/3. Let x = 64 + a. Is x a multiple of 9?
True
Suppose -2*f - 6 = -2*u, 0*f - 9 = u + 3*f. Suppose w - 5*w + 16 = u. Does 2 divide w?
True
Suppose 0 = 2*c - 7*c + 440. Suppose 0*w + 4*w - c = 5*v, -3*v = 3*w - 39. Is 8 a factor of w?
False
Does 11 divide (2/(-5))/(14/(-4620))?
True
Suppose 3*f - 80 = -g + 5*f, -360 = -4*g - 2*f. Let j be (-9)/(-15) + g/20. Suppose -2*k = 3*d - 72, -7*k + 2*k + j*d = -130. Do