 Solve 7*h - r*h - 15 = 0 for h.
5
Let u be 3 + 3/(-1) + 11. Let d = -5 + u. Solve c + d = 1 for c.
-5
Suppose -2*h = -5*a + 11, 0*h - 2*h - 5*a + 19 = 0. Suppose 3*i - h*i + 1 = 0. Let n(o) = -6*o. Let p be n(i). Solve -p*c = -3*c for c.
0
Suppose -2 = 2*h - 3*h. Suppose 0 = -h*q + 7 - 3. Let v be (3 - (-1 - -2))*1. Solve v*x + 4 = -q for x.
-3
Suppose 2*f = 3*b - 20, -2*b + 24 = 3*b - f. Let x be ((0/(-3))/3)/2. Suppose -5*y + 19 + 3 = -s, -5*y = -4*s - 13. Solve b*r - y*r = x for r.
0
Let h = -3 + 0. Let b be 0 + (h - 5)/(-4). Solve 0 = -5*f + 7 - b for f.
1
Suppose 0 = -a - 4*a. Suppose -28*n + 26*n = a. Solve -5*q = -n*q + 10 for q.
-2
Suppose f = 2*f - 15. Suppose 6*v - v - f = 0. Solve v*u = -4 - 11 for u.
-5
Suppose 5*t - 30 - 15 = 0. Solve -2*k + t = -5*k for k.
-3
Let a be (-2)/10 - 1227/15. Let x = 120 + a. Suppose 0 = 2*c - 4*g - x + 12, -c - 22 = 5*g. Solve -c*i + 10 = -i for i.
5
Let a(b) = -b**2 + 4*b + 4. Let s be a(5). Let p(c) = -c**3 - 1. Let i be p(s). Solve 5*m + 0*m = i for m.
0
Suppose 0 = -5*m - 3*n - n - 1, 5*n = -20. Suppose m*o + 24 = 3*r, -r - 6 + 18 = -3*o. Let s = -3 + r. Solve v + s*v = -4 for v.
-1
Suppose 2*v + 5 = 3*v, 41 = -2*y + 3*v. Let h be 2 - (-23 + -1 + -2). Let o = h + y. Solve 6*b - o = 3*b for b.
5
Let x(s) = -s**3 - 6*s**2 - 5*s - 7. Let d be x(-6). Suppose 0 = -5*q - 8 + d. Suppose 0 = 2*t - q*t + 12. Solve -t = 5*o - o for o.
-3
Let v be 1 + 0 + (4 - 6) + 9. Solve 0 = -3*m + m - v for m.
-4
Let v = -19 - -19. Let q = -1 - -8. Let s = q - 3. Solve v = 2*x - s*x - 2 for x.
-1
Let f(v) = 2*v**2 + 2*v - 2. Let q be f(-3). Solve q = -o + 3*o for o.
5
Suppose q + 30 = 7*q. Solve 3*a + 8 = q for a.
-1
Suppose 0 = -5*z + 3*n + 29, 5*z + n = 2*n + 23. Let k be (15/z)/(9/24). Solve 6*j - k = j for j.
2
Let g = 3 + -3. Suppose 0 = -3*x + s - 5*s - 1, 3*x - 3*s - 27 = g. Suppose -5*h = -x*j + 15, 0 = -4*h - 4*j + 1 + 27. Solve h*t - 1 = t for t.
1
Let f(m) = -2*m - 5. Let x be f(-3). Suppose -5*g = -3*h - 1, 5*g = h + 8 - x. Solve g*j - 1 + 11 = 0 for j.
-5
Let y(m) = 3*m + 3. Let b be y(-2). Let z = -3 - b. Solve z = g + 1 - 2 for g.
1
Let q be (0 - 0)/(2/1). Solve q = 2*s + 9 - 3 for s.
-3
Suppose 4*l + 5 = 5*b - l, 5*l + 5 = -2*b. Suppose 0*n - 54 = -3*n. Let a be (3/2)/(n/48). Solve -a*s + 3*s = b for s.
0
Suppose 3*c = 9, 2*c + 15 = 3*t + 4*c. Solve t*w - 4 = 2*w for w.
4
Let c(s) = s - 8. Let t be c(11). Let p = 5 - t. Solve -i = -p*i + 2 for i.
2
Let s(f) = -f**2 - 6*f. Let o(r) = -3*r - 1. Let d(w) = -2*w. Let n(g) = 5*d(g) - 4*o(g). Let z be n(-5). Let b be s(z). Solve 0 = a - b + 3 for a.
-3
Let q be (96/36)/(4/18). Suppose 0 = -q*c + 17*c. Solve c = -2*l - 4 + 2 for l.
-1
Let q = 9 + -4. Suppose -t + 3*d + 11 = -3, -q*d = 15. Suppose -13 = -t*k + 12. Solve -3*y = -k*y - 10 for y.
-5
Suppose 0 = 6*b + 35 - 41. Solve s = -0*s + b for s.
1
Suppose -4*q = -3*p - p + 8, -2*p + 13 = -5*q. Let f(i) = i**3 + 8*i**2 + 9*i + 9. Let m be f(-7). Let h = q - m. Solve 0 - 10 = -h*y for y.
5
Suppose 3*l + 2 = 11. Suppose -2*n - 5*k + 20 = 0, -l*k + 3 = n - 9. Suppose n = 4*d - 7*d + 9. Solve d*i + 2 = -7 for i.
-3
Let v be (2 - -2)*10/(-2). Let b be v/(-6)*24/20. Let p(d) = 2*d - 1. Let a be p(2). Solve -a*f + b = f for f.
1
Let q(v) = v. Let b be q(3). Let p be (-2)/(-2) + -3 - -7. Suppose -p*s - 21 = -3*j + 2*j, 9 = 5*j - s. Solve 0 = f + j - b for f.
2
Let y(l) be the first derivative of l**3/3 - 3*l**2/2 - 1. Let u be y(4). Let c = u - 1. Solve 1 = -2*w - c for w.
-2
Let u be -2 + (-2 - -3)*9. Suppose 4*f + 2*k - u + 1 = 0, -2*f + 4*k = 12. Solve -2*h = 4 - f for h.
-2
Suppose 0 = 2*b + y - 8, 3*b - 2 = -4*y - 0*y. Solve 3*n - 5*n - b = 0 for n.
-3
Suppose -a - 10 = 3*h, 4*a - 2 = 2*h + 14. Suppose -3*s - s + 8 = 0, -a*i = -5*s + 8. Let p be (i/(-1))/(2/(-6)). Solve 0 = p*f + 1 - 4 for f.
1
Suppose -4*h + 0 = 4*d - 28, 3*d - 18 = -2*h. Solve 2 = -3*q - d for q.
-2
Suppose -2*z + 0*z - 4*s - 24 = 0, -4*s - 12 = -4*z. Let v(y) = y**2 + y. Let x be v(z). Let j be 4/x + (0 - -2). Solve -j*t + 2 = -10 for t.
3
Let l(a) = -a**3 - 2*a**2 + 3*a - 2. Let n be l(-3). Let x be (90/(-25))/(n/10). Solve 5*r - x = 7 for r.
5
Suppose 4*k + 21 = -j, 2*k = -2*j + 2 - 14. Let y be (-1 + -1)*(0 + j). Solve -y - 3 = -z for z.
5
Let s = 8 - 5. Let x be 1 + (s + -1)*2. Let a = 62 + -42. Solve x*n + a = n for n.
-5
Let h = 32 + -28. Solve h*z + 2 = 3*z for z.
-2
Suppose -6 = 3*z - z. Let f be (-8)/3*(z + -3). Solve -f = v + 3*v for v.
-4
Let n = -6 - -7. Solve -4*j + n = -3 for j.
1
Let c(w) = -w**3 - 6*w**2 - 8*w - 3. Let a be c(-6). Suppose -6*s + s = a. Let t = -5 - s. Solve t*p - 8 = -0*p for p.
2
Let t(j) = -j**3 - 7*j**2 + 9*j + 8. Let b be t(-8). Solve -5*w + 3 + 2 = b for w.
1
Let c = -20 - -35. Suppose -4*h + 9 = -c. Solve 5*o + h = 1 for o.
-1
Let u be (-46)/(-14) - (-4)/(-14). Let o = -49 - -65. Solve -u*k + o = k for k.
4
Let g = -3 + 5. Let l be ((-42)/35)/((-4)/10). Let x = -2 + l. Solve 0 = f + x - g for f.
1
Let g(p) = -2*p + 4. Let m be g(-6). Suppose s = 2*u - 3*s - m, -3*u + 4*s = -16. Solve u = b - 1 for b.
1
Let o(l) = l**3 + l + 13. Let v be o(0). Suppose -4*i - v = -4*p - 5, 0 = -2*p + 3*i + 1. Solve -3 = p*n + 2 for n.
-1
Let i = 9 - 7. Let b(x) = -x - 1 - i + 0*x - 1. Let k be b(-7). Solve 12 = -6*p + k*p for p.
-4
Let q(g) = g. Let z be q(4). Solve 2 + 18 = z*a for a.
5
Let c(j) = -j**3 + 24*j**2 + 26*j - 5. Let b be c(25). Solve -4*h - 8 = -b for h.
3
Suppose -w + 0*w = -3*m + 60, w = 4*m - 79. Suppose -3*x - x = -4. Let i be 16/(-4)*-1*1. Solve x = i*s - m for s.
5
Let y(x) = -x**3 + 9*x**2 - 8*x + 3. Let l be (-3 - -1)/((-1)/25). Let r be (12/(-5))/((-15)/l). Let b be y(r). Solve -b*a = -2*a for a.
0
Let p = 5 + -2. Suppose -16*t = -13*t - p. Solve -t + 7 = -3*z for z.
-2
Let j be (20/16)/(1/4). Let f be j - 2 - (-5 + 3). Solve -3*d + 8*d = f for d.
1
Suppose -5*c - 34 = -5*h - 6*c, 5*h = 2*c + 22. Suppose 3*o - h = -0*o. Solve 1 = o*f - 5 for f.
3
Let v = -3 - 8. Let o(i) = i**3 + 12*i**2 + 12*i + 11. Let n be o(v). Solve -2*d - 9 + 1 = n for d.
-4
Let d(v) = v**3 - 7*v**2 - 8*v + 4. Suppose -4*j + 59 = 5*p, -5*j = 2*p - 12 + 2. Let n be (20/p)/(1/6). Let y be d(n). Solve 15 = -y*r - 5 for r.
-5
Suppose -3*l + 3 + 3 = 0. Suppose -a = 3*a. Solve a = -3*n - l*n - 5 for n.
-1
Suppose -4*c + 9 + 7 = 0. Let i = c + -1. Solve -2*v - 9 = -i for v.
-3
Let k be -9*((-24)/9)/4. Let a be (20/k)/((-4)/(-6)). Suppose -d + 1 = -5*v - 2, -d - a*v = -3. Solve r + d = 1 for r.
-2
Let c be (2 + -3)*-7 - 4. Solve 0 = 2*v - c*v - 2 for v.
-2
Suppose 0*n - n + 2*u + 18 = 0, 2*u = 5*n - 58. Let w(v) = -v**2 + 11*v - 9. Let b be w(n). Solve q = b + 2 for q.
3
Suppose -h = -5*j + 17, -j = -5*h - 0*j + 11. Suppose 3*m - 2 = -2*w, 3*w = -2*w - 3*m + 14. Solve 5 + w = h*a for a.
3
Suppose -2*x = -2*f + 12, -3*f = x + 4*x + 14. Solve 0*q = f*q for q.
0
Let l(x) = x**2 + 12*x + 20. Let y be l(-10). Suppose m - 3*f + 0*f = -4, y = -3*m + 2*f + 16. Solve -4*z = -m*z - 4 for z.
-1
Let f = -33 - -33. Solve -y - 5 = -f*y for y.
-5
Let h be (-3)/((-15)/4) - (-78)/15. Solve 3*r - h = 9 for r.
5
Suppose -42 = -3*u - 0*u + 2*p, 2*p = -3*u + 30. Suppose 2*g + 4*g = u. Solve 0 = -g*b + 8 - 2 for b.
3
Let s be -1 - ((0 - 0) + 2). Let c = 1 - s. Solve -8 = -c*w - 0*w for w.
2
Let k be (-15)/(-2) - (-4)/(-8). Suppose -k*p + 4*p = 0. Solve -f + 0*f = p for f.
0
Suppose 2*g + 5 = 7*g. Solve 5*h = -26 + g for h.
-5
Suppose o + 4*j - 20 = 3*o, -10 = -4*o - 2*j. Solve 4 = -o*p + p for p.
4
Let s(r) = -r - 17. Let a be s(-17). Solve k + k = a for k.
0
Suppose -3*w + 16 = 5*x - x, 5*x + 10 = 0. Suppose -4*b = -w - 12. Solve -20 = -3*s - b for s.
5
Suppose 5*g = 57 + 48. Suppose 2*k - g = -0*f - 5*f, f + 6 = 3*k. Solve f*o + 21 = 6 for o.
-5
Let n = 58 - 56. Solve 0 = -x - x + n for x.
1
Suppose 0 = 5*l + 38 - 48. Solve 2*h = l + 6 for h.
4
Suppose 4*v - 5*o - 31 = -0, o - 9 = -3*v. Solve -2*d = -6*d + v for d.
1
Let n(q) be the first derivative of -q**3/3 - 3*q**2 - 7*q + 1. Let i be n(-5). Let k be 0/((4/1)/i). Solve 5 = -k*t + t for t.
5
Suppose -2*q = 8, -6*q - 20 = -3*i - q. Solve 0 = -5*a - i*a + 5 for a.
1
Suppose x + 9 = 4*x. Solve x*q + q - 16 = 0 for q.
4
Let d(j) = -j**3 - 7*j**2 - 6*j. Let m be d(-4). Let p be 2/(-8) + 66/m. Let u = p 