3 + 0))/1. Suppose 0 = 3*j - 8 + x. Solve 3 = j*y + y for y.
1
Suppose -2*u + 3*u = 0. Suppose l + u = -2. Let j be (-2)/l - (-6 - -2). Solve -t + j*t = 8 for t.
2
Let n be (-21)/28 + 3/4. Suppose -3*c + 51 = 3*m - 0*c, n = 2*m + c - 31. Solve 5*b = -1 - m for b.
-3
Suppose -21*d + 8 = -19*d. Solve 1 = d*p + 5 for p.
-1
Let y(l) = -l**3 + l**2 + 2*l + 1. Let i be y(3). Let f = -6 - i. Solve -28 = f*s - 8 for s.
-4
Let d(l) = -l**2 + 5*l - 3. Let p be d(4). Suppose 0 = 3*v - 5 - 10. Suppose 0 = -j - 4*c + 8 + 2, -2*j = v*c - 14. Solve -j - p = -k for k.
3
Let w(u) = -5*u**3 + u + 2*u**3 + 4 + 2*u + u**2. Let j(o) = 4*o**3 - 3*o - 4. Let m(d) = -2*j(d) - 3*w(d). Let b be m(4). Solve b + 9 = -3*g for g.
-3
Let c = -57 - -60. Solve -m + c = -0 for m.
3
Let u be 3*-1*(0 + 1). Let z = u - -5. Suppose 3*n = 4*s + 8 - 22, 4 = -3*n + z*s. Solve 0 = -l + n*l + 5 for l.
-5
Let z(l) = -4*l + 1. Let p be z(-1). Suppose 0 = 2*g + p*b - 9, 0*b - 13 = -5*g - 3*b. Solve 5*i - g*i = 0 for i.
0
Let f = 1 + 25. Solve 5*z - f + 1 = 0 for z.
5
Let p be (2/(-4))/(3/18). Let l be ((-2)/p)/(4/30). Solve -4*a + l = 17 for a.
-3
Let y be (-15)/10*-2*1. Let d be -5*(4/(-1) + y). Solve f - 6*f = -d for f.
1
Let v = -2 - -5. Suppose -4*p + v = -3*p. Suppose 4*r - 5*s = 3 + 2, 0 = -p*r + 5*s. Solve w - 2*w - r = 0 for w.
-5
Suppose -7*a = 4*m - 3*a - 76, -4*m = -a - 76. Let u = m - 7. Suppose o = -2*o + 5*h - 4, -h = 5*o - u. Solve 3 = -o*x + 13 for x.
5
Suppose 0 = 2*b + 2*b, -4*j - 2*b = 0. Suppose j*t = -3*t + 12. Suppose -10 + 46 = 3*k. Solve -t*x + x + k = 0 for x.
4
Let p be ((-1)/1)/(2/(-16)). Suppose 2 - p = -a. Solve a*b = b + 25 for b.
5
Let r(y) = -y + 2. Let a(b) = b + 7. Let z be a(-5). Let u be r(z). Suppose 2*o + u*o = 0. Solve o = 5*n - 12 + 2 for n.
2
Let n(p) = -2*p + 8. Let q be n(4). Suppose q = -3*z + 8*z. Solve 2*r = -4 - z for r.
-2
Let s be (2*1)/((-4)/2). Let m be 3 + 0 + (-2)/s. Let f = 16 - m. Solve f = -4*w - 5 for w.
-4
Let i(r) = r - 4. Let y be i(6). Let g = 5 - y. Suppose 0 = 4*s + g*w - 45, -4*w + 24 + 8 = 3*s. Solve -s = -0*x + 4*x for x.
-3
Suppose -2*w + 9 = -31. Let z = w - 18. Solve -7 = -5*y - z for y.
1
Let a be (11/4)/(6/(-24)). Let s be 2/a + (-128)/22. Let i be ((-4)/(-10))/(s/(-60)). Solve 15 = -i*h + h for h.
-5
Suppose 4 + 0 = 2*v. Let d be ((-28)/8)/(v/8). Let s be (-80)/d - (-2)/7. Solve -2*x - x = -s for x.
2
Let h(p) = -3*p - 2. Let v be h(5). Let j = v - -22. Solve 7 = 4*s - j for s.
3
Suppose 0*b - 3*o + 14 = b, 0 = -b - 4*o + 18. Suppose -b*x - 1 + 9 = 0. Suppose x*v - 7 = 5. Solve -2*d + 2 = -v*d for d.
-2
Let s = 17 - 2. Solve 0 = 5*r - 0*r - s for r.
3
Let p(w) be the second derivative of w**4/6 - w**3/2 - 2*w**2 - 5*w. Suppose c + 6 = 3*c. Let j be p(c). Solve r = j*r + 20 for r.
-5
Let m(x) = -x**3 + 6*x**2 + 15*x + 8. Let u be (28/35)/(1/10). Let j be m(u). Let l(o) = o**3 + 7*o**2 + 5*o - 3. Let i be l(-6). Solve j*g + i = g for g.
3
Suppose -77 = -8*s - 5. Let l be 1/1*(4 - 1). Suppose 4*a - t - 2*t = 7, -l*a + 5*t - 3 = 0. Solve -a*v + s = -v for v.
3
Let h be (1 + 0)*2*4. Let f = h + -6. Solve 0 = -f*o - 1 - 1 for o.
-1
Suppose 2*c - 10 + 2 = 0. Suppose 15 = d + c*d. Solve d + 5 = 4*p for p.
2
Let a(w) = w - 12. Let y be a(10). Let m be (-1)/y + 4/(-8). Solve m = -v + 4 + 1 for v.
5
Suppose 0 = 2*w - 3*g - 3 - 51, g = 2*w - 54. Suppose -w = -4*l + l. Solve 2*y - l = -1 for y.
4
Let b be (-10)/(-4) - (-3)/2. Let s = 7 - b. Solve 4*h + 23 = s for h.
-5
Suppose 4 - 13 = 3*l + 3*n, -5*l + 5*n + 15 = 0. Solve -2*s + l*s - 4 = 0 for s.
-2
Let k = -28 - -27. Let t be 3*1 - (-1)/k. Solve 0 = -t*q - 3*q for q.
0
Let u be (0 - (-3 + 3))/2. Suppose u = -2*q + 6. Solve q*b + 3 - 6 = 0 for b.
1
Let p = 26 + 2. Let b = -13 + p. Solve -4*v + 5 = -b for v.
5
Let v be (-27)/(-6)*(0 + 2). Let q be 2/(3 - 21/v). Solve 2 = g + q for g.
-1
Let r(a) = -a - 6. Let w(l) = l**3 + l - 11. Let t be w(0). Let x be r(t). Solve 1 - 11 = -x*u for u.
2
Let l be 1 - 1 - (-20)/5. Solve -l*d - 6 + 14 = 0 for d.
2
Let u(a) = -a**2 - 2 + 5 - 4 + 0. Let m be u(1). Let l(z) = -z + 1. Let p be l(m). Solve p*g + 0*g = -12 for g.
-4
Let q(j) = -j. Let y be q(3). Let t = -3 - y. Suppose -3*b + b - 4 = 4*p, -8 = -2*b + 2*p. Solve -b*w + t = -2 for w.
1
Suppose -12 = -2*p + 4*a, 21 - 3 = 3*p + 2*a. Suppose 0 = 2*x - p*x. Solve 0 = -x*z + z for z.
0
Suppose 0*j = 4*j + 3*p - 14, 5*j + p = 23. Solve -j = -i - 0 for i.
5
Let y(c) = -2*c - 8. Let v be y(-6). Let d(u) = -u**2 + 7*u - 6. Let p be d(v). Let b(z) = z + 15. Let k be b(-3). Solve 2*g + k = p*g for g.
3
Let f = 127 + -178. Let l = f - -36. Let q be (-6)/l - (-6)/(-15). Solve 0*j + 3*j + 15 = q for j.
-5
Let t = 8 - 5. Solve 2*x - 15 = -t*x for x.
3
Suppose 2*z + 3*o + 10 = 0, 0 = 4*z + 3*o - 1 + 15. Let u = z - -9. Solve 1 = -2*r - u for r.
-4
Suppose d - 5*w = -16, -5*w = -4*d - d. Suppose 3*x = -15, 0 = 5*k - k + 4*x + 24. Let r = k - -1. Solve b + b + d = r for b.
-2
Suppose -o - 3 = -2*o. Suppose r - 6 - o = 0. Solve 5*l - 1 = r for l.
2
Let l(s) = -s**3 - 5*s**2 - 5*s. Let g be l(-4). Suppose -36 = -g*d + 3*f, 2*d = 4*d + 3*f. Let t = d - 4. Solve -3*u + 3 = -t*u for u.
3
Let t(z) = z**2 - z + 3. Let l be t(4). Suppose 0 = 4*d - d - 2*f + 2, d - 10 = -2*f. Suppose 0 = u - d*u + 2. Solve -u*q - l = q for q.
-5
Let s = 18 + -18. Solve 2*a = -s*a for a.
0
Suppose 2*o + 0*o = 5*y - 7, 0 = -y - 5*o + 23. Solve -y*g = 2*g for g.
0
Let f(h) = h**3 - 4*h**2 - 5*h + 3. Let o be f(5). Let t(r) = 2 - 5 + 1 - o - r. Let s be t(-7). Solve 0 = 3*p - s - 4 for p.
2
Suppose 2*z + 2*z - 4 = 0. Solve 0*d = d - z for d.
1
Let b = -35 - 1. Let p(k) = 16*k - 2. Let i be p(2). Let x be (b/i)/((-6)/20). Solve 3 = x*h - 13 for h.
4
Let r(j) = j**2 + 7*j + 12. Let m be r(-5). Solve -m = -i + 2 for i.
4
Let v(b) = 2*b**2 + 2*b - 2. Let m be v(-2). Solve -m*a = 3*a for a.
0
Let m(d) = -d - 3*d**2 + d**3 + 12*d**2 + 1 - 2*d**2. Let t be m(-5). Let k be (t/(-12))/(4/(-6)). Solve -2*n + 3 = -k for n.
5
Suppose -2*w + 4*w = 0. Suppose -c - 1 + 7 = 0. Solve w*y - 3*y = -c for y.
2
Suppose 4*z - 35 = -3. Suppose 3*y - z = y. Suppose 1 = -f - 0*l - y*l, -3*f + 4*l = -29. Solve -k - f = -2 for k.
-5
Let k(o) = o**3 + 8*o**2 + 5*o - 6. Let b be k(-7). Let r = b + -3. Suppose -d + 8*a + 15 = 3*a, -6 = r*d + 2*a. Solve d = -3*u + 8 + 1 for u.
3
Let f = -24 + 24. Solve -1 = -f*b + b for b.
-1
Let s(n) = n**3 + 9*n**2 - n - 6. Let r be s(-9). Suppose 0*k - o = -r*k + 16, 4*o = -2*k + 6. Solve -k*c = -9*c - 12 for c.
-3
Suppose -3*t = 2 - 14. Solve -22 = t*n - 2 for n.
-5
Let k(q) = q**3 + 9*q**2 - q - 5. Let h be k(-9). Let r = -1 + h. Let y = -2 + 3. Solve -r = 4*l + y for l.
-1
Let s = -17 + 28. Suppose -s = -4*x + b, 0*x - 16 = -2*x + 4*b. Solve 2*a - 8 = -x*a for a.
2
Suppose 3*w - 3*j - 9 = 0, 2*j = -3*w + 3*j + 3. Suppose x - 2 = -w*x. Solve -x*h + 3 - 7 = 0 for h.
-2
Let x be (-3)/(-2)*12/9. Let h(g) = 2*g**3 + 0*g + 2*g + 0*g**3 - 2*g**2 - 3. Let l be h(x). Solve 3*d = -0*d + l for d.
3
Let j(r) = -r**3 - 4*r**2 + 2. Let q be j(-4). Let m be 5 + -5 - 2*q. Let v be 6/m - (-10)/4. Solve h + 0 = -v for h.
-1
Suppose -4 + 17 = 3*r + h, r + 5 = -5*h. Suppose 2*g + 5*n + 4 = -r, 3*n + 9 = 0. Solve -g*i + 16 = -7*i for i.
-4
Let t be 3/(0 + (-2 - -3)). Solve m = t*m for m.
0
Suppose 3*f + 4*v - 2 = 0, 0 = -f - 0*v - v + 1. Solve 3 = -i + f for i.
-1
Let b(a) = a**3 - 2*a**2 - 2*a - 2. Let p be b(3). Let i be -1 + 3 + 2*(-21)/(-6). Solve -2*r - i = p for r.
-5
Let t = -3 + 5. Suppose 6*k = 11*k - 45. Solve -d = t*d - k for d.
3
Let i be (-1)/(-1*1/20). Let t be ((-18)/12)/((-6)/i). Solve -p + t*p = 0 for p.
0
Suppose 5*r = -5*l - 35, 6*r - 2*l - 4 = 3*r. Let p be 2 - ((-3 - r) + -1). Solve p*i - 3 = 1 for i.
1
Let r = -40 + 29. Let s = r + 14. Solve -s + 1 = 2*t for t.
-1
Suppose 2*u - 6*u = -i, 0 = -5*i + 20. Let x(f) = -1. Let n(c) = -c. Let l(g) = n(g) - 3*x(g). Let a be l(0). Solve a*h = -4 + u for h.
-1
Suppose 2*x - 5*n = -0*x + 27, -5*x + 3*n = -39. Solve t - x = -2*t for t.
2
Let o be (-2)/(2/3*-3). Let h be 4 - o - (0 - 0). Solve -h*g + 4 = 16 for g.
-4
Let k(o) = o**2 + 4*o. Let n be k(-4). Let g(z) be the second derivative of z**5/20 - z**4/12 + z**3/6 + 2*z**2 - z. Let m be g(n). Solve -6 = -6*p + m*p for p.
3
Suppose