b - 3*x for b.
2
Let d be ((-1)/1)/((-2)/(-28)). Let g be (-27 - 1)*d/28. Solve 3*x = -5*a - 4 - 0, 5*x = -a - g for x.
-3
Suppose 6*h + 0 = 318. Let x = h + -53. Solve 4*o + x*d - 35 = 5*d, 2*o + d = 7 for o.
5
Suppose -9*l - 13 + 121 = 0. Solve 2*n = 3*r - l, -r + 0*n + n + 5 = 0 for r.
2
Let n(u) = -111*u - 441. Let q be n(-4). Solve -v + 7*k - 2*k + 21 = 0, -v + q*k = -11 for v.
-4
Let u(m) = -m**2 + 33*m - 60. Let n be u(31). Solve -5*l = -n*h - 19, 2*h + 23 = 3*h + 4*l for h.
3
Let r(g) = -g**2 - 5*g + 5. Let m be r(-4). Let j be (3/2)/(m/12). Let o be 4/(-18) + 40/18. Solve 0 = -3*c - 0*z - j*z - 12, 0 = -c + o*z + 4 for c.
-2
Let z be (-1)/(-4) + (-34)/8. Let f be (-2)/2 + (-2 - z). Suppose -5*i = f - 26. Solve 0 = 4*g + i*p - 1, -g - 3 + 4 = p for g.
4
Let u be (3 + -2)*1*4. Suppose 0 = -17*c + 4*c + 26. Solve -v + c + 1 = 2*k, -u*k = 5*v - 15 for v.
3
Suppose 14 = -m + 4*z, -m - 4*z = 1 - 3. Let o = 8 + m. Solve -o*h = 5*r + 7 + 8, -5*r - 3*h - 10 = 0 for r.
-5
Let q be (-6)/(-4)*(7 - -5). Let g = 28 + q. Suppose -3*k + g = -20. Solve 5*p - 10 = -0*p, -5*p + k = 4*l for l.
3
Suppose 4*z + 0*z + 108 = 0. Let g be (-87)/z - 4/18. Solve -19 = x - 5*k, -g*x - 3*k = -2*k - 7 for x.
1
Let q(a) = -a**3 - a**2 - 7*a - 17. Let j be q(-3). Solve 2*l + 3 = -3*h + j, 3*h - 9 = 3*l for h.
5
Suppose 16 = -13*g + 17*g. Solve 2*h - j = 1 + 1, -g*h - j + 10 = 0 for h.
2
Let b(t) = t**2 - 4*t - 18. Let k be b(-6). Suppose 0 = 38*q - k*q + 8. Solve -4*f = q*y - 28, 2 = -2*y + 2*f - 0 for y.
4
Suppose -u + 3*u + 3 = p, -15 = -5*p + 3*u. Let z be (15 - (-3 - -15))/1. Solve w + 0*w + 12 = z*a, 0 = -p*a + 9 for w.
-3
Suppose -3*v - 12 = -6*v. Let g = 7 - 2. Suppose 4*s = 8*q - 3*q - 107, 3*s = -g*q + 121. Solve v*n + 3*j - 1 = 0, -2*n + 2*j - 5 = -q for n.
4
Let o be (-5)/(-10)*-4 + (-54)/(-3). Solve -4*r - 4*l + 4 = 0, 4*l - o = 4*r + 4 for r.
-2
Suppose -4*p + 2 = -3*p. Let r(f) = 3*f - 8 - 5*f - f**p - 8*f. Let q be r(-6). Solve -3*o = 4*a + q, o + 4 = -0*o for a.
-1
Let l(o) = 23*o - 18. Let d be l(1). Solve 2*n = -n - d*k + 7, 3*k = 6 for n.
-1
Suppose 2*w - 6*w = -4. Let m be (-3)/3 - (-6 - w). Solve c = 3, -b + 4*b = -2*c - m for b.
-4
Suppose -5*c = 5*g - 15, 5*g - 3*c + 0 - 47 = 0. Let s = 62 + -61. Suppose 0 = -4*d + 7 + s. Solve 2*v + v - d*l = g, -v - 5*l - 26 = 0 for v.
-1
Let n = 3 + -13. Let v be (-3 - n)*-1*1. Let a(o) = -6*o - 23. Let p be a(v). Solve -3*c - c + r = p, -2*r = -4*c - 22 for c.
-4
Let f be 24/28 + (-2 - (-108)/21). Solve 0 = -5*y, q + f*y = 4 - 6 for q.
-2
Let k(l) be the first derivative of l**2/2 + 4*l - 1. Let t be 0*(-3)/6*-1. Let a be k(t). Solve q = -x - 1 - 0, -1 = q - a*x for q.
-1
Let v = 186 - 184. Solve a + v*r + 5 = r, 4*a - 2*r + 20 = 0 for a.
-5
Let a = 134 + -130. Solve -a*m = -k, -5*m - k = -4*k for m.
0
Let i(z) = 9*z + 46. Let m(s) = -8*s - 46. Let w(y) = 4*i(y) + 5*m(y). Let v be w(-12). Solve -2*a + 17 = 3*u, -a - v = 2*a - u for a.
1
Suppose -3*k = -2*k - 3. Let u = 3742 - 3742. Let s = 2 + 3. Solve u = -s*j - 4*w - 24 - k, 3*w + 18 = -3*j for j.
-3
Let c = -366 + 368. Solve 0 = 5*k + c*a + 7, -2*k = 4*a + 5 + 1 for k.
-1
Let m be (-5)/15*(-54 - 0). Let r = m + -18. Solve 3*a - 23 = 4*l + 6*a, r = 2*l - 2*a - 6 for l.
-2
Suppose 0 = -3*f - 4*n + 6, -8 = -4*f - 6*n + n. Suppose -20 + f = -k. Solve -2*i - 4*t = t - k, -i + t = -2 for i.
4
Suppose -p = 3*y + 27, y - 2*y = -3*p - 101. Let z = p - -39. Solve 0 = -0*v - 3*v + 4*b + 9, 0 = 2*v - 3*b - z for v.
3
Let y = -18 - -21. Suppose -10*a - 2*a + 300 = 0. Solve -y*h + a = 5*k, h + 2*k - 29 = -4*h for h.
5
Suppose 1 = 3*f + 5*g - 11, -f + 4 = 2*g. Solve 14 = -3*c + c - f*q, 3*q = -4*c - 3 for c.
3
Suppose -4*k + 0*k = 0. Let v(s) = -7 + s + 12*s**2 + 0*s**3 + k*s + 4*s**3 - 5*s**3. Let t be v(12). Solve 0 = 3*o - t*h + 7, 5*o - 5*h = -6*h + 7 for o.
1
Suppose 5*n - 204 = -n. Let d = n + -30. Solve -4*g - 1 + 7 = -2*v, d*v - g - 2 = 0 for v.
1
Suppose -2*y + 17 = 5*m, 2*m = 3*y - 0*m - 35. Solve -3*j - 2*p = 9, -j = -5*j + 5*p + y for j.
-1
Let h(u) = u + 27. Let x = 2 + -21. Let t be h(x). Solve -5*m + 8 = -2*d - 6, 5*d + t = -m for d.
-2
Suppose 11*x - 9*x + 126 = 0. Let v = -57 - x. Solve -2*y - v = -2*f, -4*y - 10 = f - 3 for f.
1
Let b be (-8)/20 - (-2)/5. Let l(n) = -2*n + 11. Suppose -26 = -2*d - 20. Let q be l(d). Solve 0*v + q*m + 19 = -3*v, b = 3*v - 5*m - 31 for v.
2
Let h = -6 + 2. Let o(n) = n**2 + 3*n - 1. Let y be o(h). Solve 2*g + m = 10, -y*g + 2*m - 4*m = -15 for g.
5
Let w = -833 + 866. Solve -i - 5*l = 15, -2*i + 2*l + w = 3*i for i.
5
Suppose 5*y = -8 - 12. Let v be ((-2)/y*2)/((-29)/(-116)). Solve -u - x = 3, 4*u = 5*x + 29 + v for u.
2
Suppose -28*c + 142 = -166. Solve 2*j + 0*j - c = g, -j = -4*g - 16 for g.
-3
Suppose 0 = -6*c + 448 + 188. Let t = 107 - c. Solve 5*s + t = -3*y - 6, -2*y - 6 = 2*s for y.
-4
Let s be (-12)/4*6/(-9). Let t be 4 + s/(4/(-2)). Solve t*y + 20 = 4*c, 5*c - y - 25 = 3*y for c.
5
Suppose o + 108*t - 105*t = -6, 5*o - t = 18. Solve -2*p + q - 3 = -0, o*p = q - 7 for p.
-4
Suppose -6*w + w = 0. Let q(t) = t**3 + 2*t + 2. Let f be q(w). Let r be 0/((-9)/(f - -1)). Solve 0 = -5*k - 2*z - 6, -5*z + 0 - 15 = r for k.
0
Suppose -81*m + 88*m = 14. Solve -12 = -m*o + 4*a - 0*a, -5*a = 3*o + 37 for o.
-4
Let g be -1 + ((-20)/(-2) - 8). Suppose 1 = -4*v + 5*v. Let d be v + 2 + -1 + 2. Solve d*a = -2*i - 8 - 6, 2*a = -3*i - g for i.
3
Let v(d) be the first derivative of d**3 - d**2/2 - 10*d - 11. Let m be v(3). Solve -2*f + m = 4*h, 0 = 2*f - h + 3 + 3 for f.
-1
Suppose 2*n - 2*i = 18, -n - 4*n = 2*i - 45. Solve -k + 8 = -5*f, 5 + n = -5*f - 2*k for f.
-2
Let n = 2 - 46. Let r be 8/n - 2/(-11). Solve -16 = 5*o - 2*v, -2*v = 3*o - r*o + 16 for o.
-4
Let s = -281 - -283. Solve 0 = 6*v - v - 2*a + 18, 14 = -3*v - s*a for v.
-4
Let k = 88 - 82. Let o be (1/10*k)/((-2)/(-10)). Solve i + 4 = 3*i + 4*s, 0 = o*i - 2*s - 6 for i.
2
Let i = -169 + 172. Solve 2*q + 2*q = -i*m + 28, 0 = 2*m - 2*q for m.
4
Let r be 9/12*-4 - -7. Solve y = c - 9, -2*c - 8 = -r*c for y.
-5
Let z be 2/12*3*12. Suppose 0 = -10*n + 9*n + 14. Suppose 5*p + 4 = n. Solve p*h + z = -w + 14, 4*w + 3 = -h for h.
5
Let z = 4 + -3. Suppose q = -3*k - z - 1, q + 4*k = -2. Let m = q + 5. Solve -i + 0*i + m*a - 13 = 0, 3*a = -i + 11 for i.
-1
Let f be (-84)/(-10) - (-4)/(-10). Let x = f - 4. Let c = 806 + -803. Solve -i + 3*h = 4*h + 1, -x*i - 2 = c*h for i.
1
Suppose -5*u = -25, 0 = 20*n - 18*n - 4*u + 14. Solve 3 = -k - w, -4*w + 0*w = n*k + 7 for k.
-5
Let c(b) = -13*b**2 + 81*b - 16. Let u be c(6). Solve 4*i - 26 = u*g, -4*g - 10 = -i + 14 for g.
-5
Let b be (1 + 5)*(7 + 33/(-9)). Solve 5*w - h = 16, -4*h = -0*w + w - b for w.
4
Suppose 9*d - 93 = -22*d. Solve 5 = n - 2*l, 5*n - 14 = d*l + 11 for n.
5
Let x be 2/10 + (-22)/110. Let h(f) = f**3 - f**2 - f + 5. Let a be h(x). Solve a = -2*c + 3*v, 2*c + 0 = -5*v + 19 for c.
2
Suppose -3*t - 5*p = -24, -t + p + 9 = 3*p. Let v be (0 - 2) + t + 5/(-5). Solve f - q = -v*f, 3*f + 2*q - 10 = 0 for f.
2
Let l be (-16)/(-64)*10*6. Let p = 7 - 7. Solve p = -2*c - 5*s + 4 - l, 8 = c - 2*s for c.
2
Suppose -5*j - 20 = 0, 7*l + 2*j + 28 = 12*l. Solve c + 4 = z - c, -l*c = 0 for z.
4
Suppose l = 4*h, -1 = 4*h + 19. Suppose 5*i + 50 = -0*i. Let y = i - l. Solve -4*n + 3*f - 2*f - y = 0, -4*n - 18 = -5*f for n.
-2
Let c = 161 - 124. Solve 0 = -3*f + 2*u + 10, -4*f + c = -5*u + 12 for f.
0
Let z(o) = -10 + 12*o + 11*o**2 + 17 + 2*o**2 + o**3. Let g be z(-12). Suppose 3 = 4*v - 17. Solve -v*p + 2*j = -3, -p - 21 = g*j - 2*j for p.
-1
Let x(t) = t - 24. Let u be x(12). Let i be (-20)/u*(2 + 1). Solve -4*j + 26 = 2*g - 7*g, 3*g + 26 = i*j for g.
-2
Let w be (47 + (-1 - -2))/2. Solve -4*u + w = -5*b, -b + 3*b = 2*u - 10 for u.
1
Let w(s) = -3*s + 3 - 6*s + s**2 + 0*s**2 + 0*s. Let m be w(8). Let j(g) = g**2 + 3*g - 7. Let l be j(m). Solve l*y - 1 = v, -2*y + 12 = -0*y + 5*v for y.
1
Let f be 112/(-12)*(2 - -1). Let b be (77/f - 9/(-12))*-1. Solve -6 = b*n - 0*n, 5*o - n = -2 for o.
-1
Suppose -20*y = -15*y - 10. Solve 0 = -3*z + 15, 0 = 5*c - 3*z + y*z for c.
1
Let w(f) = f - 6. Let l be w(10). Suppose z - l = 4*c + c, 3*c = z - 2. Let v be (1 + 0)/(c/(-11)). Solve -2*s - h - 17 = 2*s, -3*s + 4*h + v = 0 for s.
-3
Let l be (312