 k be g(11). Suppose 20 + k = 5*w. Is w a multiple of 34?
False
Let n(s) = -s**2 - 14*s - 10. Does 13 divide n(-7)?
True
Is 27 a factor of 546/10 + (-46)/(-115)?
False
Is 13 a factor of 2/16 + (-151)/(-8)?
False
Suppose -h + 7 = 2*h + 2*k, -2*h = 5*k - 23. Is -8*(0 - (2 - h)) a multiple of 8?
True
Suppose -2*a + 13 - 1 = 0. Suppose 0 = -l - 2 + a. Is 4 a factor of l?
True
Let l be (4 + -3 - -24) + 2. Let y = l - 8. Is y a multiple of 6?
False
Let v(c) = -31*c + 12. Is 3 a factor of v(-2)?
False
Is 7 a factor of 446/18 - 14/(-63)?
False
Let r(i) = -4*i + 4. Let v be r(3). Is v/(-36) + (-169)/(-9) a multiple of 10?
False
Let d(k) = 8*k**2 + 8. Is d(3) a multiple of 20?
True
Let x = -170 + 284. Is 19 a factor of x?
True
Let p = 115 + -80. Let z = -3 + -15. Let b = z + p. Is b a multiple of 17?
True
Let r be (-26)/(-22) - 10/55. Let c = r + 2. Does 3 divide c?
True
Suppose 2*q + 25 = 147. Is q a multiple of 8?
False
Suppose 14 = 2*i - 0. Let h(o) = o**3 - 5*o**2 - 4*o + 1. Is 22 a factor of h(i)?
False
Suppose -w = -6*w + 190. Is -2 - ((-6)/(-3) - w) a multiple of 17?
True
Let m(y) = y**2 - 6*y - 2. Let h be m(6). Let j be 0*((-6)/4 - h). Is j/(0 + -1) - -26 a multiple of 13?
True
Suppose -3*j = -6*j + 501. Is j a multiple of 36?
False
Suppose 96 = 2*l - 0*l. Is 16 a factor of l?
True
Let n(w) be the second derivative of w**5/20 - 5*w**4/12 - w**3/6 + 7*w**2/2 + 2*w. Let q be n(5). Suppose q*t - 2 = t. Is t a multiple of 2?
True
Let x(w) = 2*w**3 - 5*w**2 - 5*w + 5. Suppose 0*b + b - 4 = 0. Is 9 a factor of x(b)?
False
Let q(l) = 12*l**3 - 8*l - 13*l**3 + 11*l**2 - 8 - l. Let b be q(10). Suppose -t + b*t - 50 = -3*y, -3*t - 37 = -2*y. Is 17 a factor of y?
True
Suppose 0 = -0*h - h. Suppose -5*j + j - 164 = h. Let p = j - -71. Is p a multiple of 15?
True
Suppose -253 - 209 = -6*y. Is y a multiple of 11?
True
Suppose 2*m + 0*m - j - 34 = 0, 4*m - 4*j - 68 = 0. Suppose -1 = 2*f - m. Does 8 divide f?
True
Suppose l = 3*r + 60 + 9, 0 = 3*r + 3*l + 57. Suppose -24 = y - 5*y. Is (2 + r/y)*-15 a multiple of 13?
False
Suppose 0 = -4*i - 2*p - 2, -3*i + p + 4 = -7. Let n = 2 - i. Suppose n = -g + 5*g - 120. Is g a multiple of 14?
False
Suppose 3*h - 8 = -3*z + 28, -33 = -2*h + z. Is h a multiple of 15?
True
Let a(j) = j**2 - 2. Is 5 a factor of a(5)?
False
Let x = -121 + 171. Does 26 divide x?
False
Let v = 3 + -5. Suppose -2*n - 20 = -196. Is 11 a factor of (1/v)/((-2)/n)?
True
Suppose 3*y - 11 = i - 1, -5*y - 3*i = 2. Suppose 5*b - j = 2*j + 306, 2*b = -y*j + 116. Is b a multiple of 20?
True
Suppose -3*w - 13 + 1 = 0. Let l = w + 16. Suppose -3*z + 1 = -2*a + a, 0 = 3*a - 4*z - l. Is a a multiple of 7?
False
Suppose 0 = -4*m - 4*n + 20, 0*m + 10 = 2*m + 4*n. Suppose 0 = -4*w - 0*w - 8, -4*b - m*w + 2 = 0. Let d = b - -9. Does 12 divide d?
True
Suppose -2*x = -5*x + 84. Let b = x + -14. Does 7 divide b?
True
Is (-3)/(-6)*3*4 a multiple of 6?
True
Let z(t) = t**2 + 14*t - 19. Is 32 a factor of z(-17)?
True
Is 6 a factor of (-1 - -29) + 0/(-1)?
False
Does 7 divide ((-23)/3)/(6/(-36))?
False
Let x be (0 + 0)/(3 - 1). Let l be 0 + -2 + x + 8. Is (-9)/(-2)*8/l a multiple of 6?
True
Suppose 4*b + 105 = 3*c, -b = 5*c + 2*b - 204. Let o = -25 + c. Is 4 a factor of o?
False
Suppose -6 = -3*l + 6. Suppose l*p = -9 + 1. Let g(u) = u**2 + 2*u + 3. Is g(p) a multiple of 2?
False
Let f be (-1)/4 - 2225/(-4). Let g be 4/10 + f/10. Suppose -g = -2*v + 2*d, 0*v - 5*v = -3*d - 150. Is 14 a factor of v?
False
Let q be 3*(1 - 7/3). Let x be 12*(-15)/(q + 1). Suppose -u = 4*u - x. Is 9 a factor of u?
False
Let i(o) be the first derivative of o**4/4 - o**3/3 - 6*o + 1. Let b be i(0). Is 9 a factor of b/(1 - 10/6)?
True
Let s = 49 - 24. Does 6 divide s?
False
Suppose -8 = -l + 4*k, 0*k - 52 = 5*l + 3*k. Is 21 a factor of ((-6)/l)/((-5)/(-140))?
True
Suppose 4*f = 234 + 46. Is 8 a factor of f?
False
Suppose 0 = 4*g - 8*f + 3*f + 4, 0 = -4*f + 16. Suppose -4 = g*l - 3*l. Does 17 divide (-91)/l + 1/4?
False
Let i(u) = u**3 - 9*u**2 + 8*u. Let w be i(8). Suppose w = -5*p - r + 1, p - 3*p = r + 2. Is 2/p + (14 - 5) a multiple of 4?
False
Suppose 2*w + c - 174 = -0*c, 4*w - 342 = -5*c. Is w a multiple of 8?
True
Let i(f) = -f**2 - 5*f. Is 6 a factor of i(-3)?
True
Suppose -7*j + 828 = -j. Is j a multiple of 69?
True
Let b(g) = -g + 4. Let l be b(2). Suppose 0 = -l*q + q + 17. Does 17 divide q?
True
Suppose 2*t - 262 = -5*a, -t + 0*a = -5*a - 116. Is t a multiple of 12?
False
Let o(h) = 13*h - 3. Let q(c) = -13*c + 3. Let i(m) = -2*o(m) - 3*q(m). Let t(l) = -l + 7. Let z be t(5). Is i(z) a multiple of 8?
False
Suppose 0 = -2*j - 0*j + 6. Let w(s) = -2 - j*s + 10 + 9*s. Does 15 divide w(6)?
False
Let d(c) = -c**2 - 11*c - 5. Let r(l) = -3*l**2 - 22*l - 9. Let t(j) = 5*d(j) - 2*r(j). Is t(12) a multiple of 3?
False
Is 10 a factor of 3 + (3 - (-6 + 2))?
True
Suppose 0 = 7*x - 3*x + 8. Let n(g) = -3*g**3 - g**2 - g - 2. Does 10 divide n(x)?
True
Suppose 22*u - 20*u = 864. Is u a multiple of 27?
True
Is 16 a factor of 47 - -1*(1 + 0)?
True
Suppose 20 = 5*w, -5*f = -2*w + 5*w - 272. Does 27 divide f?
False
Let g be (-3)/(6/(-172)) - -1. Suppose 3*h + g = 264. Is h a multiple of 16?
False
Suppose -g - 1 - 4 = 0. Let c(a) = -a**2 - 8*a + 3. Does 6 divide c(g)?
True
Suppose -s + 88 = 3*s. Suppose s = -2*g + 82. Is 18 a factor of g?
False
Suppose -3*z = -n - 221, 2*z + 63 = 3*z + 5*n. Let w = z + -29. Suppose -w = -a - a. Does 11 divide a?
True
Suppose -3*v + 2*v = d + 7, -3*v - 9 = 0. Does 5 divide ((-48)/4)/(6/d)?
False
Suppose 101 = v - 96. Is 9 a factor of v?
False
Let a(i) = -4*i**2 + i + 3. Let v(l) = l**2 - 8*l + 9. Let g be v(6). Let b be a(g). Is 9 a factor of (21 - 0)*b/(-42)?
True
Let q(t) = t - 3. Let n be q(6). Suppose 2*z - 2*s - 36 = s, 0 = -3*z - n*s + 54. Does 9 divide z?
True
Let l(h) = h**3 + 5*h**2 + 2*h + 2. Let j be l(-5). Let n(b) = -b**2 - 10*b - 2. Let f be n(j). Let q = 14 + f. Is 14 a factor of q?
True
Does 10 divide 35/((-1)/(-2)*2)?
False
Let z(j) = -j + 18. Let v = -6 - -6. Is z(v) a multiple of 10?
False
Suppose -5*d + 46 = -4*q, -2*q + 5 = -d + 31. Is 12 a factor of (72/(-14))/(3/q)?
True
Let y = -2 + 5. Suppose y*j + 0*j = -18. Is (3/1)/(j/(-32)) a multiple of 8?
True
Does 2 divide (-1 - -2)/((-3)/(-24))?
True
Does 13 divide (3 - 1)/(14/(-49))*-13?
True
Suppose 1 = x - 2. Suppose 4*w - 109 = -n, -5*w - x*n - 2*n + 125 = 0. Is w a multiple of 13?
False
Suppose 6*z - 594 = 3*z. Is z a multiple of 22?
True
Suppose 5*n - 4 = 16. Let x = -3 + n. Is 14 a factor of x*2*(-35)/(-5)?
True
Let o = 101 + -63. Is 19 a factor of (o/4)/(5/10)?
True
Suppose q - 3*l - 60 - 14 = 0, 4*q = -5*l + 228. Is q a multiple of 13?
False
Suppose 35 = 5*y - 75. Suppose 4*q - y = 2*x + 3*x, 0 = 5*q + 2*x - 44. Is q a multiple of 4?
True
Let w(r) = -r**3 + 5*r**2 + 3*r - 1. Let h(p) = 2*p**3 - 11*p**2 - 6*p + 3. Let z(d) = 4*h(d) + 9*w(d). Let s be 6*4/8*-1. Is 15 a factor of z(s)?
True
Let f = 59 + -26. Is f a multiple of 33?
True
Does 16 divide (5 + (-5)/5)*92?
True
Suppose -13 = -5*i - 2*y, y - 9 = -5*i - 0*y. Is 14 a factor of 0 - 1 - -27 - i?
False
Let f(g) = -8*g + 36. Does 14 divide f(-13)?
True
Let u be 1/(-2 - (-100)/52). Let n = u - -31. Is n a multiple of 3?
True
Let b(l) = 11*l + 4. Let a be b(5). Is 14 a factor of (0 + 0 - 3) + a?
True
Suppose 128 + 407 = 5*w. Does 10 divide w?
False
Let w(d) = -d**3 + 7*d**2 + 6*d - 4. Is 17 a factor of w(4)?
True
Suppose -32 - 6 = -a. Is 19 a factor of a?
True
Let y(z) = 4*z**3 - 4*z**3 + z + z**3 + 6*z**2 + 2*z - 3. Suppose 3*j + 11 = -4. Is y(j) a multiple of 7?
True
Let p be (-2)/(-5) - (-88)/(-20). Let h be 5/10 + (-14)/p. Suppose h*s - 80 = -12. Is 8 a factor of s?
False
Suppose -9*n + 8*n - 10 = 0. Is 18 a factor of -30*(2/n - 1)?
True
Let c(n) = 9*n + 9. Let m(x) = -4*x - 5. Let o(j) = 2*c(j) + 5*m(j). Let p be o(-6). Suppose -a = -4*i + 35, 4*i - p*i - a + 15 = 0. Is 10 a factor of i?
True
Suppose -30 = 5*t - 0*t. Is -18*(t/4 + -1) a multiple of 15?
True
Let v(n) = n**2 - 3. Is v(-6) a multiple of 7?
False
Suppose 4*i = 3*i - 15. Let y = i + 20. Does 2 divide y?
False
Let o(w) = 3*w**2 + 8. Let x be o(-8). Let i = x - 135. Does 15 divide i?
False
Let p = 67 - -50. Suppose -17 = 4*q - p. Let d = q + -15. Does 10 divide d?
True
Let h 