 f.
3
Suppose -h - 3*h = 0. Solve -a - 2*a = h for a.
0
Suppose 3*a - a = 4*a. Solve 4*p - 1 - 11 = a for p.
3
Suppose -6*b - 5*t - 15 = -b, 4*b + t = 3. Suppose -1 + 3 = 2*m. Let z be 1*(m + -1 + 3). Solve -z*l = -b*l - 2 for l.
2
Suppose 0 = 5*z + 3*a + 3 - 23, 0 = -2*a. Solve -f = z*f - 25 for f.
5
Let l = -6 - -10. Let h be 1 - 0 - (l - 7). Suppose -3 - 9 = -h*s. Solve 2*o = -s*o for o.
0
Let p(j) = 3*j + 0 + 6*j**2 - 5 - 3 + j**3 + 2. Let b be p(-5). Solve -4*u - b = -16 for u.
3
Let r(l) = -l**2 - 8*l + 2. Let b be r(-8). Suppose 4*g - 7 = 3*t, 0 = 2*g - t + 3 - 4. Let v be b/4 + (-9)/g. Solve -v*n + 20 = -n for n.
5
Let d be 4 + 1 + (-6 - -6). Solve 4*v = d + 3 for v.
2
Let x(y) = -3*y - 15. Let d be x(-7). Solve 4*k + d + 6 = 0 for k.
-3
Let l(t) be the first derivative of t**2/2 + 2. Let s be l(1). Solve -w + s = -4 for w.
5
Suppose 3*v = -272 - 487. Let s = 436 + v. Let x be (-3)/(-4) + s/12. Solve -4*p = -0*p + x for p.
-4
Let x = 179 - 178. Solve -2*b + x = 5 for b.
-2
Let v(o) = o**2 - 5*o - 9. Let h be v(7). Suppose n + h = 4*q, -5*q - 5*n - 4 - 21 = 0. Solve q*u = 4*u - 8 for u.
2
Let r(j) = -j + 1. Suppose -4*q - 24 = -7*q. Let t(z) = -z**2 + 9*z - 7. Let n be t(q). Let l be r(n). Solve 3*s - 17 + 2 = l for s.
5
Let l be -8*(-3)/14*7. Suppose 8 = -4*p + l. Solve -u - p = 1 for u.
-2
Suppose 5*a - w - 22 = -0*a, 0 = -4*a + 3*w + 22. Let k = a + -4. Suppose 0 = -3*c + 5*u - k*u + 49, -44 = -3*c + 4*u. Solve -z - c = -3 for z.
-5
Suppose 0 = -5*z - 6 + 16. Suppose 5*k + 42 = -4*q, 5*k + 0*k = -3*q - 39. Let r(o) = -o**2 - 7*o - 2. Let p be r(k). Solve -p*s + z + 6 = 0 for s.
2
Suppose 60 = -2*d - 4*d. Let b(u) = -2*u**2 - u. Let q be b(-2). Let r be q/(-30) + 2/d. Solve r = -4*m - 0*m for m.
0
Suppose -3*d - 15 = -2*f, 3*d = -5*f + 4*f - 6. Solve 0 = f*q + q - 20 for q.
5
Let r be (-2)/(-5) + 46/10. Solve 5*t = r - 30 for t.
-5
Suppose 0 = -10*w + 8*w + 8. Solve -x - w = x for x.
-2
Suppose 3*y - 4 - 5 = 0. Solve -2 = -5*l + y for l.
1
Let y = 29 - 25. Solve y = k + 9 for k.
-5
Suppose -9 = -z - 0. Solve -z = -4*n - 1 for n.
2
Let f(i) = -2*i**2 - 13*i. Let j be f(-6). Solve -20 = v - j*v for v.
4
Suppose -3*f = -0*f - 2*m - 16, 5*f = m + 22. Let r = 21 + -15. Suppose f = -2*h + r. Solve 0 = -4*w - h + 17 for w.
4
Let w(u) = u**2 - 14*u + 18. Let z be w(13). Solve -16 + 6 = z*j for j.
-2
Let z be (-6)/9*(-15)/20*0. Solve -9 = -z*a - 3*a for a.
3
Suppose -5*c + 2*z = -2*c - 5, -c = -3*z - 4. Let y be 0/((2 - 1)/c). Solve 4*u + 4 = -y for u.
-1
Let x = -80 + 94. Solve x = 5*n - 6 for n.
4
Let l be 2/3 - (-14)/(-21). Let u be (12/(-10))/((-6)/20). Suppose u*b = -2*t + 14, 0 = -3*t - b + 3 + 8. Solve l*x - t = -3*x for x.
1
Let b(k) be the third derivative of k**5/60 + 5*k**4/24 - 3*k**3/2 + 10*k**2. Let d be b(-7). Solve 2 - 12 = d*g for g.
-2
Let q = 8 + -6. Let b be (-3 + q)*2 + 8. Suppose 0*s - c = 3*s - 47, 13 = s - c. Solve b*f = f + s for f.
3
Let l be ((-10)/20)/(1/(-2)). Solve -5*c + l = -4 for c.
1
Let b(q) = -q**3 + q**2 - 4*q - 2. Let j(m) = m**3 - m**2 - m. Let i(z) = -b(z) + 3*j(z). Let f be i(2). Solve 2*w - f = 7*w for w.
-4
Let b be 33/9 + (6/18)/1. Solve 1 = -b*j + 13 for j.
3
Let p = -16 - -25. Let t be (p/(-6))/(6/16). Let f be (-3 + (-9)/t)*-8. Solve -f - 6 = -3*h for h.
4
Let g = -78 + 81. Solve 0 = g*y - 8 + 20 for y.
-4
Let j(n) = n**2 + n - 5. Let c be j(-4). Let z = -2 + c. Suppose -5*l + 0*k - 2*k = -6, 2*k - 6 = z*l. Solve l = 2*h - h - 1 for h.
1
Let u(r) = -r - 7. Let n(f) = -f - 1. Let p(v) = 6*n(v) - u(v). Let j be p(-3). Solve -z = -5*z - j for z.
-4
Let p(k) = 7*k - 30. Let r be p(5). Solve r*z = 9*z - 20 for z.
5
Let a(l) = -l**3 + 10*l**2 - 9*l + 5. Let z be a(9). Solve -z*j + 3*j = 6 for j.
-3
Let d = 98 - 96. Solve d = -5*z - 18 for z.
-4
Let w be -14 - 0*(-2)/4. Let j = 20 + w. Solve -y - j = -3*y for y.
3
Let x be ((-2)/(-6))/((-9)/(-81)). Solve x*i + 5 = -1 for i.
-2
Let x(l) = -2*l**3 - 2*l**2 + 5*l + 7. Let h be x(-2). Solve -h*i + i - 8 = 0 for i.
-2
Let x(l) = 2*l**3 - 1. Let u(o) = o + 13. Let c be u(-12). Let h be x(c). Solve 5 = -4*v + h for v.
-1
Let b = 9 - -2. Let j(p) = -p**3 + 10*p**2 + 10*p + 11. Let x be j(b). Suppose v - 3*v - 5*a - 10 = x, 0 = -2*v - 2*a + 2. Solve r - v = -0*r for r.
5
Let a = 7 + -6. Let x be (8/(-12))/(a/(-15)). Let u = x - 6. Solve 5 + u = -3*g for g.
-3
Suppose -19 = -2*r + 4*x + 31, 2*r - 5*x - 50 = 0. Solve -3*g = 2*g + r for g.
-5
Let v be 6*-1*(-2)/3. Suppose 0 = -w - 2*s - v, 5*w - 2*w - 38 = 4*s. Let h be (3 - (-4 + 17))*(-2 + 0). Solve -w*p = -p + h for p.
-4
Let a(r) = r - 4. Let u be a(3). Let z(j) = -3*j**3 - j**2. Let k be z(u). Solve -k*d - 9 = d for d.
-3
Let s be ((-10)/15 + (-6)/9)*-3. Solve 2*f = -0 + s for f.
2
Let z(v) = -v - 9. Let g be z(-11). Let m(c) = c**2 - 4*c - 6. Let w be m(5). Let a = 1 + w. Solve -b + g*b = a for b.
0
Suppose 0*c + 12 = -2*k + 4*c, 2*k + 16 = 5*c. Suppose -k*f - 2*f = -40. Suppose 4*x = 2*a + 3 + 23, 2*x + a - 3 = 0. Solve f = m + x*m for m.
2
Let u = 12 - 7. Let y(l) be the first derivative of l**2 - 7*l - 31. Let s be y(u). Solve -2*m = -s*m for m.
0
Let f = 67 - 59. Solve -4*n = -2*n - f for n.
4
Let q be -3*(-8)/12 - -2. Solve q*f = 7 + 1 for f.
2
Suppose -15 = 3*q, -5*a + 4*q + q = -65. Solve 7*b = 3*b + a for b.
2
Suppose -4*c = r - 2*c - 5, 3*r + 4*c = 13. Solve -k - r = -2*k for k.
3
Suppose a - 13 - 1 = 4*b, -3*a = -5*b - 14. Let m = a + 7. Suppose -5*z = -5*n + 10, -20 = -m*z - 2*n - 2. Solve z*d - 3 + 7 = 0 for d.
-2
Let b = -49 - -34. Let p = -11 - b. Solve -17 = -p*z - 1 for z.
4
Suppose 5*a + 2*z = 23, 8 = -3*a + 3*z + 26. Suppose a*o - 6*o - 1 = -2*b, -b = o - 8. Solve b*d - d - 10 = 0 for d.
5
Let w(k) = 16*k**3 - 1. Let b be w(-1). Let q = -14 - b. Solve -q*i = -5*i - 8 for i.
-4
Let j(h) = h**3 - 6*h**2 + 2*h - 11. Let v be j(6). Solve v = -0*a - a for a.
-1
Suppose -v - 3 = -2*m, 0*v + 5 = -5*m + 5*v. Solve 1 + m = -5*l for l.
-1
Let k(g) = -3*g**3 + 13*g**2 - 19*g + 1. Let o(q) = -4*q**3 + 19*q**2 - 28*q + 1. Let j(n) = -7*k(n) + 5*o(n). Let f be j(-5). Solve -p + f = -5*p for p.
-2
Suppose -t = -q, -2*q = -5*t + 15 - 6. Suppose -2*c - c = -18. Solve 0*d = -q*d + c for d.
2
Suppose 0 = a + 4 - 8. Solve -13 = a*t + 7 for t.
-5
Let a(h) be the first derivative of -h**4/4 - 2*h**3 + 7*h**2/2 + 2*h + 3. Let k be a(-7). Suppose f - 5 = c, k*f - 6*f = 2*c + 10. Solve -2*j + 6 = -f*j for j.
3
Let z be 4/(-4) + (-6)/(-2). Let a = -6 + 10. Solve -a*n - z = -2*n for n.
-1
Let f(j) = j**3 - 8*j**2 + 1. Let q be f(8). Let x = -1 - -1. Suppose x = 2*v - v. Solve -2*o - q - 1 = v for o.
-1
Let m = 22 + -22. Solve m = -0*w + w - 2 for w.
2
Suppose -2*f + 125 - 115 = 0. Solve f*m = 2 - 7 for m.
-1
Let a be (1*3)/((-3)/(-2)). Suppose 5*r = 5*q - 5, r - a*q = -4 - 0. Suppose 0 = i + m - 10, -3*i + m + 18 = -r*m. Solve -o = o - i for o.
4
Let q(b) = 3*b**3 + 3*b**2 + 3*b**3 + 3 - 7*b**3. Let p be q(3). Solve p*u + 5 = 2*u for u.
-5
Let x = -1 + 0. Let g be (-6)/12*(1 + x). Solve g*j + 5*j = 0 for j.
0
Suppose 2*l - 10 = 0, -2*c - 2*c + 53 = l. Suppose 1 = 5*n + 21, -3*n + c = 3*o. Solve 2*b - o = -2*b for b.
2
Suppose 0 = -l + 12 - 4. Let n(d) = d**3 - 8*d**2 - 17*d + 72. Let x be n(9). Solve -4*o - 8 - l = x for o.
-4
Let c(n) = 2*n + n - 5 - 5*n + n. Let x be c(-7). Suppose x = -4*d + 6*d. Solve u = -0 - d for u.
-1
Let z(p) = -p**2 - 3*p + 2. Let t be z(-3). Let l = t + 0. Let f = -1 + l. Solve -9 = -2*d + f for d.
5
Let u = 63 + -60. Solve 0 = 2*h + u*h + 10 for h.
-2
Let u be (-7)/(-28) - (-15)/4. Let a = u + -4. Solve 0*s - 3*s = a for s.
0
Suppose -2*u = 4*d - 6, d - 24 = -0*u - 5*u. Let g = 9 - u. Solve 3*c = g*c - 2 for c.
2
Let b = 25 + -23. Let x(g) = -g**2 - 4*g - 3. Let s be x(-3). Let z = s + b. Solve z*w - 16 = -2*w for w.
4
Let s = -8 + 8. Suppose 0 = 5*l + f + 5, s = f + 3 + 2. Suppose 3*u - 3 - 12 = l. Solve 4*d + u = -7 for d.
-3
Let r(y) = -3*y - 15. Let m be r(-11). Solve 3*i + 3 - m = 0 for i.
5
Let y(j) = j**3 + 11*j**2 - 12*j + 4. Let s be y(-12). Let r be (9 + 5)*s/14. Solve r*k + k = 0 for k.
0
Let s(m) = 2 - 4*m + 14*m**2 - 7 - 13*m**2. Let r be s(5). Let u = 7 - 4. Solve r*t = t + u for t.
-3
Let g be -2 - 0/(-2) - -12. Suppose 0 = -3*j + g + 2. Solve -1 + 5 = j*t for t.
1
Let m