olve u - a = -2*u for u.
4
Suppose 4*v - 20 = 2*f, -6*v + 2*v - 5*f = -20. Solve 21 = -v*d + 1 for d.
-4
Let q be 2/7 + (-78)/(-21). Suppose -2*a + 40 = 3*a + 5*l, 0 = 3*a + 4*l - 22. Solve -q*b + 2*b - a = 0 for b.
-5
Let n(l) = 4*l - 1. Let q be n(1). Let d be ((-2)/(-12)*3)/((-1)/(-8)). Solve 4*i - q*i = d for i.
4
Let b = 14 - 9. Solve 6 = b*r - 2*r for r.
2
Let k = 3 - 3. Solve 5*j + 9 + 16 = k for j.
-5
Suppose 25 = 3*p - 5*v, -6 - 4 = 3*p + 2*v. Solve p = t + 4 - 2 for t.
-2
Let q = 12 + -10. Solve -4*h - q - 6 = 0 for h.
-2
Suppose 0 = 3*q + 5*x, 5*q - 2 = -5*x - 12. Let v be 0 - (48/3)/(-4). Let b = v - q. Solve 4*t + 11 = -b for t.
-5
Suppose 2 = -c + 2*c. Solve -3 = -s + c for s.
5
Let c = 58 + -51. Solve 0 = -c*x + 4*x for x.
0
Let o(x) = 3*x + 18. Let w be o(-6). Solve w*u = 4*u + 12 for u.
-3
Let y be (1 - -5) + -2 - 1. Suppose 2*i = -i - 4*k + 16, -i - k = -4. Solve i*m = -m - y for m.
-3
Suppose -q = -3*q + 4. Solve 0*s - q*s = -2 for s.
1
Let z = -3 - -7. Suppose 0 = -p - l + 8, z*p + 0*l - 28 = -5*l. Let m(a) = -a**3 + 14*a**2 + 3. Let s be m(14). Solve 0 = -7*r + s*r - p for r.
-3
Let x = 65 + -57. Solve -3*d - x = -d for d.
-4
Let x = -2 - -2. Let v(z) = z + 9. Let j be v(-8). Let h be (j/(-2) + 2)*2. Solve q - h*q + 6 = x for q.
3
Suppose 2*b + 0*b = -222. Let x be 9*(b/(-9) + -1). Let d be x/27 + 2/9. Solve 0 = -d*z - z - 10 for z.
-2
Let n = -1 - -1. Suppose 2*a - 5 + 1 = n. Suppose -3*y + 1 = a*d - 7*d, -4*d + 14 = 5*y. Solve 4 = -0*p + y*p for p.
2
Let h(n) = n**2 - 14*n + 17. Let v be h(13). Solve -v*y = -5*y + 2 for y.
2
Let m be (-6)/3*3/(-2) - -5. Suppose 2 = l - 0. Solve m = -l*s + 6*s for s.
2
Let t(a) = -5*a - 21. Let y(o) = o + 5. Let i(b) = -2*t(b) - 9*y(b). Let w be i(7). Solve -8 = -w*p + 8*p for p.
-2
Let v be ((-2)/2)/((-2)/8). Suppose 4*j = 8*j - 64. Solve -v = 5*m + j for m.
-4
Suppose 4*s + 4*w = -4, 0 = 2*s + s - 4*w - 32. Let z = 7 - s. Solve -7 - 5 = z*k for k.
-4
Let h be ((-10)/(-3))/(6/9). Let o(r) = -2*r - 6. Let z(j) = -3*j**2 + 2*j + 1. Let t be z(-1). Let v be o(t). Solve v*x + h = -5 for x.
-5
Suppose -2*r + 0*r = -4. Suppose n = 3*n + 6. Let u be (-2 - 4)/(2/n). Solve -3 = -r*k - u for k.
-3
Suppose 3*b + 6 = -5*x, 3*x + 3*b = 4*x - 6. Let w be (-2)/(-6) - (-5)/3. Suppose -w*z - 4*i = -4, x = -5*z - 3*i - i + 4. Solve 4 = -z*d + 2*d for d.
2
Let q be (-120)/(-12)*12/10. Solve 3*a + a = -q for a.
-3
Suppose 5*j + 6 = -t, 3*t + 0*t = 3*j + 18. Solve 1 = t*l - 11 for l.
3
Suppose -3*q + 4*l = -64, 3*q + 0*l = -l + 59. Suppose 6*g - q = 2*g. Suppose -g*b + 7 = -0*b + n, -4*b = 4*n - 12. Solve -r = -6 + b for r.
5
Suppose y + 4*m + 0*m = 0, 4*y + 4*m = 12. Solve -a = y*a for a.
0
Let g(t) = -t**2 - 11*t - 7. Let b be g(-10). Let s be (-102)/(-14) + 4/(-14). Suppose -s*d + 2*d = 0. Solve d = -o - 2 + b for o.
1
Suppose -28 = -5*t + 2. Suppose 2*p - 16 = -t. Let r(z) = -z**3 + 7*z**2 + 3*z - 4. Let n be r(7). Solve n = 3*d + p for d.
4
Let p = 69 - 45. Let l be (p/10)/(4/20). Suppose -2*q = 2*q - l. Solve -1 - 2 = q*o for o.
-1
Let w = -9 - -15. Suppose -8 = 4*c - u, 3*c - u + w = -3*u. Let t = c + 18. Solve 0 = -8*m + 4*m + t for m.
4
Let s be 9/15 - 247/(-5). Suppose -4*g - s = -9*g. Solve -b - g = b for b.
-5
Let w be 6*(-1)/(-4)*10. Let j = 21 - w. Solve j*t - 4*t = 6 for t.
3
Suppose 2*f - 7 - 1 = 0. Let p be -2 - (-19 - (3 - f)). Solve 4*a + 0*a = p for a.
4
Suppose 11 - 31 = -5*o. Suppose 5*q = 3*m - 99 - 33, 0 = 2*q. Suppose -5*j = o - m. Solve j = 2*z - 0 for z.
4
Let b = 39 - 27. Solve -b = i - 4*i for i.
4
Let a be (-3)/(-6)*4*6. Suppose 2*g = -2*r + 6, 3*r - 7*r = -3*g - a. Solve 9 = 3*j - g*j for j.
3
Let f be (1 + -2)/(2/(-8)). Suppose -6 = f*b - 18. Solve s + b*s + 20 = 0 for s.
-5
Let j be (-1)/(-4) - 10/8. Let f be (j/3 - 0)*-9. Let a = 4 + -2. Solve 0 = f*h + a*h for h.
0
Suppose 2*s - z - 12 = 0, -3 = 2*s - 5*z - 31. Solve -p + 5*p = s for p.
1
Let n(d) = 2*d**2 + 11*d - 4. Let t be n(-6). Solve 3 = t*s + 9 for s.
-3
Let b = -47 - -53. Solve 3*l + 6 + b = 0 for l.
-4
Suppose 0 - 16 = 4*i. Let v(z) = z**3 + 3*z**2 - 5*z - 2. Let x be v(i). Solve 0 = -j - x + 3 for j.
1
Suppose 3*a + 21 = -0*a. Let n = 2 - a. Suppose -4*y + y + n = 0. Solve 3*g = 2*g - y for g.
-3
Let o be 3/(-6) - 38/4. Let q = -10 - o. Solve q = -a - 3 for a.
-3
Let n(s) = s**2 - 7*s - 2. Let w be n(7). Let v be -1*1*(-1 - -12). Let k be w/10 + v/(-5). Solve k*r = 3 + 7 for r.
5
Let a(o) = 2*o - 1. Let k be a(2). Suppose 6*j - 13 = -5*m + 4*j, k*m = 5*j + 14. Let c be (-2)/2 + m - 0. Solve -c*v + 3*v = 0 for v.
0
Let u be 3*2/6 + 14. Let v = -14 + u. Solve 24 + v = -5*s for s.
-5
Let j(t) = -t - 2. Let w be j(-6). Suppose 2*h = -5*n - 21, -5*n = h + 21 + 2. Solve -3*o = -w*o + h for o.
2
Suppose 0*p + 3*p = -6. Let m be (-3)/p*(-2)/(-1). Solve -5 - m = -4*h for h.
2
Suppose q + 2*q + 3*x = -3, -3*x = q + 9. Let t(p) = p**3 - 2*p**2 + 2*p - 2. Let i be t(q). Solve i = -5*v + 3 for v.
-2
Let d(l) = l**3 + 6*l**2 - l - 8. Let m be d(-6). Let y(z) = z**2 + z - 1. Let g be y(-3). Let v = m + g. Solve v*n + 13 - 1 = 0 for n.
-4
Suppose 2*k = -0*k. Let v be (k - 2)*1 + 8. Suppose z + 5*g = -6, 3*z = 3*g - v*g + 6. Solve -20 = z*q - 8 for q.
-3
Let v be -3*(0 + 2/(-3)). Let n = 2 + v. Solve -o = n*o - 25 for o.
5
Let x(l) = -3 + 2*l**2 - 2*l + 0 - 3 + 4. Let z be x(3). Solve t - 6*t = -z for t.
2
Let k = 9 + -13. Let p(g) = g**3 + 4*g**2 + 2. Let d be p(k). Let o be (d/(-3))/((-4)/6). Solve 3*y - 2 = o for y.
1
Suppose 0 = -4*d + 5*d - 2. Let p be (d - 1) + 6/2. Suppose 2*c - 4*j = 8, -3*j + 2*j - 2 = -5*c. Solve -p*h + 0*h - 16 = c for h.
-4
Let d(f) = -f**2 - 10*f + 8. Let t be d(-11). Let y be 2 + 3*t/(-9). Let h be y + -2 + -1 + 2. Solve -3*q + h*q = -3 for q.
3
Let p be (-83)/(-5) + 4/10. Suppose -l + 2 = -4. Suppose 11*m - l = 9*m. Solve 0 = -m*c - p + 2 for c.
-5
Suppose 0*q + 3*q = -5*i - 17, 3*q = -4*i - 19. Let v = -3 - q. Solve d - v = -1 for d.
5
Let r = 20 - 20. Solve 3*d - 8*d + 25 = r for d.
5
Suppose 2*o + 3*o - 35 = 0. Let d(q) = q**2 - 3*q - 1 + o*q**2 + 4*q. Let a be d(1). Solve -a - 7 = 3*w for w.
-5
Let m = -1 - -7. Suppose m*p = 2*p + 24. Let z = 6 + -1. Solve -o - z = -p*o for o.
1
Suppose f = -4*o + 13 + 15, 0 = -3*o - 5*f + 38. Solve -o*m = -m + 20 for m.
-4
Let t(u) = u**2 + 9*u + 12. Let d be t(-8). Solve -4*b = 4 + d for b.
-2
Suppose -4*b = 3*m - 15, 2*m - 5 - 13 = -4*b. Solve -4 = f - b for f.
2
Let g(z) = -2*z - 6. Let u be g(-4). Let k(b) = -b - 9. Let n be k(-7). Let v = n + u. Solve -x + 5 = -v for x.
5
Let z(x) = x**3 - 5*x**2 - x + 7. Let u be z(5). Suppose 0 = -3*o - u*o. Solve b + 2*b + 12 = o for b.
-4
Suppose -18 = -3*r - 0*r. Suppose -x = 3*i + 3, -3*x + 2*i = r*i + 4. Solve x = m - 6*m - 20 for m.
-4
Let n(d) = 15*d**2 - d + 1. Let f be n(1). Suppose -o + 3 = 2*s - 2, -3*s + o = -f. Solve k - s = -0*k for k.
4
Let v(w) = 2*w - 3. Let z be v(2). Let j be z/(-2) + (-9)/(-6). Solve -b + j + 1 = 0 for b.
2
Suppose 4*a = 9*a. Solve a = -r - 4*r - 20 for r.
-4
Suppose 3*o + o = -q + 1, 2*o + 5*q = -13. Solve o + 1 = 2*i for i.
1
Let b(l) = l**3 + 4*l**2 + 2*l + 2. Let m = -5 - -2. Let v be b(m). Suppose 3*z = -v*r - 12, -z = -r + 2*z + 12. Solve r = -f - 2*f for f.
0
Let b(x) = -x**2 + 8*x - 6. Let n be b(6). Let k(s) = s**2 - 3*s + 2. Let q be k(n). Solve -5*p + q = -0*p for p.
4
Let t = 31 - 29. Solve 0 = t*x - 5*x for x.
0
Let i = 16 - 11. Let v be (-31)/((i/(-8))/(-5)). Let r be v/(-16) + 1/(-2). Solve -r = 4*j - 9*j for j.
3
Suppose -j + 4*p + 2 = -0*p, -j = 5*p + 7. Let c(a) = a + 2. Let n be c(j). Solve 4 = -4*h - n for h.
-1
Suppose -2 = -5*u + 3. Suppose q + u = 3. Solve 0 = -3*y - q + 8 for y.
2
Let l = 15 - 19. Let q be (7 + l)*8/3. Solve 3*d = q + 7 for d.
5
Suppose 3*p - 3 = 3. Let f = p - -2. Solve 4*o + 12 - f = 0 for o.
-2
Suppose -4*s + 9*s = 5*c, 4*s - 6 = 2*c. Solve -2*k = 1 + s for k.
-2
Let y(z) = 11*z - 17. Let h(i) = -2*i + 3. Let u(d) = 34*h(d) + 6*y(d). Let r be u(-3). Solve -r*s + s = -10 for s.
2
Suppose -2*g = 2*g + 12. Let w be g/(6/(-4)) - 0. Let z be -2*(0 + 1/(-2)). Solve 5 = -w*x + z for x.
-2
Let w(d) = -10 - 28*d**2 - 4 + 18*d**2 + 10*d + d**3 + 5. Suppose -10 = -5*m, -b - 4*m + 24 = 7. Let l be w(b). Solve 3*r - r = l for r.
0
Suppose -8 = 2*u, 