olve -1 + u = j for j.
3
Let w be (-10 + 7)*(-1 + 0). Solve 2*i = 3*i - w for i.
3
Let k = 25 - 19. Let c(y) = 0*y + 10 + 2*y - 3*y. Let i be c(k). Solve 0 = -5*z + i*z for z.
0
Let t be 4*1/(-2) + -2. Let c = 4 + t. Solve -j + 0*j = c for j.
0
Let j(b) = 3*b - 2. Let v be j(2). Solve -3*i - i = v for i.
-1
Suppose 0 = -2*q - 4*j - 20, -4*j - 17 = 3. Solve q*u = -3*u for u.
0
Let y(c) = -3*c**3 - 3*c**2 + 11*c - 5. Let u(r) = -7*r**3 - 5*r**2 + 22*r - 10. Let i(d) = 4*u(d) - 9*y(d). Let w be i(5). Solve w*m - 5 = m for m.
-5
Let k(d) = d**3 + 5*d**2 + 4*d + 2. Let p be k(-4). Let f be p - (-2 + -2 + 0). Suppose 3*r + 8 = 7*r. Solve -r = -4*a + f for a.
2
Let m be 5/(-2)*(-1 - 1). Let x = m - -11. Suppose 3*p + x = 5*s, 5*s - 40 = -5*p - 0. Solve -j + p*j + 2 = 0 for j.
-1
Let p(j) = -j**3 - 2*j**2 + 3*j. Let s be p(-3). Solve -4*d + 11 + 9 = s for d.
5
Let o be (13/(-39))/((-1)/51). Solve -3*y - o = -2 for y.
-5
Let b be ((-24)/20)/(3/10). Let g = b + 0. Let o be (-2)/(-6) + g/12. Solve o = 5*l + 13 + 2 for l.
-3
Let l = -2 + 6. Suppose -a = -2, -3 = l*q - 2*a - 7. Solve -q = -r - r for r.
1
Suppose u - m = -5 + 2, -4*m + 12 = -2*u. Suppose -6 = -3*i - 0. Solve -q - i = -u for q.
-2
Suppose 0 = v - 5 + 3. Suppose 2*q + 42 - 58 = 0. Solve 0 = v*z + 2*z - q for z.
2
Suppose -7*y + 3*y + 8 = 0. Solve -18 = 4*l + y for l.
-5
Let a be 36 - (-4)/8*0. Let w = a - 26. Solve -w = x + x for x.
-5
Let j = -40 - -40. Solve s - 1 + 4 = j for s.
-3
Let y be (10/3)/(1/3). Let w(k) = k**2 - 3*k - 3. Let z be w(6). Let q be 66/z - 4/y. Solve 4*n = -4 - q for n.
-2
Let p = 17 + -16. Suppose -c + r - 3*r - 1 = 0, 3*r - p = -2*c. Solve c*l + 16 = 6 for l.
-2
Let d be (-30)/18 - (-2)/3. Let i = 7 - d. Suppose -5*t = -q + 4*q - 11, -i = -4*q. Solve n + 3 = t for n.
-2
Suppose u = 2*u - 4. Suppose 3*y - u = 14. Solve 3*p - y = -0*p for p.
2
Let g(u) = 2*u**2 + 7*u + 6. Let r be g(-4). Solve r = 4*z - 2*z for z.
5
Let f(t) = t**2 - 5*t. Let q be f(5). Let k be (0 - (1 + q)) + 11. Solve 4 = -3*d + k for d.
2
Let b = -6 + 0. Let w = 5 + -11. Let x = b - w. Solve x = a + 4*a + 5 for a.
-1
Let a = -26 + 28. Solve 0 = a*z + 3 + 1 for z.
-2
Let c(q) = -q + 6. Let p be c(3). Suppose 2*t - 50 = -p*t. Solve 4*x + t = 30 for x.
5
Let r = -4 + 11. Let j be (-10)/(-35) - 2/r. Suppose j = 2*h + 2*h. Solve h*x = -2*x - 4 for x.
-2
Let f = 0 + -7. Let l(m) = -m. Let v be l(f). Solve -b - v = -3 for b.
-4
Let r(u) = u + 9. Let v be r(13). Let l = -20 + v. Solve 4*z - l = 6 for z.
2
Let f(p) = -3*p - 9. Let t be f(-3). Solve 2*d + 0*d - 4 = t for d.
2
Let l = 9 - 6. Suppose -h = 3*m - 5, 0*m + l = m - h. Solve -c = m*c - 12 for c.
4
Let z = 27 - 23. Solve -z*x + 24 = 8 for x.
4
Let f = 30 - 26. Solve 15 = -f*j + j for j.
-5
Let j(q) = 5*q - 2. Let p be j(-2). Let n be 6 + (-16)/(p/(-3)). Solve -3*y = n*y - 10 for y.
2
Let k(m) = -m**3 - 10*m**2 + 10*m - 8. Let z be k(-11). Let s(x) = -4*x**2 - 2 + 0*x**3 + x**3 + 6 + 3*x. Let y be s(z). Solve b - y*b = 0 for b.
0
Let u(o) = o - 5. Let b be u(6). Let w(l) = -21*l**3 + l**2. Let h be w(b). Let i be (-3)/(-3) - (h + 1). Solve 7*v - 2*v - i = 0 for v.
4
Let m be (-6 - -6)*2/(-4). Suppose 2*i + 4*l + m*l - 4 = 0, -4*i - 2*l + 8 = 0. Solve -i*b + 4 = -0*b for b.
2
Let k(a) = -5*a + 3. Let l be k(-4). Let c be 10/(-3)*3/(-2). Solve -c*p - 3 + l = 0 for p.
4
Suppose 7*m + 1 = 8. Solve 0 = 2*i - 9 - m for i.
5
Let j be 12/5 - (3/(-5) + 1). Solve 3*q = j*q + 4 for q.
4
Let z be 1/(-2) - 21/(-6). Solve -4 - 8 = -z*d for d.
4
Suppose -5*v + 25 = -2*w, 4*v + 3*w + 12 = 32. Solve -2 = -3*z - v for z.
-1
Let m be 5 - 3/6*0. Suppose m*l = 28 - 3. Suppose 3*r = -2*r. Solve b - l*b - 12 = r for b.
-3
Let u(b) = -b + 10. Let v = 2 - -6. Let l be u(v). Solve -3*r + r = l for r.
-1
Suppose -2*v = 3*j - 0*v + 8, 3*v = j - 12. Let l = 2 - -2. Suppose 10 - 2 = l*g. Solve j = -5*d + g*d for d.
0
Let h be 1 + 1 + (-6 - 5). Let g = -7 - h. Suppose 3*p + g*u = 9 - 4, -3*p + 1 = 4*u. Solve -p*y = 2*y - 25 for y.
5
Let z = -66 - -69. Solve z*g - g = -10 for g.
-5
Let t be 1 + 1/1 + 0. Let d = -2 - 2. Let y be (-2)/(-4) + 2/d. Solve y = -2*u - 4 + t for u.
-1
Suppose -4*b - 3*b = -0*b. Solve b*j - 8 = 2*j for j.
-4
Let q be (-20)/35 - 64/(-14). Solve 3 = i - q*i for i.
-1
Suppose -c - 4 = -h - 2*h, -2 = -4*h + 2*c. Suppose -h*g = 4*b - 1 - 0, 4*b + 2*g + 2 = 0. Let z = 3 + b. Solve 0 = -t + z + 2 for t.
3
Let l = -36 + 39. Solve -i - l = -0 for i.
-3
Let d = 6 - 3. Let f(k) = 2*k**2 + 0*k**3 - 2*k**2 + k**d - 2*k. Let y be f(2). Solve y*l = -0*l for l.
0
Suppose 52 = 5*z + 2. Suppose -5*m + f = -48, -2*m + 5*f = -5 - 5. Suppose -h + 0 - m = 2*l, 0 = h - 2*l - z. Solve -4*c + 4 = -h for c.
1
Let d be (-3 - -4)*-1 + 6. Let b = -2 + d. Solve b*c - 6*c = -9 for c.
3
Suppose -z - 4 - 1 = 0. Let g = 10 + z. Solve -g*t + 3*t = 8 for t.
-4
Let x(f) = f**2 + 4*f + 3. Let g be x(-4). Let u be (8/g)/(1/3). Suppose -4*m - 12 = -3*d - 8*m, -4*d + m + 35 = 0. Solve -4*h + d = -u*h for h.
-2
Suppose -i + 0 + 12 = 0. Suppose 2*u = 5*u - i. Solve 1 = -u*s + 9 for s.
2
Let u(i) be the third derivative of -i**5/60 + i**3/3 - 3*i**2. Let f be u(3). Let o(b) = -b**2 - 6*b + 9. Let l be o(f). Solve 2*c + l*c = -12 for c.
-3
Let g(j) = 2*j - 17. Let p(s) = -s + 8. Let i(u) = -6*g(u) - 14*p(u). Let n be i(5). Solve 3*o + 2*o - 10 = n for o.
2
Suppose q - 3 = -2*i, 0 = 3*i - 3*q - 11 - 7. Solve -20 = -2*z - i*z for z.
4
Let c = 5 - 3. Solve -c*s - s = 0 for s.
0
Let m be 3/(-2) + 10/4 + 2. Solve -2*z - m = -5*z for z.
1
Suppose 0 = 2*p - 5*s - 38 + 3, -4*p + 10 = 2*s. Suppose l = 2 + 3. Let x(o) = -o**2 - 3*o. Let n be x(-2). Solve -n*t = -l - p for t.
5
Suppose -2*z - 2*y + 14 = 0, z = -0*y - 3*y + 17. Solve -w - z*w - 6 = 0 for w.
-2
Let a be 2 - -1*(-3 + 4). Solve -a*l + 12 - 3 = 0 for l.
3
Suppose 3*a + 58 = 67. Solve a*k + 4 = 4*k for k.
4
Let h(j) = -11*j - 1. Let w be h(1). Let t = 5 - w. Solve 5 = -4*i + t for i.
3
Suppose 3*f - 4*d - 20 = 0, 10 = -0*f - 2*f - 2*d. Suppose -4*c + 19 + 21 = f. Solve -i - 4*i = -c for i.
2
Let p(b) = -b**2 - 8*b + 8. Let i be p(0). Solve 2*c - i = -2*c for c.
2
Suppose c + 10 = 2*c. Suppose -2*y = c, 0 = -2*l - 5*y - 7 - 2. Solve -4*i = -2*i - l for i.
4
Suppose -4*k = a - 17, 2*k + 5*a - 3*a = 10. Solve -3*c = -k*c for c.
0
Let h = -40 + 112. Suppose -r + h = 3*p, 53 - 149 = -4*p + 5*r. Let s be p/5 + (-5)/(-25). Solve 2*k = s*k + 15 for k.
-5
Suppose -5*m - 74 = -19. Let a(l) = -l**3 - 12*l**2 - 12*l - 8. Let r be a(m). Solve 0 = r*k + k + 4 for k.
-1
Let q(j) = -j**2 + j. Let m(w) = -w**2 - 7*w + 1. Let c be m(-7). Let h be q(c). Solve h*k = k for k.
0
Let g(q) = q - 4. Let b be g(8). Let x = b - -1. Let v(z) = -z**3 - z**2 + z + 3. Let j be v(0). Solve 0 = -x*m - j - 17 for m.
-4
Let y = -23 - -26. Solve -2 - y = 5*w for w.
-1
Suppose 0 = -y - 0*y + 4. Suppose 2*g - 5*b - 24 = -g, 0 = -4*g - y*b. Solve -g*n + 3 = 12 for n.
-3
Suppose -3*q + 8 + 7 = 0. Suppose -q*l + l = -36. Solve l = 3*j - 0*j for j.
3
Suppose 6*o - 10*o = -4. Let v be (-7)/o*24/(-14). Solve 4 = 4*g + v for g.
-2
Suppose 0 = -g - s + 7, -2*g + 3*g + 8 = 2*s. Solve -g*k - k = 0 for k.
0
Suppose 5*t - 1 - 17 = -4*j, 0 = -3*t + 3*j. Solve -4*r - 6 = -t*r for r.
-3
Suppose -8*m = -6*m - 4. Suppose -m*k - 2*g = 4, -g + 12 - 29 = -4*k. Solve 2*j + k = -1 for j.
-2
Suppose 0 = 2*a + 2*a - 4. Let o be 2/4*(a + 5). Let d(i) = i + 2. Let s be d(0). Solve -p = -o*p + s for p.
1
Suppose 3*r + 4*t - 9 - 6 = 0, 4*r = 3*t - 5. Solve -r - 11 = 4*u for u.
-3
Suppose y - 9 = -4*z, -4*z + 4 = -3*y - 1. Solve -z = -o - o for o.
1
Let t(a) = a + 11. Let c be t(-7). Solve -2*b + c - 2 = 0 for b.
1
Let b = 0 - -4. Suppose -i - 3*i = -b*g, 5*i + g = 0. Solve 20 = -i*z + 4*z for z.
5
Let u(w) = -w**2 + 7*w - 3. Let c be u(5). Suppose 4*h + 2*x - 20 = 0, c*x - 10 = -2*h + 2*x. Solve -h*q + q = 8 for q.
-2
Let x(p) = 2*p**2 + 14. Let f be x(10). Let s be 4/(-14) + f/14. Let i = s + -5. Solve -y - y = -i for y.
5
Let d = 0 - 6. Let h be 2*1 - (d - -4). Solve 3*n + h = -n for n.
-1
Let l(n) = -n**3 - 25*n**2 - 24*n + 7. Let h be l(-24). Solve -3 = 2*f - h for f.
2
Suppose y = -4*c + 18, -2*c + 6*y = 2*y. Let u = c + -6. Let v be 1/2 + 1/u. Solve -n = -v*n + 5 for n.
-5
Let r(f) = f**3 - 4*f**2 + 5*f -