 = -8*g + 2*g + 18 for g.
3
Let r be (-141)/(-27) - 0 - (-8)/(-36). Solve 0 = -r*s - 37 + 22 for s.
-3
Suppose 0*l = -2*l + 8. Let a = l - 4. Let x(n) = n**2 + n + 6. Let q be x(a). Solve t = -2*t - q for t.
-2
Let q(n) = 11*n + 19. Let f be q(5). Let w = -71 + f. Solve w*l - 17 + 5 = 0 for l.
4
Let a = 27 - 14. Suppose 3*y - 2*i + 4 - a = 0, -5*y + 3*i = -15. Solve y*s = -s for s.
0
Suppose -90 = -21*i + 26*i. Let p = i + 18. Let q be 10*2/4 - p. Solve q = j - 2*j for j.
-5
Suppose 69 - 69 = -2*m. Solve 4*q - 6 + 22 = m for q.
-4
Let o(v) = -27*v + 2. Let k be o(1). Let h = -25 - k. Solve h*z = 2*z + 2 for z.
-1
Let x = 9 - 6. Suppose 0 = x*a, 3*a = 6*q - 4*q - 4. Let k = -3074 + 3078. Solve -q*i + 6*i = k for i.
1
Let p(g) be the first derivative of 3*g**2/2 - 28*g - 1. Let t be p(10). Solve 5*k - 12 = t*k for k.
4
Let p be ((-45)/(-9))/(-5) + (2 - -3). Solve -2*y = -p*y - y for y.
0
Let f = 451 - 434. Solve 0 = 22*l - f*l + 5 for l.
-1
Suppose y + 1 = 5*o + 36, -5*y + 5*o = -75. Solve y*i - 78 = -28 for i.
5
Suppose v + 2*g + 1 - 16 = 0, -3*g = -4*v + 82. Solve 10*f - v*f - 27 = 0 for f.
-3
Let t = -13 - -16. Suppose -3*b + 6 = 3*z, 0*b - 5*b - t*z = -14. Solve 24 - 4 = -b*v for v.
-5
Let o = -1164 + 1175. Solve -7*y + o = -10 for y.
3
Suppose 6 + 3 = 3*c. Suppose 5*x + c = 13. Solve -x*m + 6*m = 20 for m.
5
Let y = -44 - -39. Let r be (y/15)/((-1)/6). Solve -r*j + 6 = j for j.
2
Suppose 0 = -v + p - 2, -v + 13 = 5*p + 3. Let b be v/(3/(-3))*1. Suppose 3*d - 2*d - 2 = 0. Solve b = -d*u + 5*u - 3 for u.
1
Let h(s) = 55*s + 680. Let b be h(-12). Solve -3*f = f - b for f.
5
Let s(n) = 2*n**2 + 5*n - 9. Let p be s(-4). Solve y - 2 + p = 0 for y.
-1
Let i be (160/56)/((-4)/(-14)). Let l = i - 0. Solve -8*h = -3*h - l for h.
2
Let c(a) = a + 25. Let s be c(-8). Let t = 25 - s. Let b = -3 + t. Solve -b*n = -n for n.
0
Let b(j) = -23*j + 7. Let t(g) = 3*g. Let a(k) = 3*b(k) + 24*t(k). Let r be a(-6). Solve -r*w + 10 = 1 for w.
3
Let d = 16 - 20. Let t be 1/(5*d/(-40)). Solve 2*h = t + 2 for h.
2
Let l(w) = -10*w - 105. Let z be l(-15). Solve 5*c - z = -20 for c.
5
Suppose 87 = 5*v + 72. Solve -v*x = -12 - 3 for x.
5
Let g(o) = 14*o**3 - 3*o**2 + o + 1. Suppose 3*x + 3*i - 15 = 0, 4*x - 3*i = -8*i + 24. Let d be g(x). Suppose d*a - 16*a = 0. Solve a*f = -3*f for f.
0
Let h = 168 - 161. Solve -5*d + h*d - 4 = 0 for d.
2
Suppose 3*q + 7*q = 0. Solve z - 2 - 1 = q for z.
3
Let n = 49 - -122. Solve n = -4*f + 159 for f.
-3
Suppose 16*g + 36 = 12*g. Let r(c) = -c - 7. Let u be r(g). Let k be u/1 + -3 + 3. Solve z - 2 = k for z.
4
Let s = -4 + 10. Let k(m) = -m**2 + 6*m + 4. Let v be k(s). Suppose 17 = v*t - y, y = 2*t - 2*y - 11. Solve -t*z = -5 - 7 for z.
3
Let r(s) = -2*s + 19. Let q be r(8). Let n(i) = 2*i**2 + i - 6. Let z be n(-2). Solve z = -a + q for a.
3
Let o(a) = -2*a**2 - 25*a + 9. Let p(h) = h**2 + 12*h - 5. Let n(r) = -2*o(r) - 5*p(r). Let w be n(-5). Let k = -20 + w. Solve z - k = -3*z for z.
3
Suppose 3*y - 289 = 4*w - 0*y, 0 = 5*w - 5*y + 365. Let s be -7*(-5)/w*-4. Solve s*p + 1 + 1 = 0 for p.
-1
Let c = -51 + 55. Suppose c*t = -20*t + 24. Solve -t = 2*y - 5 for y.
2
Let l(u) = -u**3 - 8*u**2 + 10*u + 7. Suppose z + 27 = -2*z. Let y be l(z). Let w be y + 0 + 6 + -2. Solve q = w - 1 for q.
1
Let j = -1 - -18. Let x(m) = 2*m**2 - 58*m - 14. Let a be x(29). Let u = a + j. Solve u*i = -i + 8 for i.
2
Let x = 88 - 71. Solve 0 = -5*z - x + 37 for z.
4
Suppose 6*q = 5*q - 5*k - 107, 0 = q + 3*k + 103. Let u = q + 104. Solve 3 = u*c - 6*c for c.
3
Let o = 133 - 117. Suppose -16*n + o = -14*n. Solve a - 4 = -n for a.
-4
Let a be (3 - -5)*3/12. Suppose -3*d = -p + 4, -a*d = 4*p - 9*p + 20. Solve 3*u - 2*u - 1 = d for u.
1
Let a = 65 - 63. Suppose -n = -a*r - 9, -5*n + 3*r + 3 = -7*n. Solve 0 = -5*z - n - 7 for z.
-2
Let n = -119 - -121. Suppose -2*i - 2*l + 2 = 10, -n*i = 5*l + 20. Solve -2*p + i = -4 for p.
2
Let x be (-42)/35*(-15)/6. Suppose -v = -5*t - 5*v - 8, -x*v - 6 = 3*t. Suppose 4*w = -k + 1, t = 5*w - 5*k + 3*k + 2. Solve 2 = -h - w*h for h.
-2
Suppose -5*p + 123 = -137. Let l = 52 - p. Solve l = -3*g + 3 for g.
1
Let l be 106/(-13) - 30/(-195). Let b be (45/(-12))/(2/l). Suppose 0 = 18*u - b*u - 9. Solve -f - 12 = u*f for f.
-3
Let w(i) = 3*i**2 + 42*i + 2. Let v be w(-14). Solve 0 = -4*g + v*g - 4 for g.
-2
Let n(y) = y**3 - 5*y**2 + 2*y - 45. Let r be n(6). Solve 9 - r = -2*o for o.
-3
Let j = 113 - 221. Let f = j + 123. Solve f = -3*h - 0*h for h.
-5
Let i be 9/(1 + (-2)/4). Suppose -6*h + i = -3*h. Solve h*l = 4*l - 2 for l.
-1
Suppose -s = -3*o + 1, -3 = 4*o + s - 2. Let d be 0/(1 + (o - 0)). Let p = 12 + -8. Solve d + p = -v for v.
-4
Let r be 2/(-5) + 12/30. Suppose 4*i = p - 8, r = p - 2*p - 4*i. Suppose -2*y - p*q = -3*q - 33, -2*y + 18 = -4*q. Solve -5*m + 5 + y = 0 for m.
4
Let y = 15 - 15. Suppose -j - 3 - 2 = 0, y = -v - 2*j. Solve -4*l + 2 = v for l.
-2
Let g(h) = 23 + h**2 - 4 - 7 - 11*h. Let s be g(11). Suppose -5*d + 3 + s = 0. Solve -p = d*p - 8 for p.
2
Let f be (2/(-6))/((-36)/(-1242))*-2. Solve -f = 11*x - 12 for x.
-1
Let m(z) = -4*z - 24. Let t(o) = -o - 3. Let d be t(4). Let r be m(d). Solve 1 + r = -f for f.
-5
Let g(n) = -n**2 + 10*n + 14. Let v be g(11). Solve 5*j = v - 13 for j.
-2
Let b = 13 + -13. Suppose b = 3*y + 13 - 58. Suppose -a = -f - y, 2*f + 0*f + 72 = 5*a. Solve -a + 4 = -2*q for q.
5
Let u = 8 + -8. Let c = -3 + 5. Let g = 140 + -136. Solve u = c*h - g*h for h.
0
Let x be (2 + -4)*(-14)/(-4). Let m = -2 - x. Let c = 1 + 1. Solve m*d = c*d for d.
0
Let l = 14 - 5. Suppose 0 = -z - 5*q - 15, -3*q = z - 4*q - l. Solve 4 = z*j - 16 for j.
4
Let o be (-501)/(-27) + (-32)/(-72). Suppose -5*h = -8*h + 15. Solve h*d - o = -4 for d.
3
Let t(n) = -n - 4. Let s be t(-7). Let z be ((-16)/(-14))/(s*2/21). Solve 5*f - f = z for f.
1
Suppose -26*i = -24*i - 52. Suppose -5*q - 65 = -3*o, 2*q + i = 5*o - 57. Solve 0*z - 3*z = o for z.
-5
Let x(u) = -1 - 3*u - 1 - 8 - 1. Let p be x(-8). Let y be (1 - 1) + 78/p. Solve y*k = k for k.
0
Let l = -1128 - -1148. Solve 14*b + l = 9*b for b.
-4
Suppose 2*g + 1 = -a + 6, 0 = -3*g - 4*a + 20. Let k = 52 + -79. Let l = 29 + k. Solve l*b + 1 + 1 = g for b.
-1
Suppose -3*a - 2*w = -197, 3*a + w + 203 = 6*a. Let f = a - 107. Let u be (9/(-12))/(15/f). Solve -4*q + 10 = -u for q.
3
Let b(s) = -s**3 - 56*s**2 - 424*s - 25. Let h be b(-47). Solve 6*c - h + 4 = 0 for c.
3
Let d(b) = b**2 - b. Let z be d(3). Suppose -z*o + 2*o = -36. Suppose -3*y - a = -0*a + 5, y + 5 = -a. Solve y*x + 3*x = -o for x.
-3
Let w(s) = -s**3 - 12*s**2 + 11*s - 4. Let g be w(-13). Suppose -20*q = -g*q. Suppose -o = -6 + 2. Solve q = -0*a - o*a for a.
0
Suppose -5 = -n + 1. Suppose n*q + 2*q = 24. Solve -10 = -i + q*i for i.
-5
Let s be 8/(-1) + (-11 - -24). Solve 22*b - 23*b + s = 0 for b.
5
Let r = -23 - -66. Let t = -39 + r. Solve 0 = -5*o - t - 6 for o.
-2
Suppose -2*k - q + 89 = 0, 2*k = -k + 4*q + 150. Let b be 3 - (-5)/((-10)/k). Let l = b + 20. Solve 2*a = -l*a for a.
0
Suppose -27 = -4*k - a, -12 = -4*k - 41*a + 37*a. Solve -13*c = -k*c - 20 for c.
4
Let p be (12/(-5))/(8 - (-88)/(-10)). Solve 5*j = 8*j + p for j.
-1
Suppose -217*v - 66 = -239*v. Suppose -5*g = -8*g - a + 27, 4*g - 20 = 4*a. Solve 0 = -v*o - g + 23 for o.
5
Suppose 192 = 7*o + 17. Solve o = -4*d - d for d.
-5
Let m(p) = -p**2 + 2*p + 10. Suppose -12 = 3*t - 4*n, -t - 3*n + 12 = n. Let s be m(t). Solve -5*l + 0*l - s = 0 for l.
-2
Suppose -5*d + 2*d = -12. Solve -z + 2*z = d for z.
4
Let u(r) = -21*r + 146. Let d be u(6). Solve -4*z = -0 - d for z.
5
Let a be (-245)/(-14) - (-7)/14. Solve 0 = -8*b - a - 6 for b.
-3
Suppose -8*q - 3 + 35 = 0. Suppose 2*s - q*s - 16 = -2*g, 0 = -4*g - 4*s + 24. Solve -g*f + 15 = -2*f for f.
3
Let h be (-3)/(-1)*1/(-5)*5. Let q be ((-225)/(-30))/((h/(-2))/3). Solve 7 = 4*i + q for i.
-2
Let o = 1 - -5. Let p(s) = s**2 - 11*s - 7. Let i be p(12). Suppose -i*h + 4 = -16. Solve o = -h*z + 2*z for z.
-3
Let j = 138 + -132. Solve -s + 3*s = -j for s.
-3
Let p = 154 + -143. Solve -14*a = -p*a - 12 for a.
4
Let w = -407 + 414. Solve w*d - 14 = -0*d for d.
2
Let b be (0 + -1)/(1/56). Let k = -31 - b. Let x(h) = -h**2 + 7*h + 11. Let i be x(8). Solve 0 = -2*l - i*l + k for l.
5
Let b(w) = -115*w**2 - 1 