26?
False
Let w(z) = 6 + 9*z - 17*z - 4. Is w(-8) a multiple of 16?
False
Let u be (36/45)/(1/(-5)). Let b(l) = 2*l**2 + 3*l - 2. Does 9 divide b(u)?
True
Suppose 0*m = -2*m + 40. Suppose 4*o = 2*o + m. Does 5 divide o?
True
Suppose 4*m = 3*j + 135, 2*m + 4*j - 21 = 19. Is m a multiple of 15?
True
Let a(b) = -b - 1. Let v be a(-5). Let s(m) = -m**3 + 5*m**2 + 4*m - 3. Let c be s(v). Let r = c + -19. Is 5 a factor of r?
True
Let j(v) = 4*v**3 + 33*v**2 + 21*v - 8. Let x(k) = -k**3 - 8*k**2 - 5*k + 2. Let s(f) = 2*j(f) + 9*x(f). Suppose 4 = -3*r - 14. Is s(r) a multiple of 10?
True
Let q = 4 - 1. Suppose -p = t - 12 - 8, 0 = -q*t + 3. Does 7 divide p?
False
Suppose -a = -0*a + 48. Let x = -15 - a. Does 29 divide x?
False
Let d(m) be the second derivative of 3*m**5/5 - m**3/2 + 3*m**2/2 - m. Does 24 divide d(2)?
False
Let o(m) be the second derivative of -1/3*m**3 + 5*m**2 + 0 - 2*m. Is o(-7) a multiple of 8?
True
Suppose 2*o + o - 207 = 0. Is o a multiple of 25?
False
Let g = 2 + 0. Does 5 divide 73/5 + g/5?
True
Suppose 0*k - k - 62 = 0. Let c = 87 + k. Suppose c = b + 2. Is 12 a factor of b?
False
Let w = -103 + 187. Is w a multiple of 14?
True
Let a = 0 + 2. Suppose 0 = a*d + d - 111. Suppose 0*k - d = -k. Does 16 divide k?
False
Let q be ((-86)/4)/(4/(-8)). Let g = 5 + -32. Let k = q + g. Does 8 divide k?
True
Let c be ((-1)/1 - 4) + 1. Is c/(-5)*(6 + 24) a multiple of 12?
True
Let u(l) be the second derivative of -l + 0 + 1/12*l**4 - 1/2*l**2 + 1/3*l**3. Does 14 divide u(3)?
True
Suppose x + 1 + 4 = 0, -3*s - x = -295. Is s a multiple of 25?
True
Let n = -10 - -10. Suppose n = 3*u - 6 - 30. Is u a multiple of 8?
False
Let o(m) = 8*m - 5. Is 9 a factor of o(4)?
True
Let v(f) = -f**3 + f**3 - 2 + 3*f**2 + 4*f**3. Let b(l) = l**3 - l**2 - 2*l + 2. Let j be b(2). Does 21 divide v(j)?
True
Suppose -2*b - 3*b = -225. Does 9 divide b?
True
Let c be 4*(-4)/(16/(-3)). Suppose 2*g = c*g. Is (3 + -53)*(-1 - g) a multiple of 15?
False
Let n(v) = -v + 2. Let y be n(-4). Is (-4)/y + (-1670)/(-30) a multiple of 11?
True
Suppose -3*g + 23 = t, -3*t = -7*t - g + 59. Is 5 a factor of t?
False
Let f(m) = m**3 - 5*m**2 - m - 2. Let t be f(5). Let u(q) be the second derivative of -q**5/20 - 7*q**4/12 - q**3/6 + 4*q**2 - q. Does 8 divide u(t)?
False
Let i(d) be the first derivative of 17*d**2/2 - 5*d + 1. Let v be i(-5). Let m = v - -132. Does 14 divide m?
True
Let x(l) = -l**3 + 3*l**2 + 3*l - 4. Is x(3) a multiple of 3?
False
Suppose 0 = 3*w - s - 11, 3*w - s = -2*s + 19. Suppose -p = -3*a - 10, -3*p + 13 = w*a - 17. Does 13 divide 15/p*52/3?
True
Let o(m) = 23*m + 1. Let w be o(2). Let n = 78 - w. Is n a multiple of 18?
False
Let z(x) = -x + 5. Let u be z(4). Is u + 57/3 + 0 a multiple of 6?
False
Let v = 11 + -15. Let h(u) = 6 - 4*u**2 + 0*u + 7*u + 6*u**2. Does 4 divide h(v)?
False
Suppose -908 = -4*d + 5*v, -2*d + v = -4*d + 454. Suppose -4*k = -5*g - 151, g = -4*k - 46 + d. Is k a multiple of 18?
False
Suppose 4*i = -5*h + 64, 2*i - 3*h - h = 6. Does 13 divide (i - 6/(-3))/1?
True
Let m = -148 - -228. Does 16 divide m?
True
Let a(g) = -2*g**2 + 0*g**2 + 7*g**2 + 3 + 2*g + 2*g. Is 11 a factor of a(-3)?
False
Let f(r) = -r**3 + 6*r**2 + 8*r + 1. Let c be f(7). Let m be (4/c)/(1/12). Is (4/m)/((-2)/(-93)) a multiple of 12?
False
Is -3*(-4)/3*279/12 a multiple of 23?
False
Suppose 0 = -4*z + z + 42. Suppose 5*y = -2*h + 70, z = 2*y - 4*h - 14. Does 12 divide y?
False
Let z be 72/6*2/6. Suppose 105 = z*l + 3*p, -4*l - p - 76 + 183 = 0. Is 6 a factor of l?
False
Let b = -158 - -225. Suppose -20 = -4*v, 4*q - 3*q - b = v. Does 24 divide q?
True
Let x = -82 - -115. Suppose -f + 13 = -x. Does 12 divide f?
False
Let j be ((-6)/10)/((-3)/15). Suppose -x - 4*x - 5*v = -30, -x + j*v = 6. Suppose 42 = -f + x*f. Does 7 divide f?
True
Suppose 4*k = -0*k + 240. Suppose k = -s + 4*s. Is s a multiple of 6?
False
Suppose b - 2*b = 4, 0 = -q - 3*b + 53. Is q a multiple of 22?
False
Let d(f) = -f + 2*f + 4 - 11. Let q be d(7). Suppose q = -2*c + c + 49. Is 19 a factor of c?
False
Let v(o) = -o**2 + o - 2. Let i be v(3). Let f = i + 12. Suppose -f*p + 0*p = -68. Does 12 divide p?
False
Let n be ((-17)/(-3))/((-9)/27). Let t = 47 + n. Is 10 a factor of t?
True
Suppose 0 = -7*q + 3*q - 3*n - 17, -4*q + n = 5. Is q/2*(2 - 4) even?
True
Suppose 0 = 2*q + 4 - 8. Let d be (-92)/4*2/q. Let g = -5 - d. Is g a multiple of 12?
False
Suppose 0 = g - 4*a - 31, 0*g - 5*a = -3*g + 100. Suppose 5*b - g = 2*w, -b + 2*b = -3*w - 10. Is 5 a factor of b?
True
Suppose 8 + 0 = 2*l. Suppose l*t = -t - 100. Let m = 36 + t. Does 14 divide m?
False
Let o(t) = 7*t**2 + 0*t**3 - 5 + 4*t - 2*t**3 + 6*t**3 - 3*t**3. Is 10 a factor of o(-4)?
False
Let a(v) = v**2 - 11*v - 10. Let k be a(9). Is 3*4*k/(-24) a multiple of 3?
False
Let b(d) = -d. Let x(a) = -a - 1. Let y be x(0). Let l = -3 - y. Is b(l) a multiple of 2?
True
Suppose -10*a + 420 = -7*a. Does 24 divide a?
False
Let l(f) = 2*f - 1. Let h be l(3). Suppose h = 5*c - 4*c. Does 5 divide c?
True
Suppose 18*f = 2437 + 2945. Is 13 a factor of f?
True
Let f = 10 - 10. Suppose -2*q + 4*p + 104 = 0, f*q = 3*q - 4*p - 152. Does 16 divide q?
True
Let v(h) = 3*h**2 - 7*h + 6. Is 15 a factor of v(6)?
False
Is (-13*3)/((-9)/9) a multiple of 15?
False
Suppose 2 - 326 = -5*c - k, 3*k = -5*c + 332. Is 16 a factor of c?
True
Suppose 3*m = -2*m + 2*w + 12, 0 = -2*m + w + 5. Suppose m*b - 14 = 20. Suppose g + 3*y - 9 = -2*y, -3*g - 5*y + b = 0. Is 4 a factor of g?
True
Let g(n) = -2*n. Let x be -1 + 4*(-2 + 3). Let u = 1 - x. Does 3 divide g(u)?
False
Let z be 6/8 + 425/20. Let w = 60 - z. Is w a multiple of 19?
True
Let k be 2/6*3*2. Suppose -4*t + 3*t + 31 = -5*z, k*t - z = 17. Let n(v) = -v**2 + 8*v - 2. Does 5 divide n(t)?
True
Suppose 3*k - 86 - 157 = 0. Suppose -78 = -5*m + 3*x + x, 4*m + 3*x = k. Is m a multiple of 18?
True
Let s = -29 - -14. Let z = s + 27. Is 8 a factor of z?
False
Let c(o) = o + 2. Let b be (-1 + 22)*5/15. Is 6 a factor of c(b)?
False
Let d(o) = 3*o + 26. Is d(-2) a multiple of 11?
False
Let l be ((-1)/(-2))/(11/418). Let n = 22 - l. Is n even?
False
Let t be (2 - (-2 - -3))*-4. Is (-9)/(((-8)/(-6))/t) a multiple of 6?
False
Suppose -2*d - 2*d + 168 = 0. Is d a multiple of 29?
False
Suppose 150 = 2*m + 22. Let w = -35 + m. Does 23 divide w?
False
Let l be (-1)/(14/(-6) - -2). Suppose 39 = s - 5*r, -l*s - 41 = -r - 144. Does 17 divide s?
True
Let r(u) be the first derivative of -u**4/6 - u**2/2 + 2. Let p(n) be the second derivative of r(n). Is 16 a factor of p(-4)?
True
Let l(z) = -12*z - 3. Let t be -5 + -3 + 6/1. Does 9 divide l(t)?
False
Suppose -u - 3*u = 4, -3*q + u + 217 = 0. Is q a multiple of 24?
True
Suppose 2*s = s. Suppose s = 6*o - o - 2*h - 120, 0 = o - 4*h - 42. Is 6 a factor of o?
False
Let q(r) = r - 5. Let g be q(4). Does 9 divide (-3)/3 - g - -12?
False
Suppose -m + 95 = -55. Let h = -101 + m. Does 15 divide h?
False
Let s = -57 - -80. Suppose 2*t + 1 = s. Is t a multiple of 11?
True
Let q = -17 + 11. Does 20 divide (2/(-6))/(q/558)?
False
Suppose -2*y - 3*q + 44 = 0, 5*q = -2*y - 11 + 55. Suppose -4*a + 58 = y. Is a a multiple of 5?
False
Let b(o) = 34*o + 16. Does 12 divide b(5)?
False
Suppose 0 = -y + 4*y - 102. Suppose 3*a + 5*l = y, 2*a - 6*a + l = -7. Suppose d - 40 = -a*d. Is d a multiple of 10?
True
Let p = 77 - -23. Is p a multiple of 20?
True
Suppose 4*o - 4*x = -12, 2*o - 5*x + 11 = o. Let k = 12 + o. Does 11 divide k?
True
Suppose -f - 3*f + 100 = 0. Is f a multiple of 16?
False
Let k(s) = 7*s - 1. Let j be 3/1*(-2)/(-3). Does 5 divide k(j)?
False
Let n = 98 - 30. Does 17 divide n?
True
Suppose 3*j = j - 12. Let q = 20 + j. Is q a multiple of 10?
False
Suppose -3*i + 4*i + 8 = 5*f, 3*i + 2*f = 44. Is (248/(-6))/((-8)/i) a multiple of 13?
False
Suppose -v - 2 = -0*v. Let k = 17 + v. Suppose p + 2*a = -0*p + k, 4*a - 40 = -4*p. Is 5 a factor of p?
True
Let t(i) = 2*i**2 - 2*i - 9. Does 15 divide t(-5)?
False
Suppose 0 = m - j - j - 60, 0 = -4*m - 3*j + 218. Suppose 0 = -3*w + 4*s + m, 2*s = w - 3*s - 37. Is w a multiple of 10?
False
Suppose -6*q = -q - 10. Suppose q*t + 21 = 5*t. Is 3 a factor of t?
False
Suppose 0 = 3*d - 9*d - 24. Let w(c) = -5*c - 2 - 2*c + 3*c. Is 14 a factor of w(d)?
True
Suppose -k + 77