c + 17 = 83. Let u = -4 - c. Solve -9 = 4*g - u for g.
5
Suppose g + 2*g - 47 = -5*u, 0 = 4*g - u - 78. Solve 11 = -10*m - g for m.
-3
Suppose 9*v - 8*v + 4*f - 16 = 0, -f = 5. Solve -v = -6*z - 12 for z.
4
Let d = 14 - 28. Let b(z) = -z - 13. Let u be b(d). Solve 4*v - u = 3 for v.
1
Let z be 15*40/(-36) - (-6)/9. Let o(n) = n**2 + 17*n + 16. Let u be o(z). Solve u = -m + 2 - 0 for m.
2
Let c = 2 + -2. Suppose 0 = 3*y + u - 9, 4*y + 3*u - 2*u - 13 = 0. Let l be 1 + c + -1 + y. Solve -i - l*i = -20 for i.
4
Let b be (-2)/(1 + 15/(-17)). Let k = b - 0. Let q be (8/3)/(k/(-51)). Solve -q = -3*g - 23 for g.
-5
Let i = -24 + 27. Suppose 3*g + i*t = -2*g + 23, 4*t + 2 = -2*g. Solve -g - 3 = 5*o for o.
-2
Suppose 5 = 5*x - 45. Suppose -6 = 5*c - 4*c. Let a = x + c. Solve a*w - 13 - 3 = 0 for w.
4
Suppose -2*o + 7*o = 0. Suppose 0*f - 2*f + 12 = o. Solve 2*k - 4 = f*k for k.
-1
Let i = 44 - 35. Solve i = -9*k - 27 for k.
-4
Suppose -4 = -2*g, 4*d + 2*g - 6*g = 0. Solve 3*b = -5 + d for b.
-1
Let q = -171 + 193. Solve 26*u + 4 = q*u for u.
-1
Suppose -26 = -8*a + 7*a. Let w be a/(-39) + (-40)/(-6). Solve -m + w*m = -10 for m.
-2
Let w be (-1 - (-2 - -2)) + 4. Suppose -2*q - 4*p - 6 = q, 5*q = -w*p + 1. Suppose -2*m = -q - 4. Solve 0*a = a - m for a.
3
Let h(m) = -7*m + 84. Let b be h(9). Solve -b = 4*n - 11*n for n.
3
Let g(s) = -2*s - 52. Let k be g(-32). Solve k = -o + 13 for o.
1
Suppose -8*y + 3*y = 5*o - 165, 5*y = -4*o + 160. Solve -y = -5*z - 18 for z.
2
Let o = 579 - 562. Solve 3*i = -5 + o for i.
4
Suppose 5*b = 681 - 641. Solve -10 = -6*w + b for w.
3
Let s(p) = 3*p - 61. Let m be s(21). Solve 0 = c - 3 + m for c.
1
Suppose 0 = j + 4, 5*j = -k - 19. Solve -5 = 2*r - k for r.
-2
Let o = 113 + -102. Suppose 0 = 15*p - o*p - 20. Solve z + 8 = p*z for z.
2
Suppose 0 = -m + 4*m. Suppose -17 = -3*j + 2*t, m = -4*t - t - 20. Solve -j = 2*l - 5 for l.
1
Let x(v) = 3*v - 3. Suppose 2*b = -2*b + 28. Let o be x(b). Suppose -2*z - 6 = 2, a + 5*z + o = 0. Solve 5 - 1 = -a*h for h.
-2
Let j(y) = 16*y - 10. Let d be j(2). Let m be 30/4 + -1 - 11/d. Solve -v - m = -1 for v.
-5
Let q be 10 + -2 - (2 + 2). Suppose n = -5*u + 25, 5*n + 8 = 2*u - 2. Suppose n = -4*a + h + 23, 4*a + 5*h - 4*h - 17 = 0. Solve -a*p - 6 = q for p.
-2
Let m = -1597 + 1604. Solve 32 = 5*b + m for b.
5
Let j be -3 - 4/(-4) - (-2 - 4). Solve j*d = -3*d for d.
0
Suppose -4 = k - 2. Let v = k - -4. Solve v*f = -0*f + 4 for f.
2
Let f = -809 - -818. Solve 5*j = -1 - f for j.
-2
Suppose 0 = -7*y + 18*y. Solve -12*l + 6 + 6 = y for l.
1
Suppose -2*c - c - 3 = 0. Let a(x) = -x**2 + 3*x + 1. Let t be a(3). Let w be t + c + 0/(-13). Solve w = -4*m - 0*m + 16 for m.
4
Let m(r) = -4*r + 73. Let s be m(17). Solve -16 = -s*d - 21 for d.
-1
Suppose 0 = -5*s - 5*m + 70, 5*m + 1 - 55 = -4*s. Let g = 10 - s. Let f = g + 9. Solve -f*d = d - 4 for d.
1
Let d(o) = 3*o**2 + o - 1. Let y be d(1). Let s(f) = 3*f. Let c(g) = g. Let a(b) = 15*c(b) - 6*s(b). Let j be a(-5). Solve -y*l - j = -0*l for l.
-5
Let x = 1437 + -1412. Solve -b = -x + 26 for b.
-1
Let o(r) = 15*r**2 + r - 1. Let j be o(1). Suppose a - j = 5*w, w - 10 = -5*a - 13. Solve -6*z + z + 20 = a for z.
4
Suppose 2*q + 3*j = 196, 2*q - 4*j + 3*j - 204 = 0. Let d be 1*(q/5 - (-10)/(-50)). Solve -5*l = -d - 5 for l.
5
Suppose 0 = -4*g + 7 + 5. Suppose h = -g*h. Let u(c) = -2*c**3 + c**2 + 4*c + 3. Let k be u(0). Solve 6 = -k*p - h for p.
-2
Let q be -2 + 963/135 + 4/(-30). Let m be 6/(-9)*(1 + -4). Solve -q*s + m*s = 0 for s.
0
Let z = -17 - -17. Suppose 0*x + 8 = 3*o - x, -2*o + 4*x - 8 = z. Suppose -2*l = -o*l + 12. Solve 2*h - 4 = l*h for h.
-1
Let m = 352 + -348. Let x be 2 + 2/(1/(-1)). Solve m*b + x*b = 12 for b.
3
Let r = -28 + 37. Suppose 3 = 4*q - 5*p, p + r = 3*q + 4*p. Solve -q*j - 2*j - 16 = 0 for j.
-4
Let f(i) = i**3 + 4*i**2 - 15*i - 1. Let g be f(-6). Suppose 2*z - g = -5*h, 4*h + 3*z + 0*z - 15 = 0. Solve h*y + 2*y = -20 for y.
-4
Let m be ((-24)/240)/(1/(-130)). Let o(t) = t - 1. Let a be o(3). Solve m + a = -3*f for f.
-5
Suppose 0 = 5*q - 0*i - 5*i - 100, 5*q + 2*i = 72. Suppose -q = w - 3*w. Suppose 0 = 3*o - h - 23, -h = -2*o - w + 22. Solve -2*f = f - o for f.
3
Let l be 5/2*6/5. Suppose s + 2*k = l*k - 30, -5*s - 150 = 5*k. Let h be (-3)/(2/(s/9)). Solve -b + 0*b - h = 0 for b.
-5
Let d(q) = 3*q - 2. Let x(s) = s**2 + 5*s - 2. Let a be x(-6). Let r be d(a). Let z(u) = -u**2 + 9*u + 12. Let t be z(r). Solve 5*g - t = 4*g for g.
2
Let g be 2/((-3)/((-9)/2)). Suppose 0 = -s + m + 9, -s + 2*m = g*s - 28. Solve -5 - 5 = -s*p for p.
2
Suppose 4*w = t - 16, 3*t = 2*t - w + 41. Let o = t + -22. Solve 34 - o = -5*r for r.
-4
Let q(j) = j**2 + j - 20. Let c be q(4). Suppose 9*d - 5*d - 12 = c. Let h(y) = y**2 - 6*y + 6. Let f be h(5). Solve f = 4*x - d for x.
1
Suppose 3*p + 11 = -25. Let i be 4/(21/p + 2). Let m = 25 + -21. Solve -3*z - m + i = 0 for z.
4
Let s(w) = 4*w + 47. Let c be s(-11). Solve -2*l + 5 = c*l for l.
1
Let q be (-13 - -42) + (1 + 1 - -3). Solve 5*m = -12*m - q for m.
-2
Let n(x) = -x + 17. Let k be n(14). Solve -3*s + k = -0 for s.
1
Let n(l) = -l**3 + 10*l**2 - 7*l - 19. Let g be n(9). Let a be (1 + g)/(6/(3/1)). Solve a = -2*c - 0*c for c.
0
Let d = 5 - 2. Suppose 3*g = -0*g - b + 1, -4*g - d*b = 7. Let t be ((-3 + 4 - 1)/(-2))/1. Solve t = -u - g for u.
-2
Let k(g) = 52*g - 1. Let m be k(3). Let o = m + -110. Suppose 5*l - 2*l - o = 0. Solve -2*f = f + l for f.
-5
Let s(a) = a**2 + 7*a + 1. Let v be s(-5). Let m = v - -14. Suppose t + 24 = m*t. Solve 0*h + t = -2*h for h.
-3
Suppose 0 = 3*q - 5*q + 4. Suppose n - q*n + 2*r = -10, 3*n - 9 = -r. Solve h + 0*h = n for h.
4
Let a = 7 - 6. Let w be 2 + (2 - (0 + a)). Solve h - w = -8 for h.
-5
Let q(w) = 2*w + 4. Let o be q(7). Suppose -9*x + 12*x = 15. Solve -o = x*g - 3 for g.
-3
Let l(v) = v**3 + 4 - 5*v**2 - 4 - 3*v - 3. Let n be l(6). Solve 5*d + n = 40 for d.
5
Suppose -5*h + 3*c = -46, 0 = -3*h + 32*c - 37*c + 48. Solve h*m + 23 = 34 for m.
1
Let u be 0/(-10) + (-3)/(-1 + 0). Solve 0 = -6*q + u*q - 15 for q.
-5
Suppose 0*z + 36 = 3*z. Suppose 4*o - z = 2*i - 6*i, 4*i - 5 = 3*o. Solve u = -i*u for u.
0
Let l(x) = 20*x**2 + 4*x + 1. Let z be l(-1). Solve 0 = -8*n + 23 + z for n.
5
Let u be (17 + -19)*(-2 + 0). Suppose u*i - 5*x - 7 = 10, 0 = 5*i - 5*x - 20. Let n(f) = 2*f - 6. Let y be n(5). Solve y*d + 5 = -i for d.
-2
Suppose 0 = 2*q - 6, q = t + 2 + 1. Suppose t = -10*d + 3*d + 14. Solve 0 = i + d*i + 3 for i.
-1
Let n(j) = j + 16. Let v be n(5). Let r be (12/v)/(6/105). Solve -r = -3*w + 5 for w.
5
Suppose -43 = -5*v + 2*f - 17, -4*f - 16 = -v. Solve v*w - 3 + 19 = 0 for w.
-4
Suppose 233*m - 225*m - 56 = 0. Solve m*r = 12*r - 25 for r.
5
Suppose -2*t + 25 = -4*y - 43, 0 = t + 4*y - 4. Let v be 94/14 + -2 - t/(-84). Let h(m) = m**3 + 11. Let a be h(0). Solve -4*i - v - a = 0 for i.
-4
Let b be (2/6)/1*(96 - 18). Solve -22 = z - b for z.
4
Let j(s) = s + 14. Let q be j(15). Let f = q + -29. Solve 5*x + 10 = -f for x.
-2
Let i = -44 + 123. Suppose -7*c - 16 = -i. Solve -3*m - 3 = -c for m.
2
Suppose -20*s = 23*s - 344. Solve -14*b + 10*b + s = 0 for b.
2
Suppose -5*k + 3*q + 12 + 21 = 0, -k = -3*q - 9. Solve r - k*r = 0 for r.
0
Let p(s) = -s**3 + 33*s**2 - 242*s + 3. Let a be p(11). Solve a*n + 8 = -5*n for n.
-1
Let w(v) = -v**2 + 15*v - 13. Let j(o) = o**2 + 8*o + 5. Let u be j(-9). Let m be w(u). Suppose -k = -m - 2. Solve -k = -s + 1 for s.
4
Let l be (3/(-6))/((-2)/100). Suppose 3*a + 15 = 3*o, 5 = 5*a - 4*o + l. Suppose -15*x = 3*x. Solve -f + x*f = a for f.
0
Let v be (10/(-4) + 3)/((-2)/(-12)). Solve v = 4*m - m for m.
1
Suppose 5*l = -19 + 14. Let p be (3 - (3 - 0))/l. Solve -2*t + t = p for t.
0
Suppose -5*r + 19 = 4. Solve r*h = -h + 20 for h.
5
Let v be (3/(-2))/((-7)/(-14)). Let u be 2*(v + 2*10). Let w = u + -9. Solve 0 = k - 6*k + w for k.
5
Let y(u) = -10*u - 133. Let x be y(-18). Solve -4 = -x*j + 48*j for j.
-4
Suppose 83 = 6*a + 11. Let n be a + -11 + (-1)/(-2 + 1). Solve -n*f + 0*f + 2 = 0 for f.
1
Let b(a) = -a**2 - 38*a - 358. Let f be b(-20). Solve f*c - 9*c = 0 for c.
0
Let y = -1627 - -1637. Solve -235*k = -233*k - y for k.
5
Let b(a) = -a**3 - 10*a**2 - 8*a + 12. Let u be b(-9). Suppose 34 - 2 = 2*v - 4*o, 0 = 5*v - 3*o - 101.