*h for h.
0
Let h be 60/33 + 2/11. Solve 0 = -h*a - 0*a - 10 for a.
-5
Let s(f) = -f + 9. Let r be s(6). Solve -r*c = -2*c - 4 for c.
4
Suppose -q + 3 = -0*q. Solve -2*f - q = -5 for f.
1
Let m(g) be the second derivative of -g**3/6 + 11*g**2/2 - g. Let a be m(0). Suppose -5*x - 1 + a = 0. Solve 0 = 4*q - 5*q - x for q.
-2
Let d be -5*(-1)/((-5)/12). Let a(o) = -o**2 - 13*o - 9. Let l be a(d). Solve -l*g + 2*g = 4 for g.
-4
Let j be -2*(-3)/2*(-42)/(-18). Solve 12 = j*n - 3*n for n.
3
Suppose 0 = 4*q + 4, -5*u = -5*q - 21 - 14. Let k be 28/u + 4/(-6). Solve k*v = 2*v - 2 for v.
-1
Let z(h) = -h + 1. Let a be z(0). Let l(m) = m**3 - 6*m**2 - 17*m + 10. Let p be l(8). Solve 0 = s + p - a for s.
-1
Let b(t) = -t**2 - 3*t. Let m be b(0). Solve m*w - 2 = w for w.
-2
Let u be 2/4*-4 + -6. Let c = -5 - u. Suppose -3*x - 7 = -z, -5*z + 0*x + 53 = c*x. Solve -4*r - z = r for r.
-2
Suppose 5*q + 0*q = 30. Suppose 0 = -2*r - 3*v - q, -27 = -5*r - 0*v + 3*v. Suppose -g + 8 = r*g. Solve 20 = -6*t + g*t for t.
-5
Let m = -54 - -59. Solve 4 = t - m*t for t.
-1
Let j = -2 - -6. Suppose -j = 4*x - 28. Solve 3*g = x*g + 9 for g.
-3
Suppose -3*b + 16 = 7. Solve 0 = -0*a + b*a for a.
0
Suppose 2*j = -4, p - 4*j - 8 = -j. Suppose 0 = 7*s - p*s - o - 1, 5 = -4*s - 5*o. Solve -12 = -s*h - 4*h for h.
3
Suppose 0 = 3*s - 12 - 0. Suppose 0 = 2*o + 3*d + 3, 0*d = -4*o - 4*d + 4. Let n = o - s. Solve 0 + n = k for k.
2
Suppose -r - 20 = -2*r. Let k = -12 + 17. Solve 0 = k*c - r - 5 for c.
5
Suppose -r - 9 + 2 = -3*y, 4*y - 2*r - 12 = 0. Solve -2*s = y + 1 for s.
-1
Let i be -8*(-2 - (1 - 1)). Solve i = 5*t + 1 for t.
3
Let b = 15 + -28. Let w = -9 - b. Solve -w*m = -0*m - 12 for m.
3
Let q be (9/(-27))/((-2)/24 + 0). Let h be 0*(-1)/(2/(-1)). Solve h = 5*z - 1 - q for z.
1
Let x be 140/15 + (-1)/3. Suppose -4*s = -11 - x. Solve 4*q - 7 = s for q.
3
Let y = 12 + -15. Let b = 6 + y. Solve 3*k = -b - 0 for k.
-1
Let u = -6 + 9. Solve u = 5*s - 7 for s.
2
Let b be 1 - 2*(1 + -3). Suppose 0 = -5*j + b + 5. Suppose -19 = -3*f + r, 2*f + r + j = -2*r. Solve 0 = -5*d + f for d.
1
Suppose 5*d + 2 = 17. Suppose d*k - c = 11, -4*c = 3*k + c + 19. Solve 2*p = 2 + k for p.
2
Let h = -1 + 5. Suppose -3*o = o. Suppose o = p + 4, 4*p = 5*q + 2*p - 98. Solve 2 + q = h*b for b.
5
Let c be 12/(-15) - (-2)/(-10). Let u be (2 + (c - 4))*-1. Solve -u*x - 13 - 2 = 0 for x.
-5
Let f(z) = z + 23. Let h be f(-16). Solve 6 = -t + h for t.
1
Let l(w) = w**3 - 2*w**2 - w + 1. Let q be l(2). Let j = q + 4. Solve -j*x = 2*x - 10 for x.
2
Suppose z + 25 = -4*z. Let b(m) = m + 8. Let g be b(z). Let f be 8 - ((-3)/3 + g). Solve -f*j + 5*j = 4 for j.
-4
Suppose -2*c + 19 - 1 = 0. Let d(m) = m**2 + 2*m. Let y be d(-2). Suppose c = 3*b - y*b. Solve -p - 2 = b for p.
-5
Suppose -35*p + 32*p + 6 = 0. Solve -9 = -u - p*u for u.
3
Let p be 9 - (0 - -3)/(-3). Suppose -2*r = -2*l, 0 = r - 3*l + p - 0. Suppose -2*m + 3*d = 2*m - 48, r*d - 12 = -m. Solve 3*s = -0*s + m for s.
4
Suppose -3*t - 7 = -4*q, -3*q + 0*t + 4*t = 0. Let v be (-37)/(-3) + q/(-12). Suppose 33 = 5*y - 7. Solve 4*r + y + v = 0 for r.
-5
Let i be (-1 - -2)/((-7)/(-56)). Solve -4*o = -0*o - i for o.
2
Suppose 0 = 3*z - 4*u - 43 - 46, -2*u + 8 = 0. Suppose -3*v - 25 = -5*n, -n - 4*n = -5*v - z. Solve -n*y + 5*y - 9 = 0 for y.
3
Let g = -11 - -13. Solve -3*z = g*z + 5 for z.
-1
Suppose 4*i = i. Solve i = 3*r - r for r.
0
Let z(y) = -y**2 - 2*y + 19. Let m be z(-5). Solve 0*t = m*t + 8 for t.
-2
Suppose j + j + 10 = -4*c, c = -2*j + 2. Solve -j*w + 2*w + 4 = 0 for w.
4
Let j be 2 + 66/(-30) + 16/5. Solve z - 4 = -j for z.
1
Suppose 0*r + 3*r + 2*z + 26 = 0, -30 = 4*r + 5*z. Let v = -9 - r. Let u = 4 - 4. Solve u = n - v for n.
1
Let t be (-2)/6 + (-26)/(-6). Let r(h) = 11*h + 67. Let m be r(-6). Solve t*c - 7 = m for c.
2
Let u = 0 - -2. Suppose u*b = -2*k, 0*k = -2*b - k. Solve -2*t - 6 = -b*t for t.
-3
Suppose 2*n = -3*n - 10. Let l be (n/(-4))/((-2)/(-16)). Solve 0 = -2*d - 0*d + l for d.
2
Let c be (-8)/(-12)*3/(-1). Let b = c - -4. Suppose y - 6*y - 4*x + 63 = 0, 2*y - 5*x - 45 = 0. Solve -3*i = b*i + y for i.
-3
Let d be (8/(-12))/(2/(-6)). Suppose 0 = -v + d*v - 4. Solve -v*r - 22 = -6 for r.
-4
Suppose 0 = -5*d + 2*d. Solve -2*h + 10 = -d*h for h.
5
Suppose -35 = -3*i + j, 2*i = -2*i + 5*j + 65. Let p = i + -10. Solve p*z + 3*z + 3 = 0 for z.
-1
Let o(z) be the second derivative of -z**3/3 - 5*z**2 + 5*z. Let m be o(-5). Solve 2*x + 2*x = m for x.
0
Suppose 2 = 4*i - 14. Solve 4*m - i = 4 for m.
2
Let r = 6 + -12. Let o be (-15)/r*(3 - 1). Solve 0 = -l + 2 - o for l.
-3
Suppose 2*u = 6*u - 32. Suppose -4*i + u = 3*o, 2*o + 3 + 10 = i. Suppose 5*m = 4*m - 1, 2*c + 4*m = -4. Solve c + i = w for w.
5
Let r be 16/88 + (-4)/22. Solve r = -4*m - 4 - 0 for m.
-1
Suppose -26 = -7*f - 5. Solve f*m + 3 = -6 for m.
-3
Let j(d) = -7*d**2 - 2*d + 1. Let p be j(1). Let w be p/(-5)*(-25)/(-10). Solve 0 = 5*i - w*i + 4 for i.
-4
Let n(i) = -i**3 - 5*i**2 - i - 5. Let h be n(-5). Suppose 4*j = 4*f - h*f - 32, 0 = 3*f - 5*j - 34. Let a(c) = -c + 6. Let t be a(0). Solve -f*p = -t*p for p.
0
Let j(c) = -5 - 1 + 4 + 4 + c. Let a be j(6). Solve -a = -2*w + 4*w for w.
-4
Let l(a) be the third derivative of a**6/120 - a**5/10 + a**4/4 - a**3/2 + a**2. Let u be (-1)/(2*3/(-30)). Let z be l(u). Solve -z*k = -0 - 2 for k.
1
Suppose t + 10 = -5*m - 3*t, m = 2*t - 16. Let l = -3 + -6. Let n be 4/6 - m/l. Solve 2*g + n*g = -2 for g.
-1
Let h(w) = -w - 4. Let b be h(-7). Solve -i = b - 7 for i.
4
Let i(z) = -z**3 - 8*z**2 + 10*z + 13. Let o be i(-9). Suppose -11 = -o*m + 5. Solve -2*k = -m*k + 10 for k.
5
Let o(b) = b**2 + 12*b - 12. Let a be o(-13). Solve 2*h + a = -5 for h.
-3
Let w be ((-1)/2)/(2/12). Let h = w - -3. Let m = h - 0. Solve -u = -m + 5 for u.
-5
Suppose -16 + 0 = 2*o. Let h be 4/o*30/(-3). Solve -7 = -4*t + h for t.
3
Suppose d - 5*d + 80 = 0. Let i = d + -14. Solve -g + 1 = i for g.
-5
Let o(x) = x**3 - 4*x**2 - 3*x - 7. Let f(m) = 2*m**2 + 3*m + 3. Let n be f(-2). Let t be o(n). Solve -t*z = -z for z.
0
Suppose -8 = -3*x + 4. Let d = 6 - x. Let b be (18/(-12))/((-1)/d). Solve 13 = 5*u + b for u.
2
Let y = 1 + 1. Let q be (-8)/((-2)/1) - y. Solve -5*m = -3*m - q for m.
1
Let v(w) = 3*w - 6. Let r be v(3). Solve f - r*f = 0 for f.
0
Let p = -11 - -8. Let v = p + 4. Solve -x + 2 = -v for x.
3
Let t(u) = -2*u - 4. Let b be t(-2). Solve z + b = -2 for z.
-2
Let l(v) = -v**3 + 6*v**2 - 7*v + 16. Let o be l(5). Solve 15 = -c + o*c for c.
3
Let a(n) = -n - 2. Let c be a(-5). Suppose c = -4*y - 0*p + p, 0 = -5*y + 5*p - 15. Solve y = 4*z - z - 3 for z.
1
Suppose -4*t + y = -10, t + 5 = -2*y + 3. Solve 0 = -u + 1 - t for u.
-1
Let i(k) = -9*k + 49. Let f be i(5). Solve 3*p + f = p for p.
-2
Suppose 0 = 3*v + i - 2 - 3, 20 = 2*v + 4*i. Let n = v + 2. Solve 0 = n*x + 2*x for x.
0
Let k be 10/3*(-114)/95. Let d = 3 - k. Solve 2 = 3*f - d for f.
3
Suppose -4*q = -3*d - 124, -25 = -4*q - 3*d + 99. Let s(x) = -25*x**2 + 1 - 8*x + x**3 + q*x**2 - 8. Let h be s(-7). Solve -4*z + 16 = -h*z for z.
4
Suppose d - h - 5 = 0, -4*d + 0*d + 2*h = -26. Let t = d + -4. Let f = t + -1. Solve 16 = -f*y - y for y.
-4
Let y(b) = 2*b**2 + 9*b + 9. Let v be y(-6). Suppose 0 = -4*m + m + v. Solve 1 = -2*g - m for g.
-5
Let x(a) = -a**3 + 8*a**2 - 8*a + 10. Suppose -2*r - r + 21 = 0. Let d be x(r). Solve -i = -0 - d for i.
3
Suppose 4*s = t - 7, -5*t + s - 5*s + 83 = 0. Let g be 5*(2 - (-24)/(-15)). Solve y - t = -g*y for y.
5
Suppose 5*m + i - 27 = 8, 0 = -2*m + i + 21. Let x be m/10 + (-3)/(-15). Let g be 1/(x/(-16)*-2). Solve -g = -a + 3*a for a.
-4
Suppose 3*u + 11 = 5*n - 28, -2*n - 3 = 5*u. Solve -n = a - 9 for a.
3
Let s(w) = 12*w**2 + w + 1. Let v be s(-1). Solve 3*g + v = -3 for g.
-5
Suppose 0 = 3*f + 5*i - 8 - 7, 3*f - 2*i = -6. Suppose 0 = p + 2*x + 4, f = 3*p + x + x. Let g = p + -1. Solve -2*a + 3*a = g for a.
1
Let b be -5*((-2)/(-5) + -2). Suppose x + 3*x - b = 0. Let q be 1 + -2 + 2*x. Solve o = -q*o - 20 for o.
-5
Suppose 5*k + 23 = l, -k = l + 2*l - 5. Suppose l = 5*h + 13, -10 = -4*q + 3*h. Let x be (-214)/(-8) + q/4. Solve 5*g + x - 2 = 0 for g.
-5
Let w(o) = -o**3 + 8*o**2 - o + 11. Let d be w(8). Suppose 7 = 2*n + d. Let l = n - -2. Solve -l = -b - 2 for b.
2
L