uppose 0 = 2*l - 36 - 22. Does 29 divide l?
True
Let w(u) = 62*u - 2. Let n be w(-3). Let p = 330 + n. Suppose 2*b + 21 + p = 3*c, -224 = -4*c + 4*b. Is 19 a factor of c?
False
Suppose 0 = 2*i - 28 - 36. Does 16 divide i?
True
Let m = 236 + -131. Does 20 divide m?
False
Let g(i) = i**3 + 12*i**2 + 7*i + 3. Let o(l) = l**2 + 6*l - 6. Let p be o(-5). Does 18 divide g(p)?
False
Let i(q) = 11*q. Let u be i(6). Let f = u - 40. Is 9 a factor of f?
False
Does 2 divide 1*(-48)/(-4)*1?
True
Let u(t) = t**3 - 7*t**2 - 12*t - 3. Is 17 a factor of u(9)?
True
Let y be (-8)/40 + 219/(-5). Let h = 70 + y. Is h a multiple of 13?
True
Let f be ((-18)/15)/(1/(-50)). Suppose 0 = -3*c - 2*c - f. Is ((-5)/(-3))/((-2)/c) a multiple of 4?
False
Is 12 a factor of -12*-4*2/4?
True
Let g be ((-4)/(-10))/(6/120). Let w = g - 8. Suppose w = 4*t - 148 - 44. Is t a multiple of 13?
False
Let x = 214 - 109. Let v be 2/(-1)*x/(-6). Suppose v + 0 = 5*k. Is 4 a factor of k?
False
Let r(w) = w**2 - w + 15. Let p be r(0). Let t be (-1)/((2 + -4)/2). Does 2 divide 1/((-12)/p + t)?
False
Suppose -440 = -12*t + 8*t. Does 22 divide t?
True
Suppose 5*a - 3*a = 12. Let l = 11 - a. Does 4 divide l?
False
Let x(a) = -a**3 + a**2 + a + 5. Let t be x(0). Suppose -t*q + 85 = -3*k - 2*k, q = -5*k - 13. Is 4 a factor of q?
True
Does 27 divide (-2)/(-7) + 4641/49?
False
Suppose 791 = 2*a + 91. Does 13 divide a?
False
Let f = 9 - 7. Suppose -5*x = f*h - 21, -2*h + 18 = -x + 3*x. Is h a multiple of 8?
True
Does 6 divide 20 + (-5)/(-15)*-3?
False
Let c(i) be the third derivative of -i**7/840 + i**6/90 + i**5/15 - i**4/4 + i**3/3 - i**2. Let s(y) be the first derivative of c(y). Does 9 divide s(5)?
True
Let w be 2/(-9) - 44/(-36). Let y be 1/1 - (w - 5). Suppose 3*n - 4*n = -y. Is n a multiple of 5?
True
Suppose 4*f + 4*d = 164, 5*d = f + f - 68. Let r = f - 28. Is r a multiple of 9?
False
Let q be 3/(-1)*(-1 + 0). Suppose 0 = 4*k - k + h - 44, q*k - 3*h - 48 = 0. Let j = k + -5. Does 10 divide j?
True
Suppose -a - 16 = -4*a + p, -5*p = -5*a + 40. Let i be 114/42 - a/(-14). Suppose 28 = i*g - 26. Does 7 divide g?
False
Let p(s) = -4*s**3 - s**2 - s. Let t be p(-1). Suppose -2*f + 117 + 59 = t*h, h - 30 = 3*f. Does 17 divide h?
False
Suppose 0 = -13*m + 18*m - 445. Does 16 divide m?
False
Let t = 43 - -53. Does 16 divide t?
True
Let r(t) = t + 6. Is 11 a factor of r(5)?
True
Let z(s) = 4*s + 3*s**2 - 3 + 0*s**2 + 2. Suppose -3*i + 2*l = -3*l + 4, 5*i = -5*l - 20. Is z(i) a multiple of 14?
True
Suppose 2*h + 308 = 4*i, 3*h = -3*i - 0*i + 240. Does 18 divide i?
False
Suppose -2*t = b - 98, 0*t - 3*t + 148 = b. Does 9 divide t/6 - 4/(-6)?
True
Let y(l) be the second derivative of l**3/6 - l**2 + 2*l. Let i be y(3). Is 6 a factor of 9*i*(1 - -1)?
True
Suppose 210 = 5*n - 0*n. Is 21 a factor of n?
True
Let i = -39 + 133. Is i a multiple of 15?
False
Suppose i + 1 = 0, -9 = -h + i + 4*i. Suppose -h*w - 5*c = -0*c - 151, -5*c = -15. Does 17 divide w?
True
Suppose -10 = -2*c - 3*c. Suppose -a - 3*h + 198 = 3*a, 5*a - c*h - 236 = 0. Does 16 divide a?
True
Let c = 36 + -17. Let j(s) = s**3 + 3*s**2 - 2*s + 1. Let z be j(-4). Let u = z + c. Is u a multiple of 12?
True
Let t(r) = -r**2 - 11*r - 2. Is t(-7) a multiple of 21?
False
Let i(g) = -g**3 + 5*g**2 + 6*g + 7. Let w be i(6). Suppose w = -3*c + 19. Suppose -146 = -c*k + 3*j - j, -5*j + 103 = 3*k. Does 12 divide k?
True
Let w(v) = 20*v. Is 15 a factor of w(3)?
True
Let o(d) = -14*d - 1. Let a be o(-4). Let v = 87 - a. Suppose -3*h + 40 = 2*g, 3*g - v + 7 = -h. Does 5 divide h?
True
Let g(j) = -j**3 - 7*j**2 - 5*j + 9. Does 14 divide g(-7)?
False
Let n(y) = 11*y + 25. Is n(6) a multiple of 21?
False
Let q = -45 - -79. Does 17 divide q?
True
Let h(j) = j**2 + 3*j + 34. Does 17 divide h(0)?
True
Let v = -42 - -68. Is v a multiple of 17?
False
Let a = 5 - 4. Let i be (a - -1 - 2)/1. Does 5 divide (5/(i + -1))/(-1)?
True
Let y(m) = m**2 + 4. Let t be y(3). Let l = t + -8. Let p(j) = j**3 - 3*j**2 - 7*j + 5. Is p(l) a multiple of 11?
False
Let n = 61 - 33. Does 11 divide n?
False
Suppose 5*c = 251 + 629. Does 44 divide c?
True
Suppose h - 73 + 4 = 0. Does 5 divide (-6)/(-15) + h/15?
True
Suppose 5*o - 34 - 56 = 0. Does 18 divide o?
True
Suppose -8 = 2*x + 22. Is 12 a factor of (-2 + 30)*x/(-12)?
False
Let g(w) = -10*w + 11. Does 8 divide g(-23)?
False
Suppose 4*h = 2*h + 178. Is 23 a factor of h?
False
Let i(k) = 4*k**3 - 3*k + 5. Is 29 a factor of i(2)?
False
Suppose a = 5*m - 8 - 2, 5*a - 65 = 2*m. Is 3 a factor of a?
True
Suppose -8*x = -11*x + 222. Is x a multiple of 11?
False
Is 4 a factor of -3 + (-3 - -35)/4?
False
Suppose 2*r + 0*r - 6 = 0. Suppose 0 = g - 2*d + 10, -5 = 2*g - r*g - d. Suppose g = -2*k - 1 + 15. Does 4 divide k?
False
Let h = 123 + -67. Is h a multiple of 28?
True
Suppose -4*l + l = -2*h - 63, 3*l - 3*h - 66 = 0. Suppose -2*s + o = -47, 4*s - 3*s - 5*o - l = 0. Is s a multiple of 8?
True
Let s(w) = -4*w**2 + 3*w - 2. Let h be s(4). Let n = h + 86. Does 12 divide n?
False
Let l(w) = w**2 - w + 2. Suppose 0*o - 3*o + 6 = 0. Is 2 a factor of l(o)?
True
Let m = 88 - 34. Suppose -m = -4*n - q - q, -5*n + 63 = 4*q. Suppose 0 = -j - 4*x + 14, 5*j - 67 = -2*x - n. Is 4 a factor of j?
False
Let l = -2 - 0. Is 14 a factor of l/(-3)*21*2?
True
Let s = -5 + 7. Let m(i) = 2*i**2 - 2*i. Let c be m(s). Suppose 2*b = -f + 14, -c*b + 6*f - f = -42. Is 4 a factor of b?
True
Let c(f) = f**2 - 2*f - 4. Let a be c(4). Suppose 0*z - 192 = -a*z. Is 16 a factor of z?
True
Let h(j) = -j**2 + 21*j - 30. Is 10 a factor of h(13)?
False
Suppose 0 = k + 3, 3*k - 5*k = x + 4. Is (6 - 3 - -22) + x a multiple of 11?
False
Let s(c) = -7*c. Let d be s(-1). Suppose v = -2*p + 4*v - d, 2*p = -3*v - 1. Is 11 a factor of 2*(14/p)/(-1)?
False
Suppose 0 = 3*g + w - 33, 4*w = -3*g + w + 39. Is 5 a factor of g?
True
Let n be (-3)/3 + 24/1. Suppose 143 = 4*w + n. Suppose -7*h + 2*h + w = 0. Does 6 divide h?
True
Let s be (4/6)/((-3)/(-36)). Suppose 3*v = -1 - s, 5*x = 2*v + 136. Does 24 divide x?
False
Let g = -1 + 1. Suppose 3 = y - g. Suppose -y*b - 20 = -74. Is b a multiple of 6?
True
Let c(m) = -m**3 + 16*m**2 + 2*m + 3. Is 25 a factor of c(16)?
False
Let k = 11 + -7. Let j = k - 1. Suppose -j*h - 16 = -46. Is 4 a factor of h?
False
Let y = 3 - 2. Let o be 4/(-10)*(-6 + y). Is o/(-2) + (6 - 0) a multiple of 5?
True
Let s(b) = -b**3 + 10*b**2 - 5*b - 10. Let g be s(9). Suppose -j + r + 7 = -17, -g = -j + 2*r. Is j a multiple of 13?
False
Let q(i) = -i**2 - 12*i + 6. Does 2 divide q(-12)?
True
Let k be (0 - 0) + (-154)/(-7). Suppose 3*r - 89 = k. Does 13 divide r?
False
Suppose 2*u = 47 + 37. Suppose -g + u = g. Does 16 divide g?
False
Is 12/(-18) - 14/(-12)*124 a multiple of 16?
True
Suppose 2*p = 4 + 2. Let j be ((-8)/16)/((-1)/10). Suppose p*k = j*k - 106. Is 15 a factor of k?
False
Let f(w) = 2*w**2 + 3*w + 3. Let s be f(4). Let l = 99 - s. Does 23 divide l?
False
Suppose -x + 2 = -34. Suppose -3*v + x = -v. Is v a multiple of 11?
False
Let c = 5 - 2. Suppose 4*x = c*x + 14. Let s = x - 9. Is 3 a factor of s?
False
Suppose -4*j + 16 = -8*j. Let u = j - -5. Is u/(1/(-63)*-3) a multiple of 6?
False
Let z(r) = -82*r**2 - 32*r + 20. Let i(t) = 33*t**2 + 13*t - 8. Let s(c) = -12*i(c) - 5*z(c). Is 18 a factor of s(2)?
False
Let n(l) = -l**2 - 5*l - 2. Let a be n(-3). Suppose -31 = a*q - 175. Is q a multiple of 14?
False
Let p(h) = -h**3 - h**2 - 2*h + 3. Let b be p(2). Suppose 3*m - 46 = m. Let d = m + b. Is 5 a factor of d?
True
Suppose 5*d - 7*i - 375 = -2*i, -2*d + 4*i = -160. Is d a multiple of 7?
True
Let w(c) = -c**3 + 4*c**2 + 3. Let d be w(3). Does 3 divide d/(-5)*(-55)/22?
True
Let b(u) = -13*u - 2. Let y(n) = -1. Let q(z) = b(z) + y(z). Is 21 a factor of q(-6)?
False
Let d = 6 - 6. Suppose d*k - 4 = -k. Suppose 0 = -3*b + 4*b + 3*u - 6, -3*b = -k*u - 44. Is 11 a factor of b?
False
Suppose i + 4*z = -6, -z - 2 = -2*i + 4. Suppose -i*b + 42 = -b. Is 21 a factor of b?
True
Let x(o) = o**3 + 10*o**2 - 13*o + 16. Let v be x(-11). Suppose z - 5*f - 5 = v, -4*f = 20. Is z a multiple of 6?
True
Suppose -8*u + u + 294 = 0. Does 21 divide u?
True
Let q(g) = 12*g + 3. Let t be q(6). Suppose y + 14 = -5*a + 1, 3*a + t = 5*y. Is y a multiple of 6?
True
Is 12 a factor of 2*29 + 1