*o + 26. Solve -4*k + o = k for k.
2
Suppose j - 25 = 4*a, 0 = -3*j - 4*a + a + 30. Let f(s) = s**3 - 5*s**2 + 4*s - 1. Let b be f(4). Let q = b + j. Solve 2*o - 4 = -q for o.
-4
Let t = -57 + 57. Solve t = 3*o - o - 4 for o.
2
Let k be 10/(-2)*(-12)/20. Solve z - k = 1 for z.
4
Let l be 430/35 - 4/14. Suppose -2*q = 2*q - l. Solve -3*n - 12 = -q for n.
-3
Suppose -a = 3*a. Solve a = 5*m + 1 - 16 for m.
3
Suppose -3*h + 27 = -7*r + 2*r, 5*h = 2*r + 26. Let b be (2 - (0 + 2))/(-1). Solve h*l = -b*l - 12 for l.
-3
Let q = 11 - 9. Solve 0 = 3*s + q*s + 10 for s.
-2
Let f = -8 + 18. Solve -3*c = -c - f for c.
5
Let t(f) = -f**3 + 9*f**2 - 7*f - 4. Let p be t(8). Let z = 2 + p. Solve 3*v + 3 = -z for v.
-3
Let d be (-1 - -1)/(2 + -1). Solve -u + 0*u - 5 = d for u.
-5
Let z(w) = w + 16. Let t = -28 - -16. Let b be z(t). Solve b*u + u - 20 = 0 for u.
4
Suppose 4*g = 1 - 29. Let x(k) = -2*k - 7. Let a be x(g). Solve -4*h = -9 - a for h.
4
Suppose -u + 0*u = -4*s - 13, -s - 22 = -4*u. Let h = u + -3. Suppose x + 12 = 4*d - x, d - 3 = h*x. Solve 0 = -c + d - 5 for c.
-2
Suppose -5*g + 8 = -3*g. Let u be (1 + -15)*(-2)/g. Solve u - 3 = 4*k for k.
1
Let l(g) = -g**2 - 5*g + 6. Let r = -18 - -13. Let k be l(r). Solve k*i - 2*i = 4 for i.
1
Let d(b) = b + 12. Let t be d(-10). Suppose 0 - t = -j. Solve u = j*u - 3 for u.
3
Let j be (-24)/(-20)*(-5)/(-2). Solve 0 = -4*f + 5*f - j for f.
3
Let f be 2/((1/(-2))/(-1)). Let b = 6 - 4. Solve 4*x - b*x + f = 0 for x.
-2
Let i = -1 + 1. Suppose x = 2*c - 3, -x + i = 3*c - 12. Solve c*f - 11 = -2 for f.
3
Suppose 0 = 2*w - 4, 6*o - 4*o + 2*w = 12. Solve 0*i = o*i + 20 for i.
-5
Suppose -i + 2*o = i - 16, 2*i + 4*o + 14 = 0. Solve 4*z - i = 5 for z.
2
Suppose -l - 10 = 4*q, l + 5*q = 3*q - 4. Solve 3*z = l*z - 1 for z.
-1
Suppose -8*y + 20 = -3*y + 5*s, -3*s - 3 = 0. Solve 8 + 7 = -y*d for d.
-3
Let a(l) = -4*l**2 + 13*l + 12. Let g(x) = -3*x**2 + 12*x + 11. Let y(t) = 4*a(t) - 5*g(t). Let v be y(-5). Solve 3*u - 4 = v for u.
4
Let n be 16/(-2 - (-2 + 1)). Let i = n - -22. Suppose 2*c - b - 10 = 0, -i = -b - 2*b. Solve 5*y - 3*y = c for y.
3
Let k(n) = -n**2 + 6*n + 17. Let s be k(8). Let r(u) = 2*u**2 + 1. Let f be r(s). Solve 2*c = f*c for c.
0
Let n(t) = -t**2. Let d be n(2). Let z = 9 + d. Solve -z*m + 4 = -m for m.
1
Let j be 1/(1 + (-2)/3). Suppose 2*l + 10 = j*l. Let y = l - 6. Solve 7*b - y*b = -15 for b.
-5
Let r(x) = 5*x. Let s be r(2). Let f(j) = j**2 - 5*j - 3. Let u be f(6). Suppose 4*l = 2*h - 3 + 13, 3*h + 6 = 3*l. Solve u*b - h = -s for b.
-3
Let n be 76/18 - 4/18. Suppose n*c - 4 = 4. Suppose c*v - 18 = 2*p + p, -4*v = -4*p - 40. Solve 5*g - 2*g = -v for g.
-4
Let l = -5 + 8. Suppose 0*h + 4 = h, -5 = -l*u - 2*h. Let a be 0 + u - (-3 - 0). Solve 2*m = -a*m + 8 for m.
2
Let g be 24/(-18)*9/(-6). Solve 0 = -g*r - 2*r - 16 for r.
-4
Let k = 18 + -10. Let x(w) = 3*w**2 + w + 1. Let q = 5 + -6. Let p be x(q). Solve p*j + k = 5*j for j.
4
Let m = 60 + -46. Solve 4*i = 2 + m for i.
4
Let m(v) = -v**2 - 15*v - 12. Let h be m(-14). Suppose 2*s + 5 = 21. Solve 6*c = h*c - s for c.
-2
Let x = -4 + 8. Suppose x = 4*o - 4. Solve u = -o - 3 for u.
-5
Let y(u) = u**3 - 5*u**2 - 4*u - 7. Let d be y(6). Let w(r) = -3*r**2 + r**2 + r**2 - r. Let k be w(0). Solve n + d - 1 = k for n.
-4
Let l be (-202)/(-22) - (-2)/(-11). Let j be ((-12)/15)/(2/(-5)). Suppose 0 = g + 2*h - 6, j*g - 3*h - l = -g. Solve 4*v + 4 = -g for v.
-2
Suppose 3*f = 6*f. Let y be 2 + -2 - (f + -2). Solve -y*x + 3 = x for x.
1
Let b(x) = -3*x**3 + 5*x**2 + 3*x - 4. Let q be b(4). Let l = -71 - q. Let g = l - 19. Solve 0 = -4*h + g - 2 for h.
3
Suppose -2*a - 44 = 5*n, 3*a + 0*a + 48 = -3*n. Let b = 12 + a. Solve -5*g + 10 = -b for g.
2
Suppose 3*g + 4*k = 32, -3*g = k - 15 - 2. Solve -g = 5*r + 6 for r.
-2
Let r(l) = l**2 - 1. Let q be r(2). Suppose 2*s - 13 = -q*k, 3*s - 25 + 7 = -4*k. Let a = -20 + 20. Solve a = -d + k*d - 10 for d.
5
Let s = 7 + -3. Let w be (36/2)/(8/s). Solve -g + w = 2*g for g.
3
Suppose -5*n = 5*q - 15, 0 = 3*n + 3*q + 2*q - 9. Solve -n = -2*j - 1 for j.
1
Suppose -2*v = v - 21. Suppose k = -3*g + 17 + 3, 52 = 5*g - 3*k. Let a be -4*1*(-6)/g. Solve 0 = 5*l + v + a for l.
-2
Let n be 2 - 24/(-10) - 9/(-15). Solve n - 1 = u for u.
4
Suppose 5*f - 3*b + 27 = 0, 2*f - f + 5*b - 17 = 0. Let u = f - -3. Suppose 3*r - 4*r + 12 = u. Solve z - r = 5*z for z.
-3
Let o be (-2 - (2 - 4))/(-2). Let m = o + 2. Let p be (0 - 6/8)*-4. Solve 2*c + m = p*c for c.
2
Let i be ((-3)/12*-4)/1. Suppose a + 4 = -3*a. Let w = i - a. Solve -w*m = -5*m - 9 for m.
-3
Suppose -2*d = p + 2, -p + 5 = -4*d - 5. Suppose 0 = k - 1, f = -k - 2. Let u = f - -6. Solve -u = -x - p for x.
1
Let p be (5/2)/((-1)/2). Let r(q) = -q**3 - 9*q**2 + 2*q + 13. Let h be r(-9). Let a = h - p. Solve a*s = -s + 1 for s.
1
Suppose 2*i = -u + 6, 5*u - 4*u = 0. Suppose s = 5*k + 4*s + 34, 0 = 3*k + 3*s + 24. Let f = k + 8. Solve -i*t - f = -15 for t.
4
Let z(m) = -3 + m**2 - 5*m + 2 + 6 + 0*m. Let j be z(6). Let i = j + -7. Solve 2*c + 2 = i*c for c.
1
Let g = -48 + 73. Let o(l) = -2*l - 4. Let n be o(-3). Let s be n + -1 + 0 + 1. Solve g = 7*z - s*z for z.
5
Suppose -2*f + f = -4*l + 7, -5*l - 2*f = 1. Let a be 0 + -1 - (-2 + l). Let r = 1 + -1. Solve a = -r*n - 2*n for n.
0
Let g be (-3 - (-20)/8)*(-7 + -3). Solve -2*k = -k - g for k.
5
Let k = 9 - 7. Suppose -k*a - 16 = -6*a. Solve -a = 4*r - 6*r for r.
2
Let i(j) = -j**2 + 3*j - 2. Let u be i(2). Solve u = h + 4*h for h.
0
Suppose 0 = 4*h + 4*v - 2 - 6, -5*v = 2*h - 4. Let s be 0 - (h - 0) - -6. Let l = s - 2. Solve -u - l = -4 for u.
2
Let c = 31 - 28. Solve 0 = 2*r - c*r - 3 for r.
-3
Suppose q + 12 = -3*q - 2*a, 2*a = q - 2. Let x = 3 - -5. Let t = x + q. Solve 3*l = -t - 6 for l.
-4
Let l(h) = 7*h + 1. Let g be l(-1). Let b be ((0 - g) + -1)*1. Solve 0 = -b*w + 4*w for w.
0
Let b = -7 + 8. Let n = -9 - b. Let f = 10 + n. Solve 4*d + f*d = -8 for d.
-2
Suppose -20 = -3*z - 2*z. Solve 2*o = -0*o - z for o.
-2
Suppose 0*h + h = 6. Let m = 14 - 12. Solve 0 = h*f - m*f + 12 for f.
-3
Suppose -3*w - 20 = w, -3*w = -2*g + 27. Let k be (12/9)/(4/g). Suppose -5*n - 1 = -4*j - 2*n, -2 = 2*j - 2*n. Solve -j*u - k = 2 for u.
-1
Let a(j) = -j**2 + 16*j - 16. Let m be a(13). Let l = m + -18. Solve -4*s - s = -l for s.
1
Let t be (0 - 1 - -1)/1. Solve t = -i + 2*i - 2 for i.
2
Let n be 0 - -8 - (1 + -2). Suppose j + 4 = n. Let b = 29 - 16. Solve -2 = -j*a + b for a.
3
Suppose 0 = 5*w - 5*v - 15 - 0, 4*w + 28 = -4*v. Let y be (-7)/w + (-2)/4. Solve 0 = -y*k - 2*k for k.
0
Let d = -1 + 1. Let m = 12 + -10. Suppose 0 = -0*n + 3*n - 18. Solve d = -m*v - n - 2 for v.
-4
Let k be (-52)/(-12) + (-4)/(-6). Suppose -3*l - 7 = 5*r, 11 = k*r - 3*l - 6. Solve 0*b = b + r for b.
-1
Suppose -i + 20 = i. Suppose -25 = -5*y, 3*w + 0*y - i = -2*y. Solve w = -0*p - 5*p - 15 for p.
-3
Let r = -38 - -68. Let i be 3/(-5) - (-48)/r. Solve -4*y - i = -5*y for y.
1
Let b be 30/4*48/40. Solve 3*q - b = 3 for q.
4
Let g(t) = -t**2 + 4*t + 1. Let m be g(-4). Let b = m + 46. Solve 7*x - 2*x = b for x.
3
Suppose 3*p + m + 0*m = 25, -2*p = -4*m - 26. Solve 2*i + i - p = 0 for i.
3
Let b(r) = 2*r - 1. Let p be b(-1). Let t be (4 - 3)/(-1)*p. Solve -t*x + 0 = -9 for x.
3
Let f = -23 + -13. Let k = -24 - f. Solve 0 = 3*i + i + k for i.
-3
Let g(l) = -l**3 - 5*l**2 + 3. Let y be g(-5). Let t be y*((-7)/(-3) - 0). Let c(m) = -m**2 + 9*m - 6. Let a be c(t). Solve 4*u = 2*u + a for u.
4
Let m(l) = -14*l**3 - 2*l**2 + l + 2. Let j be m(-1). Solve 5*h + 12 = -j for h.
-5
Let b be 6 + 3/6*-6. Suppose b*t = -t. Solve -3*n + t*n = -15 for n.
5
Let y = -4 + 6. Suppose -y*q = q - 18. Suppose 4*k - 1 = 11. Solve -q = k*u - u for u.
-3
Let u be 5/3*3/1. Let t(m) = 3*m**2 - m. Let a be t(-1). Solve -a*v + u = v for v.
1
Let q(v) = -2*v - 9. Let c be q(-6). Suppose -3 - c = -3*w. Suppose -2*n - w = 5*h, -2*n - 6*h + 2 = -3*h. Solve -2*z + 0 = -n for z.
2
Suppose 5*a + 1 = -14. Let k = -1 - a. Solve 12 = 2*t + k for t.
5
Suppose 3*a - 17 = 2*b, -b + 0*a = -4*a + 16. Let o = -1 - b. Suppose o*s + 24 = 5*s. Solve -4*d = -0*d - s for d.
3
Let t be (6 - 8) + 2*12. Let l be 2/6 - t/(-6). Solve m + 9 = l*m for m.
3
Let d(j) = j**2 - 2*j - 3. Let k(i) = i**2 - i - 2. Let z be k(3). Let