 = 4*b, 0 = -3*m + 3 + 3. Does 11 divide b?
False
Suppose 12 = -5*m + 2*m, -24 = -4*t + 2*m. Suppose 10 = 2*g - 0, -t*g + 137 = 3*l. Is 22 a factor of l?
False
Suppose -5*t - 35 = -5*a - 2*t, -5*a + 4*t = -40. Suppose -2*h = -h + 1, 4*z + a*h = 24. Does 2 divide z?
False
Let d(h) = -h**3 + 8*h**2 + 11*h + 10. Is 14 a factor of d(9)?
True
Suppose -3*r + 72 = 3*y, -3*r - 56 - 33 = -4*y. Is 7 a factor of y?
False
Let q(n) = -2*n**3 - 2*n**2. Let m(z) = 3*z + 19. Let v(h) = 5*h + 29. Let j(i) = 8*m(i) - 5*v(i). Let u be j(10). Is q(u) a multiple of 18?
True
Suppose 0*v = -3*v + 15. Suppose f + 0*f + v*q = -62, -170 = 5*f - 3*q. Let x = -25 - f. Is 6 a factor of x?
True
Let t(s) = s**2 - 4*s - 3. Suppose 0 = 5*m - 2*b - 63 + 15, -5*b + 20 = 5*m. Suppose -m*i + 3*i - 25 = 0, 0 = 2*n + 2*i + 16. Is 6 a factor of t(n)?
True
Let d(r) = -r - 7. Let w be d(-9). Suppose -w*k - 106 = -3*z - 0*z, z - 7 = -5*k. Is 16 a factor of z?
True
Let w(a) = -a**3 - 6*a**2 - a - 6. Let d be w(-6). Suppose d*i = 5*i - 40. Is i a multiple of 4?
True
Let d(o) = -o**2 + 4*o + 4. Let t be d(3). Let b(l) = -l**3 + 7*l**2 + l + 9. Is b(t) a multiple of 5?
False
Is 3/(9/1076) + 3/9 a multiple of 14?
False
Let u = -114 - -138. Is 19 a factor of u?
False
Suppose 2*w - 3*w - 116 = 0. Is 8 a factor of w/(-8) + 1/(-2)?
False
Suppose 6 = -4*z + 2*z. Is 10 a factor of -1 + 2 + (-57)/z?
True
Let h be 1 + 5 + (-8)/2. Let i(c) = 8*c**2 - 4*c + 2. Is i(h) a multiple of 17?
False
Let v be (-2)/4*2 + 5. Let q be (32/10)/(2/10). Let x = q + v. Does 8 divide x?
False
Let c(j) = -j**3 - 3*j**2 + 7*j + 2. Suppose 5 = -n - 4*n. Let f be (3 + (-4)/(-2))/n. Is c(f) a multiple of 17?
True
Let r = -76 - -133. Let u be 6 + 0 - (0 + 2). Suppose r = -d + u*d. Does 11 divide d?
False
Let s = -272 - -180. Let m = -61 - s. Does 7 divide m?
False
Let w = 100 - 76. Does 4 divide w?
True
Suppose -93 - 92 = -5*p. Suppose -t + 3*v + p = t, 93 = 3*t + 3*v. Does 26 divide t?
True
Suppose 7*b + b = 344. Does 13 divide b?
False
Let y(m) = 2 + 3*m**2 - 2 - m - m**3. Let t be y(4). Is 9 a factor of ((-72)/t)/((-4)/(-10))?
True
Suppose 5*y + 5*v = 120, -7*y = -2*y + 4*v - 122. Suppose y + 70 = 4*c. Is c a multiple of 6?
True
Let s be (-26088)/(-40) + (-1)/5. Does 12 divide (-6)/27 + s/18?
True
Let z = -56 - -96. Is z a multiple of 8?
True
Let h(y) be the third derivative of -3*y**2 + 0*y + 0 + 1/20*y**5 + 2/3*y**3 + 1/8*y**4. Is 18 a factor of h(-3)?
False
Let q = -75 - -35. Let r = -11 - q. Is 18 a factor of r?
False
Suppose 0*y + 180 = 2*y. Is 30 a factor of y?
True
Suppose x = -f + 349, -4*f + 2499 = 5*x + 754. Suppose -s = -3*g - 6*s + x, s - 437 = -4*g. Is 27 a factor of g?
True
Suppose 0 = -4*m + 1747 - 67. Is 12 a factor of m?
True
Let b(t) = t**2 - 6*t. Let k be 5*(0 - (-24)/15). Is 8 a factor of b(k)?
True
Suppose 2*z - 8*z = -54. Is 3 a factor of z?
True
Let o(z) = -3*z**2 - 5*z - 2. Let f(w) = 4*w**2 + 5*w + 3. Let y(n) = 4*f(n) + 5*o(n). Let q be y(4). Does 20 divide (-1)/(q*3/162)?
False
Let l be 10/(-15) - 28/(-6). Suppose -l*g - c + 72 = 3*c, 2*g = c + 36. Is 6 a factor of g?
True
Suppose 4*l = 3*l + 5. Suppose l*z + 65 = 205. Is 8 a factor of z?
False
Let w(l) = l**2 - 4*l - 15. Is 10 a factor of w(8)?
False
Suppose -1 = h + c - 16, 3*c = 5*h - 115. Does 4 divide h?
True
Suppose -4*f = 9 - 17. Suppose -5*v - q + 377 = 0, f*v = 3*q + 2*q + 140. Is 15 a factor of v?
True
Let a = 25 + -13. Suppose 2*k + 0*k = a. Does 5 divide k?
False
Let f(y) = 10*y + 0*y**2 - y**2 + 4 - 13. Let m be f(9). Suppose b + x - 11 = m, 29 = 3*b - 0*x + 5*x. Is b a multiple of 13?
True
Let z be 7 + 3 + -2 - -1. Suppose z = k + 2*k. Suppose 1 = -k*c + 16. Is c even?
False
Let k(n) = -4*n. Let q(z) = -1. Let g be (6 + -5)/(1*-1). Let h(w) = g*k(w) + q(w). Is h(1) a multiple of 3?
True
Suppose 0 = m + j - 63, 2*m - 4*m + 146 = -2*j. Is m a multiple of 17?
True
Suppose -4*h + 36 = w, 6*h - 108 = -3*w + 3*h. Suppose -l + w = l. Is l a multiple of 6?
True
Let a = 0 - -1. Let c(s) = -s + s + 5*s - a. Is c(5) a multiple of 12?
True
Let j = -90 + 127. Let a = -9 + j. Is a a multiple of 17?
False
Suppose 3*j = 5*j - 216. Is j a multiple of 27?
True
Does 17 divide 246/4*24/18?
False
Let j be 1 - (0 + (-16 - 2)). Suppose 0*u + j = u - 3*h, 2*u - 23 = 3*h. Suppose u*f - 44 = 12. Does 7 divide f?
True
Let x(l) = -l**3 - 8*l**2 + 8*l - 10. Let b be x(-9). Let q = b - 1. Let w = q + 27. Does 9 divide w?
False
Let u = 7 + -7. Let k = u + 5. Suppose -k*n - 15 = 0, -4*r + 2*n = r - 36. Is r a multiple of 6?
True
Is 11 a factor of (1 - 2)*107/(-1)?
False
Let z be 1/((-14)/(-6) - 2). Let o be (-6)/(-4)*22/z. Let g = o - 1. Does 5 divide g?
True
Suppose 0 = 5*c + 5*f - 12 - 23, 4*f - 20 = 0. Suppose -4*u - r - 1 = -u, 3*u - 11 = c*r. Suppose u + 164 = 3*m. Does 20 divide m?
False
Suppose -2*r - 3*i + 145 = 0, 5*i - 4*i + 65 = r. Let v = -26 + r. Is 14 a factor of v?
True
Suppose 0 = 3*w - 11 + 5. Suppose -t = w*p - 31, p - 2*t = -p + 34. Is p a multiple of 4?
True
Let q = 143 - 99. Does 11 divide q?
True
Let d = 532 - 133. Is 48 a factor of d?
False
Suppose -2*n = 2*n. Suppose n = -10*q + 5*q - 3*s + 165, -q + s + 25 = 0. Is 8 a factor of q?
False
Let g(w) = -w**3 - 5*w**2 + 3*w - 5. Is 10 a factor of g(-6)?
False
Suppose 0*q + 4*p = q + 4, 0 = 5*q - 2*p - 16. Let k = q - 1. Let b = k + 15. Does 9 divide b?
True
Let j be 1/((-4)/(-96) - 0). Let r = -14 + j. Is 10 a factor of r?
True
Suppose 8 = 3*g - 34. Suppose -4*t + 2*d = d - 16, 5*d + g = -2*t. Suppose 0*u - 42 = -t*u. Is u a multiple of 7?
True
Suppose -111 = -4*v + h, -6*h = -h + 15. Is v a multiple of 7?
False
Let t = 0 + 24. Is 9 a factor of t?
False
Suppose -2*w - 12 = -0. Let o be 90/4*(-8)/w. Is 12 a factor of o*(-2 + 36/15)?
True
Suppose g - 19 = -m - m, -m + g = -2. Is 2 a factor of m?
False
Suppose 2*l + 34 = 4*f + 226, -3*l = 5*f - 299. Is l a multiple of 14?
True
Let c be (-3 + 4 + -1)/(-2). Let b(g) = g**3 - g**2 + g + 6. Let v be b(0). Suppose c = u - v*u + 120. Is 9 a factor of u?
False
Let p(v) = -3*v - 2. Let z be p(-3). Let g be (-120)/(-21) - (-2)/z. Suppose -g*h + 6 = -3*h. Is 2 a factor of h?
True
Let n be (5/(-2))/((-7)/112). Let y = n - 20. Is y a multiple of 10?
True
Let m = 39 - -16. Suppose 3*f + m = -2*f. Is 3 a factor of f*-2*(-1)/(-2)?
False
Let w = 9 - 4. Suppose 4*q - w = 3. Suppose -3*k = -q*l - 69, k - 4*k + 4*l + 75 = 0. Is 14 a factor of k?
False
Let i be -1*(-4)/(1 - -3) - 8. Let z = -12 - -7. Let h = z - i. Is h even?
True
Let j = -87 + 151. Let o = 9 - 7. Suppose -n + 2 = 0, o*y - 2*n + j = 5*y. Is y a multiple of 10?
True
Suppose -3*p - 12 = 0, 4*b + 0 = -3*p + 8. Suppose 2 = b*t - 158. Is 16 a factor of t?
True
Let f be 15/(-10)*3*-2. Let b be (2 - f/6)*0. Suppose 10 = 2*a - b*a. Is 3 a factor of a?
False
Let d = -30 - -56. Suppose 35 = 5*l - 295. Suppose d - l = -x. Is x a multiple of 20?
True
Suppose 3*s - 2*z = z + 24, 5*z - 5 = -4*s. Suppose 24 = s*k - 2*h, -h = -k + 3*h + 12. Suppose 127 + 89 = k*p. Is p a multiple of 21?
False
Suppose a = t + 2*a - 19, -5*t - 2*a + 98 = 0. Does 10 divide t?
True
Let u(r) = 36*r**2 - r - 1. Let k be u(-1). Suppose 4*g = -0 + k. Is g a multiple of 9?
True
Suppose 2*r - 74 = -z - 2*z, 3*z - r = 89. Is 14 a factor of z?
True
Suppose 5*t - 5*v = 20, 6*t + 2 = 2*t - 5*v. Suppose -3*l + 25 + t = 0. Does 9 divide l?
True
Suppose 5*v - 3*u = -22 - 8, -5*v + 2*u - 30 = 0. Let y(x) = x**2 + 4*x - 4. Is y(v) a multiple of 4?
True
Let t(a) = a**3 - 10*a**2 + 18. Does 14 divide t(10)?
False
Let t(f) = -2*f - 3. Let b be t(-3). Suppose -r + 102 = 2*j + 3*j, 4*j - b*r = 74. Is j a multiple of 5?
True
Suppose -8*b - 129 = -481. Is b a multiple of 22?
True
Let o(t) = t**3 + 2*t**2 + 3*t + 2. Let a be o(-2). Let s = a - -14. Does 6 divide s?
False
Let y be (7 - 2)*-4*-1. Let a be 55/y - (-2)/8. Suppose 2*i - a*i + 6 = 0. Is i a multiple of 3?
True
Let z = 303 + -209. Let h = -32 + z. Let k = h + -44. Is k a multiple of 9?
True
Let g = 17 - 3. Is g a multiple of 3?
False
Let j(y) = -7*y - 4. Let d(i) = -20*i - 12. Let g(f) = -6*d(f) + 17*j(f). Let c be g(-4). Suppose 5*u - 92 = 2*k + 2, k + 2 = c. Does 7 divide u?
False
Let u(v) = 2*v - 10. Let t be u(9). Let c = -7 + t. Let i(h) = 31*h. Is 19 a factor of i(c)?
False
Suppose -5*m