be v/2*(-5)/(-1). Let o = 9 - 3. Solve -z = -o*z + f for z.
2
Let f be ((-8)/48)/((-1)/750). Solve f*l = 131*l - 6 for l.
1
Let u = -76 + 78. Suppose -u = -w + 1. Solve w*x - 2*x + 2 = 0 for x.
-2
Let q(v) = 5*v + 15. Let n be q(-3). Solve -3*o = -n*o - 0*o for o.
0
Suppose -30 = 4*z - y - 70, 0 = y. Suppose -5*j = 5*h, -h - 1 - 2 = -2*j. Suppose r = 2 + j. Solve -r*k - z = 2 for k.
-4
Let n(b) = -31*b**3 + 1. Let u = 12 - 13. Let d be n(u). Suppose -i - d = -5*i. Solve 2*t + 2*t - i = 0 for t.
2
Suppose -v + 1 = z, -14 = -3*v + v + 4*z. Let c(o) = 16*o - 46. Let x be c(v). Solve -x*d + 5 = 1 for d.
2
Let s(f) = -f**2 + 7*f + 58. Let k be s(-5). Let m(r) = r - 4*r**2 + 2*r**2 - 1 + 5*r**2. Let w be m(k). Solve 0 = -2*g - g + w for g.
3
Suppose -9*g = -71 - 10. Solve -5 = g*t - 8*t for t.
-5
Suppose -j - p = 7, -3*j - 17 = p - 2*p. Let u(y) = y + 6. Let k be u(j). Solve -5*b - 2 + 22 = k for b.
4
Suppose -3 = -3*p + 3*t, 182*t - 184*t = 2*p - 22. Suppose -2*r - 2*r = 4. Let a = r - -1. Solve a = p*y - 2*y for y.
0
Suppose 0 = 5*k - 27 + 17. Suppose -v - 2 = 2*i, 3*v - k*i = v + 8. Solve v*d - 8 + 0 = 0 for d.
4
Let y(z) = 4*z + 20. Let x be y(-6). Let n = 4 + x. Solve -w + 3*w = n for w.
0
Let x(i) be the second derivative of -i**5/20 - i**4/2 - i**3 + i**2/2 - 2*i. Let y be x(-5). Suppose 0 = -y*q + 2*q + 40. Solve 0*r = -2*r + q for r.
5
Let h(b) = -14*b - 304. Let d be h(-22). Solve -22*q + 36 = -d*q for q.
2
Let f = 56 - 145. Let g = f - -92. Solve -g + 0 = t for t.
-3
Let y be (-2)/(-10) + (-16)/((-240)/117). Solve -3*j + y + 1 = 0 for j.
3
Let t = 1539 - 1507. Solve t = 4*m + 16 for m.
4
Let p(q) = -4*q - 7. Let x be p(-6). Suppose 0 = -2*v + 6, a + 0*a + 2*v = x. Solve 5*u - 1 = -a for u.
-2
Suppose -5*i = -4*i. Suppose -8*t + 0*t + 80 = i. Solve -t = -0*w - 2*w for w.
5
Let f(i) = 3*i**2 - i - 1. Let j be f(1). Suppose p = 3*c - 1, -5*p + 2*c + 22 - j = 0. Solve -5*o = -0*o + p for o.
-1
Let u(p) = 4*p + 18. Let t be u(-4). Solve -t = 6*i - 5*i for i.
-2
Let p(i) = -2*i - 5. Let c be p(-4). Suppose 5*w + 3*l - 3 = 6, l - c = -w. Let t = -2163 + 2168. Solve w*d = t*d for d.
0
Let g = 52 + -34. Let s = -13 + g. Solve 4*n - 3 = s for n.
2
Suppose 24*o - 48 = 8*o. Solve -5*p = o + 7 for p.
-2
Suppose 6*o + 93 + 9 = 0. Let p = o - -45. Let b be ((-2)/(-6))/((-1)/(-12)). Solve -b*j = 8 - p for j.
5
Let m be (-2)/(-5) - 36/(-10). Let y be -24*((-18)/8)/9. Suppose 0 = 5*d - y - m. Solve -8 + d = 2*a for a.
-3
Suppose -12*w - 9 = 3*r - 9*w, -9 = -2*r + w. Solve 0 = -4*u + 6 - r for u.
1
Let b = -69 + 73. Solve -b*t + 12 = -8 for t.
5
Let b(h) = 387*h - h**2 - 4 + 2*h**2 - 385*h. Let y be b(-4). Solve 2*o - 3*o - y = 0 for o.
-4
Suppose -4*g + 17 = 5. Suppose -u - 4*d + 22 - 16 = 0, 5*u + 3*d - 13 = 0. Solve g*t - u = 1 for t.
1
Let s(o) = 6*o**2 + 70*o + 160. Let m(d) = d**2 + 14*d + 32. Let l(q) = 11*m(q) - 2*s(q). Let j be l(16). Solve -h = 2 - j for h.
-2
Suppose 3*n = -4 + 10. Suppose -4*m + 26 = 2*a, 0 = -5*m + n*m + 12. Solve -14 = a*q - 4 for q.
-2
Let g(p) = -p**2 - 25*p - 113. Let f be g(-6). Solve -f = -11*w + 10*w for w.
1
Suppose 12 = 4*b - 20. Let p = 19 + -34. Let y = p - -18. Solve b*g = y*g + 15 for g.
3
Let a(r) = -16*r - 132. Let c be a(-12). Solve -5*w - c = -65 for w.
1
Let n(d) = -73*d + 312. Let a be n(4). Solve -2*v + a = 3*v for v.
4
Suppose -i = -2*i + 5. Let d(w) = w**2 - 11*w + 7. Let j be d(0). Suppose 17 - j = i*q. Solve 0 = q*r - 5*r for r.
0
Let j be -1 - (2 - (-3)/(-1)). Suppose -d + 1 + 1 = j. Suppose 3*k = -g - 0 + 2, -k - 5*g - 18 = 0. Solve k = d*b - 0 for b.
1
Suppose 5*k = 3*t - 3 - 0, -4*t = -k - 4. Suppose 3*i - m = 5, -m + k*m = 5*i + 5. Suppose 3*c + 4*x = 18, -1 + 7 = c + 4*x. Solve i = 2*j - c for j.
3
Suppose -3*y - 14 = -y. Let w(g) = -g**2 - 9*g - 10. Let d be w(y). Suppose n = d*n. Solve 0 = -4*v - n*v - 12 for v.
-3
Let r be 2 + -3 + 3 - 0. Let l = 19 + -16. Suppose r*y - 3 = l. Solve 0*o - o + y = 0 for o.
3
Let b(k) = -k**3 + 5*k**2 + 13*k + 3. Let c be b(7). Let j be 1/(7/(-12)*c/14). Solve 0*o - j = -2*o for o.
3
Let q(o) = 2*o**3 - 2*o**2 + o. Let s(r) = -r**2 + 4*r - 1. Let g be s(3). Let l be q(g). Let j = 12 - l. Solve k + j*k = -12 for k.
-4
Let i be ((-6)/24)/((-603)/120 + 5). Solve -14 - 6 = i*p for p.
-2
Suppose -50*r + 45*r = -40. Suppose 12 = -3*l, r*l + 57 = 5*v + 5*l. Solve -14*y + v*y = 0 for y.
0
Let p be 2/(-9) + (-380)/(-90). Suppose -2*m = p*c - 62, -3*m = -4*c + 2*m + 97. Solve -5*d - c + 3 = 0 for d.
-3
Let q(r) = -2*r**2 - 46*r - 39. Let f be q(-22). Suppose 0 = -3*g + 23 - 2. Suppose 2*b - g*b + 35 = 0. Solve b = -f*c - 8 for c.
-3
Let n(r) = r**2 - r - 28. Let j be n(7). Solve 15*y = j*y - 3 for y.
-3
Let z(s) = -s + 11. Let w be z(11). Suppose 2*a = -4*o + 3*a + 14, o - 3*a + 2 = w. Solve -o = -4*m - 0 for m.
1
Let w = -39 - -37. Suppose 0 = 3*o - 3*z + 5*z - 15, 2*o - 10 = 4*z. Let x be (2 + -4)*o/w. Solve 0*u = u + x for u.
-5
Let v be 1/(-4 - (-21)/5). Suppose 2*l - 157 = -v*p - 51, 0 = -2*p - 4*l + 52. Solve 6*i = 2*i + p for i.
5
Let c = -31 - -19. Let s(m) = m**2 + 11*m - 16. Let f be s(c). Let a be 60/25*(-10)/f. Solve 2*j - a = -4 for j.
1
Let h = 421 + -418. Solve h*r + 9 = -0*r for r.
-3
Let o(g) = -2*g**2 - 6*g + 4. Let i be o(0). Solve i*z = -6 - 2 for z.
-2
Suppose -20 = -702*a + 701*a. Solve -n + 17 = a for n.
-3
Let p be 3/9 - (-60)/9. Let s(x) = x**2 - 7*x + 7. Let u be s(p). Let v be 2 + u/(14/(-4)). Solve -4*l + 0 - 12 = v for l.
-3
Suppose 0*m + 4*g - 1 = m, m - 1 = 2*g. Suppose -15 = 3*a, m*v + v - 4*a = 24. Suppose -2*t + v = -3. Solve -t*f = 1 + 1 for f.
-1
Let f be ((-5)/3)/(9 + 791/(-84)). Solve -5*b = -f*b for b.
0
Suppose 5*w - g = 35, 2 = -2*g - 8. Suppose -w = -5*d + 4. Let o(y) = 4*y - 5. Let i be o(d). Solve -i*s + 5 = -2*s for s.
5
Let n = -18 + 15. Let v be ((n - -1) + 2)*-1. Solve v*s - 4*s = -8 for s.
2
Suppose -6*b = -b - 450. Let h = -70 + b. Solve 3*k - 5 = -h for k.
-5
Let c(o) = o - 2. Suppose 0 = -4*m + 2 + 6. Let n be c(m). Let b = 0 + n. Solve b = -4*t + 5*t for t.
0
Let i be 5/(-2 - -1)*116/(-20). Solve 4 - i = -5*v for v.
5
Let m = 16 - 16. Suppose v = -m*v - 2*b, 0 = 3*v - 5*b - 11. Solve 4*l - v = 6 for l.
2
Suppose -12 = -5*y - 4*w + 17, y = 4*w + 1. Solve -3*p = -8*p + y for p.
1
Let j(l) = 3*l - 24. Let g(r) = 12*r**2 - r - 1. Let z be g(1). Let x be j(z). Solve 7 = -b + x for b.
-1
Let t(h) be the second derivative of h**5/5 + h**4/6 - h**3/6 + 2*h. Let i be t(1). Suppose 0 = v - k - 1, -k - 2*k + i = v. Solve -j - j = v for j.
-1
Let x(c) = c - 6. Let j be x(10). Let f(w) = w**2 - 3*w - 5. Let l be f(j). Let s be (1/l)/(2/(-2)). Solve -s = v - 0 for v.
-1
Let v(i) = -6*i - 61. Let t(f) = -19*f - 183. Let n(c) = -2*t(c) + 7*v(c). Let m be n(-16). Solve m*w = 11 + 4 for w.
5
Let v be (-880)/(-144) - 1/9. Solve -3*a + v*a = -6 for a.
-2
Let x(b) = 2*b**2 - 5*b + 4. Let l be x(2). Suppose 39 = -l*u + u. Let s = 39 + u. Solve s*v = 4*v - 20 for v.
5
Suppose -3*g - 1470 = -9*g. Let u be 2/(1 - -3) + g/70. Solve -u*l - 2 = 10 for l.
-3
Let w be 25 - (-12 - (1 + -1 - 7)). Solve w = 10*o - 0*o for o.
3
Let w(d) = d**3 + 6*d**2 - 2*d + 5. Let m be w(-4). Suppose -5*z - i - 5 = 67, 0 = 4*z + 5*i + m. Let v = z + 15. Solve v = 5*j - 15 - 10 for j.
5
Let n(h) be the third derivative of 11*h**4/12 + h**3/3 - 6*h**2. Let s be n(1). Let g = -16 + s. Solve g = 4*k - 12 for k.
5
Let n(s) = -s**3 - 6*s**2 + s + 8. Let o be n(-6). Suppose 15 = o*z + 3*z. Suppose c = 3*a + 3*c - 18, 3*c = -z*a + 18. Solve a*l = 2*l for l.
0
Let v be (4/((-8)/18))/(39 + -40). Solve -r = 8*r - v for r.
1
Suppose n - 34 = 5*z, n + 4*n + z = 40. Let g be (-1)/4 - n/(-4). Suppose -5*i = -3*b + 43 - 12, -b = g*i + 8. Solve b*d + 0*d = -10 for d.
-5
Let g be 1 + 0 - (-6 - -52). Let n = g - -65. Solve 0*a = -5*a - n for a.
-4
Suppose -4*f + 3*q + 16 - 3 = 0, -5*f + 8 = -q. Suppose -50 = -5*h - 3*w, -3 = h + w - 15. Suppose 4 = -m + 3, m = 3*r - 10. Solve -h = r*d - f for d.
-2
Suppose -5*s + 4*s = -15. Suppose 3*h + 2*h - s = 0. Solve h*k - 6 = -0*k for k.
2
Let i be 1*-3*8/(-6). Let g be 1/2 + 18/i. Suppose -3*b - 15 = -2*o, -5*b - 12 + 0 = o. Solve 0 = g*q - 7 - o for q.
2
Let q = 5 - 1. Suppose -5*f - r = -q, 5*f - r - 3 = -7. Suppose f*x + 21 = 3*x. Solve -