se o*w + h = 11. Does 2 divide w?
True
Let f = -1 + 3. Let q(n) = 6 - 12*n + 3 + n**2 + 0*n - f. Is q(12) even?
False
Suppose 12*d = 9*d + 288. Let s be (16/(-6))/((-2)/d). Is 1/(3 - s/44) a multiple of 4?
False
Let w(x) = 9*x - 5. Let j(y) = -149*y + 89. Let n(d) = 74*d - 45. Let i(a) = 3*j(a) + 5*n(a). Let l(h) = 5*i(h) + 42*w(h). Is l(-3) a multiple of 12?
False
Let q(v) = v**3 - 11*v**2 + 9*v - 2. Let n(w) = w**2 - 15*w - 22. Let f be n(17). Let y be q(f). Let k = -174 + y. Is 21 a factor of k?
False
Let r = 1945 - 1163. Is r a multiple of 46?
True
Let z = 643 + -363. Is 20 a factor of z?
True
Let c(t) = t**2 + 4*t - 5. Let a be c(-5). Suppose a = 4*w + 159 - 663. Does 2 divide (36/14)/(27/w)?
True
Let u = -6 - 5. Let a(h) = h**3 + 13*h**2 + 11*h + 1. Let l be a(u). Does 17 divide (-7 - -5)/((-4)/l)?
False
Let x = -201 + 412. Is x a multiple of 83?
False
Let w be (-4)/22 + 5672/(-22). Let h be -184*1*(-1 + 2). Let x = h - w. Is 21 a factor of x?
False
Let v(n) be the first derivative of -n**4/4 + 2*n**3 + 4*n**2 - 7*n + 4. Let u be v(7). Suppose -6*t + 198 = -u*t. Is 11 a factor of t?
True
Let u = 107 + -104. Suppose 0 = -5*b + 2 + 13, u*i + 3*b = 180. Is 13 a factor of i?
False
Suppose m + 11*m - 2640 = 0. Is m a multiple of 56?
False
Suppose 75 - 15 = 5*x. Suppose -11 = -3*g + 7. Suppose -2*q + x = -g. Does 9 divide q?
True
Does 23 divide 3/9 - 1 - 4150/(-15)?
True
Let d be 1/(-1*(-2)/70). Let u = d - 25. Does 8 divide u?
False
Suppose -4*w + 21 + 7 = 4*j, -3*w + 4*j - 14 = 0. Suppose w*a - 2 = -0. Let u(b) = 37*b**3 + b. Is u(a) a multiple of 9?
False
Let h(x) = -x**2 + 9*x + 16. Let k be h(9). Let p = 4 + k. Is p a multiple of 4?
True
Suppose 6161 + 3694 = 5*r. Is 14 a factor of r?
False
Let p = -113 - -159. Let b = -5 - -12. Suppose -b + p = k. Is k a multiple of 25?
False
Let v(n) = 9*n + 4. Let f(a) = a**3 + 4*a**2 - 2*a. Let r be f(-4). Does 19 divide v(r)?
True
Suppose 0 = -4*z + 8*z - 12. Is 15 a factor of (1/z)/((-3)/(-675))?
True
Suppose 46*h = 47*h - 116. Is 11 a factor of h?
False
Let p = -2 - -3. Let u(y) = -7*y + 5 - 5 - 1 - p. Is 10 a factor of u(-6)?
True
Let k be 2/(1/(30/4)). Suppose -5*w + 4*z + 377 = 0, -2*z - 167 = -2*w - k. Is 30 a factor of w?
False
Let k(j) = -3*j - 11. Let q be k(-5). Suppose -3*c = 2*n - 159, -n + 409 = 4*n - q*c. Suppose 3*m + 0*m = n. Is 9 a factor of m?
True
Suppose 32*t = 28*t + 144. Let s = t - -29. Is 5 a factor of s?
True
Let i(g) = -5*g + 1. Let z be i(-8). Let o = -14 + z. Does 9 divide o?
True
Suppose -5*h - 5*b + 14290 = 0, 2862 = 6*h - 5*h - b. Is 22 a factor of h?
True
Suppose 3 = -z + 4. Let c be 2 - (2 + z)*-1. Is (12/c)/(10/225) a multiple of 18?
True
Let u(l) = 90*l**2 + 12*l - 27. Is 8 a factor of u(3)?
False
Let f(o) = -5*o - 4. Let w be f(3). Let n = 27 + w. Suppose 0 = -4*z + 4*v + n, -2*z + 40 = 2*z + 4*v. Does 6 divide z?
True
Let p(b) = -2*b + 4*b - 2*b + b. Let f be p(-1). Let r(t) = 96*t**2 + 2*t + 1. Is 19 a factor of r(f)?
True
Let z = 810 - 216. Does 22 divide z?
True
Let p = 53 + -48. Suppose n + 356 = p*n. Does 30 divide n?
False
Is 1/((16/(-40))/((-3412)/10)) a multiple of 11?
False
Let q(d) = 22*d + 155. Does 72 divide q(37)?
False
Suppose 3*f + 5 = 4*f. Let g(j) = j + 43. Let y be g(-8). Suppose f*b - 20 = -3*o + y, -5*b + 4*o = -20. Is b a multiple of 8?
True
Suppose 2*g + 4 = 6*g, -4*y + 751 = -g. Is 20 a factor of y?
False
Let l(y) = y**2 - y + 2. Suppose 3*z = 4*s + 13, 0 = -4*z + 5*s - 0*s + 17. Suppose 5*i + k + 1 = 4*i, 0 = i + z*k - 1. Is l(i) a multiple of 5?
False
Let v(w) = -3*w**2 - 4. Let u be v(7). Let l be u/17 + (-2)/17. Let o(t) = -5*t - 13. Is 9 a factor of o(l)?
False
Let h be (-104)/(-18) + 8/36. Suppose -h*j + 160 = -j. Does 5 divide j?
False
Let n(r) = -r**3 - 1. Let a(x) = 7*x**3 - 7*x**2 + 6*x - 4. Let k(b) = -a(b) - 6*n(b). Let p be k(6). Let m = p + 4. Is 4 a factor of m?
False
Suppose -57 = 5*h - 267. Suppose 0 = 2*u + 8 - h. Suppose u = 3*o - 46. Does 5 divide o?
False
Let y(g) be the first derivative of -2*g**3 - 6*g - g**2 - 1 - 1/4*g**4. Is y(-6) a multiple of 3?
True
Suppose -3*v = -7*c + 2*c - 4, v - 2 = c. Is 11 a factor of (-1 + 2)*(40 + c)?
False
Suppose -s + 116 = -5*a, -154 = -2*s + 2*a + 78. Is 58 a factor of s?
True
Let j(g) = 197*g - 2. Let t be j(-1). Let p = t - 149. Let v = -246 - p. Does 15 divide v?
False
Let x(w) = -37*w - 146. Is x(-5) a multiple of 2?
False
Let x be (-1 - 15/(-21)) + 2/7. Suppose 0 = 3*b, 5*b - 163 = -o - x*o. Is o a multiple of 21?
False
Let q(n) = 2*n**2 - n + 51. Suppose 3*m = -4*x + 77, 3*x + 5*m = 21 + 45. Let h = 17 - x. Does 17 divide q(h)?
True
Suppose -8*o - 333 = -61. Does 6 divide ((-1)/2)/((11/o)/11)?
False
Let d be (0/(3 - 2)*1)/(-1). Is 10 a factor of -5 + d + 113 + 1?
False
Let a(t) = -t**2 - 8*t - 15. Let y be a(-6). Does 8 divide -4 - (y + -21 + -4)?
True
Suppose -i + 104 = -4*v, v - 2*i + 26 = 3*i. Let r = 95 - v. Does 49 divide r?
False
Let w = 98 + 586. Is w a multiple of 38?
True
Let n(c) = -c**3 - 6*c**2 + c + 8. Let z be (-3)/4*16/2. Let r be n(z). Suppose 5*a + 36 = r*k - 35, -4*k - 5*a = -157. Is k a multiple of 10?
False
Let t = 2 - -2. Suppose 0 = -t*v - 2*n + 6, 2*v - 2*n = 3*n + 9. Suppose 0 = z + 3*q - 9, 3*z + v*q = 10 + 10. Does 3 divide z?
True
Let o(v) = 10*v**2 - 16*v - 58. Is 8 a factor of o(-5)?
True
Let l(c) be the third derivative of -c**7/2520 + c**6/90 - c**5/24 - 5*c**4/24 + 2*c**2. Let o(q) be the second derivative of l(q). Does 2 divide o(6)?
False
Let w = -10 + 14. Let q = -77 + 134. Suppose r + d + d - q = 0, d - w = 0. Does 14 divide r?
False
Let c = -494 + 1154. Is 6 a factor of c?
True
Let d(v) = 10*v**2 - 2. Let h be d(3). Suppose 38 + h = f. Is 21 a factor of f?
True
Let g be ((-6)/15)/(2/(-80)). Does 6 divide ((-22)/(-3))/(g/144)?
True
Let c(m) = -m**3 - 2*m**2 + 2*m + 184. Does 20 divide c(0)?
False
Let h = 971 - 526. Is 17 a factor of h?
False
Is (-6)/((-90)/18645) - 1/1 a multiple of 27?
True
Let c be (-4)/8*0/6. Suppose 0 = -c*v + 2*v - 2*p - 14, -3*p = 5*v - 43. Is v a multiple of 8?
True
Let l be 339 - (-1 + 4 + 0). Suppose -b - 157 = -3*r, 0 = 5*r - 4*b - l + 79. Is r a multiple of 53?
True
Let s = 100 + 538. Is s even?
True
Let f = -24 - -21. Let x be 1/f*(13 + -16). Let u(o) = 77*o**2 + 3*o - 2. Is u(x) a multiple of 26?
True
Let c(z) = 2*z + 18. Does 13 divide c(30)?
True
Let j = 10 - 7. Suppose -2*b + 6 + j = -c, 0 = 5*b + 2*c - 27. Is 5 a factor of b?
True
Let f(m) = m - 3 - m - 2*m. Let n(c) = -c**3 + 3*c**2 - 5*c + 2. Let z be n(2). Does 4 divide f(z)?
False
Let q(a) = -a - 12. Let i be q(-9). Let t(l) = -2*l**3 - l**2 - 4*l. Is 19 a factor of t(i)?
True
Suppose b - 2*g + 139 = -2*b, -4*g = -20. Let s = b + 61. Is 18 a factor of s?
True
Let f(t) = t**2 + 13*t - 5. Let v be f(-14). Suppose 3 = 2*w - v. Is 3 a factor of 6 + (w/(-3) - -4)?
False
Let j = 14 + -8. Suppose -j*o + 2*o = 32. Is 23 a factor of (2 + o)*(-114)/12?
False
Does 23 divide 7/(42/4)*276?
True
Suppose 5*c + q - 15 = 0, -2*c + 8 = 2*q + 2. Does 21 divide (c + 1)/(2/15)?
False
Let c = -11 + 15. Let k(u) = -9 - 9 + 11 + c*u. Is 17 a factor of k(7)?
False
Suppose -2*t - t + 10 = s, -4*s - 2*t = -90. Let w = s - 3. Is 8 a factor of w?
False
Let d = -366 + 641. Is 11 a factor of d?
True
Suppose 0 = -8*q + 1476 + 988. Does 14 divide q?
True
Let x(t) = 19*t - 18. Let h(a) = -a**3 + 7*a**2 + 9*a - 2. Let m be h(8). Does 32 divide x(m)?
True
Let t(k) = -186*k + 6. Is t(-2) a multiple of 9?
True
Let o(i) = i**2 + i - 4. Let v = 19 + -20. Let y(z) = -6*z. Let n be y(v). Does 19 divide o(n)?
True
Let g be (-6)/(-3) + -4 - -76. Suppose -5*k + 11 + 9 = 0, 0 = -5*x + 2*k - 113. Let h = g - x. Does 20 divide h?
False
Does 17 divide 2/4*(2485 - -43)?
False
Let f(b) = -b**3 + 12*b**2 - 13*b - 2. Let n(g) = g**3 + 12*g**2 + 9*g - 14. Let y be n(-11). Is f(y) a multiple of 30?
True
Suppose -8*y = -1062 - 986. Suppose -6*s = -4*s - y. Does 20 divide s?
False
Let w be 3480/(-75) + (-14)/(-10) + -1. Let p = w - -91. Does 5 divide p?
True
Let i(p) = 3*p**2 + 2 + p - p + p**3 - p - p. Let g be i(-3). Suppose g*o - 309 = 5*o. Is 13 a factor of o?
False
Let d be (12/6)/(1 - 2/6). Does 12 divide ((-40)/(-15) - d)*-177?
False
Let b be (47/3)/(3/9). Suppose -b = -2*u - 9. Is 4 a factor of u?
