+ o**4/12 - 3*o**3/2 + o**2. Let a be n(g). Solve a*r = 2*r for r.
0
Let s(y) = y**3 - 15*y**2 + 13*y + 19. Let q be s(14). Solve -a + q*a + 8 = 0 for a.
-2
Let v = 16 - 10. Solve 3*k - k = -v for k.
-3
Let j(f) = f + 12. Let z be j(-8). Let l be 111/39 + z/26. Solve q = -l*q - 4 for q.
-1
Suppose b - 6 = -2*b. Solve 3*y - 4*y = -b for y.
2
Suppose 4 = 3*a + 1. Let b be 6 - 0*(-1)/2. Let u be 8 - 2/(4/b). Solve -4*l + a = -u*l for l.
-1
Let w(p) = p**2 + 4*p + 5. Let g be w(-5). Suppose g = -0*j + j. Let r = 16 - j. Solve -k = k - r for k.
3
Let l be (-1 - 0)*(-1 - -1). Solve l = f + f - 4 for f.
2
Let h = 0 - -2. Let s = h + -2. Solve s = -k - 0 + 2 for k.
2
Let d = 102 - 99. Solve 0 = 2*y + 1 + d for y.
-2
Let o(w) = 2*w**3 + 2*w**2 - 1. Let d be o(1). Solve -d*m = 4 - 13 for m.
3
Let l(r) = 3*r - 10. Let o be l(5). Solve -18 + 3 = -o*i for i.
3
Let m be (2/(-3))/(6/(-45)). Suppose 3*w = 5*r + 4*w - m, 3*r = -w + 1. Suppose r*s + 12 = 5*s. Solve -3*i = -s*i - 2 for i.
-2
Suppose x = 5*i - 1, -3*i - 10 = -2*x - 5*i. Let m(j) = 0 + 8 + j + 1 + x. Let n be m(-10). Solve n*b + 2 + 13 = 0 for b.
-5
Suppose -22 = -7*q + 34. Solve q*p - 5*p = 0 for p.
0
Let u(c) = c + 4. Let b be u(-4). Let o be b/((-1)/1 - 1). Suppose 2*f = -f + 6. Solve o = -f*s - s + 15 for s.
5
Suppose 5*f = 18 + 22. Suppose 0 = -3*c - c + f. Let p be -2 - c*(-2 - 0). Solve -p*d + 3*d = -1 for d.
-1
Let z(i) = -i**3 + 7*i**2 + 9*i - 5. Let t be z(8). Let h(j) = -j**2 - 7*j - 1. Let l be h(-5). Solve 3*d + t = l for d.
2
Let b(l) = l**3 + 9*l**2 - 14*l - 29. Let h be b(-10). Solve -3*j + 5 - h = 0 for j.
-2
Let i be 6/(-4)*(-72)/54 - -1. Solve -2*m = -i*m - 1 for m.
-1
Let b = -4 - -11. Solve 5*k + 8 + b = 0 for k.
-3
Suppose 4*j = 4 + 4. Suppose -3*s + 12 = 2*s - 4*l, -3*l = 2*s + 9. Solve s = -3*a + j - 5 for a.
-1
Let h be (20/6)/(2/3). Let g(r) = -r**2 - 8*r + 4. Let y be g(-6). Suppose -x - 5*n = x + y, -5*x - 2*n + 2 = 0. Solve 0 = x*i - 7*i - h for i.
-1
Let o(r) = r**3 + 11*r**2 + 9*r - 13. Let p be o(-10). Let x = p + 3. Solve k + 3 - 6 = x for k.
3
Suppose -38 = -10*g + 12. Solve -3 = -g*j + 2*j for j.
1
Suppose 4*a = -5*u - 24 - 2, 4*a + 20 = -2*u. Let j be 2*6/a + 5. Solve -j = -n - n for n.
1
Let q(c) = -c**2 - 5*c + 2. Let i = -9 - -3. Let o be q(i). Let k be o/(-14) + 66/14. Solve k*z + 11 + 4 = 0 for z.
-3
Let w be -8*((-2)/(-2))/(-2). Let m be -1*(-2 - -1) - 71. Let i = -50 - m. Solve w*z + z = -i for z.
-4
Let o = -2 - -14. Suppose 5*r = -g - 26 + 10, 3*g - 5*r - o = 0. Let c be 11 + 1/g - -2. Solve -4 + c = -4*v for v.
-2
Let g be (-2)/5 - (-4)/10. Let z(w) = 2*w + 1. Let u be z(0). Solve -t = u - g for t.
-1
Suppose i - 7 = 9. Let a = i + -12. Solve a*l - 8 = -0 for l.
2
Suppose 3*m - 5*m - 2 = -n, -4*m - 5*n + 24 = 0. Let a = 7 + -4. Suppose -a*r - 2*p = -21 + 5, 5*p - 22 = -3*r. Solve -5*b - r = m for b.
-1
Let i be 30/12 + ((-4)/2)/4. Solve -g - i = -0*g for g.
-2
Let t be 4/2 + (1 - -1). Solve -t*v + 3 = -7*v for v.
-1
Suppose -4*t + 2*x - 40 = -3*x, -3*x - 3 = 3*t. Let o be (-1)/5 + (-21)/t. Solve y + 3 = o*y for y.
1
Let t = 6 - 3. Let p be (-8)/32*1*-4. Solve -p = -b - t for b.
-2
Let m(c) = -c + 5. Let k be m(4). Let r(d) = -1 + 4*d + k. Let i be r(1). Solve -l = -i*l for l.
0
Suppose -4*k = -5*k. Suppose k*c + 4*c - 20 = 0. Solve -c*q + 4 + 16 = 0 for q.
4
Let k(h) be the first derivative of -h**2/2 + 5*h - 3. Let f be k(2). Solve 6*w - f = 3*w for w.
1
Let q be 1/(-5) + 1/5. Let u be (-40)/2*4/(-16). Suppose -3*t - u*k - 10 = -7*t, 2*k + 4 = -3*t. Solve -v - 4 + t = q for v.
-4
Suppose 5*v - 3 - 2 = 0. Solve -v = -3*i - 13 for i.
-4
Let r = 39 + -22. Let d = -12 + r. Suppose 3*h = -g + 6 - 4, -d*h + 3*g = 6. Solve -2 = n - h*n for n.
-2
Let m(h) = 2*h - 6. Let f be m(4). Suppose -u - 4 = 5*d, 5*d + 18 = -5*u - 2. Suppose d = -l + 4 + f. Solve j + l = 4*j for j.
2
Let h be 1/(1/(-6)*2). Let u = 6 + h. Suppose j = -2*o + 6, 2 = -3*j + j + u*o. Solve -4*v - 2 = -j*v for v.
-1
Let z = -50 - -50. Suppose -4*c + 2 = -2. Let i = 1 + c. Solve z = 5*k - i*k for k.
0
Let k be (-896)/(-70) - 4/5. Solve 0 = -3*r - k + 3 for r.
-3
Suppose -12*h + 19*h - 35 = 0. Solve -r + h*r = 0 for r.
0
Suppose 4*y + 17 = p, 16 = 3*p - 3*y - 8. Solve -p*j - 2 = 8 for j.
-2
Let m be (-13)/(-3) + 6/(-18). Suppose -5*v + 78 = -2*c + m*c, v - 2*c = 6. Let t = v + -10. Solve 0 = -z + t*z for z.
0
Let r(i) = -i**2 + 9*i - 9. Suppose 18 = q + 4*w, 2*q - 21 = q - 5*w. Let p be r(q). Suppose v + 23 = 5*n, p + 17 = 4*n + 3*v. Solve -2*l + n*l = 0 for l.
0
Suppose o = -4*y - 6, -2*o = 2*o + 4*y. Let a(j) = j + 7. Let f be a(-4). Solve o*h - 5 = -f*h for h.
1
Let s(j) = j - 2. Let n(o) = o - 2. Let v(d) = 5*n(d) - 4*s(d). Let c be v(2). Solve c = -4*w + 3*w for w.
0
Suppose 5*r + 33 = 3*f + f, 16 = 3*f - 2*r. Solve 0 = 5*t - f*t - 15 for t.
5
Suppose 2*n = -2*n - 8. Let a = 4 + n. Solve -r = -1 - a for r.
3
Let a(c) = -4*c - 20. Let g be a(-5). Solve l + g = -5 for l.
-5
Suppose 2 + 6 = 2*x. Let m(o) = -o**2 + 3*o + 4. Let r be m(x). Solve 7*p - 2*p + 20 = r for p.
-4
Let i be (-120)/(-21) - 10/(-35). Suppose -2*t + i*t = 12. Solve t*z - 3 = 3 for z.
2
Let w(x) = -x**2 + 7*x + 3. Let n be w(7). Solve 2*y - 1 = n for y.
2
Suppose -3*j = -3*h + 2*j - 15, -5*h = 3*j - 9. Suppose -3*f = -5*f + 4. Solve h = b + f for b.
-2
Let g be 4 - -6 - 1*5. Solve 0 = g*t - 0*t + 10 for t.
-2
Suppose p - 5 + 1 = 0. Solve p*b + 1 = 5*b for b.
1
Let x(c) = -c + 1. Let f be x(-1). Suppose 2*a + 17 = 5*i, 2*i + 0*i - 3*a + 2 = 0. Suppose 4*h + 3*z - 1 = 13, 3*z = i*h - 4. Solve f*o = -h*o for o.
0
Suppose v - 40 = -4*v - 5*y, 4*v + 2*y = 22. Solve 0 = -v*c + 8*c for c.
0
Let d(a) = a + 7. Let i be d(5). Let f be -2 + 2/1 + i. Let j be f + ((-6)/2 - -1). Solve 4*r = -30 + j for r.
-5
Let b be (2/5)/((-7)/(-245)). Let n = b - 8. Solve -n*j - 25 = -j for j.
-5
Let y(u) = -u**3 - 2*u**2 - 3*u - 3. Let d be y(-3). Solve 2*l + d = -3*l for l.
-3
Let h(o) = o**2 + 6*o - 4. Let k be h(-7). Suppose 0 = k*f - f - 6. Suppose -f*b = b. Solve b = 3*n + n - 12 for n.
3
Let t = 8 + -2. Suppose -t*o = -3*o. Suppose -5*j = -4*g - 25, -3*j + 2*g = -g - 15. Solve j = -o*r + r for r.
5
Let n(x) = -x + 11. Let q be n(7). Let k(b) = b**2 - 2*b + 4. Let h be k(q). Solve 0 = 3*w - 0*w + h for w.
-4
Let w(m) = 4*m - 80. Let n be w(20). Solve 2 = -n*v + 2*v for v.
1
Let q be (-46)/(-8) - (-12)/(-16). Solve q*s - s - 12 = 0 for s.
3
Let i = 45 + -45. Solve a - 2*a + 3 = i for a.
3
Let l = 12 - 5. Solve 11*w - l*w = 0 for w.
0
Let y = -4 + 8. Let r = y - -2. Solve -4 - r = -2*d for d.
5
Let w(n) = n**2 - 5*n + 1. Let i be w(4). Let c be i - (-2 - -1) - -5. Solve -7*f = -c*f for f.
0
Let k = -15 - -15. Solve -j + k*j = 0 for j.
0
Let f(u) = -u**2 - 7*u + 5. Let y be f(-7). Solve -y*l - 17 = 3 for l.
-4
Suppose 0 = 3*t - 0*t - 39. Let p = -10 + t. Solve 2*n + 4 = p*n for n.
4
Let a = -27 + 14. Let k = 25 + a. Let b(n) = n**2 + 14*n + 6. Let t be b(-14). Solve -2*i + k = -t*i for i.
-3
Suppose 5*a + s - 20 = 0, 2*a - 5*s + 21 - 2 = 0. Solve -r + a = -0 for r.
3
Suppose 2*f - 8 = s, -9 = -4*s + 2*s - f. Solve 4 = -b + s for b.
-2
Let g be (-1)/(-2)*(2 + 4). Suppose 2*k - 8 = -r, g*k + r = -3*r + 22. Suppose -2*y - 2*w = -3*y + 19, -5*y + 2*w = -55. Solve -n + y = k*n for n.
3
Let q(w) = 9*w - 3*w**2 - 3 - 12*w + 4*w**2 + 0*w**2. Let o be q(4). Solve -4*m = -o + 5 for m.
-1
Let o(i) = -i**2 + i + 6. Let j be o(2). Solve 4 = 2*v - j for v.
4
Let l = 12 - 8. Suppose -2*q + 3*w = -9, -3*q + w + 1 = -9. Solve l = q*k - k for k.
2
Suppose 4*f - 27 + 11 = 0. Solve 3 + 5 = -f*h for h.
-2
Let v = 7 - 5. Suppose -c - 2*s = -2, 2*s - 20 = -v*c - 2*c. Solve -c = -l - 2 for l.
4
Let s = -9 - -14. Suppose -3*h + 10 = -s. Solve -5*i = 25 - h for i.
-4
Let m = -13 - -21. Let d(q) = 3*q - 4. Let t be d(3). Suppose -9 = -8*b + 5*b, -4*b = t*i - 27. Solve m = -i*p + 2 for p.
-2
Suppose -2*z = x - 4 - 0, 2*x - 5*z = -1. Let b(o) = -o**3 + 9*o**2 - 7*o - 5. Let m = 19 - 11. Let f be b(m). Solve f*h + x*h - 15 = 0 for h.
3
Suppose 3*i + 18 = 6*i. Solve s = -2*s - i for s.
-2
Suppose -16*x + 27 + 53 = 0. Solve -x - 1 = -3*s for s.
2
Suppose k - 5 = 0, 0*k - 25 = 3*w - 5*k. Let t = w + 2. Let z(f) = f - 11. Let x be z(11). Solve -a + x*a = -t for a.
2
Let c = 