 4 for o.
5
Let d = 58 + -55. Suppose 0 = d*k - 6*k + 12. Solve k*x + 2*p = -2, 5*x - p - 17 = 3*p for x.
1
Suppose 11 + 5 = 2*o. Suppose 5*v = o*v - 12. Solve h + 6 = -2*r, -5*h - v*r + 0*r - 6 = 0 for h.
2
Let v be ((-1)/(-15)*-6)/(1/(-10)). Solve -v*q = -r + 5, -3*r + 6 = r - 2*q for r.
1
Suppose 0 = -5*f + 12*i - 13*i + 20, -12 = -3*f + i. Solve -2*l - 4 = -2*r, f*r - 8 = r + l for r.
3
Suppose u - 12 = -3*u. Let a(g) = 2*g - 12. Let w be a(5). Let r(c) = -c**2 - 3*c - 2. Let b be r(w). Solve b = -v - i + 2, -3*i - 13 - 11 = -u*v for v.
5
Suppose -4*z = 1 - 5. Let h(p) = p + 1. Let l be h(4). Suppose -2*d = -l*s - z - 25, 5*d + 5 = -5*s. Solve d*q - j = 11, 6*q - 6 = 2*q - 3*j for q.
3
Suppose -c - 3*c = -0*c. Suppose 2*h + 3 - 7 = 0. Solve h*u + c*u - 3*z = 5, -4*z - 9 = -5*u for u.
1
Suppose 3*i - 3*u - 24 = 0, -3*i - 11*u + 16*u = -34. Solve -2*s = -2, 5*t - i*s = -20 - 3 for t.
-4
Let h be 6 - 176/(-33)*3. Solve 0 = -4*c + 5*v + h, 3*c + c = 2*v + 16 for c.
3
Suppose -479*g + 487*g - 32 = 0. Solve 16 = -g*f + 2*k, -3*f - 3*k = -2*f + 4 for f.
-4
Let v(k) = -k**2 + 6*k - 7. Let h be v(3). Suppose c - 7 = -h. Solve t - 3*i = 7, 5*t = 4*t - c*i - 17 for t.
-2
Let v = 3 + 0. Suppose v*j - 35 = -g, 0 = 4*j - 0*g - 3*g - 25. Let k = j - 10. Solve k = -2*y, -y - 12 = 4*a - 5*y for a.
-3
Let w(m) = -2*m + 19. Let o = -88 - -96. Let b be w(o). Solve -b*t - 4*q + 5 = 0, 2*t = 5*q - 2*q - 25 for t.
-5
Suppose 0 = -z - 2*v + 10 - 0, 0 = z + 3*v - 14. Suppose -z*s + 16 = 6*s. Solve 2*p - 13 - 3 = 2*g, 4*g = s*p - 22 for p.
5
Let j(u) = -u**3 - 6*u**2 - 8*u - 8. Let b(s) = -s**3 + 13*s**2 - 11*s - 17. Let f be b(12). Let c be j(f). Solve -4*l = -3*d - 3, 2*l + 4*d + 33 = c for l.
-3
Let k = 120 - 113. Suppose 2*r - k = i, 5*r - 19 = 5*i + 6. Solve -2*p + 10 = 4*o, 2*p + 15 = -r*p - o for p.
-5
Let t(m) = -16*m - 23. Let q be t(-2). Solve 3*w = -4*r + r - 21, -3*r - q = 0 for w.
-4
Let q = 11 + -7. Suppose -8*a - q = -4. Solve -f + 20 = -a*f + 4*r, 5*r = -5*f + 25 for f.
0
Let w be -3 + 5 + 9 + -6. Solve -t - 2*m - 1 = 0, 0*m = -3*t - w*m - 4 for t.
-3
Suppose -t - c = 4*t - 10, 2*c = -3*t + 6. Suppose l + 8 = t. Let j = 8 + l. Solve -3*z = 3*p - 3, -3*z - 4*p + j = 2*z for z.
-2
Let r(v) = -2 - 3 - v + 14 + 11. Let x be r(15). Solve -37 = 3*z + x*s, z + 3*z + s = -21 for z.
-4
Let o(h) be the first derivative of h**2/2 - h - 8. Let z be o(5). Solve -3*v + z*l + 8 = 0, 2*v = 2*l + l + 6 for v.
0
Suppose -10*p + 15*p = 170. Let z = 38 - p. Suppose 5*y = z*v + 29, 3*y - v = 3*v + 19. Solve 4*f + y*b = 15, -4*f + 3*b + 10 = -13 for f.
5
Let m be (-9)/1*(1 + -3). Let u = m - 16. Suppose -l - 16 = -5*l. Solve 0 = -4*y + u*y - 5*i + 25, 5 = -l*y + i for y.
0
Suppose 0 = 447*l - 437*l - 30. Solve -4*n = 5*j - 4 + 13, -n - 2*j = l for n.
-1
Let p = -51 - -55. Suppose 2*a - 5*f - 14 = 0, -a - 3*f - p = -0*a. Solve -g + 5 = -3*j, -7 = j + a*g - 5*g for j.
-1
Suppose -2*s + 9*q + 24 = 4*q, -4*q = -3*s + 22. Suppose s*w = -5 + 31. Let b = 2455 - 2452. Solve x = -b*r + 9, 0 = -3*x - 3*r + r + w for x.
3
Let m(w) = -w - 2. Let i be -5 + -2 + (-2)/(-1). Let z be m(i). Suppose -5*s = -o + 2*o - 15, -s + 5*o = -29. Solve -z*a = -2*h + 18 - s, -2*h = 4*a + 14 for a.
-4
Let h = -75 - -79. Solve 4*m + 20 = -n, -8 = n + 5*m - h*m for n.
-4
Let w(h) = -h**2 - 2. Let y be w(2). Let r be ((-145)/87)/(5/y). Solve j = -0*j - r*t + 10, 2*j = 2*t - 10 for j.
0
Suppose 4*b - 2*l = 100, 2*b + 2*l = -b + 61. Solve 5*t = 7*u - 3*u + b, 1 = -2*u - t for u.
-2
Suppose -15*a + 56*a + 25*a = 0. Solve -5*m - 3*y - 1 + 12 = a, 5*m - 4*y = 32 for m.
4
Let i = -808 + 829. Solve -5*u - 5*n = -5, 5*u - 14 = 5*n + i for u.
4
Suppose -5*d - 13 - 7 = 0. Let y(h) = -h**3 - 4*h**2 - h - 1. Let t be y(d). Let m be 26/t - 1/(-3). Solve i - 2*i - 2*n - 7 = 0, i + 4*n + m = 0 for i.
-5
Let k = -14 - -14. Suppose k = 2*p - 12 - 0. Solve -x = 4*d - 9, p = 2*d + 3*x - 1 for d.
2
Let n be (1/(-2))/(1/(-4)). Suppose 3 = 3*v, v - 85 = -6*m + n*m. Solve -b + 2*l - 7*l + 19 = 0, 0 = -b + 5*l - m for b.
-1
Let t = 92 + -26. Let l = -64 + t. Solve l*m = v + 3*m, v - 5 = 4*m for v.
1
Let n be -2 + 3 + -1 - -1. Suppose -c - 6 = -20. Suppose -5*f + a + 15 = 0, 0 = 3*f + 4*a - 13 + 4. Solve -2*k + 3 + n = 2*r, -f*k - c = -r for r.
5
Suppose 2*p = -16 + 24. Solve 2*t = p*w + 16, -5*w = -3*t - 0*t + 22 for w.
-2
Let s(h) = 9*h + 83. Let f be s(-9). Solve 0 = -f*w - a, 0 = 5*w - 4*a + 11 + 2 for w.
-1
Suppose 7*d + 18 = 9*d + 2*k, -5*k = -d + 15. Solve -4*f - d = 2*s - 8*f, 3*s + 3 = 3*f for s.
3
Let v(b) be the first derivative of b**3/3 + 5*b**2/2 + 13*b + 9. Let m be v(-4). Solve 0*c + 5*c = -x + m, c = 3*x - 11 for c.
1
Suppose 14*s + 90 = 17*s. Suppose -5*h + s = -0*h. Let y be (-10 + 7)*(1 - h). Solve 0 = 2*q - v + 9, -q + 7*v - 3*v - y = 0 for q.
-3
Suppose -2*v - 2*v = h - 8, -v - 19 = -5*h. Let a(p) = -p + 9. Let o be a(6). Solve 5*t = -h*r + 23, 0*r + 11 = r + o*t for r.
2
Suppose -11 + 95 = 42*g. Solve 24 = 6*s - 2*s - z, -2*s = g*z - 2 for s.
5
Let l = 1582 + -1578. Solve -2*m + 4 = 2*b, -7*m + 6 = -l*m for b.
0
Let s(t) = t**2 - 2*t + 0*t**2 - 22*t + 6*t - 8. Let b be s(18). Let d be (84/b)/(-7)*2. Solve -3*r = -r + d*x - 2, -3*r - 3*x = 0 for r.
-2
Let a(t) = -t**2 - 13*t + 19. Let z be a(-10). Let i = z + -47. Solve 3*j = 2*j + 5*x + 17, 3*j + 17 = -i*x for j.
-3
Let j be -1*(1/(-1))/((-2)/(-6)). Let b(n) = 9*n**3 - 7*n + 0*n**3 - 8*n**3 - 5*n**2 + 9. Let k be b(6). Solve 0 = -y - 4*o + 4, k*y = y - j*o + 3 for y.
0
Let s = 951 + -931. Solve 2*q + 3*a = -4, 0 = -2*a - s + 12 for q.
4
Let k be 13 + -1*(0 - 1). Let y be k*(1 - 33/(-6)). Suppose 10*b - 5*b + 2*l - 162 = 0, 5*l + y = 3*b. Solve -5*f + h - b = 5*h, -2*h - 18 = 3*f for f.
-4
Suppose 343*j + 15 = 348*j. Solve 3*r + 3 = 3*l, -l + j*l + 6 = -2*r for r.
-2
Let b(j) = j**2 - 13*j - 9. Let d be b(14). Solve 2*x + x + d*t = 34, 0 = -2*x + 4*t - 14 for x.
3
Let o(i) = -3*i + 55. Let j be o(17). Suppose -2*w + 3 = -2*p + 9, j*w = p + 3. Solve -5*v = 4*c + 36, 0 = -w*v - 2*c - 23 + 7 for v.
-4
Let y(j) = -j + 13. Suppose 2*b - 4*r = 38, 15 + 19 = 2*b - 3*r. Let a be y(b). Solve -10 - 4 = -a*u + 5*c, 3*u + 17 = -2*c for u.
-3
Suppose -30*w + 77 = -23*w. Solve g = 2*j - w, 4*g = -2 - 10 for j.
4
Let s be (4 - 3)/((-4)/(-28)). Solve -4*m = 2*f + 28, 3*f = -0*f + m - s for f.
-4
Suppose -45 = -10*h - 5*h. Solve h*y + 5*j + 8 = 0, 4*y - 2 = -3*j - 9 for y.
-1
Let j be 3/6*-2*-1. Suppose -j - 9 = -5*y. Solve 3 = -3*v - 5*o, y*o - 3 = -2*v + 5*v for v.
-1
Suppose -2 = 2*f - 8. Let y(m) = m**f + m**3 - 2*m - 5*m**3 - m**3 - 1 - m**2. Let s be y(-1). Solve 0 = -3*w + h + 11, s*w - 2*h = 2*h + 20 for w.
3
Let w be ((-153)/12)/(7/28). Let s = -46 - w. Solve s = 2*j + 3*j - 4*a, 0 = -3*j + 2*a + 5 for j.
5
Let p(s) = -s**2 + 45*s + 58. Let l be p(46). Solve w - m + 2*m + 3 = 0, -4*w = -4*m + l for w.
-3
Let y be (8/(-6))/((-2)/9). Let m(g) = 4*g - 1. Let z be m(y). Suppose 28 = 3*h - z. Solve 0*d + 5*q = -d - h, d = -2*q - 8 for d.
-2
Let k = 95 + -94. Solve k + 2 = -3*b + 3*i, b + 4*i - 14 = 0 for b.
2
Suppose 7 + 1 = 2*n. Let s be 3 - ((-8)/n)/1. Solve 24 = 4*v + 4*b, -v + s*b - 18 = -6 for v.
3
Let l be (0*(-2)/(-10))/(-1). Solve l = 4*s + y + 14, -3*s + 2*y = y + 14 for s.
-4
Suppose -5*a = -5*c + 35, a - 9 = -3*c - 0*a. Solve -c*y = -4*i, -y - i = -6 - 0 for y.
3
Let t be 13/2 - 3/2. Suppose -12 = a - t*a. Solve 2*u + 5 + 4 = -c, a*u - 14 = 4*c for c.
-5
Let f = 27 - 20. Let s be 38/f + 6/(-14). Solve -2*m = -d + 7, m + s = -d + 3 for m.
-3
Let f(z) = -z**2 + 6*z - 5. Suppose -3*x + 7 = -8. Let o be f(x). Solve -2*q + 5*q - 2*b + 13 = 0, 5*q - 4*b + 21 = o for q.
-5
Let f(h) = h**3 + 4*h**2 - 4*h + 11. Let w be f(-5). Let b be (4/w)/(-2)*(-288)/12. Solve -3*n + 0*n + 12 = -3*s, -b = 2*s for n.
0
Suppose 0 = -3*c - 4*x + 21, 3*c - 5*x = -c - 3. Suppose -2*y = y - f - 61, 0 = -3*y + 2*f + 65. Solve -5*l - z = -2*z - 5, c*l - 5*z + y = 0 for l.
2
Let x(l) = l**2 + 3*l - 7. Let t be x(-6). Let o = 11 - t. Suppose o = -2*r + r + 8. Solve 0 = 4*z + 2*a + r, 0 = -4*z + 3*a - 0 + 12 for z.
0
Let r be (-556)/(-40) + (-2)/(-20). Suppose -7 = -5*u + d, -u - 4*d = -0*u - r. Solve -u*k - 6 = p, 5*p = -3*k + p - 4 for k.
-4
Suppose 0 = 63*x - 60*x - 6. Solve -y - 3*j