 Let k = 6 - g. Let r be 2/(-4)*-2 + k. Solve 0 = 2*t - 5 + r for t.
2
Suppose 0 = -5*z - 2*b, 0 = -3*z - 4*b + b - 9. Solve -z = 5*k + 8 for k.
-2
Let i(j) = -j**2 + 5*j + 6. Let y be i(5). Suppose -5*t = 3*b + y, -3*b - 2*t = -1 - 2. Solve 0 = -u - 0*u + b for u.
3
Let y be 1/1 - (-3 - 6). Solve c = -4*c - y for c.
-2
Let x(f) = -f**2 + 6. Let d be x(-3). Let z be 3 + 1 + (d - 0). Solve -2*o + z - 3 = 0 for o.
-1
Let m be (-21)/(((-2)/(-2))/(-1)). Let g be 5 - (0 + -1*2). Let l(o) = -o**3 + 7*o**2. Let y be l(g). Solve -4*p - 1 + m = y for p.
5
Let b be (2 - 1 - 0)*5. Solve 0*h = -5*h - b for h.
-1
Suppose 0 = l + 2*z - 7 - 9, -2*l + 35 = 5*z. Solve -2 = 9*h - l*h for h.
2
Let q = 188 + -176. Solve 7*y + q = y for y.
-2
Suppose 4*p + 1 = -4*k + p, 3*k + 2*p = 0. Solve 0 = -k*x - 0 + 2 for x.
1
Let a(c) = c**2 + 6*c - 1. Suppose -30 = 4*b - n, 0 = -4*b + 2*b + 2*n - 12. Let m be a(b). Solve 2*d = -d + m for d.
5
Let b = -21 - -23. Let c = -1 + 1. Suppose c = u + 4*f + 19, 3*u - 5*f - 23 = -f. Solve u + 1 = -b*o for o.
-1
Let n = 0 - -1. Let r = 1 + n. Solve -4*j + 10 + r = 0 for j.
3
Let u = 4 + -7. Let v = u + 5. Suppose 3*i = -v*i - 5*x + 10, 0 = -3*i - 2*x + 8. Solve 0 = 2*o - 6 - i for o.
5
Suppose -4*p + 8*p - 48 = 0. Suppose -d + 8 = -p. Solve -3*f + 8*f = -d for f.
-4
Let g = -4 + 5. Let w(p) = 3*p + 1. Let b be w(g). Solve 2 = -b*h + 18 for h.
4
Let g(s) = -s**3 + 9*s**2 + 3. Let h be g(9). Suppose c = -h*c. Suppose c*x = -x + 4. Solve x*l = -l + 10 for l.
2
Let m be 1*2 - 3/(-3). Suppose 0 = 4*b - 5*b + 2. Suppose 0 = -m*w + 5*z - 5, 2*w = -z + 3 - b. Solve c + 0*c = w for c.
0
Let i(q) = q. Let c = 3 - 9. Let t be (-9)/(-2) + (-3)/c. Let a be i(t). Solve 0 = -o + a*o - 20 for o.
5
Let o = -1 + -1. Let a be o + (-2 - -6) + 1. Let c(l) = -8*l - 1. Let j be c(-1). Solve j*s = a*s - 16 for s.
-4
Let a be 2 - 6/4 - 285/(-38). Solve 2*s + 2*s + a = 0 for s.
-2
Let q(a) = 2*a**2 + 9*a + 3. Let z be q(-6). Let f = z - 11. Let v = -7 + f. Solve -v*x + 5 = 2*x for x.
1
Suppose -14 = 4*f - 22. Solve 0 = f*p + 2*p for p.
0
Let d be 1/3 + 32/12. Suppose 0 = -j - i + 7 - 1, -2 = -2*j + d*i. Suppose -4*y + 52 = -j*k, -2*k + 26 - 88 = -5*y. Solve -3*h - h = -y for h.
3
Let m(t) = -t**2 + t + 3. Let d be m(0). Solve -d*r + 0*r - 6 = 0 for r.
-2
Let u(v) = 2*v + 47. Let j be u(-16). Solve -x - 4*x - j = 0 for x.
-3
Suppose -4*x + 4*u + 12 - 40 = 0, x - 4*u = -13. Let s be (2/4)/((-1)/2). Let v = s - x. Solve v*f + 10 = -6 for f.
-4
Let f(t) = 1 + 15*t**2 + 3*t**2 + t**2. Suppose 6*z - z - 3*v - 8 = 0, -2*z + v = -3. Let i be f(z). Solve -c = -6*c - i for c.
-4
Let m = 0 - 0. Let b = -2 + 4. Let t be -2 + (b - -2) + 1. Solve m = t*z + 2*z for z.
0
Suppose -236 = 3*a - x - 3*x, 4*a + 3*x + 298 = 0. Let z be a/(-12) + (-4)/(-6). Solve -2*v + 3 = -z for v.
5
Suppose 0 = -3*w + 2*w - 2*i - 10, 3*w + 5*i = -25. Let m be (1 + -9)/(12 - 16). Solve w = -4*p + m*p for p.
0
Let a(y) = y**3 - 2*y + 1. Let n be a(2). Let x(u) = -u**2 + 7*u - 4. Let z be x(n). Solve 20 = -z*o + 2*o for o.
-5
Let j(s) = s + 9. Let k be j(-7). Let i(b) = 4*b**2 - 2 - 2*b + 0 - 3*b**2. Let d be i(3). Solve d + 3 = k*c for c.
2
Let k be -3 - (-2 - (0 - -2)) - -1. Solve 2*y = -k*y - 16 for y.
-4
Suppose 2*g = -60 + 6. Let p be g/12 - 2/(-8). Let b = 2 + p. Solve b = 3*n + n - 16 for n.
4
Suppose -5*n - 15 = -10*n. Solve 0 = -n*c - 0*c for c.
0
Let q(v) = v**3 - 7*v**2 + 5*v. Let b be q(6). Let z(n) = -2*n - 8. Let r be z(b). Solve 3*c + 5 = r*c for c.
5
Let f = -31 - -34. Solve -2*a + f = -5 for a.
4
Suppose 2*s - 13 = -9. Let x be 1 + s + -3 + 1. Solve 5*j + 6 - x = 0 for j.
-1
Suppose -4*o - 2*h = -9 - 13, 5*h = o + 11. Let g = o + -2. Solve -3 - g = 5*k for k.
-1
Let m be -3*(-1 - 2/3). Suppose -74 = -m*p - 2*j + j, 0 = 3*j + 3. Let f be ((-16)/(-20))/((-4)/(-10)). Solve -5 = -f*x - p for x.
-5
Suppose -3*q + 177 = -4*p, 217 = -4*p - 0*p - 5*q. Let f be (2/(-4))/(4/p). Suppose 3*j = 5*j - f. Solve 0 = -0*n + 3*n + j for n.
-1
Suppose -7*w - 2 = -30. Solve -w*s = -0*s for s.
0
Let g(z) = z + 1. Let i be g(-1). Let b(v) = v**2 + 13*v + 12. Let t be b(-14). Suppose i = 3*c - 2*h - 14, 10 - t = 4*h. Solve -4*r + 2 = -c for r.
1
Suppose 5*k - h - 1 = -0, 0 = 3*k + h - 7. Suppose 2 = -2*o + 2*j, 0*j = -o + 2*j - 4. Solve o*l = 1 + k for l.
1
Let v be 0/(-6)*2/(-4). Solve v = -3*b + 9 - 3 for b.
2
Suppose -6*k + 12 + 0 = 0. Solve -5*z = -k*z - 6 for z.
2
Let r be (57/(-76))/(2/(-8)). Solve -r*b = -b for b.
0
Let r(d) = d - 3. Let x be 2 + 0 - 4/2. Suppose -7 = -3*o - 2*m, x = -2*o + m + 9 + 5. Let l be r(o). Solve 0 = 3*v - l*v - 2 for v.
2
Let m be (1 - 4) + (-12)/(-3). Suppose 4*u - 16 = 0, -2*x + 3*u = 5 + m. Solve 0 = -x*i + i for i.
0
Suppose 4*k + 6 = 3*k - 2*w, -5*k + 18 = -2*w. Suppose k*b = -b. Solve -3*l = -b*l for l.
0
Let o(n) = n - 1. Let u be o(1). Let c be (-10)/(-8)*(-1 - 3). Let z = c + 8. Solve u = y - z + 1 for y.
2
Let b = 4 + -4. Let f(r) = -r**3 + r + 2. Let o be f(b). Solve -o*h + 20 = 3*h for h.
4
Suppose -k + 9 = 5*s, s = 5*s - k. Suppose 2 + s = q. Suppose 0 = -3*w - 12, w + 2*w + 12 = -4*t. Solve t*r - 15 = q*r for r.
-5
Let v = -40 + 45. Solve -18 = v*g + 2 for g.
-4
Let v(g) = g - 7. Let b be v(11). Solve -b*k + 2*k = 0 for k.
0
Let x(a) = -a**3 + 5*a**2 + 5*a + 8. Let v be (2 - 0) + 2 + 9. Let c = v - 7. Let l be x(c). Solve -22 = -4*b - l for b.
5
Let r = 10 - 5. Suppose -r*n + n = 0. Solve v = -n*v - 3 for v.
-3
Suppose 0 = -2*g + g - 4*g. Let n be 12/9 + 4/6. Solve n*v - 14 + 6 = g for v.
4
Let i(k) = 2*k**2 + 2*k - 1. Let p be i(1). Suppose 0 = -p*l + 31 - 10. Let h be (9/(-15))/((-2)/10). Solve l + h = -5*f for f.
-2
Let y be (-51)/(-12) + (-2)/8. Solve d - 3 = -y for d.
-1
Let m = 3 - 0. Let z be m + -5 + 2 - -25. Solve -z = 4*p - 9 for p.
-4
Suppose 5*c - 2*t - 12 = -0*t, -5*c + 24 = t. Solve 0 = -c*g - 0*g for g.
0
Let y(c) = c + 24. Let b be y(0). Let g(i) = -3*i**3 - i**2 + i - 1. Let a be g(1). Let l = 0 - a. Solve -5*m = b - l for m.
-4
Let u(g) = 3*g - 3. Let l be u(2). Let w(t) = t - 6. Let r be w(6). Suppose p + r*p = 1. Solve 0 = -4*a + l*a - p for a.
-1
Let q(a) be the third derivative of a**4/24 - a**3/2 - a**2. Let o be q(6). Suppose -2*m = o*m. Solve -2*x - 3 - 3 = m for x.
-3
Let a be (1 - -2)/(21/28). Solve 3*o + a = -o for o.
-1
Let h = -22 - -31. Let g be -1 + -2 + (-3)/(-1). Let o be (-8)/(-10)*(-1 + 6). Solve g = o*z - h*z + 20 for z.
4
Suppose 2*l + 3*l + 20 = 0, 2*m = 5*l + 20. Solve n + m + 1 = 0 for n.
-1
Suppose -6 = -3*d + 3*x, 10 = 3*d + x - 2*x. Solve -3*u = 2 + d for u.
-2
Let x(n) = -7*n - 12. Let g be x(-3). Solve 10*o + g = 7*o for o.
-3
Let d(b) = b**3 + 4*b**2 - 8*b - 3. Let h be d(-6). Let x be (-4)/(-18) + 6/h. Solve 2*v + x*v = 0 for v.
0
Let w = -9 - -5. Let j be w/(-2) - (-2)/(-1). Suppose -2*z = j, 0 = 2*g - 7*g - z. Solve y - 2 - 1 = g for y.
3
Let c = 11 + -7. Suppose 0 = 5*o - c*g - 11, -g - g + 2 = 0. Solve p = o*p for p.
0
Suppose 14 = -4*b - 2*j, b - 7 = -0*b + 3*j. Let w be (4 - 1 - 3)/b. Solve w = 6*c - c for c.
0
Suppose 11*d - 40 = 6*d. Let b = 20 - d. Solve -5*r - b = -2 for r.
-2
Let s = 19 - 16. Let c = 1 + 2. Solve c*m = -0*m - s for m.
-1
Let a = 7 - 5. Let z = 2 - a. Solve z = -2*u - u for u.
0
Let x = -4 + 10. Solve -x*s = -2*s for s.
0
Suppose 0 = -z + 2*z. Suppose -l + 4*u + z*u = 12, 2*l - 16 = -2*u. Suppose l*v - 2 = s + 7*v, 4 = 3*s + 4*v. Solve -2*d + s*d = 0 for d.
0
Let g(x) = -x + 2. Let i be g(0). Let o be (-1)/(i + -1) + -1. Let f be ((-2)/o)/((-1)/(-2)). Solve 1 = f*j + 5 for j.
-2
Suppose -3*u - 8 = 2*y, -u - 3*y - 11 = 1. Solve x + 0*x = u for x.
0
Let q(p) = -p**2 + 4*p + 12. Let a be q(6). Solve -6 = -2*d - a*d for d.
3
Let y = 135 + -135. Let k be (8/(-10))/(3/(-15)). Solve 8 = -k*r - y*r for r.
-2
Let s = -3 - -5. Suppose -2*c + 6 = -2. Solve -c*m = -s - 18 for m.
5
Let x be (3 + -7)/(16/(-12)). Suppose s - 21 = -t - x*s, 3*t + s = 19. Solve -t = -4*d - 13 for d.
-2
Suppose 2*m - v - 2 = 1, -2*m - 5*v - 27 = 0. Let k = -1 - m. Let i be (-6)/(3*-1) + k. Solve -i*a = 3*a for a.
0
Let g be 2/2*(-20)/(-4). Suppose -g*m + 3*o + 52 = 0, -2*m + 2*o + 35 - 15 = 0. Suppose 0 = 4*j - d - m, j - 5*d - 13 = 4. Solve 0 = -0*t + j*t for t.
0
Suppose -o = 5*w + 265, w + 5*o + 10 = -67. Let 