 -s - m = -2*s for s.
4
Let q(s) = -s**2 - 3*s. Suppose -4*h = -6*z + 3*z - 3, -5*h - 5*z - 40 = 0. Let g be q(h). Solve 5*n - 7 + 2 = g for n.
1
Let x(c) = c**2 + 13*c + 79. Let v be x(-13). Solve -73*m = -v*m for m.
0
Suppose -118*x = -128*x + 50. Solve 6*r = x*r + 2 for r.
2
Let m(b) = 4*b - 12. Let n be m(4). Suppose -3*x - 29 = -6*i + n*i, -3*x + 36 = 3*i. Solve -3 + i = 5*w for w.
2
Suppose -9*x + 5*k + 22 = -10*x, -x = -2*k - 13. Let t = -10 - -12. Solve -a + t*a = x for a.
3
Suppose -s - 2 = s - 2*c, 3*s + 4*c - 18 = 0. Solve 2*m + 0*m = -s for m.
-1
Let m be 141/(-94)*(2/(-3) + -2). Solve -8*c + m = -6*c for c.
2
Let h = 3096 - 3096. Let s be 7/(-2)*(3 - 1). Let p(g) = -g**2 - 8*g - 7. Let v be p(s). Solve v = -h*j - j for j.
0
Let f be (1/2)/(2/8). Let u(w) = 1 - 16*w + 2 + 22 - w**3 + 0 - 18*w**f. Let r be u(-17). Solve 3*b = -1 - r for b.
-3
Let g = -83 + 85. Suppose -p = -z - 1, 5*z = 4*z + 2*p - g. Suppose 0 = 4*b + 6 - 14. Solve -2 + z = b*v for v.
-1
Let k(x) = -2*x**2 - 3*x + 9. Let a be k(-3). Solve 3*m + 3 = -a*m for m.
-1
Suppose 3*l - 24 = -4*v, v - l = 2 + 4. Let i be ((-4)/v)/((-2)/(-21)). Let p = i - -12. Solve p = 3*c - 7 for c.
4
Let p = -2884 + 2904. Solve 14 = -p*a - 26 for a.
-2
Suppose -15*w = -91 + 1. Solve -10*u + 16*u = w for u.
1
Let u(t) = -3*t - 11. Let s be u(-5). Suppose 3 = 5*a - 2*a + 3*j, -s*j = 0. Suppose -n = -5*k + 9 + a, 5*k - 10 = 3*n. Solve -k*c - 4 = -0*c for c.
-2
Suppose -4*d - 2*y + 7 = -39, 3*y - 51 = -4*d. Solve -3*n = d - 0 for n.
-3
Suppose 0 = 3*c - 3*p - 21, -51*c + 54*c = 5*p + 21. Solve 13 + c = 4*l for l.
5
Let r(z) = -z**2 + 14. Let y be r(4). Let j be y/(-8)*(7 + -3)*1. Solve 3*c + 2 = -j for c.
-1
Let x(i) be the second derivative of -7/2*i**2 + 1/20*i**5 + 0 - i - 1/3*i**3 + 7/12*i**4. Let r be x(-7). Solve 0 = 3*l - r + 1 for l.
2
Suppose -c + 30 = 2*c. Let p = c - -2. Suppose -4*h + p = -h. Solve -2*b - 4 = h for b.
-4
Let v = 1358 + -1331. Solve -5*q = 4*q + v for q.
-3
Let i = -388 - -394. Solve i*c + 0*c + 30 = 0 for c.
-5
Suppose h - 3*h = -0*h. Let i = 2 - h. Solve -7 - i = -3*j for j.
3
Let i be 0 - (-2 + -1) - 6. Let t be 93/62*(-1 - 5/i). Solve 2*x + t = 3 for x.
1
Let t(a) be the first derivative of -3*a**2 - 5*a + 27. Let q be t(-1). Solve 4*d - 3*d = -q for d.
-1
Let w = -46 + 49. Let a = 14 + -13. Solve 2*t + a = w*t for t.
1
Suppose 1 = 2*d - 4*s - 1, 0 = -5*d + 5*s + 15. Suppose x = -4*j + 30, d*x + 4*j = -j + 105. Solve 5*r + x + 7 = 0 for r.
-5
Suppose 5*n + 5 = 15. Suppose 4*p + 0*p + k - 41 = 0, n*p = -4*k + 24. Solve 2*c = 4*c - p for c.
5
Suppose -4*r + 6 = -2*j, -5*j = -12*r + 10*r + 7. Solve w = r + 2 for w.
3
Suppose 3*y + 5*n + 33 = 0, 2*y + 18 = -2*n - 0*n. Let q = y + 3. Let t = q - -9. Solve 0 = t*w - w + 20 for w.
-4
Let p = -6 + 10. Suppose -3*t + p*m = t, 0 = 4*m - 8. Suppose -3*c = t - 11. Solve 8 - 2 = c*v for v.
2
Suppose 5*x = x - 6*x. Solve -6*j + 18 + 12 = x for j.
5
Suppose 6*x - 7 = -x. Suppose 3*g = -3*a - 6 + 15, -5*a = g + 5. Solve j = -g + x for j.
-4
Let v(r) = -r**3 - 9*r**2 - 8*r. Let h be v(-8). Suppose 3*l - 1 = 11. Suppose 0*c = -5*d - 4*c - 20, -4*c - 20 = l*d. Solve 3*s + d*s + 3 = h for s.
-1
Let d(b) = -27 + 10 - 1139*b**2 - 12*b + 1138*b**2. Let u be d(-9). Solve -2*t + 0*t = u for t.
-5
Let w(u) = 122*u. Let z be w(1). Let a = z - 118. Solve 0 = a*q + 16 - 0 for q.
-4
Suppose 0 = -v + 2*n - 10 - 5, n + 24 = -3*v. Let l = -5 - v. Let b(u) = u + 2. Let o be b(4). Solve -o = l*f + 2 for f.
-2
Let f = -178 + 178. Solve f = -7*s + 3*s for s.
0
Let d = -86 - -91. Suppose -2*q + 0*q = 0. Solve 0*p + d*p = q for p.
0
Let g(u) = 2*u**2 - 7*u - 14. Let m be g(7). Suppose -d - 21 = -3*i, 2*d - m = -4*i + d. Solve 2*p = -0*p - i for p.
-4
Let j(v) = v + 5. Let o(s) = -2*s - 9. Let g(c) = 5*j(c) + 2*o(c). Let m be g(5). Solve m = 3*p + p for p.
3
Suppose 3*l = 0, -3*m + 0*l + 6 = l. Solve 0 = -m*z + 7*z + 20 for z.
-4
Suppose 42*g - 7*g = 70. Solve -p + g*p = -5 for p.
-5
Suppose 0 = 4*l + 3*s + 21, -3*l + 5*l + 4*s = -18. Let f be -1*0/l*-1. Solve f*k = 2*k - 4 for k.
2
Suppose w + 0*w - 10 = -2*x, x + 1 = 0. Let m be 28/(-6) - (-8)/w. Let s(r) = r**3 + 3*r**2 - 5*r - 2. Let v be s(m). Solve 7*f = v*f + 10 for f.
2
Let i be 19/6 + -3 + (-2)/12. Suppose i = -3*q - 3*q + 18. Solve 3*c + q + 0 = 0 for c.
-1
Let w(r) = 4*r - 14. Let v be w(4). Suppose -2*q + 4*n - 2 = 0, q - v*q - n + 5 = 0. Solve q*x = -2*x + 10 for x.
2
Let i(b) = b**3 - 10*b**2 + 2*b + 8. Let p be i(9). Let x = p + 55. Solve o + x + 2 = 0 for o.
-2
Suppose 4*m - m = 5*f - 5, -5*f - 2*m = -30. Solve -f = -2*v + 4 for v.
4
Suppose 4*p = -2*t - 8, -3*p + 4 = 5*t - 4. Suppose x = -0*x + 3*q - t, -4*q = -x - 8. Solve -5*m + m = x for m.
-2
Suppose 2*d - 76 + 66 = 0. Solve d*p + p = -24 for p.
-4
Let k be (-8)/(-20)*(-5)/(-1). Solve -k*s + 3 = 11 for s.
-4
Let g be (0 + -2 + 11)*(-32)/(-48). Suppose -t = g - 9. Solve -u - 10 = -t*u for u.
5
Let s be (-14)/(-6) + (-1248)/(-117). Solve 0 = s*p - 18*p for p.
0
Let n(w) = -w**3 + 5*w**2 - 4*w - 2. Let z be n(4). Let l be z*(7/2)/(-7). Let c be 9*((l - -4) + -4). Solve -2*v - 1 = -c for v.
4
Let d be (-4)/(-16)*0 - 1. Let c be (d + 2)/(2/(-4) + 1). Let q be (-9 + -1)*(-1)/1. Solve -q = -3*o - c*o for o.
2
Let g(b) = b**2 + 2*b. Let w be -2 - 2/(1 + 1). Let a be g(w). Suppose -s = 2*r - a, 0 = 4*s - 0*r + 2*r - 18. Solve 5*l + s = 4*l for l.
-5
Let w = 0 + 2. Let f = -640 - -641. Solve 0 = w*a - f + 3 for a.
-1
Let u be 6 - (0 - -1)/1. Let k(o) = 64*o + 1090. Let i be k(-17). Solve u = -i*a + 3*a for a.
5
Suppose 4*j = -s + 22, s - 4*s = -3*j + 9. Suppose -8 = -2*l - 4*x, -5*l + 71 + 33 = -4*x. Solve l = j*m - m for m.
4
Let y = -89 - -49. Let n be (3 - y/4) + -1. Suppose 4*r - r = n. Solve -22 + 6 = r*c for c.
-4
Suppose 0 = -0*t + t - 2. Suppose 0 = -t*r + r + 4. Solve -6 = u - r*u for u.
2
Let k(f) = 18*f - 391. Let z be k(22). Let h(u) = -u**3 - u**2 + 2*u + 3. Let q be h(-2). Solve -4*s - q - z = 0 for s.
-2
Suppose 21 = -4*h + 113. Let f(j) = -8*j + 77. Let i be f(9). Suppose 5*c - c - 11 = i*x, x = -2*c + h. Solve -3*g = -6*g + c for g.
3
Let w = 73 - 70. Let u(v) = v**3 + v. Let k be u(1). Solve w = k*l - 7 for l.
5
Let u = -25 + 24. Let d be 0/((-3)/3*u). Suppose b - 4 = -d*b - 2*p, -5*b + 20 = -2*p. Solve -2*i = -i + b for i.
-4
Suppose 8 = 63*s - 59*s. Suppose -5*a - 3*p + p = -8, 12 = 5*a - s*p. Solve -a*j = 10 - 0 for j.
-5
Let a = 1 - 1. Let j be 0*((4 - 4) + 1). Let b(d) = -d**2 + 2. Let n be b(j). Solve a = n*w + w for w.
0
Suppose 2*m - 4*p = -62, 6*p - p = -3*m - 148. Let k = m + 29. Let o be -1 + (-2 - -2) - k. Solve 2*x + 1 = o for x.
5
Let d(w) = 3*w - 13. Let a be d(5). Let n = -1 - -5. Solve -a*q = -0*q - n for q.
2
Suppose -4*f - 36 = -5*n, 4*f + 8 = -2*n - 0*f. Let j be (-95)/(-20) - (-2)/(-8 - 64/(-4)). Solve n + 6 = j*g for g.
2
Suppose -5*w + 2*y - 15 = 21, -y - 26 = 3*w. Let z(r) = r**3 + 8*r**2 + r + 10. Let f be z(w). Solve f*p - 5 = p for p.
5
Let b be -1*(-3 - -4)*0/1. Solve -5*v - 18 + 3 = b for v.
-3
Let p be ((-8)/14)/(6/(-21)). Let k be ((-9)/(-15))/((-2)/(-20)) - 2. Suppose -30 = -5*l - 5*m, -l + 3*m = -5*l + 24. Solve -l + k = -p*g for g.
1
Let a(i) = -45*i - 14. Let g be a(-1). Solve g*c = 34*c for c.
0
Suppose 2 - 5 = -n. Suppose 4*r + 2*d - 10 = 0, 4*d = 13 - 9. Solve -m - n = r*m for m.
-1
Let t(u) = -5*u - 113. Let b(x) = 2*x + 38. Let q(o) = -8*b(o) - 3*t(o). Let v be q(29). Solve v = r + r for r.
3
Let y = -3474 - -3476. Let p be 1*(-1 - -1)*-1. Solve -a + 0*a - y = p for a.
-2
Suppose 0 = 4*r + 5*q - 13, -3*r - 5*q = -0*r - 11. Solve 15*b = r*b - 26 for b.
-2
Let g(p) = p**3 + 7*p**2 + 8*p + 6. Let z be g(-5). Let n = z - 29. Let m = n + 28. Solve m = 2*d + d for d.
5
Suppose 0 = y + 4*w - 29, -2*y = -3*y + w + 19. Let u = y + -13. Solve 0 = 4*v - 4 - u for v.
3
Let c(x) = 22*x - 171. Let n be c(8). Solve n - 5 = 8*y for y.
0
Suppose 3*p = -p + 12, b - 6 = p. Solve -b*v + 8 = -5*v for v.
2
Suppose 4*g - 6*g + 15 = -w, -5*w - 30 = -g. Let f be (-2 - -1 - -1)/2. Suppose f = g*o - 9*o + 16. Solve -o = -2*p + 4 for p.
4
Let x = 27 - -79. Let i = -104 + x. Solve -i*s + 3*s = -4 for s.
-4
Let p = 16 + -16. Suppose p = -4*l - l + 10. Let i be (8/(-6))/((-32)/48). Solve y = i*y - l for y.
2