 w for s.
2
Let y be ((-36)/(-15))/((-9)/(-30)). Let l be 15/(-20) - (-6)/y. Solve -2*z + 4 = -l*z for z.
2
Let y(r) = 5*r + 17. Let a be y(0). Solve a = 4*t + 5 for t.
3
Suppose 4*b - 3*h = b, -24 = -3*b - 5*h. Suppose -4*k + s + 17 - 1 = 0, b*k - 3*s - 12 = 0. Solve -k*f - 5 = f for f.
-1
Suppose -5*q = -a - 12, 2*q + 0*a - 4*a - 12 = 0. Solve 2*b = 3*b - q for b.
2
Suppose -2*m - 12 = -5*m. Solve -n = -1 - m for n.
5
Let j = 47 + -45. Solve 2*u + 6 = j for u.
-2
Let b(j) = -j - 1. Let k be 14/(-18) + 4/(-18). Let m be b(k). Solve m*u - 5 = -u for u.
5
Suppose 0 = -4*b + 4*n - 4, 5*b + n + 2*n - 3 = 0. Solve b = 3*d - d for d.
0
Let m(t) = -t - 4. Let b be m(-8). Solve 3*l = l + b for l.
2
Let l be -4 - (-3 + (-6)/(-1)). Let x = l + 9. Solve x*b = -3*b for b.
0
Let x = 8 - -12. Let w(r) = r**3 + 4*r**2 - 14*r - 7. Let d be w(-6). Solve -d*l - x = -l for l.
-5
Let o be 3 + 0 - (-1)/(-1). Suppose -4 = o*f - 34. Solve 2*j + 3*j = -f for j.
-3
Suppose 6*m - 11 = 1. Solve 0 + 4 = m*a for a.
2
Let n(y) = -y**2 + 10*y - 4. Suppose 0 = -g + 10. Let t be n(g). Let q = t - -6. Solve -q*p = p for p.
0
Let m = -5 + 8. Let s(w) = m*w - 4*w + 5 + 4. Let d be s(4). Solve b + 6 = d for b.
-1
Suppose -3*j - 2*u = -4, -3*j + 2*j = -5*u + 10. Solve -z = -1 - j for z.
1
Suppose -1 = x - 4. Suppose 0 = -0*q + x*q - 75. Solve 2*t + 3*t = -q for t.
-5
Let t be (-4)/(-2) + (-9 + 5)/(-2). Solve 4*k = -t + 12 for k.
2
Let x be 14*3/21*6. Suppose r = -3*r + x. Solve 12 = -k - r*k for k.
-3
Let y be 6/(-27) - (-6)/27. Suppose y = 4*b - 7*b + 2*r + 8, -5*r = -2*b - 2. Solve 5*l = 11 + b for l.
3
Suppose 0*u = 5*u - 5. Let x = u - -4. Solve -x*c - 8 = 7 for c.
-3
Suppose 2*r = -2*d + 4, 0 = 5*d - 0*d - 5*r. Solve -h + 3 - d = 0 for h.
2
Let x(m) = -m**2 - 9*m + 3. Let h be x(-10). Let f be (h/14)/((-2)/8). Let p = -14 - -22. Solve -p = -0*k - f*k for k.
4
Let o = 23 - 13. Let g(h) = 7*h - 1. Let d(s) = -3*s. Let z(n) = -9*d(n) - 4*g(n). Let a be z(4). Solve a = r - 3*r - o for r.
-5
Let h be 3/12 + 1*9/12. Solve -3*v - h + 7 = 0 for v.
2
Let v(u) = -u**3 + 3*u**2 + 5*u - 2. Let k be v(4). Solve -k*n = 2 - 0 for n.
-1
Let y be 3 + (1 - -2 - 2). Suppose y*v - 30 = 3*n + 2*n, -4*n = 2*v - 2. Solve -3*w - 1 = v for w.
-2
Let q(p) = -p**3 - p - 3. Let l be q(-2). Solve l - 1 = 2*u for u.
3
Suppose 0 = 5*p - 6*p + 12. Let v = p + -12. Solve v = 4*i - i for i.
0
Suppose 0 = -j + 2. Solve -j*l + 4 = -4*l for l.
-2
Let p = 1 - -3. Suppose m = -m + p. Solve 0 = i - m*i - 2 for i.
-2
Let r be (4/10)/((-3)/(-15)). Suppose -2*n - 2*j + 4 = 0, n + 0*j - 8 = r*j. Solve -n*q + 0*q + 4 = 0 for q.
1
Suppose 2*r - 12 + 4 = 0. Suppose 0 = r*x - 0*x. Solve x - 4 = 2*j for j.
-2
Suppose -2*q + 14 = 3*b, -q + 4*b - 18 = -3*q. Let y(o) = -o**3 - 15*o**2 + 13*o - 27. Let h be y(-16). Solve 5*c = h - q for c.
4
Let j(f) = -2*f**2 + 27*f - 11. Let n be j(13). Solve 0 = -3*r + n*r - 5 for r.
-5
Suppose 0 = o - 0*o - 2. Suppose -4 = 2*c - 4*n, 14 = 3*c + o*c + 2*n. Suppose 0*v - 2 = v, -c*v = 2*u + 4. Solve 4*l + 3 + 5 = u for l.
-2
Let t = -29 - -40. Suppose -5*x + 11 + 19 = 0. Let o = t - x. Solve -o*l - 8 = -3 for l.
-1
Let h = 51 - 47. Solve 0 = -5*u - 16 - h for u.
-4
Suppose -3*u + 107 = h, 5*u - h - 190 = -5*h. Let y(p) = 3 + 0*p**2 + 2*p**2 + 1 - 7 + 2*p. Let f be y(2). Solve -u = 5*q - f for q.
-5
Suppose 5*j + 3 = 13. Solve 0 = -j*w - w for w.
0
Let j be (6/4)/(((-6)/(-1))/12). Solve -2*r + 11 - j = 0 for r.
4
Let b be 8 - ((-4)/2 - -4). Suppose -2*x + 2 = -b. Solve x*h = h for h.
0
Let z be ((-1)/(-2))/((-2)/(-16)). Let c be z + 0*(-1)/(-3). Solve -2*w + 0 = -c for w.
2
Let k(d) = 2*d**2 + 6*d + 4. Let x be k(-4). Solve 5*o = 3 + x for o.
3
Suppose 5*n = -4 + 9. Suppose -4*q + 2*p + 23 = n, -7 = -4*q - p. Suppose -t + 4 = 1. Solve 0 = -4*g + t*g + q for g.
3
Let d = -7 - -12. Let l = -2 + d. Solve 0 = 4*q + l - 7 for q.
1
Suppose 0 = 4*q + d - 4, 0 = -4*q + q + 3*d + 18. Solve -i = -q*i for i.
0
Let z be -3 + 5 - 4*1. Let r = 0 - z. Solve p = -r - 1 for p.
-3
Let v be (-4)/(-14) + 46/(-14). Let j = v - -6. Solve j*k = 8*k - 15 for k.
3
Let v(l) = -l**2 - 9*l + 13. Let p be v(-10). Solve -5 = -8*b + p*b for b.
1
Let p be ((-6)/7)/(3/(-14)). Solve p = -a - a for a.
-2
Let g = -9 + 12. Let b(h) = -h + 4. Let l(t) = -t**2 + 7*t - 3. Let j be l(6). Let q be b(j). Solve -g - q = 4*c for c.
-1
Let l(c) = -c**2 + 6. Let a(u) = u**2 - u - 6. Let b(z) = 5*a(z) + 4*l(z). Let t be b(6). Solve -4 = -t*h + h for h.
-4
Suppose -4*k - k = 0. Solve x - 2*x - 3 = k for x.
-3
Let g = -3 + 4. Let t be 12 - -9 - 3*g. Suppose -l - o - 12 = -4*l, 3*l + o = t. Solve -2*h + 1 = -l for h.
3
Suppose 4*m - m = 0. Let v be -3 - (-2 + -1 - m). Solve v*s = s - 5 for s.
5
Let r(m) = m**3 - 6*m**2 - 5*m - 9. Suppose -9*d + 4*d + 35 = 0. Let t be r(d). Solve 0 = -6*s + t*s for s.
0
Suppose 4*t - 249 + 89 = 0. Suppose -5*k + 15 = -y, 5*k - t = -5*y + y. Solve 0*m - k = m for m.
-4
Let k(b) = 4*b - 27. Let r be k(8). Solve 2*o = r*o - 6 for o.
2
Suppose -3*k + 50 = -k. Solve k = -0*n - 5*n for n.
-5
Let l be -2 + (-4)/(-1) + (-8)/4. Solve -5*b + 5 + 10 = l for b.
3
Suppose -2*n - 8 = -a - 2*a, n = a - 3. Suppose -2*l + 5*l = -2*w + 3, 4*l - 2 = -a*w. Solve 1 = w*s + 4 for s.
-1
Suppose 25 = d + 23. Solve 0 = d*m - 3*m for m.
0
Let d be 34/17*(-6)/(-4). Solve -d*o = 2*o - 20 for o.
4
Suppose -5*m = -12*m - 8*m. Solve k + 2 = -m for k.
-2
Suppose -r + 2*o + 9 = 21, 3*o - 53 = 5*r. Let z = 14 + r. Solve -w + 0*w = -z for w.
4
Let x(c) = -30*c + 4. Let u be x(-4). Let a be u/9 - 2/(-9). Suppose -g + m + 3 = -1, g - a = -m. Solve -q - g = 2*q for q.
-3
Suppose 2*c + 1 = -3. Let h be (-14)/(-2) + (c - -1). Let p be 3/h + 3/6. Solve 0 = 5*n + 14 + p for n.
-3
Suppose -3*g = -2*g + 2. Let t = g - -5. Let b = 7 + -5. Solve b*y = t*y for y.
0
Suppose -4*u - i + 7 = -5, -2*u + i = 0. Let a(z) = z**2 - 5*z - 4. Let b be a(6). Let f be b + -1 + u/1. Solve -5 = -2*s - f*s for s.
1
Let l(k) be the third derivative of -k**5/60 + k**4/3 - k**3 + 2*k**2. Let u be l(7). Let t = 5 - u. Solve t*x = -x - 5 for x.
-1
Let v be ((-3)/2)/((-9)/6). Solve -o = -0*o - v for o.
1
Suppose -34 = 2*i - 7*i - o, -4*i + 4*o = -8. Suppose 3*x = -n - 7, 6*x = -2*n + 2*x - i. Solve -4*m = -n*m - 5 for m.
-5
Suppose -5*h - g = -15, -5*g = -2*h - 12 - 9. Let p be 13/h + 6/4. Solve -2 - p = -5*y for y.
2
Suppose 3*g - 16 = -4*p, 1 - 3 = p. Let m be (1 + -1)*(-8)/g. Solve m = -v + 3 for v.
3
Let g = 177 - 174. Solve 3 = g*z - 6 for z.
3
Let s = -7 + 10. Let m = s - -1. Solve t = -m*t + 25 for t.
5
Let p(s) = s - 3. Let t(m) = 2*m - 4. Let c(n) = 3*p(n) - 2*t(n). Let h be c(-9). Solve q + 3*q = h for q.
2
Suppose f - 6*f = 10. Let d = 3 + f. Let a(o) = o**3 + 8*o**2 + 12*o + 14. Let v be a(-6). Solve 3*m - d = v for m.
5
Let o = -11 - -11. Let v = 0 + o. Solve -2*a - 2*a = v for a.
0
Let a(m) = -m + 9. Let o be a(4). Solve 3*g + o = -4 for g.
-3
Let d(a) = -3*a - 6. Let u be d(-4). Suppose 0 = u*s - 3*s. Let l be (-2)/(s + (-3)/30). Solve -v = 3*v - l for v.
5
Suppose 36 = 3*p + 3*p. Solve 0 = -2*f + p*f + 12 for f.
-3
Let c(k) = -k**2 + 7*k + 16. Let u(i) = -4*i**2 + 27*i + 64. Let m(j) = -9*c(j) + 2*u(j). Suppose -5 = -r + 6. Let v be m(r). Solve -3*d + 21 = v for d.
5
Let m be (-7)/(-1) - (6 - 4). Solve 4*b = 5*b + m for b.
-5
Let w(v) = -v**2 + v - 1. Let l be w(-2). Let q = l + 15. Solve q*z + 15 = 3*z for z.
-3
Let g be (20/(-25))/(2/(-40)). Let p be (g/12)/((-2)/(-3)). Solve -p*h - 12 + 2 = 0 for h.
-5
Let a be 2 + -3*3/(-9). Solve -8*d + 10 = -a*d for d.
2
Let v be 22/6 - (-3)/9. Let d = -1 + 3. Let j = v - d. Solve t + j = 7 for t.
5
Let q be (-180)/(-27) + 2/(-3). Solve -q*x + x + 5 = 0 for x.
1
Let s = 6 - 6. Suppose 5*t - 30 - 10 = s. Solve -3*w + t*w + 5 = 0 for w.
-1
Let s(j) = -j**2 - 10*j + 11. Let v be s(-8). Let h be (-29)/(-9) - 6/v. Solve -2*p - 5 = h*p for p.
-1
Let y(v) = -v - 1. Let u be y(-7). Suppose u*j - 4*k = 4*j + 14, -k - 2 = 0. Solve j*l - 2*l = 3 for l.
3
Let b(x) = -x**3 + 3*x**2 + 3*x - 1. Let h be b(3). Let z(n) = 4*n**2 + n. Let v be z(-1). Let y = 2 + 3. Solve -y*s = -v*s + h for s.
-4
Let i be 5/2 + 3/6. Suppose -s - 5 - 10 = 5*x, 4*s + i*x = -9. Solve -5*g + 7 + 3 = s for g.
2
Let m = 6 + -5. Solve -g + m = -0*g for g.
1
L