2 = -5*x - 0*a for x.
3
Let d(q) = 9*q + 4*q**2 + 4 + 6 + 0*q**2 - 5*q**2. Let h be d(9). Solve 0 = 3*n - p - h, -3 = 2*p - 1 for n.
3
Let w = 12 + -15. Let j be (-7)/(-21) + (-2)/w. Suppose -z - j + 3 = 0. Solve -6*t + 2*t - 5*c = -7, z*t + c = 5 for t.
3
Suppose 23 - 2455 = -19*f. Let l = -103 + f. Solve i - 4*k = 7 - 24, -5*k = -l for i.
3
Suppose 0 = -2*d + 4*d + 2. Let r be 3*(-3 - d)/(-2). Let a(f) = 2*f**2 - 4*f - 1. Let t be a(r). Solve t*j + 4 = -g, 2*g - 3*g - 3*j = 4 for g.
-4
Suppose 3*d - 4*g = 8, -3*d + 1 - 11 = 5*g. Suppose 3*p + 8 - 44 = d. Solve -3*b + 0 - 1 = -5*u, 4*u + p = -4*b for u.
-1
Suppose 4*r = -0*b + b + 67, -4*r + 4*b + 76 = 0. Suppose r = -a + 5*a. Solve 4*l = 2*i - 22, -5*i = l - a*l - 34 for i.
5
Let n = -110 - -125. Let o be (-3)/15 + 1 + 63/n. Solve 2*a - 3*b = -4, a - 4*b = o*a + 8 for a.
-2
Let p(c) = 7*c - 4. Let f(q) = -q + 1. Let m(n) = 5*f(n) + p(n). Suppose 5*d - 7 = 18. Let g be m(d). Solve 3*k + 8 + 3 = u, -5*u = -4*k - g for u.
-1
Let v(g) = -g**3 + 5*g**2 + 13*g + 14. Let m be v(7). Solve -m*b - 2*i = -3*b, -i = -4*b for b.
0
Let g(v) = v**3 - 9*v**2 + 4. Let i be g(9). Suppose i*y - y - y = 0. Solve 0 = -2*n - 4*u + 2, y*n + 3*n + 2 = -u for n.
-1
Let w(h) = -45*h + 5. Let b be w(0). Solve q - 6*q = -4*n - 1, -b*q = 4*n - 9 for n.
1
Suppose 0 = -0*c + 2*c - 8. Suppose 6*x - c = 14. Suppose 0 = -8*q + x*q + 15. Solve -4*k + d + 5 + q = 0, 3*k = -5*d + 6 for k.
2
Suppose 0 = -5*h + h. Suppose 3*y - 26 = 16. Let o = y - 9. Solve 4*a + l + 9 = 0, a + o*l - 9 - 3 = h for a.
-3
Let b(j) = 61*j**2 - 1. Let a be b(1). Let k be 1/(14/a) + 8/(-28). Solve 5*q - 30 = 5*p - 0*q, 0 = k*q - 12 for p.
-3
Suppose 3*i - 9 - 6 = 0, i - 9 = -b. Suppose 2*m + 0*m - b = 0. Suppose 5*l - 15 = q, 5*q - 13 = -l + 4*l. Solve 0 = -3*h - m*y - 25, l*y + 20 = -h + y for h.
-5
Suppose 0 = -v - 4*v + 25. Solve v*a = -20, -s + 2 = 2*a + 9 for s.
1
Let q be 6/(-7)*(2 + 5). Let l = 9 + q. Suppose -4*u = -13 + 1. Solve 4*c = l*y + 19, -u*c = 2*y + y + 12 for c.
1
Let a(t) = t**3 + 12*t**2 - t - 8. Suppose -5*o - 3*m - 51 = 0, -3*o - m - 20 = 13. Let i be a(o). Let n = 9 - i. Solve -q + 0*q = -4*g, 2*q - n*g = 0 for q.
0
Suppose 3*l + 28 = 4*o, -3*o + 2*l + 28 = o. Let b(n) = n - 29. Let w be b(o). Let a = w - -26. Solve -2*y = -2, a*v + 6 = 5*y + 1 for v.
0
Suppose -63 + 49 = -2*q. Solve 3*i - 6*i - q = 2*l, 0 = -i + 3*l - 6 for i.
-3
Let i = -24 + -5. Let f = i + 35. Solve 3*a + 3*g + 30 - f = 0, -5*a = -3*g + 16 for a.
-5
Let n = -150 + 78. Let b = n - -76. Solve -5 - 23 = b*l + 4*v, 3*v - 3 = 5*l for l.
-3
Let u be 29 - 7/(21/(-6)). Solve -3*k = -5*t - u, -5*k - 4*t = t + 15 for k.
2
Let b(y) = -2*y**2 + 7*y - 15. Let n(a) = 2*a**2 - 7*a + 16. Let t(j) = -6*b(j) - 5*n(j). Let o be t(3). Solve d + 3*w + 10 = 7*w, -4*d + 5*w = o for d.
2
Suppose 4*j - 6*j + 10 = 0. Suppose -6*n = -13*n + 56. Suppose 0 = -n*v + v. Solve -3*o = -j*o - i - 4, v = -2*o + 3*i - 4 for o.
-2
Let z(p) = -2*p + 30. Let r be z(8). Let o = 50 - 77. Let x = 39 + o. Solve 5*j - 3*l - r = -5*l, 0 = -4*j - 2*l + x for j.
2
Let s be (-1 + (-2)/2)*210/(-28). Suppose s*u = 13*u + 6. Solve p = z - 5, -2*p - u*z + 15 = -p for p.
0
Suppose 4*r + 5 = 5*u, r - 7 - 3 = -u. Suppose y + 12 = 5*m, 33 = r*y - m - 27. Solve 4 = -2*b - 4*c, -b - c = -4*c - y for b.
4
Let r = 9 + -9. Let w = r - -3. Suppose w*q - 10 = 11. Solve 0 = -4*f + p - q, 0 = -3*f + 4*p - 5 - 10 for f.
-1
Let z = 5097 - 5093. Suppose 3*k - 28 = 68. Solve 0*o - 2*g - 30 = 5*o, -k = 3*o + z*g for o.
-4
Let d be 12 + (-3 + 0)/(-1 + 2). Let m = 12 - d. Solve -3*y - 3*a = -6, -2*y + m*a + 2 = -7 for y.
3
Suppose -27 = -49*c + 40*c. Solve c*h + 15 = -3*b, -3*h - 10 = -h - 3*b for h.
-5
Suppose z + 4*y - 7 - 1 = 0, 3*z - y + 2 = 0. Suppose 0 = 4*b - 4*w - 34 - 26, -3*b - 2*w + 70 = z. Let n = b - 20. Solve 5*m = 5*c, n = -m - 4*c + 8*c for m.
0
Let c(o) = o**2 - 14*o. Let m be c(14). Let k be -3*(20/6)/(-1). Suppose 2*h + j - k = -1, 0 = -h + 2*j + 7. Solve m + h = 2*r - w, 3*w = 3*r - 6 for r.
3
Let z = 17 + -11. Suppose 3*m = -0*m + z. Solve -s = t + 1, -m*t + s + 4*s = -5 for t.
0
Suppose q + 2*q + 5*g + 20 = 0, -q - 3*g = 0. Let l be (-54)/q + (-18)/30. Solve 3*z = -4*f - 24, f = -f - l*z - 18 for f.
-3
Let o(u) = -u**2 + 2. Let r be o(0). Let n = 5 - -14. Suppose -7*y + n = 5. Solve 5*j - 4*f = 33, r*f + 14 = y*j - 0*f for j.
5
Let p be (-18)/(-24)*(2 + 10) + 3. Solve 5*d + 5 - p = 2*h, 0 = -h + 5*d - 11 for h.
4
Let o be (-11)/143*-13*10/2. Solve 2*j - 2*u = -u + 4, 5*j - o*u = 0 for j.
4
Let o(r) = 2*r**2 - 2*r - 1. Let y be (0/(-3 + 0))/(-1). Let p be ((0 - y) + 1)*-1. Let h be o(p). Solve -3*l = -9, 4*f + 4*l = h*f + 12 for f.
0
Suppose 4*t + 27 = 3*z, -4*z - 2*t = 3*t - 5. Solve -3*g = z*x - 45 + 8, 2*g = -3*x + 23 for g.
4
Let a be (-9)/36 + 26/8. Suppose a*u - 12 = 0, -2*g + 3*u + u = 12. Solve 2*x - y = -g*y - 14, x - 2*y - 3 = 0 for x.
-5
Suppose -3*u - 33 = -2*k + 37, 0 = -4*k - 5*u + 96. Suppose -k*j = -31*j + 8. Solve -j*p + 2*m = m + 5, 1 = -3*p - 2*m for p.
-1
Suppose o = -l + 57, -2*l = -4*l - 8. Let u = -61 + o. Solve -4*k - 14 = -v + 5, u = -k + 5*v for k.
-5
Let x be 82/26 + (-26)/169. Suppose x*o = -3*j + 30, j - 17 = -5*o + 13. Suppose -o*n = -10 - 0. Solve 4*l = 3*v + v - 32, n*l + 3*v = -1 for l.
-5
Suppose 33*j = -10 + 1099. Solve -5*q = 3*o - 1 + j, -3*o - 4 = -2*q for q.
-4
Suppose -5 = -5*g - 25*w + 20*w, 4*w - 4 = 0. Solve 3*v + 3*k = 0, g*k + 2*k - 5 = -v for v.
-5
Suppose -2*j = -6 + 4. Let s be -9 + 13 - 3/((-3)/j). Solve h + 3*f = -2 + 3, 0 = h + 5*f - s for h.
-5
Let v = -7 - -9. Let w(x) = 2*x - 1. Let l be w(v). Solve 3*n = l*p - 12, 17 = -5*n + 2*p + 2*p for n.
-1
Suppose -4*l - 3*t + 40 = -0*l, -3*t = -5*l + 23. Suppose -4*o - 78 = -l*o. Suppose -4*h = -9 + 1. Solve -2*c - h*z - o = -7*z, -21 = 3*c - 3*z for c.
-3
Let r be 4 + (1 - -3) + 0 - -2. Solve 0 = -3*x + x + 6, v + 4*x = r for v.
-2
Let n(q) = -q**3 + 9*q**2 - 7*q - 14. Let x be n(7). Solve s - x = -5*g - 3*s, 1 = -3*g + 2*s for g.
3
Let d(m) = m + 8. Let p be d(-4). Solve -p*l = -3*j - 20, j - 2*j = 0 for l.
5
Let t be (2/(-6))/(-3 - (-179)/60). Solve r = 5, -2*s + t = 3*s + 2*r for s.
2
Let i(s) = s**2 + s - 28. Let d(n) = n**3 - 4*n**2 + 3*n - 7. Let u be d(4). Let m be i(u). Solve -m*l - 2 = -c, 4*l = 2*c - c - 2 for c.
2
Let o be 5/2*72/45. Suppose -2 = 4*l - 22, -3*s - o*l + 29 = 0. Solve d + s*g = 19, 4*d - 3*g - 1 + 0 = 0 for d.
4
Suppose 0 = l - 9 + 11. Let d(h) = 2*h + 6. Let v be d(l). Solve v*y + w = 7*y - 9, 0 = 4*y + 5*w + 16 for y.
1
Suppose 49 + 36 = 5*a. Let d = 18 + -20. Let p be (d/2)/(-2)*8. Solve -3*m + 2*u = -a, m - 9 = -0*m + p*u for m.
5
Suppose 2*p + 2 = 6. Suppose -p*f = 4*f. Solve f = -2*d - 0*d - 2*r + 10, -4*d + 14 = 2*r for d.
2
Let h be 124/(-10) + (-1 - (-7)/5). Let d be h/10*(-45)/18. Solve 2 + 3 = w - d*b, -5*b = -2*w + 7 for w.
-4
Let i(h) = -11*h + 5. Let q be i(-2). Suppose -21*g + q*g = 120. Let o = -4 - -6. Solve -2*a - 5*j = -3*a - g, o*a + 4 = -2*j for a.
-5
Suppose 4*r - 29 = -5*z, 0 = r - 11*z + 13*z - 8. Solve i = -s - r, -5*i = 4*s - 0*s + 25 for i.
-1
Let c(z) = 2*z**3 - 3*z + 3. Let l be c(1). Solve -y - l*x + 2 = 0, y = -2*x - x + 4 for y.
-2
Let s(k) = -2*k - 24. Let w be s(-18). Let t = w - 9. Solve 3*u - 2 = -4*n + 5, -5*u - t = 3*n for u.
-3
Let y be (-33)/22*(-16)/(-6) - -6. Solve -5*b + 4*t - 2*t = 5, -y*b = -2*t + 2 for b.
-1
Let k = 65 - 33. Let h be 229/5 - (-1)/5. Let q = h - k. Solve 0 = f - 5, 2*f - q = -4*o - 0 for o.
1
Let j = 5 - 10. Let k(t) = -t**3 - 6*t**2 - 5*t + 2. Let d be k(j). Let z = 74 - 69. Solve -d*q - 6 = 5*b + 2*q, -z*q = -4*b + 28 for b.
2
Let r = -2 + 4. Suppose r*k = 4*c + 80, 2*k + 0*c + 3*c - 80 = 0. Let w be ((-4)/10)/((-8)/k). Solve 2*z + g - 2 = 0, z + 3*z + w = g for z.
0
Let x = -6 - -8. Let b = -7 + 11. Let r(s) = 8*s**2 - 77*s - 28. Let l be r(10). Solve 3*d - l = -x*t, -b*t = 3*d - t for d.
2
Let w(d) = -d**2 + 11*d - 7. Let z be w(10). Let y = -13 - -20. Suppose 4*x - 17 = y. Solve -u = -4*o + x + 7, -z*o - 3*u - 9 = 0 for o.
2
Let v(l) be the first derivative of l**2/2 - 3*l - 6. Let n be v(4). Let f be n/(-2) - 18/(-12). Solve -3*s + 2*a = -f + 6, 4*s + 3*a = -1 for s.
-1
Let g be (90/108)/(2/12). Solve -5*w - 5 = -0*