 t = -1 - v. Solve 3*d + 1 = -t for d.
-1
Let x = -8 - -8. Let i(d) = 2*d**2 - 7*d. Let t = 8 - 3. Let o be i(t). Solve 0 = 3*l - x*l + o for l.
-5
Let u be 5 - (0 + 1/1). Suppose 3 = h, -2*g - 2*g = -4*h + u. Solve 3*l = -g*l + 5 for l.
1
Suppose -2*u - 5*g - 1 = 0, 6 + 1 = 3*u - g. Suppose u*l - 3*l = 0. Solve l = 4*q - 8 for q.
2
Let k(u) = 3*u**2 + 2*u - 1. Let p be k(1). Suppose 0 = -0*n - p*n + 28. Solve -n*s + 25 = -2*s for s.
5
Let y(x) = x**2 + 2. Let a be y(0). Suppose 3*t = -2 - 4. Let q be -1*-4*(-1)/t. Solve 0 = -o + a*o + q for o.
-2
Let r(y) = -2*y**2 - 23*y + 14. Let t be r(-12). Solve -h - t = 3 for h.
-5
Let s be 5 + 2 + -2 + -2. Suppose -s*w = -2*w. Let k be (6/4)/(4/8). Solve k = b - w for b.
3
Suppose b + 3*s - 3 + 13 = 0, -4*b = -4*s - 24. Let i = b - 0. Solve 0*v = -i*v for v.
0
Let p = 15 - 15. Solve 2*b + p = -8 for b.
-4
Suppose 18 = 3*f - 3*a, 0 = -4*f - 0*f - 4*a. Let i be (-6)/(-21) + (-229)/(-7). Suppose 0 = u + 1, 4*d = -0*d + u + i. Solve d = f*o - 1 for o.
3
Let n(m) = 2*m**2 + 40*m + 2. Let u be n(-20). Solve -u = -3*a + 4*a for a.
-2
Suppose -3*w + 16 + 14 = -3*o, -2*o - 26 = -5*w. Let p = o + 11. Let j be (-4)/p*27/(-6). Solve y = j*y for y.
0
Let z = -8 - -23. Solve 0*j = -3*j - z for j.
-5
Let v = -18 - -26. Solve 4*g + 24 = v for g.
-4
Suppose -4*a + 5*h = 6*h - 16, 3*a + 11 = 5*h. Solve -x = -a*x + 6 for x.
3
Let g be 1*(0 + 4 + 1). Suppose 3*d - 1 = g*z, -4*z = -d + 2*d - 6. Let m be (-1)/d + 44/8. Solve 0*x = -x - m for x.
-5
Let s(p) = -p + 1. Let k be s(0). Let x(a) be the second derivative of a**4/4 + a**2/2 + a. Let c be x(k). Solve -c = -3*d - 10 for d.
-2
Let l = 85 + -80. Solve -4 - 6 = l*x for x.
-2
Let p be ((-12)/10)/(6/(-40)). Solve -10*z = -p*z for z.
0
Suppose l - 4*x + 2*x = -1, -8 = -4*l + 2*x. Solve l*a - 1 = -13 for a.
-4
Let r = -5 + 8. Suppose -s + d = -5, -r*s - 3*d - 7 = 2*s. Let x be 0 + (-2)/1 + 5. Solve -x = -f + s for f.
4
Suppose 3*n + u = -3*u + 22, -u + 18 = 2*n. Suppose -x = 2*b - 3*x, -20 = -5*x. Solve -c - b*c = -n for c.
2
Let l(w) = w**3 + 17*w**2 + 19*w + 51. Let j be l(-16). Solve j*a = 5*a - 4 for a.
2
Let d be (3 - 1) + 10 + -4. Let y be ((-8)/(-10))/(d/20). Solve -y*m - 6 = -4 for m.
-1
Let i = -31 - -36. Solve 0 = -f - i + 3 for f.
-2
Suppose 2*i = i - 5*r + 4, -2*i + 8 = -3*r. Solve 2*t + i = t for t.
-4
Let q(g) = -g**3 - 12*g**2 + 14*g + 20. Let w be q(-13). Suppose -1 - 2 = -x. Suppose 1 + 2 = x*z. Solve -2*k + w = -z for k.
4
Let d = -3 - -6. Suppose 3*y = 7*y - 4. Let w = -1 + y. Solve w = d*i + i for i.
0
Suppose 0 = 5*u - 3 - 7. Suppose 0 = -u*d + 3*d - 3. Solve -d = -4*x + x for x.
1
Let c be (-2)/(-5) - (-14)/(-35). Solve 0*x + x = c for x.
0
Let n = 24 + -28. Let p(s) = s**3 + 9. Let g be p(0). Let u = g + n. Solve 0 = -2*m + 7*m - u for m.
1
Suppose -4*o + 20 = 4. Solve 3*b = 4*b - o for b.
4
Let i = -135 - -147. Solve i = 5*f - f for f.
3
Suppose 10 = -2*t + 26. Let d = t + -8. Solve -5*r = -d*r - 25 for r.
5
Let h be (-18)/(-15)*(-35)/(-2). Let m be 2/2*(h + 5). Solve -4*i = 6 - m for i.
5
Let z be 94/18 - 8/36. Suppose -3*j = -4*b + 8, -3*j = 2*b - 4*j - 2. Let f = b + z. Solve 2*r = f*r + 2 for r.
-1
Let n(g) = -g**3 + g + 2. Let b be n(0). Let f be 2 + b + 0 + 2. Solve -x + f = x for x.
3
Let i(v) be the first derivative of v**4/4 - 4*v**3/3 - 2*v**2 + v + 2. Let x be i(5). Let z = 8 - x. Solve z*u + u = -12 for u.
-4
Let q = 44 - 29. Let n be (-4)/10 + 6/q. Solve r - 2 = -n for r.
2
Let t be (1*-2)/(4/(-6)). Suppose s = -t*s. Suppose s = -5*d + 1 + 14. Solve -d*w - w = -8 for w.
2
Suppose 0 = 2*l - 2 - 6. Suppose -j - 2*b = -0*b + 2, l = 3*j + b. Solve -j*p = -2 + 8 for p.
-3
Suppose -2*y = -12 - 0. Let t(z) = z**2 - 10*z + 11. Let r be t(9). Solve -r*d = d - y for d.
2
Let l be ((-12)/14)/((-2)/14). Let c be ((-3)/l*0)/(-1). Let m be 0*(c + 2/(-2)). Solve m = a + 4*a + 15 for a.
-3
Let p = -2 - -4. Suppose -8 = g + 4*r + 2, r + p = 0. Let a = g - -4. Solve -3 = -5*u + a for u.
1
Let m(s) = -s + 11. Let o be m(10). Solve 5*l + o = -9 for l.
-2
Let w be 7/1 - 64/16. Solve 4*p + w = -1 for p.
-1
Suppose s = 5*g - 11, 0 = -g - s + 1. Suppose -r - a + 11 = 0, 0 = -g*r - a + 11 + 9. Solve -4*h = -r*h + 10 for h.
2
Let a be 23/(-7) - (-4)/14. Let o be a/18 + (-38)/(-12). Solve -o*b + 8*b = 20 for b.
4
Suppose x - 4*h = 24, -2*h = 5*x - 13 + 3. Suppose t - 4 = -w, t - 3*t - 4*w + 2 = 0. Solve -x*d + 1 + t = 0 for d.
2
Suppose r - 28 = 5*h, -3*h - 27 = -8*r + 4*r. Suppose 0 = -2*p + r*p - s + 3, 5*s = 4*p + 14. Let k = 1 - p. Solve -6*a + k*a = 0 for a.
0
Let w(g) = g**3 - 11*g**2 + 2*g - 13. Let b be w(11). Solve 0*t = -3*t - b for t.
-3
Suppose 0 = x - 2*x + 5*z - 19, -13 = -5*x - 2*z. Let v be (x/(-2))/(2/(-12)). Solve -a - v*a = 16 for a.
-4
Let o(y) = -y + 4. Suppose -5*s = -j - 13, s + 4*j = -s + 14. Let n be o(s). Solve -n = 2*x + 5 for x.
-3
Let u(l) = -l**2 - 6*l - 6. Let w be u(-4). Let h(t) = 14*t + 12. Let a(i) = 5*i + 4. Let p(r) = 8*a(r) - 3*h(r). Let g be p(-3). Solve -g*n + 0*n = -w for n.
1
Suppose 4 = 11*c - 10*c. Suppose 0 = 3*j - 8*j - 4*a, c*j = 5*a. Solve -12 = -3*b - j for b.
4
Suppose -3*a + 10 = 4. Suppose 0 = -5*z - 4*s + 33, 0*s - 16 = -4*z + a*s. Solve 0 = z*h - h - 12 for h.
3
Suppose -5*z - 5*o = -2*z + 10, -3*o - 20 = -z. Solve -z*h - 35 + 10 = 0 for h.
-5
Let p(b) = -b**3 - 7*b**2 + 4*b - 10. Let q be p(-8). Suppose -3*m + 4*h = -25, -h = -5*m - 3 + q. Solve 3*k + m + 3 = 0 for k.
-2
Suppose -22 = -k - 3*r, -k + 3*r = 3*k - 58. Solve -c - k = 3*c for c.
-4
Let n = -8 + 2. Let t = 10 + n. Suppose -t*x - 6 = -7*x. Solve -d = x*d + 9 for d.
-3
Let k = 13 + -16. Let b be (-8)/(-2) + 0/k. Solve 9*d - 5 = b*d for d.
1
Suppose -u + 8 = u. Let k be ((-7)/(-2))/(2/u). Suppose -3 + k = s. Solve 0*f - 4*f + s = 0 for f.
1
Let k = -7 + 8. Solve -3*c = -k - 2 for c.
1
Let i = 19 + -17. Solve -o = -i*o + 4 for o.
4
Let t = 10 - 6. Suppose 0 = 5*c - 4*h + 2 - 23, -t*c - 2*h = -22. Solve 1 = c*s + 16 for s.
-3
Let t = 43 - 43. Solve 2*n - 5 + 1 = t for n.
2
Let m be 62/14 - (-4)/7. Solve -5*y + m = -0 for y.
1
Suppose 361*v - 4 = 359*v. Let y(s) = -s**2 + 5. Let a be y(0). Suppose 6*i = i + a. Solve i = -3*t - v for t.
-1
Let f be ((-8)/(-6))/((-2)/9). Let i be 2/f + (-6)/(-18). Suppose -4*j + 8 + i = 0. Solve 3*k - 1 = j for k.
1
Let u be (-2 + 7)/((-10)/(-4)). Solve -u*o - o = 0 for o.
0
Let f = -26 - 20. Let m be (-1)/2 - f/(-4). Let p = -6 - m. Solve -2*w - w = p for w.
-2
Let a = 48 - 31. Let y = -12 + a. Suppose -y*z = -3 - 7. Solve 0 = -3*f - z - 7 for f.
-3
Let p = -4 - -12. Let b = -30 + 40. Let n = b - p. Solve -n*j + j = -4 for j.
4
Let w be (-6)/(-9) - 4/(-3). Suppose 0 = 3*s - 5 - 4. Let x = s + w. Solve x*p - 11 = -31 for p.
-4
Suppose -4*d + d - 30 = -2*t, 0 = 4*d - t + 35. Let w be -3*(-4)/d*-2. Solve b = w*b + 10 for b.
-5
Let w(t) = t**3 - 10*t + 7. Let m be w(3). Suppose 5*f = -0*f + 20. Solve 8 + f = -m*x for x.
-3
Let x(c) = c - 7. Let g(a) = a - 8. Let d(o) = -5*g(o) + 6*x(o). Let n be d(4). Let u = 0 + n. Solve j + 1 = u for j.
1
Let x = -14 + 11. Let u = x - -19. Solve 0 = h + 3*h + u for h.
-4
Let v = 20 + -11. Let n be (-2)/(3/v*-2). Suppose 0 = -i - d + 7, -2*d - 26 = -n*i. Solve -2*u = 2 + i for u.
-5
Suppose -d + 10 = -2. Let h = 1 + 1. Solve 0 = -h*r - r + d for r.
4
Suppose 2*p - 2*h = 0, -2*p + 3 = 2*h - 1. Suppose -p = -u - 0. Solve -u = 2*g + 3 for g.
-2
Suppose 0 = -3*r - 0*x - 4*x + 7, 5*x = 3*r - 25. Suppose r*a + h - 35 = -4*h, -a + h + 3 = 0. Solve 0*i + 25 = a*i for i.
5
Suppose 5*m - d + 0*d + 240 = 0, 48 = -m + 2*d. Let y be m/(-21) + (-2)/7. Solve -y*g - 2*g = 0 for g.
0
Let q(h) = h**2 + 3*h - 1. Let p be q(-4). Let g be 27/6*4/3. Solve -p*u = g + 9 for u.
-5
Suppose 7*y - 2*y + 9 = 4*d, -3*d + 5 = -2*y. Let o = 2 + y. Let g be o - 1 - 0 - 0. Solve q + 3 = -g for q.
-3
Let w be ((-7)/7)/(3/(-9)). Solve -w = -5*y + 2*y for y.
1
Let g(a) = a**3 - 10*a**2 + 3*a - 20. Let u be g(10). Solve -16 = 6*f - u*f for f.
4
Suppose -2*t + 0 = -l + 7, 9 = -3*l. Let a(q) = -q - 2. Let h be a(t). Solve 0 = -h*s - 2*s for s.
0
Suppose o + 47 - 199 = 0. Let j be o/28 + (-3)/7. Solve 2*i - j = i for i.
5
Let j be 6/12*22/1. Let c = j - 4. Solve c = o + 2 for o.
5
Suppose 5*c - 4*j = -10, -7*c - 12 = -3*c - 4*j