for o.
2
Suppose -13*l + 5 = -12*l. Let r be l*1*(2 + 48/(-30)). Solve 0 = -3*s - 3*j, -3*s - r*j = -7*j - 24 for s.
3
Let x(j) = j**2 + 26*j - 3. Let q be x(-26). Let u be 15/3 - (q + 6). Solve 5*d = t + 9, t + u*d - 5 = -0*t for t.
1
Suppose -o + 4*x = 2*x - 13, -o + 8 = -x. Suppose -16 = -4*b - 4*a, 2*b - 4*b = 4*a - 12. Solve -2*t - 18 = 2*m, o*m - t + b*t = -17 for m.
-4
Let m be (-8)/(24/9)*-5. Suppose -47*n = -52*n + m. Solve 2*j - 5*x = -10, -4 = -4*x + n*x for j.
5
Let j = 0 + 0. Suppose -20 = 4*r - 6*x + 4*x, -4*x + 13 = r. Let a be 2/(-2) - r/((-9)/(-15)). Solve j = 3*g + 2*z + 3, a*g - 5*z + 0*z - 19 = 0 for g.
1
Let y(i) be the first derivative of 3*i**2 - 8 - 1/3*i**3 - 7*i. Let b be y(3). Solve -b*a = -10, -5*n - 6 = -4*a + 4 for n.
2
Suppose 6 = -4*a - 10. Let h = a + 5. Let n be h + -4 + 23 + 0. Solve -3 + 18 = -r - 2*v, 3*r + n = -v for r.
-5
Suppose -4*h = -3*h - 5. Let r = -56 + 58. Let k be ((-16)/(-5))/(r/h). Solve -2*b - k = 2*l, b + 4*l = 2*b - 11 for b.
-1
Let k = -227 + 230. Solve 24 = -v + 2*m - 7*m, -k = 2*v + m for v.
1
Let h be ((3/(-2))/(-1))/((-31)/(-310)). Solve 3*m = y + 9, -5*m - 2*y - 2*y = -h for m.
3
Let p = 157 + -156. Solve -11 = 2*k + i, 0*k + 3*i = 2*k - p for k.
-4
Suppose -2*r - 4*u + 15 = -13, -2*u = -5*r + 10. Let d be ((r - 3) + 0)*1. Solve p = -m, -5*m + p - d = 11 for m.
-2
Let t be ((-400)/30)/(2/6). Let a be (t/(-25))/((-6)/(-15)). Solve m + 2*c - a*c + 9 = 0, -3*m - 2*c + 13 = 0 for m.
1
Let x be (-28)/(-6) - (-2 - 16/(-6)). Suppose -x*s = -3*h, -5*s = h + 3*h - 31. Solve 5*l = 2*t + s*t, 2*l = -4*t + 18 for t.
3
Let m(o) = -27*o. Let g be m(-1). Let r = -23 + g. Solve -14 = 5*q - 2*k, -3*k + 2*k = -r*q - 13 for q.
-4
Let p be (252/168)/((-6)/(-20)). Solve -2 = x + 2*r + 3, -5*x + 35 = -p*r for x.
3
Let s = -57 - -59. Solve s*p + y - 1 = 0, 5*y = -3*p + 4 - 13 for p.
2
Let l = 572 - 570. Solve -7*s - 29 = -l*s + y, -3*s + 5*y = -5 for s.
-5
Suppose -51 = -14*p - 9. Solve 0 = -4*x + 5*q - 26, -4*x - 30 = -p*q - 8 for x.
-4
Suppose -2*z + 2*l = -18, 5*z + l - 40 = 5*l. Solve 0 = -3*q - z*r - 14, 4*q - 4*r = 37 - 9 for q.
2
Suppose -28 + 13 = -3*j. Solve -5*n + b - 5 = 0, -5*b + 12 = -j*n + 7 for n.
-1
Let t(b) = -b**2 + 123*b + 642. Let h be t(-5). Solve -6 + 4 = 2*o - z, -4*o + 5*z + h = 0 for o.
-2
Let j be 106/159 + 1/(3/13). Solve -5*f - j*c = 40, 0 = -3*c - 0*c - 15 for f.
-3
Let y = 62 - 24. Suppose 0 = -5*p - 2*s + 133, -2*p + 0*s = -3*s - y. Let m be 1/(-5) + 105/p. Solve -m*d + 4 = -4*f, -5*d + 19 = -2*d + f for d.
5
Suppose -276*l = -285*l + 18. Solve f - b + 2 = 0, 6*b - l = 5*f + 3*b for f.
2
Suppose 0 = 4*k - 6 - 6. Let g be -2 - k*(-42)/9. Suppose -g = -5*c + 13. Solve 24 = -c*o - y, 0*y + 5*y + 4 = 4*o for o.
-4
Let l be (90/12)/(9/6). Solve l*a - 12 = -3*c + 2*a, 0 = -2*a + 6 for c.
1
Let t be 0 + (-69 - (2 - 3)). Let b be (-2)/(-17) + (-264)/t. Solve -b*j + 6 = -3*n - 3*j, n + 12 = -3*j for n.
-3
Let j = 11 - -18. Let n = j - 29. Solve n = -5*l - 10, 0*g + 5*l = g - 8 for g.
-2
Suppose 4*c = q - 11 + 3, 4*q - 13 = -3*c. Solve 2*d - 5 = a, 2*d - q*a - 15 = -a for d.
0
Suppose -5 = s, 4*k = k + 3*s + 39. Suppose 6*j + 8 = k*j. Solve -j*o = 3*v - 9, -4*o + 17 = -v - 4*v for o.
3
Let n(m) = m + 12. Let k be n(7). Solve j = -4*j - q - k, 2*j + 3*q = -18 for j.
-3
Suppose -13*x - 107 + 159 = 0. Let f be ((-52)/6 + 2)*-3. Solve -f = 2*o - x*q, -11 = -o - 0*o - 5*q for o.
-4
Let c(w) = w + 14. Let u(g) = 14. Let j(f) = 3*c(f) - 4*u(f). Let z be j(11). Solve 7 - z = 2*i + 4*x, -i + 1 = -5*x for i.
-4
Suppose -3*t = -0*t + 6, 49 = 3*a + 4*t. Suppose 0 = -3*g + a + 11. Solve 0 = 5*l + 5*v + 43 - 8, 2*v + g = -l for l.
-4
Let p(l) = -l + 54. Let c be p(0). Let r = c + -50. Solve -5*s = -6*m + 4*m + 25, -r*m + 15 = -3*s for s.
-5
Let p(u) = u**2 - u - 10. Let b be p(-3). Suppose 1 + 9 = b*v. Solve -2*c + 4*l = 3 - 13, 3*c = v*l + 10 for c.
-5
Let f = 1782 + -1779. Suppose -4*b = -2*b - 42. Suppose 4*u - u - b = 0. Solve -5*y = -5*v + 20, -f*v - u + 3 = 5*y for y.
-2
Suppose 2*f = 5*b - 9, 5*b - 25 + 4 = -2*f. Let a be 40/(-18) - 6/(-27). Let c be ((-9)/a)/((-6)/(-16)). Solve 5*t = -b*q - 0*q + 20, 3*t - c = -4*q for t.
4
Let a = 1281 - 1276. Solve 0 = 4*p - a*o + 17, 4*p + 3*o = -0*o - 9 for p.
-3
Suppose 1 = j + l - 2, 2*j = 4*l. Suppose -j*i + 0 = -16. Solve -2*o + c = 2, -2*c = -o + i - 3 for o.
-3
Suppose 5*b - 6 = 3*p, 2 = -2*b + 2*p - 3*p. Let w be 2*1/4*b. Let y = 198 - 196. Solve -x + 8 = 4*i, i - y = -w*i + x for i.
2
Suppose -4*a - 51 = 3*g + 34, 0 = 2*g + 2*a + 56. Let o be 20/45 - 123/g. Suppose 0 = -3*f + 11 - 2. Solve -5*d - o = -f*i, 3*d - 2*i + 2 = -2 for d.
2
Suppose 4*u = 4*o + 20, -2*o - 4 - 1 = -u. Suppose -7*z + h = -5*z - 65, -5*h = -3*z + 108. Solve 0 = -u*v - g + 6 + 13, -4*g = 5*v - z for v.
3
Let d(z) = -z**2 + 5*z + 5. Let i be 0 - -3 - (-7 + 4). Let n be d(i). Let m be (2 - (1 + n))/1. Solve 2*a - 8 = f, 3*f - 5 = -m*a + 3 for f.
0
Suppose 2*v + 2*v = -336. Let n = -44 - v. Solve -j = x, -3*j + 5*x = 2*j + n for j.
-4
Let l(d) = -d + 2. Let x be l(6). Let r(t) = t**2 + 3*t + 1. Let h be r(x). Suppose -3*y = -h + 2. Solve -2*a - 4 - 2 = 4*m, -4*m + 3*a = y for m.
-1
Suppose -2*s = 5*a + 2*s + 8, -2*s - 4 = -a. Suppose -7*t + 44 = -5. Let k(y) = -y + 11. Let n be k(t). Solve -j - 3*z + 3 - 1 = a, 2*j - n*z = 4 for j.
2
Suppose 5*j - n - 1 = 10, 3*j - 3*n = -3. Solve r + 2*r + 3 = -j*s, -2 = -4*s + 2*r for s.
0
Let j be (-2 - 0) + -18*(-5)/15. Solve -5 = -5*r, -j*m + 5*r = -1 + 18 for m.
-3
Let r = 655 + -653. Solve r*j - 36 = 4*p - 2*j, 3*j = -4*p - 8 for p.
-5
Suppose 0 = -3*x - 4*g - 20, 4*g + 1 = 3*x - 19. Suppose 0 = -6*i - 5 + 17. Suppose -6 = -2*d - s, 9 + i = 3*d + s. Solve -2*z = x, -d*v + 4*z = -13 - 2 for v.
3
Suppose -r - 2*i - 4 = 0, -3*r + 2*i = -27 - 1. Let g(t) = 2*t**2 - 11*t - 4. Let o be g(r). Solve -3*n = 15, -3 = -o*k + 5*k + 3*n for k.
4
Let j be (2/(-3))/(4/(-24)). Solve j*s = -4*h + 36, 3*h - s + 0*s - 7 = 0 for h.
4
Suppose 5*s - 5*p = 35, s - 3*p = -0*p + 17. Solve 11 = -3*d - s*k, -5*d + 8 + 7 = -5*k for d.
-1
Suppose 5*l = 20*l + 3*l. Solve 5*h - 6 = -5*f + 3*h, 2*f - h + 3 = l for f.
0
Let j = -83 + -51. Let h = j - -139. Solve -19 = -h*x - 2*m, 5*x - 31 = 2*m - 0*m for x.
5
Let u be ((-2)/4 - -1)*28. Suppose 5*p - 20 = -105. Let j = -16 - p. Solve 3*v + j = 4*v, -4*b + 2*v = u for b.
-3
Let m(a) = -a**3 + 22*a**2 - 85*a + 10. Let g be m(17). Solve p = -3*b - 7, -b - b + 2*p = g for b.
-3
Let s be (88/16)/((-2)/(-4)). Let m(w) = -w**3 + 11*w**2 + w - 7. Let i be m(s). Solve 2*y - i*y - 4 = -3*g, 32 = 3*y + 5*g for y.
4
Suppose 0 = -6*z + 2*z + 124. Suppose -2*g - 5*s = -z, s = -4*g - 24 + 131. Solve 3*a = -4*y + g, 0*a + 5*y = 5*a for a.
4
Let s = -3761 + 3765. Suppose 3*l - i + 0 = 1, 4*l - 5*i = -17. Solve s*p = r - l, r - p + 4 = 3 for r.
-2
Let u(w) = w**3 + 4*w**2 + 2*w - 2. Let s be u(-2). Solve -s*v = p - v + 3, -v = -2*p for p.
-1
Suppose -38 - 26 = -16*b. Solve -3*p - 2*p = -2*v + 33, -b*p - v = 16 for p.
-5
Let r(i) = 7*i - 25. Let x be r(5). Suppose -o = o - x. Solve 0 = 3*l + 2*g, g = o*l + 5*g + 2 for l.
2
Suppose -4*g = -2*g - 14. Let n be g + -3 - (1 - -1). Solve -10 = n*v - 2*y, -4*v = y - 7 + 2 for v.
0
Let a be 3 + -1 + (-16)/(-2). Let y be a/(-15)*-6*1. Suppose 0 = p - 5*f - 7 - 3, 5*f + 10 = y*p. Solve -2*c + w = 4, 0 = -p*c - 2*c - w for c.
-1
Let c(j) = j**2 - 3*j - 4. Let p be c(4). Let n(h) = -h**2 + 7. Let z be n(p). Suppose -z*q = -5*q - 60. Solve -5*b - q = 4*v, -v - 2*v - 3*b = 21 for v.
-5
Suppose 5*h - 28 = 4*d, 0 = -3*h + 8*d - 4*d + 20. Suppose -5*p - 9 = h*a - 39, 3*p + 9 = 3*a. Solve w = -3*i - 5, 2*w + i = a*w - 15 for w.
4
Let f(o) = -3*o**2 - 16*o - 12. Let g be f(-4). Solve 5*u = 3*b + 7, -g*b + 5*b - 5*u = 1 for b.
-4
Let h be ((-15)/10)/((-6)/16). Suppose -24 = -3*k - 5*c + 10, -5*c = h*k - 37. Suppose -k - 9 = -4*u. Solve u*l + 7 = -2*v + v, 5*l + 5 = -5*v for v.
2
Suppose -2*i + 5*l + 30 = 5, -5*i + 4*l + 20 = 0. Solve i = 2*b - 2*a - 12, -b = 3*b - a - 15 for b.
3
Suppose 0 = 3*y + 34*p - 39*p - 35, 3*p = 3*y - 39. Solve 13*i - 26 = -5*u + y*i, -1 = -u - i for u.
4
Suppose 5*v = -17*v. Solve -3*j - 4*i + 29 = v, -j + 0*i = -3*i + 12 for j.
3
Let v be (-2)/13 - 2824/(-104). Suppose 2*k = -k 