= -g + 20 for g.
-4
Let n = -510 - -518. Solve n = 3*i + 2 for i.
2
Suppose v + b - 3 = 4*v, 3*v = -5*b + 15. Suppose 5*a - 13 - 7 = v. Suppose 0 = -2*n + 2*d + 12, 0*n + 3*d = -a*n + 10. Solve 3*f + n = 7*f for f.
1
Let q(h) = -4*h**2 + 21*h - 2. Let w be q(5). Solve -w*i - 8 + 2 = 0 for i.
-2
Let q(j) = 2*j**2 - j + 10. Let r(p) = p**2 + 5. Let c(f) = 6*q(f) - 11*r(f). Let b be c(5). Solve -2*i = -b*i - 10 for i.
5
Let b = -350 + 355. Solve y - 4 = b*y for y.
-1
Let p be 0 - (-3)/(9/21). Suppose l = -s - 2*l - p, 5*l + 5 = -3*s. Solve -5 = -5*z + s for z.
2
Let b = 10 - 5. Let j be (12/(-8))/((-1)/2). Suppose -2*t = -2*r + j*t + 29, -2*t - 12 = -r. Solve -a + r*a = b for a.
5
Suppose -3*x = -6*x. Suppose -4*m = -q, x*m - 5*m + 5 = 0. Let w be 0 + (0 - (-14 + 1)). Solve q*z + w = 1 for z.
-3
Let z(d) = -d**3 - 19*d**2 - 15*d + 47. Let t be z(-18). Let u(g) = -g - 2. Let n(b) = -1. Let f(j) = 2*n(j) + u(j). Let y be f(t). Solve -1 = -2*o - y for o.
-1
Let b(w) = w**3 - 13*w**2 - w + 13. Let f = 4 - -9. Let o be b(f). Suppose -2*d + o = 2*l - 2, -d - 2*l - 2 = 0. Solve -1 = d*q - 5 for q.
1
Let p = -1 - -5. Suppose 0 = -p*z - 3 + 19. Suppose 0 = 3*s - z*w - 5 - 4, w = 0. Solve 0*f + f = s for f.
3
Let r = 63 - 50. Suppose 4*n - 2*u - 3*u = r, -5*n + u = -11. Suppose 0*k = -3*k. Solve -2*i - 6 + n = k for i.
-2
Suppose -l + 2 = -10. Let v be -2*(-1)/(-6)*-9. Suppose v*k + 0*k - l = 0. Solve -2*b + 0 + k = 0 for b.
2
Let b = 13 - 13. Suppose -t + 6*t - m = -112, -5*t - 4*m - 102 = b. Let y = 28 + t. Solve y = -2*z + 2 for z.
-2
Suppose 2*o + 5*v - 2 = 0, 8*o - 4*v = 5*o + 49. Solve -o + 11 = a for a.
0
Let t(v) = -v + 10. Let p be t(6). Let b be (-43)/(-43) + 1*(-1 - 0). Solve k - p + 2 = b for k.
2
Let j(r) = -7*r - 12. Let y be j(-2). Solve -y*z = -4*z - 3*z for z.
0
Suppose 3*y = o - 3, o - y - 5 + 4 = 0. Solve 0 = -o*p - 2*p + 8 for p.
4
Suppose 8 = -22*x + 74. Solve 11*j = x*j + 8 for j.
1
Suppose -g - 2*g + 2*c + 13 = 0, -3*c - 18 = -3*g. Solve 0 = y - g for y.
1
Suppose -9*w + 14 = -40. Let c be 15/w + 1/2. Solve -4*a - c = -a for a.
-1
Let f be 1/(-4) - 34/(-8). Suppose 3*q + 2*c - 16 = 0, c - 2 = f*q - 5. Solve q*x - 5*x = 0 for x.
0
Let s = 5 - 1. Let v be 30/s*4/6. Suppose 2*q + 34 = 36. Solve -2*n = -v - q for n.
3
Let n be (4 - 1 - 5)/((-2)/(-21)). Let d be 6/n + 23/7. Solve g - 10 = d*g for g.
-5
Let y(g) = 4*g - 17. Let x be y(7). Suppose 5*j - 15 = -5*o, -x + 41 = 3*j - 4*o. Solve j*h - 9 = 3*h for h.
3
Let y(h) = 7*h - 45. Let o be y(7). Solve o*j = 10*j for j.
0
Let i be -2*4*(-3)/(-24). Let w = 2 - i. Solve 0*c = -c - w for c.
-3
Let b be (-24)/56 - 38/(-7). Suppose 5*k + w - 8 - 7 = 0, -b*w - 9 = 4*k. Suppose -2*a - 4 = -2*q, -2*a = -k*a - 4. Solve q = 3*i - 0*i - 9 for i.
3
Let d(y) = 9*y**2 + 25*y - 5. Let i be d(-5). Solve -5 = 90*f - i*f for f.
1
Suppose -l - 14 = -4*k, -8*k + 10*k + 5*l = 18. Solve -n + 6 = k for n.
2
Let l = 20 - -2. Suppose 4*z + s - 17 = 0, 3*z - 13 = z - 5*s. Let t(m) = 7*m - 29. Let r be t(5). Solve -z*o + r = l for o.
-4
Suppose o = -z + 2, 9*z - 13*z - 8 = 0. Let g be 4/(-14) - (-410)/14. Solve -9 + g = o*p for p.
5
Let n be (-10)/(-35) - (-38)/14. Solve -8*y = -11*y - n for y.
-1
Suppose 0 = -105*s + 103*s + 50. Let u be -2*(-1 + (-3)/1). Solve u*k = 3*k - s for k.
-5
Let w = 40 - -6. Let n = w + -42. Solve n*y + 3 = -1 for y.
-1
Let b be ((-20)/50)/(1/5). Let i = 0 + b. Let p = 2 - i. Solve -3 + p = -v for v.
-1
Let c(o) = 2*o**3 - o**2 - 3*o - 1. Let h be c(2). Let y(g) = g - 3. Let x be y(h). Let d be (-4 + 2 - x) + 7. Solve -t + d + 1 = 0 for t.
4
Let g = -12 - -12. Suppose 4*d = -g*d - 112. Let k be d/(-3 + -1) + -2. Solve 0*h = 5*h - k for h.
1
Suppose d + 5*u = -17, -5*d + 16 = -2*u - 7. Suppose -4*b = f, 2*b = 4*b + d*f. Solve -y + b = 3 for y.
-3
Suppose 4*h + 10 = s - 3*s, -2*h = 10. Suppose 0 = -2*f + s + 13. Suppose -f = -d - 2*d. Solve -2*b - d = 1 for b.
-2
Suppose -5*c + 25 = -5*d, -19 = -3*c + 3*d - d. Let l(m) = 24*m**2 - m. Let a be l(-1). Suppose -3*x + 19 = 7. Solve -x*i = -c*i - a for i.
-5
Suppose -126*z + 122*z = 0. Solve 4*g + z = -8 for g.
-2
Let m(h) = -7*h - 4. Let a be m(-1). Solve -a*y + 1 = -2 for y.
1
Suppose -81 = -25*v - 2*v. Solve -2 = -v*y - 8 for y.
-2
Let d = -7 + 14. Suppose -a - r = -5, -d = -a - 2*a + 5*r. Solve -a*q = q + 10 for q.
-2
Let c be 1*(-1 + 3) - 4. Let t be (22/(-55))/(c/10). Solve -10 = -4*s + t*s for s.
5
Suppose -2*t - 40 = -22*t. Solve 43*z - 41*z + t = 0 for z.
-1
Let r(w) = 4*w**2 + 6*w + 6. Let d be r(-1). Solve -d - 4 = 2*m for m.
-4
Let n = 111 - 58. Suppose 48*s - n*s = -20. Solve 0 = -g + s - 3 for g.
1
Let c = -635 - -660. Solve 2*l = 7*l - c for l.
5
Let j be (-4 + (-35)/(-10))/((-1)/18). Solve -2*c = -1 + j for c.
-4
Suppose 3*l = l - a + 7, 2*l - 3*a = 19. Suppose 0 = -k - 2*k + q + 17, 5 = -q. Let z(g) = g + 8. Let i be z(-5). Solve 0 = l*x - i*x - k for x.
2
Suppose 5*k = 4*y + 60, -6 + 36 = 5*k + 2*y. Solve -k = -5*o - 3 for o.
1
Suppose -5*i = -2*o - 9, 4*i + 0*o = -o + 15. Solve -3*l - i - 12 = 0 for l.
-5
Suppose 0 = 2*i - 220 + 76. Let y = -69 + i. Solve 2*h + 15 = -y*h for h.
-3
Suppose 15 + 5 = 5*y. Suppose -y*f - 8 = -8*f. Solve 0 = -f*k + 4*k for k.
0
Let x(g) = g**3 - 2*g**2 - 4*g + 2. Let u be x(3). Let y(f) = f**2 + f. Let b be y(u). Solve b = t - 0*t - 5 for t.
5
Let n(i) be the first derivative of -i**5/120 + 11*i**4/24 + 2*i**3 - 3. Let s(t) be the third derivative of n(t). Let d be s(6). Solve 2*y - 3 = d for y.
4
Suppose -3*z = -2*f - 23, -2*z + 3*z + 5*f = 19. Suppose m + 7 = 4*w, -2*w - 2*w = 4*m - 12. Solve -w*p = p + z for p.
-3
Let g = 28 - 15. Let r = g - 10. Solve 0 = -2*s - s - r for s.
-1
Let o = 76 + -76. Suppose g + o*z - 5*z - 20 = 0, -3*g - 5*z = -80. Solve 0 = -0*q + 5*q + g for q.
-5
Let y = 34 - 87. Let f = 60 + y. Solve u + f = 3 for u.
-4
Let z be 34/18*1 + 48/432. Solve -z*i + 2 - 6 = 0 for i.
-2
Let s = -204 - -207. Solve s*j + 5 = 2*j for j.
-5
Let t = -13 - -14. Suppose 3*j - 16 = -t. Suppose 4*n + s + 4 = 5*n, -2*n - j*s - 6 = 0. Solve n*u - u = -2 for u.
-2
Suppose 13*k - 5*k - 16 = 0. Let w(t) = -t**2 + 4*t + 6. Let c be w(5). Let d be (2/2 + 3)*c. Solve 0 + d = -k*v for v.
-2
Let l be 24/(-3)*(2 + -3). Solve -3 = t - l for t.
5
Let w be (-1)/(8/3 - 3). Let k be 6/w + 2 + 28. Let n = k + -29. Solve n*i = 7 + 5 for i.
4
Let n(z) = -z + 3. Let u be n(-1). Let p(g) = -3*g**2 + 5*g - 6. Let d be p(u). Let j = d - -34. Solve 2*s - 2 + 10 = j for s.
-4
Let f = 678 + -660. Solve 14*n - 8*n + f = 0 for n.
-3
Let d(a) = -2*a + 32. Let w be d(8). Solve -6*z + w = 10*z for z.
1
Suppose 34*x - 80 = 18*x. Solve -8*w + x*w = -6 for w.
2
Suppose -29 = -9*q - 2. Suppose -q*i = -14 - 10. Solve 4 = m + i for m.
-4
Suppose 11*w = 9*w. Suppose 0 = -4*l + y - w - 5, y = l + 5. Solve -2*k = -l*k + 4 for k.
-2
Suppose 13 = 3*l - 2. Suppose 3*w - 4*w = m + 3, -m = -l*w - 27. Solve m*s = -2 - 6 for s.
-4
Let h(d) = -5. Let r(n) = n. Let p(j) = h(j) - 2*r(j). Let g be p(-5). Solve -w = -g*w for w.
0
Let k = 1526 - 1520. Solve 19*h + k = 17*h for h.
-3
Let i be 52/6 - (-1)/3. Suppose -9 = -4*q + 2*v + i, 4*v = -4*q. Let s(n) = n - 1. Let w be s(4). Solve 2*k - q = w*k for k.
-3
Suppose 4*f - 4*x - 2 = -2*x, 3*f + 5*x = 21. Let m(h) = 3 + 2*h - 9 - 5*h + 29. Let d be m(5). Solve d + f = -2*q for q.
-5
Suppose x = -4*p + 113, -9*x - 29 = -74. Solve p*q = 28*q - 3 for q.
3
Let h = 14 - 2. Let m(z) = 2*z + 10. Let r be 0/(-2) + (-9 - -4). Let g be m(r). Solve g = 2*p + p - h for p.
4
Let n(k) = 26*k**2 + k - 2. Suppose -4 = -g + 3*g. Let a be ((-4)/(-20))/(g/(-10)). Let j be n(a). Solve -5*l = -10*l + j for l.
5
Let u = -75 + 78. Suppose u*s = -6*s + 27. Solve -2*x - s*x = -20 for x.
4
Let o = -299 - -301. Solve w + 1 = o for w.
1
Suppose -u + 3*k + 11 = 0, -16 = 12*k - 16*k. Solve 1 = u*a + 47 for a.
-2
Suppose 5*f - 5 - 5 = 0. Let u be 1 - (3/1 - 6). Suppose -5*n - u*g + 30 = 0, -5*n + 6*g + 30 = 3*g. Solve 0 = 2*q - f + n for q.
-2
Suppose -1 - 2 = 3*a. Let h be -2*(10/(-4) - a). Suppose 0 = -11*c + 10*c + h. Solve 0 = c*b - 0 - 6 for b.
2
Let j(l) be the third derivative of l**5/60 - l**4/3 + l**3/3 + 2*l**2. Let o be j(8). Suppose o*h = 4*h - 30. Solve -4*s + s = h for s.
-5
Suppose 0*m = -4*b + m + 29, 4*m =