7 = -a - r*a for l.
2
Let q = 2915 + -2911. Solve 32 = 4*z - q*w - 4, -z = w - 1 for z.
5
Suppose -5*q + 10 + 10 = 0. Suppose -8 = -q*u, 2 = w - 3*u - 8. Suppose -8 = -2*x + 5*r, 0 = 15*x - 17*x + r + 8. Solve w = x*j + j - k, 5*k = -4*j + 7 for j.
3
Suppose -3*g - 36 = -6*g. Let q = 0 + g. Let r be (32/2)/(11 + (11 - 18)). Solve q = -r*s + 28, -s + 19 = -5*c for c.
-3
Let q(j) = 51*j + 4098. Let g be q(-80). Solve -3*l - 18 = -3*h, 12*h + 5*l = 14*h - g for h.
4
Suppose -3*a + 7 + 5 = 0. Suppose -104 = -28*v + 2*v. Suppose m + 38 = 8*w - v*w, 3*m - 6 = 0. Solve -5*h + w = 3*g, -g + a = -3*h + 4*h for g.
5
Suppose 0 = -23*u + 25*u + 3*l + 4, 0 = 9*u + 3*l - 24. Solve u*c + 73*i - 77*i = 12, 0 = 5*c + 2*i + 41 for c.
-5
Let t = 86 + -135. Let o = t + 54. Let v = -28 + 36. Solve 3*g - 13 = o*s, v = -4*g - 8 for s.
-5
Suppose 4*y - 31 = -5*l, l + 3 = 2*l. Let z be 870/25 - 3/(-15). Let s = 36 - z. Solve -3*n + q = -y*n - s, 3*q = 5*n + 5 for n.
-1
Let x = 1681 + -1673. Solve -3*k + 2 = 5*f, 20*f = 4*k + 24*f - x for k.
4
Suppose 0 = 26*b + 4756 - 13024. Solve 4*l + j = 339 - b, 4 = 4*j for l.
5
Suppose -19*j = 714 + 46. Let p = j - -43. Solve 0 = c - 2, -4*o = -p*o - 3*c + 4 for o.
2
Suppose 0 = -5*y - 0*y + 10. Let i be (4/7)/((-45)/(3780/(-24))). Suppose 2*j = 4*l + 4, -40 - y = -5*j + i*l. Solve 23 = -2*v - 3*d, j + 5 = -3*d for v.
-4
Let w(f) = -f**3 - f**2 - 4. Let x be w(-3). Suppose -73*d + 1197 = -16*d. Let v = -16 + 21. Solve -v*r = -4*m + 1 + x, -4*m + d = r for m.
5
Let m = 23 + 7. Suppose -5*l = 5*l + m. Let k be (4*l)/((-10)/5). Solve 3*j = 0, 2*r = -k*j + 2*j - 4 for r.
-2
Let n = 4787 - 4782. Solve -5*p + 3 = 3*w, n = -5*p + 494*w - 489*w for p.
0
Let d = -135 + 140. Let u be d - 4/((-32)/88). Solve 3*y - 8*y = -5*c - 10, 0 = -4*y + u for c.
2
Let s = -2717 - -2721. Solve 15 = 3*m - 2*q, s*m = -3*q + 31 - 28 for m.
3
Let h be 1 - (-1 - 0*(-1 - 18/(-12))). Solve h*f + 11 = q, 7*q - 3*f = 2*q + 20 for q.
1
Let o = -5 + 7. Let y(h) = h. Let m be y(4). Let s be (1/m)/((-9)/(-72)). Solve 18 = -o*z + s*b, 6 = 2*z - 4*z - b for z.
-5
Let l(y) = 3*y**3 + 12*y**2 - 140*y + 27. Let v be l(5). Suppose 2*f + k - 22 = 0, -3*f + 0*f - k + 33 = 0. Solve 5*r - r = -4*o - 12, f = -3*r - v*o for r.
-5
Let h(f) = 9*f**2 + 3*f + 3. Let l be h(-1). Let o(q) = 17*q - 19*q + l + 8 + 3. Let j be o(9). Solve 3*t + b + 15 = -j*t, 15 = 3*b for t.
-4
Let o be 0*6/(-24) - -4. Suppose 0 = -o*m - 76 + 88. Solve 0 = -j + 5*q - 16, m*j + 0*j + 3*q = 6 for j.
-1
Let g = -91 - 435. Let k = 530 + g. Solve 4*u - 14 = q - 6*q, -q - 2 = -k*u for u.
1
Let y = -1408 + 1408. Solve y*v = 2*v - 10, 0 = 5*r + 5*v - 35 for r.
2
Let w be 4/6 + (-6)/9. Let z(f) be the second derivative of -f**3/3 + 4*f**2 + 33*f - 1. Let b be z(3). Solve m + 5*y = -7, -2*m - 2 + w = -b*y for m.
-2
Let f = 4535 + -4531. Solve 2*g = -3*a + 7, g = f*a - 3 + 1 for g.
2
Let b = 205 - 183. Let x be (-36)/(-8) - 11/b. Solve -6 - 1 = -4*q - 3*g, x*q + 2*g = 10 for q.
4
Suppose 0 = 13*c - 6*c + 2926. Let r = 420 + c. Solve 2*z = 2*x - 8, -2*x - 27 = 3*z + r*z for z.
-5
Let s(j) be the third derivative of 3*j**4/4 + 145*j**3/6 + 68*j**2. Let a be s(-8). Solve -4*b + a = 3*u - 6, 0 = 5*b - 3*u - 2 for b.
1
Suppose 4*d - 6*d = -5*t + 23, 16 = -4*d. Solve 3*r + t = -4*m, 3*m = 3*r - r + 2 for r.
-1
Let o be (19/(-19))/(9/12 - 1). Suppose 4*z + o*b = -20, 25 = -z - 4*b - b. Let c = 0 - -2. Solve -c*s + 3 = -t - 1, -2*t - 4*s - 8 = z for t.
-4
Suppose 3*n - 14 = -4*q - 10, -4*q - 8 = 0. Suppose 0 = 4*z - n*b + 2*b - 12, -3*z = b - 9. Solve -t = r - 1, 2*r - z*t = t - 22 for r.
-3
Suppose 4*i + 11*n - 23 = 0, -28*i = -29*i + n + 2. Solve 0 = -5*z + i*o - 19, -17 = z + 7*o - 12*o for z.
-2
Let b = 26 + -22. Suppose 11*y - 14 = b*y. Suppose y*t = -3*t + 45. Solve -3*o + 3*g = -t, -2*o = o - 5*g - 15 for o.
0
Suppose -2*g + 5 - 1 = 0. Let v = 39 + -317. Let o = 280 + v. Solve 0 = 4*x + o*f - 4, -g*f + 2 + 1 = 5*x for x.
-1
Let g = -7389 + 7395. Solve 5*q + 30 = -g*r + r, -q = 2*r + 9 for r.
-3
Let m be ((-38)/76)/((-1)/4). Solve -17 = -3*x - 4*o, 11*x + 1 = 10*x + m*o for x.
3
Let v = -109 - -48. Let g = v - -55. Let c be (g/(-9))/(1/21*1). Solve 4*t - c = -2*z, 4*t = 6*t + 2*z - 10 for t.
2
Suppose 12*u = 17*u + 235. Let k = u + 61. Suppose -k*m + 12*m + 6 = 0. Solve -3*t - 8 = -5*t - m*y, -5*t = 3*y - 20 for t.
4
Let o(m) = -m**3 + 5*m**2 - 4*m - 4. Let y be o(3). Let j(t) = -t + 2 + 1 + y. Let h be j(-7). Solve 0*q - 3*c = q - 8, -3*c = -3*q + h for q.
5
Let n(f) = f**2 + 5*f. Let p be n(0). Suppose h + 3*c = 2*h - 8, 2*h + 2*c = p. Solve 0 = -4*q + 4*o + 32, -h*o - 2*o = -q + 23 for q.
3
Let j be 2171/835 + 14/10 + -1. Solve 4*o = -4*v + 24, 3*v - 15 = -j for o.
2
Let b be (1 - 2) + 5/(5/14). Suppose 5*w = 3*a + 5, -b = 2*w + w - 5*a. Solve -2*f - 5*z = -9, 2 + 1 = -w*f - 3*z for f.
-3
Let b = 543 - 538. Solve -i = -4*x - 4, i + 5 = -b*x - 2*i for x.
-1
Let h = 12 - 9. Let b be (h - 3)/(-3 + -2). Suppose -2*j + 6*j = b. Solve 4*o + 0*c - c + 19 = j, -7 = 4*o + 3*c for o.
-4
Let w(m) = 4*m**2 - 438*m - 661. Let f be w(111). Solve -u + 3*t = -5, f*u = 7*u - 5*t - 9 for u.
2
Let r(f) = 118*f + 1183. Let l be r(-10). Solve -6 = -4*c + t, -2*t = 5*c - l + 2 for c.
1
Let p = 66 - 59. Suppose p*m + 15 = 141. Let q be (-4)/m - (-494)/117. Solve 37 = 2*s - 6*s + 5*u, -q*s + 2*u = 22 for s.
-3
Let s(h) = -h**3 + h**2 + h. Let z be s(0). Suppose 4*v - 545 = 3*w, 2*v = w - 5*w + 300. Let o = 145 - v. Solve z*r - b + 11 = -o*r, -3*b = r + 15 for r.
-3
Let p = -1978 + 1981. Solve -1 = -7*t + 8*t - 2*r, 0 = -t - 2*r + p for t.
1
Let l(u) = u**3 - 15*u**2 - 36*u + 34. Suppose 3*d - 56 = -h, 7*d - 54 = 5*d - 4*h. Let t be l(d). Solve -4*r + 5*z - 13 = -t*z, 3*z = 5*r for r.
3
Let j(i) = 9*i. Let x be j(0). Suppose x = 11*q - 10 - 23. Let a be 3 - (-1)/(3/6). Solve -q*p + 11 = -1, -24 = a*w - p for w.
-4
Suppose 4*t = 4*y - 139 - 37, 4*y + t - 156 = 0. Let z = 43 - y. Solve 3*i + z*d = 0, 3*i - 5*d + 3*d - 20 = 0 for i.
4
Let k be (33/(-14) - (-1)/(-7))*-2. Suppose 2*x + 2*x = -2*i + 10, -k*i - 15 = 0. Solve -4*p - u = 1, -x*u - 4 = -4*p + 2*p for p.
0
Let k(n) = n**3 - 10*n**2 - 12*n + 23. Let a be k(11). Suppose p - a = -3*p. Suppose p*w - 6*w = 0. Solve -4*l = -8, -5*y + 0*y - l + 12 = w for y.
2
Suppose 39 = -47*h + 180. Suppose u = 2*u - 3. Solve 2*z = h*x - 2*z + u, 0 = x - 2*z + 1 for x.
-1
Suppose 117*v = 705 + 699. Solve -5*f + 15 = 0, 0*q - f - v = -5*q for q.
3
Let g be (6 - 8)/(-2)*(0 - -4). Let t be (-3)/4 + 22/8. Suppose -6 = -g*i + t*i. Solve 5*u = 2*v + 13, 12 = v + i*u + 2 for v.
1
Let a = 4 - 2. Suppose 4*g = 79*w - 84*w, 5*g = 2*w - 33. Solve 0 = a*r - d - 2, 4*r - 2*d - w = -6*d for r.
1
Let g = -17730 + 17973. Solve 2*i - 5*p = -17, 5*i - g = 5*p - 263 for i.
-1
Suppose 8*w = 17 + 15. Suppose 0 = -w*m + 4*h, 4*m + 0*h = 5*h. Solve s + 3 = -j - m*j, 4*j = 5*s + 24 for s.
-4
Suppose -10*v + 317 = -313. Let l be (-2)/14 + 9/v. Solve 6*y = -d + 4*y - 3, l = d + y for d.
3
Let f(u) = 61*u + 2320. Let w be f(-38). Solve 3*q = -2*m + 19, q + 2 = -w*m + 3*m for q.
3
Let u = 74 - 35. Let h be (((-13)/u)/(1/15))/1. Let m be h/1 - (-7 + -3). Solve -4*t + m*t + 23 = 5*r, -2*r = -10 for t.
2
Suppose 0 = -81*l + 2411 - 1601. Solve l = 6*g - 4*d + 2*d, 9 = 4*g + d for g.
2
Suppose 0 = 14577*x - 14575*x - 26. Solve 5*y + 14 = -x*n + 15*n, 5*y = -5*n for n.
2
Suppose -136 = -192*v + 175*v. Solve -v = -2*w + 8*l - 10*l, 0 = w - 5*l + 14 for w.
1
Let m(n) = -n**3 - 2*n**2 + 41*n + 49. Let s be m(-7). Let f = 2 + 5. Suppose f = 2*o + 1. Solve -o*h + 13 = -4*u - 11, 0 = u - h + s for u.
-3
Let t = -1 + 1. Suppose -2*s = 15*i - 39 - 23, i - 7 = -3*s. Solve t = 2*y - 4*g - 26, -i*y + 5 = y + 2*g for y.
3
Let f be (-3 - -6) + (-6 - -283). Suppose 2*v - 4*t - f = 5*v, -v - 4*t - 104 = 0. Let p = v + 101. Solve 0 = -3*z - 4*s - 26, 0 = -4*z - 3*s + 2*s - p for z.
-2
Suppose 0 = 3*n + 3*o - 12, -4*n + 1 = o. Let y be (12/(-15))/n*150/30. Solve 3*d + 12 = -y*b, -7 = 4*d - 2*b + 9 for d.
-4
Let u(o) = 6*o**2 - 2*o + 12. Let z be u(1). Solve 0 = 2*q + 19*c - 24*c - 28, -5*q = c - z for q.
4
Suppose 0 = -n + 4*t - 4, -6*t = 5*n - 5*t - 22. Solve 9*g - 4*g = o + 23, 0 = -n*g - o + 22 for g.
5
Let j be (-2 - -1)*(-91)/(2/(-2)). Let c 