 21 = b, -5*a + 35 = -2*o. Let i(k) = -k + 22. Is 7 a factor of i(a)?
False
Suppose -v - 2*v = 45. Let q = v + 4. Let j = -8 - q. Is 3 a factor of j?
True
Suppose -n + 3009 = -2*c, 0 = -35*n + 36*n + c - 3009. Is n a multiple of 104?
False
Let q(u) be the first derivative of 3*u**2 - 1 - 3*u**3 + 10*u - 1/4*u**4. Is q(-10) a multiple of 25?
True
Suppose -q + 6*q = 0. Suppose -3*z + 3*c + 340 = 2*z, q = -c. Is 13 a factor of z?
False
Let x(a) = a**3 - 8*a**2 + 8*a - 4. Let k be x(7). Suppose 0*f + 54 = f - 4*n, -5*n + 145 = k*f. Is f a multiple of 25?
True
Let n = -27 + 24. Let x(i) = -i**3 + 7. Is 7 a factor of x(n)?
False
Suppose 0 = 4*q + 12, -r - q - 26 - 17 = 0. Let m = -6 - r. Is m a multiple of 2?
True
Let g = 112 + 856. Is g a multiple of 31?
False
Let z(t) = t**3 - 5*t**2 - 11*t - 5. Let w be z(7). Let a(s) = -s**2 + 24*s + 22. Is 30 a factor of a(w)?
True
Let p = -113 - -158. Let y = -32 + p. Is y even?
False
Let g(j) = -51*j**3 - 3*j**2 + j + 1. Let z be g(1). Let q = -118 - -200. Let o = q + z. Is 5 a factor of o?
True
Suppose -4*m = -2191 + 231. Is m a multiple of 33?
False
Let t = 79 - 14. Let g = -38 + t. Let r = g - 15. Is r a multiple of 12?
True
Suppose -5*r + 97 + 63 = 0. Let t = r + -34. Does 7 divide 92/3 + t/(-6)?
False
Suppose -2*l - 11 + 1 = 0, -l + 451 = 2*x. Does 2 divide x?
True
Let a(u) be the second derivative of -7*u**3/6 - 13*u**2/2 + 3*u. Let k(z) = 6*z + 12. Let o(y) = -3*a(y) - 4*k(y). Is 9 a factor of o(-6)?
True
Let d = -308 + 902. Is d a multiple of 66?
True
Let h(r) = 9*r**2 - 42*r + 140. Does 42 divide h(15)?
False
Let p = -638 + 738. Does 23 divide p?
False
Let q(r) = 6*r + 9. Let i be q(-3). Let f = 61 + i. Is 12 a factor of f?
False
Suppose -2*n + 2*x = 3*x - 193, 5*n - 4*x = 450. Is n a multiple of 10?
False
Let f = 987 + -595. Does 14 divide f?
True
Suppose 26*o - 19109 = -4939. Does 47 divide o?
False
Suppose -t = -2*t - m + 9, 5*t + 4*m - 44 = 0. Let j(h) = 16*h + 9. Let u be j(t). Suppose 0*a - s = -2*a + u, -3*s = -5*a + 342. Does 23 divide a?
True
Let q(s) = 28*s - 2. Let k(u) = -u**3 - u**2 + u. Let c(i) = -5*i**3 + 6*i**2 - 6*i + 7. Let b(r) = -c(r) + 4*k(r). Let y be b(9). Is q(y) a multiple of 18?
True
Let d(h) = -23*h**2 - 11*h - 4. Let m be d(-2). Let i = m + 137. Is i a multiple of 21?
True
Let o(f) = -f + 13. Let i be o(9). Let v(r) = -1 + i*r**3 - r**2 - 2*r**3 + 4*r - 2*r + r. Is 16 a factor of v(3)?
False
Let m(j) = 48*j**2 + 4*j + 3. Let i(x) = 145*x**2 + 11*x + 8. Let a(l) = 4*i(l) - 11*m(l). Is 17 a factor of a(-1)?
True
Suppose 228*f = 225*f + 3264. Is f a multiple of 17?
True
Let l be (-8)/12 + 15/9. Suppose l = 3*b - 125. Is 14 a factor of b?
True
Suppose -29*h + 10043 = -5965. Does 4 divide h?
True
Let f(g) = -g**3 - 4*g**2 - 17*g - 18. Is 26 a factor of f(-8)?
False
Let s(c) = c**2 - 5*c - 10. Let b be s(6). Let n be b*1*(-2)/(-2). Let u(a) = -10*a + 6. Does 10 divide u(n)?
False
Suppose -4*v = 3*f - 2, 0 = -3*v - 4*f - 2 - 0. Let u(t) = 5*t**3 - t**2 + 4. Is u(v) a multiple of 8?
True
Suppose 5*j - 4*u - 15490 = -5949, 4*j + 5*u = 7600. Is j a multiple of 24?
False
Is 5 a factor of (4288/201)/((-4)/(-42))?
False
Let q(c) = 2*c. Let k be q(-2). Let x be (-2)/k*(-2 - -6). Is 23 a factor of 55/((0 - -2)/x)?
False
Let f be (-7 - -3) + (2 - -3). Does 10 divide (-2 - (f + -2))/((-15)/3225)?
False
Let t be (27/(-2))/(12/(-16)). Does 7 divide (-1 - (-4 + 0)) + t?
True
Let k(y) = -y**3 - 14*y**2 - 8*y + 36. Let l be k(-16). Suppose 4*p - 576 = l. Does 39 divide p?
False
Let d(o) = -o**2 + o. Let k(w) = 3*w**2 - 9*w - 15. Let q(z) = 2*d(z) + k(z). Let a be (-1 - 8)*(-8)/6. Is q(a) a multiple of 18?
False
Suppose -16*w + 19*w + 12 = 0. Is (-3440)/(-52) + -2 - w/(-26) a multiple of 11?
False
Let j(y) = 56*y**2 + 77*y - 4. Is j(-7) a multiple of 72?
False
Suppose -7*v + 2982 = 525. Does 22 divide v?
False
Let i(y) = 9*y - 14. Let f(z) = 2*z + 20. Let j be f(-4). Does 47 divide i(j)?
True
Let z = 1174 + -368. Is 66 a factor of z?
False
Suppose 0 = 4*r - 5*v - 5402, -3*v + 3505 + 533 = 3*r. Is r a multiple of 36?
False
Suppose -177 = 2*w - 4*m + 3*m, -4*w - m - 339 = 0. Let i = -33 - -20. Let b = i - w. Is 10 a factor of b?
False
Suppose -1807 = 14*i - 15107. Is i a multiple of 8?
False
Is 12 a factor of 0 + 97 - (8 - 4/4)?
False
Let p(h) be the first derivative of h**4/4 - h**3/3 + h**2/2 + 7. Let b be p(-5). Let j = -105 - b. Is j a multiple of 10?
True
Suppose -7*s + 2*s + 3*w - 109 = 0, s + 26 = 2*w. Let j be -5*(48/s - 0). Suppose -2*v - j = -58. Does 8 divide v?
False
Let v(n) = 2*n**2 + 22*n - 9. Let l be v(-10). Let g = 203 + l. Does 28 divide g?
False
Let y be -2*(-132)/56 + (-6)/(-21). Suppose -y*l = -10, -118 = -2*o + 2*l + l. Is 10 a factor of o?
False
Let d(b) = b**2 - 13*b + 1. Let z be ((-4)/10)/(1/(-30)). Let u be d(z). Let w = u + 61. Does 10 divide w?
True
Let n = 11 + -11. Suppose n = 8*c - 13*c. Suppose c = -4*t + 2 + 2, 0 = h + t - 19. Is h a multiple of 6?
True
Suppose -6*c + 45 = 3*c. Suppose -c*d + 960 = 5*d. Is 48 a factor of d?
True
Suppose 0 = 2*m - q - 4, 2*q + 16 = m + 5*q. Suppose -4*f - x = -8, m*x = 2*f + 3*f - 31. Suppose -45 = -3*h + a, h - 2*a - f*a = 1. Does 8 divide h?
True
Let i(c) = -2*c - 2. Let g(t) = -5*t - 5. Let p(v) = 3*g(v) - 7*i(v). Let z(f) = 7*f - 2. Let b(w) = -4*p(w) + z(w). Is 22 a factor of b(3)?
False
Let t(z) = -z**2 + 6*z + 4. Let n be t(5). Let u(s) = -7*s**2 + 3*s + 6. Let p(f) = -20*f**2 + 10*f + 19. Let w(h) = 6*p(h) - 17*u(h). Is w(n) a multiple of 6?
True
Suppose 0 = -2*a - a - 9. Is (8/a)/((-6)/81) a multiple of 9?
True
Suppose 0 = -t - 5 + 13. Suppose 0 = -3*c + 9, -i - 4*c + 9 = -t*c. Does 7 divide i?
True
Suppose -z + 2*z - 1 = 0. Suppose -n = -0 + z, -2*n = -3*l + 137. Let g = l - 24. Does 8 divide g?
False
Suppose -5*z + 2775 = -s, -4*z + 2*z = -5*s - 1110. Is z a multiple of 87?
False
Let y(x) = -x**2 - 9*x - 10. Let o be y(-7). Suppose o*t - 4 - 4 = 0. Is 1/t*(0 - -54) a multiple of 12?
False
Let x(g) = 8*g - 2. Let i(s) = 23*s - 6. Let t(m) = 4*i(m) - 14*x(m). Does 20 divide t(-4)?
False
Let z(c) = c**2 + 6*c - 1. Suppose r - 1 + 9 = 0. Let p be z(r). Suppose p = -5*j + 100. Is 3 a factor of j?
False
Let t(w) = -w**3 + 15. Let p be t(0). Let l be 255/6*96/p. Is 17 a factor of (l/(-12))/((-1)/3)?
True
Let g(z) = z + 7. Let u = 20 + -17. Is g(u) a multiple of 8?
False
Let c be (-10 - -15)*(-303)/(-5). Suppose 2*x - c = -x. Let m = x + -59. Is m a multiple of 17?
False
Let p(m) = m**2 - 4*m - 1. Let k = -82 - -73. Does 58 divide p(k)?
True
Let z = 505 + 154. Is z a multiple of 13?
False
Is 90 a factor of (-5)/75 + 2701/15?
True
Let w = 362 + -202. Is w a multiple of 4?
True
Suppose 7*v = -1 + 8. Does 2 divide (2/1)/(v/5)?
True
Let w(o) = -8*o + 134. Does 43 divide w(-11)?
False
Let v(s) = s**2 + 5*s - 5. Let k be v(-7). Suppose 4*y = k*y. Suppose 0 = -3*z - y*z + 87. Is z a multiple of 15?
False
Does 54 divide ((-1)/1)/(18/(-31770))?
False
Let d(j) = j**3 - j**2 + 9*j + 1. Let z be d(7). Let y = z + -198. Suppose 2*v - 10 = 0, 5*m - 4*v - v - y = 0. Is 20 a factor of m?
False
Let x(s) = -s**2 - s. Let n be x(-1). Let r be 63 + -3 + n + 3. Is 21 a factor of (r/5)/((-3)/(-15))?
True
Suppose 0 = -3*o + 12, y - 34 = -4*o + 107. Does 25 divide y?
True
Let n(t) = -2*t + 28. Let a be n(12). Suppose -a*z + 7*z - 477 = 0. Is z a multiple of 21?
False
Let l be 434/(-18) + 5/45. Let p = l + 108. Does 18 divide p?
False
Let k = -278 + 361. Is k a multiple of 8?
False
Suppose 14521 - 1361 = 10*t. Is t a multiple of 28?
True
Is 16/(-6) - 5652/(-54) a multiple of 5?
False
Let a(j) = -j**3 - j**2 - 3*j - 6. Suppose -2*v - 5*c + 19 = 0, -2 = -2*v - c - 3. Does 3 divide a(v)?
True
Is 8745/22*2/(-9)*-3 a multiple of 7?
False
Let f(u) = u**3 - 14*u**2 - 2*u + 28. Let k be f(14). Suppose 4*c = -4*m + 144, 5*c + k*m - 220 = 3*m. Does 41 divide c?
True
Let n(c) = 2*c + 10. Let y be n(0). Suppose -5*b = 5*w - y, 2*w - 4*b + 3*b + 2 = 0. Suppose h = -w*h + 15. Does 7 divide h?
False
Suppose -w = -3*p + 2 - 1, 2*p + 56 = -5*w. Is 18 a factor of (-4)/w + 1320/75?
True
Let h(q) = 2 + 5*q - 11*q + 1 + 7*q. Let f(l) = -2. Let k(a) = -3*f(a) - 2*h(a). Is 5 a factor of k(-7)?
False
Let k = -4 - -7. Let l(u) = -1 + 12*u + 3 + 5 - 5. Is l(k) a multiple 