o - 2 for o.
2
Let a = 37 + 3. Solve q - 6*q - 19 = -2*f, 5*f + a = -5*q for f.
-3
Let y(a) = -4*a - 5. Let b be y(-6). Suppose -2*q = -5*l + b, -3*l + 4*q = -6*l + 27. Solve -5 = 5*w + 5*u, -l*u + 5 = 2*w - 2 for w.
-4
Suppose 98 - 89 = 3*h. Solve -2*f - 4 = h*b, 2*b = -3*b + 10 for f.
-5
Let c(k) = k**3 - 7*k**2 + 2*k - 10. Let v be c(7). Suppose 3*y + 2 = -v*d, d + d = 5*y - 14. Let w = 4 + d. Solve -3*h - w*m = 0, 4*m = 3*m for h.
0
Let n = -18 + 36. Let a be n/8 + 5/(-20). Suppose i - 2*y = 16, 5*i + 4 = 5*y + 64. Solve r = a*f + i, f + 6*r = 3*r + 3 for f.
-3
Let p = -6 + 41. Suppose 2*z - 13 = 33. Solve 5*n = 3*f + 2*f + p, 5*f + z = n for n.
3
Let m = -86 - -90. Solve -m*w + 22 = 2*r - 0*r, 2*w + 3*r - 13 = 0 for w.
5
Suppose 0*w - 4*w + 8 = 0. Solve -i + 5*x = -1 - w, -9 = -3*i - x for i.
3
Let o(r) = r**3 + 3*r**2 - 31*r - 9. Let q be o(-7). Solve s + s - q = -2*v, 10 = v + 5*s for v.
5
Let a(v) = v**3 - 2*v**2 - 2*v - 1. Suppose 0 = -4*l + 3*k, -l - k - 8 = -5*l. Let y be a(l). Solve 5*q + y = f - 7, -3*q + 3*f = 3 for q.
-2
Let k be ((-26)/(-6))/(3/9). Solve 2*a - 3*b = k, -5*a + b + 3 = -3*a for a.
-1
Suppose 0 = 5*w - 5*x - 90, 2*x + 1 = -1. Let p = 46 - w. Solve -2*s - 2 = 3*h, -4*s = -4*h - 7 - p for s.
5
Suppose -2*l + 2 + 2 = 0. Suppose -8 = -2*i + l*q, 5*i - i + 3*q = 9. Let h = 4 - 4. Solve -2*v + i = g - h*g, -5*g - 2*v = -7 for g.
1
Let u = 49 - 24. Solve -2*t - 5 = -2*i - t, -u = -5*t for i.
5
Suppose -3*h + 3 + 18 = 0. Suppose x = 2*w, -w - w = -2. Suppose -h = -x*k - 1. Solve -3*l + 4*c = -1 + 4, 0 = -4*l + 5*c - k for l.
3
Let p be (4 - 3)/(2/(-30)). Let g be ((-9)/(-3))/(-9)*p. Suppose y + 3 = g. Solve 5*l + 3*s = 13, y = -3*s - 10 for l.
5
Let g be 0 + 10 - (1 - 5 - -3). Let h(i) = -2*i - 2. Let k be h(-2). Suppose g = -3*p - 5*d, k*d = p + 4*d + 5. Solve 4*n = -p*s - 2*s - 9, 16 = -4*s - n for s.
-5
Let r be 6 + -7 - 1*-2. Let k be 15/(-2)*r*-2. Let z be (-6)/k*(-20)/2. Solve -5*p + 4*n + z = -p, 0 = -5*p - n - 1 for p.
0
Let a = 14 + -9. Let p be ((-9)/12)/(2/(-8)). Suppose -20 + 2 = -p*c. Solve 4*w = -0*z + z - 15, -3*z - c = a*w for w.
-3
Let n(s) = s**2 - s - 1. Suppose 5*y = -1 + 6. Let u = y - -2. Let j be n(u). Solve 2*h + 4 = -i + 3*h, j*i + 4*h = 7 for i.
-1
Let o = -78 + 51. Let s = o - -43. Solve -s = 4*i, m = 2*m + i + 4 for m.
0
Let j be -7 - 1/(-2 + 3). Let q be (-86)/(-8) - (-6)/j. Solve -s - 2*s = -2*m + 7, -4*s + 2*m - q = 0 for s.
-3
Let o(t) = t**3 - t**2 - 4*t. Let v be o(3). Suppose 0 = 4*p + v - 26. Solve 3*l + 0*c = -3*c - 30, -p*l + 4*c = 5 for l.
-5
Let a(l) = l + 6. Let t be a(0). Suppose -3*z = -z - t. Suppose -z + 0 = -q. Solve -4*b = 0, 0*b + q*b = -3*m + 15 for m.
5
Suppose -3*n + 56 = 17. Solve 5*q = 3*s - 2 + 3, 5*s + n = -3*q for s.
-2
Suppose 0 = -3*g + 3*h + 69, h = -3*g - 2*g + 85. Let y = 6 + -3. Solve -5*r + g = -0*r - y*o, -3*o = -3*r + 12 for r.
3
Suppose 0 = 4*o - 4*w - 60, 2*w - 6 = -o - 3. Suppose 4 = o*y - 10*y. Solve -3*h + y*h + 3*r = -1, 3*h - 7 = -4*r for h.
5
Let x = -8 + 7. Let s = x + 3. Solve -k + 12 = -o - o, s*o = 4*k - 18 for k.
2
Let v be ((-1)/3)/((-10)/90). Solve 3*l = -5*d - 8 - 7, -15 = -5*d + v*l for d.
0
Suppose 40 = -5*w + 2*k + 9, 4*w = 5*k - 35. Let j be (2/w)/((-2)/10). Solve j*s - 5*s + 3*n = 0, -12 = 2*s + 4*n for s.
-2
Suppose -k = -2*q + 4*k + 3, 3*k = -5*q + 23. Solve f = r + 4*r - 20, q = f + r for f.
0
Suppose 0 = -10*b + 5*b. Solve 3*h + 0*o - o - 1 = b, 4*o = 5*h + 10 for h.
2
Let w be 3 - 10/2 - -8. Let i(b) = -b**2 + 6*b. Let c be i(w). Suppose c = -2*s - 1 + 7. Solve 2*y - 13 = -3*v, y + s*y - 17 = -3*v for y.
2
Let h = -40 + 40. Solve -3*x + 30 = x + 2*t, -5*x + 2*t + 15 = h for x.
5
Let b(s) = -4*s - 3. Let w be b(-2). Let n = w - -4. Let f be ((-58)/3)/((-6)/n). Solve 4*h = o + 23 - 6, 3*o = -4*h + f for o.
3
Let z(x) = x + 3*x + 2*x - 3*x. Let k be z(1). Solve t = 5*g - k*t + 29, -5*g + 2*t = 27 for g.
-5
Let d = 38 - 22. Let p be ((-6)/(-4))/(6/d). Suppose 2*b + 3*m + 2*m - 22 = 0, 0 = p*b - 3*m - 96. Solve -s = 4*z - b, 3*z + 0*s = -s + 16 for z.
5
Let l be 3 - (-2)/(-2) - 2. Suppose l = 2*f + 5*v - 18, 6*f + 3*v = 3*f + 18. Solve 2*r - 2*q + 18 = 0, r - 4 = -3*r - f*q for r.
-4
Suppose -3*f + 8*f - 105 = 0. Solve -4*a - p + 3*p = 10, 0 = 3*a + 3*p + f for a.
-4
Let r(q) be the first derivative of q**4/4 + 5*q**3/3 + 5*q**2/2 + 4*q + 4. Let a be r(-4). Let y = -2 - -8. Solve a = -5*l + h + 18, 0 = -3*h - 0 + y for l.
4
Suppose -u = 4*j + 3*u + 44, -4*u - 11 = j. Let s be (-3)/(-3 + 0) - j. Let a = -14 - -19. Solve -4*f - s + 2 = a*c, -2*c - 5*f = 21 for c.
2
Suppose -7*g + 9*g = 0. Solve 4*q - l - 13 = g, 5*q = 4*l + 32 - 2 for q.
2
Suppose -2*a - 3*m + 13 = -0*a, -4 = 4*a - 4*m. Let n = 29 + -25. Solve 0 = -n*i - 5*x - 23, a*x - 6 = 4*x for i.
-2
Let l be (-5 - -4)*(15 - 2). Let k(s) = -s + 7. Let j be k(l). Solve -3*w + 2*p - p - 1 = 0, -4*p - j = 0 for w.
-2
Let m(w) = w**2 + 3*w. Let x be m(-2). Let r be (-5 - x)/((-6)/10). Solve -h + r*y - 1 = 4*y, -4*h - y = 9 for h.
-2
Let z = 17 - 7. Solve 0 = -r + 4*v + z, 4*r - 3*v - 18 = 2*v for r.
2
Let w be ((-1)/(-2))/(-1)*-6. Suppose l + 3*m = -13, 0 = w*l - 2*m + 3*m - 1. Solve -3*b = -l*x - 6*b + 8, 0 = 2*x - 5*b - 8 for x.
4
Let k be ((-18)/(-10) + 1)/((-12)/(-30)). Solve -5*z - 5 = -p, 5*z + 2*p - k = 3 for z.
0
Let x(r) = -6 + 0*r**3 - 4*r + r**3 + 3*r - 4*r**2. Let v be x(5). Solve -4*a - v = 2*i, i + 13 = -4*a - a for i.
-3
Let s be -1 + 1 - 12/(-6). Let p be (-1)/3*(-27)/3. Suppose 2*w = -5*x + 25, -p*w + 49 = -5*x + x. Solve -5*r + w = b - 2*b, -s*b = 4*r - 26 for b.
5
Let q = -1 - -2. Suppose -5*y = -4*n + 17, 4 = 2*n + 3*y + q. Solve 0 = -4*p + 4*z + 16, 0*p + n*p - z = 6 for p.
1
Suppose -p + 5*j = -2*p - 10, 5 = -2*p - 5*j. Solve 2*u - 7 = -p*a, -u = 4*u - 5*a for u.
1
Let o be (-1 - -1)*2/4. Suppose -r - 1 = -3. Let c be o/(2/(-4)*r). Solve 3*t = 5*n, -3*t + 3*n + 2 + 4 = c for t.
5
Let p = 5 + -1. Solve -5*t - 13 = 2*q, p*q + 2*t + 2 = -0*t for q.
1
Suppose 6*n - 23 = 4*n + 3*z, 0 = -3*z - 15. Solve u + u = n*i + 4, u - 4 = 0 for i.
1
Suppose 2*l - 6*l + 16 = 0. Suppose -5*q - 6 - 4 = 0. Let h be q - (-5)/((-10)/(-16)). Solve f - l*r = -3, 0 = -f - r + h + 1 for f.
5
Suppose 3*t - 5 = 4. Solve 0 = 4*m - 7 - 9, 4*s + t*m = 16 for s.
1
Let o(s) = s**3 - 6*s**2 - 6*s - 2. Let n = 5 - -2. Let u be o(n). Suppose q + u - 21 = 0. Solve -4*z = -2*l - q, z + 0 + 1 = 3*l for z.
5
Let n be (-1204)/(-224) - (22/16 + -1). Solve 0 = -n*j + 3*o + 40, 3*j = -5*o - 16 + 6 for j.
5
Let i be (7/(-3))/(4/24). Let j be (-4)/14 + (-46)/i. Let m(k) = k**2 + 12. Let g be m(0). Solve -g = -t + 2*b + j, 30 = 3*t - 3*b for t.
5
Let j(z) = -2*z + 11. Let b be j(0). Suppose -4 = i - 6. Solve i*h = 3*a - 17, a - b = 4*h - 2 for h.
-1
Let j(m) = m**3 + 2*m**2 + 4. Let g be j(-2). Solve -o = 2*y - g*o + 23, 5*y = 4*o - 40 for y.
-4
Suppose 4*u - 9 = u. Suppose -u*g = -3*l - 0*l - 9, g = 4*l + 9. Let n be ((-1)/l)/(2/4). Solve -2*j + 2 = -5*c - n, 0 = -2*c - 2*j + 10 for c.
1
Let i(a) = 2*a + 1. Let w be i(2). Suppose 3*p = -f + 1, w*p - 5*f - 22 = 13. Solve -c + 5*r = 22, -6*c = -c + 3*r - p for c.
-2
Suppose 2*i - 12 = -4*v - 22, -3*i = -2*v + 15. Solve 5*y - 13 = -2*u - v, 8 = 4*y + u for y.
1
Let w(o) = -o**3 - 10*o**2 - 10*o - 9. Let l be w(-9). Solve 4*x - 5*u = 34 + 1, 5*u + 15 = l for x.
5
Suppose 2*a = -5*w - 11, -w + a = 2 + 3. Let p = 9 + w. Solve -3*d = o - 7, -p = -2*d - 2*d - 3*o for d.
3
Let m be (0 + -1 + 2)*5. Suppose -13 - 51 = 2*n. Let k = n - -45. Solve 0 = -w - 3*f - k, -7 = 3*w + m*f + 12 for w.
2
Let a = 31 + -20. Solve 2*l - l = -5, u + a = -3*l for u.
4
Let i(r) = 3*r - 67. Let m be i(23). Solve -x + 3 = l, x + 2*l = 9 - m for x.
-1
Let l(k) = 2*k**2 + 1. Let q = 8 - 9. Let s be l(q). Solve s*t = -0*t + d - 6, 3*d - 6 = -3*t for t.
-1
Suppose -4*d - 2*t + 186 = 0, 2*t + 40 = 3*d - 110. Suppose -d = -2*z - 2*z. Solve c - 2*b = 4, -c + 2*b = 4*c + z for c.
-4
Let m(f) = f**3 + 6*f**2 + 4*f - 2. Suppose -n + 3*r - 5 = -0, 0 = 3*r. Let q be m(n). Solve 0 = k + 3*k + q*g + 15, -2*k = -4*g + 2 for k.
-3
Suppose 2*x - 8 = 22. Solve s + 0*q = -3*q, 4*s = 3*q + x for s.
3
Suppose 0 = -4*b + 3*s + 26, 0 = -0*b + 5*b - 4*s - 33. Suppose -b*j + 12 = 2. Suppose 5*n = 62 - 17. Solve 4*g