3*x for x.
-1
Let k(a) = -6*a - 18. Let w be k(-4). Solve w*b = b for b.
0
Let w(a) = a**2 + 3*a - 3. Let y be w(4). Let i(t) = -4*t + 6. Let v be i(4). Let g be (-1)/2 - y/v. Solve b = -3 - g for b.
-5
Let y = 94 - 74. Solve 4*t + 0*t = -y for t.
-5
Let m = -8 + 8. Suppose m = -4*z + 5 + 3. Suppose z*g = 7 - 3. Solve -g = 4*q - 10 for q.
2
Let w(h) = -h**2 + 10*h + 5. Let r be w(10). Suppose 3 + r = 4*n. Solve 3 = -n*f + 1 for f.
-1
Let p(t) = t**2 - 9*t - 4. Let r be p(6). Let q = r - -38. Solve -5*l = -l + q for l.
-4
Let b be (-2)/5 - ((-96)/10)/4. Solve -b*l = -1 - 1 for l.
1
Let o = -5 - -7. Suppose -3 = -o*j + 1. Solve 5*n = j*n - 12 for n.
-4
Let w be 8/(-12)*-1*3. Solve -w*r + 0 = -2 for r.
1
Let i = -2 - -2. Suppose -m - 4*m + 10 = i. Suppose 1 = 3*w - 4*k - 0, -k + m = 0. Solve -p = -w*p for p.
0
Suppose -3*l = l. Suppose -d + 2*d = l. Solve -j + 0 + 5 = d for j.
5
Let u be (-1 + 3)*-2 - -3. Let v = 2 - u. Solve v*w - 2 = 4 for w.
2
Let o be 4*(-2)/(-8)*0. Solve o = -0*r + 4*r for r.
0
Suppose -n = -4*a + 38, 0 = a + a + 2*n - 24. Suppose 2*g + a = 4*g. Solve g = -4*h - 3 for h.
-2
Suppose 2*b + 3*m = 5*b + 54, -3*b + m = 46. Let y(l) = l**2 + 15*l + 17. Let x be y(b). Solve s = 4*s + x for s.
-1
Let q(h) = -2*h**3 + 2*h + 6. Let n be q(-2). Solve -4*s + n = 2 for s.
4
Let k be 1 + -5 - (-1 - 3). Solve k = 2*d + 1 + 5 for d.
-3
Suppose 9*y - 11*y = -4. Let s = -5 - -32. Suppose 0 = 3*w + d + 2*d - s, 31 = 4*w + 3*d. Solve -w*p = -y*p for p.
0
Suppose -9*r = -8*r + 20. Let p = r - -21. Solve -3 = c + p for c.
-4
Let k(v) = 0*v**2 - 4*v**2 - 4*v - 7 + 5*v**2. Let l be k(8). Suppose a = -x - 1, -2*x - 2 = 4*a - 0*a. Solve a = -6*y + y + l for y.
5
Let u(x) = -x**3 - 10*x**2 - 6*x + 13. Let o be u(-9). Let p be (14 + o)/(0 + 2). Solve p = s - 2*s for s.
0
Let w(u) = u - 2. Let y be w(4). Let q be 0/y*(-1)/2. Suppose 4*b - b - 15 = q. Solve b*a - 1 - 19 = 0 for a.
4
Let f be 2*(3 + 20/(-8)). Solve -2*b - 9 = f for b.
-5
Suppose 8*s - 4 - 4 = 0. Solve 3*x = 8 + s for x.
3
Let o = -87 - -90. Solve -5 + o = -2*b for b.
1
Let h = 25 - 11. Let u = h - 9. Suppose -3*w = -4*w + u*d - 15, -2*w + 4*d = 6. Solve 2*j - w = -1 for j.
2
Suppose 0 = c - 0 + 2, 4*c = 4*g - 16. Solve g = 3*z + 11 for z.
-3
Let m be ((-6)/(-18))/((-1)/(-6)). Solve -m*p - 2*p = 0 for p.
0
Let w be 2 + (-1 + 5 - 2). Let b(k) = -10 + 3*k + 1 - 2*k - 2*k. Let u be b(-10). Solve -w*g - u = -3*g for g.
-1
Let h(t) = 2*t + 1. Let l be h(0). Let u(a) = -a**2 - 3*a - 2. Let o be u(-2). Solve r = -o*r - l for r.
-1
Let l = -9 - 17. Let x = 30 + l. Solve 3*y = -y + x for y.
1
Let v(m) = m**2 + 5*m + 3. Let y be v(-5). Let q be y/(-9) - 26/3. Let t = -2 - q. Solve -4*r - 15 = -t*r for r.
5
Let w be 3/8 - 375/40. Let v(t) = -t**3 - 8*t**2 + 8*t - 1. Let n be v(w). Let j = 3 - 0. Solve -j*c = -n*c for c.
0
Suppose -3*y + 57 = 3*b, -2*y + 0*b + 38 = -4*b. Solve -1 = -4*h + y for h.
5
Let l = -16 - -18. Solve -3 = -s - l for s.
1
Let b(i) = 3*i - 3 + 3*i - i**2 + i. Let r be b(5). Solve -13 = 4*q + r for q.
-5
Let n(t) = -t**2 + 11*t. Let y be n(11). Solve y*i = i for i.
0
Let s be -6*(8/6)/(-1). Suppose -h - 5*q = -6*h, -3*h = q - s. Solve 2*b = -h*b for b.
0
Let l be (-100)/2*(-3)/6. Suppose 2*u + m - 33 = 0, -22 - 35 = -3*u - 4*m. Let n = l - u. Solve -2*r + n = 3*r for r.
2
Let h(k) = -k**3 + 10*k**2 - 7*k - 16. Let r be h(9). Let o be (0 - -3) + (-1)/(-1). Suppose 0 = -o*g + 6 + 6. Solve 5*u = -r - g for u.
-1
Suppose 0 = 5*l - 6 + 11. Let k be (2 - 1) + 3 + l. Solve h = -k*h + 12 for h.
3
Let p = -1 + 1. Solve p*c = -2*c for c.
0
Suppose 4*q + 48 = 8*q - 5*a, 5*a = 0. Solve -q + 3 = 3*z for z.
-3
Let f(m) = 2*m - 8. Let b be f(7). Let u = -3 + b. Suppose -7*i = -u*i - 16. Solve 12 = -i*j - 0 for j.
-3
Let x be ((-5)/5)/(-2*1/8). Solve 0 = 5*f + x + 1 for f.
-1
Let l = -7 - -11. Solve -l*z = -z - 3 for z.
1
Let y = 2 + 0. Solve -y*q + 12 = q for q.
4
Let d(z) = z**2 + 2*z + 2. Let w be d(-3). Suppose s + w*c = -25, s + 5 = -2*c - 5. Let f = 1 - -4. Solve s = -f*x + 21 + 4 for x.
5
Let p(w) = -w**3 + 6*w**2 + 7*w + 9. Let s be p(7). Let z be s + (-2)/4*-2. Let j = -5 + z. Solve 20 = -j*u + u for u.
-5
Let a(w) = -w**2 + 5*w + 17. Let d be a(7). Solve -d*p = p for p.
0
Suppose 20 = 4*t + 2*y, -t + 5*y - 9 = 8. Solve t*z = 2*z + 2 for z.
2
Suppose -u - 16 = u. Let k(x) = x**3 + 9*x**2 + 7*x - 6. Let t be k(u). Solve -2*z = t + 8 for z.
-5
Let n(k) be the second derivative of k**3/6 + 15*k**2/2 - 2*k. Let o be n(-11). Suppose o*i + 0 = 104. Solve i - 10 = 4*a for a.
4
Let b(l) = l - 1. Let s(p) = 3*p - 3. Let k(h) = -8*b(h) + 3*s(h). Let w be k(3). Solve w*y = 3*y - 1 for y.
1
Let v(c) = c**3 + 7*c**2 - 7*c + 4. Let o be v(-8). Let g be (-5)/1*o/10. Solve -g = -4*b - 10 for b.
-2
Let p = 102 + -98. Solve 3*q + p = -2 for q.
-2
Suppose c = 2*c - 5. Suppose -3*p - 2*s + c = 0, -p - 3*p + 10 = 2*s. Solve r - p*r + 4 = 0 for r.
1
Suppose 20*h - 32 = 16*h. Solve -h = -w - 9 for w.
-1
Suppose -3*x + 8*x = 10. Solve -4*r - x = -18 for r.
4
Suppose 0 = v - 3*z + 4 - 1, -2*z = -10. Solve 0 = -3*t - 0*t - v for t.
-4
Let b = 11 - 7. Let t be 0/2*13/26. Suppose c + t*c = b. Solve c*r = -r for r.
0
Let a(q) = q**2 + 8*q - 6. Let y be a(-9). Suppose y*v = -10 + 31. Solve -2*d - 10 = -v*d for d.
2
Suppose -3*d = -4*d - 21. Let z be (-2)/(-8) - d/12. Let n(g) = 4*g - 10. Let y be n(3). Solve -z*b - y = -4*b for b.
1
Let x be (-25)/(-10) - (-1)/2. Suppose f + 8*q = x*q - 8, -f = q. Solve 3*z + f*z = -15 for z.
-3
Let i be 0 + (0/(-1))/(-2). Solve i = 4*r + r - 25 for r.
5
Let r be 6 - (-16)/24*(-18)/(-4). Solve 0 = -5*h + 2*h - r for h.
-3
Suppose 0 = -i + 20 - 9. Let n be 3/9 - i/(-3). Let z be (1*-2)/(6/(-39)). Solve z = n*q - 3 for q.
4
Let i = 2 - -2. Let k be (-3)/(-1) + 0/i. Solve -10 = -k*s - 2*s for s.
2
Let m(i) = i**2 + i - 2. Let o be m(3). Solve 0 = 5*p - o*p - 10 for p.
-2
Suppose 0 = v + 4*q - 0*q - 2, -14 = 5*v - 4*q. Let h(u) = u**2 - 3*u - 3. Let w be h(v). Solve -2*d = -w*d + 10 for d.
2
Let o(x) = 2*x**2 - 9*x + x**3 + 12*x**2 - 6*x**2 + 4. Let c be o(-9). Solve -c*u + 7 = -13 for u.
5
Let t be (-5)/(-1) - (21/3 + -4). Solve -t*b + 3*b - 4 = 0 for b.
4
Let f(w) = -4*w + 2. Let i be f(3). Let d be i/45 - (-20)/9. Solve 0 = 3*g - g + d for g.
-1
Let q(s) = -2*s - 19. Let d be q(-12). Solve -4*w + 4 = -d*w for w.
-4
Let k(g) = -g**3 - 3*g**2 + 4*g + 2. Let u be k(-4). Let t be u + 0/((-6)/(-2)). Solve t*a + 8 = -2*a for a.
-2
Let g be (-16)/(-10)*(-55)/(-11). Solve 3*l - g = -2 for l.
2
Let w(c) = 4*c - 14. Let s be w(8). Solve -4*h - 2 + s = 0 for h.
4
Suppose -2*l + a = 0, -l + 18 = -0*l + 4*a. Solve x = l - 5 for x.
-3
Suppose -80 = 17*v - 22*v. Solve -v = -4*d - 0 for d.
4
Let c(r) = -r**2 + 9*r - 14. Let g be c(6). Suppose g*t + 5 = 29. Solve 9 + t = 3*n for n.
5
Suppose 0*p = 5*h + 3*p - 12, 2*h = 5*p + 11. Solve h*f + 2*f = -5 for f.
-1
Suppose 15 + 10 = 5*c. Suppose -c*w = u - 27, 5*u = -2*w - 0*u + 20. Solve -9 = -2*f + w*f for f.
-3
Let p be 1*((-1)/5 - 688/(-40)). Solve -5*c - 2 = -p for c.
3
Let j be -2*(0 + 2/(-4)). Let l = j - 1. Suppose l = z + 4*z - 25. Solve 0*n + 5 = -z*n for n.
-1
Let d(r) be the second derivative of r**3/6 + 4*r**2 + 15*r. Suppose 0 = t + t - 5*j + 37, t + 21 = 3*j. Let u be d(t). Solve -u*s - 2*s = -16 for s.
4
Let r = -14 - -16. Solve 8 = r*z + 2*z for z.
2
Let r(h) = 3*h**3 - 3*h**2 - h**3 - 2*h**3 + 3*h - h**3. Let c be r(-4). Let w be c/(-14) - 90/(-21). Solve -w*d - 1 - 3 = 0 for d.
-1
Let a be ((-2)/8)/(1/(-12)). Solve x - 4 = a*x for x.
-2
Let n(g) be the second derivative of -g**5/10 - g**4/4 - g**3/6 - g**2/2 - g. Let u be n(-2). Let h = u - 3. Solve 3*m - 7 = h for m.
3
Let i(r) = -r**3 - 5*r**2 - 3*r - 7. Let l be i(-5). Suppose -16*u + 12*u = -80. Solve -l*f = -3*f + u for f.
-4
Suppose 2*a - 4 - 2 = 0. Solve a = i + 1 for i.
2
Let h(q) = q**3 - 5*q**2 - q + 5. Let d be h(5). Let z = 2 + d. Let c be (z/(-4))/(1/(-6)). Solve -1 = c*a - 7 for a.
2
Suppose -3*x = -5*w - 25, 5*x - 34 = 3*x - w. Solve 9*r - 4*r = -x for r.
-3
Let a = -4 + 2. Let t = -2 - a. Suppose t = -5*p + 7 - 2. Solve 3 + p = -s for s.
-4
Let g = -6 + 12. Suppose -4*q + 9 = 1. Let r(m) = 2*m - 2. Let u be r(3). Solve q + g = u*c for c.
2
Let h(o) = 6*o**3 - 2*o**2 +