
Let a = 0 + 1. Suppose 3*v = -5*b + 199, 0 = 5*b - 7*v + 2*v - 175. Let l = a + b. Is 11 a factor of l?
False
Suppose 5*w + 1 - 26 = 5*k, -w + 4*k + 14 = 0. Suppose 132 = w*r + p - 185, 5*r + 4*p = 785. Suppose -5*f - r = -436. Is 15 a factor of f?
False
Suppose 0 = -5*a - 21 - 9. Let y(j) = j**2 + 2*j - 4. Let c be y(a). Suppose b = 0, -4*n - 3*b = -7*b - c. Is 4 a factor of n?
False
Suppose 4*p - 9*p = 0. Suppose -5*s + 64 = 4*r + 4, p = -2*s + 4*r - 4. Is s a multiple of 5?
False
Let f be 1*(-1 + (2 - 1)). Suppose f = -3*w + 4*w - 35. Suppose -5*i = -0*i - w. Does 7 divide i?
True
Let s be 6/4 + (-5)/(-10). Suppose -2*o - s = -30. Is 9 a factor of o?
False
Suppose 2*z - 67 = -4*h - z, 7 = h + 4*z. Suppose -5*r = a - 3 - 46, r + h = a. Suppose -a = -2*d + 4*i + 28, 80 = 3*d - 4*i. Is 14 a factor of d?
True
Let b(s) = -s**2 + s + 10. Let l = -20 + 20. Is 10 a factor of b(l)?
True
Let m(n) = 3*n**2 - 1. Let y be m(-1). Suppose 3*w - 4 - 14 = 0. Suppose 0 = -y*x - x + w. Is x even?
True
Suppose 41*x - 432 = 38*x. Is 9 a factor of x?
True
Suppose -5*l = -3*y - 35, -12 = 5*y + 13. Suppose -2*h - 8 = 0, l*r + 8 = 5*r + 3*h. Is 10 a factor of r?
True
Let n(c) = 2*c**3 + 4*c**2 - 3*c - 8. Let s(k) = -k**3 - 3*k**2 + 2*k + 7. Let v(f) = 2*n(f) + 3*s(f). Is v(0) a multiple of 2?
False
Let p(h) = -h**3 - 2*h**2 + 4*h + 3. Let l be p(-3). Let z = 0 - l. Does 10 divide (z + 35)*8/10?
False
Let b = -106 + 480. Is 14 a factor of b?
False
Let o be 77/6 - 1/(-6). Let i = o - -3. Is i a multiple of 8?
True
Let r(q) = -q**3 + 2*q**2 + 2*q + 3. Let s be r(3). Suppose s = -g + 4 + 4. Suppose -3*i - 5*z + 25 = 0, -2*z = -5*i + 29 - g. Is 4 a factor of i?
False
Let i(v) = -v**3 + 6*v**2 - 3*v - 7. Let w be i(5). Let j = 58 - 15. Let a = j + w. Is 23 a factor of a?
True
Let q be (71/2)/(8/(-16)). Let i = -45 - q. Is 13 a factor of i?
True
Let z(l) = 3*l**2 - 3*l + 3. Let j be z(3). Suppose -3*a = -2*a - j. Is 12 a factor of a?
False
Let x(j) = -4*j**2 - 4*j. Let v(q) be the first derivative of -5*q**3/3 - 5*q**2/2 + q + 1. Let k(c) = -5*v(c) + 6*x(c). Is k(-4) a multiple of 7?
True
Suppose -c + 2 = -4*g + 54, -5*g - c + 74 = 0. Does 14 divide g?
True
Let d(k) = -2*k**3 - 8*k**2 - 8*k - 11. Is 44 a factor of d(-6)?
False
Let t(b) = 121*b**2 + b + 2. Is t(-1) a multiple of 18?
False
Let v(g) = -g**3 - 3*g**2 - 2*g. Let l be v(-3). Suppose 4*s = 3*m, -l*m + 35 = -m + 5*s. Suppose -4*d + 1 = 13, m*d - 27 = -n. Does 12 divide n?
False
Suppose 5*m - 32 = m. Let z = m + 19. Is 9 a factor of z?
True
Let a(o) = -o**3 - o**2 - o. Let r(z) = -4*z**3 + 3*z**2 - 2*z - 1. Let u(j) = -3*a(j) + r(j). Let m be u(6). Let s = m - -11. Does 16 divide s?
True
Let r be 1692/(-27) - (-2)/3. Does 14 divide r*(1 + 9/(-6))?
False
Suppose -14 - 2 = -x. Is x a multiple of 16?
True
Let r be 5 + -3 - (-48 - 1). Suppose 5*d - r = -3*m, 6*m - 75 = m - 5*d. Is 12 a factor of m?
True
Let v(s) = 4*s**3 + 3*s**2 - s - 2. Let a be v(-2). Let h = a - -32. Does 5 divide h?
False
Let f(m) = -m - 3. Let y be f(-5). Let g(x) = 5*x - 5*x - 11*x - x**y + 4. Does 3 divide g(-11)?
False
Let r = -301 + 466. Is 15 a factor of r?
True
Suppose 2*j = v - 33, -v = -2*j + 3*j - 18. Is 19 a factor of v?
False
Suppose -3*k + 0*k - 4*h - 44 = 0, 0 = -k + 4*h + 12. Let t = -23 - k. Does 3 divide (-34)/(-6) + (-5)/t?
True
Suppose 3*l - 63 = 3. Let w = l - 9. Is 6 a factor of w?
False
Let x be (-2)/2*(-9 - -4). Let r be (2 + 72/(-15))*x. Let c = -10 - r. Does 3 divide c?
False
Let j be -56*((-21)/12 + 1). Let t = 78 - j. Does 16 divide t?
False
Let o = 10 - 6. Suppose -3*x = o*z + 137, z = 5*x - 2*z + 209. Let t = x - -67. Is t a multiple of 8?
True
Suppose 4*p - 5*f - 4 = -1, 0 = 5*f - 25. Is p even?
False
Let b(l) = 7*l**2 + 7*l + 4. Let t(m) = 48*m**2 + 48*m + 27. Let n(d) = -27*b(d) + 4*t(d). Is n(-2) a multiple of 6?
True
Let x(d) = -d**2 + 6*d + 9. Let q be x(7). Let u(r) = 4 + q*r + 0*r + 3*r. Does 12 divide u(4)?
True
Let t(j) = -2*j**2 + 9*j - 11. Let z(h) = h**2 - 4*h + 5. Let k(p) = 6*t(p) + 14*z(p). Is 17 a factor of k(-4)?
False
Suppose 0 = -2*j - j. Suppose -3*r + 9 = -3*n, 2*r - 7*r - n - 15 = j. Does 5 divide r + (1 + -8)/(-1)?
True
Is 18 a factor of (37/(-2))/((-4)/8)?
False
Let t(h) = -3*h**2 + 3*h + 3. Let j(y) = -3*y**2 + 3*y + 2. Let g(i) = -5*j(i) + 4*t(i). Does 10 divide g(3)?
True
Let s(u) = u**3 - 5*u**2 + 6*u + 6. Is s(5) a multiple of 12?
True
Suppose -3*g = -12 + 6. Suppose 106 = -0*k + 4*k - g*m, -2*m + 50 = 2*k. Is k a multiple of 9?
False
Let a = -7 - -20. Is 13 a factor of a?
True
Is 7 a factor of (-5)/(30/6)*(-62 - -1)?
False
Let v = -18 + 12. Let d(r) = -r**2 - 8*r + 7. Is 12 a factor of d(v)?
False
Is (-1)/(-3)*51 + 0 a multiple of 10?
False
Does 3 divide 49/7 + (-1 - 0)?
True
Let m(u) = 2*u - 8. Let b(t) = -t**3 - t + 3. Let p be b(0). Suppose p*a - 40 = -19. Does 4 divide m(a)?
False
Let b(p) = -p**2 - 12*p + 3. Suppose -38 = 3*f - 11. Is b(f) a multiple of 6?
True
Let f = 60 - 102. Let s(m) = -m**2 - 6*m - 7. Let k be s(-5). Is (k/6)/(2/f) a multiple of 2?
False
Suppose -134 = -2*o - 5*q + 129, 2*o - 4*q - 272 = 0. Suppose -j = 3*j + 4*a - 172, -2*a = 3*j - o. Does 24 divide j?
True
Let s = 21 - 12. Is 2 a factor of s?
False
Let x(h) = h**3 + h**2 + 2*h - 8. Let t be x(0). Let m(o) = -o**2 - 9*o + 12. Is 20 a factor of m(t)?
True
Let b(s) = -5*s. Let v be b(-1). Suppose v*p - 22 = 3*p. Let z = 1 + p. Is 12 a factor of z?
True
Suppose -2*g - 2*p = 4, -6*p + p - 10 = g. Is 23 + (1 - -1 - g) a multiple of 25?
True
Let g(c) = -4*c + 10. Let v(r) = -5*r + 11. Let w(l) = -3*g(l) + 2*v(l). Let p be w(6). Suppose p*t = 2*a - 15 - 1, 5*a = t + 40. Is a a multiple of 4?
True
Let f = -8 + 13. Suppose 3*s = -3, f*s = -4*t + 20 - 1. Is t even?
True
Let o(j) = j + 28. Is o(9) a multiple of 36?
False
Let x(g) = g**3 + 2*g**2 + g + 61. Does 18 divide x(0)?
False
Let m(o) = 6*o + 1. Let q be (1 + 0)*(-1 + 2). Let w be 6 - (3/(-3) + q). Is 13 a factor of m(w)?
False
Does 10 divide 5/(15/(-6)) - -34?
False
Let l(s) = -s**3 + 11*s**2 - 18*s - 1. Does 17 divide l(8)?
False
Let v be (4/(-10))/((-3)/(-30)). Let x be (1 + 8)*v/(-12). Suppose 0 = -5*r - 20, 2*r - 7*r + 52 = x*s. Does 12 divide s?
True
Let h(q) = 45*q**2 + 4*q + 2. Is 12 a factor of h(-1)?
False
Is 1/((-129)/33 - -4) a multiple of 2?
False
Suppose -4*s - 2*u - 3*u + 994 = 0, -500 = -2*s - 4*u. Let a = -157 + s. Suppose 2*q = -33 + a. Does 8 divide q?
False
Suppose -v = -3*v + 8. Let c = 2 + v. Is c a multiple of 5?
False
Let r be (-1)/(-1 - 6/(-8)). Is 25 - 2/4*r a multiple of 10?
False
Suppose 2*z = 81 + 29. Is 14 a factor of z?
False
Let f(z) = 14*z**2 + z - 1. Suppose -g + 6*g = s + 7, 3*g + 4*s + 5 = 0. Is f(g) a multiple of 14?
True
Let y = -18 - -33. Does 15 divide y?
True
Let r be (-2 + 1 + 1)*1. Suppose r = 3*g - 7*g. Does 14 divide 13 + 1 + (g - 0)?
True
Let o = 2 + -3. Let a = o + 6. Is 13 a factor of a*1/((-5)/(-26))?
True
Suppose -2*u + 39 = 2*x - 5*u, -u = 5. Does 6 divide x?
True
Does 8 divide 3 + -2 + 161/7?
True
Suppose 4*a = a - 12, 0 = n + 3*a - 27. Does 13 divide n?
True
Let h be (9/6)/((-15)/(-40)). Suppose d + 0 - h = 0, 4*q + 5*d - 284 = 0. Is 11 a factor of q?
True
Is 22 a factor of 3 + 1 + -4 + 51?
False
Is 14 a factor of (8 - -1)/(6/28)?
True
Let d(n) be the third derivative of 5/6*n**3 + 1/12*n**4 + 4*n**2 + 0 + 0*n - 1/120*n**6 - 1/10*n**5. Is 20 a factor of d(-7)?
True
Is 15 a factor of (4 + (-56)/20)*25?
True
Suppose 6 = -3*a + 4*h, a + 2*a + 2*h = -24. Let s(b) = b**2 + 3*b + 9. Let d(v) = -v. Let p(i) = 6*d(i) - s(i). Is p(a) a multiple of 8?
False
Let x(y) = y**2 - y - 1. Let i be x(-2). Suppose 0 = -2*b + t + 395, i*t = -b - b + 425. Suppose b = 3*w + w. Is w a multiple of 25?
True
Let b = 6 - 2. Suppose b*t - 3 - 5 = 0. Suppose 4*z - 98 + t = 2*y, 0 = -2*z - 3*y + 48. Is z a multiple of 11?
False
Suppose -3*y - 40 = 4*r, -2*y + 7 = r + 3*y. Let d = r - -24. Let a = d - 2. Is 4 a factor of a?
False
Is (-1177)/(-7) + (-1)/7 a multiple of 15?
False
Let i be (-468)/8*(-2)/3. Suppose 2*r + 8 = 3*c, -4*c + 0*r - 3*r = -i. Does 3 divide c?
True
Suppose -2*l + 271 = 5*n - 502, 5*l - 2*n = 1860. Is 34 a factor of l?
True
Let j = 10 - 10. Does 3 divide -3 - ((-2 - j) + -11)?
False
Is (16 - 14)/((-46)/(-22) - 2) a m