o*t - 3 for h.
0
Let b(h) = 2*h**2 + 3*h + 3. Let l be b(-2). Suppose 0 = -4*k - 2*z + 20, -3*k = -5*k - l*z + 26. Solve -5*r + y + 27 = -3*y, -4*y = 5*r - k for r.
3
Let w be (-1 - -2) + 0 - 0. Let b be -6 - -8 - (-3 + w). Let f = b + 0. Solve f*p + 20 = 0, 3*p + p - 5 = 5*j for j.
-5
Let a be (-3)/(23/12 + -2). Let q be a/(-5) + (-4)/(-20). Let r = 10 + q. Solve 5*t = 2*o - 19, 0 = r*t - o + 12 for t.
-5
Suppose -3*f + 46 = -5. Suppose -3*v + 5*i + 11 = 0, 5*i + 9 = 5*v - 3*v. Solve -3*a - 2*h - f = v*h, 5*h + 22 = -4*a for a.
-3
Let f(u) = -4*u**3 + 2*u**2 - 1. Let n be f(-1). Solve -w = -a + 2 - 0, 3*w = n*a for w.
-5
Let o(b) = -b**3 - 5*b**2 + 6*b - 3. Let s be o(-6). Let c be s - (3 - 6) - -4. Solve -c*l - 5 = 5*z, -z = 2*z - 5*l - 34 for z.
3
Let z = -7 - -15. Suppose -2*y - r = z - 38, -4*r = -16. Solve 5*i + 5 = q + y, -5*q = i - 12 for i.
2
Let s = 78 + -42. Let t be ((-2)/3)/((-8)/s). Let k = t + -3. Solve q = 3*j + 10, k = -j + 4*q - 2 + 6 for j.
-4
Suppose -34 = -5*f - 14. Solve -f*y - 9 = -5*p, 3*p = -y + 4*p - 2 for y.
-1
Let x be ((-18)/12)/((-6)/32). Suppose -20 = -6*w + w - 5*l, 2*w + 3*l = x. Solve -2*m + 5 = -5*n - 7, 3*m = -w*n - 5 for n.
-2
Let t(a) = a**2 + 4*a - 8. Let k(g) = -5*g**2 - g. Let w be k(1). Let z be t(w). Solve -r + 24 + 2 = -5*c, 25 = 5*r - z*c for r.
1
Let g(n) = -7*n - 9. Let s(k) = -k - 1. Let o(u) = 3*g(u) - 24*s(u). Let j be o(2). Solve j*c - 6 = 2*x + 4*c, x + 4 = -c for x.
-2
Let h = -7 + 11. Let o = -16 + 8. Let x = 11 + o. Solve 3*i - h*i = x*a - 7, 0 = 4*i - 16 for a.
1
Let w(f) = -f**3 - 11*f**2 - 10*f + 7. Let h be w(-10). Solve 0 = -3*d + 4*b - h*b, 4*d + 27 = 5*b for d.
-3
Let z(f) = 2*f - 4. Let i be z(2). Suppose 4*r - 10 = -2*o - o, 6 = 2*o + 2*r. Let c be 1*(3 + (o - 0)). Solve -3*a = 3*m - c*m + 6, 2*m + a - 6 = i for m.
3
Suppose -5*f + 4*m = m + 75, 5*m = 0. Let k = -10 - f. Solve -n = -3*w + 9, 0 = -n + 4*n - w - k for n.
3
Let g = 0 + 0. Let t(j) = j**2 + j + 1. Let s be t(-3). Solve -3*o + y = o, -3*o - y + s = g for o.
1
Let t be 9/(3 + 3 + -5). Solve p = -0*p - u + t, 4*p - 40 = -5*u for p.
5
Let c be (-1)/(((-12)/(-9))/(-4)). Suppose -c*q = -q - 2. Suppose 3*g - 11 = q. Solve 0 = 4*x - 3*n + g, -2*x + 7*x - 2*n - 2 = 0 for x.
2
Suppose 5*k + 0*k = 2*c + 14, 5*c + 1 = 4*k. Let t(h) = h**3 + h**2 + h + 19. Let u be t(0). Solve 5*z - 12 = -c*j, 0 = -z - 3*j + u - 7 for z.
0
Suppose 0 = 5*h - 5, h - 28 = -4*p + p. Suppose d + 0 - p = 0. Let j = d + -2. Solve -r - r + 5*q = 0, -r - j = q for r.
-5
Let r = 131 - 131. Solve -2*g + p - 4*p - 2 = 0, g + 5*p + 8 = r for g.
2
Suppose -2*r = -r - 4. Suppose -19 = -r*x + 1. Solve 0 = 2*i - i, x*i = -5*w - 10 for w.
-2
Let m be 4 + (-2 - -2) + 0. Let t be m/(5 - (3 + 0)). Solve c = 2*f + 6, -3*c - 2 = 2*f + t*f for f.
-2
Let n be -11 + 1/1 - -2. Let y be n/10*10/(-4). Suppose 5*q - 3 = c, -2 = -2*c + q + q. Solve -c*u + 4 = o - 3, -y*u = -6 for o.
1
Suppose 5*x - 33 = -4*a, 4*x + 72 = 5*a - 0*x. Let p = a + -12. Suppose -z + 2*f + 0 = 3, -2*z = 5*f - 39. Solve 0 = d + 5*o - p*o - 20, -2*d + o = -z for d.
5
Let f(i) = i**3 + 5*i**2 - 6*i + 3. Let k be f(-6). Solve -4*b - k = -5*z, -3*z - 2*b = 4 + 3 for z.
-1
Let p(t) = t**2 + 4*t - 1. Let v be p(-5). Let r(s) = -s**2 + 3*s. Let g be r(2). Solve z - 1 = n - 0, g*z + 4 = -v*n for z.
0
Suppose -3*c + 40 = -5*c. Let t = -16 - c. Solve t*b + 26 = -0*h + 2*h, 0 = -3*b - 2*h - 9 for b.
-5
Suppose -7*m + 13 = -22. Solve -3*w = m*q - 16, 2*q + 6 = 6*w - w for w.
2
Suppose 4*c = 2*v + 10, 0*v - 3*v = -c + 15. Solve c = -4*h - 4*s - 8, 4 + 0 = -4*s for h.
-1
Suppose 7*q = 5*q + 4*m - 4, -m - 13 = -4*q. Suppose 38 = 5*y + 93. Let b = -9 - y. Solve 8 = b*s + 5*c - 4, -q*s - 6 = -5*c for s.
1
Let d be (15*11)/(0 - -1). Let t be (d/10)/(2/4). Suppose -26 = -4*r - 5*o, -4*r = 3*o + 11 - t. Solve 4*l = -5*b - l - 15, 4*l = r for b.
-4
Let t = 42 - 68. Let m = 15 + t. Let d = m - -16. Solve 0 = 2*r + 5*z - 16, -d*z + 5 = r - 13 for r.
-2
Let z = 35 - 28. Solve -z*s = -y - 2*s + 8, 5*y = -4*s + 11 for y.
3
Let y be (-2 - -12)*1 + 0. Let t = 14 - y. Suppose 2*x = -x + 5*o + 21, 0 = -3*x - t*o - 6. Solve 0 = -x*g - p - 1 - 5, -3*p - 9 = 3*g for g.
-3
Suppose r - 6*r - 4*z + 27 = 0, -5*z + 6 = -3*r. Solve 0 = o + 2*m + r, 3 = o - 5*o - 5*m for o.
3
Let u = -48 - -30. Let p be u/45 - (-54)/10. Solve -p*y - m - 16 = 0, 6*y - 3*y = -5*m - 14 for y.
-3
Suppose -r + 7 = 3*g - 5, 4*g - 3*r = 3. Suppose -3*p + 9 = g. Solve 5*s + 3*l = 5 + 19, p*l = 2*s for s.
3
Let a(s) = s + 1. Suppose 4*o - 7 = 2*o + 3*k, k = -5*o - 8. Let u be a(o). Solve -5*r + u*i - 15 = 3*i, 5*r = -i - 15 for r.
-3
Let x = 5 + -5. Suppose x*f - 50 = 5*f. Let d = f + 14. Solve -5*s + 3*z - 14 = 0, -d*z - 9 + 21 = 0 for s.
-1
Let j be (-3*(-4)/42)/((-2)/(-14)). Solve 3*u = -j*u + 5*z, 5*u = z - 16 for u.
-4
Let v(z) be the third derivative of -z**6/60 - z**5/20 + z**4/12 - 3*z**2. Let j be v(-3). Solve -3*w + 3*t = j, -20 = 4*w - 5*t + 10 for w.
-5
Suppose 4*l + 2*w + 3 = 5, 3*l - 2*w + 2 = 0. Let i be -3 - (l/(-4) - 9). Solve 2*v + i = r, -2*v = -5*r - 2 + 8 for r.
0
Let z be (-3 - 0)/((-6)/8). Solve z*t = -3*f - 10 + 2, -5*t + 3*f + 17 = 0 for t.
1
Let z(h) = 2*h**2 + 1. Let q be z(2). Let j be (-2 + q/4)*68. Solve -3*c - j = 5*k, -c + 2*k - 2 = -0 for c.
-4
Let k be (-3 - -3) + 2/(-2). Let f = 4 - k. Let x be f + -2 + 3 + -1. Solve 2*w + 22 = 4*i, 2*w + 28 = x*i - w for i.
5
Let l be (-1)/(-4) + 3/4. Solve -i + 2*j = -j + l, 3*j - 9 = -3*i for i.
2
Let g = -24 - -24. Solve g = -h + 2*c - 2, h = -5*c + 3*c - 6 for h.
-4
Suppose -1 = -f + 1. Solve 23 + f = -4*v + 5*x, v + 2*x = -3 for v.
-5
Let p be 84/35*((-7)/(-3) + 1). Solve -4*l = -n + p, -2*l = -0*l + 4*n - 14 for l.
-1
Let b be (-1 - -1)*2/(-4). Suppose -w - 3 = -b*w, -t + 3 = 3*w. Solve 0*s - t = -5*s - m, -2*s = -2*m for s.
2
Let k(s) = 8*s**3 - 2*s - 1. Let i be k(-1). Let v(l) = -l - 4. Let f be v(i). Solve -3*c = -4*m - 23, 5*c - 21 = -f*m + m for c.
5
Suppose 9 = 3*i - 12. Let b = 33 + -13. Let v = b + -20. Solve -k - i = h, 2*h = -k - v*h - 10 for k.
-4
Suppose 0 = -3*h + 5*g - 10, -3*h - g = h - 2. Solve -3*x = 3*f - 1 - 5, 5*x + 5 = h for f.
3
Let f = 7 + -4. Let p = 10 - f. Suppose -5*y + 4 = -31. Solve l + 22 = -5*g, -p*l - g + y = -3*l for l.
3
Let d = -2 + 5. Let w(n) = n**3 - 6*n**2 + n - 4. Suppose 33 = 4*g - 3*r, 2*g + 2*g = -2*r + 18. Let j be w(g). Solve -d = -j*z - b - 6, -4*z - 24 = -4*b for z.
-3
Let q(a) = -3*a**2 + 12*a + 2. Let s(n) = -4*n**2 + 13*n + 3. Let l(r) = -3*q(r) + 2*s(r). Let j be l(10). Solve 5*f - 2*t - t + 2 = j, 24 = 2*f + 5*t for f.
2
Suppose -10*f = -108 - 12. Solve -3*b + 2*a = -3*a - 18, 4*a = -f for b.
1
Let j = -4 - -7. Solve 2*k - 3*h = 3 + 1, -5*h = j*k + 13 for k.
-1
Let u be 2 - -3 - (0 + 0). Suppose 0 = 3*r - b + 10, -u*r + b = 10 + 6. Let s(d) = -d - 1. Let n be s(r). Solve 4*g + 18 = 2*q, -5 = 3*q + n*q for g.
-5
Suppose j - 12 = -j. Let z = -4 + j. Suppose 4*a + 0*f = -4*f + 20, 3*a + 4*f - 15 = 0. Solve -2*x = 2*r - 4*r + z, 3*r = x - a for r.
-3
Let n = 31 - 8. Suppose -4*u + n = -3*m, -2*m - 17 = -6*u + 3*u. Suppose -2*i - u = -11. Solve 5*p = -i*c, -5*c - 30 = -2*c - 5*p for c.
-5
Let y be -1 - (6/(-2) - -2). Suppose 4*m - 32 = -4*o, y = -m - 2*m - 9. Let v = o + -7. Solve 4*j + 2*t - t = -3, -v*j - 12 = 4*t for j.
0
Let y be (3/(-9))/((-3)/153). Solve -5*x + 25 = -5*c, 5*c + x - 4*x + y = 0 for c.
-1
Let w(n) = -7*n**2 - 11*n - 4 - 2*n**3 + n**3 + 3*n + 1. Let b be w(-6). Solve -k + 3*z - 6 = b, -3*k = -3*z + 21 for k.
-3
Suppose -3*x - 6 = q, 0*q + 3*q = -x - 10. Let v be 7 + 3 - x - -2. Solve 3*m + 10 = 5*m + 2*w, -3*m - v = -4*w for m.
1
Let u = -129 - -257. Suppose -2*w + 3*w = -83. Let r = w + u. Solve 4*x - 12 - 28 = -5*g, -5*x - 5*g = -r for x.
5
Let o be (-2)/(-3) + 836/33. Let k = o + -4. Solve -3*h - 4 = -g - 2*h, 3*h + k = 5*g for g.
5
Let a = 37 + -19. Solve 0 = -v - 5*w + 6, -5*w + a = -2*v - 0*v for v.
-4
Let v(w) = -w**3 - 7*w**2 - 8*w - 9. Let g be v(-6). Let p(y) = -y**3 - 5*y**2 - 6*y - 3. Let k be p(-4). Solve 7 = g*o + n, -2 + 3 = -2*o + k*n for o.
2
Let x(h) = h**3 - h**2 - h + 15. Let g be x(0). Suppose -10*n = -g*n + 10. Solve 24 = -0*y + 4*y + 4*j, -2*j = -3*y - n for y.
2
Suppose 5*v = -11 - 14. Let r be (-