 + 3 for g.
-4
Let o(g) = -g - 6. Let p be o(-7). Let n be p*(0 - 3) + 7. Suppose -5*v = -10*v + 15. Solve -b - v*b = n for b.
-1
Let x(z) = z + 1. Suppose -5*r = -2*l + 11, 5*r - 3*l + 5*l - 1 = 0. Let p be x(r). Suppose 2*n - 7*n = p. Solve i = -n - 3 for i.
-3
Let c be ((-2)/(-5))/((-5)/(-25)). Suppose 3*d + 3*t = -c*d + 39, -9 = -3*t. Let i(n) = -n**2 + 7*n - 1. Let s be i(d). Solve -f = -s*f - 20 for f.
-5
Let c = 10 - 15. Let q = -5 - c. Solve 0 = -h - 5 - q for h.
-5
Let k(m) be the first derivative of 3*m**2 + 9*m - 1/4*m**4 + 2 + 2*m**3. Let i be k(7). Solve 0 = -4*z + i*z - 10 for z.
-5
Let y = 33 - 14. Let a = 28 - y. Solve a*o = 4*o for o.
0
Let d be 2 + (-15)/5 + 4. Suppose 2 = h - 2*x, -3*h + 2*x = -11 + 5. Suppose -d*o = -4*j + 1 - 21, -h*j - 16 = -2*o. Solve -2 = -5*b - o for b.
-2
Let n(h) = 2*h - 2. Let q be n(2). Let p = 3 + q. Suppose -12 = -p*t - 2. Solve -t*x = -x - 3 for x.
3
Suppose 28*l = 33*l - 60. Solve o = 5*o - l for o.
3
Suppose 3*w - 4*w - 1 = 0. Let d be (5 + -1)*(w - -3). Let h = -6 + d. Solve h = -y - 1 for y.
-3
Let u be 0/(3/(-3)) + 3. Suppose 2*b = u*x + 3, 2*b - 3*b - 2*x = -5. Solve -1 = -b*s - 16 for s.
-5
Suppose 0 = -3*z - 4*r - 8, -4*z - 18 = z + 2*r. Let q = -3 - z. Suppose -f + 5*m + q = -8, 3*f - 2*m - 14 = 0. Solve f*k + 5 = 17 for k.
3
Let u be 12/15*(-10)/(-4). Let x be -4 + 2 + 1 + 2. Solve u*k + 1 = -x for k.
-1
Let h = -38 + 13. Let p be (-20)/h*10/4. Solve -p = 2*j - j for j.
-2
Let f(x) = 3*x**3 - 6*x**2 + 4*x - 3. Let q be f(2). Let c(n) = 5*n - 2*n + 7 - 4*n. Let h be c(q). Solve -h - 4 = 3*t for t.
-2
Let y be 2/1*15/(-10). Let g be (-2)/(((-6)/(-2))/y). Solve r + g = -2 for r.
-4
Let k(b) = -3*b**3 - b**2 - b - 1. Let x be k(-1). Let q(p) = -p**3 + 6*p**2 + 9. Let z be q(6). Solve -m - x*m = z for m.
-3
Let y(m) = -m - 4. Let s be y(-3). Let k be (s + 1 + 0)*-1. Let j(a) = a**2 + 8*a + 9. Let h be j(-7). Solve -x - h - 1 = k for x.
-3
Let b be (12/(-2))/(0 - -1). Let k be b/27 + (-74)/(-9). Solve -3*r + 5*r + k = 0 for r.
-4
Let r(f) = f + 3. Let d be r(7). Solve -d = -i - i for i.
5
Let m be 3 + -1 + -1 + 1. Solve -v - m*v = 0 for v.
0
Let g(l) = l**3 + 10*l**2 + l + 8. Let k be g(-10). Let w be (-8*1)/k - 2. Solve -w*t - 4 = 2 for t.
-3
Suppose 60 = 4*d - 2*q, -5*d - 4*q + 72 + 29 = 0. Suppose 5*c + 1 = 4*w, -w = 2*c + c - 13. Let m = d + c. Solve -b + m = 3*b for b.
5
Let l be 1 + -1 - (0 + 7). Let n = -18 - -29. Let g = n + l. Solve -g*j = -7*j for j.
0
Let y(a) be the third derivative of a**6/120 + a**5/30 - a**3/6 + a**2. Let j(m) be the first derivative of y(m). Let w be j(-3). Solve 4*d = d + w for d.
5
Suppose -6*k + 3*k = 0. Let n be 2/6*k/1. Suppose 3*s - s = 5*t, -3*s + 3*t = n. Solve s*y + 8 = 2*y for y.
4
Let f be (-9)/6*-4 + -2. Suppose 20 = -2*w - w + 2*o, 4*w + 3*o = -f. Let g be w/10 + (-44)/(-10). Solve -12 = -4*q + g for q.
4
Let a(n) = n**2 + 13*n + 2. Let c be a(-13). Solve -c = -2*m + 3*m for m.
-2
Let p(l) = l**2 + 7*l. Let u be p(-7). Let j be -4 + 3 - (-1 - u). Solve j = -5*i - 1 + 26 for i.
5
Suppose t = -0*t - 4, -5*c = t + 14. Let o be (0 - -2)/(-1 - c). Solve 6 = -o*n + 16 for n.
5
Suppose 14 = 3*r + 4*a, -4 = -2*r + 3*a + 28. Solve x - r = -x for x.
5
Suppose -4*z = -4 - 12. Suppose z*g + 6 + 26 = 0. Let y be (g/14)/((-10)/35). Solve i = y*i for i.
0
Let i be (-24)/9*-6 + -2. Let g = -6 + i. Solve -g = 4*u + 12 for u.
-5
Let b = 8 - -4. Let i = b + -10. Solve 10 = 4*l - i for l.
3
Let a(t) = -t**2 - 5*t - 2. Let n be a(-3). Suppose 7*p - 5*p - n = 0. Solve -d + 6 = p*d for d.
2
Let z be -2 - (-3 + 2) - -1. Solve z = 5*w - 0*w + 10 for w.
-2
Let b be 3 - ((0 - 1) + 4). Let g = 0 - b. Solve -4*j = -g*j for j.
0
Let y = -21 + 23. Suppose 0 = -5*p + 3*p. Suppose -5*m - 1 + p = y*a, m = 2*a - 5. Solve r = 3*r + a for r.
-1
Suppose -4*n + 2*z = -14, 0 = -4*n + 5*z - 4*z + 9. Suppose 0 = 2*m - 5 + 1. Suppose 0 = -2*g - m*c + 10, 2*c = g - 2*c - 20. Solve -3*v - g - n = 0 for v.
-3
Suppose -3*y - 2*n = -0*n - 14, n - 22 = -4*y. Solve -4*d = -y - 6 for d.
3
Let y(s) = -s**3 + 2*s**2 + 3*s + 2. Let z be y(3). Let g = z + -2. Suppose 0 = -4*a + 6 + 2. Solve g = -a*p + p - 1 for p.
-1
Suppose 0 = 2*j + 2*t + 6, -5*j + t = 3*t. Let l be 2*-7 + j + 2. Let h = 16 + l. Solve -5*k = -h*k - 1 for k.
-1
Let b = 32 + -29. Solve 4*d = 5*d + b for d.
-3
Let b(r) = r**2 + 5*r - 21. Let l be b(-9). Solve l + 0 = 3*d for d.
5
Suppose 0 = 4*y - 18 - 34. Solve 5*h + 12 = -y for h.
-5
Let h(u) = -3*u - 11. Let i be h(-5). Solve 0 = -i*t + 4 for t.
1
Let d be 10/((-3)/(-3)*2). Suppose -4*w - 5*k = -61, -3*w + 0*k - 4*k = -46. Suppose 3*z - 5*f + 0*f - w = 0, 0 = -4*f - 4. Solve z = d*n - 2 for n.
1
Suppose -2*s + 6*s - 32 = 0. Let i(c) = c**3 - 9*c**2 + 9*c - 8. Let z be i(s). Solve z = 2*g + 6 for g.
-3
Suppose 3 = 2*v - v. Suppose 90 = -4*h + 14*h. Solve -6 = v*c + h for c.
-5
Suppose 0 = -3*i - 3*i. Solve 5*f + 14 + 1 = i for f.
-3
Let s(g) = -g**2 - 13*g - 14. Let c(m) = -m**2 - m - 1. Let j(k) = -2*c(k) + s(k). Let r be j(12). Solve 3*v + r*v + 6 = 0 for v.
-2
Let g(r) = -3*r - 2. Let y be g(-2). Suppose 4*b + p = y, -2*b + 4*p + 8 = -6*b. Suppose b*w - 26 = -6. Solve -s + w = s for s.
5
Let o be (19 - -5)*4/6. Suppose 0 = v + 3*v - 12, -q + o = 4*v. Let f(j) = 2*j**2 + 3*j. Let y be f(-2). Solve y*b + q = 3*b for b.
4
Let b be 10*((-3)/(-6) - 0). Let z be (0/1)/(7/7). Solve -b = n - z for n.
-5
Let m be 24/10 + (-3)/(-5). Solve -m*a + 9 = -6 for a.
5
Let i(w) = 2*w**3 - 5*w**2 - 4*w. Suppose v = 4*b + 4*v - 7, 14 = 2*b - 2*v. Let t be i(b). Suppose -12 = 5*o - t. Solve -y = o*y + 10 for y.
-2
Let j be ((-1)/2)/((-2)/32). Let v(k) = k - 6. Suppose r + 13 = 7*a - 4*a, 3*a - 33 = -3*r. Let d be v(a). Solve -4*g - j = -d*g for g.
-2
Let g be (140/112)/(2/8). Solve 0 = 5*y - g + 30 for y.
-5
Let c = -24 - -25. Solve -2*l = 3 + c for l.
-2
Let n be (-24)/(-9) - 4/6 - 0. Solve -6*c + n*c = -12 for c.
3
Suppose 2*t - 2*l = 8 + 4, 2*l = -4. Let z = -6 + 11. Suppose 3*b - 3*c - 30 = 2*c, 0 = -2*b + z*c + 25. Solve 6 = b*o - t for o.
2
Let d be ((-15)/(-6))/(2/4). Let m be (4/(-5))/((-8)/20). Suppose 0*n + 2 = m*n, 0 = 5*z + 3*n - 3. Solve z*x = d*x + 25 for x.
-5
Let g(x) = x**3 + x**2 - x. Let u be g(1). Let h be u - 4 - (-7 - 0). Solve h*s + 3 = -5 for s.
-2
Let d be 3/6*6 + 0. Suppose d*w - 75 = -3. Solve -w + 9 = -5*k for k.
3
Suppose 9 + 6 = 3*x. Suppose 3*i = -x*b + 33 - 9, -b + 12 = 3*i. Solve b*v = -v for v.
0
Suppose 2*b = -5*v + 7*b + 5, 20 = 4*v + 4*b. Solve -3*p = -0*p - v for p.
1
Let g(a) = a**2 - 9*a + 22. Let t be g(5). Let o = 1 + -1. Solve o = k - t*k for k.
0
Suppose z - 2 = -l, -2*l + 19 = -3*z - 5. Let y be -1 - (-5)/(10/l). Solve -4*a = -3*a + y for a.
-2
Suppose -15 = -4*h + p, 3*p + 18 - 6 = h. Suppose -2*d - 2*i = -18 - 6, 2*i - 54 = -5*d. Solve 2*a + d = -h*a for a.
-2
Let y be (-10)/(-55) + (-2)/11. Solve 2*c + 2 = -y*c for c.
-1
Let c be (-7)/(-5) + 15/25. Suppose 3*x + c*x - 40 = 0. Solve -3*h - x = -5*h for h.
4
Let c(o) = o**2 + 3*o - 2. Let l be c(1). Solve l*a + 2 = a for a.
-2
Let a(h) = -2*h - 5. Suppose -3 = o - 28. Suppose 3*y = -3*q + 4*y - o, 3*q + 9 = -3*y. Let u be a(q). Solve 0*f = 3*f - u for f.
3
Let i(p) = -p - 13. Let m be i(-16). Let b = m + 12. Solve 0 = -4*a + b - 3 for a.
3
Suppose p + q + 3*q - 5 = 0, -2*p = 2*q - 10. Let i = 4 + p. Solve -2*j = j + i for j.
-3
Let v = 47 - 42. Let g = -20 + 28. Suppose -n + 5 = 2. Solve -g*q + v = -n*q for q.
1
Suppose q + 2*q = 4*j - 13, 0 = 5*j + q - 2. Suppose 5*s - s - 18 = 2*x, 0 = 3*s + 4*x + 3. Let r be (-2)/(-4) + 6/4. Solve -r*n + j = -s*n for n.
-1
Suppose -5*s = 4*h - 13, -3 + 4 = -2*h + 5*s. Solve -2*o = -2 - h for o.
2
Let j(m) be the third derivative of m**7/420 - m**5/20 - 3*m**2. Let q(p) be the third derivative of j(p). Let n be q(1). Solve n = 4*f - 4 for f.
4
Let q(f) = f**2 + f + 5. Let r be q(0). Let c = r - 1. Suppose 0 = -3*z + 3*m + m + 8, 0 = c*m + 8. Solve 0 = 2*i - z*i + 8 for i.
-4
Let l(y) = -y + 2. Let d be l(2). Solve -2*s + 5 + 5 = d for s.
5
Suppose -2*x - 3 = 3*d, -8*d = -4*d - 4*x + 4. Let g be -7 - (1 + -1 + -1). Let i be g/(-4) + d/2. Solve i = -2*c - 7 for c.
-4
Suppose -l + 4 = -0*l. Let k(h) = h - 2. Let g be k(l). Solve 3*j + g*j + 10 = 0 for j.
-2
Let h be (