6*g**2 + 6. Is u(s) a multiple of 4?
False
Let i = 11 - 7. Suppose 8*x = i*x + 140. Is x a multiple of 19?
False
Let z = 10 - -14. Does 8 divide z?
True
Let g(j) = -j**2 + 13*j + 20. Is 16 a factor of g(13)?
False
Suppose -3*i + 203 = 4*n, 239 = i + 2*i - 5*n. Is i a multiple of 11?
False
Let s(w) = -w + 1. Let g = -5 - -6. Let l be s(g). Suppose l = -2*v - v + 63. Is v a multiple of 8?
False
Let z be ((-15)/(-9))/(2/18). Let b(k) = -k**3 + 3*k**2 - k + 4. Let q be b(3). Is 0 + (2 - q) + z a multiple of 16?
True
Let y(a) = -a**3 + 2*a**2 + 4*a + 2. Is 10 a factor of y(-2)?
True
Let p = -17 - -6. Let b(s) = -s**3 - 11*s**2 + 7*s. Let w be b(p). Let m = -26 - w. Is 14 a factor of m?
False
Does 3 divide (1 - 44/8)*(-6)/1?
True
Suppose 3*f + 2*t + 4 = 5*f, -5*f + 10 = 2*t. Suppose -f*j = -0*j - 14. Suppose 0 = -2*i + j*i - 180. Is i a multiple of 18?
True
Suppose 2*r - 358 - 338 = 0. Suppose -r = -3*a + 3*c - 0*c, 5*a + 5*c = 530. Is 28 a factor of a?
False
Let l = 71 + -37. Is 8 a factor of l?
False
Let y(k) = -3*k**3 - 7*k**2 + 6*k - 6. Let s(g) = -3*g**3 - 8*g**2 + 7*g - 7. Let x(m) = -6*s(m) + 7*y(m). Let v be x(1). Is 14 a factor of (-8)/(-6)*(-42)/v?
True
Suppose -3*x = -7*x + 116. Is x a multiple of 8?
False
Suppose 40 + 80 = 5*n. Let i = -4 + n. Does 14 divide i?
False
Let d be 15/(-10)*(-2 + -34). Suppose 0*c = 2*c - d. Does 9 divide c?
True
Let x = -46 + 98. Does 13 divide x?
True
Let u(v) = -11*v**3 - 2*v**2 - 2*v - 1. Let r = 3 - 5. Let y = r - -1. Is 6 a factor of u(y)?
False
Suppose 8*l - 4*l - 3*a = 19, 4*l = -3*a - 11. Let m(u) = 4*u**2 + 1. Let w be m(l). Suppose 3*q + 0*q - 2*g - 22 = 0, -4*q = w*g - 37. Is q a multiple of 5?
False
Let y(d) = -d**2 + 10*d + 11. Let h(x) = x. Let k(c) = -2*h(c) - y(c). Let m be k(13). Suppose 3*o + m*o = 95. Is 19 a factor of o?
True
Suppose 900 = -2*x + 7*x. Suppose 5*h = 4*p + x, 8*p - 3*p = -h + 7. Is h a multiple of 11?
False
Let f(t) = t**2 + t - 2 - 3*t + 5*t. Is f(3) a multiple of 4?
True
Let s = -1 + -14. Let m = 79 - 52. Let f = s + m. Is 12 a factor of f?
True
Let a be -1*(0 + -3 + 0). Suppose -5*b = 5*f + 165, 0 = -a*b - 0*f - f - 107. Is 10 a factor of (-4)/6*(b + 7)?
True
Let f be (-4)/6 - 147/9. Let g(n) = 2*n. Let k be g(-4). Let c = k - f. Does 9 divide c?
True
Let l be (-8)/14 - 6328/(-98). Let d = 154 - l. Is d a multiple of 30?
True
Is (6/4)/((-11)/(-418)) a multiple of 19?
True
Suppose -5*b = -457 - 218. Suppose -k - b = -6*k. Is k a multiple of 10?
False
Let y = 102 + 239. Does 14 divide y?
False
Let j = 1 - -5. Let m(b) = -3 + b + 3*b - 1. Is 20 a factor of m(j)?
True
Let w = 150 + -27. Is w a multiple of 13?
False
Suppose g - 56 = -3*g. Is 12 a factor of (-2)/7 - (-508)/g?
True
Let l(j) = -j**2 + 9*j - 10. Let w(v) = v**2 + 4*v - 4. Let c be w(-6). Let t be l(c). Is (30/35)/(t/(-14)) a multiple of 5?
False
Let x(v) = -6 - 4*v - 2*v + 9*v**2 - v**3 + 14. Does 15 divide x(8)?
False
Suppose -2*a + 4 = x - 3*x, 2*x = -a + 8. Suppose -13 = -5*n + x. Is n a multiple of 3?
True
Let j(p) = -p**3 - 4*p**2 + 1. Suppose 3*s - 5 = -2. Let f be 2 + (-3)/s + -4. Does 13 divide j(f)?
True
Let l be (-72)/(-63) + (-2)/14. Is 4 a factor of l - (9/(-3) + 0)?
True
Suppose -31 = -3*o - f, -6*f = -2*o - f - 2. Does 5 divide o?
False
Does 13 divide (3/(-24)*442)/((-2)/8)?
True
Let g = -3 - -8. Is 8 a factor of g/(15/(-4))*-12?
True
Let v be 18/8 + (-1)/4. Suppose -v*l - 50 = -7*l. Is 5 a factor of l?
True
Let a = -14 - -12. Does 15 divide a + (-4)/(-6)*33?
False
Suppose 4*r = -5*d + 62, 3*d - 21 = 2*r + 3. Suppose -d - 23 = -3*i. Is i a multiple of 9?
False
Let m be (-4)/6 - (-440)/12. Suppose -20 - m = -2*s. Is s a multiple of 10?
False
Suppose -38*t - 700 = -45*t. Does 24 divide t?
False
Suppose -3*s - 18 = -234. Is 18 a factor of s?
True
Suppose -y - 33 = a, -4*a = -9 + 1. Is (-155)/y + 9/(-21) a multiple of 3?
False
Let t be (-514)/(-12) - 9/(-54). Suppose 2*b + 0*b = -q + t, 4*q = -2*b + 142. Does 11 divide q?
True
Let k(u) = -u**3 + 6*u**2 - 5*u + 4. Suppose 7 - 19 = -3*m. Is k(m) a multiple of 16?
True
Suppose -78 = 2*u - 2*y, -78 = -u + 3*u - 3*y. Let x = u - -68. Suppose -3*i + 7 = -x. Does 6 divide i?
True
Let i(q) be the third derivative of q**6/24 - q**5/20 + q**4/12 + q**3/6 + 7*q**2. Is i(2) a multiple of 19?
False
Let b be 0*(-3)/(-9)*-1. Suppose b*y = -5*y. Suppose 4*c = -y*c + 84. Does 11 divide c?
False
Let m = 11 + -7. Suppose 3*z - m*h - 19 = 0, 0*z - z = -3*h + 2. Is z a multiple of 13?
True
Let o(t) = t**3 + 6*t**2 + 6*t + 3. Let x be o(-4). Let c = x - 17. Let p(u) = -3*u - 4. Is p(c) a multiple of 7?
True
Suppose -z + 2*p + 30 = 0, 4*p + 0*p = 20. Is z a multiple of 14?
False
Let q = 49 + -31. Let k = -8 - -14. Suppose k = 2*r - q. Is r a multiple of 4?
True
Let l be (-4)/6*(-2 + -1). Suppose -y = l*y - 78. Is 9 a factor of y?
False
Let j = 88 + 0. Is j a multiple of 13?
False
Suppose 4*f + g = 6*g + 105, 5*g = -25. Suppose b - f = -0*b. Is b a multiple of 20?
True
Let u = 2 - 3. Does 18 divide (-37 - u)/((-1)/1)?
True
Let l = 6 + 5. Let j(u) = u - 6. Let q be j(l). Is 5 a factor of (-2 - -3)/(1/q)?
True
Suppose -5*q - 74 = -4*q. Is 12/(-18) + q/(-3) a multiple of 11?
False
Suppose 3*a + 4 = -8. Let t(o) = 4*o + 5 - 5*o - o. Does 9 divide t(a)?
False
Does 24 divide 1/(-4) - (2103/(-12) + 2)?
False
Let g be 2/(-2*1) - -1. Suppose g = -5*p - 5, 28 = -n + 6*n - 3*p. Is 12 + (-5)/(n/2) a multiple of 5?
True
Is 8 a factor of (-1 + (-43)/(-4))/((-9)/(-96))?
True
Is 2 a factor of (1 + 4)/(-10 - -11)?
False
Let f(y) = y**3 + 8 - 5*y**2 - 5*y + y**3 - y**3. Does 10 divide f(6)?
False
Let k = 31 + -29. Suppose -i - k*i = -66. Is 4 a factor of i?
False
Let o(b) = 6*b**2 - 2*b**2 + 5*b + 7 + 3*b**2 + b**3. Is 25 a factor of o(-5)?
False
Suppose -4*a + a + 3*s + 39 = 0, a + 3*s = 29. Let b = a - -3. Is b a multiple of 5?
True
Is 30 a factor of 1/(-2) - 2709/(-18)?
True
Suppose 0 = -6*s + 2*s - 2*j + 30, -5*s + 20 = -j. Suppose 0*n = 3*n - 4*c + 14, -5*c + 35 = s*n. Is 15 a factor of (0 - -37) + 2/n?
False
Suppose g + 48 = -2*g. Let c = g - -35. Is c a multiple of 7?
False
Suppose -3*q = -2*q - 7. Suppose 22 = l - q. Does 27 divide l?
False
Does 13 divide (-1)/1*(-60 + -3)?
False
Let k = -5 + 10. Let u(d) = -d**2 + 8*d - 3. Let m be u(k). Is 4 a factor of (-3 - -2)*(-3 - m)?
False
Let t = -22 + 41. Suppose 5*s + 3*a - 1 = 0, 2*s - t = a + 4*a. Let h(d) = 4*d**3 + 3*d**2 - 3*d. Is 13 a factor of h(s)?
False
Let g be -3*(8/6 + -3). Suppose 112 = g*c + 12. Is 6 a factor of c?
False
Let r(g) = 3*g**2 - 6*g - 3. Suppose l - 3*l - 12 = 0. Let z be r(l). Suppose -p = 2*p + 5*u - 95, 0 = 5*p + 4*u - z. Does 7 divide p?
False
Let p = 163 - 146. Is 6 a factor of p?
False
Let z(t) = t**3 - 5*t**2 + 3*t + 6. Let d = -8 + 13. Is z(d) a multiple of 21?
True
Suppose 1418 + 220 = 13*q. Does 59 divide q?
False
Let g = 156 - 48. Does 36 divide g?
True
Let x = 28 + -12. Does 16 divide x?
True
Let x = 9 + -8. Does 6 divide 1 - (-10 + (x - 4))?
False
Let g be (-39)/(-15) + (-4)/(-10). Let p = g - -3. Let f = p + 2. Does 8 divide f?
True
Let m = 264 + -150. Is m a multiple of 38?
True
Suppose -3*n + 9 = 0, -3*n = 2*x - 0*n - 55. Suppose -3*q + 122 = x. Does 12 divide q?
False
Suppose -4*h + 180 = 2*w, -3*w - h = w - 353. Is w a multiple of 22?
True
Let s(f) = -2*f - 6. Let y be s(-6). Let n be (0 - (-8)/y)*6. Suppose -3*r - 75 = -n*r. Is r a multiple of 15?
True
Let u(n) = n**2 + 11*n + 5. Let p be u(-10). Let j be p/(-2)*8/10. Is 0 + 3 - (-66)/j a multiple of 22?
False
Suppose 7*k - 144 = 11*k. Let w = -9 - k. Is 9 a factor of w?
True
Let l = -11 + 7. Let h be (-1)/(-4) - 15/l. Suppose 0 = -h*t - 0*n + 4*n + 128, 5*t - 3*n - 154 = 0. Does 10 divide t?
False
Suppose -11*t = -3*t - 168. Does 16 divide t?
False
Let q be ((-3)/4)/1*4. Let s be (-6)/(-4)*(-4)/q. Suppose 0 = -v - 0*v - 4*a - 9, 2*v = -s*a + 6. Is v a multiple of 3?
False
Let y(b) = 4*b + 63. Is 2 a factor of y(-15)?
False
Does 17 divide (14/(-6))/(5/(-135))?
False
Let m(y) = -y**3 - 8*y**2 - 8*y - 2. Let l be m(-7). Suppose -45 + 0 = l*u - i, u + 35 = -5*i. Does 17 divide (-715)/(-25) + 6/u?
False
Let v be 6/(-8) + 23/4. Suppose v*b + 2*a - 38 = -2*a, 4*a = b + 2. Is -1 + 32 + b + -3 a multiple of 17?
True
Suppose -492 = 4*o - 8*o. Is (-1)/(-