 + t - 3. Let i be m(3). Solve 4*y + i = 10 for y.
-2
Let d = -7 + 16. Let h = -7 + d. Let b = 8 - 7. Solve h*s - b = -3 for s.
-1
Let j = 1 - 4. Let p be (5 + j)*6/4. Let h(w) = w**2 - 3*w + 2. Let u be h(p). Solve -u*m = -2 - 4 for m.
3
Let q(v) = -3*v + 11. Let n be q(-2). Solve -n*k - 20 = -12*k for k.
-4
Let x(i) = 50 + 6*i + 7*i - 18*i. Let f be x(10). Solve -d = -f*d + 2 for d.
-2
Let m be ((-58)/(-10) - 4)*5/3. Solve -m*x + 2 + 4 = 0 for x.
2
Let w = -797 - -810. Solve -w*x + 22*x = -36 for x.
-4
Let d = -8 + 11. Suppose 3*c = -2*c - 3*t + 4, -3*t = 6. Solve -d*f - c*f = 0 for f.
0
Let l(v) = -4*v + 44. Let t be l(11). Suppose -2*g - 4*f = -6*f + 2, t = g + 4*f - 19. Solve 0*s = s - g for s.
3
Suppose 4*x = g - 0*g - 6, -13 = -4*g + 5*x. Suppose -13 = -3*h + g. Solve 8*q + 12 = h*q for q.
-4
Let l be 3*-3*(-6)/(-27). Let g be (l - 30/(-21))*(-7)/2. Solve g + 1 = 3*z for z.
1
Suppose -2*r - 5 = 10*i - 5*i, 0 = -5*r - 4*i - 4. Solve 5*w - w + 4 = r for w.
-1
Let c = -40 - -36. Let a be c/(-3*12/27). Solve 0 = a*r - 2*r + 2 for r.
-2
Let b = -39 - -29. Let w be b/(-45) + (-50)/(-18). Solve -w*j = j for j.
0
Let z be -12 - -20 - 2/(-2). Solve -z*t = -10*t + 5 for t.
5
Suppose 5*a + 10 = 6*a. Suppose 0*v + 5*v = -s + a, 3*v - 19 = 2*s. Solve 0 = -4*u + v*u + 4 for u.
4
Let m(v) = v**3 + 4*v**2 + 14*v + 58. Let w be m(-4). Solve n - 2 = w*n for n.
-2
Suppose -2*s = -3*a - 0*s + 28, -a + 2 = 3*s. Suppose a*o = 4*o + 80. Solve 2*n + 2*n + o = 0 for n.
-5
Let l(i) = i**3 - 8*i**2 + 12*i - 10. Let w be l(7). Let k be ((-60)/w)/(12/(-40)). Solve 0 = -k*b + 3*b + 25 for b.
5
Let y be 0/(25/(-5))*(-2)/6. Solve -j + 2 - 5 = y for j.
-3
Let s = -3 + 5. Let d be 27/9 - 5/(-5). Solve d = -s*k + k for k.
-4
Let d(l) = -4*l**2 - 59*l - 27. Let h be d(-14). Solve 10*c - h*c + 15 = 0 for c.
3
Let h = 657 + -635. Solve 6*g - h = 2 for g.
4
Suppose -7*w = w - 16. Suppose 0 = 4*u - w*u + 8*u. Solve -2*o + u*o = -2 for o.
1
Suppose 12 = -5*g + 112. Let l(j) = j**2 - 6*j - 3. Let n be l(7). Suppose 5*z + 6 = 3*k, -5*z = 5*k - 6 - n. Solve -2*q + g = k*q for q.
5
Let g be 9/12 + 30/(-8). Let k be 48/18 + (-1)/g. Let q be k*1 - (1 + 2). Solve q = 6*i - 3*i for i.
0
Let p(b) = -b**3 - 7*b**2 - b - 7. Let c be p(-7). Let r(o) = 5*o - 6. Let w be r(6). Let q = w - 21. Solve -2*z - q*z = c for z.
0
Suppose 2*j - 7*j = 0. Suppose -6*g + 64 - 22 = 0. Suppose g + 5 = 3*f. Solve j = -q - f for q.
-4
Suppose 5*r - 22 = -b, r - 58 = -5*b + 2*r. Suppose -b - 3 = -3*s. Solve n + 4 = s for n.
1
Suppose 0 = -s + 5*z - 7, 0 = -4*s + 5*s + 3*z - 9. Let q(i) = -i + 2. Let v be q(-5). Let l be 1 + -1 + v + 1. Solve s = -m + l for m.
5
Let g be (-4 - -6) + -2 + 0. Let j be (-2 - g/(-2))/(15/(-15)). Solve -17 = -j*h - 7 for h.
5
Let c = 525 + -523. Solve 3*x = x - c for x.
-1
Let g be ((-18)/8)/(4/16). Suppose 0 = 2*l - 7 - 21. Let s = g + l. Solve 3*p - 4*p = s for p.
-5
Suppose 0 = d - 3*c + 6, -d + 2*c + 6 = 5*c. Solve d = a + 2*a - 0*a for a.
0
Let o be ((-8)/4)/(1 - 4/3). Suppose 0*i = -o*i + 138. Solve 5*l = -i + 8 for l.
-3
Suppose -5*o + 5*g + 60 = 0, -15*o + 55 = -10*o - 4*g. Solve -o - 20 = 9*c for c.
-3
Let l be 1/(-2)*2*-20. Suppose 72 - l = 2*t. Let v = t + -16. Solve -5*h + v*h - 25 = 0 for h.
5
Let y = -9 - -12. Suppose -c - 8 = y*c. Let v be (9/1)/(c + 3). Solve 5*b + 1 = -v for b.
-2
Let g be 2 + (-204)/(-153)*(-33)/(-4). Solve g*w - 9*w = -6*w for w.
0
Suppose -14*x = -13*x - 88. Let i be ((-22)/x)/(1/(-12)). Solve -3*d + 4*d = -i for d.
-3
Suppose 825*d - 48 = 813*d. Solve -10*t = -11*t - d for t.
-4
Suppose -44 - 22 = -z. Let l = 69 - z. Solve -l - 2 = m for m.
-5
Let v = -20 + 22. Let t be 2 - (v/(-2) + (3 - 1)). Solve d - t = -0 for d.
1
Let h = 90 + -83. Suppose 4 = -h*i + 11. Solve 2*j - i = -5 for j.
-2
Let c(z) = 4*z - 10. Let x be c(3). Suppose -2*r + 2*j + x = 0, 3*r = -4*j - 0*j + 31. Suppose 3*t - 15 = r*i, 4*t + i = 2*i + 3. Solve 2*p = -t - 2 for p.
-1
Suppose 5*r - 2*t = 3*r + 28, -3*r - 4*t + 42 = 0. Solve 4*m - r = -3*m for m.
2
Let v = -190 + 193. Solve -3*k + 30 = v*k for k.
5
Let d(w) = -w**2 - 8*w + 80. Let p be d(-12). Solve 89*k - p = 97*k for k.
-4
Let c = 26 - 22. Suppose 1 - 2 = 3*j - u, 5 = -j + 5*u. Suppose t = -j*t + 3*n + 11, -c*t - 4*n - 4 = 0. Solve -t*r = -r for r.
0
Let l(t) = 6*t - 42. Let p be l(7). Solve p = -13*i + i + 36 for i.
3
Let p be ((-4)/6)/((-2)/6). Suppose -4*b + 28 = 4. Let d = b - p. Solve -d = w - 2*w for w.
4
Let g = 104 - 102. Solve -g*m + 14 = -9*m for m.
-2
Let l be (1 + (4 - 4))/(2/28). Solve 19*f - l*f = 20 for f.
4
Suppose -k + 4 = 2. Suppose -x + 22 = -t, x - 2*t = k*x - 16. Suppose -5*j + 23 = 3. Solve 0*f = j*f - x for f.
5
Let a = 11 - 10. Let d(o) = o + 0*o**2 + o**3 - o**2 + 3*o - 5*o + 1. Let h be d(1). Solve 3*j + 7 - a = h for j.
-2
Suppose 3*q + 0*z - 2*z = 3, 18 = q + 5*z. Suppose 6*o = 4*s, 2*s - 4*o + 7*o = 24. Solve s*j + 3 = q*j for j.
-1
Suppose 3*l - 16*l + 182 = 0. Solve m - l = -13 for m.
1
Let v be 1/(4/164) - -4. Suppose 4*i - v = -5*k, 0 = 5*k - 3*i - 6 - 4. Suppose 3 = 5*o - 0*o - 4*j, 4*o + 3*j - 21 = 0. Solve k*w = 2*w - o for w.
-1
Let z = -13 + 15. Let u(v) = 11*v - 5 - 14*v + z. Let f be u(-2). Solve -f*b + b - 8 = 0 for b.
-4
Let p be (-10)/4*1*(27 - 29). Solve z + p*z - 12 = 0 for z.
2
Let d(m) = m**2 + 3*m - 3. Let l be d(-7). Suppose 5*q + 5 = l. Suppose -4*s = -3*x + 7*x, 0 = 2*x - s. Solve -q*z + 8 = -x*z for z.
2
Let x(a) = a**2 - 20*a + 105. Let h be x(14). Solve -h*n = -17*n - 20 for n.
5
Let x be (-14)/4*(-6)/7. Solve -2*f - 1 = x for f.
-2
Let j be (-4 - -7)*3*(-4)/(-9). Solve -28 = -j*d - 24 for d.
1
Let b = 375 + -371. Solve -29 = -b*v - 9 for v.
5
Let a(d) = -d**3 - 5*d**2 - 3*d + 5. Let r be a(-5). Solve 4*l - r = -l for l.
4
Suppose -4*j - j + 10 = -d, 3*d = j - 2. Let k = 23 - 8. Suppose j*y - 2 = -3*m + k, 2*y = 4*m - 4. Solve 0 = y*x + x - 20 for x.
4
Let m be 2/6 - 420/(-63). Solve 10 + 25 = -m*n for n.
-5
Suppose -3*m = -30*m + 594. Solve 0 = u - m + 25 for u.
-3
Suppose -3*p = -u + 73 + 43, -2*u = 5*p + 175. Let j = 47 + p. Let y be 6 + (-5)/j*2. Solve 0*t + y = -t for t.
-5
Let p = -4 + 8. Suppose -18*j - 881 + 953 = 0. Solve j = p*v - 6*v for v.
-2
Let r(h) = 2*h - 12. Let p = 20 + -11. Let w be r(p). Solve -5*b - 21 = -w for b.
-3
Let w(r) = -15*r - 237. Let l be w(-16). Solve -l*m = -9*m - 18 for m.
-3
Suppose 118 = -y + 155. Solve y = f + 34 for f.
3
Suppose 0 = -0*u + 2*u - 4. Suppose -u*f = -2*k - 6, 3*k + 15 = 3*f - 2*k. Let a(b) = 6*b**3 - 2*b + 1. Let x be a(1). Solve 0*g - x*g = f for g.
0
Let k(u) = -u**2 - 7*u + 1. Let n be k(-5). Let c = n + -8. Solve c*p + 1 = 2*p for p.
-1
Suppose -9*i + 3 = -24. Suppose 0 = -i*k + 9, 0 = 2*t + 3*k - 4*k - 17. Solve -t + 0 = 5*s for s.
-2
Suppose 6*a = 23*a + 119. Let i be 0 + (-2 - (a - 0)). Solve 0*t + i = 5*t for t.
1
Let v be (-408)/(-60) + (-4)/(-20). Solve -v*t = -12*t + 6*t for t.
0
Suppose 2*p + 5*w = 14, -6*p - 5*w = -10*p - 2. Solve 2*l + 20 = -p*l for l.
-5
Let d(f) = f + 14. Let b be d(-6). Solve -5*a = -b + 13 for a.
-1
Let m(d) = 4*d - 5. Let v(f) = -5*f + 4. Let b(u) = -3*m(u) - 2*v(u). Suppose -2*k = o - 2 - 1, -5*o = -k - 15. Let q be b(k). Solve -q - 8 = 3*h for h.
-5
Suppose 0*o = 5*c - 5*o - 25, 0 = -5*c + 3*o + 21. Let j(n) = -6 - 4*n - n**2 + 3*n - c - 12*n. Let k be j(-12). Solve -k*h = h for h.
0
Let l be (-2 - -1)*(2 - 0). Suppose -g = -4*w + 13, 5*w - g + 0*g = 17. Let a = l + w. Solve -2 = 2*r + a for r.
-2
Let t be 1 + 2 + (-9 - -20). Suppose -16*r + t*r - 4 = -n, 3*r + 1 = -n. Solve n*u - 2 = u for u.
2
Let i = -24 - -68. Let g be i/10 - -4*(-2)/20. Solve -10 = -2*x - g for x.
3
Let a(r) = r + 10. Let l(v) = 1. Let w(n) = a(n) - 5*l(n). Let g be w(-3). Suppose -t - 8 = -4*s, g*t - 4*t = -3*s + 1. Solve u - 10 = s*u for u.
-5
Let j be (-11 - (-6 + -4)) + 10. Solve j*t + t = -40 for t.
-4
Let g(n) = 7*n - 12. Let v(m) = -8*m + 11. Let q(h) = 4*g(h) + 3*v(h). Let t be q(5). Solve 2*i + t = -5 for i.
-5
Let i = -48 - -90. Suppose u - 102 = -4*k, 2*k - 3*u = u + i. Let r(y) = y**2 - 32*y - 135. Let v be r(36). Solve -k = -4*n - v for n.
4
Let h(p) = 44*p**3 + 0*p - 22*p**3 + 7*p**2 - 21*p**3 - 6 + 9*p. Let x be h(-4). Solve 2*f + f = -x for f.
-2
Suppose -4*u + 12 = -u. Let h(i) = 