g*h - 8 for h.
2
Suppose -5*o + 3*o + 12 = 0. Let u = -95 - -105. Solve 8*f + u = o*f for f.
-5
Let f be (1 - (-2 - -5))*-1. Let q(y) = -y**3 - y - 4. Let c be q(-2). Suppose -5*z + 4*r = -f*z - 1, c = 3*r. Solve 12 = z*h + h for h.
3
Let u(w) = 4*w + 2. Let p be -1 + ((-12)/(-4) - 0). Let a(r) = -2. Let l(g) = p*u(g) + 4*a(g). Let b be l(2). Solve b = 3*c - 0*c for c.
4
Let p(r) = -7*r**3 - r**2 + 2*r + 6. Let y(g) = g**3 - 1. Let f(z) = -p(z) - 6*y(z). Let q be (-21)/(-63)*(-12)/2. Let u be f(q). Solve 2*d + d = u for d.
0
Suppose 19*v - 12 = 13*v. Suppose v*l + 30 = 5*l. Solve o = -o - l for o.
-5
Suppose -20 = -0*w - 4*w. Suppose -3*u - 4 = -22. Suppose -94 = -w*z + u. Solve -a = 4*a + z for a.
-4
Suppose s + 2*q = 6 + 12, -3*s = -4*q - 74. Let w = s - 22. Let g(f) = -f**2 + 7*f + 5. Let h be g(7). Solve -h*o + w*o = -15 for o.
3
Suppose -2*g + 2*u - 2 - 2 = 0, -5*u = -25. Suppose 29 - 14 = g*w. Suppose 4*o - 33 = w*s + 24, s - 19 = -3*o. Solve -o = 5*q - q for q.
-2
Suppose -13*v = 188 - 721. Solve -13*s = 2 - v for s.
3
Let g(x) = -x + 21. Let m(b) = 2*b - 62. Let l(d) = 11*g(d) + 4*m(d). Let u be l(-7). Suppose 23 = -u*p + 63. Solve 0*o = 2*o + p for o.
-5
Suppose 7*z = -3*z + 2*z. Let p(i) = 2*i - 3*i - 5*i**2 - 5 - 10*i**3 + 9*i**3. Let f be p(-5). Solve f = k - z*k for k.
0
Suppose 5*g + 4*h = 14, -4*h = -0*h - 4. Let x be 10/((g + -3)*-1). Suppose -3*y + 0*y = -4*t + 35, 3*t + x = -5*y. Solve 0*l = -t*l + 10 for l.
2
Suppose -73 = 4*k + 3*v - 6*v, 5*v + 47 = -k. Let c = 41 - 16. Let p = k + c. Solve 0 = 2*i - i - p for i.
3
Let d be 14/49 + 104/28 + 4. Solve -d = 4*m - 28 for m.
5
Let p = 149 + -141. Suppose 12*y - p*y - 28 = 0. Solve y = -3*i - 2 for i.
-3
Let k = 12 + -7. Let z(m) = -m + 1. Let v be z(-3). Suppose -v*d = 4*h - 28, -2*h + 1 = -h - 2*d. Solve -k*i + 4*i = h for i.
-5
Let w(h) = -7*h. Let j be w(2). Let t = j + 16. Let b = -1 + t. Solve x - b + 5 = 0 for x.
-4
Let l = 14825 + -14825. Let a(t) = t + 8. Let x be a(-5). Suppose -5*m + 19 = 3*v - 4*v, v + 13 = x*m. Solve 3*g = -l*g + m for g.
1
Let z = 11 + 10. Suppose 0 = -4*u + z - 5. Suppose 0 = 3*b, l + 4*l + 5*b - 10 = 0. Solve u*c = l*c for c.
0
Let d be 9 + ((-8)/1)/2. Suppose d = x - 0. Solve -4*a + 15 + x = 0 for a.
5
Let y = -205 - -208. Solve 19 = y*v + 4 for v.
5
Let a be 1/1 - -3*(-40)/(-24). Solve 8*s = a*s - 8 for s.
-4
Let p(m) = m**2 - 9*m + 16. Let r be p(7). Let u be (-3)/1 + r - -3. Suppose u*n = -n. Solve n = h - 4 - 0 for h.
4
Suppose 0 = c - 4, -w - 5 + 4 = 2*c. Let f = 2 - w. Solve -f*a + 7*a = 4 for a.
-1
Let m(r) = r**3 - 9*r**2 - 8*r - 12. Let t be m(10). Solve 5*c - c = -t for c.
-2
Suppose -6*z = 35 - 11. Let w(i) = -i. Let h be w(z). Solve 1 = u + h for u.
-3
Let t be 15/(-4)*200/(-125). Solve 6*l = 12*l - t for l.
1
Suppose -4*d = 4*d + 3*d. Solve d*o + 2 = -o for o.
-2
Let w(q) = -q**3 - 6*q**2 + 14*q + 51. Let a be w(-7). Solve -36 = a*j - 32 for j.
-2
Suppose 2*y = -3*y + h, 2*h = -y. Solve y = -5*b - 9 - 1 for b.
-2
Suppose 15 = 5*n - 6*y, 4*n + y + 0 = 41. Let q(k) = k - 5. Let t be q(5). Suppose t = -o + 4*o - 12. Solve w = o*w + n for w.
-3
Let i(g) be the second derivative of g**5/20 - 2*g**4/3 - g**3/6 + 5*g**2 + 8*g. Let c be i(8). Solve 6 = -c*r - 0 for r.
-3
Suppose 0 = j - k + 1, 9*j - 16 = 10*j - 4*k. Solve 0 = j*n + 2 - 6 for n.
1
Let l be 2*(-1)/((-4)/6). Let a = 53 - 57. Let j be (-21 - a/(-2))/(-1). Solve 8 = -l*t + j for t.
5
Let n be (-1458)/(-90) - 2/10. Solve -9*t - 2 = n for t.
-2
Suppose -18 = -3*u + 2*f + 8, 2*u = 2*f + 18. Let m(s) = 4*s - 26. Let x be m(u). Solve d - 2 = -x for d.
-4
Suppose 38*t = 145 + 121. Solve t*v + 4 = -31 for v.
-5
Suppose -2*j = -c - 53, c + 0*c - 115 = -4*j. Solve j = 5*a + 8 for a.
4
Let u = 45 - 44. Solve -3*s + 10 - u = 0 for s.
3
Let r = -45 - -57. Suppose 3*c - r = -k, 4*k + 4*c - 9 = 5*c. Solve -k = -2*a + 1 for a.
2
Let d(q) = -q**3 + q**2 + q + 13. Let y be d(0). Suppose k + 3*i - 2*i = y, -4*i = 3*k - 34. Let o be (-4)/k + 2/9. Solve -15 = -o*b + 3*b for b.
-5
Suppose 0 = 5*a + 12 + 13, -h = -a - 13. Solve -6*o = 2 - h for o.
1
Suppose 3*d + 6 = -i, d + 2*i = -d. Let g be 6 - d/(-5 - -2). Suppose g*y - 39 - 61 = 0. Solve -2*t - 3*t = y for t.
-4
Let n be -2 - (-1)/(2/(71 + 1)). Let u = n - 32. Solve 16 = u*k - 6*k for k.
-4
Let d(f) = -17*f**2 - 21*f + 3. Let l be d(-3). Let k = 97 + l. Solve 5*a = 3*a + k for a.
5
Let r(u) = -4*u - 16. Let y be 0*(0 + 4/(-4)). Suppose -4*p + 4*n - 16 = 0, -p - 2*p + 4*n - 9 = y. Let q be r(p). Solve -4*s = -s - q for s.
4
Suppose -10*r + 29*r = 228. Solve -3*o = o + r for o.
-3
Suppose -3*d + 37 = 5*n, 5*d - 60 = 4*n + 14. Suppose -j - d = -8*j. Solve 0*p - 8 = -j*p for p.
4
Suppose 5*u - 48 + 18 = 0. Solve 0*y = -3*y + u for y.
2
Let o = -3 + 9. Let q be (-4)/(-5 + 1 + 3). Suppose i - q*i + o = 0. Solve i*r = r for r.
0
Let n be 9/((-180)/8)*(-22 - -2). Suppose f = -x, 3*f = x - 2*x + n. Solve -s = -f*s for s.
0
Suppose 4*f + 3 = 4*j + f, 3*j = 3*f. Suppose -2*n = 3*x - 15, j*n = 3*x + 3 - 18. Solve 5*l + n = 5 for l.
1
Suppose 8*n - 25 = -n + 4*n. Let j = 0 - -12. Solve n*u = u + j for u.
3
Let c(d) = 22*d - 236. Let j be c(13). Solve 4*x = -66 + j for x.
-4
Let d(i) = -9*i**3 + i + 1. Suppose 0 = 4*z + 5*f + 14, -f - 7 = -z + 3*f. Let b be d(z). Suppose 0*q - q = -b. Solve -y = 2*y + q for y.
-3
Let d(l) = 4*l**2 - 18*l + 11. Let g(b) = b**2 + 1. Let y(j) = d(j) - 5*g(j). Let s be y(-18). Solve -3*f + s + 3 = 0 for f.
3
Let d be (-1)/(-1 + 6/7). Suppose 2*m + 8 = 0, x - 2*m - 14 = -2*x. Suppose k - 3 - d = -2*p, 0 = x*k + 5*p - 24. Solve 0 = k*w + 1 + 3 for w.
-2
Suppose -5*g - 4*v + 16 = 0, 4*g - 3 - 1 = -v. Suppose g = -3*m + 4*m. Suppose 3*x - 403 = -403. Solve m = -5*n - x + 5 for n.
1
Let n(w) = -18*w - 14. Let c be n(-3). Solve c*m - 38*m = -8 for m.
-4
Let a = -6 - -11. Let o = -20 - -90. Let t be o/28*4/(1*2). Solve a*q + t + 5 = 0 for q.
-2
Let a(g) = -g**3 + 3*g**2 - g + 1. Let r be a(2). Solve -c - 1 = r for c.
-4
Let x(n) = 4*n**3. Let t be x(1). Suppose -q = -t*w - 0*w + 20, -4*w = 5*q - 44. Let k(u) = u**3 - 2*u**2 - u - 3. Let g be k(3). Solve 3*c = -w - g for c.
-3
Suppose 50*b = 838 - 188. Solve -34 = -b*w + 30*w for w.
-2
Let h be ((-2)/6)/(3/36). Let c be 3 - ((h - -4) + -1). Solve 12 = -c*t - 0 for t.
-3
Suppose 0 = -256*m + 244*m + 24. Solve -20 = 6*n - m*n for n.
-5
Let j = 14 - 10. Let u be 0/(11/((-55)/10)). Let y be 12 - 8 - (u/(-2) + 2). Solve 0 = -y*k - 2 - j for k.
-3
Let p be 10 + 2/6 + (-156)/36. Solve p = 5*d + 1 for d.
1
Let u = -549 + 529. Let z(s) = -2*s**2 + 9*s. Let p be z(6). Let v = p - u. Solve v*o - 5*o + 3 = 0 for o.
1
Suppose -47*h = -53*h + 12. Solve h*r + 3 = -r for r.
-1
Let g be (-8)/(-12)*6 - 1. Let p = 12 + g. Suppose 40 = r + 3*r. Solve -5*x - r = p for x.
-5
Let j(t) = -t**2 - 6*t + 5. Let i(b) = -2*b - 1. Let s be i(2). Let v be j(s). Suppose 11 = 4*u - 5, 0 = k + 2*u - v. Solve k*a = -3*a - 5 for a.
-1
Let m be (10 + 62/(-5))/((-2)/10). Solve 22*q = 19*q - m for q.
-4
Let r(l) be the third derivative of l**6/60 - l**5/60 - l**4/12 - l**3/6 + 6*l**2. Let p be r(2). Suppose 8 + 27 = 7*b. Solve -3*t - b = p for t.
-4
Let k(j) = 2*j**3 - 2*j**2 - j - 1. Let m be k(2). Let a(o) = 58*o - 506. Let s be a(9). Solve 0 = -v + m*v - s for v.
4
Let u = -147 + 148. Solve -x + u - 5 = 0 for x.
-4
Suppose 0 = 4*t + 5 - 5. Suppose 0 = 2*w + 2, -4*c = 3*w + 6 - 3. Let d be c/(-1*3) - -10. Solve -d + t = -2*q for q.
5
Let a = 54 + -69. Let y = 24 + a. Solve -2*k = k - y for k.
3
Suppose 3*n = -5*c + 388 + 91, 3*c + 5*n = 297. Let t = 98 - c. Solve 5 = -t*w - 3 for w.
-2
Let b(c) = -c**2 + 19*c + 3. Let y be b(19). Solve y = 4*r + 7 for r.
-1
Let u be (5 - 0 - (3 + -5)) + 1. Let a = 8 - u. Solve o - 5*o + 16 = a for o.
4
Let k(x) = x + 6. Let z be k(-3). Let d be -3 + z + (-23 - 1). Let v = d + 24. Solve v = 2*j + 11 - 1 for j.
-5
Let v(a) = a**2 - 18*a - 126. Let h be v(-9). Solve 5*c - 117 = -h for c.
0
Suppose 0 = 2*b - 3 - 1. Solve 15 = -3*z - b*z for z.
-3
Let a(h) = -2*h**3 - 35*h**2 + 16*h - 24. Let y be a(-18). Solve -4*u + 0*u - y = 0 for u.
-3
Let x be (0 + -1)*-2 + 6. Let p be 0/(((-48)/(-84))/(4/(-14))). Suppose g + x = d - p, -5*g = -3*d + 32. Solve n + d = 5*n for n.
1
Let t = 664 - 660. Sol