or f.
-2
Let u(y) = y - 5. Let p be u(4). Let m be 18/(-12) - p/2. Let a be 3/(m/(0 + -1)). Solve -3 = 3*x + a for x.
-2
Let q(h) = h - 6. Suppose 0*j - j = 0. Let y be q(j). Let u = y + 7. Solve 0 = 3*w - 2*w + u for w.
-1
Suppose 19 = -8*v + 51. Solve -21 = -5*m + v for m.
5
Suppose -3*j = -2*j - 4*r - 31, 0 = -j - 5*r - 14. Let d = 35 - j. Suppose 2*u + 20 + 4 = 4*t, 0 = -4*t + 5*u + d. Solve -3*l + t*l - 9 = 0 for l.
3
Suppose -3*t - 9 = 18. Let u be t/3*-1 - -8. Solve 0 = 4*v - u - 1 for v.
3
Suppose 0 = -4*p + 5*s - 12 + 37, 3*s + 21 = 3*p. Suppose 5*o = p + 10. Suppose -20 = -5*q + 4*m, -o*q - 4*m = -2*q + 20. Solve 2*y - 1 + 5 = q for y.
-2
Suppose 3 = -6*f + 3. Solve f = -5*l - 25 for l.
-5
Let m(r) = 1 - 4 - r + 0 - 4. Let n be m(-4). Let l be (-1 - n) + -1 - -3. Solve 3 + 9 = l*o for o.
3
Suppose 4*r + 3*z - z = 18, -12 = 4*z. Let n be ((-3)/r - 0)*4. Let m be (2*(-3 - -1))/n. Solve -m*k = k for k.
0
Let f(b) = -b**3 - 7*b**2 - 6*b + 4. Let r be ((-8)/10)/((-4)/20). Suppose 5*g - r*z + 67 = 21, -4*g - 20 = z. Let v be f(g). Solve 1 + 3 = v*i for i.
1
Let f = -24 + 25. Let k(w) = w**2 + 3*w - 2. Let y be k(f). Solve y = h - 2 for h.
4
Suppose 3*t + 25 = -z, t = 3*t - 3*z + 35. Let y(i) = i**2 + 10*i + 3. Let l be y(t). Let d = l - -1. Solve 0 = -p + d*p for p.
0
Let m(z) = -z**3 + 9*z**2 + 2. Let b be m(9). Let q be (-4 + b)/(-2 + 0). Let v be (2/(-2) - -9)/q. Solve -v = -h - h for h.
4
Suppose 0 = -14*j + 18*j. Solve j = -5*a + a for a.
0
Suppose -4*p - z - z = -14, 5*z + 30 = 3*p. Suppose 2*x = -p*x + 35. Solve -x - 4 = -3*t for t.
3
Let k = 4 - 1. Suppose -g = -1 - 5. Let f be (10/g)/(3/27). Solve f = k*i + 2*i for i.
3
Suppose 4*v + 12 = 0, 2*a + 16 = 4*a - 4*v. Solve a*q = q for q.
0
Suppose 2*g - 16 = -2*g. Suppose -v + 1 + 1 = 2*c, -17 = -g*v + c. Solve 5*a - a = v for a.
1
Suppose -2*k + k + 5*x = 17, 5*x = 20. Solve t = -k*t for t.
0
Suppose 2*w - 5*y = -19, 4*y - 4 = 2*w + 10. Solve t + w*t - 12 = 0 for t.
3
Suppose -3*b - 5*d = 21, 3*b + d - 5*d - 6 = 0. Suppose 0 = -0*r - 3*r - 36. Let j be (r/15)/(b/5). Solve -j = -2*f - 6 for f.
-2
Let c(q) = -q**3 - 11*q**2 - 11*q - 7. Let g be c(-10). Let t = 1 + g. Let b(a) = a**3 - 8*a**2 + 9*a - 2. Let l be b(7). Solve t*w - l = -4 for w.
2
Let v be ((-9)/6)/((-1)/2). Solve -v*k = 4 + 2 for k.
-2
Let g be -14 - 1/3*0. Let i = -12 - g. Solve -i = -2*c + 6 for c.
4
Let h = -36 - -34. Let o = -1 + 1. Let r = o - h. Solve t - 1 = r for t.
3
Let w(r) = r**3 + 9*r**2 - r - 9. Let c be w(-9). Suppose y + c = 4. Solve -l = -y*l for l.
0
Let t be (-1 + 2)/((-2)/(-4)). Suppose t*a = a. Solve 4*b + a*b - 8 = 0 for b.
2
Let s = 4 - 8. Let c = s + 8. Solve -g = c*g for g.
0
Suppose 0*z - 108 = -4*z. Solve 0 = -5*j - z + 2 for j.
-5
Let s = -10 + 9. Let g be -3 + 3 - 3*s. Solve 3*u + 12 = -g for u.
-5
Suppose 2*i = -i - 6, -i = 4*q + 14. Suppose 12 = -3*a + 2*a. Let f be 2/(-8) + q/a. Solve -5*z - 5 = -f for z.
-1
Suppose 5*g + 5*j = 0, 0*j + 4*j + 16 = 0. Suppose 56 + g = 3*k. Suppose k = -2*p + 5*m, -p - 8 = 2*p - 2*m. Solve 2*u + 3*u + 25 = p for u.
-5
Suppose 5*w + 45 = 4*c, 3*w = -2*c - 6 + 1. Let y = 17 - c. Solve -5*s - y = -s for s.
-3
Let d = -1 + 1. Suppose 12 = -d*l + 3*l. Let f(u) = u**3 - 4*u**2 + 1. Let m be f(l). Solve 0*w - m = w for w.
-1
Let r(f) = f**3 + 5*f**2 - 5*f + 6. Let k be r(-6). Let h be (1 + k - -5)/2. Suppose h*z - 2*z = 4. Solve -5*u = -4*u + z for u.
-4
Let x = 28 - 23. Suppose 0 = -h, -4*a + a + 45 = -4*h. Solve 2*j + a = x*j for j.
5
Let a be (0/1)/(-3 + 0). Solve 0 = -a*r + 2*r - 2 for r.
1
Suppose 7 - 1 = 3*z. Solve z*p - 7*p = 5 for p.
-1
Let o(t) = 2*t**2 - 4*t + 1. Let w be o(4). Let c = w + -6. Solve -5*q + 4 = -c for q.
3
Suppose -5*i + s + 8 = 3*s, 2*s - 2 = -2*i. Suppose -z + 43 = m + 2*m, 2*z - i = 0. Suppose 3*u - 19 = -1. Solve 4*j = u + m for j.
5
Let k = -4 - -43. Let d = k + -14. Let w = 113 - 106. Solve -w*j = -2*j + d for j.
-5
Let b be (1 + 0)*1 + 5. Let s = -6 + 12. Solve -s = 4*w + b for w.
-3
Let l = 5 - 3. Suppose l*p - p - 3 = 0. Solve -s = -p*s for s.
0
Suppose 0 = -2*f - 2*l + 18, -2 - 7 = -2*f + l. Suppose 4*x - 5*x - f = 0. Let s be (-3)/x - (-27)/2. Solve 0 = 5*a - 1 - s for a.
3
Let i(w) be the third derivative of -w**6/24 - w**5/30 - w**4/24 - w**2. Let j be i(-1). Suppose 0*n - 2*n + j = 0. Solve n*d = -d + 15 for d.
5
Suppose -3*d + 10 = 2*s - 5, -5*s + 3*d - 15 = 0. Solve 3*c = -s - 3 for c.
-1
Let q(f) = f - 4. Suppose -15 = -2*y + 3*y. Let o be y/(-2) + 18/(-12). Let g be q(o). Solve p - 4 = g*p for p.
-4
Suppose 3*r + r = 48. Suppose 2*p + 3*p = -30. Let f be (-4 + 5)/((-2)/p). Solve -f*v = v - r for v.
3
Let j be 4 + 1 + -3 - (12 - 14). Solve -j + 16 = 4*u for u.
3
Let f(u) be the first derivative of u**3/3 + 5*u**2/2 - 12*u - 1. Let g be f(-9). Suppose -g = -3*l + 21. Solve -4*v = -1 - l for v.
4
Let r = -10 + 10. Suppose -3*m + 3*x + 3 = r, 0 = -3*x - 3. Solve -i + 2 = -m*i for i.
2
Let d(i) = i**3 - 4*i**2 + 2*i. Let l be d(4). Suppose -5*j - 19 + 139 = 0. Suppose -3*t + j = 9. Solve -p - l = -t*p for p.
2
Let m be 2/(-3) - (-4)/6. Suppose -o - 17 = -3*c - m*o, -4*c + 18 = o. Let y = 2 - 1. Solve -4*w = -y + c for w.
-1
Suppose 3*z + n + 12 = -2*n, -2*n = 4*z + 8. Solve z = -3*f + 1 - 13 for f.
-4
Suppose 0 = -3*n - 2*p + 6*p + 17, 2*p = -4. Solve n = z + 7 for z.
-4
Let j(m) = -8*m - 12. Let b be j(-2). Solve -7*c + b = -3*c for c.
1
Let d be ((-5)/(-25))/(2/10). Solve 5*h = -21 + d for h.
-4
Let f be 2 + 0 + 3 - 0. Suppose 3*g = h - 2 + 3, 5*h = 5*g + f. Solve 2 + h = -2*w for w.
-2
Let q = 3 - 0. Suppose -5*r = -q*i - 30, -2*i - 2*r = -4*i - 16. Let p be (1/(-2))/(i/20). Solve p = 4*m - 6 for m.
2
Let z(m) = 2*m. Let u(n) = 4*n + 1. Let q(i) = -2*u(i) + 3*z(i). Let d be q(-7). Let a be d/(-8)*(-2 + 0). Solve -4*w = -5*w - a for w.
-3
Let s = -32 - -47. Suppose -3*g - a = -0*a + s, -4*g - 2*a = 20. Let w(n) = n + 9. Let h be w(g). Solve 0*b + h*b = 0 for b.
0
Suppose 0 = -5*v + 3*c + 37 - 12, -2*c + 10 = 0. Solve -5*z - 7 - v = 0 for z.
-3
Suppose -3*z + 21 = 3*t, 5*t = -4*z + 20 + 10. Solve k + k = -t for k.
-1
Let a(m) = 4*m. Let z be a(1). Solve z*f - 5 = 3 for f.
2
Let w(z) = z + 5. Let v be w(-5). Let a(u) = 2*u**3 - 3*u**2 + u - 1. Let g be a(2). Suppose -g*q = -2*s - 5 - 7, 2*q = s + 5. Solve -2 = -q*n - v for n.
1
Suppose 3*v + 5*q = 56, 0 = 5*v + 3*q - 32 - 56. Solve -3*a = 5 - v for a.
4
Let h(d) = -2*d - 2. Let z be h(-2). Suppose 0 = 3*n + 4*u - 4, 2*n + z*u = 6*u - 4. Solve n = -0*x + 2*x - 4 for x.
2
Suppose 0 - 12 = -a - 3*s, -4*s = -12. Suppose g = -a*q - 6 + 1, -5*q = 10. Suppose 5*k + 3*p = 23, 6*k = k + 5*p + 15. Solve -k*u + 11 = -g for u.
3
Let m = -5 - -9. Let v = m + -2. Let k be v/7 + 136/14. Solve -k + 4 = -3*j for j.
2
Let d be (-14)/21*18/(-4). Suppose -4*k + a = -7*k + 5, 5*k = -4*a + 6. Solve 5*n = d + k for n.
1
Let h(b) = 5*b**2 - 1. Let m be h(-1). Let u = m - 1. Suppose -u*v = v. Solve v = 2*l + 3 - 13 for l.
5
Let d be (-2)/5 - (-219)/(-15). Let j be (-8 + 7)/((-1)/(-11)). Let a = j - d. Solve -a*o + 15 = o for o.
3
Let c be (140/(-14))/(-2 - 0). Suppose -c*v = -2*j + 25, 5*v = -5*j - 4 + 14. Solve g = -4*g + j for g.
1
Let d = 1 - 1. Let m be 0 - -1 - (1 + -4). Let f(l) = -l**2 + 5*l - 2. Let p be f(4). Solve m*b - p*b + 4 = d for b.
-2
Let b be (3/(-9))/((-2)/12). Let x(q) = -3*q + 1. Let o be x(-5). Suppose -10 = -3*v - c + o, -4*v + 38 = -b*c. Solve -2*m + v = m for m.
3
Let y = -1 + 5. Solve 0 = 5*a - 4*a + y for a.
-4
Let p(h) = h**3 - 17*h**2 + 16*h. Let o be p(16). Let g be (-8)/6*3/(-2). Let c = o + g. Solve 0 = -c*s - 2*s + 4 for s.
1
Let n be 6*3/(12/(-2)). Let b = 1 - n. Solve a + b*a + 5 = 0 for a.
-1
Suppose i - 4*b + 2*b - 30 = 0, -3*i + 96 = -3*b. Suppose -134 = -5*n - i. Let x = -4 + 12. Solve -3*a - n = -x*a for a.
4
Let y(l) = 2*l - 10. Let t be y(7). Suppose -g = t*g - 20. Let a be (-3)/12 + 66/8. Solve -4*v - g = -a for v.
1
Let n(j) = -j**2 - 4*j. Let b = -8 - -5. Let t be n(b). Solve t*c = -20 + 8 for c.
-4
Let l(m) = -m + 6. Let z be l(4). Let d(r) = r**3 - 3*r**2 - 5*r + 4. Let x be d(4). Suppose x = g + 2*g - 9. Solve 0 = w - z*w + g for w.
3
Suppose -s - 49 = -2*i + 82, s = -i + 61. Let z be 5/(-4*(-4)/i). Let f = 1 + 2. Solve -2*u + z = f*u for u.
4
Let a