= -t - 2 for v.
-1
Let o = -51 - -53. Solve 0 = -o*l - 13 + 3 for l.
-5
Let w be -4 + 20*(-1)/(-2). Solve -5*y = 1 - w for y.
1
Let c be (8 - (-2 + 4))/((-30)/(-20)). Solve -o + c = o for o.
2
Suppose 0*v - v - 2*a + 28 = 0, 2*v - 51 = -3*a. Let u be (v - 6/2)*3. Let r = u + -32. Solve r + 2 = -5*q for q.
-3
Suppose 33 = 54*g - 51*g. Solve 3*h = g - 8 for h.
1
Let p be (-50)/2*4/(-10). Let d = p + -8. Solve d = -0*c - c for c.
-2
Let m(t) = -t + 10. Suppose 0 = -x + u + 4*u + 30, 3*x - 3*u = 30. Let q be m(x). Suppose -3*r = -9, -3*k = -4*r + 2*r + 6. Solve k = q*p - p - 4 for p.
1
Let x be -4 + (0 - -2 - -2). Solve -4*i = -x*i - 20 for i.
5
Suppose -2*x = 2*k - 16, -6*k + 2*k - 4 = -2*x. Solve z = x*z for z.
0
Let z = 22 - 20. Solve -z*a = a for a.
0
Suppose 3*b - 36 = -0*b. Suppose 3*i - 30 + b = 0. Solve 2*m = -0*m + i for m.
3
Let j = -14 + 16. Solve -5*p = -j*p for p.
0
Let s = 23 + -8. Solve 3*q = 8*q - s for q.
3
Suppose -3*q + 0 + 15 = 0. Solve -10 = -q*t + 7*t for t.
-5
Suppose -4*j - 4 = -5*x, -x - 5*j - 5 + 0 = 0. Suppose 4*g + 2*y = -x*y + 120, -4*y - 30 = -g. Suppose -4*o - o = -g. Solve -o*l = -l + 5 for l.
-1
Suppose -5*s = -s + 60. Let t(n) = n**3 - 5*n**2 + n + 3. Let b be t(4). Let j = b - s. Solve -3*f - 9 = -j*f for f.
3
Suppose 0 = -4*i - 4*j + 20, 3*i + 5*j + 3 - 8 = 0. Suppose -t + 2 = c - 3, -3*c = t + 5. Solve -4*b - i = t for b.
-5
Let j be (0/(5 + -2))/(-2). Solve -4 = -j*l + 2*l for l.
-2
Let p(j) = 5*j**3 + 2*j**2 - 1. Let k be p(-1). Let m = k + 8. Suppose -m*l - 21 = -q, -q + l + l = -11. Solve -1 = -g + q for g.
2
Suppose x - l = -22, x = -2*l - 19 - 0. Let o = -17 - x. Solve -o*n + 2*n = 0 for n.
0
Let g be 3*(3/1 + -2). Suppose -10 = -4*m - 2. Suppose 3*f = 4*x - 92, -2*x + 51 = -m*f + 3. Solve 2*s - x = -g*s for s.
4
Suppose -1 - 34 = -5*p + 4*b, 5*b + 13 = -4*p. Solve 0 = p*y - 6 for y.
2
Suppose -32*z - 25 = -37*z. Solve -30 = -z*n - 10 for n.
4
Let m = -4 - -8. Suppose 3*p + 18 = m*u - u, -u + 3 = 2*p. Solve j + 2 = u for j.
3
Suppose c = -5*t - 69 + 12, 2*t - 5*c + 12 = 0. Let r = -13 - -8. Let k = r - t. Solve -3*n + n = -k for n.
3
Let d = -3 + 8. Let q(b) = b**2 + 6*b + 2. Let s be q(-6). Solve -d = s*l - 3*l for l.
5
Let w(x) be the third derivative of 0 + x**2 + 11/6*x**3 + 0*x - 1/24*x**4. Let u be w(11). Solve u*d = 4*d for d.
0
Let r(j) = j**2 + j + 2. Let u be r(0). Solve -u*p + 2 = -3*p for p.
-2
Suppose 3 = -5*c + 13. Solve 0*f = -c*f - 2 for f.
-1
Suppose -17 + 2 = -5*k. Suppose j - 18 = -q, -3*q + 2*j + 76 = 2*q. Suppose -b = k*b - q. Solve 7 = -b*w + 3 for w.
-1
Let b(q) = q**3 - q**2 - 8*q + 5. Let i(w) = -2*w**3 + w**2 + 17*w - 11. Let x(n) = -5*b(n) - 2*i(n). Let d be x(4). Solve 1 = -d*g + 6 for g.
1
Let t(i) = -i**2 - 6*i - 2. Let o be t(-5). Solve -2*s - 5 = o*s for s.
-1
Let z = 83 - 72. Solve -4 = 3*m + z for m.
-5
Suppose 2*r = 3*x + 1, -9 = -x - r - 1. Solve 0 = h + 5 - x for h.
-2
Let j(k) = k**2 + k - 1. Let h be j(2). Let s = h + 1. Solve s + 9 = 3*u for u.
5
Let d(o) = -3*o**3 - 2*o**2 + o + 8. Let u(r) = -r**3 - r**2 + r + 1. Let m(x) = d(x) - 4*u(x). Let s be m(-3). Solve s*n + 7 = -9 for n.
-4
Suppose x + 4*m = 15, -9 = -m - 2*m. Let q be (2 - -1)*7/x. Let j be -2 + 2/(-1) + q. Solve j*i = -0 + 6 for i.
2
Suppose -15*d + 10 = -10*d. Solve -d*f = f + 6 for f.
-2
Suppose 3*r = 3*w, 2*w = -r - 5 - 4. Let c = w - -3. Let x(s) = s**3 + 4*s**2 - 6*s + 1. Let v be x(-5). Solve c = -3*u - 0 + v for u.
2
Let x = -96 - -99. Suppose -j = -f, 0*j - 2*j + 2 = 0. Let r be f/(-3) - (-16)/3. Solve 0 = x*h + 2*h - r for h.
1
Let d = 4 + -4. Suppose d = -3*h - 9 + 24. Solve h*o + 1 + 14 = 0 for o.
-3
Suppose 5*g = 3*u + 5 + 19, 3 = -3*g - 4*u. Solve 3*r + 15 = g for r.
-4
Let w(d) = 2*d**2 + 2*d + 3. Suppose -4*i + v = 8, 2*i + 0 = -v - 4. Let z be w(i). Solve -5*a + z = -18 for a.
5
Let f(b) = -b**3 + 10*b**2 - 8*b - 5. Let i be f(9). Let y(a) = a**3 - 3*a**2 - 3*a - 2. Let v be y(i). Solve v*x = 6*x for x.
0
Let z(m) = 3*m - 2. Let b be z(6). Let p be (b/10)/((-2)/(-5)). Solve p*h - 2*h = 6 for h.
3
Suppose 3*w + 3 = -2*c - c, 2*w - 33 = 5*c. Suppose -11 = -4*j - 3. Suppose -3*i - j = -w*i. Solve i*r = -r for r.
0
Let f = 2 - 2. Suppose 0 = 5*c - 4*z - 36, 0 = c - f*z + 5*z + 16. Let d(s) = -2*s - 4. Let b be d(-2). Solve b = -0*l + c*l - 4 for l.
1
Suppose -q + 3 = 2*q. Let z(x) = x + 6. Let h be z(-4). Suppose -h*v = -m - 2, -5*v + 2*m + 3 = -4. Solve v = -2*g - q for g.
-2
Suppose 0 = -4*n + r, -4*r = -n + 2*n. Solve -3*p - 2*p = n for p.
0
Let t(o) = 5*o - 10. Let k be t(7). Solve 0 = -5*x - k + 5 for x.
-4
Suppose -4*f + f = 0. Solve f = 3*t - 5 + 14 for t.
-3
Suppose 5*u - u - 8 = 0. Let n be (-50)/(-4) + 2/4. Solve n = -u*h + 3 for h.
-5
Let g(i) = i**2 - 4*i - 7. Let c be g(6). Let q(x) be the second derivative of 5*x**3/6 - 4*x**2 + 2*x. Let a be q(6). Solve 3 = -c*l - a for l.
-5
Suppose 0 = -0*m - m + 2. Suppose -2*d - m = -8. Suppose -d*i + 49 = 2*h - 4, -4*i - 5*h + 66 = 0. Solve -3*t + 7 = i for t.
-4
Suppose -k - 10 = -2*w, -2*w + 10 = 2*w + 3*k. Suppose 5*v + u - 1 = 4*u, 4 = -v + 2*u. Suppose v*b = b + 3. Solve -w = -b*o + 8 for o.
4
Let u(q) = -5*q**2 + 13*q + 7. Let w(s) = 4*s**2 - 12*s - 6. Let h(r) = -3*u(r) - 4*w(r). Let t be h(9). Solve 0 = -t*i - 0*i + 12 for i.
4
Let j be 2*(-3)/24*-52. Let q be 2/13 + 219/j. Solve q = 3*p + 5 for p.
4
Let u(s) = -47*s + 4. Let f be u(-3). Let g be 6/(-27) + f/45. Solve 6*t = g*t for t.
0
Let d(l) = -6*l - 6. Let a be d(-2). Let u be (-1)/4 + 1/4. Suppose -5*v = -2*b + 3*b + 11, -v - 3 = u. Solve b*r - r - a = 0 for r.
2
Let k(w) = w**2 - 6*w + 7. Let t be k(5). Suppose -z + 1 = 2*r, -11 = -4*r + 3*z + 6. Solve 8 = t*u + r for u.
3
Let l(f) = f**2 + f + 3. Let n be l(0). Let w(u) = u**3 - 3*u**2 + 3*u + 3. Let q be w(n). Solve -p - 3*p = q for p.
-3
Let v(r) = -6*r**2 - 7*r - 1. Let w(t) = -7*t**2 - 7*t. Let o(p) = 6*v(p) - 5*w(p). Let i be (-2)/(-4) + 11/(-2). Let y be o(i). Solve -b = -2*b - y for b.
-4
Let s(b) = -b + 10. Let r be s(7). Suppose 12 = -2*k + 4*o, -3*o + r = -k - 8. Solve 0 = 2*g + 4 + k for g.
-4
Suppose 4*g + 1 = 17. Suppose 0 = -w - 2 + g. Let l be 1/4 - w/8. Solve l = -j - 2 + 3 for j.
1
Suppose -3*j = -7 - 11. Suppose j*f = 3*f + 6. Suppose 3*h - u = 2, -3*h = -f*u - 2 - 2. Solve h*r = -3*r + 15 for r.
5
Suppose 3*i + 4*o = i - 22, 5*o = 3*i + 22. Let q = 16 + -10. Let s be (q/i - 0)*-6. Solve -s*w = -10 - 6 for w.
4
Let q be (-48)/(-10) - (-23)/115. Solve 0*h + q*h = 0 for h.
0
Suppose -50*p + 48*p + 10 = 0. Solve 0 = p*x - 5 - 20 for x.
5
Let u(s) = -5*s**3 + 2*s**2 - 1. Let v be (-2)/8 - 66/(-8). Suppose k + y - v = 5*k, 0 = -2*k + 2*y - 10. Let m be u(k). Solve -m + 2 = 4*q for q.
-1
Suppose -3*z + 5 - 59 = 0. Let u = z + 25. Let r = u - 4. Solve -2*p - 1 = -r*p for p.
1
Let n be -2 - 2/(-4)*14. Suppose -n*d = 5*i - 35, -d + 3*i + 5 - 18 = 0. Solve -12 + 4 = d*j for j.
-4
Let m = 4 + -5. Let n = m - -4. Solve -20 = n*i - 5 for i.
-5
Let t = -12 - -4. Let q(r) = -r - 5. Let o be q(t). Suppose -s = o*s - 12. Solve -z + 4*z = s for z.
1
Suppose 0*t + 5*t = 30. Let z(v) = v - 4. Let a be z(t). Solve 2*x + a = -0*x for x.
-1
Let f be (-19)/(-5) + (-12)/(-60). Solve 0 = -5*t - 19 + f for t.
-3
Suppose -2*p = -3*p. Suppose -50 = -6*d - 4*d. Solve -2*z + 3 - d = p for z.
-1
Let o(w) = w**2 - 3*w. Let c be o(3). Let f = c + 3. Let v be (-2)/(-4) + (-1)/(-2). Solve -f*q - v - 2 = 0 for q.
-1
Let k be 6/2 + (-2 - 0). Suppose -4*y = 5*w + 5, -4*y - 19 = w - 2. Solve k + w = -u for u.
-4
Suppose 10 - 52 = -3*b. Suppose 2*h - b = -2*i, 2*i = 3*h - 9 - 2. Suppose 0 = -3*t - 5*l + 14, -3*l - 20 = l. Solve -2*u = -h + t for u.
-4
Let v be (-5)/((-21)/6 + 3). Suppose 5*p - 4*c = 2 + 27, 5*c = -3*p + v. Let y(b) = -b**3 - b**2 - b - 1. Let a be y(-2). Solve 5*z - p = a for z.
2
Let c = -22 - -32. Let n = -6 + c. Let j(l) = -11*l - 2. Let i be j(-3). Solve 11 = -n*m + i for m.
5
Let o = -50 + 53. Solve -l + 0 = o for l.
-3
Suppose -4*f + n = -13, -2*f = -n - 3*n - 10. Suppose 3*w - 5*v = 17, -w = -4*w - f*v + 9. Solve 1 = -5*t - w for t.
-1
Let d(n) = -n. Let x be d(-6). Let m = x - 0. Suppose -5*h = -j + 7 + m, -3*j = h - 39. Solve -4*k - 1 = -j for k.
3
Let i be -4 - (-1)/(3/12). Suppose 0 = -3*m + 4*m - 3. Suppose 2*r 