2*y - 2*a + x for y.
-5
Let s be (-1908)/16 - (-2)/8. Let u = s - -178. Let c = u + -53. Solve -3*m + c = 4*j - 4, 0 = -j - m + 2 for j.
4
Suppose 42*s - 37*s + 5*v = 10, 0 = -2*s + 5*v + 18. Solve 2*l + s*f - 6 = 6, 5*f - 18 = -4*l for l.
2
Suppose 0 = -0*u - u - 0*u. Suppose u = -116*x + 117*x - 12. Solve 0 = 4*b + 3*n - 28, n + x = 4*b - 0*n for b.
4
Let f(x) = 9*x**2 + 12*x - 6. Let p be f(-2). Solve -4*z + 13 = 3*l, 4*z + 7 = l + p*z for l.
-1
Suppose -s = -2*r - 32, -69*s + 71*s - 3*r = 62. Solve 4*b = -4*v - s, -20*v - 4*b - 31 = -15*v for v.
-3
Let p = 5 - -41. Suppose 4*k - 3 - 3 = i, -3*i - 2*k = p. Let d be ((-3)/3)/(7/i). Solve -d*o = 3*x - 4, 2*x + 2*o - 6 = 4*o for x.
2
Suppose -3467*x = -3451*x - 64. Solve n - 2 = -5*r + 1, 0 = -2*r + n + x for r.
1
Suppose 3*j + 4*v - 19 = 0, -2*j - 3*v = -0*j - 13. Solve -s + w = -5, 0 = 3*s + 7*w - 5*w - j for s.
3
Let u(v) = -864*v + 866. Let j be u(1). Solve -j*q - 21*m + 26*m = 17, 5 = 5*m for q.
-6
Let g be 2*(-8 - -3) - (19 + -11 - 21). Let u(y) = -y + 4. Let x be u(3). Solve -5*h = -o - o + x, 2*o = -g*h + 9 for o.
3
Let p(i) = -189*i + 2. Let j be p(0). Solve -3*v = 6, -2*v - 7 = -j*a + 1 for a.
2
Let p = -4959 + 4961. Solve p*h = 4*b - 6 + 14, -4*b - 4*h = -16 for b.
0
Suppose -2*d - 41 = -2*u - 35, -4*u + 18 = 2*d. Solve -4*n - 2*i = -6, n + u*i + 11 = -5 for n.
4
Suppose -s - 8 = -2*s. Suppose -3*h = -s*h - 10. Let k be (-3 - 40/(-12))/(h/(-24)). Solve k*b + 9 = -3*j, 1 = b + 4*j + 13 for b.
0
Suppose 5*l - 19 = 1. Suppose 2*t - l*t + 8 = 0. Suppose 7*i - t = 5*i. Solve -2*u - u - 25 = i*a, -a = -u for u.
-5
Let y be -1 + ((-90)/(-20))/(15/10). Solve x = -5*g + 1 - 7, 4*x - 12 = -y*g for g.
-2
Let u be 9/(-6 + 2 + 2)*-2. Let d(y) = y**3 - 5*y**2 - 38*y + 28. Let t be d(u). Solve -2*f - 4*m + t = 0, 2*m - 8 = -2*f - m for f.
1
Let a(f) = 8*f + f - 5*f - 2 - 5*f. Let b be a(-2). Suppose 0 = -g - b*c - 4*c + 4, 0 = 2*g - 5*c + 5. Solve 0 = m - 3*w - 14, -2*m + w + 3 + 0 = g for m.
-1
Let m(x) = -x**3 - 29*x**2 + 44*x + 422. Let r be m(-30). Solve 4*w - 9 = r*l + 15, -4*l - 36 = -5*w for l.
-4
Let l = -12871 - -12890. Solve -5*f + 15*b + 11 = l*b, -8 = -2*f + 2*b for f.
3
Let f = -468 - -525. Let g be f/12 + -5*5/(-100). Solve 3*q - 10 = g*r + q, 0 = 4*r - q + 8 for r.
-2
Let i(o) = o**3 - 40*o**2 - 70*o + 62. Let p be i(42). Let d = -630 + p. Solve -2*q + 5*m - d + 0 = 0, -12 = 2*q - m for q.
-5
Suppose 10*l - 13*l + 12 = 0. Let t = -7 - -7. Suppose -b = l*b + 2*v - 6, t = 2*b + 3*v + 2. Solve 5*p + b*n = 16, 5*n - 19 = -5*p + 3*p for p.
2
Suppose -7 = -4*s + 9. Suppose -3*r + 25*z - 24*z - 27 = 0, 3*r = 3*z - 27. Let a be (r - -2)*(-112)/28. Solve -a = -3*p - s*u, -2*p - 3*p + 3*u + 8 = 0 for p.
4
Let n(s) = s**2 - 11*s - 7. Let k be n(12). Let y(c) = -3*c + 65 - 7*c - 2*c + k*c. Let p be y(9). Solve 2*u - 12 = t - 4*t, 5*t + p*u = 16 for t.
2
Suppose -249 + 101 = -74*b. Solve -b*j = -3*n - 21, -j = j - 6 for n.
-5
Suppose -180*v = -31*v + 98*v. Solve -7 = -v*q - 2*q - 5*z, 21 = 7*z for q.
-4
Let w(m) = -m + 3. Let o be w(3). Suppose 0 = -17*j - 2*j. Suppose 3*r + 4*f + 8 = j, 7*r - 8*r + 3*f + 6 = 0. Solve r = a + 2*a - i + 4, 3*i - 12 = o for a.
0
Suppose 0 = -5*i - 808 - 517. Let o be i/(-55) - 2/(-11). Suppose -k = -o, 0*v - 2*k = -5*v + 80. Solve 4*w - 23 = 3*u, 4*w + u + u = v for w.
5
Let s(g) = -78*g**2 - 4993*g - 46. Let b be s(-64). Solve 4 = -4*d + 2*w, 195*d = 199*d + 5*w + b for d.
-2
Let l = 1976 + -1965. Solve t + 3*n + l = 0, 2 = -3*n - 10 for t.
1
Suppose 0 = -4*n + 11 + 9. Suppose n = w + u, 2*w + u = -3*w + 17. Solve k = -4*b - 20, -w*b + 5*k = -0*b - 8 for b.
-4
Let u = 659 + -639. Solve 12 = -t - 5*s - 11, -4*s - u = 0 for t.
2
Let q(d) = -184*d + 2. Let n be q(2). Let i = n + 370. Let y be 0*(5/2 + -2). Solve -i*g + 0*g = u + 2, -5*g + u + 2 = y for g.
0
Let u(d) = -20*d**2 - 1146*d - 342. Let z be u(-57). Solve 0 = h - 4*g - 0*g + 16, z = 3*g - 12 for h.
0
Let v = 1556 - 810. Let l = v + -743. Suppose 0 = 6*q - q - 5, -3*q + 15 = 4*u. Solve 5*h = 4*j + 16, l*j + u*h - 16 = -j for j.
1
Let m be (-539 - -536)/((-9)/12). Suppose 50 = -r + 3*r. Solve 5*g + r = 0, 2*g = m*c + 5 + 5 for c.
-5
Let g be ((-4)/4)/((-1)/148*2). Let x = g - 69. Suppose 0 = 4*l - 1 - 15. Solve 0 = -2*i - l*w + 14, 5*i + 3*w = w - x for i.
-3
Let j = 14695 - 14677. Solve 14 = -4*q - 3*b, 0 = 3*q - 8*q - 4*b - j for q.
-2
Suppose 0*m = 3*m - 15. Let y be ((-14 - -16) + (0 - -6)/6)*1. Solve y*t + 4*j = -3, -j - 4*j = 2*t - m for t.
-5
Suppose 4*b + 213*t - 20 = 211*t, -2*t + 4 = 0. Solve 4*y = -b*x + 8, -3*y - 1 = x + 3 for y.
-3
Suppose -3990 = 49*z - 162*z - 153*z. Solve -z = 4*r + n + 6, 5*n + 25 = -4*r for r.
-5
Let w be (-10)/(-30)*(-4 + 2)*-3. Let u be 9 - ((-2)/(-1) + w). Suppose -3*n = -15, -u*h + 2*h - n + 29 = 0. Solve -2*x = -4*o - h, -4*o = -0*o for x.
4
Let y(d) = 7*d - 652. Let j be y(94). Solve 0 = -4*h + j*h - 5*l + 5, -4*l = 5*h - 4 for h.
0
Suppose 0 = -3*s - 3*z - 126, -3*s - s + z - 168 = 0. Let d = 46 + s. Solve -d*v + 32 = 3*t - 7*t, -v + 3*t = -16 for v.
4
Suppose -22 = -4*o + 3*l, 2*l - 63 + 79 = 3*o. Solve 0 = z - 4*r - 12, o*z + 29*r = 33*r for z.
-4
Suppose 9*m = -2*m - 561. Let t = m - -67. Solve 3*b - t = -3*j + 5*b, -4*j + 18 = -b for j.
4
Let z = -487 + 495. Solve -u = 2*v - 10, -v + 7 = -z*u + 9*u for u.
4
Let y = -72 + 102. Suppose -3*l = -4*l - 3*h + y, 0 = h + 2. Let c = -32 + l. Solve -4*b + c*q - 4 = -6*b, 2*q + 18 = 4*b for b.
4
Let g = -8 + 1. Let l = -4 - g. Suppose 4*v = -5*n + n + 24, -l*v + 16 = 2*n. Solve -2*t + 4*t - 3*z + 10 = 0, 4*t = v*z - 16 for t.
-2
Let s(k) = -k**3 - 6*k**2 + 6*k - 9. Let b be s(-7). Let d = 0 - b. Let w be 33/6 - ((8556/24)/(-23) - -14). Solve 4 = 2*q, -3*g + q - d*q = w for g.
-3
Suppose 324*t - 1 - 6 = -7. Solve t = 5*q + 3*x - 28, 0 = -3*q - x + 12 + 4 for q.
5
Let n(z) = z**3 + 5*z**2. Let a be n(-5). Suppose -3*j = 4*m + 3, 5*j - 1 + 26 = a. Solve 2*p = -2*x + 4*p - 8, 0 = -m*x - 2*p - 7 for x.
-3
Suppose -72 = -4*o + 4*c, -5*c + 6*c = -6. Solve -o = -3*u + y, 4*u + 2*y - 31 = -u for u.
5
Suppose 5*z = 2*y + 62, 5*y + 16 - 11 = 0. Solve 5*g - z = j, g + g = -2*j for j.
-2
Suppose 0 = 208*p - 420 + 4. Let r be 1 + 1 + -1 + 2. Solve -2*g + 4*g - r*u = p, 0 = -3*u - 6 for g.
-2
Let t(c) = c**2 + 12*c - 29. Let r be t(-14). Let z be -5 - 12*((-1)/(-2) + r). Solve -2*a + 0*a + 3*k - 9 = 0, -a = 4*k - z for a.
-3
Let v(j) = -j**2 + j + 1. Let l be v(-3). Let k be -2 - (l + 1 + -2) - 2. Solve -3*f + k*f - 9 = -3*p, 5*p = 15 for f.
0
Let t be (-192)/(-100) + (-124)/(-1550). Solve -2*c - 57 = -4*d - 47, -t*d - 4*c + 30 = 0 for d.
5
Suppose -6*v = -530 - 22. Let p = v - 84. Suppose 5 + 11 = p*x. Solve 3*n - 4*b - 17 = -x*n, -b - 4 = -n for n.
1
Let y(v) = 6 + 13 - 56 - 4*v**2 + 34*v. Let c be y(7). Solve -3*f - 5*j - 4 = 7, -3*j = -c*f + 27 for f.
3
Let o be ((2 - 3)/1)/(1/(-17)). Suppose 0 = -g - 0*g - 5. Let f = 7 + g. Solve f*n = 5*q - 11, 0 = n + 3*n + 3*q - o for n.
2
Let j be 9 + -12 + 9 + -3. Solve -3*o + j = 0, -4*o = 9*h - 5*h - 20 for h.
4
Suppose 9*h - 5*h - 20 = -4*x, x - h - 3 = 0. Suppose a + 1 = -5*o + 16, -2*o - 12 = 4*a. Solve -4*m - o = -x*z + 5*z, 5*z = -20 for m.
0
Let i = 3567 - 3564. Solve 4*a + 10 = 2*d - i*d, -3*a = -5*d - 4 for d.
-2
Let i = 22 + -17. Let d(v) = 15*v - 477. Let y be d(32). Solve -y*t + 2 = -4, 5 = -5*o - i*t for o.
-3
Let h be ((-108)/48)/((-5)/15 + (-10)/24). Solve -h*r - 10 - 8 = -5*t, 2*t = 3*r + 18 for r.
-6
Let t be 142/16 + (-1 - 3)/(-32). Suppose 21*b - 16*b - t = 2*v, -b - v + 6 = 0. Solve 5*i + 3 = b*g - 4, g - 4*i = 0 for g.
4
Let y(c) = 7*c - 58. Let p be y(9). Suppose 4*x = 2*v + 15 - 5, -4*x + 4*v = -12. Solve -8 = -k - 3, p*t - x*k - 15 = 0 for t.
5
Suppose 29*l + 4204 - 5045 = 0. Solve 2*b + 22 = -4*w, -5*w - 2*b - l = b for w.
-4
Suppose 0 = -2*q + 8, 81*q = 3*z + 84*q - 18. Solve z*o = -a + 15, -16 = -5*a + 2*o - 1 for a.
5
Let m be (0/(-144))/(1*-2). Solve 0 = 37*z - 32*z + 5*d + 35, m = 3*z - 3*d - 3 for z.
-3
Let i = -37 - -39. Let y be 93 + -1 + (0/(-1) - i). Let z = y - 86. Solve 4 = 3*v + m - 3*m, 0 = 3*v - z*m - 8 for v.
0
Let a = 132 - 136. Let d be a/18 + 8399/333. Solve -r = -4*l + d - 9, 0 = 4*r for l.
4
Suppose 0 = 4*r + t - 106, -13*t + 12*t - 56 = -2*r.