 Solve 4*g - x*g = 0 for g.
0
Suppose 4*j = 10*c - 5*c - 16, -2*j - 8 = -3*c. Solve -5 = -c*t - t for t.
5
Let n = -35 - -24. Let q = 19 + n. Solve 3*v - q = -2 for v.
2
Let c(l) = 2*l**2 + l + 1. Let g(f) = f**2 + 0*f**2 - 6 + f - 5*f. Let j be g(5). Let p be c(j). Solve 2*n = -p - 2 for n.
-2
Let i be (-1)/(2/(0 + 2)). Let q be 4/(-12) - (-14)/(-3). Let n = i - q. Solve 5 = -n*x + 13 for x.
2
Let g(c) = -c**2 + 2*c + 6. Let r be g(3). Solve 5 = r*s - 10 for s.
5
Let h be (-11)/(-4) - (-1)/4. Let d(a) = -2*a**3 - 2*a + 1. Let f be d(1). Let n be (f - -4) + 0/(-2). Solve -h*z - 13 = -n for z.
-4
Suppose 7 + 8 = 3*f. Suppose -23 = -4*h + 3*a, 3*h - 10 = f*a + 10. Suppose 5 = h*m, -5*p + 32 = 5*m + 7. Solve 3*u - p = u for u.
2
Suppose -8*t + 6*t = -10. Solve 27 - 7 = -t*q for q.
-4
Suppose -10 = 4*x - 26. Solve 25 = x*m + m for m.
5
Let d(z) = z**2 + 20*z + 44. Let n be d(-19). Solve 3*x + 2*x + n = 0 for x.
-5
Let n(c) = -c**3 + 3*c**2 + 4*c. Let b be n(4). Let x(j) = -2*j + 3 + 5*j + j**2 + 0. Let d be x(-3). Solve b = -d*f - 2*f + 10 for f.
2
Let l be ((-20)/(-25))/(1/5). Suppose 0 = a + 2 - l. Solve a*d + 12 = 2 for d.
-5
Suppose 3*o - y - 23 = 0, 5*y + 5 = -5*o + 10. Solve -o*p + 16 = -2*p for p.
4
Suppose 21 = 5*i - 2*i. Solve i - 19 = 4*v for v.
-3
Suppose w - 8 = -5. Suppose w*o - 2*o = 4. Solve l = 3*l + o for l.
-2
Let u(x) be the third derivative of 0 + 0*x + 2*x**2 + 1/6*x**3 - 1/24*x**4. Let o be u(-3). Solve -o - 4 = 4*n for n.
-2
Let z(j) = -j**2 - 5*j + 5. Let v be z(-5). Let c(s) = s**2 - 3*s - 5. Let w be c(v). Let h(i) = i - 3. Let o be h(w). Solve 0 = g - o*g for g.
0
Suppose -1 = 3*f - 19. Let d(n) = 2*n - 2. Let w be d(f). Solve 0 = 2*m - w for m.
5
Let a be 10 + (-4 - (3 + -1 + -2)). Solve -a*u + 12 = -3*u for u.
4
Let f = 16 - 11. Suppose -f*p = -8 - 2. Suppose 4*y - 26 - 10 = 0. Solve p*i + i = -y for i.
-3
Suppose 2*d + 2*d - 30 = -2*p, 2*p = -5*d + 39. Solve -4*c = -d - 3 for c.
3
Let v(j) = -8*j + 4. Let b be v(0). Solve b = 5*t - 1 for t.
1
Let q be (0 - -2)/(18/36). Solve q = -5*j - 1 for j.
-1
Let b(r) = -r**2 - 3*r - 2. Let x be b(-3). Let l be x - (0 - 5) - 2. Solve -4 = -p - l for p.
3
Suppose 0*a + a + 3*k = 12, 0 = -3*a - 3*k + 12. Suppose a*d = 4*d - 24. Suppose -o - o = -d. Solve -o*s - 4 = -s for s.
-2
Suppose 3*a - 37 = 4*z, 5*a - 3*a - 3*z = 25. Solve 5*j + a = -4 for j.
-3
Let a(r) = r**2 - 4*r - 3. Let f be a(5). Solve -x = -f*x for x.
0
Let i(d) = -d**2 + 6*d + 7. Let m be -1 - (28/(-4) + -1). Let s be i(m). Solve 2*b = -s*b - 2 for b.
-1
Let q = -23 - -14. Let k be (1/(-3))/((-3)/q). Let a = k - -4. Solve -1 = a*y - 4*y for y.
1
Let w(f) be the second derivative of f**5/20 + 3*f**4/4 - 2*f**3 + f. Let u be w(-10). Suppose 5*d + g = 46, -3*g = 4*d + 2*g - u. Solve h - d = -h for h.
5
Suppose -8 = c - 12. Solve -4*w + 4 = -c for w.
2
Let k = 14 + -9. Suppose 4*d - 9 + 33 = -2*q, 25 = -k*d. Let t be 0/(q*2/(-4)). Solve -4*u - 11 - 1 = t for u.
-3
Let g = 132 + -132. Solve g*d = -5*d for d.
0
Let u be (-22)/(-55) - 18/(-5). Solve 0 = -3*g - g - u for g.
-1
Let y = -43 + 64. Let m = y - 15. Solve m*t + 12 = 2*t for t.
-3
Suppose -f - 76 = -5*f + z, 0 = 2*z - 8. Let r(l) = -l**2 - 4*l - 6. Let a be r(-4). Let d be a/21*(-17 + 3). Solve -w - f = d*w for w.
-4
Suppose -6*l - 3*a - 15 = -5*l, 3*l + 20 = -4*a. Solve l = 11*b - 7*b - 4 for b.
1
Let r(f) = f**3 - 4*f**2 + 2*f + 3. Let d be r(4). Solve d*p + 10 = 9*p for p.
-5
Suppose -2*b = 2*i - 4, 6*i - 3*i + 2*b - 9 = 0. Let r = 5 + i. Solve -6*g = -g - r for g.
2
Suppose 0 = -5*m, 33 = 4*y + 3*m - 7. Solve n = -n + y for n.
5
Suppose -h + 9 = 3*x, -3*x = 3*h + 1 - 4. Solve 0 = -x*o + 8*o + 4 for o.
-1
Let y be 2 - 2 - 2 - -8. Let q be y/(-1)*4/(-6). Suppose i - q = -i. Solve -i*a = a + 3 for a.
-1
Suppose 6*o - 2*o - l = 4, 0 = 3*o + 5*l + 20. Suppose -c - 5*m = -19, o = -c - 4*c - 4*m - 10. Let i = c + 10. Solve -b = i*b for b.
0
Let m(y) = 1. Let g(p) = p + 12. Let b(i) = -g(i) + 6*m(i). Let t be b(-6). Solve t = 3*a - a for a.
0
Let q = 2 + 5. Let y = -6 + q. Solve 2*t + 7 + y = 0 for t.
-4
Let c(n) = 6*n**3 - 4*n - 3. Let o(u) = -13*u**3 + 9*u + 7. Let j(w) = 7*c(w) + 3*o(w). Let m be 3/2 + (-1)/2. Let b be j(m). Solve -b*r = 3*r - 20 for r.
4
Let u be (2/2*-2)/1. Let s be 1 - (-3 - (u - -1)). Let n be 1 - s - (-8)/2. Solve n*g + g = 0 for g.
0
Let r be 1/1 + 1 + -1. Suppose 2 + r = f. Let p = f + 0. Solve 7 = -4*j + p for j.
-1
Let d = 60 + -54. Solve -15 = w - d*w for w.
3
Let g be -1 + ((-14)/(-4))/(4/8). Solve -8 = 2*c - g for c.
-1
Let a be (0 + 1)*(0 + 2). Suppose a*s + 3*s = 2*j + 23, 2*s + j = 2. Suppose 0 = -6*o + s*o + 3*g + 18, -g = -5*o + 14. Solve 4 + 0 = -o*n for n.
-2
Let s be 4 - 5 - (-7 + 1). Suppose -5 + 16 = 3*d + p, -s*p - 2 = -4*d. Solve -d*q - 24 = -9 for q.
-5
Suppose u = -4*u + 20. Solve 3*f + u = 7*f for f.
1
Suppose -6 - 10 = -4*r. Suppose 0 = -2*x + 6 + r. Suppose -m - 2*z - x = -6*m, 12 = -m + 3*z. Solve -m*i + 0 + 15 = 0 for i.
5
Suppose 0 = 2*n + n. Let q(b) = b**2 - 2*b - 3. Let c be q(-2). Suppose c = -x + 4*i, 6*i - 5*i = -4*x + 14. Solve n = 4*l - x*l - 4 for l.
4
Suppose -3*r + 2*r = 2*v + 10, -4*v = -5*r + 20. Solve -3*c + r*c - 15 = 0 for c.
-5
Let l be -3 - (-8 - 1)*2. Let p = l - 11. Let t = 6 - p. Solve 5 = -u + t for u.
-3
Let t be (-5043)/27 - (-2)/(-9). Let o be (-4641)/t + (-4)/(-22). Solve 5*w - o = -0*w for w.
5
Let a(b) be the second derivative of b**2 + 1/4*b**4 + 1/3*b**3 - 3/20*b**5 + 0 + 4*b. Let k be a(-2). Solve 0 = 5*u + k - 14 for u.
-4
Suppose -3*a + 0*a - 14 = -4*p, 3*p - a - 8 = 0. Solve -3*n - 5 = p*n for n.
-1
Suppose -7*k + 23 = -5. Solve -b = k - 2 for b.
-2
Suppose -4*r = -r. Let k be -4 + 3 + 5 + r. Solve -k*c - 15 = c for c.
-3
Suppose -2*u = -6*u + 12. Suppose -5*y + 2 = -2*n + 5, y = 2*n - 7. Suppose -2*m = -2*v - 16, 3*m = -m + 3*v + 28. Solve y = m*q - u for q.
1
Suppose 7*d - 2*d - 5*o - 15 = 0, -4*d - 5*o + 12 = 0. Let c = d - -5. Solve -5*l + 7 = -c for l.
3
Let o(j) = -j. Let p be o(-5). Suppose 2*m - 2*n - 6 = 0, 0*m + n = 4*m - 21. Suppose -m*x + x = 0. Solve x*f = -p*f for f.
0
Let y(l) = l + 13. Let h be y(-10). Solve -13 = -5*a - h for a.
2
Suppose -3*a = -6*a + 6. Solve -a*b + 1 = -7 for b.
4
Let c(t) = -3*t**2 + t + 2. Let q be c(2). Let s = q + 8. Solve -4*l + 20 = -s*l for l.
5
Suppose 35 = 7*q - 14. Solve 0 = 5*r - q + 22 for r.
-3
Let h = -54 - -55. Solve 2 = p + h for p.
1
Let a(x) = -2*x - 5. Let r be a(-10). Solve r = -c + 4*c for c.
5
Let c = 0 + 2. Let v be 7/14 + (-1)/(-2). Solve -3*p = -c - v for p.
1
Let v = -53 - -63. Solve -v + 5 = 5*t for t.
-1
Let x(t) = 3*t**2 + 15*t + 24. Let y be x(-2). Solve i - 1 = -y for i.
-5
Suppose -5*z + 7 + 10 = 2*w, -4*z = -12. Solve 1 = b - w for b.
2
Let a(i) = i**2 - i - 25. Let o be a(6). Solve o*u - 4*u - 4 = 0 for u.
4
Let b(z) be the second derivative of z**3/3 + 2*z**2 - 3*z. Let r be b(3). Solve -2 - r = -4*k for k.
3
Let k be 14/6 + (-6)/(-9). Let z = 6 - k. Solve 0 = z*j - 8 - 7 for j.
5
Suppose 5*a + 1 = -39. Let i be ((-28)/a - 4)*-10. Solve -5*y + i = -0 for y.
1
Let t be (-4)/(-10) + (-26)/(-10). Suppose -40 = -t*d - d. Solve 0 - d = 5*n for n.
-2
Let k = 69 + -64. Solve 0 = -2*a + k*a for a.
0
Let t be 0 - -2 - 2 - (-6 + 3). Solve 2*k + t + 1 = 0 for k.
-2
Let f be 2*(-2)/(-6) - (-22)/66. Solve -1 = -b + f for b.
2
Let z(b) = -4*b**3 - 2*b - 2. Let c be z(-1). Solve -8*d + c*d + 12 = 0 for d.
3
Let m(y) = -3*y**3 - y**2 - 2*y - 1. Let b be ((-1)/(-1) - 2)/1. Let x be m(b). Solve 0 = x*v + 4 - 1 for v.
-1
Let c(b) = b**2 - 4*b + 3. Let g be c(1). Solve -2*k + 1 - 3 = g for k.
-1
Suppose 0 = 7*u - 2*u + 15. Let s = -2 - u. Suppose -s = 2*v - 5. Solve -3*n + 5 = v for n.
1
Let m be (1 - 5) + 0/(-2). Let a(i) = i**3 + 4*i**2 + i + 2. Let n be a(m). Let y = 2 + n. Solve -2*t = -y*t for t.
0
Let p(v) = 6*v + 40. Let s be p(-6). Solve -n + 3 = s for n.
-1
Let k(o) = o + 1. Let w be k(1). Solve 3 = i + w for i.
1
Let a be 3/(-9) + (-3)/(-9). Suppose -5*n + 2*n + 6 = a. Solve 4 = -n*t + t for t.
-4
Suppose 2*s - 6*s = -4. Suppose -5*m + 21 = -9. Suppose 3 - m = -x. Solve -x*q = 7 - s for q.
-2
Let g be 0*5*4/20. Solve g = -2*p - 3*p + 5 for p.
1
Suppose 0 = -x - 2*x + 4*x. Solve -4*b + 30 - 10 = x for b.
5
Let u be 1 + 