= 3*l + 7, -10*y = -i*l - 7*y - 9 for l.
-3
Let u be 0 - -2*5/10. Let x be (0 - u)*(27 - 3)/(-6). Solve 3*v + 2*v + 3*g = -8, -x*g = -2*v + 2 for v.
-1
Suppose 6*x - 9*x + 6 = 0. Suppose 0 = -p - 3, b + p + 15 = -x*b. Let h be 4 + (3 - (-12)/b). Solve -s + w = -3*s - 3, 27 = -h*s + 5*w for s.
-3
Let u be (-495)/(-231) - 2/14. Suppose 0 = n - 5*a - 28, -u*n - 3*n = 2*a - 5. Solve 0 = -z - n, -24 = -3*q + z + 4*z for q.
3
Let a = 9 + -1. Suppose -a = 8*s - 24. Solve 2*y + 5*b = -0*y, 0 = s*b - 4 for y.
-5
Let w(r) = -482*r - 82875. Let c be w(-172). Suppose -d = d - 32. Solve -3*f + c = -4*l, 2*l = 2*f - 0*l - d for f.
3
Let d = 2359 + -2357. Suppose -t + 2*v = -v - 24, -t - 4*v = 4. Suppose i - 4*q = -t, 5*i + 2*q = 13 + 15. Solve 0 = -4*o - n + 5, -3*o = -2*o + d*n + i for o.
2
Suppose 8*o + 60 = -4*o. Let h be (2 - o - 4) + 2. Let s(x) = 6*x - 26. Let c be s(h). Solve c*p + 10 = -z, -12 = p + p + 4*z for p.
-2
Suppose -62*o - 115 = -85*o. Solve o*q - 5 = -h, 16 = -h + 4*q + 3 for h.
-5
Suppose 5*g - 158 + 203 = 0. Let q be (-145)/(-45) - (2 + 16/g). Solve q = -3*r + w, r + 0 - 1 = w for r.
-2
Let r(b) = -b**3 + 14*b**2 - 34*b + 21. Let v be r(11). Suppose 2*n = 3 + 7. Suppose -v = -n*p + 5. Solve -a = 2*q - 5, -q = -0*a - p*a + 15 for a.
5
Suppose -3*h - 5*y + 137 - 152 = 0, 3*h - 15 = 5*y. Suppose -113*m = -108*m - 20. Solve r - 3 = h, 5*z - r - m = -4*r for z.
-1
Let r(k) = -k**3 + 24*k**2 + 175*k - 26. Let u be r(-6). Solve -u*c + 94*d - 93*d = 0, 5*c - 21 = -4*d for c.
1
Suppose -7*h + 15 - 8 = 0. Let i be 3/h*15/20*4. Solve -3*o + 5 = 4*b, -5*o + b + i + 7 = 0 for o.
3
Let d = -31 - -34. Let v be d/(-2)*(-128)/96. Suppose 0 = -o - v*o + 6. Solve -3*s + 4*j + 0 - 4 = 0, 0 = o*j + 4 for s.
-4
Suppose 0 = -4*x + 10 + 6. Let h be -2*(2/x - (0 - -3)). Solve -5*l = h*m - 5, -3*l = -4*m - 5*l for m.
-1
Let x(j) = j**2 + 186*j + 1434. Let r be x(-8). Solve -2*t = -7*t + w - r, 0 = -t - w - 8 for t.
-3
Suppose 2*z = t - 0*z + 5, 3*z - 21 = -3*t. Let j be 16 + 12/(-10 + 4). Solve -2*a - j = t*i, 0 = 3*i - a + 2 for i.
-2
Let y be ((-74)/(-2))/(7*(-9)/(-189)). Suppose -96*k + y*k - 60 = 0. Solve -3*i - 6 = -0*j - 2*j, 0 = k*i + 8 for j.
0
Suppose -27*r + 20*r = -1505. Suppose -24 = 207*t - r*t. Solve 1 = 2*w + n, w - 5*w + t*n = 13 for w.
-1
Let x = -740 + 747. Solve -4*c - 2*s + 10 = 0, -2*c - x = 3*c - 4*s for c.
1
Let j be (2 + -2)/(-5) + 7. Let c be 8 + (-4 - 7) + j. Solve -c*t + 2 + 0 = 3*b, -4*b + 5*t = 18 for b.
-2
Let r = -1894 - -1896. Solve r*x + 4*w - 20 = 0, 0*w - 22 = -3*x - 4*w for x.
2
Suppose 0 = -n - 4*n + 15. Let c be 10 + n/1 + -10 + 3. Suppose -12 = -s - c. Solve 3*m + 5*g = -9, 0 = -s*g + 5*g - 3 for m.
2
Let z(p) = 60*p + 720. Let r be z(-12). Solve r = -q, -5*k + 3*q = -2 - 23 for k.
5
Let q be 10 + -1 + (-3)/(21/14). Suppose q*n - 55 = -4*n. Solve -i - 2 = -5*a + 3*i, -a + 13 = -n*i for a.
-2
Let q = 7278 + -7274. Solve -n - 71 = -70, 5*x = 4*n + q for x.
0
Let q be 780/(-48)*1300/(-125). Solve i - 2*o = -5, 5*i - o = 153 - q for i.
-3
Let t be 2/(4/96*16). Solve -3*n = v - 14, 2*n - 9 - 4 = t*v for n.
5
Let s(c) = -c**3 + 128*c**2 - 501*c + 621. Let r be s(124). Solve 3*a - 6 = z - 1, 2*z + r = -3*a for z.
-2
Let o be (-728)/(-40) - (-3)/(-15). Suppose -8*s + o = s. Solve 3*b + 11 = b + 3*q, 0 = -s*q + 6 for b.
-1
Suppose -9*g = -8*g - 4. Suppose -2*m + 2 + g = 0. Suppose -101*o + 92*o + 45 = 0. Solve -5*f - o*x = -5, 3*f - m = -0*x - x for f.
1
Suppose 12*q = 145 - 25. Solve -q*p = 3*y - 14*p + 11, 2*p - 5 = y for y.
-1
Let y(l) = -l**3 - 4*l**2 - 24*l - 59. Let n be y(-3). Solve -n = -4*j - k, 3*k - 19 + 7 = -3*j for j.
0
Let w(r) = 12*r + 168. Let g be w(-14). Suppose g = 20*h + 65 - 125. Solve 3*q - 2*q = -h*i + 9, -6 = -3*i for q.
3
Let t = -67 - -123. Suppose 9*y - t = -5*y. Solve y*a + 3*r + 8 = -r, 2*a - r - 11 = 0 for a.
3
Let i = -3028 - -3033. Solve 6 = 11*l - 14*l - 5*k, 2*l - i*k = -4 for l.
-2
Let c = -108 - -84. Let n be (6/9)/(-1*4/c). Let t(i) = i**2 + 12*i + 25. Let h be t(-12). Solve 0*k - n*v = -k + 20, -h = 2*k + 5*v for k.
0
Suppose -4*i + 20 = 5*a, 4*a = 2*a. Solve 3*p + 8*d = 5*d + 24, -3*p = -i*d for p.
5
Let w(p) = 2*p**3 + 161*p**2 + 825*p + 30. Let m be w(-75). Solve 4*a = -5*x + m, 5*a - 11*x - 17 = -7*x for a.
5
Let o(z) = 2*z**2 + 32*z + 61. Let b(a) = -a**3 + 28*a**2 - 55*a + 64. Let h be b(26). Let x be o(h). Solve -5*v + 27 = -v - x*q, 0 = -5*v + 5*q + 30 for v.
3
Suppose -4933*x + 4889*x = -88. Solve -13*j + 16*j = -x*i + 10, 0 = 4*j + i - 15 for j.
4
Let w = 1756 + -1220. Let m = w + -533. Solve 2*b + 3*j + j = -14, 18 = -3*b - m*j for b.
-5
Let h(a) = 42*a + 11 + 40*a - 89*a - 1. Let i be h(0). Let t = 3 - 1. Solve -t*n = -5*f - i, 0 = 2*f + 3*f + 4*n - 20 for f.
0
Suppose -68 = -3*p - p. Suppose -11*l + 3*d + 17 = -7*l, -5*d = -l. Solve 2*m + 7 = -s, -l*s - p = m - 0*m for s.
-3
Suppose -132 - 44 = -2*q. Suppose 5*j - 3 = -23, 0 = 4*f + j - q. Solve 3*l + w = -w - 21, -f = 4*l + w for l.
-5
Let k(b) = -b**3 + 15*b**2 - 36*b + 5. Let d be k(12). Suppose 0*q + 17 = d*q + 3*y, 4*y = 2*q - 12. Solve -j - 7 = 2*s, 4*j = -q*s - 13 - 7 for s.
-2
Suppose -21 = -4*z - 4*i + 7, -2*z - 7 = -5*i. Suppose -z = -5*w + 16. Let x be (-16)/2 - 380/(-38). Solve 3*t - 5 = -x*d, w*d = -5*t - 3 + 10 for t.
3
Let o(d) = -2*d**2 - 13*d - 1. Let i be o(-6). Let v(t) = 9*t**2 - 6*t**2 - i*t + 4 - 2*t**2. Let n be v(5). Solve 3*h - 16 = n*y, 2*h - 4*h = -5*y - 13 for h.
4
Let j be ((-4)/(-6) + 23/6)*(-102)/(-153). Solve -j*t = 4*f - 7, -4*t + 14 + 2 = 2*f for t.
5
Suppose 85*y = 81*y + 3*c + 18, y + c = 1. Solve -12 = -4*p + y*a - 5*a, 0 = 4*p - 2*a - 4 for p.
2
Let l = 288 - 287. Let i be (-3)/l*(-2 - 0). Solve 3*u = -4*y - 9, u + u - y + i = 0 for u.
-3
Let f = 6 + 6. Suppose 2*z - f - 8 = 0. Suppose 0 = -3*v + z + 5. Solve -t - 17 = -v*t + 3*k, -2*k - 8 = -t for t.
2
Let s(i) be the first derivative of -i**4/4 + 8*i**3 - 45*i**2/2 + 27*i + 73. Let r be s(22). Solve -3*m - 20 = -r*h - 9, 0 = 2*h - 3*m - 8 for h.
1
Let h = -1685 + 1687. Solve 0 = h*i - 6, -5*i = n - 44 + 29 for n.
0
Let v be (-3)/((-16)/((-1120)/(-42))). Solve 4*a - 5*o + 7 = 12, 0 = -v*a + 5*o for a.
-5
Suppose 8*p = -198 + 214. Solve 0 = p*f + 10, 0 = 2*u + 13*f - 12*f + 1 for u.
2
Let z = -29600 - -29610. Solve k - z + 1 = 5*j, -4*k = -4*j - 20 for k.
4
Let p = -28 + 32. Suppose 4*l = 2*q - 14, -q - 2*l - p = q. Suppose -i - 4*d = -7, -2*i = -i - 2*d - q. Solve b = -k + 1, -5*b = 2*k + 7 + i for b.
-4
Suppose -2*i - 171 = -5*r, 5*r + i - 159 = -i. Suppose -5*t - 2*v + r = -4*v, 0 = t - v - 9. Solve 5*k - 5 = -t*s, 22 = -3*s + 5*k - 15 for s.
-4
Let j(h) = -h**2 - 7*h + 34. Let b be j(-10). Let z be (6 - 4 - b) + (5 - 0). Solve -z*i + 4*n = 1, i + 0 - 1 = n for i.
5
Let w(o) = 4*o + 41. Suppose 26*m = 18*m - 72. Let v be w(m). Solve -2*s - v*z = -3*z - 16, -3*s = 4*z - 28 for s.
4
Suppose 0 = -k - k + 3*y, -k - y = -10. Suppose -9*h = 5*z - k*h, 8 = -4*z - 4*h. Solve -z*u + 5*w + 14 = -4, 8 = -u - 3*w for u.
1
Let l(s) = -s - 3. Let a be l(1). Let c be (4/8 + 13/(-4))*a. Suppose c*m - 14*m = 0. Solve o + 2*j = m, j = -4*o + 4*j for o.
0
Suppose 0 = -5*k - 52*t + 49*t + 8, -4*t - 12 = k. Solve 0 = -11*h + 12*h - 2*r - k, h - r = 1 for h.
-2
Let o(t) = 4*t**2 - 84*t + 399. Let f be o(14). Solve 4*b - 4*u + 8 = 0, -5*b - 6*u + 20 = -f*b for b.
2
Suppose 0 = -36*d + 47*d - 88. Solve 2*a - 5*r - 6 = -34, -d = -2*a - 4*r for a.
-4
Let r = 23 - 90. Let q = r - -67. Let g(t) = t**3 + t**2 - 2*t + 2. Let x be g(q). Solve -3*m - 5 - 35 = 5*l, 2*l - x*m = 0 for l.
-5
Let d be 6 - 1 - (-2 - 3). Suppose -12 = d*r - 2. Let z be (5/2)/(((-3)/6)/r). Solve -3*c = v + z + 1, 0 = 2*c + v + 5 for c.
-1
Suppose 216 = -11*j + 238. Let z be j*1/5*(46 - 31). Solve -3*u - z = -5*g, 2*u - 3*g + 6*g + 4 = 0 for u.
-2
Let n = -24965 - -24971. Solve 2*c - 2*q = -n, -5*c = -6*q + 2*q + 18 for c.
-6
Suppose 22 - 2 = 5*k. Solve -2*z = -2*x + k, -6*x + 2*x + 3 = z for z.
-1
Let z be (-6)/(-15) + 106/10. Suppose 0 = -4*m + z + 9. Let d be 75/30*(-8)/(-28)*7. Solve -2*k + 12 = -d*f + k, -17 = m*f + 2*k for f.
-3
Let d(j) = 2*j - 8. Let h be d(11). Let n be h/(-49) - 32/(-14). Solve 27 = -3*w - 3*q, -n*q = -4*w + q - 8 for w.
-5
Suppose -r - 4*g = -5*r + 112, -4*g + 185 = 