 + 3*v - 5*x + 16 = 0, -3*v + 4*x - n = 0 for v.
4
Let o(w) = -11*w. Let k be o(-1). Let m = -9 + 19. Let t = m + -8. Solve -5*q + 4*z + k = -0*z, t*q + 4*z + 18 = 0 for q.
-1
Let x(f) be the first derivative of f**3/3 - 2*f**2 + 7. Let j be x(4). Solve v = -3*o + o - 5, j = -4*o - 12 for v.
1
Let c be 0*((12/4 - 4) + 2). Solve -3*l = -2*k + 17, 3*l + c*l - 3*k + 18 = 0 for l.
-5
Let l = 0 - 17. Let w = -12 - l. Solve -r + a = 2 - 1, 0 = -w*r - a + 13 for r.
2
Suppose -4*b + 3 = 5*i - 33, 5*b = -3*i + 32. Suppose 0 = 3*m + m - 8. Solve -m*x = -5*c + 14, -20 + b = -4*c for x.
3
Let g be (-14)/(-4) - 1/2. Let s = -1 - 0. Let n be (1/(-3 + 2))/s. Solve 3*l = 3*a + g, -3*a + n = -2*l - 0 for l.
4
Let v be ((-15)/10 + 1)*0. Solve -g + 2*y + 6 = -v*g, 5*y + 30 = -5*g for g.
-2
Let q = 38 + -17. Solve 2*l - 3*m = -q, 2 = l - 0*m + m for l.
-3
Let f(m) = m + 17. Let s be f(-11). Solve -2*k + s = -5*p, p + k - 3 = -2*p for p.
0
Let o(v) = 2*v - 1. Let n be o(4). Suppose 2*a - n = 33. Suppose 6*u = 2*u + a. Solve 0 = 3*k + 3*f + 15, -u*f + 2*f - 7 = k for k.
-4
Suppose f = 8 - 23. Let h = 19 + f. Solve -4*s + 5*w + h = -8, -4*w - 12 = -2*s for s.
-2
Let n(a) = a**2 + 1. Let h be n(1). Solve -h*s + 4*i - 4 = 0, -18 = -s - 4*s - 4*i for s.
2
Let x be (-1 + 1)*(-4)/8. Suppose x*q = 5*q. Let y be (q - 3)/(1/(-3)). Solve 5*f + 1 + y = 5*l, -l = -4*f + 1 for l.
3
Let s(d) = -d**3 + 5*d**2 - 5. Let y be s(5). Let a = y + 22. Solve 2*l + 0*l = -5*r - 25, 4*l = r - a for l.
-5
Let q = -7 + 9. Solve d - 2*n = -q, 4*n - 3 = 5*d + 1 for d.
0
Let l(y) = y**3 - 9*y**2 - 10*y + 3. Let r be l(10). Suppose r*k - 29 = 1. Solve 2*d + 4*w = 3*d - 15, 0 = -2*d + 3*w + k for d.
-1
Let r(v) = -v**2 + 3*v + 38. Let t be r(6). Solve -7*g + 2*g + t = -5*h, -5*g + 23 = -2*h for h.
1
Let b(l) = l**3 + 4*l**2 - 13*l - 3. Let g be b(-6). Solve 15 = -u - 4*a - 3, g*a + 16 = -2*u for u.
-2
Suppose 0 = -3*a - 5*c + 2, -2*c = c + 6. Suppose -2*s + a = -0. Suppose 9 = 2*i + 1. Solve -j + 2*p - s = -6*j, 2*p = -i*j for j.
2
Suppose 3*d + 4*q + 93 = 0, -4*d + 3*q - 48 = 51. Let i be 6/(-10) - d/45. Solve i = -5*p + f - 1, -2*f + 4 = p + 2*f for p.
0
Let h(n) = -n**3 + 7*n**2 + 3*n - 8. Let v be h(7). Let q(d) = d**2 - 14*d + 18. Let o be q(v). Solve -3*g + o*f + 13 = 0, 2*g = -2*g - 3*f - 2 for g.
1
Let y = -35 - -41. Solve -5*l + 29 = g, y*l - 2*l - 40 = -5*g for l.
5
Let v be 4*(-20)/(-16)*1. Let o be (-54)/(-10) + 2/(-5). Solve 0 = o*j + 13 + 2, -v*l - 4*j - 32 = 0 for l.
-4
Suppose -3*v + 13*v = 50. Solve -4*g + 9 = -3*g + v*o, -2*o = -5*g + 18 for g.
4
Suppose 0 = 2*y - 4 - 4. Solve -y*a + 7*q - 4 = 3*q, -28 = 4*a + 4*q for a.
-4
Let p = -14 - -21. Let b(i) = -i - 6. Suppose -2 = -3*g - 20. Let y be b(g). Solve -2*v + y = -5*w - p, 3 = -w + 2*v for w.
-1
Let w be 1 - 18/(1 + -7). Suppose 3*m = -q + 35, -4*q - 28 = -4*m + 2*m. Solve w*z - 2*j = -4*j - m, -j = 5*z + 18 for z.
-4
Suppose -1 = -w + 3*m, -4*w - 5*m = -0*m - 21. Solve -w*d - 5*l + 0*l = -18, -3*l = 3*d - 12 for d.
2
Let q = -59 - -27. Let n be (10/4)/((-4)/q). Solve 2*p + n = -4*w, 4*w + 9 - 1 = p for p.
-4
Let n = -5 + 8. Solve -o = 3, -6*g + n*g - 24 = 4*o for g.
-4
Let c be (-4)/(2*1/(-8)). Suppose 0*y = -4*y + c. Solve -y*k - 17 = -h, -2*h - 6 = -5*k - 31 for k.
-3
Suppose 4*u - 6 = t, 0 = -5*t + 11*u - 8*u + 4. Suppose -5*x = -3*x. Solve 0 = -5*p + 2*v, x = t*p - v - 1 for p.
-2
Let n = 83 - 57. Suppose 0 = -4*m + n - 10. Solve 0 = 5*h - 4*d - 17, 0 = m*h + 2*d - 0*d - 24 for h.
5
Let n be ((-24)/10)/(3/(-10)). Let x be -3*21/(-9) + -3. Suppose 8 = x*u - n. Solve 2*p = -2*p + 12, u*m + 5 = -p for m.
-2
Let w = 12 - 7. Suppose 129 = w*h + 54. Let o = 7 + -3. Solve 0*y = -5*i - 5*y, -o*i - y + h = 0 for i.
5
Suppose 5*j - 1 - 9 = 0. Suppose 1 = -3*t - 2. Let y be 3/(t/4 - -1). Solve m - j*n = 2, 6 - 3 = y*m - 3*n for m.
0
Let l = 0 + 2. Let h = -5 + 5. Suppose -l*w + w = h. Solve v + 11 + 2 = 3*d, 2*d + v - 12 = w for d.
5
Suppose 0 = -3*s - 2*s + 220. Solve -y = -3*k + 20, -2*k + 5*y - 9 = -s for k.
5
Let g(m) = m**2 - 7*m + 12. Let q be g(9). Solve 0 = 2*i + i + 9, q = 3*k - 5*i for k.
5
Let l be 70/(-4)*4/(-5). Let f = l + -8. Let i(u) = 2*u - 8. Let m be i(f). Solve -5*z - 9 - m = 4*h, -4*z - 8 = 4*h for z.
-5
Let r = -5 + 11. Let m = -1 - -4. Suppose -13 = f - m*h - 29, -20 = -2*f + 3*h. Solve 2*j = 7*j + f*p - r, 2*j = -3*p + 8 for j.
-2
Suppose 25*k = 20*k + 25. Solve i + 20 = 2*i - k*o, -8 = -i + o for i.
5
Let a(w) = -w - 4. Let j be a(0). Let b be j/(-10) - (-13)/5. Solve 5*h + 34 = b*d, -2*d + 23 = -d - 4*h for d.
3
Let u(z) = 12*z - 8. Let n be u(1). Solve n*r = -a + 6, -r - a = a - 5 for r.
1
Let x(k) = -k**3 - 4*k**2 - 2*k + 6. Let s be 7 - 5 - (3 - -2). Let o be x(s). Solve -2*d - o*u - 7 = 0, 3*d + 6 = -0*d - 3*u for d.
1
Let q(n) = 5*n**3 - n. Let y(c) = -11*c**3 + 3*c. Let g(p) = 5*q(p) + 2*y(p). Let o be g(1). Solve -2*z + 10 = -3*l, 2*l - o*z = z - 14 for l.
-2
Suppose -116 = -6*u + 2*u. Let q = 43 - u. Suppose j + 3*j = 0. Solve 5*m - 2*k - q = j, -4*m + 2*k = -0 - 12 for m.
2
Suppose 5*u - 23 = 3*y - 6*y, -4*u + 5*y = -11. Solve 28 = -2*b - 0*b + u*w, 0 = b - 5*w + 29 for b.
-4
Suppose 31 = 5*s - 2*m, 2*s = -m - 1 + 8. Solve 25 = -k + s*w + 2, -7 = k - w for k.
-3
Let k(h) = 2*h - 6. Let t be k(6). Solve -3*m + 9 = 4*n - 2, -t = -4*n + 2*m for n.
2
Suppose -2*b - 14 = -3*q - 0, -2*b = -2*q + 8. Suppose 2*t = 6, -t + 3 = -4*a - 0*t. Let w be 1/3 + 176/48. Solve -4*g = w*i + 8, 3*g - 5*i + q = -a*i for g.
-2
Let t = 76 + -55. Solve -24 = -3*w - 5*g - 2, 4*w + 5*g = t for w.
-1
Let r = -8 + 10. Let v = 6 - -10. Suppose 5*g - 2*u = v, -g - 3*u = -2*g - 2. Solve 4*m = -16, 3*k + 11 = -g*m - r for k.
1
Let k = -6 + 9. Let y be k/((-3)/3)*-1. Solve y*d + 20 = 7*t - 3*t, -2*t = 4*d + 12 for t.
2
Let h be (1 + 2 - 4)/(-1). Let y be h + (3 - (-2 - -6)). Solve -5*p - 2*z - 26 = y, -27 = 3*p + 5*z - 0 for p.
-4
Suppose -2*y + 5*p - 22 = 0, 3*p = 6*y - 2*y + 16. Let b = y - 2. Let n be ((-1)/b)/((-2)/(-18)). Solve n*k = 5*k - 5*q, 0 = 5*k - q for k.
0
Suppose 2*l - 3*v - 10 = 0, 2*l - 2*v - 4 = l. Solve -l = 3*g + 5*y + 32, -2*y = -5*g - 15 for g.
-5
Let j(c) = 2*c**2 - 7*c + 5. Let u be j(4). Let g be 2/2*(u - -4). Solve 4*l + 4*h = -7 - g, h - 19 = 5*l for l.
-4
Let v(f) = f**3 - 6*f**2 + 2*f - 12. Let c be v(6). Solve -3*a = 4*u + 20, -2*u - a - 12 + 2 = c for u.
-5
Let b(f) = -f + 4. Let g be b(5). Let t be (-7 - g)*2/(-3). Let h be ((-12)/9)/(1/(-3)). Solve -h*q - i = -21, -t*q - 4*i = -4 - 32 for q.
4
Let o(c) = c**2 - 10*c - 7. Let f be o(11). Solve 5*g = 3*x - 29, -f*g - 2*x - 2 - 8 = 0 for g.
-4
Suppose 3*d + 15 = 3*h, 0 = -5*h + d + 14 - 1. Solve -h*x - 7*c = -2*c - 11, c - 11 = 4*x for x.
-2
Suppose 4*d = -4*x, d + 16 = -3*d. Solve -p = x*l - 3 + 2, 5*p = 3*l + 5 for l.
0
Suppose 0 = -m + 2*m - 5. Solve -3*g = -4*a - 12 - 10, m*a + 28 = 4*g for a.
-4
Suppose -3*q = -2*q + 4. Let s(k) = k**2 + k - 4. Let t be s(q). Solve -5*o + 3*f + 11 = -t, -15 = 5*f for o.
2
Let m be (-8)/60 + 13/(-15). Let u be 3 - (0 + 0)/m. Solve 3*i + 2*l = -u*l - 7, -4*l = 8 for i.
1
Let q(x) = -2*x**2 + 7*x - 6. Let k be q(4). Let i = k - -15. Solve i*z - 18 = 5*n - 2*n, 4*n - 8 = -4*z for z.
3
Let r(p) = 14*p**2 + 2*p - 1. Let l be r(1). Suppose -5*u = o + l, 3*o - u = 3 - 0. Let w be 4/(-6)*(0 - 3). Solve 3*m - w*t + 22 = o, 5 = -3*t + 20 for m.
-4
Let d(h) = -h**2 - 5*h - 1. Let w be d(-4). Solve 6 = 4*g - 2*p - 6, -g + p = -w for g.
3
Let z(j) = j**3 - 3*j**2 - 1. Let l be z(2). Let i = l - -15. Solve 0 = -5*o + 5*d - i, 3*o + d = -16 + 6 for o.
-3
Let a = -66 + 68. Solve -3*k + 4*v + 5 = 0, -5*v = -3*k + a + 2 for k.
3
Let u(a) = -a**2 - 11*a - 9. Let p be (9/2)/(6/(-12)). Let t = -17 - p. Let c be u(t). Solve -5*h + c = -2*k, -3*k - 6*h + h + 15 = 0 for k.
0
Let x be 22/3 + 4/6. Let z(b) = b**3 - 8*b**2 - b + 11. Let n be z(x). Let p be ((-12)/8)/((-9)/30). Solve -p*v + n*g - 7*g = -25, 3*v - 15 = -2*g for v.
5
Let j = 18 - 17. Let i be 29/4 - j/4. Solve 5*u = -5*f + 30, -4*u = f - 2*u - i for f.
5
Let x be (6/(-8))/((-9)/24). Solve 17 = -x*o + 3*k, -5*o + 4*k - 33 = -1 for o.
-4
Let b = 1 + 2. Let a(l) = b*l + 4 - 6*l + 2*l. Let x be a(2). Solve -3*v = -3*i - 0*v + 24, -x*i = -v - 13 for i.
5
Let j(k) = k**3 - 11*k