. Let o be h(-5). Let j be -2 + (-1)/2*o. Solve -g + 2 + 0 = j for g.
2
Suppose 4 + 0 = 2*r. Solve -u + 5 = r for u.
3
Suppose -5 - 3 = -2*q. Suppose q*p = p. Let i be (-10)/(-4) - (-3)/6. Solve -i*l - l - 16 = p for l.
-4
Let p be 16/(-20)*(-4 + -1). Solve 0 = 4*b - 6*b - p for b.
-2
Let l = -39 + 42. Solve -2*i = -l*i + 1 for i.
1
Let l(h) = 1 + 10*h + 12*h - 2. Let n be l(1). Suppose -3 - n = -3*i. Solve -4*q + i = -0*q for q.
2
Let s = -6 - -8. Suppose s*w = -2*w. Solve w = 4*z - 3*z for z.
0
Let l(c) = 2*c**3 + 4*c**2 + 4*c + 2. Let z be l(-2). Let h = 9 + z. Solve 2*i + 7 = -h for i.
-5
Let l = -19 - -11. Let m = -3 - l. Solve 3 - 8 = m*g for g.
-1
Let p be 0 - (2 - (3 - 4)). Let x = 1 - p. Solve 0 = x*c + 20 for c.
-5
Suppose 5*h - 3*q = 2*q - 40, -12 = -3*q. Let t = 3 - 5. Let s be 3 - t*(-10)/h. Solve -s*i - 5 = -3*i for i.
-1
Suppose -x + 4*x + 18 = 0. Let y be (0 - 3)*x/9. Suppose -4*a + 3*k + 28 = 0, -k = y*a + 3*k + 8. Solve 13 = -a*t - 7 for t.
-5
Let g(a) = 0 - 11 + 0 + 29*a - 28*a. Let j be g(5). Let w(p) = -p**3 - 5*p**2 + 6*p + 6. Let i be w(j). Solve r = -2*r + i for r.
2
Let z = 31 + -13. Let u = z - 13. Solve 4*r - 15 = u for r.
5
Suppose 2*c - 4*x + 16 = 0, 3*c + 3 + 1 = x. Solve c = s + s + 8 for s.
-4
Suppose 0 = u + 1 + 2, 3*x = -2*u. Solve 0 = 4*w + x + 2 for w.
-1
Let m be 3 + (-2)/2 + 0. Let u = 43 - 34. Solve m*l = 5*l + u for l.
-3
Let m = -4 - -33. Solve -5*y - 4 + m = 0 for y.
5
Let l(b) = -b**3 + 11*b**2 - 8*b - 1. Let c be l(10). Solve -4*f - c + 3 = 0 for f.
-4
Let p(b) = b**2 + b + 6. Let s be p(0). Suppose 2*i - 2 = -5*g - 3, -s = -4*i - 2*g. Solve i*j = j for j.
0
Let j(k) = 5*k**2 + k - 1. Let a be j(1). Let d(q) = q**3 - 16*q**2 + 16*q - 12. Let h be d(15). Let r be h/5 - (-22)/a. Solve -v = -r*v + 16 for v.
4
Let v = -1 + 4. Let g be (3 - v)/(1 + -2). Solve g = 5*q - 0 + 10 for q.
-2
Let a(d) = -d**2 + 4*d + 3. Let z be a(4). Suppose 4*x - 6*c = -c + 36, -3*c = z*x. Let l(p) = -p**3 + 6*p**2. Let g be l(6). Solve g*n = 4*n + x for n.
-1
Let m(s) = s**2 - 5*s + 5. Suppose -n = -0*c - 4*c + 19, -2*c + 6 = -4*n. Let r be m(c). Solve -3 = 4*i + r for i.
-2
Suppose -3*a + 18 = -0*a. Solve a = v - 3*v for v.
-3
Suppose -2*r + 16 + 0 = 0. Let v = 18 - r. Solve 0 = -i - i - v for i.
-5
Let v(n) = 4*n**2 + 2*n + 1. Let r be 1*1/(-2)*2. Let g be v(r). Suppose 4*d - 3*y = -y - 6, 0 = g*d - 2*y + 7. Solve -u = 4 - d for u.
-3
Let x = 6 + -7. Let v be (-5)/(-3) + x/(-3). Solve v*p = 7*p + 15 for p.
-3
Let h be (-5 - (-70)/15)*-18. Solve -2*f + 4 = -h*f for f.
-1
Suppose -2*d + 2 + 8 = 0. Solve d*h - 4*h = -4 for h.
-4
Suppose 8 = 5*q - 17. Solve -2*j - q - 1 = 0 for j.
-3
Suppose 5*v = -3*c + 13, c + 3*v - 27 = 7*v. Let a = -6 + c. Solve -a*t = -0*t for t.
0
Let z be (2/3)/((-6)/(-45)). Solve z*g - 1 = -26 for g.
-5
Let y be 2/(1 - 6/8). Suppose -z = 3*z - y. Suppose -8 = 3*d - 0*d + z*j, 3*d - 2*j - 8 = 0. Solve -a + 3 = -d*a for a.
3
Let u(p) = p**3 + 21*p**2 + 18*p - 40. Let f be u(-20). Solve f*g = -2*g for g.
0
Suppose 0 = a - 7 - 2. Suppose 5*d = 5*v + 25, 4*d + d + 3*v - a = 0. Solve 0 = d*k + 10 - 1 for k.
-3
Let j be 2/9 - 4/18. Let i be 0 + (-2 - -2) + -2. Let a = 4 + i. Solve j = 3*t - 13 - a for t.
5
Let h be (2/4)/((-2)/(-8)). Suppose -h*x + 8 + 2 = 0. Solve 0 = -x*q + 20 for q.
4
Let c be -1 + (-26)/3*-3. Let f(i) = i**2 - 6*i + 4. Let n be f(6). Solve -n*a = a + c for a.
-5
Suppose 11 + 3 = 7*n. Solve 0 = -5*i + n*i - 15 for i.
-5
Suppose 2*o - 36 = 6*o. Let n = o - -12. Solve w + n*w = -4 for w.
-1
Suppose 5*q - 5*i - 25 = 0, 5 = -3*q + 2*i + 15. Solve q = f - 3*f for f.
0
Let m(g) = 11*g**3. Let x be m(-1). Let v = -8 - x. Solve -2*p = v*p for p.
0
Suppose 3*c - 16 = 4*p, 12 = -p - 2*c - 3. Let u = 2 - p. Solve 5*i = 16 + u for i.
5
Let n = 1 - -1. Let w = n + -2. Suppose 4 = 2*j - w*j. Solve -4*u - 10 = j for u.
-3
Let a = 0 + 0. Suppose 8 = 4*c - a. Suppose 10 = 4*t - c*t. Solve -5*l = 15 + t for l.
-4
Suppose 0 = 2*f + 2*f + 4*w - 32, 2*f = w + 7. Solve -f = 3*m + 7 for m.
-4
Suppose -3*t - 2*t = -10. Solve -4*i = -t - 2 for i.
1
Let z be 12/66 + 126/33. Solve -31 = z*y - 11 for y.
-5
Let u(j) be the third derivative of j**6/120 - j**5/30 - j**4/12 + j**3/6 - 2*j**2. Let d be u(2). Let b = d + 4. Solve -m = -2*m + b for m.
1
Let f(y) = y**2 + 3*y - 13. Let u be f(3). Solve 0 = -4*w - w + u for w.
1
Suppose l + 2 + 21 = 0. Let x = -17 - l. Solve c = -2*c + x for c.
2
Suppose 0 = -3*w + 9*w - 24. Solve -w*i + 21 - 5 = 0 for i.
4
Let i be 1/2 + 42/12. Solve -i*m + 4 = -6*m for m.
-2
Let t(z) = z**3 + 18*z**2 + 18*z + 20. Suppose 0*q = 3*q + 51. Let j be t(q). Solve -5 = -j*x + 4*x for x.
-5
Suppose 0 = x - 2. Suppose 5*d = g + 35, -2*d - x*d = -g - 29. Solve 0*c = -3*c - d for c.
-2
Suppose 10 = -l - 2*c, -4*l - 17 = 2*c - 7. Solve 7*n - 11*n - 4 = l for n.
-1
Let j = 1 + 1. Solve -j*w - 3*w = 0 for w.
0
Let l(n) = n**2 + 5*n - 6. Let a be l(-6). Suppose 3*k - x - 19 + 2 = a, 5*k - 45 = 5*x. Solve k = -0*u + 2*u for u.
2
Let v be (-16 - -11) + (7 - -1). Solve 2*x = -x - v for x.
-1
Let x(w) = w**3 - 8*w**2 + w - 2. Let j be x(8). Let v be j/(-27) + (-114)/(-27). Solve v = 2*r - 4 for r.
4
Suppose t - 5*x - 11 = 0, -2*t - 4*x = 1 - 9. Solve 0 = 2*j - t*j + 16 for j.
4
Let c = 4 + 0. Let t = 1 - 0. Let y = t + 1. Solve -c = -s + y*s for s.
-4
Suppose -2*d = -3 - 1, 0 = 4*o + 3*d - 14. Solve 0 = -2*k - 8 - o for k.
-5
Suppose -2*h - t = -5*h + 12, 5*h + 5*t = 0. Suppose 1 = -r + h. Solve 6 - 2 = r*c for c.
2
Suppose 4*i = -c - 8, -9*c + 4*c + 4*i = -8. Let f = -8 + 11. Solve c = -f*l + 5 + 7 for l.
4
Let b be (-4)/8*(1 - 1). Solve b = 6*h - 5*h + 3 for h.
-3
Suppose 0 = -3*s + 4*s - 5. Suppose 0 = s*u - 10 - 0. Solve -u*v = 8 - 0 for v.
-4
Let f(i) = -i**3 + 8*i**2 - 6*i - 6. Let v be (-2)/(-3) + (-38)/(-6). Let h be f(v). Solve -3*p = -4 + h for p.
1
Suppose 2*k + 4 = 3*k. Solve -z - z = k for z.
-2
Let d(c) be the third derivative of -c**6/120 + 2*c**5/15 + c**4/24 - 2*c**3/3 + 3*c**2. Let b be d(8). Suppose t - b = -0. Solve s + s - t = 0 for s.
2
Let r = 3 - 1. Suppose -3*n + 16 = 4*m, -r*m = 3*n - 5 - 3. Suppose -3*p = -m*a - 12, -p + 2 + 2 = -2*a. Solve a = -j + 4*j for j.
0
Let f = -21 - -25. Solve 0*x + 4 = f*x for x.
1
Suppose -2*u - 15 = 3*d - 4*d, 4*d + 3*u - 5 = 0. Suppose -2*n = 5*r + 2*n + 5, 5*n = 0. Let j = r - -3. Solve -j = d*b - 27 for b.
5
Let l(f) be the third derivative of -f**6/120 - 2*f**5/15 - 7*f**4/24 + 2*f**3/3 - 4*f**2. Let y be l(-7). Solve 0 = -3*c + 2*c + y for c.
4
Let y = 4 + 16. Solve -s - y = -6*s for s.
4
Suppose 58 = 8*m - 102. Solve -i - 3*i = m for i.
-5
Let f = 6 + -11. Let a be 0 + -3 - 1*f. Solve 5*c = -a - 13 for c.
-3
Suppose -48*i + 8 = -44*i. Let d(y) = -4*y**2 + 2*y + 3. Let x(h) = -13*h**2 + 6*h + 10. Let l(n) = -7*d(n) + 2*x(n). Let u be l(i). Solve 0*f = -u*f for f.
0
Suppose 4*m - 1 = 23. Let l = m + -6. Solve 4*y = -l - 4 for y.
-1
Let z(w) = -5*w + 63. Let b be z(12). Solve 3*n - b = -0*n for n.
1
Suppose 0 = -13*z + 14*z. Suppose -14 = -0*t - 3*t + 2*s, 2*t + 5*s - 22 = 0. Solve z = t*l - l + 20 for l.
-4
Let p = -6 - -22. Suppose p*a = 20*a - 12. Solve -2*l = -5*l - a for l.
-1
Let w = 1 - 1. Let c be (56/12)/((-4)/(-6)). Let d = 24 - 22. Solve w = -d*a + c*a for a.
0
Let k(c) = c**2 + 9*c - 7. Let i = -20 + 10. Let o be k(i). Suppose 5*h + 4*j = o, 3*h - 2*j - 19 = -4. Solve -15 = h*x - 8*x for x.
3
Suppose 63 = 5*i - 3*h, -2*h + 3*h = -1. Solve r + i = -2*r for r.
-4
Let m(w) = 2*w - 4. Suppose -3*b + 20 = 2*b. Let v be m(b). Suppose -v*t - 34 = -5*j, 3*t + 2*t + 35 = 5*j. Solve -z = -j*z + 5 for z.
1
Suppose 4*j = 5*j - 2*u - 7, -5*j = -3*u - 21. Let w = j + 1. Solve -2*g = -0*g - w for g.
2
Let h(z) = z**2 - 2. Let b be (-44)/7 + (-4)/(-14). Let q be (-3)/(9/b) + -4. Let l be h(q). Solve 10 = -l*v - 0 for v.
-5
Let h(s) = s**3 - 3*s**2 + 4*s. Let v be (-15)/(-6)*12/10. Let w be h(v). Suppose c + c = -3*x + 31, x = c + w. Solve -3*n - x = 4 for n.
-5
Suppose 5*d - 35 = 15. Solve -5*s = -0*s - d for s.
2
Let j(a) = 6*a**3 - 2*a + 1. Let w be j(1). Let s = -12 - -16. Let c(r) = r**3 - r**2 - r + 11. Let d be c(0). Solve 0 = -w*g - d - s for g.
-3
Let n(j) = j**3 + 5*j**2 - 7*j - 5. Let o be n(-6). Solve -s = -4 + o for s.
3
Suppose 5*d + o -