 - 1 = -2*o + 5*v for o.
1
Let n = 22 + -15. Suppose 0 = 2*z + 3*z + f - 70, n = -z + 4*f. Suppose z + 2 = 5*d. Solve -4*h + 2 = d*b, -h + 2*h = -b for h.
2
Let b(g) = 0 + 3 + 5 - 1 - g. Let k be b(5). Suppose 0 = 3*p - k*p. Solve 0 = -d - 3*v - 1 + 2, p = -4*v for d.
1
Let x(q) = -q**2 + 8*q + 3. Let c be x(10). Let a = -14 - c. Solve 5 - 1 = -d - 2*s, -2*d - a*s - 6 = 0 for d.
0
Suppose -5*n + 2*n = -6. Let d = n - -3. Solve 6 = 2*w + 2*t, -w + 14 = 3*w + d*t for w.
1
Let c be 0 + 1/(1/35). Suppose 0*y + c = 5*y. Solve 5*r - 20 = 5*z, 0 + y = 3*r - 2*z for r.
-1
Suppose 2*m + 2*v - 28 = -3*m, 12 = m + 2*v. Suppose m*l = -3*y + 13, -3*y + 7 = 5*l - 10. Solve 3*h - 5*p + 8 = 32, -18 = -2*h + l*p for h.
3
Let l = -42 + 45. Solve 4*c = -3*k + 24, -l*c = 6*k - k - 29 for k.
4
Suppose -2*t = -2 - 4. Suppose 0*u + 5 = -u, -t*a + 40 = -5*u. Solve a*w - m - 29 = 0, 2*w + 6*m - 4*m = 2 for w.
5
Suppose 0*p = -4*p. Let t(n) = n - 4. Let m be t(6). Let b = p + m. Solve -2*u = -b*i + 16, 0 = -4*i + 11 + 9 for u.
-3
Let y(m) = -m**3 + 3*m**2 - m + 3. Let f be y(3). Let p be 9/6*(2 + f). Suppose z + 4 = -s, p*s - 4*z = 8*s + 16. Solve n + 3*v + 24 = 5*n, 4*n + 3*v = s for n.
3
Suppose 5*n - 18 - 7 = 0. Solve -6 = -5*q + n*k - 41, 3 = q + k for q.
-2
Let m = 2 + -4. Let w(k) = -2*k**3 - 3*k**2 - k + 1. Let g be w(m). Let y = g + -3. Solve 0 = -3*f - 2 - y, -r - 3*f - 9 = 0 for r.
-3
Let s(i) = -4*i. Let d(k) = 3*k + 1. Let t(f) = -5*d(f) - 4*s(f). Let l be ((-3)/(-2))/(3/16). Let q be t(l). Solve 0 = q*m + 6, -5*m = 3*x - 0 + 1 for x.
3
Let l = -15 + 30. Let f be l + 2/(-4)*4. Solve 2*s = -3*m - f, m - 5*m - 16 = 2*s for s.
-2
Let g(m) = 7*m - 1. Let w be g(1). Let u be (-2)/(-6)*(2 + 1). Let j be u/(-3 + 20/6). Solve 5*o = t + 20, -j*t = -w - 9 for o.
5
Let q be (-3 + -2)*(-2)/(-5). Let z = q - -6. Suppose -6 = -z*u + 6. Solve 3*g = -3*r - 18, 2*r = 2*g - 7 + u for r.
-4
Let h = -4 + 15. Suppose h = 4*a - 9. Solve -10 = a*c, -5*p + 26 = -c + 4 for p.
4
Suppose -2*n - 38 = -4*t, -4*t = 2*n - 3*t + 28. Let k be (-2)/4 - n/6. Let s be -5*1*9/(-15). Solve 5*u = -2*f + 14, 5*u - k*u = s*f for f.
2
Let b = 9 + -9. Solve b = -u + 5, 5*a = u + 4*u - 30 for a.
-1
Let a be ((-24)/9)/((-6)/9). Suppose -j + 4*d - 26 = -4*j, d = -j + 7. Solve 4*x + j = -a*f - 30, x + 20 = -4*f for f.
-4
Let g = -2 + 4. Suppose -g*i + 30 = -0. Suppose 13 = 7*r - 8. Solve -d - 2*d - r = f, -i = -5*d + 5*f for d.
0
Let i(a) = -3*a + 19. Let t be i(5). Solve -2*q - 23 = 3*z, t*z = -7*q + 2*q - 40 for q.
-4
Suppose -2*x + 0*x - 2 = 0. Let f be ((10/x)/(-2))/1. Suppose -2*p = -4*y + 6*y - 40, -y = -3*p + 60. Solve h - f = j, 6*h - 2*h - p = 3*j for j.
0
Let p be 3 + -2 - 2/(-2). Solve p*h = 4*s - 16, -7*s + 3*h + 22 = -2*s for s.
2
Let g(l) = 7*l - 2. Let h(i) = 13*i - 3. Let p(o) = 11*g(o) - 6*h(o). Let r be p(-4). Solve 4*j - 4 = 3*k, -5*j = -r*j + k + 14 for j.
-2
Let v(y) = y. Let c = 4 + -5. Let i(o) = 11*o - 5. Let d(t) = c*i(t) + 5*v(t). Let z be d(-4). Solve -5 = -m, 4*n + 3 = -2*m + z for n.
4
Suppose 2*k - 4*h - 15 = 11, 4*h = -k - 11. Solve 4*t - k*z = -15, -1 = t - 0*z - 4*z for t.
-5
Suppose r - 1 = 4. Suppose -4*o - 4*l + 8 = 0, -o = 4*o + 3*l - 10. Solve -2*v + r*v - o*c + 14 = 0, 2*c = 5*v + 22 for v.
-4
Suppose 0 = 11*z - 12*z - 27. Let m be (-6)/z - 388/(-36). Solve -2*c = -3*q - 4, -4*q + m = 3*c + 5 for c.
2
Let k = 7 + -4. Let m = 1 - -1. Solve -k*g - 16 = g - m*r, 0 = 2*r - 8 for g.
-2
Suppose n = -5, 3*n = 2*j + 3*j - 25. Solve u - 27 = -4*u - j*v, -3*u - 5*v = -20 for u.
5
Let t be (0 - 0) + (-2 - -5). Let b be 4/(-6)*t/(-1). Suppose -2*r + 20 = 4*i, 0 = -3*i + 5*r - 0*r + 2. Solve 5*v - 4 - 1 = 3*k, -i = b*v for k.
-5
Let i(p) = -7*p + 1. Let a be i(-2). Let n be 85/a - 4/6. Solve -n*v + 2*f = -25, 3*v - 4*f = f + 34 for v.
3
Suppose 21 = 3*h + 3*u, 3*h - 16 + 7 = u. Let q(n) = n**3 + 3*n**2 - 3*n - 4. Let v be q(-3). Solve h*c = -3*j + 6 + 3, -3*j + 9 = -v*c for j.
3
Let s(a) = 5*a + 7. Let r(p) = 6*p + 8. Let j(w) = 6*r(w) - 7*s(w). Let f be j(4). Solve 2*z = i + 5, 4*i = -f*z - z - 20 for i.
-5
Suppose -2*i - i + 18 = 0. Suppose v - 10 = -i. Solve 29 = -5*s - v*q, -12 = 3*s + q + 4 for s.
-5
Suppose -14 = -3*p + 5*f, 2*f = p + 4*p - 17. Solve -3*r + 5*b + 15 = -14, p*r = -5*b - 11 for r.
3
Let d be 0/(12/4) - -4. Solve -f - 3*v + 19 = d, 4*v - 31 = -5*f for f.
3
Let r be (-4)/(-6) - 8/(-6). Suppose -20 = -r*n - 2. Solve -3*a - n = 3*f, 0*a - 3*a - 2*f = 7 for a.
-1
Let j be (2/(-8))/(2/(-40)). Solve -4*s + 6 = -2*b, b - j*s + 9 = -b for b.
3
Let q(b) = -b**3 + 5*b**2 - b + 11. Let i be q(5). Solve h - i = -h - k, 4*k = -5*h + 15 for h.
3
Let b be (-25)/(-4) + (-4)/16. Solve 0 = l - 5*j - b - 5, j = 5*l - 7 for l.
1
Let l(f) = 8*f**2 - 6*f. Let m be l(2). Let d(o) = -2*o**2 - o + 1. Let i be d(1). Let g be 12/(-9)*(i - 1). Solve 2*s - m = 5*k, 4*k - g*s - 1 = -17 for k.
-4
Suppose -4*b - b - 40 = 5*q, -2*b - 15 = 3*q. Let o be 15/10*(-24)/b. Solve 4*f - 20 = 0, -o*k + 10*f = 5*f + 33 for k.
-2
Let y(m) = -6*m + 86. Let c be y(14). Solve 2*l + 3*l - c*i = -6, -l + 4*i = -6 for l.
-2
Suppose 0 = -4*i - 4, 0 = -m - 2*i - 1 - 5. Let n be -8*(-1 + (-2)/m). Suppose d = 2*t - 9, -4*t + 3*d + 27 = n*d. Solve 3*c = t, 5*u + 2*c = 10 - 1 for u.
1
Let h = 3 + 3. Solve g + 5*j = h, g - 4*j = -8*j + 4 for g.
-4
Let c = -6 + 10. Solve -5*b - 3*q = -20, c*b + q - 2 = 7*b for b.
1
Let a be 1/(-2) - (-99)/22. Solve -2*x + 7 = -o, 2*x = -0*o + a*o + 10 for o.
-1
Let a be (-1)/1 + 6/2. Solve 4*v + 6 = -j - 4*j, -20 = 4*v - a*j for v.
-4
Let u be (-12)/(-8)*(15 + -1). Solve 4*h = 5*j + 3*h + 29, -j = -4*h + u for j.
-5
Suppose 0 = -h, d + 2*d - 24 = -3*h. Solve -3*g + 5*g = k + 4, -4*k + d = 4*g for k.
0
Let w(t) = t**2 - 8. Let l be w(0). Let a = l + 10. Solve a*m - 2 = -2*m - 2*q, -5*q = -m + 6 for m.
1
Let o(a) = a**3 + 5*a**2 + 2*a + 12. Let c be o(-5). Solve -c*r - 14 = -4*t, 0*t - 4*t + 29 = 3*r for r.
3
Let r be ((-1)/(-2))/((-2)/4). Let o(d) = -4*d. Let b be o(r). Solve b*m - 19 = p - 0, 3*m + 2*p - 6 = 0 for m.
4
Let j = -9 - -13. Solve -3*n = 4*g - 0*n, j*g - 4 = -2*n for g.
3
Suppose 0 = -j + 2, 4*x + 4*j = -j + 22. Solve -x*g = 3*w - 30, w = -0*g + 3*g - 10 for g.
5
Let w(r) = -r. Let o be w(-1). Let p be o*(-1 - -2)*3. Solve 3*v = i - 9, 21 = -p*v + 5*i - 0*i for v.
-2
Let v = -2 + 6. Let r(s) = -4*s**2 + 2 - 1 - 4*s + 5*s**2. Let b be r(-3). Solve 0 = -4*c + 9 + 11, k - v*c = -b for k.
-2
Let q(y) = -y**2 + 11*y + 6. Let n be q(11). Let f be (2/(-3) + 0)*-6. Let r(o) = -o**2 - 7*o + 7. Let d be r(-6). Solve 4*g + i + f = d, 0 = g + 3*i + n for g.
3
Let t(b) = -2*b**3 + 12*b**2 - 2*b + 14. Let m be t(6). Let k = 0 - -8. Solve -3*n - 5*r = 2 - k, -m*n + r + 4 = 0 for n.
2
Let b(q) = -q**3 + 6*q**2 - 4*q - 5. Let w be b(5). Let d be 88/40*(w - -5). Solve -3*y - 4*h = -8*y - 24, 0 = 2*y - 3*h + d for y.
-4
Suppose -3*p + 8 = -p. Solve 16 = -2*c - 5*g, -8 = -2*c + p*g + 12 for c.
2
Suppose -3*r = -r - 4. Solve -5*m - w - 21 = -r, m = 3*w + 9 for m.
-3
Let n = -1 - -5. Suppose 4 = a + 3*h, -3*a + 0*a - 5*h + n = 0. Let s be a*1/(-2)*5. Solve s*z = -20, o + z + 1 = -0*z for o.
3
Let c(i) be the first derivative of -i**4/4 - 2*i**3 + 4*i**2 + 10*i - 2. Let s be c(-7). Solve 3*x - y + 1 = -s*y, -2*y = 10 for x.
3
Let t(m) = m**2 - 2*m - 3. Let i be t(-2). Solve -5*w - 2*c + 23 = 0, -i*w = 4*c - c - 22 for w.
5
Let n be 4/(-14) + (-1776)/(-42). Suppose -2*o + n = o. Solve 2*t = 4*k + o, 2*k + 0*t + 4 = -2*t for k.
-3
Let v be -2 - ((-12)/(-3) + -8). Solve -v*l = 2*k - 2, -5*k - 15 = -0*k + l for k.
-4
Suppose 0 = 3*x + 2*x. Suppose 0 = s - x*s - 9. Let z = s + -5. Solve 5*h = 4*m + 17, h + z*h - 2*m - 11 = 0 for h.
1
Let r be (3/(-4))/(9/(-12)). Let h be ((-3)/r)/(12/(-16)). Solve -5*k = 4*m + 5, -k + 2*k + 1 = h*m for k.
-1
Let q be ((-2)/(-6)*0)/2. Solve -5 = -s, q*s + 30 = -5*h + 3*s for h.
-3
Suppose -2*s - s = 3*i + 768, -1288 = 5*i + s. Let p be i/(-9) - (-10)/(-15). Solve -5*j + 4*k = -p, 0*j - 4*j = -3*k - 22 for j.
4
Suppose -5*y - 8 = 3*i, 2 + 18 = i - 4*y. Let b(t) = -t**2 - 7*t + 7. Let o be b(-5). Solve 3 + 16 = 5*r - i*p, -o = -4*r + 5*p for r.
3
Let x(l) = -l - 6. Let p = 167 + -97. Let m be ((-12)/(-5))/((-21)/p). Let j be x(m). Solve 3 - 6 = s, -3*s = -j*n + 