541. Is 26 a factor of c?
True
Let w(o) = o**2 - 16*o - 10. Let y be w(17). Is 3 a factor of (y - 6)/(2/6)?
True
Let q(b) = 5*b**3 - b**2 - 9*b. Is q(3) a multiple of 9?
True
Let r = -13 - -18. Let f be ((-6)/r)/((-14)/175). Suppose -f = -3*q, q - 69 = -n - 10. Is 21 a factor of n?
False
Suppose 13*n - 8*n - 10 = 0. Does 2 divide n?
True
Let u = -5 - -8. Suppose 13 = -4*b + 2*b + l, -b + u*l = 19. Let s(i) = -i**2 - 5*i + 4. Is 4 a factor of s(b)?
True
Let r = 1 + 3. Suppose 0 = -r*j - j + 105. Does 7 divide j?
True
Suppose -4*q = -w + 25, 3*q = -4*w - 0*q + 119. Let o = -20 + w. Is o a multiple of 9?
True
Let q(r) = -r + 18. Let i = -4 - -4. Suppose 2*m - 3*m = i. Is 9 a factor of q(m)?
True
Let u = -19 + -5. Let k = 8 - u. Is k a multiple of 18?
False
Let a be (18/(-4))/(4/64). Let t be 9/(2*(-3)/a). Suppose t = -h + 4*h. Does 14 divide h?
False
Let a(b) = b**3 + 6*b**2 + 4*b - 4. Let t be a(-5). Let s be 0 - (-1 - 4) - t. Suppose 0 = d - 3*p - 2, s*d + 4*p - 2 = 22. Does 5 divide d?
True
Suppose 2*a + a - 12 = 0. Is (a - 0)/((-2)/(-13)) a multiple of 13?
True
Suppose 0 = 3*g - 15. Let o(q) = -q**3 - 3 + 7*q - 5*q - 5*q**2 + 2*q**3. Is o(g) a multiple of 7?
True
Does 13 divide (-3185)/(-45) + (-6)/(-27)?
False
Let i = 100 + -1. Let r be 12/(-16)*24/(-9). Suppose a - i = -r*a. Is 20 a factor of a?
False
Let i = 34 - -86. Is i a multiple of 30?
True
Suppose -68 = -3*a - p, 3*p - 48 = -3*a + 18. Is 23 a factor of a?
True
Let g(i) = i**3 - 2*i**2 + i - 1. Let d = -6 + 9. Let h be g(d). Let v = h + 1. Is 6 a factor of v?
True
Suppose 3*y = -0*y - 30. Let o(q) = 56*q - 1 - 1 - 57*q. Is o(y) a multiple of 4?
True
Let m = 118 + -77. Let b = m - 4. Does 12 divide b?
False
Suppose 0 = -6*o - 41 + 185. Is o a multiple of 7?
False
Suppose y + 3*y - 112 = 0. Suppose 2*b = -0*b + 2*c + y, -2*b + 16 = 4*c. Is b/8*52/6 a multiple of 11?
False
Let m(b) = b**3 - 6*b**2 + 4*b - 8. Is 2 a factor of m(6)?
True
Let u(x) = x**2 - 7*x - 10. Suppose -3*g - 30 = 2*g. Does 18 divide u(g)?
False
Let j = -13 - -22. Let r = -1 + j. Does 5 divide r?
False
Suppose 5*f - 20 = 4*z, 4*f = -2*z - 0*f + 16. Let v = z + -3. Does 15 divide (5*-6)/(v/3)?
True
Suppose -4*z = -8*z. Suppose h = -5*o + 53, 4*h = -o - z*h + 22. Suppose 0 = -5*y - 4*k - k + 20, -5*k = o. Does 6 divide y?
True
Let i be 257/6 + 9/54. Let d = 71 - i. Is d a multiple of 28?
True
Suppose 24 = 2*q + 3*i - 72, -2*i = 8. Is 18 a factor of q?
True
Let x be 148/12 - (-2)/(-6). Let f = 17 - x. Suppose f*h + 2*y - y = 213, 4*h + 3*y = 177. Is h a multiple of 14?
True
Suppose 2*m = 5*i + 125, -15 = -i + 4*i. Is 22 a factor of m?
False
Let n = -6 + 21. Is n a multiple of 15?
True
Let f(a) = a - 3. Let c be f(6). Suppose -c*m = -0*m. Is 13 a factor of m + (40 - (0 - -1))?
True
Let t = -69 - -86. Is t a multiple of 4?
False
Suppose 4*x - 4 - 2 = 2*m, 4*m = 4*x + 4. Suppose 0 = -5*y - x*w + 413, 4*y - 318 = 2*w + w. Is -1*(-2)/(6/y) a multiple of 11?
False
Let c(x) = -x**3 + 9*x**2 + 12*x - 7. Let b be (-2)/(-10) - (-132)/15. Let y be b + -2 + 6/2. Is c(y) a multiple of 13?
True
Let a = 14 - 7. Is 2 a factor of a?
False
Let s(z) = -z**3 + 12*z**2 - 9*z + 7. Suppose 47 = 4*x - 3*c, x = -x - c + 21. Is 17 a factor of s(x)?
False
Let g(v) = v + 21. Is g(-12) a multiple of 3?
True
Let q = 81 - 27. Suppose 5*a = 2*n + 26 + 67, -3*a = -3*n - q. Does 9 divide a?
False
Let h = 13 + -17. Let t(c) = -c**3 - 4*c**2 - 2*c - 3. Is 5 a factor of t(h)?
True
Let o(t) = -t**2 + 6*t - 7. Let c be o(5). Is 4 a factor of c/(-1)*77/14?
False
Suppose 10*j - 7*j = 9. Is 2 a factor of j?
False
Suppose -2*c - 5 = -35. Suppose -10 = -2*r - 0*r. Suppose -r*x + 75 = c. Is x a multiple of 12?
True
Let a(u) = u**3 - 3*u**2 - 3. Let t be a(3). Let j(n) = 0*n**3 - 1 + 0*n**3 - 2*n**3 - 2*n + n**2. Is 24 a factor of j(t)?
False
Let w(v) = 45*v - 3. Let a be w(4). Suppose -9 = 3*d, n - 3*n + d = -a. Is 26 a factor of n?
False
Suppose -4*y = 3 - 19. Suppose -k + 27 = s, 0 = 2*k - 0*k + y*s - 60. Is k a multiple of 12?
True
Let y = 191 - 16. Does 7 divide y?
True
Suppose -4*u + 0*u = 0. Suppose 4*n - 66 = -2*i - u*n, -4*i + 2*n + 142 = 0. Does 18 divide i?
False
Let x(h) = -h**2 - 7*h - 4. Let p be (-2 + 14)*3/(-6). Let s be x(p). Is 6 a factor of (s/6)/((-2)/(-48))?
False
Let j be (-2 - -1) + 8/2. Suppose -j*m + 4*r = -m + 10, 5*r - 20 = 0. Suppose 0 = -5*s, s = 4*h - 59 + m. Does 11 divide h?
False
Let g(o) = 2*o**2 - 2*o. Let b(v) = -v**3 + 6*v**2 - 5*v + 4. Let q be b(5). Is 12 a factor of g(q)?
True
Suppose m - 33 = -0*m + 5*a, -2*m + a = -102. Is m a multiple of 27?
False
Let t = 30 - 5. Does 9 divide t?
False
Let k(w) = -7*w - 13. Is 5 a factor of k(-4)?
True
Suppose 69 = 5*r - 11. Does 8 divide r?
True
Suppose 2*h - 4*u = -20, 5*u = -6*h + 2*h + 12. Let l(k) = -4*k - 3*k + 2 - 7*k. Does 14 divide l(h)?
False
Let f = -49 + 121. Does 9 divide f?
True
Suppose 5*x + 152 = x. Let n = x + 78. Suppose 3*s + s = n. Is s a multiple of 10?
True
Suppose 0 = -2*z - 5*o + 15, o = -4*z + 2*o - 3. Suppose 0*y - y - 1 = v, y - 4*v - 14 = z. Let x(r) = 16*r - 1. Is x(y) a multiple of 12?
False
Let x(s) = s**3 - 5*s**2 + 2*s + 5. Let b be x(4). Let z = b + 6. Suppose -29 = -4*l + z*u, 0 = 4*u - 8 - 12. Does 5 divide l?
False
Suppose -38 = -5*p + 72. Is p a multiple of 11?
True
Let p = -31 + -78. Let q = 157 + p. Is 23 a factor of q?
False
Suppose 2*z + 5*h = 52, -3*h + 92 = 3*z + h. Let g = z + -23. Does 18 divide 232/g + 2/13?
True
Let m be (-1)/1 - (4 + -10). Suppose 5*r - 3*c - 264 = -6*c, -268 = -m*r - c. Is r a multiple of 27?
True
Suppose -5*f - 4*c + 180 = 0, f - 3*f = 2*c - 72. Does 5 divide f?
False
Let z(l) = -l + l**3 - 3*l**2 - 4*l**2 + 0*l + 8*l. Is z(6) a multiple of 6?
True
Suppose 2*b - 3*b + 60 = 0. Let s = b - 42. Is (-308)/(-9) + (-4)/s a multiple of 15?
False
Suppose 5*l - 4*l = 132. Is 33 a factor of l?
True
Suppose 0 = o + 4*o. Suppose 0 = 4*m - 3*c - 0 - 22, -m - 2*c = o. Is 4 a factor of m?
True
Suppose d = 3 + 1. Suppose 0*w - d*w + 104 = 0. Is w a multiple of 13?
True
Suppose -3*d = -6, -6 = 2*z + 2*z + d. Let c be (-2 - (-2 + z)) + 38. Suppose 0 = 4*v + 4*x - 32 - c, 0 = -2*x - 10. Does 14 divide v?
False
Let k(o) = o + 7. Let n be k(-4). Suppose 5*y - 22 = -f + 38, 0 = -n*f. Is 4 a factor of y?
True
Suppose -19 = -5*w + 6. Let s = w - -2. Is s a multiple of 7?
True
Is 6 a factor of -3 + (-64 - -4)/(-4)?
True
Is 20 a factor of 150/(-35)*(-14 + 0)?
True
Let g(c) = -5*c - 8. Let o(b) = -b. Let w(z) = g(z) - 6*o(z). Let l be w(8). Is l + 6 + (-4)/(-4) a multiple of 7?
True
Suppose -2*z - 3*o - 6 + 27 = 0, 0 = -5*z - 3*o + 57. Is z a multiple of 6?
True
Let f = 12 + -7. Let v = f + -3. Is 60/v + 2/(-1) a multiple of 20?
False
Suppose -2*y + 0 = -10. Let x = 3 + y. Let v = 22 - x. Is 7 a factor of v?
True
Let t = 8 + -4. Is 8 a factor of (4/(-10))/(t/(-80))?
True
Let q be (0 + -6)/(4/8). Is 1 - (-4 - -3) - q a multiple of 7?
True
Let o = -7 + 12. Is (0 - -38) + (3 - o) a multiple of 13?
False
Let r(g) = 7*g - 77. Is 5 a factor of r(13)?
False
Suppose -5*p - 20 = 0, 3*p - p - 7 = -5*h. Does 5 divide h/(-2)*(16 - 20)?
False
Let c(t) = 27*t**2 + 2*t - 1. Let d be c(1). Suppose 2*i + 8 + d = 4*o, o = -4*i. Is o a multiple of 8?
True
Suppose 1 = -k + 5. Let b = 10 - 5. Suppose -k*t - v + 62 = -t, 4*t = b*v + 108. Does 12 divide t?
False
Let a be 2/(-2)*-3 + 3. Suppose -a = -d - 1. Suppose -d*i + 7 = -18. Does 2 divide i?
False
Suppose -u - 4*i + 37 + 18 = 0, -3*i - 41 = -u. Is u a multiple of 22?
False
Suppose 5*o + 68 = 4*c - 63, -5*c + 180 = -3*o. Does 14 divide c?
False
Let d be 20/6*(-66)/(-55). Suppose -d*q + 39 = -0*m - 3*m, -q + 18 = 2*m. Is 4 a factor of q?
True
Let s(p) = 5*p + 2. Let r be s(-7). Let m = r - -48. Is 5 a factor of m?
True
Let n(q) = -4*q + 4. Let i(u) = -2*u + 2. Let w(x) = 11*i(x) - 6*n(x). Let f be w(5). Does 20 divide (-15)/2*f/(-3)?
True
Let x(b) = -4*b + 6. Let q(o) = -9*o + 13. Let w(v) = -3*q(v) + 7*x(v). Let t be w(-5). Is 6 a factor of (-30)/(-4) + (-12)/t?
True
Is 4 a factor of 0 - (-32 + (1 - -2))?
False
Let l(q) = -q**2 - 3*q + 4. Let u be l(-4). Let i(b) = 3*b**2 - 4*b - 1. Let h be i(3). Let v = u + h. Is v a multiple of 7?
True
Let s = 219 - 141. Is 13 a factor of s?
True
Suppose 4 = -t - 3. Let l = -2 -