Suppose 0 = x*l - i - 20, l - i + 12 = -4*i. Is l even?
False
Let f = -7 + 8. Is 20 a factor of (-2)/(f*2/(-71))?
False
Let m(y) = y + 4. Let x be m(3). Suppose x = f + 3. Is f a multiple of 4?
True
Let j = 79 - 40. Does 8 divide j?
False
Let n(z) = z**3 - 4*z**2 + 2*z + 4. Let d be n(3). Is 19 a factor of d + 64 - (-3 - -5)?
False
Suppose 2*r = -w - 3*r + 15, 2*w + 2*r - 14 = 0. Suppose 0 = -4*x + 5*a - 13, 3*x + 0 = -w*a - 1. Is 7 a factor of 0 - x - 24/(-2)?
True
Let q = -8 - -25. Does 17 divide q?
True
Let o(y) = y**3 - 7*y**2 - 4*y - 6. Let i be o(6). Suppose -3*x - 2 - 1 = 0. Is 2 - x/((-3)/i) a multiple of 12?
True
Let c = -24 - -24. Suppose -5*j + 3*y + 328 = c, -j - 84 = -2*j - 4*y. Is j a multiple of 17?
True
Suppose -u - 81 = -0*u. Let a = u + 148. Suppose 13 = 2*n - a. Is 20 a factor of n?
True
Let v(z) = z**3 + z**2 - 4*z**2 - 2*z - 2*z. Is 10 a factor of v(5)?
True
Let f(r) = 15*r. Let o(q) = 3*q. Let u(k) = 5*f(k) - 24*o(k). Does 18 divide u(6)?
True
Suppose 4*r = -5*i + 166, 3*i - 7*r = -4*r + 105. Is 378/i + (-2)/17 a multiple of 7?
False
Suppose 0 = -5*l - 5, 0*l + 2*l = -5*f + 343. Is 17 a factor of f?
False
Let j be 10/(-2)*(-9)/15. Let t = j - 19. Let h = t - -44. Is h a multiple of 14?
True
Is 0 + 70/2 + -2 a multiple of 11?
True
Suppose h - 9 = -2*h. Does 2 divide 15*h*(-3)/(-27)?
False
Let b = 60 + -36. Is 8 a factor of b?
True
Suppose 16*c - 384 = 12*c. Is c a multiple of 17?
False
Let z = 191 - 65. Suppose -4*n = -3*u + 12, -u - 4*n + 4 = n. Is 4 a factor of u/(-10) + z/15?
True
Let u(f) = -f**3 + 3*f**2 + 3*f - 2. Let o be u(2). Let l(c) = -c + 13. Does 4 divide l(o)?
False
Suppose -3*w + 2*v + 78 = -22, -16 = -4*v. Is w a multiple of 12?
True
Let o(a) = -a**2 - a. Let n be o(0). Suppose -2*f - h + 72 = 0, -f + n*h - h = -38. Is f a multiple of 17?
True
Suppose 2*t + 2*c = -c + 718, 3*c = -4*t + 1436. Suppose 0 = i - 115 + t. Is 15 a factor of 2/(-4) - i/8?
True
Let h be 4 + (2 + -2 - 1). Suppose 0 = -s - 4*p - 2, -2*s + 9 = h*s + p. Is 19 a factor of s + (-3 + 2)*-17?
True
Let n = 107 + -33. Is 17 a factor of n?
False
Suppose 0 = -10*s + 9*s + 3. Let z = 8 + s. Is 5 a factor of z?
False
Suppose 210 - 86 = c. Is c a multiple of 42?
False
Suppose 0 = -4*a - 2*p + 772, 0*a - 2*p + 187 = a. Does 15 divide a?
True
Suppose -2*n - m = 3*m - 28, -17 = 2*n - 5*m. Does 3 divide n?
False
Let a be -4*3*4/(-8). Suppose a*i - 72 = 2*i. Does 6 divide i?
True
Suppose -5*q = -4*q - 5. Suppose n + 14 = 2*w, 5*w - 35 = -q*n + 3*n. Let u = w - -3. Is 6 a factor of u?
False
Let q = -30 - -36. Is 4 a factor of q?
False
Suppose 5*c + 3*s = 129, -2*c + 5*c + 4*s = 84. Suppose -c = -2*a - 0*a. Is 6 a factor of a?
True
Let w(s) = 3*s**2 - 4*s - 24. Is w(6) a multiple of 6?
True
Suppose -4 = -5*l + 21. Let m(f) = -4*f**3 - 6*f**2 - 6*f - 9. Let g(o) = 5*o**3 + 6*o**2 + 7*o + 10. Let d(b) = -5*g(b) - 6*m(b). Is 17 a factor of d(l)?
True
Suppose 2*a - 104 = -5*i, 4*i + 3 = -13. Is 6 a factor of a?
False
Suppose p + 2*p = 4*k - 41, k + 4 = 0. Let r = p + 49. Suppose -r = z - 6*z. Is z a multiple of 4?
False
Suppose 0 = -2*c + 3*q - 96, -c - 2*c - 3*q = 159. Let w = c + 75. Is 24 a factor of w?
True
Let z(a) = a**2 - 4*a + 1. Let m be z(2). Let y be (23/(-3))/(m/9). Does 15 divide 2/(-2) + y + 0?
False
Let o(x) be the second derivative of 1/20*x**5 - 2*x - 7/2*x**2 + 0 - 5/12*x**4 - 7/6*x**3. Is 13 a factor of o(7)?
False
Let d(l) = l**3 - 5*l**2 + 6*l - 5. Let v be d(4). Suppose -4*g = 0, -2*g - v*g = -5*p + 65. Is p a multiple of 13?
True
Let s(p) = p**2 + 28*p + 33. Is s(-28) a multiple of 8?
False
Suppose 4*z - 51 = z + a, 3*a + 17 = z. Is z a multiple of 9?
False
Suppose 1 = -4*q + 161. Is 10 a factor of q?
True
Suppose -86 - 2 = -4*u. Is 3 a factor of u?
False
Does 17 divide 3 + (-4)/(12/(-51))?
False
Suppose 2*a - 4*x + 0*x - 4 = 0, 0 = 2*x - 8. Is 8/a*(18 + -3) a multiple of 12?
True
Let k = 4 + 1. Is k a multiple of 4?
False
Suppose 13*q + 130 = 18*q. Is q a multiple of 5?
False
Let d be 2 - 3/(6/4). Suppose 0*w - w = 12. Does 12 divide (d - 2)/(2/w)?
True
Let q = 5 - 0. Suppose 7*d = q*d + 84. Is d a multiple of 11?
False
Let g(b) = -2*b**2 + 294. Does 21 divide g(0)?
True
Suppose -3*g + 658 = 4*g. Does 13 divide g?
False
Let q(g) = g**2 - 3*g - 3. Let s be q(3). Let i be ((-8)/s)/((-1)/(-24)). Let t = i + -22. Does 14 divide t?
True
Suppose -3*o = 3, 6*s - o = 2*s + 325. Does 26 divide s?
False
Let i(z) be the first derivative of -3*z**2/2 - 2*z - 5. Let o(m) = -m**2 + 7*m + 2. Let n be o(8). Is 8 a factor of i(n)?
True
Is 9 a factor of (-42)/(-63) + -2*(-122)/12?
False
Let o(s) = 2*s**2 - 5*s - 9. Is 7 a factor of o(6)?
False
Suppose -4*l + 2*l = -80. Let j = 77 - l. Does 13 divide j?
False
Let b = 105 - 71. Let g = b + -22. Is 6 a factor of (2/(-4))/((-1)/g)?
True
Let i(t) be the second derivative of 5*t**3/6 - 13*t**2/2 - t. Does 11 divide i(7)?
True
Suppose 2*j = 7*j - u - 417, 2*u = -3*j + 258. Does 7 divide j?
True
Let a(n) = -4*n - 9. Let c be 2 - (0 - 0)*1. Suppose 4*k + 34 + c = 0. Does 16 divide a(k)?
False
Let c(r) = -r**3 + 14*r**2 - 14*r + 13. Let g be c(13). Suppose g = b + b, 2*v = 5*b + 18. Is 3 a factor of v?
True
Let z be 0*1/9*3. Let r = z - -4. Suppose -r*h + 64 = -2*h. Is h a multiple of 16?
True
Let m(p) = 2*p + 3. Let u(r) = 3*r. Let h be u(1). Is 8 a factor of m(h)?
False
Suppose f = -f + 6. Suppose 7*p - 2*p = 0, -f*d + 4*p + 9 = 0. Does 6 divide 11 + -3*(-1)/d?
True
Suppose -5*d - 21 = -136. Suppose -3*w - 5*h + d = 0, 0*w - 2*w + 17 = 3*h. Suppose -z + b + 7 = -w, -4*z = -3*b - 89. Does 11 divide z?
False
Suppose -d + 0*d = 4*f, 3*f = -4*d. Suppose f = -4*h + h + 96. Is 16 a factor of h?
True
Let p(o) = -1 - 1 - 58*o + 2 - 1. Is p(-1) a multiple of 15?
False
Let g = -4 + 3. Let k = -5 - g. Does 9 divide 34/(-6)*(1 + k)?
False
Let w(p) = -7*p**3 + 13*p**2 - 6*p - 14. Let c(z) = 20*z**3 - 38*z**2 + 18*z + 41. Let s(j) = 6*c(j) + 17*w(j). Does 4 divide s(6)?
True
Let w(m) = m**2 + 2*m + 2. Let k be w(3). Suppose -4*l + 4*d + k = -l, -3*l = -3*d - 21. Is l a multiple of 9?
False
Does 14 divide 1*60/3 - 1?
False
Let z(i) = -11*i**2 - 2*i. Let k be z(-2). Let x = 67 + k. Is x a multiple of 9?
True
Let z be 1/(((-8)/6)/(-4)). Suppose -z*r = -8*r + 40. Does 8 divide r?
True
Let l(c) = c. Let v = 22 - 36. Let z = -9 - v. Does 5 divide l(z)?
True
Let k = 90 - 70. Is 5 a factor of k?
True
Let d(f) = -2*f - 1. Let o be d(-1). Suppose 39 = 3*a + 5*g, -a + 16 = g + o. Does 9 divide a?
True
Suppose 0 = -2*s - 4*t + 70, 0*s - s - 4*t = -29. Does 15 divide s?
False
Suppose -7 = -0*l - l. Let n = 17 - l. Does 10 divide n?
True
Is (1 - 34/30) + (-17017)/(-165) a multiple of 28?
False
Let p(x) be the second derivative of -x**3/6 + 9*x**2/2 - 2*x. Is 3 a factor of p(4)?
False
Suppose 0 = h + 10*h - 88. Is 8 a factor of h?
True
Suppose -3*u + 4*h - 26 = 0, -h + 4*h + 24 = -5*u. Let a(k) = -9*k - 7 - 5*k + 7*k - k. Is a(u) a multiple of 18?
False
Suppose 0 = -3*p - 3*p - 204. Does 3 divide (6/(-4))/(17/p)?
True
Suppose -12 = x - 3*x. Is (-16)/3*x/(-1) a multiple of 16?
True
Suppose 3*u + 2 = -4*a, -2*u - 28 = 2*u - a. Is 2 a factor of ((-9)/(-6))/(u/(-16))?
True
Let h(f) = -12*f**3 - 2*f**2 + 9*f + 9. Is 24 a factor of h(-3)?
True
Suppose -36 = -3*a + 30. Is a - (3 + 0 + -3) a multiple of 11?
True
Let y be (-16)/(-40) + 126/10. Suppose 0 = p - 0*p - y. Is p a multiple of 7?
False
Suppose 3*c - 529 = 119. Suppose -2*b + c = 5*d + 7, -5*b + 157 = 4*d. Is d a multiple of 28?
False
Let i be (8/6)/((-2)/39). Let v = -8 - i. Is v a multiple of 6?
True
Let o be (-12)/((-1)/(-2) - -1). Let d be (o/5)/(4/(-100)). Suppose -2*a + d = -a. Is a a multiple of 23?
False
Suppose -2*m - 5 - 11 = 0. Let k be (2 + m)/(-4 + 2). Suppose k*q - 28 = 17. Is q a multiple of 15?
True
Let w be 4 + -2 + 0 - 2. Let h = w - -3. Suppose -11 = -h*a + 10. Is 5 a factor of a?
False
Let r(j) = -j**3 + 4*j**2 + 4*j + 4. Let w be r(5). Let l(u) = -u - 1. Let o(c) = -6*c + 5. Let s(v) = 5*l(v) + o(v). Does 4 divide s(w)?
False
Suppose 2*h + 2*x - 2 = -6, 2*x + 16 = 4*h. Suppose h*i - 34 = -4*w, 2*i = 6*i - 2*w - 68. Is i a multiple of 6?
False
Is 2290/14 + 2 - (-16)/(-28) a multiple of 15?
True
Suppose 11 = 2*j - 3*p, 6*p = 3*p + 9. Does 9 divide j?
False
Let s(k)