 - d - 1 = 0 for g.
4
Let h(y) = y - 1. Let v be h(6). Suppose 56 = 9*m - v*m. Solve 4*c + 2 = -m for c.
-4
Let v be (-66)/(-14) + (-4)/(-14). Suppose -u - 5 - 7 = 4*q, 3*u + 4*q = -12. Suppose r - 8 + 3 = u. Solve -r = -4*k + v*k for k.
-5
Let c(z) = 12*z + 7. Let s be c(2). Solve 0 = -5*f + 6 - s for f.
-5
Let n be -1*(-1)/((-1)/(-2)). Suppose -3*r + 12 = 0, 2*p - 9 = -r + 3. Let j = p - 1. Solve j = 5*l - n for l.
1
Suppose 2*a + 5 = 17. Suppose -a*p + 11*p - 45 = 0. Suppose -2 = -2*m + 4*h - 4, 2*h + p = 3*m. Solve -6*f + m = -f for f.
1
Let n(x) = x + 4. Let w be n(1). Let v(t) = t - 5. Let q be v(5). Solve q = -w*b - 12 + 32 for b.
4
Let z(s) be the second derivative of -s**3/6 + s**2/2 + s. Suppose 0 = -4*l - 5*x - 20, x + 7 = -4*l - 13. Let g be z(l). Solve -g*y = -y for y.
0
Let n = 10 + -6. Suppose c + 2*p + 4 = 12, -22 = -n*c + 2*p. Solve 3*r + 0*r = -c for r.
-2
Let c(s) be the third derivative of s**5/30 + s**4/8 + s**3/2 - s**2. Let p be c(-2). Suppose -2*l + 10 = 0, 2*l - 110 = -5*u + p*l. Solve 3*f - u = -2*f for f.
5
Let c be 30/(-6)*8/(-10). Solve -c*f = -f for f.
0
Suppose 5*r - 35 = -0. Let c = 10 - r. Solve -2*v - 10 = c*v for v.
-2
Let f(g) = -g + 4. Let l be f(4). Let p be (-3)/(l + (-6)/14). Let u = 11 - p. Solve -u*t - 15 = t for t.
-3
Let d be 12/(-8)*24/(-9). Solve g - d = -0 for g.
4
Suppose -h + 3*v + 16 = v, -h + 2 = 5*v. Let o = h + -8. Solve x - 2 = -o for x.
-2
Suppose -2*t = -6*t + 4. Let u be 0 + 2/2 - t. Let r(q) = -q. Let g be r(-6). Solve u = -f + g - 1 for f.
5
Let w be (-12)/(-36) - 3/9. Solve 10*z - 5*z + 15 = w for z.
-3
Let m = 0 - -3. Suppose 2*s = -m*s + 15. Solve -s*j + 8*j = 5 for j.
1
Suppose -g = -2*g + 6. Let x = g - 9. Let l be 7 + (x - (-2 + 1)). Solve l*k = -7 - 8 for k.
-3
Suppose 5*w - 130 = -5*o, 3*o - 53 + 17 = -w. Let s = -19 + w. Solve f + 9 = -s*f for f.
-3
Suppose -6*n = -4*n. Suppose n*u = -2*u - m + 6, 0 = -4*u + 4*m. Suppose -t - 3*l + 2 + u = 0, 3*t + 1 = 4*l. Solve 5 = 4*y + t for y.
1
Let w(l) = 2*l + 3*l - l + l. Let a be w(6). Suppose -2*y - 4*m + 9*m = -12, a = 5*y - 2*m. Solve y - 2 = 2*t for t.
2
Let o = -12 - -12. Let k be -1 + (0 + o - -1). Solve k = 5*y + 9 + 16 for y.
-5
Suppose 2*u + 176 = -2*u. Let q be u/10 + 2/5. Let m = 5 + q. Solve m + 4 = 5*p for p.
1
Let a be -30*9/(225/(-10)). Suppose -4*h + 1 = 2*q + 3*q, 3*h - 2*q - 18 = 0. Solve 0*g - h*g + a = 0 for g.
3
Let b(x) = -6*x - 2. Let m be b(-2). Solve m = 3*u - u for u.
5
Suppose 0 = -3*b + 7*k - 2*k + 15, -2*b - 3 = k. Solve -i = -b + 5 for i.
-5
Let w be ((-89)/2)/((-3)/6). Suppose 6*l - l = -4*f + w, -49 = -2*f - l. Suppose 0 = 2*x - 4*r - f, 6*x - x = r + 20. Solve 15 = -2*t - x*t for t.
-3
Let l be ((-2)/3)/((-4)/12). Let t = 8 + l. Solve t = -2*c - 3*c for c.
-2
Suppose -h - 23 - 23 = -3*a, -h + 18 = a. Suppose 2*f + 2*f = a. Suppose 0 = -4*c + 24 + 8. Solve c = -f*k + 2*k for k.
-4
Let j be 3*(-2)/(-4 - -2). Solve 0 = 2*r - 3 - j for r.
3
Let r(b) = -b**3 - 10*b**2 - 16*b + 4. Let z be r(-8). Suppose z*g - 15 - 49 = 0. Solve g - 6 = 5*u for u.
2
Suppose -7 + 9 = x. Solve 0*v + x*v - 10 = 0 for v.
5
Suppose i + 14 = 3*w - 0*i, 1 = i. Suppose -101 = -5*u + n, 5*n + 5 = -5*u + 100. Solve w*v - u = v for v.
5
Let b be -9 - (-1 - (1 + -2)). Let f = b - -18. Solve -3*d = 6 + f for d.
-5
Suppose -9 = 5*l - 34. Solve 38 = l*h + 13 for h.
5
Let r(b) = -b**2 - 8*b - 4. Let z be r(-8). Let x be (z/(2 - 1))/(-1). Solve 3*s - x*s = 5 for s.
-5
Let g(q) = -q**2 - 6*q - 5. Let s be g(-5). Let r = s - -1. Let y = 3 - r. Solve 0 = -3*t + y*t - 5 for t.
-5
Suppose 0 - 15 = -5*t. Suppose -5*g - 21 = -t*g + 5*f, -3*f = 2*g + 11. Solve g*n - 4 = -0 for n.
2
Let z(a) = 10 - 12*a + 0 - a**2 + 3*a. Let v be z(-9). Solve -5*t - v = 10 for t.
-4
Let n(y) = y**3 - 16*y**2 + 16*y - 7. Let k be n(15). Solve 0*m + k = 2*m for m.
4
Let r be 12/9 + (-2)/(-3). Let a be ((-8)/(-10))/(r/5). Solve -a*g - 10 = -7*g for g.
2
Suppose 20 = 4*z - 2*z. Let g = -10 + z. Solve g*i = -2*i - 6 for i.
-3
Suppose 6*s - 21 - 9 = 0. Suppose -12 = -3*o + 2*u, u + u = -s*o + 20. Solve 0 = -2*d + o*d for d.
0
Suppose -23 = -4*g - 4*h + 9, 10 = 5*g - h. Solve -g*w - 14 = -5 for w.
-3
Let s(t) = -2*t**3. Let u be s(1). Let v be u/4*-16 - 3. Solve -2 + v = -x for x.
-3
Suppose 3*y + 20 = 8*y. Solve 7 = -y*n - 1 for n.
-2
Let z be (9 - 3)/(-2) - 29. Let n be (72/z)/(6/16). Let g be (-1 + 0)*(n + 3). Solve g = 2*o + 1 for o.
1
Let s = 33 + -23. Suppose 0 = -4*p + w + 20, 0*w - 4*w - s = -2*p. Suppose p*n - 2 - 13 = 0. Solve -5*x + n*x = -6 for x.
3
Let r = 14 + -9. Solve 0 = r*u - u - 8 for u.
2
Suppose -33 + 19 = -2*b. Solve 0 = -4*n - 1 - b for n.
-2
Suppose 0 = 4*l + 2 - 22. Suppose -5*i + 10 + 2 = -2*b, 0 = i - 3*b - l. Solve 0*d - 8 = i*d for d.
-4
Let u = 18 + -16. Solve -r + 4 = u for r.
2
Let b = 6 + -6. Let y(h) = -2*h + 8. Let z be y(b). Solve k = z - 3 for k.
5
Suppose -x + 1 = -q, 0 = -4*q - q + 4*x - 2. Solve 0*t = -q*t + 6 for t.
3
Let w be -2 - (2 - -2 - 14). Solve -3*q - w = q for q.
-2
Let v be (4 - 0) + 0 - 1. Solve v*q + 4 = -11 for q.
-5
Suppose -y + 7 = -u + 2*u, 0 = y + 4*u - 13. Suppose 5*n + 2*d - 26 = 0, -4*n - 5*d - 5 = -9*n. Suppose -n*k + y*k = 0. Solve k = 4*w + 12 for w.
-3
Suppose -u + 18 = u. Let g be u/15 + 14/10. Solve 4 = -g*j + 6 for j.
1
Let z = -5 - -12. Let r = -4 + z. Solve 3*p = 2*p + r for p.
3
Suppose 26 = 3*q + w, -4*q + 2 = -3*q - w. Solve 0 = 5*x - 3 - q for x.
2
Let o(r) = r**2 - 20*r + 19. Let x be o(19). Solve x*i + 6 = -2*i for i.
-3
Let t = 3 + 4. Solve 2*g = t + 3 for g.
5
Let m be (-3)/((-75)/20 - -3). Solve m*s - 24 = -8 for s.
4
Let r(m) = m**2 - m - 4. Let w be r(3). Suppose 16 = 4*b - 3*u, 3*b = -w*b - 5*u - 15. Suppose 0 = -0*o + 4*o - 16. Solve -f = b + o for f.
-5
Suppose 8 = 5*t + 3. Solve -v = 2 - t for v.
-1
Suppose -36 = -5*h + 9. Solve 1 - h = 4*w for w.
-2
Suppose 0 = 3*t - z + 8 - 1, 13 = -5*t + 3*z. Let n be (1 + 1*t)*0. Solve n = -2*r - r for r.
0
Suppose -2*l - 5*r = 5, -2*l + 16 = -5*r - 9. Solve -3*f - 4 = l for f.
-3
Let b be (1 + -1 - -4) + -2. Suppose -4*x + b*x + 28 = 0. Solve -x + 2 = -3*m for m.
4
Suppose f + 1 = -0. Let r(b) = 9*b**2 + 1. Let y be r(f). Let q be (14/y - 1)*5. Solve -2 = q*c - 0*c for c.
-1
Suppose 4*f - 5*x = 4 + 30, -f - 3*x = 0. Let o = -3 + 6. Let b be 1 - -8*f/o. Solve 0 = -4*n - 1 + b for n.
4
Suppose 2*m + 10 = 2*z, -5*z - 5 = 3*m + 2*m. Solve -z*v - v + 3 = 0 for v.
1
Let c = 3 + 93. Suppose -2*o - 7*b = -2*b - 50, 0 = -5*o + 2*b + c. Solve 3*t = 8*t - o for t.
4
Suppose 1 - 19 = -6*j. Solve 12 = -j*b - 3 for b.
-5
Let m = -6 + 8. Solve m*r - 4 - 2 = 0 for r.
3
Suppose 8*a - 35 = -5*h + 3*a, 4*h - 35 = 3*a. Let b be (-1)/h + 121/8. Solve b = -4*g + 3 for g.
-3
Suppose 4*f - 2 = 3*f. Let a = 8 - f. Solve p = a*p for p.
0
Suppose 0 = -3*x - 9*f + 4*f - 10, -2*x - f - 16 = 0. Let j = -1 - x. Solve j = 2*w + 3 for w.
3
Let d be (12*4)/((-9)/6). Let u = -22 - d. Solve -4*x - u = x for x.
-2
Let n(l) = l**3 + 14*l**2 - 3*l - 35. Let a be n(-14). Solve -z + 2 - a = 0 for z.
-5
Suppose 8 = 4*v - 12. Suppose v*h - w - 4 = 0, -3*h + w - 1 = -3. Solve 0 = -2*p + h - 3 for p.
-1
Let p(w) = 4*w. Let t be p(1). Let m = 6 - t. Solve u - 2 = m for u.
4
Let j(k) = -k**3 + 6*k**2 - 3*k + 4. Let c be j(4). Let v be (-16)/c*(-25 + 1). Solve -v = -3*z - 4 for z.
4
Let k be (3/6)/(2/12). Suppose 0 = x - k - 2. Solve -13 = -x*r - 3 for r.
2
Suppose 19*c - 17 = 21. Solve -2*m - c = -0*m for m.
-1
Suppose -2*s + 40 = -7*s. Let h = -8 - s. Solve 2 = -h*d - d for d.
-2
Let c be 4*3*(-5)/(-12). Solve -4*t = -c*t for t.
0
Let g = -14 + 32. Let p = -4 + 4. Suppose -2*u - a + 6 = -3, p = -5*u - 4*a + g. Solve -i + 10 = -u*i for i.
-2
Suppose 5*o - 26 = z - 4*z, 24 = 2*z + 5*o. Solve 25 = -7*b + z*b for b.
-5
Let j(a) = -3*a + 11. Let t(f) = f - 5. Let g(k) = 2*j(k) + 5*t(k). Let p be g(-7). Solve 2*r + p = -0*r for r.
-2
Let t = 5 + -7. Suppose 2 = p, -2*u - 2*p - 10 = -5*p. Let q be 0 - (u - (-4)/t). Solve 0 = q*i - 3*i + 5 for i.
-5
Suppose 2*f = 3*h - 19, -3*h + 2*f + 37 = 2*h. Let o(s) = -2*s - 7. Let p(g) = 1. Let b(d) = o(d) - 2*p(d). Let k be b(-6). Solve 0 = k*v - 0 - h for v.
3
Let x(n) = n**3 + 8*n**2 - 8*n + 12. Let c be x(-9). Solve -c*m + 4 = 1 for m.
1
Let w = -31 + 31. S