be y(v). Solve 6 = -d*n - 4 for n.
-2
Let y be 138/(-21) + (-3)/7. Let g = y - -10. Solve -6*v = -g*v + 6 for v.
-2
Suppose 0 = -2*h + 3*t + 4, h + 4*t + 13 = -4*h. Let g be (-1)/1*(-3 - h). Suppose g*d = -3*f + 1, 4*d - 8*d - 3*f + 5 = 0. Solve -2 = 4*j - d*j for j.
-1
Let a(l) = -l**2 - 6*l + 5. Let x be a(-6). Solve x*o - 6 + 21 = 0 for o.
-3
Let p = 8 + -33. Let a = -17 - p. Let m = a - 6. Solve 4*u + m + 6 = 0 for u.
-2
Suppose 4*j + 10 = 2*m, -m - 4*j = -2*m + 7. Suppose 0*l - 14 = -m*l - p, 5*l + p - 20 = 0. Solve -2 + l = -d for d.
-1
Let g(z) = 2*z**2 + 25*z + 15. Let j be g(-12). Solve -20 = -j*x - x for x.
5
Suppose -5*p + p = -2*p. Solve -2*j + 5*j + 15 = p for j.
-5
Let g be (-8)/44 + 35/11. Solve x - 2 + g = 0 for x.
-1
Let l = 5 - -27. Suppose g + 8 = m, -l = -2*m - 3*m + 3*g. Solve m*q = 2*q + 2 for q.
1
Let l = 12 + -8. Suppose -2*c = -4 + 2. Suppose -4*i - 4 = -4*x, 2*x + 3 = -4*i - c. Solve x = r - l*r - 6 for r.
-2
Let k = 3 - -3. Solve 0 = k*t - t + 25 for t.
-5
Let x be 2/(-2*2/18). Suppose -3*h + 126 = 3*a, 3*a - 5*a + 99 = -3*h. Let l be 125/a + (-2)/x. Solve -l*n + 0 + 3 = 0 for n.
1
Suppose -h - 3 + 4 = 0. Let k = -1 + h. Let s(v) = 2*v**2. Let d be s(1). Solve -2*n - d + 10 = k for n.
4
Let a be (-1)/(-3 - (1 - 3)). Let o(x) = 0*x - 5 + 4*x - 3*x. Let u be o(7). Solve -a = -i + u*i for i.
-1
Let l(z) = z**3 + 7*z**2 - 8*z. Let x be l(-8). Suppose 3*j - 3 - 3 = x. Solve -2*s = -s + j for s.
-2
Suppose -m - 3*r + 5 = 0, -2*m - 5 = -m - 2*r. Let n be 2 + -1 + (-2)/m. Solve -25 = -n*j - 10 for j.
5
Suppose 2*a + 7*a - 18 = 0. Solve 4*c - a*c = 0 for c.
0
Suppose -3*y - 2*y = -20. Suppose y*k = 5*k - 4. Solve -5*n = k + 1 for n.
-1
Let z(l) = l**3 + l**2 + 4. Let g be z(0). Let p be (6/g)/(12/(-16)). Let t = p - -6. Solve r - t*r = 12 for r.
-4
Let o(w) = -w**3 - 8*w**2 - 2*w - 1. Let z be o(-8). Let n be (-2)/(-6) + (-7)/21. Solve -3*c + z + 0 = n for c.
5
Let h be 2/7 - 10/(-14). Let s = 0 + h. Let w be 3/((2 - 2) + s). Solve w*x = 7*x - 4 for x.
1
Let f = 28 - 23. Solve -f*t + 2*t - 12 = 0 for t.
-4
Let t = -7 + 11. Suppose 0 = -0*r - t*r. Solve r = -2*u + 2 + 8 for u.
5
Suppose -60 = 2*k + 3*k. Let h be (-2)/k - (-65)/6. Let v = 16 - h. Solve v*o + 0 = 10 for o.
2
Let j be (-52)/(-6)*3 - 2. Suppose -2*w = w - j. Suppose -4*c + w + 5 = 3*t, c = -t + 5. Solve 5*o - t = -2 for o.
1
Let q be 10/(-15) - (-62)/3. Solve -7*t + 2*t + q = 0 for t.
4
Suppose -16 = -t - 3*t. Let g = -7 + 11. Suppose 5*m - 3*d - 27 = 0, 4*m - 1 + 5 = -g*d. Solve -t*o + 7 = m for o.
1
Let z(o) = 3*o. Let i be z(1). Let b be 4/(-8)*(1 - i). Suppose -a = b - 4. Solve 0 = -a*y + 6 + 3 for y.
3
Let h(g) = -2*g**3 - 27*g**2 - 5*g + 3. Let c(s) = s**3 + 13*s**2 + 2*s - 1. Let q(d) = 5*c(d) + 2*h(d). Let p be q(-11). Solve x = p - 3 for x.
-2
Suppose 0 = -2*i + w + 3 + 21, 2*i + w = 24. Suppose i = x + 2*x. Suppose 3*f = -2*n + x*n + 6, -5*n - 15 = 2*f. Solve -3*u + f*u = 15 for u.
-5
Let i(g) = -g**2 - 6*g - 3. Let q be i(-5). Solve 0 = -q*v + 1 + 1 for v.
1
Let r(q) = q**3 + 5*q**2 - 2*q - 6. Suppose 0 = 5*m - 1 + 26. Let n be r(m). Suppose 6*z - 13 + 7 = 0. Solve -f + z = -n for f.
5
Let s(w) = -7*w - 1. Let z be s(-3). Suppose 0 = -3*q - 0*q - 2*n - 50, -4*n = -5*q - 120. Let i be q/(-2)*8/z. Solve i*j + 6 = 2*j for j.
-3
Let t be 2*(14/49 - (-230)/28). Solve 4*n + t = 29 for n.
3
Let n(i) = i**3 + 11*i**2 - 10*i + 25. Let p be n(-12). Solve -3*d - p = -2*d for d.
-1
Let f be 1/(-2)*(0 - 6). Solve 1 = -f*n + 7 for n.
2
Let t = 145 - 140. Solve -4*p = t + 7 for p.
-3
Suppose 4*k - 5*m - 11 = 0, 2*k - 3*m + 8*m = 13. Suppose 0 = -k*l + 5 + 3. Let h(u) = u**3 - 4*u**2 + u + 3. Let f be h(4). Solve -f*o = -l*o - 20 for o.
4
Let d(h) = h - 13. Let s be d(16). Solve s = -4*x - 1 for x.
-1
Suppose -3*k - 2*l + 1 = -0*l, 3 = 5*k + 4*l. Let z(g) = g**2 + 5*g + 3. Let a be z(-3). Let o = k - a. Solve -o*h = h + 3 for h.
-1
Let w be (-1*(-1 - -1))/2. Suppose -10 = -0*m - 2*m. Suppose -m = 2*q + 6*f - f, 0 = -f - 1. Solve q*k - k = w for k.
0
Suppose -5*s - 30 + 5 = 0. Let j = s - -2. Let b be 3 + j + 2 + 2. Solve -b - 4 = 4*f for f.
-2
Let k be (-4)/3 + 8/(-12). Let y = k - -5. Solve 2 = -y*c - 13 for c.
-5
Let v = 4 - 4. Let j = v - -8. Solve 2 = -2*r - j for r.
-5
Suppose 14 = c - 5*v, 6*c = c + 4*v + 7. Let n = c - -5. Solve -j - 9 = -n*j for j.
3
Let p(t) = -t**2 + 3*t + 42. Let f be p(8). Let v be 1*-2*10/(-4). Suppose -f*o + 22 = 2*z, -6 = -4*z - v*o + 34. Solve 0*c = 3*c - z for c.
5
Suppose -2*x = -7*x - 10. Let y be (2 - 0 - 2)/x. Suppose d = -y*d. Solve d = -4*g + 6*g - 2 for g.
1
Let u(c) = -c**2 + 5*c + 2. Let k be u(5). Suppose -2*q = a + 3*q + 8, -q = -k*a + 6. Solve 3*d = a*d for d.
0
Suppose -135*p - 24 = -137*p. Solve 4*d - 28 = -p for d.
4
Let u(b) = -2*b + 1. Let k be (7/7)/(1/(-2)). Let w be u(k). Solve 2*a = a - w for a.
-5
Let w = -8 - -10. Let y(a) = 4*a - 1. Let v be y(w). Let c(p) = -p**3 + 8*p**2 - 6*p - 4. Let n be c(v). Solve 4*l - n*l = -4 for l.
-4
Let v(b) = 2*b**2 - 1. Let y(g) = g**2 - 1. Let p be y(-2). Suppose 3*t + 3 = -p. Let z be v(t). Solve -2*w + z = -3 for w.
5
Let j = -13 + 23. Let h = j - 7. Suppose -h*x = -4*x. Solve x = -m - 4 + 7 for m.
3
Suppose -b + 3*b = 2*l + 14, 4*l + 27 = 3*b. Let g = -4 - l. Suppose z + 2*o = 13, 6*z + 3*o - 42 = g*z. Solve -s + 4*s = z for s.
3
Let g(b) = 3*b**2 + 1. Let y be g(-1). Let s be (9/(-2))/(12/32). Let l = 24 + s. Solve -4*c = l - y for c.
-2
Let b be 3 - ((-16)/12*3 - -7). Solve -3*o - 6 = -b for o.
-2
Let x(t) be the first derivative of 1/2*t**4 - 2/3*t**3 - 2*t - 1/2*t**2 + 2. Let y be x(2). Solve 0*v = y*v + 16 for v.
-4
Let z(u) = 2*u**2 - 2*u - 2. Let y be z(2). Suppose -y*s + 3*s + 5*k = 25, -3*k + 2 = -2*s. Suppose 0 = 5*n - 25, 4*n - 18 = 3*j - j. Solve s*w = 4 + j for w.
1
Let t(x) = -x**3 + 5*x**2 + 8*x - 6. Suppose 2*r + 14 = 5*m - 2*r, 0 = -4*m - 3*r + 36. Let y be t(m). Suppose 4*f + y = 14. Solve -2*l = f + 4 for l.
-3
Suppose -u + 3*u - 20 = 0. Solve o + u = -o for o.
-5
Let x be 22/(-4)*(-2 + 4). Let a = x + 12. Solve -r = -0*r + a for r.
-1
Suppose -3*l + 2*l = 0. Let n = -6 + 11. Solve -n*s + 15 = -l*s for s.
3
Let y be (-7)/(28/(-12)) - 3. Solve 10 = -y*a - 5*a for a.
-2
Suppose 0 = -5*t - 10, c + c - 20 = t. Suppose 13 - c = z. Solve z*w - 8 + 0 = 0 for w.
2
Let f(o) = o**3 + 6*o**2 + 4. Let g be f(-6). Suppose 11 = -s + 3*m, 8 = 3*s + 2*m - 14. Suppose s*j + j - 2*h - 19 = 0, 3*h - 9 = 0. Solve -g - 1 = j*r for r.
-1
Let x = -24 - -37. Suppose 4*j + 36 - x = 5*o, 0 = 4*j + 8. Suppose 3*c + 42 = 5*k, 2*c = -4*k + o*c + 28. Solve -q + 3*q = -k for q.
-3
Let o(z) = z**3 - 6*z**2 - 6*z - 2. Let m be o(7). Suppose -m*y = -32 - 3. Suppose -5*x + 4*l = y, x + 2*x + 2*l = 9. Solve -2*w + 9 = -x for w.
5
Let q = 16 - 12. Let b(g) = -g**2 + 3*g - 2. Let s be b(2). Suppose s*x + 20 = q*x. Solve -f = -0*f + x for f.
-5
Suppose 3*c = 2*m + 3*m + 15, -5*c + 25 = -m. Solve m = -0*w + 5*w + 5 for w.
-1
Let d(l) = 3*l**2 + 2*l - 2. Let r be d(-2). Suppose 0 = -2*o + 4 + 4. Suppose -3*t + o*t = r. Solve w - 4*w = t for w.
-2
Let j be (3 + -2 - -2)/(9/15). Solve j*g - 5 = 4*g for g.
5
Let v(q) = q**2 + 3*q - 1. Let l be v(2). Let o = -6 + l. Solve -1 = -o*m - 7 for m.
-2
Suppose 0*u = -u + 2. Let m = 1 - u. Let t(g) = -g. Let d be t(m). Solve -r + d - 2 = 0 for r.
-1
Suppose -5*z - 15 = 3*q, 0 = -3*q - z - 2*z - 9. Suppose 0 = -5*c - 3*j - 45, 4*c + q*c + 4*j = -36. Let d = 14 + c. Solve -d*t - 6 - 9 = 0 for t.
-3
Let y = 6 + -6. Solve y*t + 2*t + 8 = 0 for t.
-4
Let l(x) = x**2 + 5*x + 6. Let p be l(-4). Let s = p + -2. Solve 4*m - 2*m = s for m.
0
Let l be (-17 + 19)*((-2)/(-4) - -1). Solve 0*a + l*a = 6 for a.
2
Suppose 0*r - r = -1. Let w(a) = -2*a - 3. Let d be w(-3). Let y = 26 - 18. Solve -d*v = -r - y for v.
3
Suppose -r = 3*r - 32. Let x = r - 7. Solve 3 = a - x for a.
4
Suppose a + 1 = 2. Let p be (-1)/(-3) - a/3. Suppose -f - 4 = -3*f + 4*q, -2*f - q = -4. Solve -o - o - f = p for o.
-1
Let y be -1 - (-6)/((-8)/(-4 - 0)). Solve -1 = -y*s + 1 for s.
1
Suppose -5*n = -2*n - 84. Let y = n + -26. Solve 0 = -3*z - y - 1 for z.
-1
Let f = 61 + -59. Solve 6*j - f*j - 20 = 0 for j.
5
Let f be 2/1*(4 - (-6)/(-2)). Solve -f*u - 4 + 0 = 0 for u.
-2
Let d(c) = 2*c**2 - 2*c 