et k(t) = -5*t + 6. Let a(y) = -2*k(y) + 3*l(y). Let i be a(0). Solve 0 = -4*d - 2 + i for d.
1
Suppose -f = 3*f - 20. Let k be (-3)/f + 51/(-15) - -10. Solve 0 = 2*b - k for b.
3
Suppose -3*l + 12 = l. Let h(v) = -v - 2. Let i be h(l). Let n = i - -11. Solve -2*u - u = -n for u.
2
Let o = -119 - -122. Suppose o*i + 3*b - 3 = 0, -b = i + 4*i - 13. Suppose 6 - 30 = -2*a. Solve -i*k + 0*k = -a for k.
4
Suppose 49 = 5*w + 2*d, 35*w - 31*w - 4*d - 56 = 0. Solve -108 = -w*p - 16*p for p.
4
Suppose -6*x - 369 = -951. Let b = x - 94. Solve 7*m - b*m + 4 = 0 for m.
-1
Let b(i) = 4*i - 26. Let v be b(10). Suppose 2*c = -5*n + 25 + 7, -1 = -n + 5*c. Solve -n = 4*d + v for d.
-5
Let x be 2/(-3) + (-40)/3. Suppose -128 = -3*w - 185. Let v = x - w. Solve -v*b - 18 = 2 for b.
-4
Let i = 18 - 18. Suppose -6*h + 11 + 7 = i. Suppose 4 = -h*r + 4*k + 27, -2*r + k + 7 = 0. Solve a = 2 + r for a.
3
Let w be (-6)/10 - (-4 - 40/25). Suppose 0*l + 60 = w*l. Solve -5*v - l = -2*v for v.
-4
Suppose 0*o = 2*o - 6. Suppose -2*v + o + 17 = 0. Let w(p) = -p + 12. Let m be w(v). Solve -y + 1 = -m*y for y.
-1
Suppose -u = -4*u + 15. Suppose u*j + 21 = 3*o, -4*o + 35 = -j - 10. Suppose 5*y - 4*i = 52, 3*y + 2*i = -y + 26. Solve y*g - 4*g = -o for g.
-3
Let c = 4 + 8. Let j = c - 8. Let n = j - -2. Solve x - 2 = -n for x.
-4
Let d = 51 + -30. Suppose -9*y + 2*y = -d. Solve 7 = 2*f + y for f.
2
Suppose -5*w = -4*g - 449, w - 3 = -2. Let a = -96 - g. Solve 4*b = b + a for b.
5
Suppose -3*g + 34 = 322. Let i be (1 + 16/(-12))*g. Let s = i + -22. Solve -w + s = w for w.
5
Let y = -1051 - -1066. Solve 0 = -y*c + 11*c for c.
0
Let c(p) = p**2 - 18*p - 17. Let x be 192/10 - 5/25. Let f be c(x). Solve 2*t - 8 = -f*t for t.
2
Let f(h) be the first derivative of 3*h**3 - h**2/2 + 1. Let u = -99 + 98. Let y be f(u). Solve 0 = -z - z - y for z.
-5
Let m = -33 + 29. Let v(i) = i**3 + 3*i**2 - 3*i + 6. Let l be v(m). Solve -p = l*p for p.
0
Let q(d) = -d - 6. Let v be q(-12). Suppose 7*l = 23 - 9. Solve v*i - l*i - 12 = 0 for i.
3
Suppose 555 = -36*o + 1311. Solve -o = 6*t - 39 for t.
3
Let j(m) = -m**2 + 9*m + 2. Let p be j(8). Solve -5*s - p = -25 for s.
3
Let v(o) = -o + 11. Let s be v(13). Let c be (3 - 4)*s - 0. Suppose c*d + 0 = 4. Solve -d*y + 2 = -0*y for y.
1
Let z be 12/(-9)*(-429)/22. Let f be z/7 - 12/(-42). Solve -5*j + 1 = -f for j.
1
Suppose f - 10 = -4*u - u, 2 = 2*u. Suppose 4 - 12 = -f*w - 3*p, 20 = 3*w - 2*p. Let n(j) = j**3 + 2*j**2 - j + 6. Let z be n(-3). Solve -w*b = -z*b for b.
0
Let o be ((-1)/3)/((-7)/105). Suppose -m + o + 11 = 0. Suppose -3*z + 4*i = -0*i - m, -5*z - i = 4. Solve 2*u + 3*u - 25 = z for u.
5
Let x = 17 + -15. Suppose -x*m + 7*m = 0. Solve m = -2*j + 3 + 7 for j.
5
Let m(f) = f**3 + 8*f**2 + 8*f + 7. Let z be m(-7). Suppose 0 = -i + 18*j - 15*j + 12, 5*j + 20 = i. Solve i = 4*w + 8 - z for w.
-2
Let a = 6 - 3. Suppose 2*n = 3*n + 5*t - 8, 0 = a*n + 2*t - 11. Solve n*k + 3 = 6 for k.
1
Let o = 9 - 4. Suppose 0 = 3*m + 15, -4*m + 5*m = -2*c - 5. Solve 0 = -o*g - c*g for g.
0
Suppose 0 = x + 31 + 8. Let w = x - -40. Solve w = d - 0*d for d.
1
Suppose 3*r = 3*k - 0*k, 2*k = -5*r + 7. Let a be (3 - k)*((-25)/(-10))/1. Solve -4*o + a = -3 for o.
2
Let u(o) = -3*o**2 - 16*o + 12. Let i be u(-6). Suppose -w + 7*w - 24 = i. Solve 0 = -g - w for g.
-4
Let y(p) = p - 7. Let j be -1 + 1 - (-40)/10. Suppose 2*d = 10 + j. Let i be y(d). Solve i = k + 4*k + 5 for k.
-1
Let o(m) = 2*m**2 + 0 - 6 - 8*m**2 + 5*m**2 + 10*m. Let y be o(9). Solve -y*v + 5*v = 0 for v.
0
Let a(g) = -g**3 + g**2 - g - 8. Let q(p) = 3*p**3 - 2*p**2 + 2*p + 24. Let d(o) = 11*a(o) + 4*q(o). Let k be d(-4). Solve -k*j + 9 = -j for j.
3
Suppose -y = -5, -32*l - y = -29*l - 5. Solve l = -2*g - 8 + 14 for g.
3
Let t be (-3)/(-5) - (-40)/(-25). Let g be (t/3)/((-1)/294). Suppose 46 = 9*o - g. Solve -j - o = -5*j for j.
4
Let a = -23 - -11. Let w be 8/a*9/(-2). Suppose 5*g = -q + 9 + 3, -18 = -4*g - 5*q. Solve -p + g*p + w = 0 for p.
-3
Suppose -3*l = 2*l - 25. Suppose 0 = -l*u + 11 - 1. Solve 5*x - 3*x - u = 0 for x.
1
Let r = -17 + 22. Suppose i + 4*v = 20, 0 = -4*i + 2*i - 3*v + 20. Suppose i = -r*o + 9*o. Solve -3*h = -8 - o for h.
3
Suppose 0 = 5*i + 20, -5*i - 16 - 8 = 2*j. Suppose 0 = 124*d - 118*d + 6. Let a be (-3)/j*(3 + d). Solve -2*q = -a*q - 4 for q.
-4
Suppose 15 = 3*o - d, 2*o - 5*d = -d + 20. Let m be ((-5)/(-50)*-5)/(2/(-8)). Solve m*i - o*i - 10 = 0 for i.
-5
Suppose 0 = 4*n + 73 + 31. Let x = n - -30. Solve -t = -x + 3 for t.
1
Let l be (-9)/27 - (-2)/6. Let v be l - (-2 + 1)*68. Let b = v + -48. Solve 0 = 6*o - 2*o + b for o.
-5
Let o be 326/14 + (-14)/49. Suppose -2*q + q + 17 = -3*u, 2*u = 3*q - o. Solve 0 = 3*j - 17 + q for j.
4
Let m(g) = g**3 + 8*g**2 - 8*g - 2. Let l be m(-11). Let q = l - -112. Let c be (0 - -1)/((-15)/q). Solve 5*v = -c + 1 for v.
-2
Suppose 4*d - 10 = -2. Suppose 5*r = r - 2*w - 6, -21 = d*r - 5*w. Let f be (-2 + 2)/(r + 2). Solve f = -4*a + 8 for a.
2
Suppose -4*i + 3*v = 0, -32*i = -37*i - 2*v. Let q be (-24)/(-9) - (-1)/3. Solve -5*a + q + 2 = i for a.
1
Let v be (0/6 - 0)/(-1). Let j = 58 - 49. Solve 2*z + z - j = v for z.
3
Let w be -4 + 10/(-35)*-21. Let h(x) = x**3 - 4*x**2 - 4*x - 1. Let b be h(5). Solve -w*p + b*p = -8 for p.
-4
Let g(r) = r**3 + r**2 - 3*r - 2. Let u be g(-2). Suppose -31*t - 28 = -10 - 18. Solve z + u*z = t for z.
0
Let z = -127 - -217. Let c = 96 - z. Solve d + 10 = c*d for d.
2
Let b = -254 - -258. Solve -3*p + 3 = -b*p for p.
-3
Let t be (-52)/(-104) - (-46)/4. Solve r - 14 = -t for r.
2
Let w(p) = -p + 4. Let x(t) = t**3 - 3*t**2 - 6*t + 4. Let o be x(4). Let i be w(o). Let m = i - 2. Solve 16 = -2*v + m*v for v.
4
Suppose -2 = -3*g + 2*v - 4*v, -5*g - 3 = -3*v. Suppose 5*z + a + 4 = g, -2*z - a - 4 + 0 = 0. Solve -x + z = 3 for x.
-3
Let k be 13 - 11 - -1*(-2 - 0). Solve k = -5*y + y + 4 for y.
1
Let x(s) = 3*s**3 - 4*s**2 + 5*s - 3 - 3*s**3 + s**3. Let a = 88 + -85. Let y be x(a). Solve -4*u - y = -5*u for u.
3
Suppose 4*k = -273 + 417. Solve 8*d - 12 + k = 0 for d.
-3
Let c = -16 + 18. Suppose -5*m - c*h = -0*h + 2, -h = -4. Let t(v) = v**3 + 3*v**2 + 2*v. Let d be t(m). Solve d = -0*b - b - 4 for b.
-4
Let x(s) = -s**2 + 14*s + 75. Let b be x(18). Suppose -f - b*v = -13, 5*f - 5*v - 23 = -6*v. Solve -5 - 3 = f*h for h.
-2
Let t be 0/(-3) - (-1 + 3). Let h be (1/t)/((-4)/120). Solve -2*p = p - h for p.
5
Let y = 1 + 1. Let f = 39 + -38. Let p = 1 + -1. Solve -c - f - y = p for c.
-3
Let a(k) = -3*k - 8. Let g be a(-4). Suppose -5*u = 5*z - 15, 15 = 5*u - 0*z - g*z. Solve -1 = -v - u for v.
-2
Let c = 16 + -14. Suppose 0 = c*q - 11 + 5. Solve 0*b - b = -q for b.
3
Let k = -5 + 4. Let r be (-5 - -5)*k/(-1). Let t be -1 + 1 + 1 + 4. Solve r = -b + 1 - t for b.
-4
Let g be 42/4*(3 + -1). Let s be 6/g - 19/(-7). Let h be (-3)/(0 - s - -2). Solve h*x + x = -4 for x.
-1
Suppose -3*p = 2*i - 2, 4*p = -8*i + 5*i + 2. Solve -p*c + 53 = 59 for c.
-3
Suppose -6 = 2*x, -4*c - 2*x - 30 = -0*x. Let z be 9/c*2/(-3). Suppose 3*i + 16 = 2*h + 5*i, 0 = -4*h + 5*i - 13. Solve 0 = -4*n + h + z for n.
1
Let s(v) = -v**3 - 4*v**2 - 6*v - 22. Let t be s(-4). Let k be 2/(-2) - 0 - -1. Let g = k - -3. Solve -i - t = -g*i for i.
1
Let t = 52 + -49. Solve 0 = f - 4*f + t for f.
1
Let b(p) = p**3 + p**2 - 2*p + 12. Let d be b(0). Suppose -r - 2*r = d. Let i be (-4)/(-6) + r/6. Solve h + 1 = -i*h for h.
-1
Let b(y) = -y**3 + 15*y**2 - 13*y - 2. Let u be b(14). Solve -9*c - 9 = -u*c for c.
3
Suppose -3*g + 16 = 1. Let l(a) = a + 3. Let j be l(-8). Let q be j + 3 - 46/(-2). Solve -4 = g*r + q for r.
-5
Let v(i) = i**3 + i**2 + i + 3. Let f(g) = -g + 9. Let n be f(9). Let x be v(n). Solve x = -y + 1 for y.
-2
Suppose 16 = a + 3*a. Suppose 3*y - 2*b = 0, y - a*b = -b. Solve -4 = -y*s + s for s.
-4
Suppose -2*n - 5*l = -3 - 2, l - 1 = -2*n. Let w(d) = -d**3 + 2*d**2 + 5. Let g be w(n). Solve g*f = f + 8 for f.
2
Suppose 2*k - 3*c = -c - 26, -2*k - 17 = -5*c. Let a(l) = -l**2 - 16*l. Let z be a(k). Let b be z*(4/2 + -1). Solve b = 3*w + 2*w + 25 for w.
-5
Suppose 83 = -2*k + 27. Let f = -24 - k. Let o be f/(-10) + (-289)/(-85). Solve -5*g + o - 8 = 0 for g.
-1
Suppose 0 = 4*t - 3*d - 16, 5*t - 5*d - 17 = 3. Solve p - t = -2 for p.
2
Let k(f) = -f