rue
Let u(m) = -2*m**3 - 2. Let h = -2 - 0. Is u(h) a multiple of 4?
False
Let b be 3/(-3 - (-3 - 1)). Suppose 0 = b*g - 5*m - 56, -g - 2*m = -m - 24. Does 11 divide g?
True
Suppose -25*k = -23*k - 126. Does 20 divide k?
False
Suppose -5*y - 29 = 4*r, -2*r - 2*r = 3*y + 19. Suppose 2*b + 460 = 4*l, -3*b - 694 = -0*b - 5*l. Is r/(-4) + b/(-8) a multiple of 15?
True
Let d(o) = -2*o**3 - 2*o - 1. Let t be d(-1). Suppose -c = -2*q + 12, 2*q + t*q - 4*c = 24. Does 3 divide q?
False
Suppose -3*x - x = -28. Suppose 3*s + 4 = x. Suppose -2*m = 4*d - 24, -5*m + d = -50 + s. Does 5 divide m?
True
Let m be 2*(-2)/(-12)*15. Let k(n) = -n**3 + 4*n**2 - n + 2. Let h be k(m). Does 14 divide (-496)/h - 4/(-14)?
False
Suppose -4*d + 0*d + 5*u + 2 = 0, -13 = -d - 5*u. Suppose -d*b - 4*p + 117 = 0, -b - 5*p + 114 = 2*b. Suppose -4*i + 93 = -b. Does 17 divide i?
True
Let p(z) = z + 1. Let b = -4 + 5. Let d be p(b). Suppose -d = -3*x + 13. Is x even?
False
Let f(i) = 2*i**3 - 3*i**2 + 5*i. Is 5 a factor of f(3)?
False
Let b = -10 - -28. Suppose -3*z + b = -21. Is 6 a factor of z?
False
Let k be 2 + -1 + 0 + 5. Suppose 0 = 4*q - c - 199, 0 = 2*c - 0 + k. Does 21 divide q?
False
Let k = 1 + 0. Let j be (-1 - k)*5/10. Let d = j + 5. Does 2 divide d?
True
Suppose 3*i + 3*z - 1077 = 0, -8*z = i - 5*z - 357. Is 30 a factor of i?
True
Suppose 3*u - 2*z = 459, 3*u - 509 + 41 = 5*z. Is u a multiple of 33?
False
Let l(t) = t**2 - 9*t + 3. Let a be l(9). Suppose a*m + 2*m = 0. Suppose 2*w + 0 - 24 = -2*s, -3*s - 4*w + 35 = m. Is 13 a factor of s?
True
Let t = 11 + -2. Let z(k) = k - 3. Does 4 divide z(t)?
False
Let i = -2 + 17. Is i a multiple of 2?
False
Let y be 5/(-3) + 2/3. Let u(v) = -12*v**3 - v**2 - v - 1. Does 7 divide u(y)?
False
Let f = 14 + -13. Let i(y) = 55*y - 1. Is 18 a factor of i(f)?
True
Let o(g) = 3*g - 1. Let b be o(2). Suppose 0 = -2*j - 0*j + 4*k + 16, -7 = 4*j + b*k. Suppose -4*p + 5*p + 3*n - 14 = 0, 0 = j*n - 8. Is p even?
True
Let y = -9 - -9. Does 8 divide 3 + (y - -3) - -2?
True
Suppose -4*a - 27 = -4*h + 21, -2*h = 5*a + 11. Suppose -2 = 2*m - 4. Let n = h - m. Is n a multiple of 6?
True
Let x = -9 + 4. Let j be ((-2)/x)/((-6)/(-90)). Suppose 0 = l - 1, l + j = g - 2*l. Is 9 a factor of g?
True
Suppose 2*q + 2*q = 8. Let k be -2 - q/(1 + -2). Suppose -a + 0 + 9 = k. Is a a multiple of 8?
False
Let p(l) = 4*l**2 - l**3 - 3*l - l**2 - 2*l + 2. Let f(n) = n**3 - 2*n**2 + 4*n - 1. Let t(w) = -5*f(w) - 4*p(w). Is t(-3) a multiple of 6?
True
Let z be (0 - -1) + 2 - 3. Let m = 6 + -4. Does 3 divide m + z + 8/2?
True
Let q be (6/10)/(3/(-15)). Let b(t) be the second derivative of t**4/12 - t**3/6 + t**2 + t. Does 10 divide b(q)?
False
Let x(w) = -7 + 3 + 7 + 2*w**2 + 15*w - 2. Does 17 divide x(-10)?
True
Let u = 4 + -1. Let g = u + 3. Is g a multiple of 6?
True
Suppose -2 = 2*q - q - 5*u, 5*q = -u - 10. Let m(c) = c**2 - c + 1. Is m(q) even?
False
Suppose 4*i - 22 = y, 4*i - 32 = -i - y. Suppose 2*g = i, -4*q + 3*g + 27 = -40. Is 19 a factor of q?
True
Is 15 a factor of 1/((-2)/(180/(-3)))?
True
Let d = -7 + 10. Suppose 0 = -d*n - r + 161, -r + 112 = 2*n + 2*r. Does 14 divide n?
False
Suppose -2*p = 5*q - 6*q + 39, 3*q - p - 137 = 0. Does 2 divide q?
False
Let k(d) = d - 9. Let s be k(9). Suppose s = -2*p - 4*h + 26, 3*h + 0*h - 6 = 0. Is -4 + p + 2*-1 even?
False
Does 23 divide (575/(-5))/(0 + 1 - 2)?
True
Let o(i) = -24*i**3 + i**2 + i + 1. Let k be 6/9*(-3)/2. Is 13 a factor of o(k)?
False
Let s(t) = 4*t - 1. Let y be s(1). Let h(o) = -y*o + 8 + 2*o + 0*o. Does 8 divide h(0)?
True
Suppose 5*u - 3*o - 1339 = 0, 0 = -u - 0*o - 3*o + 257. Is 11 a factor of u?
False
Let w = 23 + 10. Let b = w + -17. Is b a multiple of 9?
False
Let k = -12 + 37. Suppose -u = -31 - k. Suppose -2*q + u = -0*q. Is q a multiple of 14?
True
Suppose -3*y = -5*m + y - 4, 0 = -4*m + 4*y. Does 18 divide (6*m)/((-16)/24)?
True
Suppose 33 = m - 2*x, -3*m = -m + 5*x - 30. Is 7 a factor of m?
False
Let u(t) = 4*t - 9. Let y be u(6). Does 16 divide (1 - -2)*80/y?
True
Let d(p) = p**2 + 3*p + 1. Let v be d(-4). Suppose 2*k + 2*z + 9 + 3 = 0, v*k + 80 = 5*z. Let q = k - -21. Is 5 a factor of q?
True
Suppose -5*v = 3*n - 244, v = 5*n - 0*n - 388. Suppose p = -p - n. Let b = -24 - p. Does 12 divide b?
False
Does 19 divide 3 - 5 - -244 - -5?
True
Suppose -2*k - 2*s = -3*k + 6, -2 = s. Let z(o) = 2*o**3 - 7*o**k + 1 + o**3 - 2*o**3 + 8*o. Does 13 divide z(6)?
True
Does 35 divide 20/(-110) - 2/((-22)/1113)?
False
Let b be -2 - -2 - -8*1. Let r be 58/b*(-2 + 6). Let l = 50 - r. Does 21 divide l?
True
Let j(p) = p**3 - 6*p**2 + 7*p. Does 10 divide j(5)?
True
Let f(y) = -y**3 + 8*y**2 + 11*y + 2. Let r be f(9). Suppose -2*h - q + r = 0, -2*h = -h - 3*q - 17. Let c = h - -6. Does 17 divide c?
True
Let s be 3 + 0/(-3) + 71. Suppose 0 = -0*j - j + s. Suppose 137 = 3*b - 4*z, 3*b = -2*z + 87 + j. Is b a multiple of 17?
True
Let l be ((-48)/20)/(2/(-15)). Let k = -11 + l. Does 5 divide k?
False
Let w be 2/6*(0 + 6). Suppose c - 54 = -w*v, -c - 8 = 3*c. Is v a multiple of 7?
True
Suppose -z + 10 = -2*l + z, -3*z + 3 = -l. Let t(p) be the second derivative of -p**4/12 - 5*p**3/3 + p**2/2 + p. Is t(l) a multiple of 9?
False
Suppose f + 4*g + 14 = 0, 16 = -f - 4*f - 2*g. Let c be (-54)/(-4) + f/4. Suppose -2*u + c = -33. Is u a multiple of 17?
False
Let w = 28 + -18. Is 5 a factor of w?
True
Suppose -l - 3*f = 3*l + 1, -3*l - 2 = f. Let j(t) = -23*t + t - 4*t. Is 13 a factor of j(l)?
True
Let x = -5 + 7. Suppose -j = -x*j - 3. Is 12 a factor of ((-36)/(-2))/(j/(-4))?
True
Let l(m) = -19*m. Let f be l(-3). Does 21 divide 2 + f + (-32)/(-8)?
True
Suppose 4*q + 4*n = 2*n - 24, -4*q - 38 = -5*n. Let h(s) = -1 + 6 - 5*s + 7 - 3. Does 22 divide h(q)?
True
Suppose -5*p + 9 + 1 = 0. Suppose -p*b + k = -0*b + 21, -5*b = 3*k + 36. Is (-4)/6 + (-69)/b a multiple of 6?
False
Let g(m) = m**3 + 5*m**2 + m - 4. Let n(l) = l - 11. Let k be n(7). Is g(k) a multiple of 8?
True
Let g(t) = 59*t + 3. Is g(2) a multiple of 18?
False
Let o be (-108)/(-20) - (-4)/(-10). Suppose 3*q + 17 + 12 = v, -109 = -o*v + 3*q. Is v a multiple of 8?
False
Suppose -4*k + 5*v - v = -64, -4*k + v + 73 = 0. Does 7 divide k?
False
Let x(r) = 21*r + 1. Does 11 divide x(1)?
True
Does 4 divide 4 + (-3 - -1) - -2?
True
Suppose 15 = -4*s - 1. Let w(k) be the first derivative of k**4/4 + 2*k**3 + 2*k**2 - k - 1. Is 9 a factor of w(s)?
False
Let j = 19 - 15. Does 2 divide 2/j - (-40)/16?
False
Let u = 11 + -15. Does 10 divide 14/1*(-6)/u?
False
Let p = 27 - -19. Is 10 a factor of p?
False
Let y be -39 + 1/(-2)*0. Let t = 49 - 72. Let r = t - y. Is 6 a factor of r?
False
Suppose -47 = -5*g - z, 4*z = -3*g - z + 37. Suppose -g = -3*y + 3. Is y a multiple of 4?
True
Let l = 106 - 71. Let r be ((-3)/(-6))/(1/138). Let z = r - l. Is z a multiple of 17?
True
Suppose u - 5 = -7. Let z be u/(-11) + (-84)/(-22). Suppose -z*r + 4*y + 84 = 0, 4*r - 5*y - 62 = 26. Is r a multiple of 7?
False
Suppose -705 = -2*v - 5*f - 275, 5*f = -v + 210. Is 42 a factor of v?
False
Let q = -10 + 17. Let x = 13 - q. Is x even?
True
Suppose -4*u + 4*n + 11 = -3*u, -2*u - 4*n - 26 = 0. Let m be 3 + -1 + (-3 - u). Is 8 a factor of m/14 + 324/42?
True
Suppose -4*t = -5*t + 3. Suppose 2*y + 4*r = 82, 2*r = -t*y - 3*r + 120. Is 14 a factor of y?
False
Let a(b) = b - 3. Let h = 15 - 2. Let r = h - 7. Is a(r) a multiple of 2?
False
Does 10 divide (-3)/(-5) + -1 + (-337)/(-5)?
False
Suppose 2*b - w = 52, -2*b = -0*w + w - 52. Suppose 5*x + 84 = -2*y, -17 = -3*x - y - 67. Let h = b + x. Is h a multiple of 10?
True
Let y be 79/4 - 8/(-32). Suppose 44 = -m - 3*c, 2*c - 3*c = 0. Is 2 a factor of m/(-10) - 8/y?
True
Suppose 0 = 2*v + 2*v + x - 249, 3*v + x = 188. Let l(y) = -5*y**3 - 2. Let c be l(2). Let b = c + v. Is b a multiple of 14?
False
Let r(q) = q - 4. Let m be r(6). Suppose -m = -2*s + 2. Is s even?
True
Suppose -6*f = -4*f - 32. Let o = f + -10. Is o a multiple of 2?
True
Let z be (-4)/12 - 68/(-6). Suppose z = g - 19. Is g a multiple of 15?
True
Let j = 5 + -16. Let t(c) = 3*c**2 + 13*c - 15. Let a be t(j). Suppose 3*b - a = -2*b. Is 19 a factor of b?
False
Suppose 1 = -2*m + 5*l, -4*m = -2*m + 3*l + 9. Let x be (-741)/(-9) + 1/m. Let y = x + -25. Is 15 a factor of y?
False
Sup