et l = -14 + y. Solve 3*z = -2*z + l for z.
2
Let t(u) = u**2 - 3*u - 2. Let c be t(4). Suppose -i - 2*i - 9 = 0. Let n(h) = h**2 + 2*h - 3. Let l be n(i). Solve 0 = -2*o - l + c for o.
1
Let s be 33*12/9 - 3/1. Solve 0 = -3*n + s - 29 for n.
4
Let u be 0/(3 + (-2 - -1)). Let n be (2 + -2 + -1)*u. Suppose n = 6*t + 14 - 44. Solve -t + 1 = 4*a for a.
-1
Let k(f) = f**2 - 4. Suppose -n + 2*j - 5 = -2*j, -n + 2*j = 1. Let b be k(n). Suppose -17 = -3*q - b. Solve 0*o = o - q for o.
4
Suppose -a - 3 = -2*h, 2*a - 4 - 8 = -2*h. Solve -a*b - 13*b = -16 for b.
1
Let y(o) = -o**3 + 37*o**2 + 81*o - 114. Let t be y(39). Solve 3*c - t = -0 for c.
1
Let d(m) = m**2 + 9*m + 15. Let n be d(-9). Suppose -2 = 2*i + 3*h - n, 4*i + h - 11 = 0. Solve 0*c + i*c - 8 = 0 for c.
4
Let r(o) = 2*o + 45. Let q be r(-11). Solve -18*a = -q*a for a.
0
Let p = -87 - -87. Suppose -8*f = -4*f, p = 4*s - f - 12. Solve s = -4*d + 11 for d.
2
Let a = 18 + -17. Let t be a/(-8) - (-4)/32. Suppose u = 2*x + 8 + 6, 5*x + 15 = t. Solve 5*n = 3*n + u for n.
4
Let n be (6 - -7) + (-15)/5. Let p(c) = c**2 + 5*c - 2. Let b be p(-6). Solve -q - b*q - n = 0 for q.
-2
Suppose 2*x = -3*a, -4*a - 5*x = a. Solve -20*o + 16*o + 16 = a for o.
4
Suppose 0 = 6*i - 32 - 40. Solve i*h = -18 - 6 for h.
-2
Let y = 1075 + -835. Solve p + 235 = y for p.
5
Let y(g) = -g - 3. Let m be y(-3). Let n(b) = 7*b - 17. Let d(v) = -v**3 + 3*v**2 + v + 3. Let s be d(3). Let q be n(s). Solve m = -4*z + q - 5 for z.
5
Suppose -58 = -2*z - 5*o, -4*z - 42*o + 45*o + 90 = 0. Solve -17*l - z = -5*l for l.
-2
Let u be 3 + 3*(-5)/(-15). Suppose u*c - 40 = -o, -2*c = c - 2*o - 30. Solve -s - c = s for s.
-5
Let z = -72 + 84. Solve k - z = 5*k for k.
-3
Let k be -1*(-3 + (-9)/(-3) - 1). Solve k + 4 = -5*r for r.
-1
Suppose 3*j - j = -5*w + 25, -3*w - 2*j = -19. Solve 0 = -w*y + 106 - 100 for y.
2
Let v be (-1 - (-148)/6) + 3/9. Let j = 28 - v. Solve 2*y - j = -2*y for y.
1
Let v = -45 + 45. Suppose v = 4*q - 6 - 6. Solve -2 - 7 = q*c for c.
-3
Suppose -w = 4*c - 10, -7 = 3*w + 5*c - 23. Suppose 5*p - p - 3*f + 21 = 0, -4*f = p + 10. Let h be (-1)/(w/p) - 3. Solve 2 = r - h for r.
2
Suppose 30 = 11*c - 399. Solve 45*x - c*x + 12 = 0 for x.
-2
Suppose 2*p + 5 + 3 = 4*r, 0 = -5*r + 25. Suppose -u = 5 - p. Solve -u = 3*m + 8 for m.
-3
Suppose -13 + 5 = -2*o, -3*i = -o + 1. Let z(n) = 4*n**2 + n. Let k be z(i). Solve 0 = -0*t + 5*t + k for t.
-1
Suppose 0 = -24*w + 13*w + 22. Suppose 5*j = 0, 5*k = j - 5*j. Suppose 0 = -k*f - f + 6. Solve f*z = w*z - 12 for z.
-3
Let u(z) = z**3 + 2*z**2 - 5*z + 4. Let n be u(2). Let m be ((-50)/n)/(5/(-2)). Let j = 6 - 3. Solve -m*f = -j*f + 2 for f.
2
Let q = 27 + 7. Suppose -a - 11 = -2*z - 4*a, a = -5*z + q. Let s(d) = -d**3 + 7*d**2 - d + 7. Let y be s(z). Solve -4*l + 0*l - 12 = y for l.
-3
Suppose -5*x - 10 = 3*z, -4*z + 17 = -4*x - 23. Solve -9*d + z*d = -5*d for d.
0
Let x(i) = -5*i - 84. Let w be x(-19). Solve -36 = 5*b - w for b.
-5
Let o = 4 + -7. Let s be -2 + 2 - 5*o. Suppose -s = -2*n - 3*n. Solve -13 = 2*h - n for h.
-5
Suppose 2*z = -z + 6. Let n(b) = -8*b**2 + 3*b**2 + 3*b**z - 2*b - 2 + 2*b**3 + 4. Let h be n(2). Solve 20 = v - h*v for v.
-4
Suppose 10*l - 9*l = 5*f - 61, -5*l = 5. Solve f*i + 5 = -7 for i.
-1
Let o = 5 - 5. Suppose -4*i = -2*k - 0*i + 8, 2*k + 2*i - 8 = o. Solve -k*t = -3 - 5 for t.
2
Let y(w) = -3*w - 2. Let v = 3 - 4. Let r be y(v). Suppose 3*n - 4*d = -n + 12, 4*n + 2*d + 6 = 0. Solve n = b - r - 2 for b.
3
Let c be (-90)/(-9)*(46/10 + -3). Solve -4 = c*i - 15*i for i.
-4
Suppose -o + 4*t = -2*o + 57, o - 3*t = 43. Let g be (-28)/o*-1*7. Solve 0*s = g*s for s.
0
Let p = 260 + -259. Solve -z = -4 - p for z.
5
Let j(i) = -9 - 4*i**3 + 3*i**3 + 7*i + 8 + 5*i**2. Let v be j(6). Solve 9*s = 4*s - v for s.
-1
Suppose l - 15 = 2*a, 0 = a + 5 - 3. Solve 4*r + 9 = -l for r.
-5
Let y(s) = -2*s**2 - 17*s - 8. Let p be y(-8). Solve p*u = 5*u - 15 for u.
3
Let g = -293 + 311. Solve -19*o - 1 = -g*o for o.
-1
Suppose 2*r + 9 = 51. Suppose -4*o - 2*i - 9 = -7*i, o = 5*i - r. Solve 2*y = -2*y - o for y.
-1
Suppose 14*c = 10*c + 12. Solve 0 = c*y + 18 - 15 for y.
-1
Let h = 21 + -18. Let b be 1 - 3 - (2 + -9). Suppose 4*q - 20 = -4*d, -h*d + 12 - b = -q. Solve 0 = 2*a - 5 - d for a.
4
Let k = 512 - 493. Solve -12 = -k*n + 15*n for n.
3
Let c be 4 - 2*(-2)/4 - -6. Solve -b = -c*b + 30 for b.
3
Let u(q) = q**3 - 19*q**2 - 18*q - 12. Let y be u(20). Solve -8*w = 12 - y for w.
2
Let f = -2472 + 2487. Solve 6*m + f - 45 = 0 for m.
5
Suppose -3*g = -3*x, -5*g + g = 5*x. Let a = -5 - -13. Solve -2*v = -g*v - a for v.
4
Suppose -10*i - 8 = -12*i. Solve 0 = i*l + 19 - 3 for l.
-4
Let b(g) = -g**3 - 3*g**2 + 3*g - 6. Let x be b(-4). Let f be (0/3)/(0 - x). Solve f*m - 12 = 3*m for m.
-4
Let m be (-12)/(-1) + 0/24. Suppose 3*k - m - 33 = 0. Solve 0*r + k = -3*r for r.
-5
Let w be ((-6)/(-4))/(6/8). Let b(c) = c**3 + 2*c**2 - 11*c - 10. Let m be b(-4). Let x = w - m. Solve -1 = -k - x*k for k.
1
Suppose 1 = -2*k + 7. Let f = 72 - 62. Solve -n + k*n = f for n.
5
Suppose 20*d - 110 = -2*d. Solve 0 = -2*w - 3*w + d for w.
1
Suppose -20 = -3*b - 2*b, 2*z = b + 34. Solve -20 = 24*j - z*j for j.
-4
Let m(z) = -z**2 + 9*z. Let g be 2/5 + (-434)/35. Let s be (1*-2)/(3/g). Let x be m(s). Solve 5*o + 12 + x = 0 for o.
-4
Suppose 0 = -o + 2*m - 2, 0 = 3*o - 3*m + 4*m - 22. Solve -3*r + o*r = -9 for r.
-3
Suppose -5*z - 4*c + 10 = 0, -2*z + 8 = 2*z + 4*c. Suppose z*l - 5*b + 1 = 0, 5*l + b + 1 - 12 = 0. Solve l*j = 1 + 7 for j.
4
Let v(u) = -2*u**2 - 7*u + 6. Let g be v(-6). Let b = g + 24. Solve -3*k = -b*k + 3 for k.
-1
Let t(y) = y - 1. Let a be t(5). Suppose 3*j + s = 1, 0 = -2*j + 4*s + s + 12. Suppose w + j = 4. Solve 0 = -w*q + a - 1 for q.
1
Let y(i) = -6*i + 21. Let l(x) = -8*x + 15. Let r(s) = -s + 1. Let h(q) = -l(q) + 5*r(q). Let p(a) = -9*h(a) - 4*y(a). Let c be p(2). Solve c*g - 2 = g for g.
-2
Let a(s) = -s**3 - 6*s**2 - 3*s - 6. Let l be a(-6). Suppose 2*p - l = v, p - 16 = -0*p + 3*v. Suppose 21 = -3*u + 39. Solve -u = p*o + 2 for o.
-2
Let k = -81 - -61. Let w = 20 + k. Solve w = 5*t + 7 + 8 for t.
-3
Suppose -3*b - 2 = r, 2*r + 2*r + 8 = -b. Solve b = -5*s - 5 - 10 for s.
-3
Let g be (-9)/(-6)*6*1. Let d(v) = v**2 - 9*v + 1. Let m be d(g). Let z = 16 + -13. Solve -2*f - z = -m for f.
-1
Let j be 18/42 - (-300)/(-14). Let w = -3 - j. Let d(q) = q**3 - 18*q**2 + 6. Let x be d(w). Solve -x*m + 2*m = 0 for m.
0
Suppose 0 = -3*c + 1 + 5. Suppose 2*g + g = 2*l + 12, -6 = -2*g + c*l. Solve 3*s + 0 = -g for s.
-2
Let a = 26 - 21. Suppose 0*m - m = a. Let u be (-2 - 0)*(m + 1). Solve 0*k = -4*k + u for k.
2
Let f = -22 - -19. Let p = f - -6. Solve 6*z = p*z for z.
0
Let m be (140/(-56))/(1/(-4)). Solve m*c = 8*c + 10 for c.
5
Let s be (-15)/2*4/5. Let h = s - -12. Let x be h/(-21) - 32/(-14). Solve -x = 2*l + 2 for l.
-2
Suppose 5*t + 84 = 4*q + 74, -t + 3*q = 13. Let l be 4/(-6) + (-4)/(-6). Solve w = t - l for w.
2
Suppose 54*u - 340 = 20*u. Solve u - 2 = -4*y for y.
-2
Suppose -b = 2, -229 = -h - 4*h + 2*b. Let i = h + -24. Let r be 2/(-9) + 76/18. Solve -i = -r*v - 5 for v.
4
Let j(v) = v + 17. Let z be j(-12). Let t(s) = -2*s + 23. Let p be t(z). Solve 0 = -5*k - 7 - p for k.
-4
Let a = -98 - -98. Solve 5*q + 12 - 2 = a for q.
-2
Let t be 30*((-16)/4 + 3). Let k = t + 25. Let r = -2 - k. Solve r = 3*l + 15 for l.
-4
Suppose 77*p = 21*p + 280. Solve 9*k + p*k - 14 = 0 for k.
1
Let z be (12/6)/(21/(-24) + 1). Suppose -20 = -9*m + z. Solve -m = -2*a + 3*a for a.
-4
Suppose 3*v - 5*p = -3*p + 46, 2*p + 62 = 4*v. Solve 4*m + v = 4 for m.
-3
Suppose 3*c - 4*c + a = -4, 0 = -c + 3*a + 4. Let d be 266/18 + 0 + (-6)/(-27). Solve -c*h = -h + d for h.
-5
Let o be (-5 - -2)*(-3 - (-1 + 2)). Solve -o = -8*f + 4 for f.
2
Suppose -23*r + 1473 - 47 = 0. Solve 64*g + 6 = r*g for g.
-3
Let g be (0/2)/(-4 + 2). Suppose y = -2*y + i + 10, y - 4*i - 7 = g. Solve r = -y*r for r.
0
Let d(h) = h**3 - 24*h**2 - 25*h + 5. Let a be d(25). Solve 6 = a*k + 26 for k.
-4
Suppose 2*r - 120 = -3*r. Let g(b) = 3*b - 114. Let l(v) = -v + 28. Let z(i) = -2*g(i) - 9*l(i). Let j be z(8). Solve j = 5*m + r - 9 for m.
-3
Suppose -2*o - 13 + 9 = 0. Let a be (5 - 7)*1/o. Solve m - a - 2 = 0 for m.
3
Let f = -1 - -3. 