- a, 0 = 3*h + 4*a - l. Let c = h - 9. Is 12 a factor of c?
False
Let h(k) = 88*k**2 - 2*k - 4. Is h(-1) a multiple of 2?
True
Let m be -1 + 2 + -2 + 3. Let n(f) = 6*f + 25 - 8*f + f**m - 2*f. Is 34 a factor of n(11)?
True
Let s = 433 - 269. Suppose -5*w + s = -w. Suppose -h - 5*m - 7 = 0, -3*m - w = -4*h - 0*m. Does 4 divide h?
True
Let f(c) = -c + 1. Let h(j) = -5*j + 3. Let t(p) = 6*f(p) - h(p). Let k be t(6). Let s(g) = 3*g**2 + g - 3. Is 13 a factor of s(k)?
False
Let y(k) = 2*k + 10. Suppose -4*v = 7 + 25. Let w be y(v). Let z(t) = -7*t + 7. Does 18 divide z(w)?
False
Suppose 13*q - 432 + 29 = 0. Let c = q - 18. Is 4 a factor of c?
False
Let v(t) = 58*t - 128. Is v(37) a multiple of 27?
False
Let j(l) = 2*l**2 + 7*l - 19. Let f(a) = -a**2 - 8*a + 18. Let t(q) = 2*f(q) + 3*j(q). Is 23 a factor of t(5)?
False
Suppose -s + 18 = 4*y, -3*y + 20 = -7*y. Let u = 130 + s. Is u a multiple of 14?
True
Let q = 492 - 213. Does 31 divide q?
True
Suppose -3*o + 148 = -77. Suppose o = -2*j + 7*j. Let v = 17 - j. Does 2 divide v?
True
Let y = 1834 + -1174. Does 22 divide y?
True
Let k(c) = c**3 - 7*c**2 - 140*c + 8. Is k(17) a multiple of 7?
True
Let x be 65/26 + 1/(-2). Let d(b) = 29*b - 4. Is d(x) a multiple of 9?
True
Suppose -5*f = -6 - 14. Let q be 12/((-2 - 1) + f). Suppose q = -j + 5*j. Does 3 divide j?
True
Suppose 3*d - 15 = -2*c, 2*c = 3*d + 2*d - 25. Suppose f = 2*f - 2. Suppose z + f*y = d*z - 100, -2*y = z - 25. Does 12 divide z?
False
Let z be (9/6)/((-6)/8). Let k(x) be the second derivative of -13*x**3/6 + 7*x**2/2 - x - 9. Is k(z) a multiple of 14?
False
Let g be 12/(-6) - 1*-2. Let u(z) = 5 - 3 - 1 + 16*z + g. Does 19 divide u(4)?
False
Let o(t) = -2*t - 6. Let s be o(-3). Suppose 0 = -r + 1 - s, h + 4*r = 70. Does 11 divide h?
True
Is 11484/7 - -4*21/196 a multiple of 83?
False
Suppose 5*i - 5*a - 10 = 0, 0 = 2*i - 4*a - 9 - 3. Is ((-85)/(-20))/(i/(-48)) a multiple of 31?
False
Let k be (0 - 2/(-12)) + (-2203)/6. Let f = -223 - k. Is f a multiple of 36?
True
Let g = -394 - -598. Is 12 a factor of g?
True
Suppose -3*t = 2*s - 808, t + 3*s = -144 + 418. Is 67 a factor of t?
True
Suppose -2*k + 1300 = 3*k. Suppose -2*h + 322 = 5*m, 0*m + 4*h - k = -4*m. Does 7 divide 1/(-3) - m/(-3)?
True
Let d(m) = m**2 + 8*m + 1. Suppose 2*k = 2*v + 13 + 9, 4*v - 5*k + 42 = 0. Is 14 a factor of d(v)?
False
Let r(z) = -z**2 + 11*z. Let x be r(10). Let l = x + -3. Is 7 a factor of l?
True
Suppose -3*r + 70 + 26 = 0. Suppose 5*a - 117 + r = 0. Let d = -3 + a. Is d a multiple of 7?
True
Suppose 3*z - 5*a = 202, 9*a - 11*a = 5*z - 378. Is z a multiple of 4?
False
Let k(z) be the third derivative of z**5/60 - 2*z**4/3 + 3*z**3/2 + 35*z**2. Is k(-7) a multiple of 17?
True
Let h(d) = d**2 - d + 73. Is 17 a factor of h(-20)?
True
Let o = -21 + 23. Let s(i) = -i**2 + 4 - o + i**2 + 3*i - 22*i**3 + i**2. Is 7 a factor of s(-1)?
False
Suppose f + 2*q = -3*f - 78, -2*f = -2*q + 42. Is (8 + -4)*f/(-16) even?
False
Suppose 0 = 17*x - 21*x. Suppose x = 19*r - 8*r - 143. Is r even?
False
Let d = -9 + -5. Suppose 0 = l - 4*b + 26, 2*l + 3*l = 2*b - 40. Let j = l - d. Does 8 divide j?
True
Suppose -6*n = -763 + 61. Is n a multiple of 9?
True
Let n(g) = g**3 + 50 + 11*g**2 - 20 - 27*g**2 - g + 20*g. Is 4 a factor of n(15)?
False
Let r(o) = 15*o + 7*o + o**2 + 7 + 7*o - 25*o. Is r(5) a multiple of 5?
False
Suppose 0 = -2*u - 3*y + 126, -15*u + 12*u + 182 = y. Does 10 divide u?
True
Let t = 35 - 30. Suppose r - 3*m = 70, -3 + t = 2*m. Is r a multiple of 10?
False
Let y(s) = 180*s**2 + 31*s + 105. Is y(-3) a multiple of 24?
True
Suppose 0 = -4*m + b - 3*b + 14, -3*b = 3*m - 12. Does 15 divide 45*m/(-1 - -4)?
True
Suppose 8*h + 37632 = 20*h. Is h a multiple of 16?
True
Let h(m) = m**3 + 7*m**2 - 37*m + 3. Is h(12) a multiple of 45?
True
Let z(i) = 9*i - 14. Let h be z(6). Suppose -3*p - 4 = -h. Is 7/((-4)/(0 - p)) a multiple of 7?
True
Suppose 2*z - 7*z = -20. Let p(g) = 5*g**3 + 18*g**2 + 33*g + 17. Let b(h) = -3*h**3 - 9*h**2 - 17*h - 9. Let f(s) = z*p(s) + 7*b(s). Is 23 a factor of f(10)?
False
Let i(f) = 1289*f**3 - f**2 - 4*f + 4. Is 28 a factor of i(1)?
True
Suppose 49580 = 47*d - 77602. Is 33 a factor of d?
True
Suppose 2*x + 0 = 4. Let m = 4 + x. Does 2 divide (m - 9)/(-1 - 0)?
False
Let u(n) = 1 + 7*n + 13*n - 4 + 5*n. Is u(1) a multiple of 5?
False
Let d(w) = 9*w**2 + 2*w + 0*w**2 - 6 + 2 - 6*w**2. Is d(3) a multiple of 29?
True
Let t(h) be the third derivative of -h**5/60 + 5*h**4/12 + 5*h**3/6 - 4*h**2. Is t(10) even?
False
Let u(p) = -2*p**3 + 21*p**2 + 12*p + 24. Let z(i) = i**2 - i - 19. Let x be z(6). Does 7 divide u(x)?
True
Suppose x + 18 = 3*x + 2*v, -5*v = -2*x - 17. Suppose a - 2*o = -69, -x*a - 5*o = -4*o + 231. Let s = 92 + a. Does 11 divide s?
True
Let i be 1/(21/6) + (-2232)/21. Let r = 281 + i. Does 18 divide r?
False
Let j = 433 - 284. Let n = 250 - j. Is n a multiple of 25?
False
Suppose -4*r - 3*u = -1271, 2*r + 9*u - 5*u - 648 = 0. Suppose -r = -10*m + 256. Is 5 a factor of m?
False
Suppose -3*d + 140 + 565 = 0. Suppose -2*i = 3*i - d. Is i a multiple of 15?
False
Suppose -4*w + n + 8273 = 2511, -5768 = -4*w + 4*n. Is w a multiple of 60?
True
Let s be (-3 + 1)/(-3 - -5) + 8. Let x be -1 - 1 - 2/(-1). Suppose x*o - s = -o. Is 7 a factor of o?
True
Suppose -5*w = 101 - 11. Let p = w - 0. Is (-60)/p*(-108)/(-15) a multiple of 8?
True
Let m(u) = -u**2 - 10*u - 6. Let b be m(-10). Let a be 78/b*(-1 + 2). Let t = 53 + a. Is t a multiple of 20?
True
Suppose -3*u + 0 = -18. Does 19 divide (-234)/(-21)*42/u?
False
Let i be ((-116)/1 + 6)*(-1 - 0). Is 2 a factor of (8 - (i + 3))*1/(-3)?
False
Let j be 4*(3 + -3 - -2). Let d(b) = 13*b**2 + 0*b + 1 - 5*b**2 - j*b - b**3. Is d(6) a multiple of 18?
False
Let g = 1 - 1. Suppose g = t + 2 + 1. Let q = 21 - t. Is 8 a factor of q?
True
Let p(j) be the first derivative of -26*j**4 - j**3/3 + j**2/2 + 2*j + 16. Is 26 a factor of p(-1)?
True
Suppose -5*r = 5*s - 455, 5*r - 2*s - 420 = -0*s. Suppose -2*h + 86 = -4*n, -2*h - 2*n - 2*n = -r. Does 23 divide h?
False
Let d = 721 - 707. Is 7 a factor of d?
True
Suppose 5*u = 4*u + 54. Does 32 divide 316 + 9/(u/(-24))?
False
Let o(d) = -d + 1. Let l be o(2). Let u be (10/15)/(l/33). Let a = u + 42. Does 8 divide a?
False
Let a(b) = b**2 - 7*b - 3. Let u be a(8). Suppose -280 = -5*x - 0*x. Suppose 5*q = -w + 58, 2*w - 35 = -u*q + x. Is 10 a factor of w?
False
Is (34 - 1*-2)/(78/572) a multiple of 6?
True
Suppose 8*g = 3*g. Let q(a) = 5*a**2 - 5*a. Let w(m) = -m**2 + m + 1. Let y(i) = q(i) + 4*w(i). Is 2 a factor of y(g)?
True
Suppose 1717 = 20*c - 43. Is c a multiple of 9?
False
Let k be ((-36)/20)/((-12)/80). Suppose k = 3*y + 5*v - 29, 5*v - 75 = -5*y. Is 17 a factor of y?
True
Suppose 0 = 4*b - 0*b + 2*i + 38, 5*b - 5*i = -85. Is (-672)/(-18) + b/9 a multiple of 6?
True
Let b(h) = 2*h - 38. Let i be b(16). Let j(c) = -7*c + 7. Is 6 a factor of j(i)?
False
Suppose -8 = i - 4. Let y be 4/(-8*i/24). Suppose y*o - 7*o + 124 = -2*n, 103 = 3*o + n. Is o a multiple of 11?
True
Suppose 0 = -11*i + 34*i - 1633. Is 6 a factor of i?
False
Let n(q) = 13*q**2 - 4*q - 1. Let d(f) = f**2 + 8*f + 3. Let v be d(-8). Let t be n(v). Suppose -b + 49 = 2*g, -5*b - 4*g = -111 - t. Does 13 divide b?
True
Let n(g) be the second derivative of 3*g**2 - 1/6*g**3 + 0 + 9*g - 1/2*g**4 - 1/20*g**5. Does 4 divide n(-6)?
True
Let u(g) = -3*g + 36. Let b be 36*(-1 - 5/(-10)). Is 46 a factor of u(b)?
False
Let k be 13/(-5) - (-13)/(390/(-12)). Let f(v) = -8*v**3 - 2*v**2 - 2*v + 1. Is 41 a factor of f(k)?
True
Let l(c) = -c**3 - 8*c**2 - 6*c + 8. Let n be l(-7). Let x be (-6)/n*(-1)/(-2). Let w(q) = 14*q**2 + 3*q - 4. Does 27 divide w(x)?
False
Let z = 79 - 84. Let m(r) = -15*r + 3. Is 3 a factor of m(z)?
True
Let b = 8 + -5. Suppose -126 = -0*t - b*t. Is (-24)/t - 582/(-14) a multiple of 23?
False
Suppose 3*z + 5*d - 14 = 3, 4*d = 4. Suppose -287 = -z*o - 39. Does 3 divide o?
False
Let f be (2 - 0)/((-10)/(-15)). Suppose -w + 4*u + 40 = 0, -f*u = 2*w + u - 80. Is 6 a factor of w?
False
Suppose -4*s - 8 = -4*k, 4*s + k - 5 = -3. Suppose -2*v + 231 = -7*v + 2*y, s = -v + 5*y - 60. Is 15 a factor of (-2061)/v + (-1)/(-5)?
False
Let f be (1 - 4)*(-7 + 6). Let g be 30/8*(-1 - f). Is 4 a factor of (-6)/10