a + 5*q + 29 = 4 for a.
4
Let k(c) = 8*c**2 - 2*c. Let z be k(-2). Suppose -2*h - 3*d = -h - z, 3*h + 2*d - 80 = 0. Solve -4*g - 29 - 11 = -5*p, -p + h = -4*g for p.
4
Let s be (3/(-2))/(27/(-90)). Solve 5*d = i + d + 6, -2*i + d = s for i.
-2
Suppose j - 9 = -j - 5*x, 5*j + 2*x - 12 = 0. Solve -7*u + j*g + 19 = -4*u, -4*g = -2*u + 18 for u.
5
Suppose 16 = 2*d + 3*z, -2*d + 3*z + 7 = 3. Suppose -2*l = -g + 18, -3*l - d = 4. Solve -4*s = -v + g, 5*v - 2 = 18 for s.
-2
Let f = -28 - -48. Solve -4*k + f = -2*b, k + 2*b + b = -9 for k.
3
Let o be (4 + -5)/((-1)/8). Suppose -3*b = -o*b + 20. Suppose -l = -2*t - 2*l + b, -5*l + 20 = 4*t. Solve -2*m - 5*x + 0*x + 11 = t, 3*x = m + 11 for m.
-2
Let w(s) = 2*s - 1. Let t be w(2). Solve t*i + a = 4*a - 24, a - 12 = 2*i for i.
-4
Suppose -149 = 5*r - 29. Let a be (-6)/r + 2/(-8). Let b be a + -3 + 2 + 1. Solve b = 2*d - 3*p - 3, 5*d = 4*d + 4*p + 4 for d.
0
Suppose 2*w + 104 = -5*a, -a + 5*w = -0*w + 10. Let m be (1 - 84/a)*5. Solve 3*l + 2*n + 2*n - 25 = 0, -2*l = 5*n - m for l.
3
Let g = 4 - 3. Suppose -2*i + 25 = g. Let d = i + -3. Solve 0 = -4*w - w + u - 15, 0 = -3*w - 3*u + d for w.
-2
Suppose 4*i = 4*f - 0*f + 8, 0 = -f - 1. Solve m + 1 - 6 = 0, 0 = s + m - i for s.
-4
Let o(h) = -h**3 + 5*h**2 + 25*h - 5. Let u be o(8). Solve 0 = -4*p + z + 2*z - 15, p = u*z - 15 for p.
0
Suppose -2*r = q + 3*q - 18, -27 = -5*q - 4*r. Solve -2*l - 2*m - 3 - 1 = 0, -4*m + 20 = -q*l for l.
-4
Let o be 7 + -3*4/6. Let u(g) = -4 - 3*g - 4 + 1 + 5*g. Let d be u(o). Solve -2*p = 3*t, -t = -d*t for p.
0
Let s(i) = -i**3 - 6*i**2 + 6*i - 3. Let n be s(-7). Let d = -4 + n. Let u = 0 + 3. Solve d = -k + 4*z + 2, -7 = 4*k + u*z - 4*z for k.
-2
Let q be (10/(-4))/((-2)/4). Suppose -q = -v - 2. Solve 21 = 3*o + 3*x, -v*o - 3*x + 29 = 2*o for o.
4
Let l be (0 - -9)/(1 - (-3)/6). Solve 0 = -5*x + 4*z + l, -x = 3*z + 14 for x.
-2
Let w(v) = -v**3 - 11*v**2 + 1. Let c be w(-11). Let n be (1 - -17) + c + -2. Solve -3*k - 2*d + 1 = 0, k = 3*d - 8*d - n for k.
3
Suppose -64*n + 60*n = -8. Solve -10 = -5*d + v, -3*v + 10 = 7*d - n*d for d.
2
Suppose 4*p + 2*o = 5*p + 7, 0 = 5*o - 25. Solve -4*u - 17 = p*i - 2, -2*i = -2*u + 10 for i.
-5
Let m be 2 + 0 + 21/(-3). Let d be m/((-5)/(-6))*-1. Solve 0 = -5*k - 2*a, -d*a + 2*a - 20 = 0 for k.
2
Let i(h) = -h**2 - 7*h + 5. Let m be i(-7). Solve -2*r - 9 = c - 0*c, -5*r - m*c - 30 = 0 for r.
-3
Let a = 142 + -116. Suppose -18 = -2*h + h. Solve 2*s = -3*s + 2*n + a, -3*s + 2*n + h = 0 for s.
4
Let i(z) = z**3 + 5*z**2 + 3*z + 1. Suppose f = -4*f + 20, 5*f = a. Suppose -5*s = a - 0. Let g be i(s). Solve g*j = 2*r - 28, r = 4*j + 5 + 15 for r.
4
Suppose 2*f = -5*y + f + 71, -2*y - 3*f = -31. Suppose -5*t = -2*x - 9, -4*x + 10 = 4*t - y. Solve -n - 1 = n + c, 0 = -x*n - c for n.
1
Suppose -2*r - 31 = -q, -69 = 5*r - 5*q + 21. Let z = r + 15. Solve j + z*l = -5, l - 2*l = -j - 2 for j.
-3
Suppose -r + 0*r + 2*i = 0, 4*r + 5*i + 26 = 0. Let v(w) = w**3 + 5*w**2 + 2*w - 3. Let k be v(r). Solve o + 9 = -f - 3*o, 0 = -2*f + k*o + 8 for f.
-1
Suppose 0 = -4*s + 3*w - 0*w + 30, 4*s = 5*w + 34. Suppose -4*t = -2 - s. Let m be 2/4 + (-3)/6. Solve 0*k + k = -2, 5*j + t*k - 16 = m for j.
4
Suppose 3*c + 5*d = 2*c + 12, -3*c + 36 = -4*d. Solve 3*z - c = -3, -4*p - z = 13 for p.
-4
Let v = -17 - -32. Let w be 5/(3 - v/6). Solve 0 = -2*b + 4*g - 20, -3*g = 2*b - b - w for b.
-2
Let o = -16 + 18. Solve 5*d - 25 = p, 4*p = -o*d - 2 - 10 for d.
4
Suppose 0 = -0*u - 2*u. Let s = u + 0. Solve -3*j - 4*m - 11 = s, 5*m - m = j + 9 for j.
-5
Let y be 3 + 3 - 2 - -3. Let u be 152/y - 2/(-7). Let r(i) = -i - 2. Let g be r(-7). Solve -4*m + u = 3*d, -g*m + 23 = d + 1 for d.
2
Suppose 12 = 2*n + 4*n. Solve 2*w - 31 = -5*v, n*v - w = -v + 12 for v.
5
Suppose b - 5 = -1. Suppose -b*d + 0 = 4*o - 12, -o = 5*d + 5. Suppose -o*h + 28 = -32. Solve 5*u - 4*v = -h, 4*v - 7 - 5 = -2*u for u.
0
Suppose -7*v + 3*v = -3*h - 5, 5*h = 4*v - 3. Solve v*f = 4*f + 4*n + 6, -5*f + 5*n = -15 for f.
1
Suppose -3*b - 3*c + 15 = 0, 3*b - 4*c = 17 - 2. Suppose 2*g - 4*n = 7*g + 18, 5*g + 20 = -5*n. Let l = g + b. Solve 6*i - 2*u = 3*i + 13, -l*u - 15 = 0 for i.
1
Let b = -4 - -17. Solve 4*i + 4*t = 12, -1 = -4*i - 3*t + b for i.
5
Suppose -5*n - 13 = -2*r + 1, -4*n - 6 = r. Suppose -58*k - 2 = -59*k. Solve 5*s - r*g - 10 + 39 = 0, k*g - 24 = 4*s for s.
-5
Suppose 0 = 3*c + c - 40. Suppose -4*b = -j - c, 4 - 2 = -2*b - 3*j. Suppose 2*v - g - 6 = 0, 12 + 4 = 5*v - b*g. Solve v*q + l = 5*l, -3*q + l + 6 = 0 for q.
3
Let p(b) be the first derivative of -b**4/4 - b**3 - b**2/2 + 2*b + 5. Let j be p(-2). Solve j = 4*o + 16, -3*k + 5*o + 8 = k for k.
-3
Suppose -5*k + 53 - 18 = 0. Let d(u) = -u**3 + 7*u**2 - u + 8. Let b be d(k). Solve -3*s + b = -2*s, 0 = 5*q + s - 11 for q.
2
Let p be (-234)/(-14) - (-6)/21. Solve 3*f + p = l + 1, -f - 3*l = -8 for f.
-4
Let s(j) = j**2 - 8. Let y be s(0). Let x = 8 + y. Solve 3*n + 29 = -4*z, -n + x*n + 12 = -3*z for n.
-3
Let w be 1/(-3) + 44/(-3). Let h = w + 15. Solve 5 = r, -v - 3*r + 0*r + 12 = h for v.
-3
Suppose -2*g + 6 = 2. Suppose 0 = -g*r + c + 20, 0*c = 2*r + 3*c - 36. Let m be (3/2)/(9/r). Solve -3 = o - 2*b + m, 0 = 4*o + 2*b for o.
-1
Let i(h) = 3*h + 72. Let b be i(-24). Solve 2*t - 4*w = -4, -2*w - 8 = 4*t - b for t.
-2
Let l(z) = z**2 + 7*z + 1. Let p be l(-7). Let f(t) = 9*t**2 + t. Let m be f(p). Let o = 14 - m. Solve 0 = 3*y - 15, -o*s + 7*s = -3*y for s.
-5
Let u(p) = p**2 + 2*p - 2. Let a = -3 - -5. Let s be u(a). Suppose 0*k = -4*t - 2*k + s, -3*k = -t + 12. Solve -3*j = h - 2*h, 0 = -t*j - 2*h for j.
0
Suppose r + 7 = 2*r - 2*x, -3*x = r + 3. Suppose -2*o + 30 = 5*g, -r*o + 0 = 4*g - 17. Solve 2*i = 5*y - g, 3*y + 2*y - 5*i - 20 = 0 for y.
0
Let b(x) = 2*x + 41. Let n be b(-8). Let c be -1*5/1*-1. Solve n = -c*y + 5*m, 5*m - 14 = y + 7 for y.
-1
Let j = 0 + 3. Suppose -17 = 4*m + f + 4*f, 0 = j*m + 3*f + 9. Solve 4*u + 20 = 0, -m*p + 5*u = -6*p - 17 for p.
2
Let t(o) = 2*o - 2. Let x be t(3). Suppose x*q = 4 - 20. Let p(h) = -2*h - 6. Let y be p(q). Solve -4*c = 0, -4 - y = 2*n - 4*c for n.
-3
Let x(h) = h**2 - 10*h + 34. Let r be x(9). Solve -d + 4 = c, 5*c = 5*d - 5 - r for c.
-1
Let q = -13 - -18. Solve v + 2 = 4*b, -4*v + q*b + 4 - 1 = 0 for v.
2
Suppose -a - 4*w + 22 = 0, 0*a + 2*w + 10 = a. Solve c = 4*z - 19, 2*c + z = 3*z - a for c.
-3
Suppose 2*h = -2*j - 0*h + 16, -4*j - 4 = -5*h. Suppose -6 = 3*o + 4*p, -j*o + 16 = o - 2*p. Solve 0*b - 7 = b + o*y, 2*y = -2*b - 4 for b.
3
Let x be (0 - 17)/(-6 - -5). Solve 0 = 4*k - 2*u + u + x, -4*k = 2*u + 2 for k.
-3
Let d be (4 - 0)*3/6. Let z be 22/(3 - 2) - d. Solve -5*o + 4 = -2*b - 6*o, -5*o + z = 0 for b.
-4
Let q be 834/(-11) - 14/77. Let r = 111 + q. Solve -r = 2*n + 5*l, -5*n - 5 = -0*l - 4*l for n.
-5
Let z(s) = -s**3 - s**2 + 5*s. Let m be z(-3). Solve -m*r = -j + 7, 2*j = 7*r - 3*r + 8 for r.
-3
Let r be ((-9)/9)/(2/(-6)). Suppose r*k + 8 = 7*k. Solve 3*b + 0 = -3*x + 21, k*b - 5*x + 21 = 0 for b.
2
Let j(s) = s. Let r(x) = 3*x - 1. Let b = -4 + -2. Let w(a) = b*j(a) + r(a). Let h be w(-1). Solve -h = d, 3*d = -3*u + 1 - 4 for u.
1
Let g = 9 + -4. Solve 5 = -g*c + 5*f, 3*f - 5 = 3*c + f for c.
-3
Suppose -4*a + 2 = 10, -3*j + 56 = -4*a. Solve f - 3*o = o + 11, -f - 5*o - j = 0 for f.
-1
Let l = -5 + 0. Let i = l + 7. Suppose -i*m = -6*t + 3*t - 25, 3*m = t + 20. Solve -10 = -m*o, 0 = 3*k - 0*k - 4*o + 5 for k.
1
Let o = 16 + -12. Solve -8*i = h - o*i + 16, -5*i - 20 = -h for h.
0
Let x be (2/8)/((-1)/(-12)). Solve 0 = -5*h + 4*k - 30, -x*k + 19 = -0*h - 2*h for h.
-2
Let s = 8 - 14. Let r = -4 - s. Let m be (r + 4 - 2) + -1. Solve -2*v - 3*f = -m*v - 10, -5*v - 3*f = -4 for v.
-1
Suppose -13 = 3*x + 20. Let p = x + 14. Solve -5*w - 7 = -j - 0*j, -p*w - 6 = 0 for j.
-3
Let v be 8 + (-1)/(2/8). Solve 2*y + 3*h = 7 - 2, 3*h = -v*y + 7 for y.
1
Suppose 2*z + 2*z + 2 = -3*w, 2*z + 8 = -5*w. Let h(u) = 4*u**3 - 2*u + 1. Let m be h(z). Solve -3*x + 3 = 3*k, -2*k + m*x = k + 21 for k.
-3
Let w(o) be the first derivative of 3*o - 3 + 1/2*o**2. Let q be w(-2). Solve -4*s - s = -4*l + q, -2*l + 3*s + 1 = 0 for l.
-1
Let c = 49 + -46. Solve 15 + 6 = -4*a - 3*i, -c = i for a.
-3
Let k be (-16)/12*42/(-4). Let l = k - 14. Solve l*q + 2*b +