p for p.
-5
Let b(p) = -4*p + 6. Let l be b(4). Let o(i) = i + 5. Let z be o(l). Let y = z - -5. Solve y*t = 2*t for t.
0
Let u be (-8)/(-6)*9/6. Let n be 0/(-2*(1 - u)). Solve j = -n*j - 4 for j.
-4
Let h(j) be the second derivative of j**7/2520 + j**6/720 + j**4/12 + j. Let o(w) be the third derivative of h(w). Let n be o(-2). Solve 18 + n = -5*s for s.
-4
Let b(m) = 7*m**2. Let o be b(-1). Suppose 5 = 3*v - o. Solve t = v*t for t.
0
Let j be ((-3)/2)/(3/(-4)). Let b = j + 7. Let m be (b/2)/((-15)/(-20)). Solve w - m = 3*w for w.
-3
Suppose -h = y - 1, -2*h + y + 1 = -h. Suppose -4*r = 3 - 11. Solve -r*a = -h - 7 for a.
4
Suppose -4*p = -2*p - 42. Suppose 5*z + 6 = p. Solve -z*w = 2*w + 10 for w.
-2
Suppose 35 = 4*x - 5*a, 0 = -2*a + 2. Suppose x*o - 6 = 8*o. Solve o*h = -2*h + 10 for h.
2
Let w = -7 + 3. Let v be w*2/(-4) - 2. Solve 8 = 4*m - v for m.
2
Let q(v) = 2*v**2 + 2*v + 2. Let s be q(-2). Suppose 6*t - 12 = 2*t. Suppose -2 = -t*h + 13. Solve h*n - 1 + s = 0 for n.
-1
Let r be 45/10*(-7 + 1). Let l be 2*2/(-12)*r. Solve 1 = 4*o + l for o.
-2
Suppose 5*y - 5*h = 40, 3*y = -2*y - 5*h + 40. Let d = -6 + y. Solve -9 = 5*i - d*i for i.
-3
Let w(a) = a**3 - 11*a**2 + 9*a + 14. Let z be w(10). Solve -z*y = y - 10 for y.
2
Suppose -5*u = -0*u - c - 14, -u + c = -6. Let r be -1 + 6 + u + -2. Let o(x) = 7*x - 42. Let m be o(6). Solve m = -r*g - 5 - 0 for g.
-1
Let z be ((-6)/10)/(4/(-20)). Solve -12 = -0*t + z*t for t.
-4
Suppose -2*q = -2*n - 18, 8 = -3*n - 7. Suppose 5*l + v - 18 - 6 = 0, 0 = v + 1. Solve q*o + 11 + l = 0 for o.
-4
Let i(d) = -d**3 + 7*d**2 + 2*d - 14. Let f be i(7). Solve f*g - 2*g + 6 = 0 for g.
3
Let n(d) = d**2 + 8*d + 10. Let v be n(-7). Solve -2*q - 1 = -v*q for q.
1
Suppose -4*d - 4*f = 0, 0 - 9 = 3*f. Let l be (-1)/d + 1/3. Solve 16 = 4*v - l*v for v.
4
Let p(m) = 8*m**2 + m. Let s be (4/(-6))/(1/3). Let x(r) = r**2 + r - 1. Let z be x(s). Let h be p(z). Solve 25 = -4*f + h for f.
-4
Suppose -4*f - 4*f = 0. Solve -t - 3*t = f for t.
0
Let i be 16/9 + (-4)/(-18). Solve i*m + 2 = 6 for m.
2
Let g be (-1)/(-3)*6 - 1. Solve 2*u - g - 1 = 0 for u.
1
Suppose -4*a + 2 = -6. Solve -2*m = a*m - 8 for m.
2
Let y = 14 + -10. Suppose -y*w - 1 = 3*v, -28 = -3*v + 5*w + 7. Solve 3*h - v = 7 for h.
4
Let d = 13 + -11. Solve 0 = 2*f + d*f for f.
0
Suppose 4*x + 5*c - 20 = 0, 0*x + x + 8 = 2*c. Solve -v - v + 10 = x for v.
5
Suppose -5*a - 15 = 0, 3*a + 2*a + 21 = 3*r. Let m be 2*(60/8 + 2). Suppose 3*i = -5*u - i + 34, 5*i + m = 4*u. Solve v + u - r = 0 for v.
-4
Let x = 7 + -4. Suppose 10 = -5*d, -4*f + x*d + 104 = -298. Let l be (-18)/f - (-35)/11. Solve 0*k = l*k - 15 for k.
5
Let n be (1/2)/(11/66). Let q(h) = h**2 - 2*h. Let z be q(3). Suppose r = z + n. Solve -g = -r*g for g.
0
Suppose 0*v - v = 0. Suppose -4*o = v, -5*x - 3*o - 1 = -16. Solve -w = -x*w + 8 for w.
4
Suppose -9 = -3*b, 0*b - b - 24 = 3*n. Let v be (-498)/8 - n/(-12). Let q be 1/2 + v/(-18). Solve 9 = q*s - 11 for s.
5
Let q be 28/6 + (-4)/(-12). Suppose n + 12 = q*n. Let y(h) = -h**2 + 18*h + 1. Let w be y(18). Solve w + 5 = n*a for a.
2
Let d = -12 + 12. Solve d = -6*g + g for g.
0
Let f(j) = j**2 - 5*j - 3. Let x be f(6). Suppose 10 = l + x. Let t = -4 + l. Solve 5*k = t*k for k.
0
Suppose b = 4*c + 9 - 30, -21 = c + 5*b. Suppose 2*r + c*q = 2*q, -3*q = 4*r. Solve r = -3*k + 10 + 2 for k.
4
Let h(w) = w**2 - 4*w - 2. Let l be h(5). Let r be l/((-3)/12*-3). Solve -2*c + 2 = -r for c.
3
Suppose 3*v - 2*v = 0. Let n be 15/5 + -1 + 0. Let d be 11 - n - (4 - 2). Solve -3*z + d - 1 = v for z.
2
Let k(s) = s**2 - 11*s - 6. Let j be k(6). Let g be ((-24)/j)/((-1)/(-3)). Solve -g*d + 15 = 3*d for d.
3
Let v = 194 + -169. Solve 4*s - v = -s for s.
5
Suppose -181 = 5*h + 139. Let v = h + 89. Solve -v = -8*d + 3*d for d.
5
Suppose 2*s = -4*u + u + 34, -2*u + 11 = -s. Solve u = -0*f - 2*f for f.
-4
Let f = 2 - -1. Let r = 4 - f. Suppose -5*w + 14 = -r. Solve 8 = -s + w for s.
-5
Let a(u) = 2*u**3 - 8*u**2 + 3*u - 7. Let r(t) = 3*t**3 - 15*t**2 + 5*t - 13. Let k(g) = 5*a(g) - 3*r(g). Let x be k(-4). Solve -o - x = -5*o for o.
5
Suppose 2*u - 8 = 2*o, 4*u + 4*o - 17 - 15 = 0. Suppose 0 = 4*j + 18 - 6. Let q be (36/j)/(-3) - 1. Solve -u*g + q*g - 6 = 0 for g.
-2
Suppose -5*n = -0*n - 45. Solve n = 6*c - 3*c for c.
3
Suppose 7*r = 5*r. Solve r = 2*f + 2*f - 8 for f.
2
Let c(s) = -s**3 - s**2 + 3*s - 4. Let a be c(-3). Suppose 5*n + 8 + 7 = 2*d, 21 = 4*n + a*d. Let j = 14 + n. Solve -3 + j = 5*f for f.
2
Suppose -4*j + 9 = -3*q, -3*q + q = -j + 1. Let v(w) = w**2 + w + 0*w - 3 - j*w. Let i be v(3). Solve -y = -i*y for y.
0
Suppose -23 = -3*u + 7. Solve 2*c = -0*c + u for c.
5
Let a(d) = -d. Let i be (0/(-1) - 4)/1. Let r be a(i). Suppose 3*q = 3*g + 2*q - 5, r*q + 20 = 2*g. Solve g = 5*x - 4 - 1 for x.
1
Let j(q) = q**2 + 14*q + 4. Let g be j(-14). Suppose -5 = 5*o, -3*a + g*o = 2*o - 11. Solve a*s + 9 = -0*s for s.
-3
Let x be (-4 + 3 + 2)*-11. Let k = -2 - x. Suppose 0 = -2*m + k + 29. Solve -1 = -4*o + m for o.
5
Suppose -5*s = -0*s - 20. Let l = 10 + -12. Let o = l + s. Solve -b + 1 = -o for b.
3
Let l = -16 + -3. Let o = l - -23. Solve 15 + 5 = -o*a for a.
-5
Suppose -3*h + 4 = -8. Let b(w) = -w**2 + 4*w. Let m be b(h). Solve m = 2*q - q - 3 for q.
3
Let o be (12/(-30))/(3/(-15)). Solve 3*g = g + o for g.
1
Suppose t - 7 = -2, 2*r + t = 11. Solve 4*n - 13 = r for n.
4
Suppose 4*c - 4*u = 0, -c + 1 = u - 7. Solve 2*i - c*i - 8 = 0 for i.
-4
Let x(o) = -o**2 + 10*o - 11. Suppose -4*g + 40 = g. Let b be x(g). Solve b + 0 = k for k.
5
Let c(x) = -x + 13. Let j be c(11). Suppose 4*s = 10 + j. Solve g = s - 4 for g.
-1
Let k(u) = u. Let d(r) = -r**3 - 7*r**2 - 9*r - 2. Let v(s) = -d(s) - 6*k(s). Let f be v(-6). Suppose 5 = -m + 8. Solve -f = m*x + x for x.
-5
Let n be 5/3 + 2/6. Let h = 14 - 12. Suppose b = -h*z + 28, -5*z - 5*b + 1 = -59. Solve -6 = n*u - z for u.
5
Suppose 3*a = 8*a - 5*l + 20, 0 = 3*a - 2*l + 10. Let k = a + 3. Let u(x) = 21*x - 1. Let j be u(k). Solve 0 = -3*h - 2*h + j for h.
4
Let f(n) = -7*n**2 + n**3 + 2*n**2 + n - 3 - 2*n**2. Let d be f(7). Suppose -6*i = -d*i - 8. Solve 0 = x + i for x.
-4
Suppose -4*y + 0*y + 4*t + 60 = 0, t = 5*y - 95. Solve 0 = -5*l + y for l.
4
Suppose -2*y = -7*y + 10. Solve -y*i - 1 + 11 = 0 for i.
5
Let h be 0 - (1 - -1) - -5. Solve 0 = h*z + 13 - 1 for z.
-4
Let k(h) = 3*h + 5. Let d(a) = -7*a - 9. Let r(t) = 2*d(t) + 5*k(t). Let c be (-3)/9 + (-56)/12. Let w be r(c). Solve v + w*v = 0 for v.
0
Suppose 0 = -2*d - 3*v + 5, d + 1 - 14 = 2*v. Solve 0 = 2*x - d*x - 25 for x.
-5
Suppose -s = -5*k + 6, -3*s - s - 5 = -k. Let c be (-3 + 1 - 0)/s. Let d be 49/c + (-2)/(-4). Solve 0*o + 5*o + d = 0 for o.
-5
Let x be 34/2 + (7 - 4). Suppose -6*o = -4*o - x. Solve o = -l - l for l.
-5
Let n(c) = c**2 + 3*c - 6. Let d be n(-5). Let p(v) = v**3 + 4*v**2 - v + 5. Let f be p(-4). Let a = f + -6. Solve -1 = -d*r + a for r.
1
Let r = 23 + -32. Let n be -30*(30/r + 3). Solve n = -2*j - 0 for j.
-5
Let m(i) = -4*i + 1. Let f be m(-2). Let b(a) = a**3 - 9*a**2 + 6. Let x be b(f). Suppose 0 = 3*u - x*u + 9. Solve -15 = -u*l - 2*l for l.
3
Let x = -12 - -15. Solve 1 + 5 = x*z for z.
2
Let j be (36/15)/(4/10). Let f(s) be the third derivative of -s**4/24 + s**3/3 + s**2. Let u be f(0). Solve u*q = j*q - 16 for q.
4
Let s be 2/(-4) + (-22)/(-4). Suppose 0 = 3*z + 4 - 13. Solve -10 = -z*a + s*a for a.
-5
Let z = -7 + 22. Solve 0*w + z = 5*w for w.
3
Let f(y) = 4*y - 5. Let s(c) = 5*c - 6. Let z(i) = -4*f(i) + 3*s(i). Let k be z(2). Solve 4*w - 1 + 13 = k for w.
-3
Let x be (-4 - 0) + 12/2. Solve x = -r + 5 for r.
3
Suppose 4*d - 4 = 0, 4*g - 3*d - 8 = 25. Solve -3*w + g = -6 for w.
5
Let j = 2 + 4. Suppose j*y = 9*y. Solve 0 = -2*o - y*o + 2 for o.
1
Let w = 21 + -18. Solve -w*l = -7*l + 8 for l.
2
Suppose -3*t - 6 = 3*l - 66, 5 = -t. Solve -h + 6*h = -l for h.
-5
Let n be 69/23 + (-2)/(-1 + 3). Solve -2*o + 3*o = -n for o.
-2
Suppose -2*m + 3*m - 5 = 0. Let q = 8 - m. Solve 1 = -q*v + 13 for v.
4
Let h = -51 + 52. Solve -h = -3*g + 2 for g.
1
Let t(d) = -6*d + 4. Let c be t(4). Let w = -12 - c. Let x be 0/2 + w + -5. Solve x*o + 3 = -12 for o.
-5
Suppose 5*x + 32 = 5*w - 8, -w - 2*x - 1 = 0. Solve -3*a - w = 4 for a.
-3
Let w(y) = -y**2 + y + 