 w(g) = -g + 3. Let t be w(y). Solve -m + t = -4*m for m.
-1
Let r be -3 + 3/(6/10). Let n = 7 - r. Suppose 2*g = -3*t + 25, n*g + t - 34 = -4. Solve -1 = -2*i + g for i.
3
Suppose 2*d = -3*q + 13, q - 3*d + 5 = 2. Suppose -2*h - 2 + 11 = -q*s, -3*s = -5*h + 18. Let t be (-1)/8 + (-85)/(-40). Solve -h*g - 5 = t*g for g.
-1
Let b = 73 - 128. Let y = b - -58. Solve y*f - 6*f = 3 for f.
-1
Suppose 0 = 2*k - f - 41, 5*k - f = -0*f + 101. Solve -7*z = -2*z - k for z.
4
Let n(s) = -s + 1. Let i be n(-4). Let z = 17 - 15. Let b = z - -38. Solve -i*m - b = -15 for m.
-5
Let o(f) = f**3 - 7*f**2 + f - 3. Let m be o(7). Suppose 0 = m*y - 3 + 19. Let t be (-30)/20*y/3. Solve 0*r = -r + t for r.
2
Let o(k) = -k**2 + 10*k. Let g be o(10). Let r be 0/(8/2) - -4. Let n be -8*(3/(-12) - 0). Solve n*p - 2 - r = g for p.
3
Let i(q) = -19*q. Let k be i(-2). Suppose -g + k = 3*g + c, -4*g = 2*c - 40. Let x(m) = -m**2 + 9*m. Let z be x(g). Solve -j = -z*j for j.
0
Let u = -17 - -20. Suppose u*d = -5*t + 19, -5*d - 6 = 3*t - 27. Suppose 0*x + t*f + 8 = 2*x, -11 = -3*x + 4*f. Solve 0 - 5 = x*l for l.
-1
Let q = -12 - -13. Let p be q + -3 + 4 - 0. Suppose 0 = l - 2*l + p. Solve -x = l - 4 for x.
2
Let o = 7 - 4. Suppose 2*f + o*k = -k + 16, 37 = 4*f + 3*k. Suppose -2*m + f = -0*m. Solve m*d = -0*d for d.
0
Let q(c) = -2*c**3 - 6*c**2 - 8*c - 5. Let n be q(-2). Solve 40 = -5*b - n*b for b.
-5
Suppose 6 - 21 = -3*o. Suppose -o*b = 3*a + 23, -5*a + 12 = -a - 4*b. Let u be (-1 + a)/((-14)/49). Solve u*i = 3*i - 4 for i.
-1
Let g be (-3 + 1)*3/(-2). Let a be 1*(-7 - -2)*g. Let r = a - -18. Solve -n = -5 + r for n.
2
Let c = -14 + 22. Let x be (-8)/c + -1*1. Let j be (-66)/(-12) + x/(-4). Solve -1 = k - j for k.
5
Let i(b) = 10*b**3 - b**2 + 1. Let x be i(1). Let s = 3 - -3. Suppose -3*n + s = -2*n. Solve -x = n*t - t for t.
-2
Suppose c - b - 80 = -3*c, 5*c - 125 = -5*b. Suppose 6*i - c = 15. Solve -i*v - 2 = -4*v for v.
-1
Let v = 1 + 8. Suppose 7*q + 6 = v*q. Solve -q*k - 6 = -0 for k.
-2
Suppose -26 = -5*z + h - 6, -2*h = -4*z + 16. Let l(w) = w - 7. Let m be l(z). Let g be 3 + (3/(-1))/m. Solve -n - 6 = -g for n.
-2
Let b be (-1)/(-1) - (7 + 72/(-4)). Solve -m + 15 = b for m.
3
Let a = 181 - 176. Solve a = -3*u - 4 for u.
-3
Let c(s) be the first derivative of s**4/4 + 19*s**3/3 + 33*s**2/2 - 15*s - 19. Let a be c(-17). Solve 0 = a*o - o + 2 for o.
-2
Suppose -7*h = -0*h + 9*h. Solve h = -7*o + 5*o for o.
0
Let s = 178 - 181. Let v be (-1)/(-2)*((s - 0) + 9). Solve 3 = v*i + 18 for i.
-5
Let l = 6 - 5. Let d be (-60)/6*l*-1. Let x be ((-32)/(-10))/(4/d). Solve -3*q = -x*q - 10 for q.
-2
Let u be (-5 + 1)/(4/(-22)). Let n = 26 - u. Let g be n/12*(-5 - -35). Solve -4*s - g = s for s.
-2
Suppose -6*b - 2*b = 5*b. Solve x + b - 1 = 0 for x.
1
Suppose 0 = 5*h - 0*h - 60. Suppose -134*b - 48 = -146*b. Solve -h = -b*z + z for z.
4
Let a be (1 + -4 - -6)*1. Suppose 3*q = a*m - m + 10, 3*m + q = 7. Suppose -5 - m = -2*r. Solve -r*u = -2 - 1 for u.
1
Let n(p) = p**3 + 59*p**2 + 63*p + 297. Let r be n(-58). Let l(v) = v + 8. Suppose -2*f + 21 = -5*f. Let q be l(f). Solve -q = 2*c + r for c.
-4
Suppose -2 = -3*w + 2*w. Suppose 0*t = w*t. Suppose 5*y - 21 + 6 = t. Solve -j = -0*j + y for j.
-3
Let c be (10/(-2))/(5/(-10)). Let h(l) = -l**2 - 7*l + 11. Let y be h(-8). Let r be (-1)/(((-2)/(-6))/((-2)/6)). Solve c - r = y*n for n.
3
Let d = 59 - 54. Solve d = 4*g + g for g.
1
Let d be 55 + -7 - (-1 - -2). Let v = d + -42. Solve z + 20 = v*z for z.
5
Let d be 9 - ((4 - -3) + -11). Solve d = 4*i + 1 for i.
3
Let c = -126 - -131. Solve 1 = c*l - 4 for l.
1
Let j = -919 + 928. Solve 5*f = j*f + 20 for f.
-5
Let j = 521 - 516. Solve -8 + 23 = j*d for d.
3
Let t be 6/(-24) + 9/4. Suppose -w - 2*w = -k + 31, -t = -2*w - 5*k. Let z(v) = v**2 + 9*v + 2. Let s be z(w). Solve -4*c + 6 = -s for c.
2
Let p = 123 + -118. Solve 4*v = -p*v - 27 for v.
-3
Suppose 2*v + 37 = -29. Let u be (-4)/6 - v/9. Suppose 2*y + 42 = 9*y. Solve u*f = f + y for f.
3
Let s = -64 - -33. Let t = -28 - s. Solve -t + 8 = 5*a for a.
1
Let t = 1041 - 1037. Solve t*j + 0*j = -8 for j.
-2
Let q be 6/(-12)*(-12)/2. Let c = -182 + 193. Solve q*f + c = -4 for f.
-5
Let t be 6/30 - (-378)/10. Suppose -3*z = 31 + t. Let j = 23 + z. Solve 0*a + a = j for a.
0
Let a(c) be the first derivative of -4*c**3/3 - 3*c**2/2 - 2*c + 7. Let d be a(-1). Let t be (-7)/(-2) + d/(-2). Solve 11 + 9 = t*z for z.
4
Suppose 2*s + 16 = -0*s. Let m be s*((-10)/(-4) - 3). Suppose 0 = 2*n - 5*n + 9. Solve -n*r = r + m for r.
-1
Let a(u) be the first derivative of u**4/12 + u**3/3 + 11*u + 8. Let d(q) be the first derivative of a(q). Let p be d(-3). Solve 19 = 4*g + p for g.
4
Suppose -5*b + 28 - 8 = 0. Let v(t) = -2*t - t**2 - 1 + b + 1. Let s be v(-3). Solve -s = -l + 2 for l.
3
Let s(k) = 3*k - 4. Let b(j) = j. Let y(x) = -6*b(x) + s(x). Let w be (2 - 4/1) + -4. Let m be y(w). Solve 5*t - m = -4 for t.
2
Let k be 4/(-9)*(1 - (-33)/(-6)). Solve 3*f + k = 17 for f.
5
Let y(q) = -q**2 - 12*q - 22. Let a(u) = -6*u + 45. Let k be a(9). Let g be y(k). Solve g*s + 12 = s for s.
-3
Suppose 7*a + 169 = 505. Let b = -45 + a. Solve 0 = -0*n + n + b for n.
-3
Let j = 48 - 29. Suppose 0 = -5*u + 34 - j. Solve -u + 0 = -y for y.
3
Let l be -1 - 0 - (0 + -6). Let d be l - (4 - 1)*1. Suppose 0 = 3*z - d*a - 20, 3 = -z - 3*a - 5. Solve -z*u - 8 = 12 for u.
-5
Suppose -2 = 2*t, 0 = 4*d - 5*t + 3 - 0. Let z(o) = o**2 + 4*o + 4. Let i be z(d). Solve i = j + j - 4 for j.
2
Suppose -h - 2*a + 1 + 0 = 0, 5*h - 3*a - 18 = 0. Suppose 4*i = h*i + 3. Suppose i = 2*f - 5. Solve -19 = -f*b - 7 for b.
3
Suppose 5*n + 65 = 8*k - 3*k, k = -4*n - 12. Solve 24*q - 20*q = -k for q.
-2
Let d(s) = -s + 8. Let z be d(5). Suppose -4*p + 4 = 4*v + 12, p = z*v + 18. Suppose p - 1 = f. Solve 0*q + f = q for q.
2
Let g be 38/10 - 6/(-30). Let k(b) = 2*b - 5. Let r be k(g). Solve n - r = -5 for n.
-2
Let b be (0 - 0)/(1 + 0). Suppose 5*a + 3*t + 4 = -0*t, b = -5*a - 4*t - 2. Let x be a/(-9) - 2/9. Solve -2*c + c - 5 = x for c.
-5
Suppose 6*d = 3*d + 15. Let p = -16031 + 16034. Solve p = -d*h + 2*h for h.
-1
Let c(p) = -34*p + 73. Let b be c(2). Solve 0 = -b*j - 70 + 50 for j.
-4
Let x(u) = u**2 - 29*u + 178. Let j be x(21). Solve j = f + 15 for f.
-5
Let p be 32/12 - -1 - 4/6. Let w = 14 + -11. Solve -w - p = 2*a for a.
-3
Suppose -3*n + 167 = n - 5*i, -4*i = n - 26. Let b = -23 + n. Solve 0*m = 3*m - b for m.
5
Suppose s - 30 = -5*q, -5*s - 3*q + q + 35 = 0. Suppose 4*o = 5*i - 10, 5*i - 5*o + 25 = -8*o. Let h be (-13)/13 - 22/i. Solve s*p - h = 10 for p.
4
Suppose -8*l + 44 = 4. Solve -l*a + 12 = -2*a for a.
4
Let x be (3 - -1)/(-4 - -5). Suppose -2*u + 5*u = -w - 14, 25 = 5*w - x*u. Solve 2 + w = h for h.
3
Let s = -12 - -9. Let l = s - -3. Suppose -12*q = -11 - 13. Solve l*a + q = 2*a for a.
1
Let s(v) = -23*v - 13*v**2 - 18*v**2 + 19 - v**3 + 44*v**2. Let q be s(11). Solve 0*i = -4*i + q for i.
2
Let p be (0 - 0)/(0 - -1) - -2. Solve -2*w + 6 = p for w.
2
Suppose -11 + 5 = -2*b. Suppose 32 = -11*u + 15*u. Let w = -4 + u. Solve x + b*x + w = 0 for x.
-1
Suppose 6 + 0 = x + 4*t, -3*t = -3. Let p be ((-2 - 0) + 2)/x. Solve 3*u = -p + 6 for u.
2
Let c(s) = s + 3. Let k be c(2). Let q be 7 - (10/(-2))/k. Solve -3*j = -q*j - 10 for j.
-2
Let t(a) = -a**3 - 6*a**2 + 7*a + 3. Let v be t(-7). Suppose v*y - 2*y = 19. Solve y = 5*k + 4 for k.
3
Let i = -7 - -11. Solve 3*k + 7 = -i*k for k.
-1
Let n = -11 + 7. Let p(z) = z**2 + 4*z + 2. Let l be p(n). Solve y - l*y = -1 for y.
1
Suppose -2 = 2*f - 32. Let x = f - 10. Solve x*g - 2*g = -12 for g.
-4
Let o be ((-24)/(-28))/((-12)/(-56)). Let m be (4/(-3))/(-2)*6. Let i = -8 + 12. Solve i + o = -m*y for y.
-2
Suppose 0*p + 5*p - 20 = 0. Let i be 18/(-12)*6/9*-5. Solve p - i = u for u.
-1
Suppose -8*n + 54 = 38. Solve -n*o + o + 4 = 0 for o.
4
Let f = 87 - 83. Suppose -5*a + 29 = 3*x, -x - x + f*a - 10 = 0. Solve -x*w = -6*w for w.
0
Let a(c) = c**2 - 3*c - 37. Let t be a(-5). Solve t*p = 14 - 2 for p.
4
Let r(i) = 2*i**2 - 3*i + 3. Let l be r(1). Let j = 4 + -10. Let z = l - j. Solve -4*d + z = -0 for d.
2
Suppose 0 = -87*q + 586 + 284. Solve -36*p + 26*p = q for p.
-1
Let f(t) = 2*t - 19. Let g be f(11). Suppose -3*x - 9 = g*b, 3*b + 19 = -3*x - 