 Suppose 3*a - 5 - 10 = r. Does 4 divide a?
False
Let w = -125 - -272. Is w a multiple of 41?
False
Let p(j) = -j - 1. Let n(s) = -10*s - 10. Let b(a) = 6*n(a) - 66*p(a). Does 8 divide b(3)?
True
Let c be -86*(3/(-2) + 2). Let a = c - -74. Does 10 divide a?
False
Let u = 4 + -9. Let o(b) = b**3 + 6*b**2 + 4*b. Let w be o(u). Suppose -18 = -w*s - 3. Is s even?
False
Let t be 12/5 + 4/(-10). Suppose -y + 11 = t*j, 2*j = -4*y - 3*j + 50. Is y a multiple of 13?
False
Suppose -4*m - 235 = -9*m. Let r = m + -28. Suppose 13 = 2*j - r. Is 7 a factor of j?
False
Let j be (-162)/4*4/(-3). Suppose 4*l = -a + 53, 4*l + 7 - j = 5*a. Does 7 divide l?
False
Suppose 4*y - 3*c = 2*y + 2, -3*c - 10 = -4*y. Suppose -v = 2*u - u + 3, y*v + 3*u = -7. Suppose -60 = -2*f - v*f. Does 15 divide f?
True
Suppose 2 = -2*s + 4*h + 4, 2*h + 21 = 5*s. Suppose -p + s*p = 204. Does 17 divide p?
True
Suppose 0*w = -w. Suppose w = -p + 10 + 17. Is 19 a factor of (p/4)/(2/8)?
False
Suppose -115 = -4*t + 3*k, 0 = t - 2*k - 6 - 19. Is 21 a factor of t?
False
Let m be (2/3)/(14/105). Suppose 3*u - 50 = -2*c, 0*u - 90 = -m*u - 5*c. Does 14 divide u?
True
Suppose i - 3 = -1. Let k(c) = 4*c**2 - 3*c + 2. Does 7 divide k(i)?
False
Suppose 0 = d + 3*b + 2*b - 5, 0 = -3*d - b + 15. Suppose 0 = -2*a + 4*y - 8, 3*a = d*y - 5 - 3. Suppose -q - 1 = 3, -a*n = -2*q - 48. Does 10 divide n?
True
Let o(k) = k**3 + 4*k**2 + 4*k + 2. Let r be o(-2). Suppose -3*h = -2*l + 25, -59 = -2*l - r*l + 3*h. Is 6 a factor of l?
False
Let v = 84 - 50. Does 5 divide v?
False
Suppose -3*v - 7 = -4*k + 3*k, -2*k = -v - 4. Let s = 4 + k. Is s a multiple of 5?
True
Let z(h) = h + 8. Let a be z(-6). Let w(r) = -6*r + 8*r**a - 3*r + 8 - 3 - r**3. Does 8 divide w(6)?
False
Let q be (2 - 1)/(4/(-72)). Is (q/(-4))/((-4)/(-8)) a multiple of 9?
True
Suppose -46 = -v - 5*b, 0 = -3*v + b - 37 + 127. Is 12 a factor of v?
False
Let q = -21 + 30. Suppose 74 = 5*s + q. Is s a multiple of 11?
False
Suppose 5*m - 5*i - 35 = 0, -m + 2*i = -5 - 6. Let z be 2*10/3*m. Suppose o + z = 3*j, -2*j - 10 = -o - 25. Does 3 divide j?
False
Let d(q) = 2*q + 1. Let c = -7 - -13. Is 7 a factor of d(c)?
False
Suppose -19 = -3*l + 56. Is l a multiple of 25?
True
Suppose -v = 2 + 4. Let x = 5 - v. Is 11 a factor of x?
True
Suppose -m - 4*m - 70 = 0. Is m/(-3) + 1/3 even?
False
Let j = 21 + -14. Suppose -3*u = j - 28. Is 7 a factor of u?
True
Let r = 19 + -9. Let y be 36/r - 3/5. Does 4 divide ((-3)/(-2))/(y/28)?
False
Let q(f) = f**3 + 9*f**2 + 8*f. Is q(-6) a multiple of 15?
True
Suppose 5*a = -2*c + 56, -5*c + 3*a = -8*c + 66. Suppose 2*d - c = i - 3*i, -5*d + 25 = i. Suppose -157 = -i*b + 18. Is b a multiple of 13?
False
Suppose -345 = 5*u - 25. Let r(x) = -x**2 + 7*x + 8. Let y be r(-7). Let k = u - y. Is k a multiple of 10?
False
Is (-1676)/(-6) + (-9)/27 a multiple of 31?
True
Let c(z) be the second derivative of z**3 + 5*z. Does 13 divide c(3)?
False
Suppose 0 = -8*h + 451 - 131. Does 10 divide h?
True
Let g(x) = x**2 - 3*x - 4. Let p be g(4). Suppose -1 = -3*w - 4. Is 14 a factor of (-1 - 33)/(w - p)?
False
Suppose 2*i = 4 + 4. Suppose -11 = 5*k + i, -o - k + 1 = 0. Does 3 divide o?
False
Suppose 240 = -16*z + 18*z. Is z a multiple of 10?
True
Suppose 4*d + 3*i = 8*d - 479, -3*i + 497 = 4*d. Does 10 divide d?
False
Let j(p) = 35*p**2 - 2*p - 1. Suppose -k + 5 = -6*k. Does 14 divide j(k)?
False
Let l(v) = 2*v**2 + v + 4. Does 11 divide l(5)?
False
Suppose 3*l - 4*p = -3*p + 16, 4*p = 4*l - 24. Suppose 130 = l*s - 0*s. Is 13 a factor of s?
True
Let t(k) = -7*k**2 + 7*k - 7. Let s(n) = 4*n**2 - 4*n + 4. Let m(d) = -5*s(d) - 3*t(d). Suppose 0 = 14*g - 15*g - 2. Is m(g) a multiple of 4?
False
Suppose v + 5 = 10. Suppose -12 = -4*g - 3*k - 0*k, v*g - 4*k + 16 = 0. Suppose 0 = -5*y + 2*s - g*s + 202, 121 = 3*y - s. Is y a multiple of 21?
False
Let u = -66 + 131. Is 15 a factor of u/(-2)*48/(-40)?
False
Suppose 3*a + a + 5*t - 24 = 0, 5*t - 20 = 0. Let s(p) = a - p + 0*p - 3*p**3 - 4*p**2 - 5. Does 22 divide s(-3)?
True
Let h(p) = -2*p**3 - 5*p**2 - p - 3. Let q(n) = 7*n + 4. Let d(k) = -20*k - 12. Let o(z) = -6*d(z) - 17*q(z). Let b be o(-8). Is h(b) a multiple of 19?
False
Let h = 37 + -2. Is 21 a factor of h?
False
Let r(u) = -3*u**2 - u. Let a be (-2)/2*1/1. Let l be r(a). Is 6 + (-2 - l - 2) even?
True
Suppose 0 = 5*p - 4*i - 170, -4*p + 2*i = -0*i - 136. Does 17 divide p?
True
Let t(h) = h**3 + 7*h**2 - 2*h - 10. Let g be t(-7). Suppose -k = -0 - 5, g*d - 81 = 3*k. Is 12 a factor of d?
True
Let h(p) = 10*p - 3. Let y be h(7). Suppose 2*g + 3*m = 3*g + 1, -5*g + y = 3*m. Does 6 divide g?
False
Let a = -1 + 3. Suppose -3*o = -6*o + r + 9, -a*r + 22 = 4*o. Suppose -3*k + 55 = 2*d + 10, 101 = o*d - 5*k. Is 14 a factor of d?
False
Let z = 106 - 40. Does 22 divide z?
True
Suppose 5 = -0*b + b. Is 4 a factor of b?
False
Suppose 0 = 4*u - 178 + 42. Suppose 3*p - u = -5*z, 3*p - 4*z + 1 = -10. Does 3 divide p?
True
Let c(q) be the third derivative of q**5/60 + 5*q**4/24 - q**2. Let s be c(-5). Suppose s = 2*b + b - 45. Is b a multiple of 12?
False
Let a = -47 + 79. Is 19 a factor of a?
False
Let k = -43 + 80. Is 13 a factor of k/3*3 + 2?
True
Let z(k) = -4*k - 4. Let r be z(-4). Suppose r = 3*q - 15. Suppose -3*f + 54 = q. Is 5 a factor of f?
True
Let h(l) = 2*l**2 + 5*l + 32. Does 12 divide h(-8)?
True
Let j(c) = c + 161. Suppose 0 = -8*l + 3*l. Let r be j(l). Let b = r + -115. Does 16 divide b?
False
Let i = 21 - 15. Let v be 2270/(-7) - i/(-21). Is ((-2)/(-4))/((-6)/v) a multiple of 10?
False
Suppose -3*u = -2*u - 21. Does 14 divide u?
False
Suppose 49 = 7*z - 0*z. Does 7 divide z?
True
Let i(u) be the second derivative of -u**5/20 + u**4/2 + u**3/6 + u**2/2 + 2*u. Does 11 divide i(5)?
False
Let s be -6*2/(-8)*2. Let t = 3 - s. Suppose g = -t*g + 9. Is 5 a factor of g?
False
Let v(d) = 0*d**2 + 4*d**2 - d**2 - d - 2*d. Does 19 divide v(4)?
False
Suppose 3*c - 2 - 7 = 0. Suppose 0 - 12 = -c*r. Suppose 2*n = -9*o + r*o + 6, 22 = 2*n + o. Is 4 a factor of n?
False
Suppose 226*l = 229*l - 297. Is l a multiple of 33?
True
Suppose 3*i - 16 = -5*z, 0*i + 4*z = 4*i - 64. Let n = i + 5. Does 7 divide n?
False
Suppose -324 = -4*n + c, -c = 5*n + 3*c - 384. Is n a multiple of 16?
True
Let i(m) be the second derivative of m**4/6 + m**3/3 + m**2 + m. Let g be 9/(-12)*(-2 + 6). Is 9 a factor of i(g)?
False
Suppose 0 = 3*v - 2*a - 148, -2*a = 3*v - 7*v + 198. Does 9 divide v?
False
Suppose 0 = -3*g - 3, 145 = -5*r + g + 406. Suppose k - 3*k = -s - 18, s = -5*k + r. Does 5 divide k?
True
Is 40/5 + -5 + 252 a multiple of 26?
False
Let o be ((-10)/2 + -1)/(-1). Let s = o - 7. Is 6 a factor of (18/(-15))/(s/5)?
True
Is 13 a factor of 1/(-2 - (-1)/52*105)?
True
Let j(t) = -3 - 2*t**2 - t**3 + 3*t + 5 + 0*t**2. Let k be j(-3). Suppose 7*d - k*d - 15 = 0. Does 2 divide d?
False
Suppose 3*h - a = 519 + 19, -3*h + 518 = 4*a. Does 22 divide h?
False
Let u = 7 + -11. Let c(a) = -11*a - 5. Does 18 divide c(u)?
False
Let x = 7 - 7. Suppose -2*z + 9 = 3*b + 3, -2*z + 3*b - 6 = x. Is 3 a factor of (8 - z)*(1 - 0)?
False
Suppose -t - 7 = -9. Let c = t + 7. Is 9 a factor of c?
True
Suppose 0 = -0*o + 4*o - 48. Does 6 divide (o/9)/((-6)/(-45))?
False
Let d be ((-20)/(-6))/((-2)/6). Is 3 a factor of (6/5)/((-2)/d)?
True
Suppose 3*d = 2*q - 25, 3*q - 5*d - 15 = 5*q. Does 2 divide q?
False
Let k = 23 - -77. Does 21 divide k?
False
Suppose 5*m = -2*o + 175 + 295, 5*o = m - 121. Is m a multiple of 24?
True
Let x(d) = 6*d**2 + 3*d. Suppose -4*n + 3*q - 2 = 6, -3*n + 5*q = 6. Is x(n) a multiple of 11?
False
Let m = 13 - 9. Suppose 15 = m*l - 5. Suppose 2*x = -l*j + 84, 2*j + 0*j = -4. Is x a multiple of 16?
False
Suppose -2 = -3*l - f - 19, 0 = l + f + 5. Let i(d) = -12*d - 7. Does 23 divide i(l)?
False
Let d(p) = p - 2. Let u be d(2). Suppose h + 1 - 11 = u. Is 10 a factor of h?
True
Suppose 0 = 4*w + w + 5. Let d be 4*w/(-2) + 6. Let s = d - 1. Does 7 divide s?
True
Let c(g) be the first derivative of -g**3/3 - 5*g**2/2 - 4*g - 2. Let s be c(-3). Suppose -5*w - 5*a = -45, 4*w + s*a - 37 = -3. Is w a multiple of 8?
True
Suppose y + 2*y = -4*u + 67, 4*y - 84 = -5*u. Is u a multiple of 12?
False
Let g = 71 + -40. Let r = -46 + g. Does 5 divide r*((4 - 3) + -2)?
True
Let v be -4*((-