*y = g - 5 for y.
1
Let g = 0 + 0. Suppose r - 1 + 0 = g. Solve 2 = -j - r for j.
-3
Let n(s) = 5*s**2. Let r be n(1). Solve -g - 12 = -r*g for g.
3
Suppose o = -5*g + 18, 5*o + 4*g = 26 + 1. Solve 4 = o*d + 13 for d.
-3
Let z(v) = -v + 6. Let c be z(5). Solve p = -3 - c for p.
-4
Let b be (-12)/(-3) - 7 - 15. Let n be (-14)/(-6) + 6/b. Solve -n = -2*g + 4 for g.
3
Let f be (4 + -3)*(0 + -1). Let d be (2/6)/(f/(-9)). Solve 2*s + d*s + 10 = 0 for s.
-2
Let m(r) be the second derivative of r**5/20 + r**4/4 - 3*r. Let n be m(-3). Suppose -4 = -x - n*x. Solve -x*s + 10 = -2 for s.
3
Let a(y) = -2*y**3 - 2*y**2 - 1. Let l be a(-2). Suppose -l*x + 20 = -2*x. Solve x*o + 4 = -4 for o.
-2
Suppose -2*u + 65 = -0*b + 5*b, 5*b - 85 = 2*u. Suppose w - 3*w = 4. Let t(a) = 2*a**2 + 4*a + 3. Let j be t(w). Solve b = 2*s + j*s for s.
3
Let l(t) = -6*t - 1. Let f(d) = -d. Let v(u) = u**3 + 4*u**2 - 2. Let i be v(-4). Let b(h) = i*f(h) + l(h). Let a be b(-1). Solve a*g = -g + 4 for g.
1
Let v = -12 + 24. Solve s = 4*s + v for s.
-4
Suppose -5*z - 6*m - 6 = -2*m, -5*z + 22 = -3*m. Solve -a - 3 - z = 0 for a.
-5
Let x = -10 + 19. Suppose 4*v = 4*b - 8, 5*v + 2*b - 16 = x. Solve -v*r - 2 = 4 for r.
-2
Let n = 6 + -4. Suppose -m = 5*r - 21, -m + n*r = -3*m + 10. Let a be 5*1/(5/4). Solve x + m = -a for x.
-5
Suppose 23 - 79 = 2*y. Let f = -18 - y. Let d = f + -7. Solve -d*h - 8 = h for h.
-2
Suppose 8*n = 4*n + 44. Let l = n - 6. Solve -l*o = 15 + 10 for o.
-5
Let n = 4 - 10. Let g be (4 - 1) + n + 3. Solve g = -5*t - 6 + 11 for t.
1
Let n = 10 - 6. Solve -2*u + n = -6 for u.
5
Let l = 71 - 71. Let s = -6 - -3. Let d = l - s. Solve -m = d*m for m.
0
Let p(n) = n**2 - 4*n - 4. Let t be p(5). Let s be 2*(11/2 + -3). Suppose -4*d + 2*y = -2, 1 = 5*d - s*y + 6. Solve -q = t + d for q.
-3
Suppose g = -11*g + 24. Solve -g*r + 0 = 10 for r.
-5
Let h = 4 - 1. Solve 2*t = -1 + h for t.
1
Suppose 0 = -4*u + 3*n + 21, 2*n - 15 = -4*u + 3*n. Let g(a) = -a**3 + 4*a**2 - 2*a + 2. Let s be g(u). Solve -3*r + s - 17 = 0 for r.
-4
Suppose -7 + 1 = -2*o. Let c = 6 - o. Solve 2*j + c = 3*j for j.
3
Let o(l) = -l**3 + 3*l**2 + 4*l + 2. Suppose -2*j + 3 + 5 = 0. Let w be o(j). Solve 0 + w = -r for r.
-2
Let y be (8 + -7)*(-5)/(-1). Suppose -5*d + 2*d + 25 = -y*o, -15 = 3*o. Solve d = -5*b - 20 for b.
-4
Let z be -1*13/((-2)/2). Suppose -4*w = 4*x - 3*w - 18, 5*x + 5*w - 30 = 0. Solve 0 = -3*k - x + z for k.
3
Suppose 3*t = 19 - 109. Let r be ((-24)/t)/(4/10). Solve 0 = -r*v - 3*v - 20 for v.
-4
Let u(n) = n + 0 - 3 + 5 + 4. Let z be u(0). Solve -a = -3*a - z for a.
-3
Let g be (-3 + 6 - 4)*-2. Solve -g*k - 9 = -1 for k.
-4
Let b(y) = -y**2 + 6*y - 4. Let p be b(4). Solve p*s - s + 3 = 0 for s.
-1
Let x be (-2 - -3)*0/1. Let d = 1 + x. Solve -2*r = -3 + d for r.
1
Let i = -8 + 12. Solve 4*a - i = -8 for a.
-1
Let j(l) = -l + 7. Let i be j(5). Suppose 8 = 5*z - h, i*h + 2*h = 3*z + 2. Let w(o) = -o + 6. Let d be w(6). Solve d = z*t - 8 for t.
4
Suppose 0 = -3*h - 37 + 55. Solve -9 = 3*j - h*j for j.
3
Let h(x) = -1. Let t(f) = -f + 5. Let z(y) = -5*h(y) - t(y). Let j be z(8). Solve m = j - 3 for m.
5
Suppose 0 = -3*b - 4*r - 24, 2*b + 5*r = -9 - 7. Let j be 2/(-7) + b/(-28). Suppose m = 3*u - 24, -4*u = -j*m - 3*m - 32. Solve -a + u = a for a.
4
Let x(f) = f**3 - 4*f**2 + f. Let w be x(4). Suppose -r - 12 = -d - d, 6 = d - r. Let s = d - w. Solve -s*z + 6 = -0*z for z.
3
Let s = 244 + -241. Let j(k) = k**3 + 5*k**2 + 3*k - 2. Let g be j(-4). Solve g*x = -s*x for x.
0
Let k = -37 + 41. Solve -1 + 21 = k*q for q.
5
Let n be 3/(-6)*-2 - -3. Solve -u = u + n for u.
-2
Let s(k) = -2*k + 8. Let p be s(4). Solve 5*n - 15 - 5 = p for n.
4
Let l(q) = -q**3 + 6*q**2 - 3*q - 5. Let z be l(5). Solve -2*g - 15 = -z*g for g.
5
Let b(d) = -d**2 + 8*d + 2. Let h be b(8). Solve -h*s = -s - 2 for s.
2
Let i be 2/(-8) - 565/(-20). Suppose z + 3*z - i = 5*d, -2*d - 4*z - 28 = 0. Let p be 6/d*-2*2. Solve 23 - p = 4*n for n.
5
Let y(s) = s + 5. Let j(m) = -m - 6. Let w(t) = 6*j(t) + 7*y(t). Let d be 1*4*10/8. Let h be w(d). Solve r - 1 + h = 0 for r.
-3
Let f(g) = 2*g**2 - 7*g - 17. Let n(w) = w**2 - 3*w - 8. Let q(h) = 4*f(h) - 9*n(h). Let o be q(0). Solve o*r + 0*r + 16 = 0 for r.
-4
Let a = 156 - 151. Solve a*g - 20 = 9*g for g.
-5
Suppose 4*v - 85 = -4*u - u, 4*v = 0. Suppose 5*w = u + 8. Solve c = 6*c + w for c.
-1
Suppose 3*u - 11 = 3*l - 2, 5*u = 10. Let i = 1 - l. Solve a + 1 = i*a for a.
1
Let w = 9 - 7. Suppose 2*t + 23 = 3*o - w*t, -5*o - 2*t + 21 = 0. Solve o = -2*j + 3 for j.
-1
Let u be (2 - 3)/(1/(-6)). Suppose 0*i + 16 = 4*i. Suppose -3*r + 3 - 7 = -4*z, -i*z + 28 = 3*r. Solve -u = z*f + 10 for f.
-4
Let z = 16 - 16. Suppose h + z - 6 = 0. Solve -c + h = -3*c for c.
-3
Suppose 3*h + 0 = g - 1, 2*h - 2 = -2*g. Solve 0 = -5*a - h*a for a.
0
Let y = 1 - -4. Suppose x - 4*n - 6 = 0, 4*x + 3*n = -0*n + y. Solve v = 1 - x for v.
-1
Let s(p) = 4*p + 2*p - p**3 + 0 - 6*p**2 - 4. Let f be s(-7). Solve 0 = z + f*z - 16 for z.
4
Suppose b = 3 + 1. Solve -2*n + 4*n + b = 0 for n.
-2
Let h = -3 + -1. Let o(l) = 2*l + 0*l**3 - 3*l**2 - 3 + l**3 - 2*l**3. Let j be o(h). Solve -3*a + j*a = 2 for a.
1
Let u be 3/((-9)/(-6)*1). Suppose 7 = u*d + 3. Suppose 11 = d*s + 5. Solve -3*h = 3 + s for h.
-2
Let v(o) = -6*o. Let q be v(-8). Suppose -3*g + q = 3*b, 3*b + 4*g - 38 = -g. Let t be (-1)/5 + b/5. Solve -3*h + 2*h = -t for h.
4
Let i = -4 - -3. Let a be (6/(-2)*1)/i. Let k = 1 + 1. Solve a*f + 11 = k for f.
-3
Suppose 0 = -2*n + 19 - 1. Suppose -5*p - 2*h + 7 = 0, 2*p = 2*h + 23 - n. Let g = 50 - 30. Solve p*z = -2*z - g for z.
-4
Let s(k) be the third derivative of k**6/120 + k**5/5 - k**4/24 + 13*k**3/6 + 2*k**2. Let o be s(-12). Solve 0 = 6*l - l + o for l.
-5
Let b = -17 - -19. Let n be 8 + -5 + (0 - b). Solve n = -2*h - 3 for h.
-2
Let c = -2 - -2. Suppose c*u + 3 = u. Solve -u*v = -v - 8 for v.
4
Suppose -2*p + 0*p = -6. Let m(h) = -h**3 - 3*h**2 - 2*h + 3. Let r be m(-4). Suppose -p*k = 0, k - 6*k - r = -3*y. Solve 0 = 3*i + y for i.
-3
Suppose 4*o - 12 = 4*p, 2*p - 3*p - 23 = -5*o. Solve 0 = -p*c + 3 - 9 for c.
-3
Let w = 4 + -1. Let b = 2 - -1. Suppose -8*j + b*j = -75. Solve -j = 3*o - w for o.
-4
Let d(v) = v**2 - 5*v + 1. Let w be d(7). Let y be ((-6)/w)/(1/(-5)). Solve -y*x = -3*x for x.
0
Let q(z) = z**2 - 2*z + 2. Let n be q(2). Suppose r = 4*u - 2, 0*r = -r - n*u + 4. Solve 3*f + r*f = -20 for f.
-4
Suppose 0 = h + 5*h. Solve p = -h*p for p.
0
Let l(n) = -n + 12. Let s be l(6). Solve -14 + s = -2*x for x.
4
Let b be 1 + 0 + 24*1. Let x be (-1)/(2/(-44)) - -2. Suppose 3*t + t - x = 0. Solve b = -t*o + o for o.
-5
Suppose 0 = 3*y + 3*d + 6, 2*y = 3*d + 12 + 4. Solve 0 - y = -2*p for p.
1
Let f(n) = -n**3 - 2*n**2 + 2*n - 2. Let i be f(-3). Solve -z = -0*z + i for z.
-1
Let k(w) = w**2 - 8*w - 1. Let d be k(8). Suppose -4*s - 2 = q, -q = -3*s - 0*q + 2. Let m be d - 6/(-2 + s). Solve -3*f = -m*f for f.
0
Let j(i) = -i**3 + 14*i**2 + 15*i + 1. Let y be j(15). Solve -y - 1 = -2*m for m.
1
Suppose 2*w - 26 = 2*n, -2*n + 3*w + w - 36 = 0. Let b = -4 - n. Suppose 0 = -0*f - b*f. Solve s + 4*s + 15 = f for s.
-3
Suppose x - v = 1, -2*v - 14 = -2*x - 3*v. Suppose 15 = x*a - 5*r, -r + 0*r - 15 = -4*a. Solve 0 = -a*s - 11 - 5 for s.
-4
Let f(v) = -v**3 - 7*v**2 - 7*v - 4. Let r be f(-6). Solve 10 = -0*d + r*d for d.
5
Let u(j) = 3*j + 13. Let d be u(-6). Let h = 5 - d. Solve 2 = -4*k - h for k.
-3
Let t(x) = x**2 - 8*x + 5. Let g be t(8). Suppose 5*n = 2*w - 29, -g*n + 0*n + 52 = w. Solve -w + 12 = 5*l for l.
-3
Let r = -39 - -42. Solve 1 = r*k - 2 for k.
1
Let t(f) = f - 1. Let m be t(3). Suppose -g - m = -4. Solve 2*v = g + 2 for v.
2
Let z = 5 + -3. Suppose -d + 9 = 2*a, -z*a + 5*a = 9. Solve -k - d*k = -8 for k.
2
Let b(k) = -2*k + 8. Let x be b(10). Let g be ((-3)/2)/(9/x). Solve 3 = -g*f - f for f.
-1
Let s = -8 - -6. Let v(p) = -p - 1. Let g be v(s). Solve g = -5*n + 6 for n.
1
Suppose 2*o = -4*o + 12. Solve -1 = -o*y - 3 for y.
-1
Suppose -3*f - t = -12, 3*t - 12 + 0 = -3*f. Let n be -10*2/5*-1. Suppose -n*z + 88 = 5*h, -4*h + 3*z + 58 = -0*z. Solve -4 = f*y - h for y.
3
Suppose 29 = 4*t - 3*b, -t + 19 = -4*b + 2. Suppose -6*v + 3 = -t*v. Solve -o = v*o - 12 for o.
3
Suppose 2*g = -3*g - 30. Le