
Let i = -136 - -211. Is 17 a factor of i?
False
Suppose 2*k = 3*g + k - 166, 300 = 5*g + 3*k. Is 9 a factor of g?
False
Let b(z) = -z - 11. Let j be 4/(-20) - 49/5. Let r be b(j). Let s(k) = -17*k - 1. Is s(r) a multiple of 12?
False
Let i = 13 + -9. Suppose 180 = i*r + 4*a, a + 125 = 3*r - a. Is 11 a factor of r?
False
Let o(s) = 2*s**2 - 23. Is o(-6) a multiple of 7?
True
Is 22 a factor of ((-18)/4)/((-4)/72)?
False
Suppose -2*c + 16 - 2 = 0. Suppose 5 + c = h. Suppose 2*x - 72 = -3*x - 2*t, -t = x - h. Is x a multiple of 8?
True
Let i(m) = 3*m**2 + m + 4. Suppose 5*r = -a + 9 + 1, 3*r = 5*a + 34. Does 22 divide i(a)?
False
Let j be 12/(-30) - (-24)/(-15). Is 1*j + 27 + -2 a multiple of 20?
False
Suppose 0*u - 3*u + 20 = -2*p, 0 = -5*p + 25. Is u a multiple of 10?
True
Suppose -5*y - 4*h + 46 = 0, y - 2*h - 11 = -h. Does 5 divide y?
True
Suppose 2*r - 2*m - 38 = -0*m, -3*r = 2*m - 72. Is r a multiple of 11?
True
Let c = 12 - -7. Is c a multiple of 4?
False
Is -22*(3 + (-45)/10) a multiple of 11?
True
Suppose c - 5 = -2. Is (-52)/(-10) - c/15 a multiple of 2?
False
Let v = -24 + 18. Let i = 6 - v. Is 4 a factor of i?
True
Suppose 3*g - 9 = c + 4, 3*g = 4*c + 34. Let b(k) = 4*k + 20. Let z(y) = 3*y + 13. Let j(d) = c*z(d) + 5*b(d). Does 6 divide j(-12)?
False
Let i be ((-66)/2)/(-3) - -1. Suppose i - 2 = -5*s. Is 14 a factor of (6/9)/(s/(-42))?
True
Let x be 42/8 + (-3)/12. Suppose x*h - 13 = 4*o + 7, -4*h - 10 = 2*o. Suppose 5*q - 7*q + 30 = h. Is 15 a factor of q?
True
Let f(j) = 9*j**2 - j. Let k be f(-1). Let n be 434/k + (-2)/5. Suppose n = 4*u - 13. Is u a multiple of 7?
True
Let c(f) = 2*f**2 - 3*f + 11. Is 27 a factor of c(-4)?
False
Suppose -25 = -6*f + f. Let d(p) = -p**3 + 7*p**2 - 6*p + 4. Is d(f) a multiple of 6?
True
Suppose 0*b + 4*b = 32. Suppose -7*k = -6*k - b. Is 4 a factor of k?
True
Does 18 divide -2*6/(-3)*11?
False
Let r = -185 + 131. Let f = -29 - r. Does 4 divide (-44)/(-5) + 5/f?
False
Suppose 14*d - 86 = 12*d. Is d a multiple of 13?
False
Suppose t - 2 = 0, 3*f + f - 162 = -5*t. Is 7 a factor of f?
False
Suppose -35 = -2*w + 25. Does 14 divide w?
False
Suppose -9*z - 70 = -4*z. Is (-6)/21 - 284/z a multiple of 10?
True
Let c(t) = 7*t**2 + 5*t + 2. Let d(k) = k**2 + k + 1. Let b(z) = -c(z) + 6*d(z). Let q be b(3). Is 11 a factor of (8 - -3)*(-2)/q?
True
Let j(g) = g**3 - 5*g**2 - 4*g + 2. Is 18 a factor of j(7)?
True
Let m = -6 - -22. Is (-1)/(m/(-14) - -1) a multiple of 7?
True
Suppose -3*g - 2*g = -3*j - 23, -5*g = j - 19. Suppose -4*h + 24 = -8*h. Let r = j - h. Is r a multiple of 3?
False
Suppose -4*k + 366 = -134. Is k a multiple of 25?
True
Is 16 a factor of 81 - ((-2)/(-1) - 1)?
True
Suppose 3 = 4*n - 5. Suppose -n*l = -4*l + 80. Is l a multiple of 20?
True
Let c = -29 + 49. Suppose 3*s + 7 = -x + 21, 4*x = c. Is s a multiple of 3?
True
Let p(v) = 55*v**3 + v**2. Does 56 divide p(1)?
True
Let j be (12/(-15))/(2/(-5)). Suppose 4*x - 22 = -3*q - j*q, 5*x = 2*q + 11. Suppose 2*b - x = 5. Does 3 divide b?
False
Suppose i - q - 101 = -6*q, -3*q = 4*i - 472. Does 31 divide i?
False
Let s(q) be the third derivative of 3*q**5/10 + q**3/6 + q**2. Does 5 divide s(-1)?
False
Let q = -20 + 27. Is q even?
False
Let z(q) = q**2 + 6*q - 4. Let d be 2 + 2/(-2)*9. Let n be z(d). Let x(p) = 9*p + 3. Is x(n) a multiple of 13?
False
Let h be 25/35 + 2/7. Let t(n) = 2*n**2 + 1 + n**2 + 2*n + h. Is 10 a factor of t(-3)?
False
Does 11 divide 0 + 19 + (-1 - -4)?
True
Let n(x) be the third derivative of -x**6/120 - 3*x**5/20 + 13*x**4/24 + x**3/3 + 2*x**2. Let y be n(-10). Is 10 a factor of (-272)/y - 4/(-14)?
True
Let d = 6 - -38. Suppose 0*v - 4*v = -d. Let z = 0 + v. Is 8 a factor of z?
False
Suppose 26 = -3*w + 104. Is w a multiple of 5?
False
Let p(d) = -d**3 - 4*d**2 - 10*d + 11. Is p(-7) a multiple of 38?
True
Let l be (15/(-10))/((-6)/(-184)). Let s = l - -8. Is 8 a factor of (-8)/(-20) + s/(-5)?
True
Let v(f) = -f + 11. Let q be v(8). Let g be (3 - 2) + 3/q. Suppose -39 - 33 = -g*h. Is 18 a factor of h?
True
Suppose -2*u - 2 + 8 = 0. Suppose u*p = 5*p - 68. Is 7 a factor of p?
False
Suppose 2*r - 6 = 6. Suppose -r*c = 2*h - 2*c - 14, -21 = -3*h + 3*c. Is 2 a factor of h?
False
Let m(d) = -28*d - 1. Let x be (-9)/6 - (-2)/4. Is m(x) a multiple of 9?
True
Let z(r) = -26*r + 6. Is z(-4) a multiple of 26?
False
Suppose i = -3*i + 16. Suppose -4*p + 3*f + 16 = 0, 5*p + i*f - 65 = -14. Is 7 a factor of p?
True
Let q(f) = f**3 - 4*f**2 - 9*f - 6. Let j be q(7). Suppose 0 = 5*a - 4*h - j, -51 = -3*a + 3*h - 2*h. Is 8 a factor of a?
False
Let y(g) = -g + 14. Let k = 8 - 11. Let s = k + 3. Does 7 divide y(s)?
True
Suppose 5*q - 84 = 16. Does 3 divide q?
False
Suppose -3 = t + 2*t. Let i = -2 + t. Does 6 divide (-2)/3 + (-20)/i?
True
Let u(h) be the first derivative of 5*h**3/3 + 3*h**2/2 + 5*h - 5. Is u(-4) a multiple of 18?
False
Let r = 3 - -31. Is 34 a factor of r?
True
Let v(d) = 3*d + 0*d**2 - 2*d**2 - 2 - 4*d. Let k(o) = o**2 + 2. Let f(z) = -4*k(z) - 3*v(z). Is f(-4) a multiple of 14?
False
Suppose w + 0*w - 7 = -y, 13 = 4*y - w. Suppose y*m = 5*a - 487, 4*a = -0*m + 3*m + 390. Is 33 a factor of a?
True
Let u(x) = 2*x**2 - 2*x - 6. Is u(4) a multiple of 6?
True
Let a(i) = i**3 - 9*i**2 + 4*i + 6. Let c be a(8). Let o = c - -38. Is 4 a factor of o?
True
Suppose -4*q = 2*d + 13 - 37, 3*q = 12. Is 4 a factor of 10/2 + -5 + d?
True
Let l(z) = 5*z**2 + 3*z - 16. Is l(-7) a multiple of 35?
False
Let q(c) = c - 3. Let d be q(12). Suppose 6*f - 3*f = d. Is f a multiple of 3?
True
Suppose -3*n - 23 = -2. Let a(c) = c**3 + 6*c**2 - 7*c - 6. Let s be a(n). Is 4 a factor of -3*22/s - 1?
False
Suppose -15 - 55 = -5*t. Suppose -20 = 3*k - 2*a, -5*k + 2*a - 60 = 4*a. Let g = t + k. Is g a multiple of 2?
True
Let v be ((-12)/10)/(9/(-30)). Suppose k = 5*y - 2*y + 11, 0 = -v*y - 8. Suppose 3*f + 2*f = k*g + 95, 2*g - 19 = -f. Is f a multiple of 7?
False
Let u(t) = -t - 5. Let p be u(-8). Let r be 1 + p + -2 + 2. Suppose 0*w = 3*l - r*w - 60, -5*l + 3*w = -111. Does 9 divide l?
False
Let z be 0*(2 + 2)/12. Does 23 divide 46 - (-1 - (z + 1))?
False
Let o(m) = m**2 + 4*m - 6. Suppose 5*v - 46 = 24. Let w = 6 - v. Is o(w) a multiple of 9?
False
Let l(s) = s - 4. Let c be l(6). Suppose 5*p + 0*p - 156 = m, -66 = -c*p + 4*m. Suppose -2*u = t + u - p, 137 = 5*t - 3*u. Does 14 divide t?
True
Let f = 17 - -8. Does 5 divide f?
True
Suppose -3*j + 21 = -45. Suppose j + 3 = 5*u. Is 5 a factor of u?
True
Let r(d) = d**3 - 9*d**2 - 6*d + 2. Suppose 0 = 2*w - 3*f - 26, 0 = -3*w - f + 36 - 8. Is r(w) a multiple of 14?
True
Suppose -6*u + 784 = 112. Is 32 a factor of u?
False
Let r(q) = -q**3 + 7*q**2 + 11*q - 6. Let b be (10/3)/((-1)/(-12)). Suppose -2*n = -7*n + b. Is 12 a factor of r(n)?
False
Suppose -141 = -3*o - 12. Suppose -2*r = 5*g + 68, -r + 2*g = 41 - 16. Let i = r + o. Does 7 divide i?
True
Suppose -5*u = -369 - 126. Let n = u - 69. Does 19 divide n?
False
Let o(h) = h**2 - 6*h + 3. Suppose x + 10 = 4*f, -x = 3*f - 2*f - 10. Let i be o(x). Let u = i - -7. Does 8 divide u?
False
Is 43 a factor of 175/2 + 27/(-18)?
True
Suppose -3*p = g - 11 + 2, 3*g = 3*p + 15. Let s = g + -5. Is (-124)/(-6) - s/(-3) a multiple of 19?
False
Let l(m) = m**2 - 8*m + 7. Does 3 divide l(9)?
False
Suppose -3*z + 3 = 0, -3*z - 20 + 123 = 4*d. Does 4 divide d?
False
Suppose -k + y + y = -133, -5*y = 5*k - 680. Is 15 a factor of k?
True
Suppose 0 = -z + 4*v - 9*v + 167, 2*z - 349 = -5*v. Is z a multiple of 21?
False
Suppose 3*w = 6 + 33. Suppose 4*c = 3*l - w, -3*l = 4*c - 12 - 17. Does 7 divide l?
True
Suppose 0 = 3*m - 9, -3*i - 5*m + m - 12 = 0. Let s be -1*(-2)/(-4)*i. Suppose -2*a + 3*a - 30 = -3*k, -4*k = -s. Does 14 divide a?
False
Let n(j) = -1. Let z(o) be the second derivative of -7*o**3/6 - o**2 + 2*o. Let k(l) = 4*n(l) - z(l). Is 13 a factor of k(4)?
True
Suppose 4*u = v + 8, 8 = 5*u - v - 2. Suppose 2*p = -u*y + y + 1, 18 = 5*y - 3*p. Suppose -q - 2*d = 9 - 41, y*d - 132 = -5*q. Is 9 a factor of q?
False
Suppose 7 = 3*u - 2. Suppose -c - 1 = 0, 5*m - 2*c - 25 = u*c. Let s = m + -1. Is 3 a factor of s?
True
Let h be 35/11 + (-4)/22. Let l(v) = 2*v - 2. Let a be l(h). Is a/(-10) + (-310)/(-25) a multiple of 10?
False
Suppose 0*g - 5*g + 18 = -2*l, -4*g + 4*l =