h + 141 = -h, -5*h = -3*d + 212. Is 23 a factor of d?
True
Let c(i) be the first derivative of 43*i**2/2 - 2*i - 7. Does 17 divide c(2)?
False
Is 96/(-1 + (-2)/(-1)) a multiple of 12?
True
Let h(b) = -b**2 + 3*b - 6. Let i be h(5). Let o = -12 - i. Is 4 a factor of o?
True
Let k(h) = -10*h - 4. Let a(u) = -19*u - 7. Let o(i) = 3*a(i) - 5*k(i). Suppose 0 = 2*d + 5*v + 24, -6 = -d - v + 3*v. Is 13 a factor of o(d)?
True
Suppose p = -5 - 0. Let f(t) = -t + 1. Let s be f(p). Suppose s*d - 2*d + 98 = 5*i, -5*i = -d - 92. Is i a multiple of 18?
True
Suppose 0*w = 2*w - 10, -5*a - 60 = -3*w. Let l be 8/(-12)*(-78)/(-4). Let z = a - l. Is 2 a factor of z?
True
Let u(m) be the third derivative of m**5/30 + m**4/4 + m**3/6 + 3*m**2. Let g be u(-4). Suppose -3*b - g = 0, -5*a = -5*b + 20 - 75. Is a a multiple of 5?
False
Let o(z) = 15*z - 7. Is o(17) a multiple of 31?
True
Let h(a) = a**3 - 3*a**2 + 2. Let c be h(3). Suppose -81 = -3*i + 2*o - 5*o, -c*o - 21 = -i. Is i a multiple of 11?
False
Suppose -y + 22 = 3*o, 6*o - 2*y - 46 = 2*o. Is o a multiple of 3?
True
Suppose 6 - 1 = 5*y, 0 = -2*l + 4*y + 444. Does 32 divide l?
True
Let u be 2/(-3) + (-18)/(-27). Is 17 a factor of 42*(u - (-16)/12)?
False
Suppose 3*y = 9*y - 54. Does 34 divide (-2)/y + (-616)/(-18)?
True
Suppose 0 = 2*u + u - 228. Is 38 a factor of u?
True
Does 28 divide (-36)/(-6)*(14 + 0)?
True
Is 309 + (16/(-4) - -7) a multiple of 26?
True
Suppose -3*n = 4*t - 18, 11 = 3*t + 2. Suppose 0*v = n*o + 4*v - 24, 4*o - 24 = -2*v. Is o/(-2) + 3 - -9 a multiple of 10?
True
Let q = -3 - -4. Let u be 1/(2 - q) - 5. Is 12 a factor of (-185)/(-15) + u/(-6)?
False
Let k be 140/6*(-12)/(-10). Let g(c) = -c**2 + 7*c - 8. Let v be g(4). Suppose k = 3*q - 2*z, -20 = -q + v*z - 4. Is q a multiple of 8?
True
Let w be -1 - 2/3*-6. Suppose -4*u = -w*u - 4*a - 58, 4*u + 5*a = 190. Is 18 a factor of u?
False
Is 12 a factor of (7 - 6) + (62 + 0 - 3)?
True
Is 1*(16 + -3) - 1 a multiple of 3?
True
Suppose 441 = 5*m + y, 7 + 256 = 3*m + y. Let q = m + -50. Is 13 a factor of q?
True
Suppose w - 156 = -2*m, 2*m = -4*w + 8*w + 156. Is m a multiple of 28?
False
Suppose -5*n = -25, -n = 2*m - 5*m + 394. Is 19 a factor of m?
True
Suppose -5*t = -5*q - 4*t - 22, 2*q = -5*t - 25. Let h be (-1416)/(-15) - (-2)/q. Let s = h - 60. Is s a multiple of 17?
True
Let q(d) be the third derivative of 2*d**2 + 1/12*d**4 - 1/3*d**3 + 0*d + 0. Is q(6) a multiple of 5?
True
Suppose 8*v = 4*v + 132. Does 9 divide v?
False
Let j = -21 - -29. Let t = j + 9. Is t a multiple of 10?
False
Let f(h) = 4*h - 3. Let i be f(3). Let l = -56 - -53. Does 22 divide 393/i + (-1)/l?
True
Suppose -5*p + 4 = -16. Suppose -p*z = z - 180. Suppose 3*l = -l + z. Does 5 divide l?
False
Let a be (-3)/(-3)*0 + 5. Suppose 4*r - 5*r = 2, r = -b + a. Is 2 a factor of b?
False
Let g(f) = f**2 - 6*f + 2. Let b be g(7). Let x(u) = -1 - b*u + 0 + 1. Is 18 a factor of x(-2)?
True
Suppose -a + 3*w - 4 - 1 = 0, -w + 15 = 3*a. Suppose -a*d - c = -11, -9*d + 16 = -4*d + 2*c. Suppose 3*b = -d*i - 0*b + 49, -i = -3*b - 11. Is 8 a factor of i?
False
Suppose 0 = -4*s - 12, 2*q + 4*s - 51 = s. Suppose 115 = 5*z + q. Suppose 3*r + 4*l - 65 = 0, 4*l = -r + 18 + z. Is r a multiple of 15?
True
Suppose 0 = -2*v + 60 + 192. Is v a multiple of 21?
True
Let p be -21 + 0/(0 - 2). Is 7 a factor of p/(-28) - 25/(-4)?
True
Suppose -38 = -2*z - a - 17, 0 = -2*a + 2. Let m = 6 + z. Is m a multiple of 9?
False
Does 40 divide -16*(0/3 - (-25)/(-2))?
True
Suppose -2*d + 1 = -d. Let f = 57 + d. Is 12 a factor of f?
False
Suppose u + 5*d - 23 = 0, 4 = -3*d - d. Suppose 3*g + 10 - u = 0. Is 6 a factor of g?
True
Suppose -l + 3*c + 57 = 0, -5*l + 2*c + 124 = -96. Suppose -4*t - 3*u = -l, 0*t + 4*u - 16 = -2*t. Is t a multiple of 5?
False
Let i be -1 + (-29)/3*-3. Suppose r - 2*r + i = 0. Is r a multiple of 14?
True
Let b(j) be the second derivative of -j**5/10 - j**4/6 - 2*j**3/3 - j**2 + 4*j. Does 9 divide b(-2)?
False
Let j(d) = d + 25. Does 14 divide j(-11)?
True
Suppose 4*o - 59 = 93. Is o a multiple of 19?
True
Let q(m) = -11*m - 9. Let j be (6 - 4) + (2 - 10). Is 22 a factor of q(j)?
False
Let q(v) = v**2 - 6*v + 5. Let h be q(-7). Suppose -3 = -w - 2*i + 44, -3*i = -3*w + h. Is 19 a factor of w?
False
Suppose 8*t - 3*t - 11 = 2*z, 13 = -z - 5*t. Let u = z - 0. Does 8 divide u*5/(-2)*1?
False
Let p(g) = 6*g**3 - g**2 + g + 1. Is p(2) a multiple of 7?
False
Suppose -2*a + 44 = 2*m, 2*m = -4*a + 65 - 17. Let s = -84 - -119. Let b = s - m. Is b a multiple of 6?
False
Let y = 2 - 1. Let o be 8 + -6 + 15 + -2. Suppose j - o = -y. Is 14 a factor of j?
True
Suppose 4*n - n + o = 19, -3*n - 3*o + 9 = 0. Let w = -1 + n. Is w a multiple of 3?
False
Is 24 a factor of 1/(-4) - 289/(-4)?
True
Let v(r) be the third derivative of r**4/12 + 13*r**3/3 + 4*r**2. Is 13 a factor of v(0)?
True
Suppose 0 = 3*v - 2*i - 94, -154 = -5*v + 4*i - 2*i. Is 5 a factor of v?
True
Let q = 4 + -2. Suppose 0 = -r - r - q*n + 2, -2*n + 4 = 0. Is 11 a factor of r/(40/(-38) - -1)?
False
Suppose -2*t + 5*w + 260 = 3*t, w - 254 = -5*t. Suppose -2*a + 21 = -t. Is 12 a factor of a?
True
Suppose 0 = p - 41 - 79. Is 15 a factor of p?
True
Let t = -11 + 11. Suppose -h + y + 4 = 0, -5*h - 6*y + 2*y + 11 = t. Is 3 a factor of h?
True
Let r = -34 - -74. Is r a multiple of 20?
True
Let t = -38 - -22. Does 4 divide t/(-72) - 68/(-18)?
True
Let a(n) = 17*n - 4. Let z be a(12). Suppose -5*c + 3*j = -z, 2*c - 3*j - 89 = -0*c. Is 8 a factor of c?
False
Let l = 7 - -49. Is l a multiple of 14?
True
Let j = -70 - -116. Let l = j - -8. Does 14 divide l?
False
Let c(y) = 3*y**2. Let w be c(5). Suppose 3*o - w = -2*o. Is 16 a factor of 2/(-5) - (-696)/o?
False
Let i = 31 - 27. Is 7 a factor of 2*i + (-7)/(-7)?
False
Let l(p) = 3*p**3. Let t be l(1). Suppose -4*k - t = 5. Let x = k + 6. Is x a multiple of 4?
True
Let k(h) = -38*h - 22. Is 20 a factor of k(-9)?
True
Let d = -43 + 62. Is d even?
False
Suppose -6*j = -2*j. Suppose 4*c = -j*c + 8. Suppose -c*d + 22 = 3*y, -2*d + 20 = 6*y - 2*y. Is 7 a factor of d?
True
Let g(f) = f**3 + 6*f**2 - 8*f - 3. Let i be g(-7). Let p(v) = v**2 + 2*v - 6. Does 6 divide p(i)?
True
Suppose i = -2*i - 432. Is 8 a factor of i/(-20)*10/3?
True
Suppose 0 = -9*o + 6*o + 72. Is 6 a factor of o?
True
Suppose -5*s - 4*s = 108. Let r(h) = -6 - h + 0*h + 0*h. Does 3 divide r(s)?
True
Let x(j) = 7 - j**2 + 3*j + 14 - 3*j. Is x(0) a multiple of 8?
False
Let o(d) be the first derivative of -2 + 7*d - 1/3*d**3 + 4*d**2. Is o(8) even?
False
Let v(j) = -3*j + 13. Let s(r) = 5*r - 20. Let c(z) = -5*s(z) - 8*v(z). Let n be c(-4). Suppose n = -4*d + q - 3*q + 84, -4*d + 84 = q. Is 8 a factor of d?
False
Suppose -8*q = -10*q + 12. Does 2 divide q?
True
Let w be 19 - 0*1/3. Suppose -202 = 3*g - w. Let z = g - -87. Is z a multiple of 13?
True
Let j(o) = -2*o + 3*o**2 - o + 5*o - o**2. Is 6 a factor of j(-3)?
True
Let u = 2 + -6. Let w be (4 - 26)*2/u. Let z = w - 1. Is z a multiple of 5?
True
Let b = 156 + -102. Does 54 divide b?
True
Is 198/(-4)*(-2)/3 a multiple of 7?
False
Suppose m = 4*m - 24. Suppose m = t - 1. Is t a multiple of 4?
False
Let m(d) be the first derivative of d**4/4 - 4*d**3/3 + 2*d**2 - 5*d - 2. Let z be ((-5)/(-2) - 2)*8. Is 6 a factor of m(z)?
False
Let j(o) = o**2 - 6*o - 6. Let l be j(8). Let m = -5 + l. Is m a multiple of 3?
False
Let u be 5/(-3)*(-30)/25. Suppose u*h + 9 - 47 = 0. Does 19 divide h?
True
Let a(f) = 3*f - 6. Let j be a(3). Is 117/(-65)*(-20)/j a multiple of 6?
True
Let d = -59 + 103. Does 11 divide d/(-3*6/(-9))?
True
Let o = 790 - 547. Is 23 a factor of o?
False
Suppose 21 - 6 = 5*h. Suppose a + a + 3 = h*z, 0 = -4*a + 4*z. Suppose -a*j = -16 - 2. Is j a multiple of 3?
True
Is 3 a factor of 3*(1 + 51/9)?
False
Let f be (3/3 - 3) + 5. Suppose -f*i - 2*i + 10 = 0. Does 11 divide 11/2*(i - -4)?
True
Let b = -17 - -18. Let a = 19 - b. Is 6 a factor of a?
True
Suppose -i - 3 = 3*f - 0, 5*f = -5*i - 15. Let l be 3/i*2/2. Let u(t) = -18*t**3 + t. Is 10 a factor of u(l)?
False
Let j(d) = 5*d**2 - 5*d - 5. Let c be j(7). Suppose -5*t = s - c, 4*s = -35 + 15. Is t a multiple of 21?
True
Let i(u) = -u**2 - 5*u - 3. Let m be i(-3). Suppose n - 10 - 7 = -m*s, -2*n = s - 49. Does 13 divide n?
True
Let x = 