i = r*a + 19 for a.
5
Suppose 188*f - 192*f - 36 = 0, i = -f + 31. Solve 45*j + 11 = i*j - 2*p, -j = -5*p + 13 for j.
-3
Let j be 5 + -1 - (-3 + 2). Let a = 833 + -811. Suppose -11*s + a = -0*s. Solve j*z = 5*f - 40, -4*z = z + s*f + 12 for z.
-4
Suppose -294 = -75*m + 279 + 177. Solve -d + m = -7*u + 11*u, 0 = -5*u + 5*d for u.
2
Let w = 419 - 686. Let f = w + 271. Solve -f*b - 17 = -2*l + l, -22 = 4*b - 2*l for b.
-3
Let h(v) = -2*v**2 - 316*v + 968. Let a be h(3). Solve -3*o = a*b + 312 - 309, -2*o - 2 = 0 for b.
0
Suppose 71*y - 853 = 283. Solve -6*t - 11 = 3*l - 11*t, 4*l + t = y for l.
3
Let v be (4/5)/2 + (-3330)/(-925). Solve -23 = 5*t + v*b - 2, 2*b = 2 for t.
-5
Let g(t) = -t**3 - 94*t**2 - 613*t - 24. Let s be g(-7). Solve 32*w - 31*w - 3*d = 0, 5*d - 14 = s*w for w.
-6
Suppose 4*i - 3*k - 66 = 0, -36*i + 36 = -34*i - 3*k. Solve -21*s = -3*n - 17*s - i, n + 5 = 3*s for n.
-5
Suppose -144*y = -585 - 3208 + 913. Solve -4*l = -38*i + 42*i - y, -4*l + 5 = -i for i.
3
Let a(w) = -w + 16. Let t be a(-12). Let r be 2*t/16 - (-1)/(-2). Let p be (-2 + (6 - 1))*5/r. Solve 0 = -3*d - p*j - 19 - 0, 5*d - j + 13 = 0 for d.
-3
Let f be 32/10 + -2 + (69/5 - 12). Suppose 1 = 3*m - 5. Solve -2*v - m = -f*l, 0 = -3*l + 4*l for v.
-1
Let v be 1/(3 - 8/3). Suppose q - 12 = -v*x, 3 = 4*x + q - 4*q. Solve -x = 4*d - 0*d + 5*k, 4*k = -4*d for d.
3
Suppose -9 = -3*x - 2*o, -3*x - 4*o - 1 = -4. Suppose -x*v + 3*g + 4 = 0, 0*g + 5*g - 8 = v. Solve -3*s + 2 = -v*s - n, 3*s - 8 = 5*n for s.
1
Let v(l) = -l**3 + 3*l**2 + 67*l - 102. Let n be v(9). Solve w + 16 = 4*o, 16*o - 4*w + 11 = n*o for o.
5
Let y(u) = -55*u - 4. Let z be y(-2). Let s = z - 94. Solve -2*x - s - 7 = 5*b, -5*x + 15 = 0 for b.
-5
Suppose 3*b = b, -4*b - 75 = -3*z. Let r = 6 - 4. Let m be 1/(-38)*19 - 5/(-2). Solve 0 = h + 5*y - z, -r*h + y - m*y + 14 = 0 for h.
5
Suppose -8 = -4*a + 4*p - 16, -4*p - 6 = -11*a. Solve 8 = -3*w + 2*y, 5*y + 26 = a*w + 35 for w.
-2
Suppose 0 = p + w - 5, 2*p - 20 = -3*w - 10. Solve -1 = x + p*s, s - 11 = -2*x - 4 for x.
4
Suppose 7*l - 16*l = -126. Suppose 2*f = -3*q + 14, 3*f = -8*q + 7*q + l. Solve x - 3*x = 4*a - 22, 2*a - q = 2*x for a.
4
Let h be 4/(-10 + (-7 - -19)). Solve -3*v = -9*z + 10*z, 1 = h*v + z for v.
-1
Let x = 99 - 91. Suppose 9 = x*m - 23. Suppose -m*n - 16 = f, f + f = -3*n - 12. Solve 3*o = -3*l + 6, 3*o - 10 = l - f*l for o.
3
Suppose -29 = 8*f - 37. Let l be 7*(36/28 - f). Solve -3*t - 19 = -k, -5*t - 4*k + 1 = -l*t for t.
-5
Suppose 133*m + 2024 = 45*m. Suppose 0 = -b + d - 2, 16 = 2*b + d + d. Let l be -1 + b + (-12 - m). Solve 4*v + 3*f + l = 0, -5*v = -2*f - 2*f - 7 for v.
-1
Suppose 5*z = 3*s + 39, -s - 15 = -3*z + 6. Suppose 2*r = -4*q + 18, -5*q + r - z*r + 35 = 0. Solve -11 = -q*w - 3*c - 1, -w + 5*c = -5 for w.
5
Let u be 10/((-2)/(-2)) - 0. Suppose -25 = -5*z + 3*r, 2*z - 31 = -z + 5*r. Solve 2*q + 4*h + 4 = 0, 3*h = z*q - 0*h - u for q.
2
Let q = -7747 + 7769. Solve 5*x + 5*o - q = -32, 0 = -2*x + 4*o - 22 for x.
-5
Let n be -5 + ((-55366)/(-228) - 1/(-6)). Suppose 253 = 3*y + n. Solve 11 = 5*v + s + s, 2*v = -y*s - 4 for v.
3
Suppose -2*l - y = -36, -y = -6*y + 10. Suppose 40*c - 129 = 631. Let w = c - l. Solve 4*r - 4 = 2*f, 0 = -7*f + w*f - 2*r + 2 for f.
0
Let f(c) = c**2 - 8*c - 2. Let h be f(8). Let u be 2/(h/(-9)) + -3. Suppose -57*d = -71*d. Solve d*b + 1 = -b - r, -2*b - u = r for b.
-5
Suppose -2*i + 6*i + 1017 = -3*n, 4*i = -12. Let g = -330 - n. Solve -j + x = -g, -11 = -j + 5*x - 2 for j.
4
Let n = 127 - 124. Suppose -4*b - 5*u = -9*b + 5, -29 = -5*b - n*u. Solve -5*k - r + b = 0, 3*r + 10 = k + 22 for k.
0
Let b(v) = 233*v - 927. Let t be b(4). Solve -36 = t*q + 4*l, 0*l + 20 = -4*q - l for q.
-4
Suppose 228 - 189 = 157*f - 275. Solve -u = -4*c, -4*c - 9 = f*u + 3 for c.
-1
Let y = -42 - -50. Suppose -45 = -y*i - i. Solve i*d - 6*b = -2*b - 14, 3 = -3*d - 3*b for d.
-2
Let z(x) = -6*x + 9. Let l be z(1). Suppose 0 = 3*i - h - 49, 5*i - 6*i - l*h = -23. Solve -3*m - i = r, 12 = -4*m - 2*r - 14 for m.
-4
Suppose q - z - 22 + 15 = 0, 6*q - 3*z - 33 = 0. Solve 6*f - 6 = 4*f + q*i, 8 = -4*f + 3*i for f.
-5
Let d = 388 + 180. Suppose 528 = -8*r + d. Solve -r*x - k = 15, x = -3*x + 3*k - 12 for x.
-3
Suppose -413*j = -361*j - 260. Solve -j*n + t = 6, 2*n + 44*t = 42*t for n.
-1
Suppose 129 = -5*d + 4*z, 0 = -3*d - 4*z - 32 - 39. Let h be (d/(-10))/((-3)/(-6)). Suppose -4*g - 4 = -h*g. Solve 2*m - 2 = 4*a, -2 = -g*a + 4*m + 6 for a.
-3
Let g(k) = k**2 - 4*k - 1436. Let p be g(-36). Solve c - 235*s + 236*s = -4, c - p*s = 16 for c.
0
Let b = -305 + 314. Suppose 2*v + b = a + 5, 5*v - 3*a = -12. Solve -3 - 2 = r - 2*i, v = 3*r - 5*i + 10 for r.
5
Let y be (-3)/((-12)/(-572))*-3. Let n = y + -425. Let c = 11 - 6. Solve g = -x - 4, -n*x + 16 = -c*g - 5*x for g.
-3
Let a be (-87)/(-6) - 22/44. Solve 30 = -2*k + 5*t, -2*k - 6*t + 7*t = a for k.
-5
Let d = 1654 + -1647. Solve -4*s = -5*w - 10, 5*s - 14 = d*w + s for w.
-2
Let y(i) be the first derivative of i**4/4 - 4*i**3 - i**2 + 38*i - 17. Let u be y(12). Solve -w - 5 = 0, -3*w - 1 = 3*r + u for r.
0
Let h(i) = 10*i. Let u be h(1). Let s be (-1 - -5) + (9 - u). Let k = 1540 + -1537. Solve 2*t + f = 0, -3 - 6 = -s*t + k*f for t.
1
Let c(z) = z**3 - 19*z**2 + 72*z - 967. Let n be c(18). Solve -u - 5*t + n = -17, -2*u + 4*t = 26 for u.
-3
Suppose -37*i + 49 = 2*i - 653. Solve y - 11 = 5*b, -4*y - 2*b = 4 + i for y.
-4
Let a be 1 + 61 + 276 + -288. Solve 0 = -2*h - 3*j + 14, -a*h - j = -49*h - 6 for h.
4
Let m(y) = -y + 1. Let v be m(-3). Let q = 144 + -9. Suppose -20*l = -5*l - q. Solve v*k = 4, -3*k + 7*k = -t + l for t.
5
Let v be -8 - (-52)/7 - 134/(-14). Suppose -v = -d + 17*k - 12*k, 4*k + 16 = 3*d. Solve -10 = -2*m + 2*j, 2*j + 13 = d*m + m for m.
1
Let t(u) = -u**3 + 58*u**2 + 450*u - 30. Let l be t(-7). Solve 0 = l*f + 5*j + 10, 5*f + j + 168 = 178 for f.
3
Suppose 10*b = 5*l - 25, 3*b - 20 = 3*l - 35. Let t = 5 - 3. Let k be (t/6)/(2/24). Solve b = -0*a - 2*a - 3*g - 5, k*a = -g + 5 for a.
2
Let a(w) = w**3 + 16*w**2 + 13*w - 3. Let y be a(-15). Suppose 0 = 32*h - y*h - 10. Solve 3*u + 1 - 7 = 0, -4*f + h*u = 12 for f.
-2
Let w = -1787 + 1800. Solve 0 = 5*l - g - w, 3*l + 2*g - 15 = -2 for l.
3
Let b be (12/14)/((-228)/(-1064)). Solve 3*g = 29*o - 28*o + b, 0 = -o - g for o.
-1
Suppose -2*s + 5*h + 7 = -3*s, 3*s = 2*h + 13. Suppose 15 = -s*d, 5*i + 2*d = -0*d. Suppose -i*f = -42 - 4. Solve -3*x - 25 - 2 = -5*m, 5*m - 2*x - f = 0 for m.
3
Suppose 5*i = -3*z + 8, -16*z = -7*i - 17*z + 24. Solve -v - 32 = -6*v - i*l, 0 = -l + 3 for v.
4
Let t(w) = w**2 + 6*w + 11. Let z be t(-3). Suppose 0 = -k - z*r - 10 + 13, 3 = k + 3*r. Solve a - 2 = 3*d, -k*a + 8*a - 10 = -d for d.
0
Let v(z) = 4*z - 7 + 14 - 5. Let q be v(1). Let l be 1*3/q*6. Solve 3*n - c = 4, -5*n + l*n = -4*c - 6 for n.
1
Let q(m) = -m**2 - 6*m + 10. Let j = -37 - -26. Let u(x) = x**2 + 13*x + 15. Let y be u(j). Let c be q(y). Solve -2*r + 11 = t, 3*t - c*r - 13 = -5*r for t.
1
Let q = 30 - 28. Suppose 3*d = -2*w + 8 + 1, -q*d = 2*w - 4. Suppose 0 = -d*p + 6*p - 18. Solve 0 = -r + 2*r + 5*g - p, -r = -3*g + 6 for r.
3
Suppose -4*c + 18*c - 98 = 0. Let k be (5/c)/(8/56). Solve -2*n + k*x + 31 = 0, 3*x + 7 = -n + x for n.
3
Let w(k) = -k**2 - 19*k + 45. Let b be w(-21). Let t be (-40)/(-54)*b + 6/(-27). Solve -t*u - 3*l = -4, -u - 3*u = 5*l - 4 for u.
-4
Let y be -3 + (6/(-69) - (-2090)/230). Solve -v - t + 23 = -y*t, -5*t - 5 = 5*v for v.
3
Let o(a) = 51*a + 62. Let u(b) = 17*b + 21. Let n(h) = 4*o(h) - 11*u(h). Let s be n(-1). Solve s = 5*t - 0 + 15, i - t = -2 for i.
-5
Suppose -100*c = -131*c + 155. Solve 11*y - 12*y - 4*i = -7, y - 2*i + c = 0 for y.
-1
Let j = 7168 + -7163. Solve 119 = -4*x + 4*d + 111, 10 = -3*x + j*d for x.
0
Let n = -57 + 23. Let l be 37*(4/7 + (-18)/(-42)). Let j = l + n. Solve 4*c + 15 = 3*o, -j*o - 2*o + 25 = -2*c for c.
0
Let s(z) = -z**3 + 6*z**2 + 8*z - 6. Let n be s(6). Suppose 2*g + 42 = n. Suppose g = 2*b + b - 36. Solve d - 3*k = -9, -4*k + b = -3*d - 0*k for d.
0
Suppose 55*t - 56*t + 19 = 0. Suppose -5*j - d = -13, 5*d - t = -j - 26. Solve j*k - 5*p + 2 = -22, -4*k + p - 15 = 0 for k.
-3
Suppose 3168 = 7*m + 5*m. Suppose 4*y - y + m = 0. Let f = 92 + y. Solve 3*h + w = 4*w 