Is b a multiple of 6?
False
Let t = 2 - 1. Suppose -w + 5 - t = 0. Suppose -w*g + 17 = -63. Is g a multiple of 8?
False
Suppose -5*y = -2*v + 24, 0 = -v - v + 2*y + 12. Let p be (-1 + v)/1 - -2. Suppose p*z = -z + 92. Does 17 divide z?
False
Suppose -4*x - 25 = -5*v, -v + 2*x - 15 = -4*v. Let o(g) = v*g - 4 + g - 2. Is o(4) a multiple of 9?
True
Let m(k) = k**3 - 8*k**2 - 2*k + 8. Let z be m(8). Does 24 divide (-612)/z - 3/6?
False
Let j be ((-27)/(-18))/(6/16). Let r = j - 30. Is 7 a factor of 4/r - 1416/(-78)?
False
Suppose -4*w + 3*w = -3*i + 48, -3*w = -4*i + 64. Does 8 divide i?
True
Suppose -b - 2 = -0*b. Does 7 divide 8 - (b + 2 + 1)?
True
Suppose -2*w - 16 = -5*w - 5*z, 3*z = 3*w. Suppose -w = d - 6. Suppose 112 = 4*s + d*p, 0 = -3*s - 0*s + p + 96. Is 16 a factor of s?
False
Let u(j) = -j**3 - j**2 + j - 2. Let h be u(-2). Suppose 3*x - 6*x + 93 = h. Is 15 a factor of x?
False
Suppose 315 = 3*i + 3*l, -i - 3*l + 41 + 58 = 0. Does 12 divide i?
True
Let v(k) = 4*k**3 + k**2. Let y be 3/(((-9)/(-6))/1). Is v(y) a multiple of 12?
True
Let j be 0/((3 - -1) + -6). Suppose -i + 6*i - 25 = j. Does 2 divide i?
False
Is 5 + -2 + 5 + 1 a multiple of 3?
True
Suppose -4*d + 16 = -4. Suppose x - 3 - 10 = -k, 25 = 2*x + 3*k. Suppose 36 + x = d*p. Is p a multiple of 10?
True
Let d(k) = k**3 + 7*k**2 - 12*k + 5. Is d(-7) a multiple of 19?
False
Let v = 18 + -1. Suppose -2*g + v = 7. Is 5 a factor of g?
True
Suppose -5*r + 360 = 3*o, 2*r + 3*r - 15 = 0. Is 23 a factor of o?
True
Let w(d) = -3*d + 1. Let z(q) = 16*q - 5. Let t(o) = -11*w(o) - 2*z(o). Let c be t(5). Suppose -4*p = -h - 100 - 71, -c*h = -3*p + 112. Does 22 divide p?
True
Suppose 0 = 4*d - 3*f - 2*f + 25, -d - 1 = 4*f. Let o = d + 7. Suppose o*n - 12 - 4 = 0. Is n a multiple of 4?
True
Let b be 3/(-12) + (-26)/(-8). Let r(g) = g**2 + g + 4. Is r(b) a multiple of 15?
False
Let y = 2 + -1. Let k(a) = -a**2 - 12*a + y - 1 + 3. Does 13 divide k(-9)?
False
Let i be 12/21*(-14)/(-4). Suppose 4*w - 316 = -i*a - 116, -2*w + 2*a + 88 = 0. Does 9 divide w?
False
Suppose -9*u = -234 - 306. Does 30 divide u?
True
Let u(o) = -5*o - 32. Is 3 a factor of u(-17)?
False
Let c be 1/(-1) - (1 - 4). Let x be (-5 - c)*4/2. Is x/4*(-8 + 6) even?
False
Suppose -2*z + 20 = -a, 4*a + 20 = 4*z - 12. Is 12 a factor of z?
True
Let o(d) = 3*d - 6. Let v be o(5). Let w = v + -6. Let f = w + -1. Does 2 divide f?
True
Let h(c) = 3 + 0*c**2 + 2*c**2 - c**2. Is 6 a factor of h(-3)?
True
Let b be ((-25)/20)/((-1)/40). Suppose -b = -2*s + 32. Is 14 a factor of s?
False
Suppose -2*o + 103 = 2*k + o, 0 = 3*k + 4*o - 154. Is k a multiple of 10?
True
Let h be 10 - 3*(3 - 2). Suppose h*a = 4*a + 9. Suppose -a*v + 32 + 43 = 0. Is v a multiple of 9?
False
Suppose -4 - 16 = -5*m. Suppose -m*r = 5*x - 121, -r + x + 44 = 5*x. Is 12 a factor of r?
True
Suppose 2*d = 4*d - 20. Is 6 a factor of (-279)/(-15) - 6/d?
True
Suppose 8*t - 20 = 3*t. Let l be (-1 - 6/t)*-22. Suppose 3*c - l = -2*c. Is c a multiple of 7?
False
Let g = -3 + 12. Is 3 a factor of g?
True
Let v be 4/(8/(-3))*-2. Suppose 0*g - 74 = -4*g + v*y, -2*y - 4 = 0. Does 16 divide g?
False
Let b be 3/2 - 109/(-2). Suppose -2 = -4*x + 2*z + b, -3*x - z = -31. Is x a multiple of 12?
True
Let b(n) = -12*n. Is 6 a factor of b(-1)?
True
Suppose -2 = -5*m + 138. Is m a multiple of 14?
True
Let z(k) = -2*k**3 + 5*k**2 + 6*k + 2. Is z(-3) a multiple of 14?
False
Suppose -4*l + 3*g + 13 = 0, 0*g + 12 = 2*l + 4*g. Let n = 6 - l. Suppose n*p - 27 - 3 = 0. Does 15 divide p?
True
Let c(v) = 2*v - 9. Let j be c(6). Suppose j*h = 4*h - 21. Is 7 a factor of h?
True
Suppose -1 = -5*l + p + 10, -1 = l + 3*p. Let i be (-29)/(-2)*l/1. Does 16 divide -2 + 0 + i + 1?
False
Let f = 167 - 44. Does 9 divide f?
False
Is (((-24)/(-18))/2)/(2/294) a multiple of 18?
False
Let y(c) = -17*c + 4. Is y(-4) a multiple of 24?
True
Suppose -5*t = -2*t + 189. Let k = 118 + t. Suppose -5*j + k = 4*i, 4*j - 2*i - 7 = 37. Is 11 a factor of j?
True
Let c(u) = -u**2 - 20*u - 37. Does 4 divide c(-15)?
False
Is (12/15)/(4/110) a multiple of 11?
True
Does 19 divide (-452)/(-12) + (-1)/(-3)?
True
Let g(p) = -3*p - 14. Is g(-10) a multiple of 16?
True
Let g(t) = t + 10. Let l be g(-10). Suppose 0 = -l*x - 2*x - 2. Does 12 divide ((-57)/3)/(x + 0)?
False
Let h = 43 + -12. Is 7 a factor of h?
False
Let n(g) = 5*g + 3. Let o = -49 + 16. Let b(k) = 81*k + 48. Let i(u) = o*n(u) + 2*b(u). Is i(-4) a multiple of 3?
True
Suppose 3*q = 3, 0 = 3*o + 2*o - 2*q - 28. Let t = 10 + o. Is t a multiple of 10?
False
Suppose -i = x - 53, i - 111 = -i + 3*x. Is i a multiple of 18?
True
Let v = -221 - -314. Is v a multiple of 39?
False
Let u be 3/2*1*8. Let j be (-380)/u + (-1)/3. Let m = -8 - j. Does 11 divide m?
False
Is 0 + -1 + 5 + 108 a multiple of 8?
True
Let m(b) = b**3 + 7*b**2 + b - 5. Does 5 divide m(-6)?
True
Is 51/3 - (-2 + 4) a multiple of 12?
False
Suppose -5*p = 5*n - 235, 3*p - 5*p + n = -109. Is p a multiple of 13?
True
Let o(y) = -4*y - 1. Let m be o(-1). Suppose 5*i + 0 - 30 = 5*g, 0 = -i + m*g + 4. Is 7 a factor of i?
True
Let u(x) = x**3 - 7*x**2 + 5*x + 4. Let w be u(6). Suppose 27 = -2*z - r + 5, -5*r + 22 = -z. Let b = w - z. Is 4 a factor of b?
False
Let h(y) be the second derivative of -5*y**4/24 - y**3/6 + y**2 + 2*y. Let t(o) be the first derivative of h(o). Does 13 divide t(-7)?
False
Let d(j) be the second derivative of -j**3/6 + 7*j**2 + 3*j. Is 7 a factor of d(0)?
True
Does 32 divide 288*(-2)/12*-4?
True
Let x be (-11 - -333)*(-1)/(-2). Suppose -3*s = -4*s + 1. Suppose 5*q - x = -s. Does 16 divide q?
True
Is 38/(-209) + ((-180)/(-22) - 1) a multiple of 7?
True
Suppose 4*k - 2*b - 23 = -5*b, 3*k + 3*b = 21. Let g be ((-1)/1 - -95) + 2. Suppose -3*j + 5*o = -g, 5*j - k*o = -6*o + 160. Does 13 divide j?
False
Let q be 36*(-2 - 24/(-9)). Is 5 a factor of (q/(-10))/((-6)/60)?
False
Let h = 3 + -2. Suppose 3*a + 3 = -3*g, 0 = 2*g - h - 7. Is (18/(-4))/(a/10) a multiple of 6?
False
Suppose h + 2*j = 6*j + 2, 5*h - 32 = -2*j. Suppose n - h*n + 50 = 0. Does 3 divide n?
False
Let l = 7 - 4. Suppose -2*x = -0*x - 3*c - 139, x - l*c - 65 = 0. Suppose -3*m + x = -25. Does 11 divide m?
True
Let w = -12 - -27. Is 3 a factor of w?
True
Let w(q) = 5*q + 41. Is 6 a factor of w(-6)?
False
Let u(p) = 2*p + 7. Let d(b) = -6*b - 20. Let a(x) = -2*d(x) - 7*u(x). Let w(k) = k**3 - 3*k**2 - 3*k + 3. Let c be w(2). Is a(c) a multiple of 3?
False
Suppose 4*z - 104 + 684 = 0. Let x = z - -96. Let a = x - -69. Does 9 divide a?
False
Let s = 6 - 12. Let t be (4/s)/((-2)/24). Let p = 17 - t. Does 9 divide p?
True
Let r be ((-4)/10)/(7/(-630)). Does 26 divide (-2 - 26/(-6))*r?
False
Let b(a) = 5*a**2 + 2*a + 2. Let t be b(-1). Suppose -5*h - 2*v + 16 = -t*v, -5*h + 5*v + 20 = 0. Does 2 divide h?
True
Let s(q) = q**2 - 9*q - 5. Let a be s(10). Suppose 0 = a*d - d + 332. Let n = 139 + d. Does 24 divide n?
False
Let i(s) = -s**2 - 2*s. Let f be i(-2). Suppose 8 + f = h. Suppose 5*j - 16 = -p, 3*j - 2 + h = 2*p. Is 6 a factor of p?
True
Let a = -3 + 5. Let m(k) = -k**2 + 4*k - 3. Let t be m(a). Let l(h) = 13*h + 1. Does 12 divide l(t)?
False
Suppose -6*c = -11*c + 5*v + 30, 2*c = -3*v + 7. Let u = c - -5. Is 5 a factor of u?
True
Let c(b) = -b**2 + 1. Let l(i) = 5*i**2 + 2*i - 7. Let v(d) = 6*c(d) + l(d). Let t be v(1). Suppose t = -4*w + 24 + 8. Does 8 divide w?
True
Let o(v) = 9*v + 27. Is o(9) a multiple of 9?
True
Suppose -2*m - 76 = -4*m - 5*w, 3*w = m - 60. Does 16 divide m?
True
Suppose -w + 2*m + 147 = 0, w - 6*m - 149 = -2*m. Let a = w - 103. Is 14 a factor of a?
True
Suppose 3*x - 281 + 65 = 0. Is 8 a factor of x?
True
Suppose 4*y = -0*y + 36. Suppose 4*d - 98 = 14. Suppose y*k = 11*k - d. Is 7 a factor of k?
True
Let w(o) = o**2 + 10*o + 8. Let g be w(-8). Is (-96)/(-10) + g/(-20) a multiple of 10?
True
Suppose t + n - 4 - 4 = 0, 3*t = -5*n + 34. Suppose 5*c - 48 = -t*f, 3 = 4*f - f. Suppose 3*z + c = 105. Is z a multiple of 12?
False
Let u = 175 - 10. Is 15 a factor of u?
True
Let n(g) = -5*g - 2. Suppose 6*u = 2*u + 12, 0 = k + 5*u - 17. Suppose -11 = k*m - 5*d, 2*m + 3*d + 9 = -2*m. Does 9 divide n(m)?
False
Let i(a) = -15*a + 2. Let g(t) = t**2 - 7*t + 2. Let n be g(6). Let c be n/(-6)*(0 - 3). Does 16 divide i(c)?
True
Suppos