f for l.
-2
Suppose -z - 2*z = f - 15, 0 = -4*z + 5*f + 1. Suppose 2*q + 2 = z. Let p = q - -5. Solve -3*y - g + 4 = 0, -2*y + y - 5*g + p = 0 for y.
1
Suppose -50 = -6*g - 4*g. Let h be 1/(1/8) - (7 - g). Solve 2*d + 0*c = -c - h, 3*d = 5*c - 9 for d.
-3
Let b = -50 - -59. Solve -3*j + 4*u - 2 = -0*j, 3*j + b = -3*u for j.
-2
Let x be 6 + 0 - (14 - 10). Solve 3*y - 2 = -x*t, 1 + 23 = -2*y + 5*t for y.
-2
Let y = -7 - -11. Suppose 0 = 7*d - d - 120. Suppose 9*a = y*a + d. Solve 2*v + a = -4*k + 2*k, k + 8 = v for k.
-5
Suppose -3*x = -4*x. Let k be ((-10)/(-4))/(440/704). Solve -3*c + x*z + 3 = -3*z, 3*c + k*z + 11 = 0 for c.
-1
Let p(d) = 2*d**3 - 31*d**2 - 18*d + 34. Let l be p(16). Suppose 3*i + 7 = -2*t, 0 = -t - 2*i - 7 + 2. Solve t = -2*r + r + u, l*r - 5*u = 4 for r.
-3
Suppose -3*s + 27 = 3*h, -h + 33 = 4*h + s. Let i = -54 - -36. Let y = i - -23. Solve y*d = 4*u + 15, -2*d + h*d - 1 = u for d.
-1
Let o(s) be the third derivative of s**4/24 + 7*s**3/3 + 7*s**2. Let k be o(-10). Let c = k - -12. Solve 3*q = p + c, 4*q - q = -2*p + 4 for q.
4
Let a(d) = -d**2 - 15 + 12*d - d**3 + 18*d**2 + 7*d. Let n be a(18). Solve -4*l - 4*s + 2*s = 12, -n*s = 0 for l.
-3
Suppose 6 = 5*j + 1. Let k be (0 - 1)/(9/(-45)). Solve t - 5*o = -j, k*o + 1 = 2*t + 3 for t.
-1
Let m(x) = -x**3 + 12*x**2 + 2*x - 17. Let q be m(12). Suppose 21 = -q*n - 49. Let f be (n/6*-3)/1. Solve 0 = -f*k + 3*g - 1, -3 = 3*k - 3*g - 6 for k.
-2
Let v be 4/6 - 1/(-3). Let r(q) = 3*q + 1. Let a be r(v). Let z be (-8)/12 + (-34)/(-6). Solve 10 = 2*i, -a*i = -z*l - 5*i - 15 for l.
-4
Suppose 0*v = 3*v - 12. Let q = -131 + 119. Let g be q/30*-20 + -3. Solve b - v*o = -3*b - 8, b + 10 = g*o for b.
0
Suppose -137 = -5*y - 112. Let k(w) = 2*w. Let p be k(1). Solve -p*b - b + 5*q - 29 = 0, -y*b = -4*q + 31 for b.
-3
Let o(d) = -5*d + 22. Let w be o(4). Solve -t + 14 = -3*m, 4*m + 10 = -w for t.
5
Let q(l) = -l**3 - 13*l**2 + 14*l - 4. Let a be q(-14). Let y be ((-20)/(-15))/(a/(-18)). Let u = y + -4. Solve -t + 2 - 14 = u*o, -4*o + 5*t - 10 = 0 for o.
-5
Let g(b) = -b - 1. Let u(n) = 2*n + 23. Let z(h) = -4*g(h) - u(h). Let t be z(13). Solve -i = -6*i - q - t, -5*q + 25 = -5*i for i.
-2
Suppose 0*j + 4*j = o - 24, 0 = 5*j + 5*o + 30. Let a be j/(-9)*-3 + 4. Solve -2*b + a + 2 = -l, 2*b = 6 for l.
2
Let j = 454 + -454. Solve 5*r = t, 4*r + j*r = 4 for t.
5
Let r(b) = 2*b**2 - 12*b - 24. Let a be r(8). Suppose a*v - 3*v - 2*n = 21, -v - 3*n + 11 = 0. Solve -4*y + 12 = -3*s + 2*s, 40 = v*y + 5*s for y.
4
Suppose 4 = 2*k + 2*k - 4*q, 0 = -q + 4. Suppose s - k = x - s, -s + 1 = -x. Solve 8 = -4*a + x*f, 0 = -a + 4*f - 0 - 2 for a.
-2
Let m be (0 - 44/(-3))/((-1024)/(-768)). Solve -f - m = -3*p - 3, -p + f = -6 for p.
1
Suppose -4*y + 4*r = 0, 3*y - 5*r + 0 = -4. Let n be 10*1/2 - y. Solve 2*x + n*x = 3*m + 5, 0 = -5*m - 4*x - 33 for m.
-5
Let s be (10/(-6))/(1/(-3)). Solve -2*k = -s*d - 17, -k = -d + 4 - 5 for d.
-5
Let a(d) = -d**3 - 21*d**2 - 42*d - 73. Let i be a(-19). Solve -2*o = -f + 5, f = -2*f + i for o.
-2
Let b be (3/(-9)*-3)/(4/108). Let q = b + -27. Solve q = 4*y + 3*i - 2*i - 8, -y = -i - 7 for y.
3
Suppose 36 + 36 = 12*k. Solve -4*t + g - k*g = -13, -t = -2*g for t.
2
Suppose 0 = 2*y - 4*m - 84, 5*m - m = -4*y + 168. Suppose 50 - y = 4*p. Solve -4*b + p*f + 2 = 0, -4*b - 5*f + 14 = -3*f for b.
2
Let d be (-6)/11*(-2684)/366. Suppose -5*l + 40 = -4*o, 0 = -4*l - 2*o - 1 + 7. Solve -4*s = 12, -4*j + l = -d*s - 0 for j.
-2
Let v be (-3)/(-9)*0*-1. Suppose -q + 5 = 3*p, 4*p + 20 = 4*q - v*q. Let h be (-8)/((-3)/3) + -4. Solve -r = 3*r + z - 20, p = h*z for r.
5
Suppose 2*w = 3*w + 2*w. Solve -i - 1 = w, 2*x + 2*x + 5*i = -17 for x.
-3
Suppose 0*v - 10 = 2*v. Let p be ((-6)/v)/(4/10). Let d be (-3)/p - (-6 + 1). Solve -4*l - 17 = -g, 5*g = d*l + 25 + 12 for g.
5
Let c be (-2)/10*-104 - (-8)/(-10). Solve 5*j + 2*q - q = 16, 3*j - 2*q = c for j.
4
Suppose 0 = -3*q + 55 - 49. Suppose 4*h - 3*l - 21 = 0, q*h + l + 2 - 25 = 0. Solve 2*y - h = -o - 0*o, 3*o + 4*y = 19 for o.
1
Suppose 0 = -7*y + 8 - 36. Let u(w) = w**3 + 5*w**2 + 4*w + 4. Let n be u(y). Solve n*s - 4*j = 0, j = -3*s + 2*s + 10 for s.
5
Let y be -39*(4 + -10)/18. Solve 5*t - t + y = -a, -5*t = 5*a + 35 for a.
-5
Let w = 20 + -14. Let g(v) = -v**2 + 8*v - 4. Let q be g(w). Suppose -q = -4*j, 2*j + 1 = 4*o - 3*o. Solve -2*k + 2 = -o*l + 8, l + 2*k = -6 for l.
0
Let c = -532 + 534. Solve -q - 5*u = 2*q - 5, -c*u + 28 = -4*q for q.
-5
Let c(f) = f - 6. Let s be c(8). Let h be (-285)/(-12) + s/8. Suppose -5*b + 1 = -h, 4*b = u + 20. Solve 5*g - 6 = -3*t + 8, -3*g - 4*t + 15 = u for g.
1
Suppose 2*z + 5 = 11. Suppose a = -z*a. Solve 2*m = -j - 3, a*m + 2 = -m for j.
1
Let f be ((-17)/((-289)/(-51)))/(2/(-8)). Solve f = -3*c, 4 = -2*l - c - 6 for l.
-3
Let z(p) = -29*p + 264. Let m be z(9). Solve 5*q = -4*w - 0*w + 4, 5*q = m*w - 3 for w.
1
Let w(a) = -17*a - 44. Let x be w(-3). Let t = -3 - -5. Suppose -1 = f - t, -f = 2*i - x. Solve 4*c + 5*m = 10, 5*c - i*m = -4 - 2 for c.
0
Suppose -s + 0 = -2. Suppose s*j = 2 + 4. Let o(u) = u**3 - 5*u**2 - 7*u + 8. Let i be o(6). Solve -12 = -3*v, -v - i = -j*q - 0*v for q.
2
Let b(o) = o + 8. Let c be b(-4). Suppose 0 = -2*d + 4, 0*j - j = -5*d. Let g be j/(2/20*5). Solve -q + 5 = -4*n, -c*q - n - g = 3*n for q.
-3
Let i be 20/(0 - -5) + -12 + 8. Solve 4*p = o - 3*o + 10, 4*o + 4 = i for p.
3
Suppose 0 = 4*t - 2*t - 8. Suppose -t*u + 14 = 3*u. Solve 11 = -2*r - 3*f, -u*f - 2*f = -5*r + 7 for r.
-1
Let k be 2 + 12/(-9) + 1617/99. Solve 5*y - k = 4*s - 50, 0 = 5*y + 25 for s.
2
Let a = -39 + 44. Suppose -a*q = -1 - 19. Solve -17 = 5*h - 2*i, -2*h + q + 6 = -5*i for h.
-5
Let m be 3/7 + 1 + (-148)/(-14). Solve r = -2*p - 3*r + m, -2*r = -2 for p.
4
Suppose -n + 2 + 7 = 0. Suppose 0 = 5*j - n*j + 8. Solve -3*c + j*s + 24 = 7, 4*c - s - 21 = 0 for c.
5
Let f(r) = -r + 9. Let x be -92*1*1/(-4). Let y = x + -14. Let z be f(y). Solve -2*k - 2*k - p = z, k = 2*p + 9 for k.
1
Let t be 2/(4 + -2)*4. Suppose -136 = t*u - 0*u. Let v = u - -34. Solve v*s = s - y - 2, 3*s = y + 12 for s.
5
Suppose -2*y - 2*j + 8 = 0, 30 = 3*y - 3*j - 0*j. Suppose 22 = 5*i + y. Solve -w + 5*w = i*h + 8, -w + 5*h = -2 for w.
2
Suppose 0 = -3*l - l + 7*u - 28, 16 = -4*l + 4*u. Solve 2*q = -6, -2*j + q + l*q + 3 = 0 for j.
0
Suppose 2 + 2 = -4*u. Let t be (10/u)/(3 + -5). Solve -2*g + 6*g = -t*f + 15, 3*f - 4*g = 9 for f.
3
Let j be (-8)/(-10) - 24/30. Let x be 1 - (3 - 2)*1. Suppose -2*l + j*l = x. Solve 5*v - 10 = 5*f - l, v = 2 for f.
0
Let o(f) = f**3 - f + 9. Let u be o(0). Solve -2*q - 7 = 4*h - u*h, -q + 3 = 4*h for h.
1
Let y(g) be the first derivative of -g**3/3 - g**2 - 4*g + 2. Let t be y(-4). Let h be (-80)/t*(-6)/(-4). Solve 5*o - 2*q - h = 0, -5*q = -5*o + 3 + 7 for o.
2
Let a(x) = 8*x - 11. Let o be a(2). Suppose 3*m + m = 4*t - 32, 3*m = -o*t. Solve 4*r - 3*v - 12 = v, -5*v - t = r for r.
2
Let y be 100/8 - 1/2. Suppose 0 = 5*q + 2 - y. Suppose 2*x - q = -m, 0*m + 3*m = 4*x + 16. Solve 0*b + b + 5*a = 24, 0 = b - 2*a + m for b.
4
Let i be (-20)/(-150) - 596/(-30). Let l be (15 - i)/((-2)/8). Solve 4*v = l, 0 = -0*p + 4*p + 2*v - 10 for p.
0
Let l(c) = 2*c - 21. Let q be l(10). Let n(m) = 15*m**2 + 3*m. Let b be n(q). Solve -3*j = 4*p + 14, -5*j - p = -0*p + b for j.
-2
Let p(f) = -5*f + 24. Let v be p(4). Let n be (-6)/(-24) + 19/v. Solve -4*z + 0*z + b - 17 = 0, n = 2*z - 5*b for z.
-5
Let i = -71 - -71. Let l be 7 + (-1 - (2 - 0)). Suppose 0 = l*j - 5 - 3. Solve 5*g - 5*d = i, -5*g - j*d + 10 = 3*d for g.
1
Suppose 5*z = -z + 18. Solve 2 = 3*x + a - z, -20 = -3*x - 4*a for x.
0
Let h(c) = -3*c - 1. Let u be h(-1). Suppose 0 = -l + p - 1 + 2, 8 = 2*p. Solve l*k + 6*i - 17 = 3*i, k - u*i = -7 for k.
1
Suppose -4*w = 4*a + 4, 12 = 3*a - 3*w - 15. Suppose -a*y = -16 + 4, y - 3 = -3*f. Solve -2*l + f*l = 4*c - 8, -5*l - 24 = -c for c.
4
Suppose -12 = -4*g - 28. Let w be ((-14)/g + 3 + -5)*12. Solve -4*c = -3*x - w - 2, 20 = -5*x + 4*c for x.
0
Let y(n) = 6*n + 17. Let v be y(9). Let z = v - 70. Solve -2*a + u = z, -4*u = 4*a - 11 - 5 for a.
1
Suppose -5*q - 7 + 34 = j, -3*q + 15 = 0. Let p(t) = t + 1. Let d be p(j). Let v be -1*(d + -2)*-3. Solve -7*z + 2*z - 2*c = -21, -v*c - 21 = -3*z for z.
5
Suppose -2*