 0 = 4*l - s - 11. Solve 0 = l*w - 8 - 0 for w.
2
Let c = 12 + -6. Let i be (c/(-3))/((-1)/2). Solve -i = -0*t - 2*t for t.
2
Let y(z) = 5*z - 90. Let r be y(18). Solve i + r*i = -2 for i.
-2
Let k = -46 - -49. Solve w + k*w = 16 for w.
4
Let i(m) = -m**3 + 9*m**2 + 9*m + 11. Let v be i(10). Suppose -4*q - 20 = d, 2*d + q = 3*q + 10. Solve -v + d = -h for h.
1
Let x be 3/(-3*(-1)/12). Let t be (-2)/(-6) + 20/x. Solve -3 + 1 = -t*u for u.
1
Let z(u) = -3*u**3 - u**2 - u. Let h be z(-1). Let d = 11 - 6. Let l = 6 - d. Solve j - l = -h for j.
-2
Let r(b) = -4*b. Let g be r(-1). Suppose g = -c, -5*u + 3*c + 17 = -0*u. Solve 0 = -f - 2 - u for f.
-3
Let h(j) = -j**3 + 4*j**2. Let c = 6 - 3. Let i be h(c). Let y(x) = -x**2 + 8*x + 10. Let o be y(i). Solve 0 = -4*p - 5 + o for p.
-1
Let j(t) = t**2 - 13*t. Let r be j(13). Solve r - 6 = 3*q for q.
-2
Let f(w) = w - 1. Let o be f(5). Suppose -6*a + o = -2*a. Suppose 0 = -d + q - a, 0 = 2*d + 2*q - 5 - 13. Solve 14 = -2*m + d for m.
-5
Let l = 2 - -2. Suppose -5*m = -6 - l. Suppose 4*n + 9 = -y + 35, m*y - 22 = -3*n. Solve 3*t + n + 0 = 0 for t.
-2
Let c be (8/(-3))/(2/(-6)). Let u = c - 6. Suppose u*l + 0*l = 0. Solve l = -z - z - 4 for z.
-2
Let y(j) = j**3 + j**2 - j + 4. Let k be y(2). Solve 4 = k*o - 12*o for o.
2
Let w be 3/2 + (-39)/(-26). Solve v = w*v for v.
0
Suppose -15*c + 102 = -3. Let b(g) = g**2 - g. Let q be b(2). Solve c*y = q*y - 15 for y.
-3
Suppose -34 + 26 = -4*z. Solve -z = -5*b + 8 for b.
2
Suppose 0 = -3*h - 5*q + 26, 2*h - 2*q = -q. Solve -3*u = -h*u for u.
0
Let u be (-2)/(-3) + (-11)/3. Let g be -1*((0 - -1) + u). Let h be g/7 - (-19)/7. Solve -2*s = h*s for s.
0
Let q(o) = -o + 3. Let f be q(6). Let i be 2 + f + 8 - 3. Solve b - i = 1 for b.
5
Let n(v) be the second derivative of 0 - 3/2*v**2 - 3*v + 1/3*v**3. Let g be n(3). Solve -k - 4 = g*k for k.
-1
Suppose 5*r = 2*r - 15. Let v(y) = -y - 3. Let t be v(r). Suppose 0 = 5*h - 6*h + 12. Solve h = 2*o + t*o for o.
3
Suppose 73 = 12*g - 47. Solve -4*h = -2*h + g for h.
-5
Let x(o) = -o**2 + 10*o - 7. Let p be x(9). Let y be 1/4 - 33/(-12). Solve -p*j + y = -1 for j.
2
Let l be 4/14 - 142/7. Let b = l - -45. Solve -3*k - b = -8*k for k.
5
Let y(m) = m**2 - 4*m + 7. Let o be y(5). Suppose o = 3*d + d. Solve 0*g + d*g - 15 = 0 for g.
5
Let f = 7 + -4. Solve f*o + 16 = -o for o.
-4
Suppose 4 = 2*n + 8. Let v(c) be the first derivative of -c**4/4 + 3*c**2/2 + 3*c + 41. Let i be v(n). Solve 0*b + b - i = 0 for b.
5
Let y be 2 - (3/(-3))/(-2 - -3). Solve 5*o + 10 = y*o for o.
-5
Let p = -11 + 16. Suppose 5*q - 5 = -p*t, -4*q - 6 = 2*t - 3*t. Solve 4*a - 2*a - t = 0 for a.
1
Let b(p) = -p**2 + 11*p - 10. Suppose -24 = -0*j - 3*j. Let q be b(j). Solve -5*m - 1 = q for m.
-3
Let t be (0*(-1)/3)/1. Suppose t*l - 65 = -5*u - l, 2*l = 5*u - 80. Suppose u + 5 = 5*j - h, -j = -2*h - 2. Solve -11 - j = 3*i for i.
-5
Suppose p + 0*p - 2*h = 18, 23 = p - 3*h. Solve -l = 3*l - p for l.
2
Let l(q) = q**3 - 12*q**2 - 12*q - 10. Let j be l(13). Solve 6 = p - j*p for p.
-3
Suppose 5*f - 3*m = -m - 31, -f - 20 = -5*m. Let d = f + 7. Suppose 0*c - d*c = -14. Solve -5*t - 27 = -c for t.
-4
Let o(l) = 4 + l - 2*l - 2 - 1. Let g be o(-3). Solve -3*b - 4 = -g*b for b.
4
Suppose -6 = -3*x + x. Let b be ((-1)/(-2))/(1/12). Let p(v) = -v**3 + 4*v**2 + 5*v. Let d be p(5). Solve d = b*o - x*o for o.
0
Suppose 0 = -3*b + 2*b + 3. Suppose 7*i = 4*i. Solve -b*z - 2*z = i for z.
0
Let v(r) = r**3 + 6*r**2 + 6*r. Let p be v(-4). Solve 0 = -4*a + p for a.
2
Suppose 23 + 5 = -4*m. Let o(d) = d**3 + 7*d**2 - d - 4. Let n be o(m). Solve -n*s - s = 4 for s.
-1
Let a be -4*((-12)/3)/(-2). Let z = a - -8. Let j(g) = -3*g - 2. Let q be j(-2). Solve z = -q*w - w for w.
0
Suppose 3*k = 5*w + 14, -3*k - 6*w + w + 4 = 0. Solve -k*c - 16 = c for c.
-4
Suppose 0*o + 25 = o + 5*n, 0 = -4*o + 5*n. Solve o - 1 = -4*f for f.
-1
Suppose 0*u = u - c + 10, -10 = 2*c. Let f = 17 + u. Solve 5 = 3*y + f*y for y.
1
Suppose 3*v = -4*u + 12, -v = 3*v - 16. Solve r - 2*r + 4 = u for r.
4
Suppose 3*x - 2 = 4. Suppose -4*z - 12 - 6 = x*d, 16 = d - 3*z. Solve -2 = 3*k + d for k.
-1
Let p = -3 + 7. Suppose s + s = p. Let t = 94 + -69. Solve -3*r = s*r + t for r.
-5
Let s be ((-7)/(-14))/((-1)/10). Let j = 8 + s. Solve -2 - 1 = -j*a for a.
1
Let w be -2 - -2 - (6 + -8). Suppose -w*o = -4*o. Solve 4*z + 20 = -o*z for z.
-5
Suppose 2*i = -i - 18. Let f be (4/i)/((-1)/3). Solve f*w + 10 = -3*w for w.
-2
Suppose 0 = -2*m + 4 - 0. Let n = 13 + m. Solve 0 = -5*j - 0*j + n for j.
3
Suppose -8 = 2*w + 3*c + 4, -5*w = -3*c - 12. Solve w = -5*d + 7 + 3 for d.
2
Let m(z) = z**3 - 5*z**2 - z + 6. Let n be m(5). Let j = 1 - n. Solve j = -v - 3 for v.
-3
Suppose 4*x + 3*g = -7, x = 3*x + g + 1. Solve x*r = 6 - 2 for r.
2
Let k be ((-6)/(-5))/((-1)/(-5)). Let z(v) = 8*v - 22. Let u be z(3). Solve 0 = -l + u - k for l.
-4
Let y = 13 - 8. Let w be ((-2)/y)/(4/(-100)). Solve -5*p = w - 0 for p.
-2
Suppose -v - 17 = -2*v + 4*l, 2*l = -3*v + 37. Solve 5*p = -v - 7 for p.
-4
Let j be (-19)/(-4) + 9/(-12). Solve -o + j = -3*o for o.
-2
Suppose 0 = -2*t + 4*x + 98, t - 4*x + 0*x - 47 = 0. Suppose 0 = -2*q + 3*b + 40, -5*q - 3*b + 49 = -t. Solve 5*f + 0 - q = 0 for f.
4
Suppose 0 = -d - 4*d + 40. Let f be d/(-16)*(0 + 0). Solve 3*l + 9 = -f*l for l.
-3
Let x = -7 - -9. Let k be 3 + (2 - x)/2. Solve -k = 4*q - q for q.
-1
Suppose 7*t = 6*t. Suppose t = -f + 3*f. Solve f = -0*m - 3*m for m.
0
Let d = 26 + -22. Solve 5*g = 3*g - d for g.
-2
Let t(i) = 4*i**3 - i**2 + i. Let p be t(1). Suppose 2*n - 18 = -0*n. Suppose -3*v - 5*x - 22 = 0, 0*v + v + 2*x + n = 0. Solve a - p = -v for a.
3
Suppose 2*w - 4*j - 56 = -2*w, -w - 4*j = -19. Let k be 12/5 - (-2)/(-5). Suppose -x = k*x - w. Solve x*m = 2*m - 12 for m.
-4
Suppose -l = -5 + 1, -h - 5*l + 20 = 0. Solve m + m = h for m.
0
Let w(j) = -9*j + 6. Let i(o) = 10*o - 7. Let c(m) = -2*i(m) - 3*w(m). Let l be c(-3). Let u = -10 - l. Solve u = b + 2*b for b.
5
Let z be (1 + -1)/(-9 + 7). Solve 2*m - m = z for m.
0
Let x be ((-2)/4)/(2/(-8)). Suppose w + x*t - 24 = 0, w - 3*t - 3 = 1. Suppose 2*f - 3*f + 8 = 5*c, -4*c = -4. Solve f*q + q = w for q.
4
Let m be (-12)/3*(-2)/2. Suppose 2*y + 4*v = -14, m*v + 17 + 3 = 0. Solve -12 - 3 = y*i for i.
-5
Let b be -1 + 5/(5/3). Let g be (-178)/(-8) + 2/(-8). Let o = g - 15. Solve b*d - 20 = o*d for d.
-4
Suppose -38*q + 6 = -35*q. Suppose m - 6 + 0 = 0. Solve -m = -q*p - p for p.
2
Suppose -68*y + 74*y = 78. Solve g + 12 = y for g.
1
Suppose 3*c - w = -4*w, -5*c + 5*w = 10. Let h = c - 4. Let y(v) = -v**2 - 7*v. Let u be y(h). Solve 6*n - u = 4*n for n.
5
Let u = 53 - 46. Solve 3*r + u - 1 = 0 for r.
-2
Let o = 3 + -1. Let i(p) = -4 - 4*p + 5*p**2 - 1 + 12*p - 6*p**o. Let z be i(7). Solve k = -z*k - 9 for k.
-3
Suppose -3*d = 2*i + 2 + 1, -4*d = -3*i + 4. Solve 3*v = -i*v + 3 for v.
1
Suppose -3*l = -5*g + 25, 2*g = -l + 7*g - 25. Solve 2*o - 4 = -l*o for o.
2
Suppose 2*q = 13 - 3. Solve -o + q*o = 12 for o.
3
Let h be ((0 - -1)/(-2))/(19/(-266)). Solve -h = 4*j + 1 for j.
-2
Let l = -2 - -4. Let r = l + 0. Solve g + r - 5 = 0 for g.
3
Let z(j) = j. Let c be z(2). Suppose -3*f = k - 3, -c*k - 15 = -4*f - 1. Suppose n + f*n = 0. Solve n = 4*r - 0 - 4 for r.
1
Let w(p) be the first derivative of p**4/4 - 5*p**3/3 + 3*p - 1. Let o be w(5). Let z(a) = -a - 1. Let u be z(-5). Solve 0 = -o*v + u*v - 3 for v.
3
Let c be 23/4 + (-3)/4. Suppose -c*q + 0 = -25. Solve -q = g - 4 for g.
-1
Let d be 6 + -5 - (-4 - -3). Solve 2*h = 3*h + d for h.
-2
Let r be -78*((-5)/(-3))/(-5). Suppose -j + 6 = p, 5*p = -j - 2*j + r. Solve p*q = -0 + 4 for q.
1
Let h = -18 - -23. Suppose -h*d = -4*l + 16, 4*l + 0*d - 3*d - 16 = 0. Solve 4*q + l + 4 = 0 for q.
-2
Let y = -1 - -5. Let u = 12 + -12. Let p = u + y. Solve 4*h = 5*h + p for h.
-4
Suppose 2*g + 5*v - 6 = 0, 0 = -g + v + 1 + 2. Solve -13 + 4 = g*n for n.
-3
Suppose s - 6*s = 0. Suppose 5*k + 7 - 27 = s. Solve -4*a + k = -3*a for a.
4
Suppose 4*g - 6 = 2. Solve -4*w - 14 = g for w.
-4
Let d = -124 + 124. Solve d = -2*s - 4*s - 12 for s.
-2
Suppose 15 + 39 = 3*d. Let t = d - 12. Solve 0 = 3*m - 6*m + t for m.
2
Suppose 5*x = 5*w, -w - 4*x + 20 = -0*w. Solve t = -t - w for t.
-2
Suppose s - 4 = 1. Suppose s*k