-2*s = -2*o + 18 for s.
-4
Let p(t) = t**2 + t + 11. Let d be p(0). Let y = -7 + d. Suppose q + 12 = y*q. Solve 2*h + 2*m + 0 = -2, q*m = 0 for h.
-1
Let u = 55 - 54. Solve v + 3 = -3*q, 4*q - u = -3*v - 10 for v.
-3
Suppose 24*z = 28*z + 12. Suppose 5*n - 30 = -o + 3*o, -10 = -5*n. Let s be (o/(-3))/((-2)/z). Solve -2*k + k = -d + 4, d = s*k + 8 for k.
-1
Let z be ((-2)/3)/(18/(-243)). Suppose -3*r - 3*v = z, 0 = v - 0*v + 5. Solve 3*f = -m + 4*m, 3*m + r*f + 20 = 0 for m.
-4
Suppose 0 = -4*a - 4*m, -7*a + 18 = -2*a - 4*m. Suppose -56*d = 42*d - 882. Solve 0 = -2*g - 0*g + 10, 0 = -a*l + 3*g - d for l.
3
Let s(z) = 9 - 4*z**2 + 5*z**2 + 3 + 8*z. Let l be s(-8). Let b be (-38)/(-14) + l/42. Solve 2*m + 6 = v + m, -2*v - b*m + 7 = 0 for v.
5
Suppose -4*i + 59 - 47 = 0. Suppose 2*c - 114 = -0*c. Suppose -i*q + c = -0*q. Solve -d = 3*p + 2*d - 21, d = -4*p + q for p.
4
Suppose -3*u = -4*u - 25. Let g = u + 29. Solve 3*m - g*o - 6 = 0, -4 = -2*m + 2*o + o for m.
2
Let x be ((-287)/2)/(-7) + (-1)/2. Let m be 0 + 2 - (2 - 3). Suppose 3*a - 3 - 21 = 0. Solve a = -c + m*r + 3, 4*c + 5*r = -x for c.
-5
Let z = 36 - 40. Let g be 1 + 2/z*-4. Solve 5*h + 2*x + 20 = -0*x, h + g*x + 17 = 0 for h.
-2
Suppose 0 = 4*m - 12 + 16. Let s be 4/(m/6*1). Let d = -21 - s. Solve d*a - 3 = 5*z - 0*a, 0 = z + 4*a + 19 for z.
-3
Let d be (-39 - -44) + (1 - 1). Solve 3*a = -4*t + 7*a + 16, 5*t - 30 = -d*a for t.
5
Let k(q) = 2*q - 1. Suppose -8*i - 48 = -16*i. Let n be k(i). Solve 4*w = f - n, 15 = -4*f + f for w.
-4
Let q = -13 + 19. Suppose 3*b - 68 = -2*y, -y + 10 = -q*y. Suppose -3*i + 2*z + 24 = -i, -2*z + b = 4*i. Solve 2*h + 10 = 0, 3*h = -f + i*h + 29 for f.
4
Let k be ((-4)/6)/(41/246) + 4. Solve k = -5*d - 0*d + 4*m - 36, 2*m = 8 for d.
-4
Let r(u) = 2411 - 2411 - u. Let x be r(-3). Solve 4*t = -x*z - t + 10, -t = 3*z + 10 for z.
-5
Let k(a) = -3*a - 33. Let h be k(-15). Let r be (-1 - h/(-8))/((-3)/(-18)). Solve -2*v + 3 = r*o, 5*o - 2 = -2*v - 1 for o.
-1
Let h(n) = n**2 - 12*n + 4. Suppose d + 2*d = 36. Let w be h(d). Let s be -3 + 0 + 4 + 1. Solve -12 = -3*m - s*a, -w*a = -4*m - 3*a + 5 for m.
2
Let i(d) = d**3 + 5*d**2 + 2*d + 1. Let o be i(-4). Let p = 152 + -131. Suppose -2*c - p = -25. Solve 3*t + 2*r - o = 0, r - 4 = -c*t - r for t.
5
Let u(c) = 4*c**2 - 12*c + 5. Let d be u(3). Let n(s) = -s**2 - 3*s + 1. Let q be n(-2). Solve -7*h + 3*h - q*j = 35, 5*h - 4*j + d = 0 for h.
-5
Let z(k) = k**2 + 2*k - 110. Let g be z(10). Solve 5*s - g = 5*d, -5*s + 3 + 4 = -2*d for s.
1
Let j be 1/(3 - (-1 - 22/(-6))). Let m(o) = o**3 - 6*o**2 - o + 10. Let c be m(6). Suppose -c*d + 9 = -3. Solve 1 = y + k, -d*k - 12 = -j*y + 9 for y.
4
Let b(i) = -i**2 - 10*i. Let o be (-1)/((-2)/(-128)*1). Let r be (2/2)/(8/o). Let y be b(r). Solve -2*l = -d - 3*d - y, -l = 5*d + 6 for l.
4
Let q = 94 + -88. Solve -2*y = -5*t - 17, t + 3 = -y - q for t.
-5
Let j be (20/(-50))/(2/(-10)). Suppose -3*z = 3, 5*z + j = -2*i + 1. Solve 0 = 2*d + 2*y + i, 0*d + y + 9 = -3*d for d.
-4
Let y = -26 + 29. Suppose y*b = b + 6. Solve 4*t + 6 = -3*s + b, -4*t - 2*s - 2 = 0 for t.
0
Let x be (7 - 4)*(-4)/(-4). Suppose -4*a + 3 = -5. Suppose -3*t + 4*q = 3 - 24, a*t - 3*q - 13 = 0. Solve b = -0*b + 5, -t = -x*k - b for k.
2
Let z = -237 + 240. Solve 3*w = 3*h + 9, -9 = 2*w - 3*w + z*h for w.
0
Let c(d) = -d**3 + 4*d**2 - 3*d + 13. Let z be c(3). Solve -m + 9 = 4*a, 0*m = -2*a + 3*m - z for a.
1
Suppose -3*v = 2*k - 23, -4*k + 3*k = v - 9. Solve -7*h + 15 = -6*h + 4*o, 0 = 4*h + 3*o + v for h.
-5
Let l be (11/(-33))/(2*(-1)/12). Solve a = -5, -l*u + 6*u - 21 = a for u.
4
Let c(s) = -21*s + 303. Let u be c(14). Solve -2*v - u*j + 12 = -5*j, 4*j - 20 = 2*v for v.
-2
Let a = -425 + 432. Solve -a*p + 4*p = -v + 11, 4*v - 18 = -p for p.
-2
Suppose -5*h + h = -12. Let f = 3623 - 3603. Solve -2*j - 4*v = -4 + f, 19 = -5*j - h*v for j.
-2
Suppose q - 14 = -5*l, 3*l - 12 = 7*l - 5*q. Let f(t) = 2*t**2 + 15*t + 11. Let j be f(-7). Solve -b + l + 7 = -4*k, j*k + 3*b + 21 = 0 for k.
-3
Let u be 6/(-8) + 287/(-28). Let d = u - -7. Let p be (-3 - d)/(2/10). Solve j + 3*b = p*b, -6 = j - 5*b for j.
4
Let m(x) = 2*x**2 - 6*x - 3. Suppose 4*n - 2*o = 2, -3*o = -n + o + 4. Let f = n - -5. Let u be m(f). Solve 3*v + u = 4*z, 5*v = 5*z + 3*v - 23 for z.
5
Suppose -4*b = 5*j - 73, -5*j + 4*b - 2*b + 91 = 0. Solve 3*q - j = l - 5, -5*l = 3*q + 6 for q.
3
Let i be 1 + (-1 - (0 - 46)). Suppose -4*m + 3*r + 76 = 0, -2*m - 2*r = 8 - i. Solve -f + m = -4*o, 30 = -4*o + 2*f + 12 for o.
-5
Suppose -4*m + 2*f + 14 = -8, 5*f = -15. Let r = -17 + 21. Suppose -r*o - 22 = -38. Solve x - m*w = 6, 0*x - 2*x + o = -4*w for x.
-2
Suppose 49*f = 12*f. Solve -a - 5 = -0*a + z, 3*a + 2*z + 13 = f for a.
-3
Let b(k) = -4 + 0*k**2 - 5*k + 3 + k**2 - 2. Let h be b(7). Let u be h/2 - (-3)/6. Solve -2*g = g + u, 2*z = 2*g + 14 for z.
5
Let p = -2043 + 2048. Solve p*a - 10*a + 10 = -t, 0 = -4*t - 3*a - 17 for t.
-5
Let k be 189/39 - 7/((-182)/4). Solve m + 1 = 3*w - k, m = 5*w - 12 for w.
3
Let z = -45 + 47. Let d(j) = 2*j**2 - 27*j + 16. Let l be d(13). Solve 4*t - 2*x = -7*x + 7, -l*t = -z*x - 11 for t.
3
Let s(f) = -58*f + 351. Let z be s(6). Solve 6*j = j + z*y - 40, 2*j + 30 = 4*y for j.
-5
Let q(c) = c**3 - 13*c**2 + 13*c - 18. Let p be q(12). Let b(z) = 2*z + 14. Let s be b(p). Solve 2*r - 6 = -3*l, 4*r = -s*l + 12 - 0 for l.
0
Let v = 1154 - 1149. Solve 15 = -b - v*u, -7*b + 2*b - 35 = 5*u for b.
-5
Let t be (-1 - (-3)/(-3))*41/(-2). Let f = t + -38. Solve -q - 4 = 3*n + f, 0 = 5*q - 4*n - 22 for q.
2
Suppose -3*l + 5*q = -25, 6*l - l - 17 = -4*q. Suppose f + 0*k - 3*k + 9 = 0, -l*f = -5*k + 5. Solve 2*a = 5*u - 35, -a - 2*a = f*u for u.
5
Suppose -3*c + 62 = -2*k, -41*c = -40*c + 4*k - 30. Solve d - 5*g = -0 + 27, -d = -4*g - c for d.
2
Let u be -4 + (11 - (-2 - -2)). Let d(m) = -m**3 + 6*m**2 + 6*m + 9. Let n be d(u). Solve 4*f = -3*o - o, -3*f - o - n = 0 for f.
-1
Suppose 215 = -7*y + 19. Let t be (-7)/y + 38/8. Solve 3*j - 25 = t*q, -4*q + 3 = 3*j - 4 for j.
5
Let b be 150/14 - 10/14. Solve 4*k + 0*k + 30 = 2*r, -b = -3*r - k for r.
5
Let x = 25 - 25. Suppose k - 6*k = x. Solve k = -5*j, -2*j = 5*o - 0*j - 10 for o.
2
Let x(a) = 4*a - 7. Let g(s) = s + 1. Let y(h) = 3*g(h) - x(h). Let f be y(8). Solve 5*q + 2 = -k, f*q + 2*q + 2*k = 2 for q.
-1
Suppose 0 = 105*t - 118*t + 91. Solve -4*g = 3*z + t + 8, 2*g + 3*z + 15 = 0 for g.
0
Suppose 4*t - 47 = -x, x + 19 = 17*t - 15*t. Solve 4*o + 1 = -5*h, 0*o + 5*h = -o + t for o.
-4
Let g = -934 - -941. Suppose 0 = 4*z - z - 9. Solve t = -3*m - g, 3*t - z = m - 2*m for t.
2
Suppose -248 = 3*o - 2*t, 5*o + 2*t + 392 = -0*o. Let i = o - -32. Let v be (320/i)/(4/(-6)). Solve 2*z + 2 = 2*k - 0*z, -4*z - v = -k for k.
-2
Let u = -5 + 14. Let y(o) = o**2 - 10*o + 10. Let q be y(u). Solve l = p + q, 4*l + 3*p = 3*l + 17 for l.
5
Suppose -3*y = -7 - 2. Suppose 258*q + 256*q = 501*q. Solve 2*r - 6*t = -t, -y*r + 3*t - 9 = q for r.
-5
Let c(b) = -b**3 - b**2 + 4*b - 1. Let w be c(-3). Let t = w - 2. Let i be (t/12)/((-3)/(-36)). Solve -3*h + 5*f + 12 = 0, i*h - f = -0*f + 12 for h.
4
Let p = -6 - -2. Let v = 31 + -24. Let t = p + v. Solve 8 + 14 = u - 5*b, -3*u + t*b = -6 for u.
-3
Let y(t) = -t**2 - 10*t - 4. Let c be (-3)/(-2) - (-135)/30. Let d be 7*11/((-77)/c). Let m be y(d). Solve -4*o = -4*r + m, -5*r + 8 = o - 11 for o.
-1
Let o be (-3)/(-1*(2 - 1)). Let d(l) = 2*l**2 + 12*l - 12. Let f be d(-7). Suppose -7*i + 20 = -f*i. Solve 0 = 4*g - 4, -21 = -2*b - o*b + i*g for b.
5
Let r be 132/28 + (-6)/(-21). Suppose 3*l - 4*l + 4*b = -16, -5*b = l - 34. Let y be (r - 2)*40/l. Solve -4*j + 35 = y*u, j - 2*j + 5*u - 10 = 0 for j.
5
Suppose 0 = 2*i + 2*i - 4. Suppose 5*f = 4*j + 27 - i, -3*f + 18 = -3*j. Let a = 37 + -34. Solve -a*t = 0, f*k - 6*t = -t - 8 for k.
-4
Let i(n) = n**3 - 7*n**2 - 10*n + 14. Let c be i(8). Let d be 186/14 - c/(-7). Solve 3*k = -4*b + d, -4*k - b = -11 - 2 for k.
3
Let v(t) be the second derivative of t**5/20 - 5*t**4/6 + t**3/6 - 7*t**2/2 + 8*t. Let k be v(10). Solve -11 = 4*u + u - k*d, 5*u = d - 7 for u.
-1
Let f be 6 + -3 + (-2)/(-2). Suppose -3*i + 5*c = 5, i - 4*c - 1 = 2. Let j = i - -9. Solve 0 = f*w - j*k + 12, w - 3*k = 2 - 11 for w.
0
Let r be ((-5)/3)/((-35)/42