*n + 4*n + 10 for n.
-5
Let j be (-303)/27 + (-2)/(-9). Let w = j + 14. Let d be -4*w/(-24)*0. Solve 6*i - i - 25 = d for i.
5
Let s = 33 + -27. Let v be s/(-9)*(-12)/(-8). Let t be (3 - 8)/v + -3. Solve 2*l = -0*l + t for l.
1
Suppose 0 = 5*v + q + 2, 5*q + 13 = -3*v + 3. Suppose 2*f - 24 = 2*o, -3*f + 4*o - 7 = -45. Solve f + v = 2*z for z.
5
Let v(t) = t**3 + 3*t**2 - 2. Let p(a) = -a**2 + 3*a - 2. Let q(d) = -d - 3. Let h be q(-6). Let y be p(h). Let u be v(y). Solve 4*z - u*z = 0 for z.
0
Let r(q) = -q**2 + q + 2. Let p be r(0). Let j be 3*((-16)/12)/p. Let s(k) = -3*k - 1. Let o be s(j). Solve -1 = -3*l + o for l.
2
Let w be (552/(-18))/(2/(-3)). Suppose 24 = -42*a + w*a. Solve -v = 2*v + a for v.
-2
Suppose 0 = 4*l + l - 5, -3*l + 69 = 3*w. Suppose 0 = 2*y - w + 22. Solve 8 = -y*x + 2*x for x.
4
Let g = -28 + 13. Let m = -12 - g. Suppose m*u = -0*u + 9. Solve -u*o - 1 = -10 for o.
3
Suppose -3*m + 2*m - q = -1, 0 = -4*m + 3*q + 11. Let h be m + (-9)/1 - -4. Let l = h + 5. Solve -j = j + l for j.
-1
Suppose -2*j - s + 12 = 0, 16 + 12 = 2*j + 5*s. Suppose 2*c = -2*b, 2 = 3*c + 11. Let h(y) = 3*y - 20. Let w be h(9). Solve -w*d + b*d = j for d.
-1
Let p(q) = 2*q + 32. Let j be p(-15). Suppose 2*x - 18 = -z - j*x, z - 10 = -2*x. Suppose -5*s + s = 0. Solve 3*d - 1 - z = s for d.
1
Let z(m) be the first derivative of m**2/2 + 8*m + 1. Let q be z(-4). Solve -q*n + 28 - 12 = 0 for n.
4
Let w = -122 + 129. Solve -11*x = -w*x + 4 for x.
-1
Suppose 0 = 3*r + 2*n - 16 - 19, -2*r + 34 = 4*n. Suppose -r = 4*f - 25. Suppose -3*u - f*m = m - 9, -5*u = -2*m - 15. Solve u*x + 2 = 14 for x.
4
Suppose 0 = -16*u + 12*u + 20. Let w = 5 + -9. Let f = w + u. Solve 2*q - q = f for q.
1
Suppose 3*g - 3*x = 81, -4*x + 7 = -5. Solve -g*u = -26*u - 4 for u.
1
Let g(f) = 5*f + 1. Suppose 0 = -5*s + 2 + 3. Let h be g(s). Let r be (3/h)/(2/8). Solve -3*n + r*n + 2 = 0 for n.
2
Let a = -159 + 161. Solve r = -a*r for r.
0
Let h(k) = 3*k**2 + 19*k - 12. Let y be h(-7). Solve -5*o - y*o = -0*o for o.
0
Let b = -14 + 17. Let d be b/(0 + 6/8)*1. Solve 5*p - d = 6*p for p.
-4
Suppose -146*a - 140*a + 276*a = 0. Let s be (1 + -2*1)*-1. Solve c + s = -a for c.
-1
Suppose -4*x = -8*x + 44. Solve -15*u = -x*u for u.
0
Let v be (4 + 15/10)/((-11)/(-22)). Solve v*u = 8*u - 9 for u.
-3
Let r be (-1*2)/(-2) - -12. Let x be 4/6*(-3)/(-2). Suppose s - x = 3. Solve s*i = r + 3 for i.
4
Let v be 0/(-4)*2/4. Suppose v = s - 0*s. Suppose 5*i - 5 + s = 0. Solve 4 = -x - i for x.
-5
Suppose 2*b + 0*b = -4, -3*b = -5*o + 26. Suppose 32*q - o = 30*q. Solve 0 = -q*g - 0*g + 2 for g.
1
Let g be (1*-1)/((35/42)/(-5)). Suppose -g*h = -4*h - h. Solve 0 = -h*v - v for v.
0
Let y be 2*-2 + -3 + 5. Let q be (y/6)/(9/(-324)). Solve n - q = -3*n for n.
3
Let w(n) = -41*n - 356. Let x be w(-9). Solve 6*h + x = 1 for h.
-2
Suppose -2*y = -2*k - 28, 4*k = 3*y + 2*k - 43. Solve -19*x = -y*x + 20 for x.
-5
Suppose 8*h - 6*h - 10 = 0. Suppose h*z = -4*f + 52, 11 = 5*f - 5*z - 9. Solve -f = -t - 4 for t.
4
Let k be (-2 + 2)/(8 + -6). Solve k*m - 6 = 3*m for m.
-2
Let l = 7 - 2. Suppose l*u = -4*i - 41, -2*u - i = 2*i + 22. Let v = -1 - u. Solve -5*k + v + 1 = 0 for k.
1
Let r(v) = -2*v**2 + 0 - 9*v + 3*v**2 - 7. Suppose 3*z - 5*y - 25 = 0, 4 = 5*y - y. Let u be r(z). Solve -2*x + u = -3 for x.
3
Suppose -2*v + 96 = 4*v. Solve 7*b - v = 11*b for b.
-4
Let r be ((-38)/133)/((-5)/35). Solve -m = -r*m + 4*m for m.
0
Suppose 0 = -2*u - u - 4*o + 13, 5*u = -2*o + 17. Suppose u*f = 5 - 8. Let v = f - -1. Solve -4*q - 7 + 15 = v for q.
2
Let t be 4*(-4)/(-32)*4. Suppose -2*o - t*m + 11 = -m, o + 3*m = 13. Suppose -5*p = 2*c - 20, -2*c - o*p + 4 = -12. Solve c = -3*k + 6 for k.
2
Let s = -226 - -229. Solve s*d + 21 = 10*d for d.
3
Let g be -4 + (-2 - (-8 + 4)). Let c be (g/(-2))/((-1)/(-4)). Solve s - 15 = -c*s for s.
3
Let m(h) = h**2 + 4*h + 1. Let n be m(-5). Let c(q) = q**3 + 15*q**2 + 3. Let z = -32 - -17. Let g be c(z). Solve -g*w + 0 - n = 0 for w.
-2
Suppose 8 + 1 = 3*c. Suppose -q - 5*n = c*q - 295, -3*q + 4*n + 229 = 0. Suppose -3*r - 2*r = -q. Solve -3*a + 3 = r for a.
-4
Let n = 47 + -44. Suppose 2*q + 20 = 3*c, 7*q = n*q - 16. Suppose -3*m = d - 2*d - 15, 3*d - 25 = -5*m. Solve c*z + d*z + 12 = 0 for z.
-3
Suppose -11671 + 11631 = -4*v. Solve 5 + 5 = -v*k for k.
-1
Let m be ((-24)/15)/((-2)/(-5)). Let v = 6 + m. Solve v*y + 2*y - 12 = 0 for y.
3
Let x(j) be the first derivative of 3*j**2/2 + 32*j + 12. Let v be x(-8). Solve -3*k = -v + 23 for k.
-5
Let i(o) be the first derivative of o + 2/3*o**3 + 2 + 0*o**2 - 1/4*o**4. Let z be i(2). Solve q + 4 - z = 0 for q.
-3
Let t(h) = -h**3 + 3*h**2 + 10*h - 4. Let l be t(-3). Solve -4 = 4*g - l for g.
4
Suppose 20 = 30*i - 10. Solve 3*f - i = -13 for f.
-4
Let q be (6 - 8 - 64) + (1 - -1). Let n = -61 - q. Solve w = -n*w for w.
0
Suppose 4*m - 8 = 2*k - m, -5*m + 11 = k. Suppose d - k = 4. Suppose y + 16 = 2*b - 1, -5*y + 65 = d*b. Solve -g + b = 4*g for g.
2
Let u(a) = 20*a - 12. Let q be u(1). Solve -6*j = -q*j for j.
0
Suppose 3*f = p + 42, 2*f - p + 5*p = 42. Let m(x) = -x**2 + 7*x + 12. Let o be m(9). Let k be (-1)/(1 + o/4). Solve -l = k*l + f for l.
-5
Let z(n) = n**2 - 8*n + 1. Let v be z(7). Let k be 2/4 + v/(-4). Suppose k*f = -f + 21. Solve 0 = f*c - 2*c - 25 for c.
5
Let f be (14/35)/((-2)/(-120)). Let z = 24 - f. Solve z = i + 1 for i.
-1
Let i be (-8 - -4)*(2 + -9). Let t be 4/14 + (-8)/i. Solve -1 = z - t for z.
-1
Let a(r) = -6*r + 37. Let u be a(5). Suppose 36 = u*q + 2*q. Solve 6*w = 2*w + q for w.
1
Let y be (-6)/(8/((-640)/15)). Suppose -3*c = -4*b - y, 3*b + 16 = 3*c + 7*b. Solve -c = -4*t + 2*t for t.
4
Let f be (0/(-3) - 4)/2. Let i = f + 4. Suppose -j + 1 = 0, 7 = 4*x - i*x + j. Solve 3*z = x + 9 for z.
4
Let t(m) = 4*m - 10. Let a be t(6). Suppose 13*d - a*d = -6. Solve -d = x + x for x.
-3
Let i(d) = -d**3 + 10*d**2 + 3*d. Let c be i(10). Let z be c + (-2 - 0 - 1). Let k = 27 - z. Solve k*w + 4*w = 0 for w.
0
Let c(m) = 23*m + 9. Let q be c(-3). Let n be 9/5 - 12/q. Solve n*s + 2 = 8 for s.
3
Let t(v) = v - 2. Let c be ((-4)/12)/(4/(-36)). Let p be t(c). Solve q = 2 - p for q.
1
Let x(f) = f**3 - 16*f**2 + f - 13. Suppose -2*k = 3*b - 52, 0 = b - 4*b + 3*k + 42. Let n be x(b). Solve -z + n = -4*z for z.
-1
Let c = 18 + -14. Suppose -2*v + 7 = c*o + v, 4*v = 5*o - 1. Solve -2*j - o = -5 for j.
2
Suppose 3*f - 7 = 5*a - 1, -4*a + 4*f - 8 = 0. Let d be a + -2 - 2 - -10. Suppose d*k = 9*k - 6. Solve k*o = -o - 12 for o.
-4
Suppose 4*h - 14 = -6*v + 4*v, 0 = -h + 4*v + 8. Let f(w) = w**3 - 5*w**2 + 6*w - 5. Let j be f(h). Solve 10 - 1 = j*d for d.
3
Let n = -200 + 203. Solve -1 = -2*w + n for w.
2
Let g(j) = 7*j. Let q be g(0). Suppose q = -9*p + 4*p + 10. Solve -p - 3 = n for n.
-5
Let h(g) = 5*g**2 + 2*g. Let i be h(-1). Suppose -3*r + 6 = i*s, s - 2*r + 1 = 2*s. Solve 16 - 4 = -s*m for m.
-4
Suppose 29*g = 35*g - 6. Suppose -5*v = r - 16, -5*v + 2*r + 2*r + 36 = 0. Solve 5 = v*j + g for j.
1
Suppose -147*v = -148*v + 6. Solve p = -5*p - v for p.
-1
Let m(q) = -q**2 - q - 4. Let j be m(3). Let c = j + 17. Solve 5*d + c = -4 for d.
-1
Suppose 0 = 5*h - 5*n, -5*h = -8*h + 4*n - 1. Let u = h - 1. Solve u*j = 2*j + 6 for j.
-3
Suppose 0 = -4*y - 0*y + 3*n + 65, 5*y = -n + 105. Suppose 3*x = -5*i + 59, 6*i - y = i. Let z = -9 + x. Solve -k = z*k - 10 for k.
2
Let b = 63 + -60. Suppose -b*t = -6*v + v + 32, 3*t = -3*v. Solve -3 = v*k + 13 for k.
-4
Let u = 70 - 70. Solve u*g + 2*g = 8 for g.
4
Let s(k) = -k**2 - 9*k - 4. Suppose h + 2*h - 18 = 0. Suppose -2*g = 10 + h. Let x be s(g). Solve 0 = -2*q - x - 6 for q.
-5
Let w(z) = 2*z**3 + 34*z**2 + 5*z - 8. Let x(u) = -u**3 - 17*u**2 - 3*u + 4. Let c(b) = -3*w(b) - 5*x(b). Let o be c(-17). Solve -8 = -o*n - 0*n for n.
2
Let u = -1438 - -1440. Solve u*q - 5*q = -3 for q.
1
Let y(a) = -73*a + 443. Let q be y(6). Solve 5 = -15*b + q for b.
0
Let a = 1115 + -1112. Solve 0 = 4*y + a - 7 for y.
1
Let m = 1 - 7. Let r be (-2)/6 + 40/m. Let f = r - -15. Solve -3*s = -5*s - f for s.
-4
Let p be (75/2)/(63/84). Suppose 5*u + 4*a - 59 = 0, -2*u + 6*a + p = a. Solve u = -5*w - 0 for w.
-3
Let t = 3 + 0. Suppose 0 = -g + 6*g + 5*p, t*g - 2*p = 0. Suppose -66 = -5*z - 3*v, g = v - 0*v - 2. Solve -3*w + z = 