ve n + p - 7 = 0 for n.
4
Let y(p) = 2*p**2 + 6*p - 7. Let a be y(1). Solve 2 = f - a for f.
3
Let f be 3/(0 + 3) - 2. Let y(b) = -7*b**3 - b - 1. Let p be y(f). Solve -5*u = p + 13 for u.
-4
Let o(j) = -3*j - 35. Let f be o(-13). Solve -4*v - 12 + f = 0 for v.
-2
Suppose -4*t = -j - 13, 5*j + 5*t - 4 = 31. Solve 0 = -0*p + j*p - 6 for p.
2
Let y be (((-72)/(-4))/(-6))/((-3)/13). Solve y + 3 = 4*h for h.
4
Let v = -2 + 0. Let z = v + 5. Solve -z*q - 1 = 8 for q.
-3
Let u = -28 + 29. Solve o - u - 4 = 0 for o.
5
Suppose -2*p + 5*p = 12. Suppose -p - 6 = -2*k. Solve -25 = k*a - 0*a for a.
-5
Let a(x) = -x**3 + x**2. Let n be a(-2). Solve -u + n = 2*u for u.
4
Suppose 0 = -2*j + 5*u + 23, -4*j - 4*u + 61 = u. Let d be (12/j)/((-5)/(-35)). Let k = 14 + d. Solve -k = -o - 4*o for o.
4
Let u(x) = -x**3 + 4*x**2 + 4*x + 4. Let y be u(5). Let m = y - -21. Let t = 1 - -4. Solve -t*a = -0*a - m for a.
4
Let b = 15 + -10. Let h be (12/15)/(2/b). Solve p - h - 2 = 0 for p.
4
Let g(p) = p - 2. Let a(c) = c + 4. Let l be a(-2). Let o be g(l). Solve o = -4*v - 0*v - 8 for v.
-2
Suppose 0 = 5*w - z + 2*z - 3, -4*z - 12 = -4*w. Let u(d) = d**2 + 2*d - 1. Let f be u(w). Let x = -6 + 9. Solve x*g - 4 = f for g.
2
Suppose -28 = -4*d - 4*s, -4*s = 5*d - 25 - 7. Solve 2*v + d - 14 = 0 for v.
5
Let j(a) be the first derivative of -a**4/4 - 5*a**3/3 + 3*a**2 + 3*a - 3. Let f be j(-6). Suppose -d = f - 7. Solve m + d = 2*m for m.
4
Suppose 0*m = -4*w - 3*m + 9, 0 = -2*w - 5*m - 13. Suppose -w*g = -4*g. Solve g = -d - 0*d for d.
0
Suppose 2*z + 2*u = z - 3, 29 = 5*z - u. Solve -11 = z*k + 14 for k.
-5
Let t be 228/54 - 2/9. Suppose 4*a = -4*w + 12, 40 = t*a - w + 13. Let g be 60/a*(-3)/(-5). Solve 14 + g = -5*v for v.
-4
Let w(t) be the third derivative of -t**4/24 - t**3/3 - t**2. Let z be w(-4). Let s = z + 0. Solve -13 = -s*q - 5 for q.
4
Let q = -16 + 17. Let b be 1*(-14)/4*-2. Suppose 2*s + 25 = b*s. Solve -o - q = -s for o.
4
Let t = -15 + 32. Let s = -33 + t. Let g = s + 36. Solve 6*d - d = g for d.
4
Let p be 1 + 0 - (3 - 5). Solve p*w - w = 2 for w.
1
Let u = 1 + 1. Suppose z + u - 4 = 0. Suppose 2*q + z = 6. Solve 3*s - 5 + q = 0 for s.
1
Let z(j) = j**3 - 2*j**2 + j - 10. Let p be z(3). Solve p*b = -3 + 9 for b.
3
Let l be (-1)/3 - (-20)/6. Suppose 5*y - l*y = 10. Solve -y*m = 12 + 8 for m.
-4
Let u = 6 - 3. Let f be 2 + 4 + 0/u. Let a = f - 1. Solve a = 4*p - 15 for p.
5
Let u be (1 + -1 + -2)/((-51)/51). Solve -5*a - u = 3 for a.
-1
Let y be (1 - 1)/((-2)/(-1)). Suppose 4*n = 3*d - 0*n, 3*d + n = y. Let u = d + 2. Solve -u*t + 9 = t for t.
3
Suppose -14*l - 29 = -5*o - 10*l, -4*l = -4*o + 20. Solve 0 = -2*h + o - 1 for h.
4
Let q(o) = o**3 + 6*o**2 + 4. Let j = 16 - 22. Let r be q(j). Solve -2*i - r = -3*i for i.
4
Let b(s) = 12*s + 52. Let l be b(-4). Solve -c = l*c for c.
0
Suppose 0 = -2*o + 2*t + 4, 4*o - 6*o + t + 2 = 0. Solve -3 = -o*b + 3*b for b.
-1
Suppose 5 = -2*c + 19. Let z be 33/c + (-4)/(-14). Solve z*w + 8 = w for w.
-2
Let h(p) = -p**2 + 6*p - 3. Let m be h(5). Suppose m*f = f + 2. Suppose -i + 4 = f. Solve -n - 3 = -i*n for n.
3
Let v be (-4)/2*(0 - -3). Let b = v + 11. Solve j + b = 2*j for j.
5
Let l be 0 - (-1 - 1) - 2. Suppose l = -3*o + 1 + 5. Suppose o*n + t = 3, -2*t - 2*t = -2*n + 8. Solve -3*j + 1 = -n for j.
1
Let y(f) be the first derivative of -f**2/2 - 2*f + 2. Let q be y(-5). Solve -k = q*k for k.
0
Let q be (13/2)/(4/24). Let g be ((-15)/(-9))/5*q. Let h = -8 + g. Solve 0 = z - 2 + h for z.
-3
Suppose -m + 3*m = 0. Solve m = -3*c + 4 + 2 for c.
2
Let n be (-1 - (1 + -2))/(-1). Let m(x) = x + 9. Let a be m(n). Suppose -a = -b - 2*b. Solve -8 = -b*s - s for s.
2
Suppose -o + 4 = o. Suppose 4*k - 5*k = 3. Let g = o - k. Solve -q + g = -6*q for q.
-1
Let f(p) = -7*p**3 + 3*p**2 - 6*p - 2. Let x(g) = -13*g**3 + 6*g**2 - 11*g - 4. Let z(a) = 11*f(a) - 6*x(a). Let s be z(3). Solve -2*t - 8 = s for t.
-5
Let n(f) = -f**2 - 7*f + 10. Let m be n(-8). Let a be 1 + -5 + m + 2. Solve a*h - 5*h = 15 for h.
-3
Let a be ((-9)/6)/(-3)*-22. Let v = 11 + a. Suppose -4*z = -2*z - 4. Solve v = -4*n - 2 - z for n.
-1
Suppose -3*w = -5*d + 23, 2*d - 6 = w - 3*w. Suppose d*p - f - 5 = 2*f, -3*p + 5 = -2*f. Solve z + 4 = p*z for z.
1
Let q = 10 - 5. Solve -q*h - 1 + 26 = 0 for h.
5
Let n be (3 - 3) + 3 + -3. Suppose n = 3*s - 5*j - 11, j = s - 1. Let p be s/(-5) + 171/15. Solve 2*y - p = -2 for y.
5
Let t be (5 + -15)/(2 - 4). Solve -t*c - c = -18 for c.
3
Let r = -45 + 47. Solve 6*x - r*x - 8 = 0 for x.
2
Let o(j) = -5*j**2 + 4*j + 4. Let c be o(-2). Let l = 27 + c. Solve -l*d - 8 = -20 for d.
4
Let g be (5 - 0)*(1 + 0). Suppose -22 = -3*z + z. Suppose -6*m - 10 = -z*m. Solve -m*u + g*u = 0 for u.
0
Let b be (12*8/(-16))/((-3)/2). Let z(v) = v**3 + 6*v**2 + 6*v + 5. Let h be z(-5). Solve -4*k - b - 4 = h for k.
-2
Suppose 5*s - 3*n - 3 = 7, -3*s + 25 = 2*n. Let f = -2 + s. Suppose -3*w + 33 = 3*p, -p + 3 = 2*p - f*w. Solve 20 = p*j - j for j.
4
Suppose 9 = 5*k - 2*k. Suppose 3*m - 3*f = -3, m - 2*f + 7 = k. Solve -6 = m*v + v for v.
-2
Let c(w) = 3*w + 2. Let o be c(2). Let q be (o/(-20))/((-3)/15). Solve 0 = -q*z + 5*z for z.
0
Let q = 0 - -1. Let n be 0 + (8 - 1)/q. Let v = -19 - -23. Solve v*r + n = -9 for r.
-4
Suppose 4*r - 3*h = 65 + 7, -5*r + 3*h + 87 = 0. Solve -2*j = 3*j + r for j.
-3
Suppose 0 = -5*d - u + 2*u + 45, -4*d - 4*u = -60. Solve -x + d = x for x.
5
Let o = -41 - -46. Solve 1 = o*i - 4 for i.
1
Let x = 21 + -19. Solve -12 + x = 5*p for p.
-2
Let c be (1 - 2)*-23 - -1. Suppose -2*y = -4*y - c. Let g be (2/(-6))/(2/y). Solve -r + 1 = g for r.
-1
Let g(q) = 4*q - 12. Let z be g(3). Let v(n) = 2*n**2 - n - 1. Let r be v(2). Solve -r*i + z - 10 = 0 for i.
-2
Let s(n) = 0 - 2 - 2 + 2 + 4*n. Let x be s(3). Solve -4*g = -2*g - x for g.
5
Suppose 3*x + 0*x = 0. Suppose x = 3*m - 0*m - 6. Solve 2*d + 8 = m for d.
-3
Let w(c) = -c**3 - 3*c**2 + 5*c + 6. Let l be w(-4). Suppose -l*s + 16 = -24. Solve s = 7*o - 3*o for o.
5
Let w(d) = d - 3. Let z be w(14). Solve z = 3*o + 2 for o.
3
Let y be (-124)/(-44) - (1 + (-13)/11). Solve 0 = t - y + 4 for t.
-1
Let w(t) = -t**2 + 4*t + 4. Let s(j) = j**2 + j - 2. Let r be s(2). Let z be w(r). Suppose -20 = -0*n - n + 5*c, -8 = -3*n + 2*c. Solve -3*d - d - z = n for d.
-1
Let n(p) = p**3 - 16*p. Let j be n(4). Solve j = -2*t - t - 9 for t.
-3
Let j = 10 - 14. Let u be (j/3)/((-1)/3). Solve 0 = u*x + 1 + 3 for x.
-1
Suppose 15 = -a - 5*p - 2, 2*a + 2*p + 2 = 0. Suppose 1 = -q + a. Suppose -2*u + 5*n = 14, 0 = -4*u - 0*n + 3*n. Solve -u*o + q = -7 for o.
3
Let x be 6*(64/132 + (-8)/(-44)). Solve -x*a + 5 - 1 = 0 for a.
1
Let r(u) = u**2 - 11*u + 10. Let p = -35 + 24. Let h = p - -21. Let a be r(h). Solve -l = -a*l - 5 for l.
5
Suppose 28 = 5*v - 3*a, a - 24 + 5 = -4*v. Solve 3*p = 14 - v for p.
3
Let b be (-3 + 4/2)*-2. Suppose 0 = b*d + 2*d - 8. Solve -d*v + 0*v + 4 = 0 for v.
2
Let q(f) = f**3 + 13*f**2 + 12*f + 6. Let v be q(-12). Let m(h) = -h**2 + 8*h - 5. Let p be m(v). Let u = 11 - p. Solve 21 - 5 = u*d for d.
4
Suppose 0 = -3*k - k + 20. Suppose k*t + 3*h - 24 = 0, 20 = 5*t - 0*h + 5*h. Solve 2*j + 0*j = -t for j.
-3
Suppose -4*b = -2*b - 116. Let r = -29 + b. Solve -9 + r = 4*f for f.
5
Let m = -7 - -9. Let v(c) = -4*c**2 + c + 6. Let w(a) = 3*a**2 - 5. Let l(h) = m*v(h) + 3*w(h). Let n be l(2). Solve -n*i = -2*i for i.
0
Suppose 43*d = 38*d + 10. Solve -2*r = d - 8 for r.
3
Let t(d) = -d + 1. Let z be t(-3). Solve -7 + z = -3*r for r.
1
Let t(a) = -a**2 - 9*a - 6. Let r be t(-8). Let q be (-44)/(-6) - r/6. Suppose -d = -q + 1. Solve d = f + 4 for f.
2
Suppose 4*g - 8 = -f + 3*g, 0 = -4*f + 5*g - 4. Solve f = -u - 0 for u.
-4
Let t be 0 + (-1 - 1) - -3. Let i(d) = 4*d - 1. Let x be i(t). Let j = 0 + x. Solve 16 = j*w + w for w.
4
Suppose 0 = -7*o + 3*o. Solve 2*j + j = o for j.
0
Let r = -2 - -10. Solve 5*b = b + r for b.
2
Let u(i) = 1 - 4 - i - 4 + 6. Let n be u(-4). Solve -n*s - 2*s = -15 for s.
3
Let r be 4/4 + (19 - 4). Solve 0 = u + 3*u + r for u.
-4
Suppose 19 = 5*a + 3*i, -i = -5*a + 3*i - 2. Solve -4*m + a + 14 = 0 for m.
4
Let s be 2/8 + 115/4. Let b = s - 17. Let i(h) = 2*h**3 + 5*h**2 - 5*h - 4. Let a be i(-3). Solve -b = a*t - 5*t for t.
4
Let p = 4 - 6. Let d be (p/(-3))/(4/(