 2 = -2*a for u.
-3
Let w = -8 - -5. Let l = w + 7. Solve 0 = 5*z + 5*q - 11 - 9, -5*q - 16 = -l*z for z.
4
Let k be -1*1*(-14 + 13). Solve 0 = -5*y + 4*y - p + 6, p - k = 0 for y.
5
Let h = -23 - -15. Let j be (-9)/(-12) - 26/h. Solve 2*o = -f + 13, 0*f + j*f + o = 24 for f.
5
Suppose 5*i + 1 = 16. Let a be (-45)/105 - (-34)/14. Solve -4*q + i*g + 8 = -a*g, -1 = -q + g for q.
-3
Let z be (8/2 - 1) + 1. Solve 8*j - 4*s + 12 = z*j, 3*s - 5 = j for j.
-2
Let r(q) = q**2 - 5*q + 5. Let v be r(5). Suppose 0*d + 38 = 4*d - h, -17 = -3*d - v*h. Solve p - d = l + l, 6 = -3*p - 5*l for p.
3
Let c(v) = -v + 7. Suppose 4*i = -w + 13, 4*i - w - 17 = -6. Let z be c(i). Solve -z*y + 10 - 26 = -4*x, -3*x + 4*y = -17 for x.
-1
Let a = 21 + -11. Let n = -7 + a. Solve s - 3*r = 0, 5*r - 11 = s - n*s for s.
3
Let b(s) = -s**2 + 9*s - 8. Let n be b(7). Let j(l) = -l**2 + 7*l - 2. Let y be j(n). Solve -3*i - 2*m - 15 = 0, -6 = i + y*i - 3*m for i.
-3
Let h(a) = a**2 - 3*a - 10. Let x be h(8). Suppose -q - 2*z - 34 = 2*q, -2 = -2*z. Let m be (q/15)/(2/(-5)). Solve -5*r + 2 = -t + x, 3*t - 19 = m*r for t.
3
Let i(o) = -o**3 + 2*o**2 + 10*o - 1. Let d be i(4). Let m be ((-4)/d)/((-8)/28). Solve 3*s + 27 = -w - m*s, s = -4*w - 13 for w.
-2
Let w(p) = -p**3 + 11*p**2 + 13*p - 12. Let y be w(12). Solve 9 - 3 = s - 3*g, s - g - 4 = y for s.
3
Let r(c) = -c**3 - 6*c**2 - 4*c - 3. Let y be r(-2). Let g = y - -14. Solve t + 0 = g*i - 4, -5 = 2*t - 5*i for t.
5
Let p(q) = q**3 - 12*q**2 + 11*q - 3. Let u be p(11). Let w = 5 + u. Solve -2 = -x + 5*x - 5*v, 2*x + w*v = 8 for x.
2
Suppose 0*d - 87 = -5*d - 4*m, -3*m = 3*d - 54. Solve -5*i - 6 = 5*s + 9, -i = 4*s + d for s.
-4
Let s(a) = 4*a - 28. Let p be s(7). Solve p = -4*n + 6*t - 3*t + 8, 4*n = -3*t + 8 for n.
2
Let n(t) be the second derivative of -t**4/12 + 4*t**3/3 - 2*t**2 + 8*t. Let k be n(6). Solve 2 = 5*v - k, -5*v = -g - 12 for g.
-2
Let c = -138 + 141. Solve 3*q - d + 16 = 0, -c*d = -2*q - 8*d - 5 for q.
-5
Let g be (-2)/(-5) + (-14)/10. Let n be (-2)/1 - -3 - g. Solve 3*y - 1 = -2*v - n, 0 = y + 1 for v.
1
Let g(b) = b**3 - 2*b**2 + 2*b - 4. Let u be g(3). Let w = -7 + u. Solve 4*y + 3*c - 7*c = 16, 5*y + w = -3*c for y.
1
Let v be 93/12 + (-4)/(-16). Suppose 2*b - 5 = -q, -4*q = -3*b - 6*q + v. Let p be 4/10 - (-2)/(-5). Solve 7 = 3*w - 2*r, p = 4*w + 4*r - 14 - b for w.
3
Suppose -2*l + 6 = -2*r, 0*l = -5*r - 2*l - 1. Let t be 4 + r*2/(-2). Solve 4*x + 4 = z - t, -4*x - 7 = z for x.
-2
Let u be (-10)/25 + 77/5. Let b be (8/10)/(3/u). Solve p - 2 = 2*q + 7, -3*q = b*p - 14 for p.
5
Suppose -2*p + 4*o - 31 = -5*p, -p + 2*o = -17. Solve -3*w - p = v - 2*v, 0 = -5*w - v - 11 for w.
-3
Suppose -6*f - 4 = -8*f. Solve -3*r = -f*c + 7, 3*r - 6 = 4*c + r for c.
-4
Suppose -7*s + 18 = -3. Solve 2*x = 2*l - 2, -s*l + 2*x + 2 + 3 = 0 for l.
3
Suppose -7*n + 3*n + 30 = 2*l, l = 3*n - 10. Solve 0 = 5*h - 3*k - 16, -h - 18 = -l*h + 5*k for h.
2
Let q(z) = -8*z - 45. Let s be q(-6). Solve -f = -3*j - s, -4*f = 5*j - f + 19 for j.
-2
Let o = 2 + 3. Solve -b - 3*k + 4 = -0*b, -5*k = -o for b.
1
Suppose -1 = 4*w - 69. Solve g = -0*g + 2*p + 9, 3*p + w = 5*g for g.
1
Suppose 0 = -4*b + 4 - 0. Solve 0 = 4*q - 2*j - 14, b = -3*q - 5*j - 8 for q.
2
Let t = -10 - -1. Let p = t + 9. Solve 4*h + 4*b + 20 = p, -h - b - 11 = 3*h for h.
-2
Suppose -j = -5*c + c + 9, -5*c - 5*j + 5 = 0. Suppose -4*q + 3*n - 34 = -6*q, c*q + 4*n - 32 = 0. Solve -w = -5*r - 2*w + q, -5*w = -4*r + 16 for r.
4
Suppose -2*t - 5*l = -l + 4, -2*l = 4. Suppose -3*a = -4*a + 2, 3*a = t*f + 2. Solve -4 = -4*h + 2*s, s + 4*s - 6 = f*h for h.
2
Suppose -5*s + s = 0. Suppose -8 = -2*u + 5*x, u - 3 = -s*u + 3*x. Solve 4*n - 4*t - 18 = -u*t, -n + 4*t - 6 = 0 for n.
2
Let n = 3 - -2. Let j = -2 + 0. Let f = 7 + j. Solve -v - f = -0*x - 4*x, 3*x + 2 = -n*v for x.
1
Let i(o) = -o**3 + 4*o**2 - 4*o + 3. Let y be i(3). Solve 12 = -3*v + 6*b - b, y = -5*b for v.
-4
Let f be 18/(-4)*-3*(-4)/(-18). Solve 0 = -5*n + m - 8, f*m - 2 + 8 = 0 for n.
-2
Suppose -4*x - 5*d = -15, -2*d = -5*x - 0*x + 27. Let i be 1*x/(5/6). Solve -2*b = o - 0*b + 9, i = -2*b for o.
-3
Let v(k) = 18*k + 1. Let j be v(1). Suppose -f + j = 3*q - 14, -5*q - 3*f + 51 = 0. Solve -5*d + 2*c + 0*c = q, 5*d - c + 16 = 0 for d.
-4
Suppose 4 = 4*b - 4. Let a = 4 - b. Solve g + 15 = -2*g, -a*h = 2*g + 18 for h.
-4
Let h = 0 - -6. Suppose -4*d + h = -d. Suppose d*k - 11 + 1 = 0. Solve k*a - 12 = 4*c - 48, 5*a + 5*c = 0 for a.
-4
Let o be (-2)/3 - (-124)/6. Suppose 2*t - 3*t = 0. Let k(n) = n**3 - 11*n**2 - 14*n + 26. Let w be k(12). Solve -o = -5*h + 5*p, 5*h - w*p + t*p - 17 = 0 for h.
3
Let w be (-92)/22 - 6/(-33). Let k be 1/(w*1/(-44)). Solve 5*y + 4*p + k = 0, 4*y - 3*y + 5*p - 2 = 0 for y.
-3
Let j = 10 + -6. Suppose j*c + c = 25. Suppose n - k = -2*k, 2*k = -c*n. Solve n = -f - x - 4, -f - f - 8 = 3*x for f.
-4
Let v be 10/(-15) + (-16)/(-6). Let i(s) = -s + 13. Let n be i(7). Solve 2*q + 0*u = -v*u - 6, -2*q - 4*u = n for q.
-3
Let h be (7/(-2))/(3/(-6)). Suppose -r - h = -3*v, -2*r - 3*r - 2*v = -16. Let z = 5 - r. Solve z*w = -5*n - 2, -2 - 1 = -2*w + n for w.
1
Let v be 0/(-6)*2/(-4). Solve 5*d + 3*x = -25 + 9, v = 2*x - 6 for d.
-5
Let v = -4 + 6. Suppose -v + 0 = d. Let q be (d - (-3 - -5))/(-1). Solve 12 = -q*w, 0*w + 4*w + 11 = -h for h.
1
Suppose 0 = 2*v - 1 - 3. Suppose 0 = -w - v*w. Suppose -3*m + 4 + 5 = w. Solve -5*n = -4*a - 3 - 6, m*n - 2*a - 5 = 0 for n.
1
Let l be ((-9)/(-6))/3*-6. Let q be 5 - (0 - 9/l). Solve q*r + 2 = y, 5*y + 3*r = -15 - 1 for y.
-2
Let z = -135 + 243. Suppose 0 = -2*v + 6*v - z. Solve v = -3*r - 0*r + 4*l, -3*l + 4 = r for r.
-5
Let o = 18 - 15. Solve -35 = 5*n - 5*l, -o*l + 2*l - 13 = 3*n for n.
-5
Let z(j) = 0 + 2*j + 2*j + 0*j + 1. Let b be z(1). Solve 5*l + 11 = v, l - 2*v - 1 = -b*v for l.
-2
Let j = -6 - -12. Let g = 11 - j. Suppose 2 + 4 = 2*q. Solve -g*w + 1 = 2*u - 2, u + q = 2*w for w.
1
Suppose -10 = -2*q, w + 4*q = -0*q + 22. Suppose 0 = 4*m - w*m - 4. Solve 4*u + u = c + 10, m*u = 4 for c.
0
Let g be 6/(-21) + 264/42. Solve g*r - 11 = -4*u + r, 5*r - 3 = -2*u for u.
4
Let y = 8 - 6. Suppose -5*g + 21 = 2*w, -5*g + 9 = -y*g + 3*w. Let l = g - 3. Solve -5*f - 3*t = -22 - l, 0 = 2*f + 4*t - 18 for f.
3
Let s(f) = -f**2 + 2*f. Let q be s(2). Let n be q + 2*28/8. Solve -2*k = 6, -3*o = -n*o + 4*k + 16 for o.
1
Suppose 10 = -4*a + 2*a - 4*b, 4*b = -4*a - 36. Let l be -2 - 1/(-2)*-2. Let w = l - a. Solve -5*k + f - w = 0, -k + 40 = -6*k - 5*f for k.
-3
Let l(q) = 6 - 6 + 0 - q. Let d be l(-3). Let f be 0 - (0 + -3) - -1. Solve 0 = -d*v + 5*r + 3, f*r = -2*v + 2 for v.
1
Let i(k) = -k**2 + 21*k - 49. Let v be i(18). Solve 2*q + 0*h + 16 = -v*h, q + 10 = -3*h for q.
2
Let p be 3*(2 - 12/9). Solve -3 = 5*w + 4*c + p, -2 = 2*w + c for w.
-1
Suppose -a - 3*b - 10 + 1 = 0, 0 = b + 4. Solve 12 = -3*m, -5*z + a*z = 5*m + 28 for z.
-4
Suppose 0 = -5*h + 9*h - 136. Let f = h + -20. Solve 5*g + 9 = 5*k + 29, 5*g - f = 2*k for k.
-2
Let w = -30 + 33. Solve 4*y - 2 = 2*x - 6, -5*x - w*y - 16 = 0 for x.
-2
Let z be (-2)/3 - 100/(-15). Let a be (z/4)/(12/16). Let o be (8/(-6))/(a/(-6)). Solve -4*m + 0*l - 4 = -2*l, 2*l + o = 0 for m.
-2
Let x(c) = -2*c**2 + 14*c - 9. Let i be x(6). Suppose i*a + 0*a = 0. Solve -z - s + 8 - 2 = a, 0 = 5*s - 25 for z.
1
Let i(g) = -g - 7. Let j be i(-12). Let o be 6/10 - (-17)/j. Solve -2*n + o = 3*s, -3 = 5*n + 4*s + 1 for n.
-4
Let c be (-1 + -1)/(2/(-3)). Suppose 0 = -c*a - 2*a. Solve a = f - v + 2, -31 = 5*f - v - 9 for f.
-5
Suppose 3*l + 9 = 6*l. Solve m + 3 = -2*u, -4*u = 4*m - l*m + 11 for m.
5
Let x be 2/9 - 496/(-36). Let c be x/2 + (1 - 3). Solve 0 = -5*n - 3*f, c*n = -0*n + 5*f for n.
0
Suppose 0*f + 5 = -4*n + 5*f, 3*f = -2*n + 25. Suppose 6*r = 2*r + v - 5, 2*r + 7 = -v. Let u be r + -1 + 8 + 0. Solve -o = -u*o - 3*l - 7, l - n = -5*o for o.
2
Let n(i) = -42*i**2 - 1. Let h be n(1). Let p be h/(-9) - (-4)/18. Solve 5*q = -j - 18, -p*q - 5*j = -q + 6 for q.
-4
Suppose 0 = -c - 0 + 5. Solve -15 = 4*o - o, 10 = -c*f - 2*o for f.
0
Let b(h) = h**2 + 56*h - 15. Let k(r) = -11*r + 3. Let j(v) = 2*b(v) + 11*k(v). Let p be j(6). Solve -7 - p = 4*q - 4*d, 3*q = -d - 5 for q.
-3
Let j(p) = p**2 - 17*p + 3. Let a be j(17). Solve -2*x = -a*q,