 + v for p.
-4
Suppose 4*l + 3*t - 4 = 0, 6*t - 2*t + 2 = 2*l. Solve y + l = 4 for y.
3
Let b be 2/8 - (-30)/8. Suppose -w + 4*p - 4 = 0, -b*p + 4 = 2*w - 7*w. Solve w = n + n - 2 for n.
1
Suppose y = -4*y + 10. Let l = -2 + 10. Solve y*w - l = -2*w for w.
2
Let m(h) = 0 - h**3 - h**2 + 4*h + 1 - 2. Let g be m(-3). Solve g*q + 1 = 4*q for q.
-1
Let v(w) = -w**3 + 3*w**2 + 2*w + 3. Let m be v(3). Let k be -3 - -3 - (-2 - 0). Suppose i = -k*i + 9. Solve -i*u - 6 - m = 0 for u.
-5
Let t(l) = -l**2 - 16*l - 2. Let h be t(-14). Solve 4*k + h = 6 for k.
-5
Let z be (-5)/(-3)*6/1. Let q = 7 - 5. Solve -3*h = q*h - z for h.
2
Let j = 83 - 63. Solve -5*c = -c + j for c.
-5
Let i = -13 + 18. Solve 0 = -p + i*p + 16 for p.
-4
Let i(a) = a**2 - 8*a - 3. Let l be i(9). Suppose w - l*w = -15. Let p = 10 - 10. Solve w = v - p*v for v.
3
Suppose 2*r + 2*c = 6*c, c = -4*r + 18. Solve -x + r - 1 = 0 for x.
3
Suppose -6*r + 16 = -2*r. Solve -x + 10 = r*x for x.
2
Suppose -5*d = o - 2, -4*d + 5*o - 6 - 4 = 0. Solve d*j = j - 1 for j.
1
Let w(d) = -d - 2. Let c(u) = -5*u**2 + u + 1. Let q be c(-1). Let p be w(q). Suppose -20 = -4*o + 3*h, -p = 2*o + 3*h + 5. Solve o*r + r = 12 for r.
4
Let m = -1 + 15. Let k = m + -9. Solve -4*h = -k - 11 for h.
4
Let r(b) = -b**3 + 8*b**2 - 8*b + 5. Let j be r(7). Let h = j + 3. Solve -4*t + 3*t - h = 0 for t.
-1
Let s(k) = 3*k + 3. Let v be s(-2). Let t = 4 + v. Solve 0 = i + t + 2 for i.
-3
Let f = 5 - 3. Suppose 8*g - 124 + 28 = 0. Solve f*v + v = g for v.
4
Let v = -33 + 47. Suppose -2*t = t - 15. Suppose 1 = t*b - v. Solve 2 = -w - b for w.
-5
Let j(s) = s**3 - 5*s**2 - 8*s + 1. Suppose -4*q + 0*v + 24 = -2*v, -2*q - v = -16. Let i be j(q). Suppose -2*a - 15 = -i. Solve 0 = -5*o - a - 6 for o.
-4
Let t(m) = -m**3 + 5*m**2 - m + 8. Let z be t(5). Solve -z - 5 = -4*p for p.
2
Suppose -2*o + 2 + 8 = 0. Suppose -4*v = t - 7, -4*v + 18 - 5 = -5*t. Suppose -y + o = v. Solve -y*p - 10 = -p for p.
-5
Let s be (0 - -7) + (0 - -3). Let v = s + -4. Solve b - v = -b for b.
3
Let f be 2*((-1 - -2) + 0). Let m(t) = -2 - 2*t**3 + t**3 + 2*t**2 + 2 - 3 + 3*t. Let k be m(f). Solve 0 = -k*j + 7*j for j.
0
Suppose 0 = -5*k - 3*a + 87, 2*k - 68 = -2*k - 4*a. Suppose 3 = -5*d + k. Solve 0 = -2*n + d*n for n.
0
Let i = -60 + 71. Solve 3*k - i + 2 = 0 for k.
3
Let h(z) = z**2 + 3*z + 3. Let k be h(-3). Let o(w) be the third derivative of w**4/24 + 2*w**3/3 - 6*w**2. Let c be o(0). Solve 0 = k*f - 8 - c for f.
4
Let z be (-3)/(2*(-9)/(-48)). Let f(i) = i**2 + 8*i + 3. Let k be f(z). Solve 0 = g + k - 1 for g.
-2
Let j(s) = 10*s**2 - 3*s. Let n be j(2). Suppose 4*a + 3*y = 24, 3*a - n = a + 4*y. Solve -3*r - a = 3 for r.
-4
Let i(f) be the third derivative of f**5/60 - f**4/24 - f**3/6 + f**2. Suppose b + 1 = 3*s + 3, b - 3 = 4*s. Let x be i(b). Solve -l - x = 2 for l.
-3
Let f = 34 - 28. Solve -4*r = -r - f for r.
2
Suppose -6 = 3*n - 15, 0 = -2*d - 2*n + 8. Solve -2*v = -1 - d for v.
1
Let t(a) be the third derivative of 2*a**2 + 0 + 1/15*a**5 + 0*a - 1/6*a**3 + 0*a**4. Let r be t(-1). Solve 4*g + r = -1 for g.
-1
Let q(d) be the second derivative of -d**5/20 - d**4/6 + d**3 + 5*d**2/2 - 2*d. Let z be q(-4). Let o = z - 5. Solve 0 = 3*n + n + o for n.
-2
Let s be (-3*6)/(34/(-17)). Solve 4*j - 11 - s = 0 for j.
5
Let f = -157 - -160. Solve -f*s - 10 = 5 for s.
-5
Suppose 17 - 5 = 4*v, 5*r + 4*v - 47 = 0. Let q = r - 5. Solve -8 = 2*p + q*p for p.
-2
Let j be 0 + 1 + 1 + 3. Let p = j - 4. Solve 2*t - 5 = -p for t.
2
Suppose 3*k - 2*k - 4 = 0. Suppose 2*d - 2 = -5*j, 0 = -k*d + 5*j + 40 - 6. Solve 0*t + d = -2*t for t.
-3
Let z(p) = p + 9. Let h be z(-5). Solve -1 + 5 = h*v for v.
1
Let q = 12 - 9. Let s(m) = -1 + 2 + 2*m - m. Let f be s(q). Solve f = p - 0 for p.
4
Let o be (-2*1)/(4/(-8)). Solve -4*d - 4 = o for d.
-2
Suppose -2*z - 2*z + 5*f = -41, -z = 3*f + 11. Solve -x = -z*x for x.
0
Suppose 2*h + 0 + 1 = -n, h + 2*n = -2. Suppose -3*u - 2*u = 0. Solve -2*s + h*s + 6 = u for s.
3
Let o be -1 + (6 + 0)/2. Let c = -1 + -3. Let d be (1 - o - c) + 1. Solve 1 = -5*k - d for k.
-1
Let a(z) = -z + 7. Suppose 4*w + 15 = -9. Let f be a(w). Solve -f = 4*x - 33 for x.
5
Suppose -u + 6*u = 15. Suppose 3*t - 2*n - 20 = 0, -4*n + n = u. Solve -2*j = -t*j + 16 for j.
4
Let m = 59 - 54. Solve 10*y = m*y for y.
0
Suppose 3*s = -2*s + 15. Let n be 0/((-2)/(-2)) + (-2 - -4). Solve -n = -s*v + v for v.
1
Let r(f) = -f**3 - f - 5*f + 3*f + 5*f**2 + 1. Let q be r(4). Suppose -3 = -5*i + 2. Solve -4*g + q = i for g.
1
Let u = -19 - -28. Suppose -4*f + 3*f - t - 1 = 0, -3*t - u = 0. Solve -f*d - 4 = -0 for d.
-2
Let s(l) = l**2 - l + 1. Let m be s(1). Solve 3*n - 4 = -m for n.
1
Let v = 13 - 10. Solve -2*z = -5 - v for z.
4
Suppose 24 + 33 = 3*r. Suppose 0 = -2*p - 3*p - x + 35, p - 5*x = -r. Suppose -6 = -3*u + p. Solve 2*q + 4 = -u for q.
-4
Suppose 3*z = -z. Let d(u) = u + 7. Let i be d(z). Let y = i - 6. Solve 0 + y = -j for j.
-1
Let k be (1 + -3 + 2)/(-2). Let q = 32 - 30. Let t(w) = w**3 - 4*w**2 + 2*w - 6. Let g be t(4). Solve q = g*u - k for u.
1
Let a be (-4)/4*(-1 - -1). Solve a = z + 2 for z.
-2
Let r be (-546)/(-98) - 4/7. Let o be 0 - (28/2)/(-1). Let u be 220/o - (-2)/7. Solve f = r*f - u for f.
4
Suppose 5*x = 2*x + 27. Solve -12*q + x*q = -15 for q.
5
Suppose 0 = 6*a - 4*a - 10. Solve 2*r + a = r for r.
-5
Suppose 2*j = r + 2*r + 28, -3*r - 3*j = 18. Let p be 106/r - 2/(-8). Let i = -9 - p. Solve 2*b = i*b - 4 for b.
2
Let x be 3*-1 + 9 + -2. Let s be 1 + (-2 + x)/(-2). Solve -2*b + 4*b = s for b.
0
Suppose -4*t + 3 + 17 = 0. Let n be 5/(-15)*(-99)/3. Solve 0 = t*k + n - 1 for k.
-2
Suppose -s = -0*s - d + 10, 2*d = s + 14. Let c(z) = z**3 + 6*z**2 - z - 2. Let x be c(s). Let p = 0 + 4. Solve -p*a = -x - 4 for a.
2
Suppose h - 4*h + 15 = 0. Solve -4*a + 17 - h = 0 for a.
3
Let f be 1/5 + 1188/60. Let p be (0/(-3 - -1))/(-1). Solve 0 = 5*o - p*o + f for o.
-4
Let g be (3/(-5))/((-11)/55). Solve -g*b + 14 = -1 for b.
5
Let z(x) = x + 3. Let l be -4 - (2 + 3/(-3)). Let a = l + 2. Let k be z(a). Solve -4*y + 3*y + 4 = k for y.
4
Let j = 8 + -3. Solve -j*d - 16 = 4 for d.
-4
Suppose -4*s + 0 + 16 = 0. Suppose s*q = 9*q - 5. Let v be 1 + 1 + (1 - -14). Solve -4*p - v = -q for p.
-4
Let d be 1/(3/(-36)*-1). Let r be 5 - (4 - d/4). Solve -2*u = -r*u for u.
0
Let t(f) = -f**3 - 11*f**2 + 4. Let z be t(-11). Suppose 3*i + d - z = -0*d, -4 = -5*i - 3*d. Solve 9 = -i*n + 1 for n.
-4
Suppose 0 = -3*b + 2*b. Solve b = -s + 8 - 3 for s.
5
Let h(y) be the second derivative of y**5/120 + y**4/24 + y**3/3 + y. Let g(q) be the second derivative of h(q). Let i be g(0). Solve -3*m - 16 = -i for m.
-5
Let z = -206 + 210. Solve 0 = 5*u + 21 + z for u.
-5
Suppose -d - 5*j = -14, -3*d - 4*j + j + 30 = 0. Solve 4*w = -7 - d for w.
-4
Let d be 130/16 + -4 - (-3)/(-24). Solve f + d*f = -5 for f.
-1
Let s be (-44)/77*14/(-4). Solve s*j = 6 + 2 for j.
4
Suppose -2*a + 12 = v - 0, -4*v = -16. Let z(q) = -q + 19. Let j be z(14). Solve j*w + 6 = -a for w.
-2
Let o = -102 + 107. Solve -o*g - 9 = 1 for g.
-2
Suppose -4*x - 52 = -4*w, 4*w = 5*w - 4*x - 7. Let a be (-3)/w - (-21)/5. Solve -1 = -q + a for q.
5
Let u = -44 + 48. Solve 2*r = u - 2 for r.
1
Suppose 23 + 7 = j. Suppose 11*a - j = 6*a. Solve v + a = 4*v for v.
2
Suppose 5*q - 172 = 8. Let p be (q/(-10))/(2/(-10)). Suppose 24*m - 25 = -4*a + 21*m, 5*a = -m + 23. Solve -p = -a*x + 2 for x.
5
Let y = 3 - -2. Suppose -4 = y*c + 1. Let u be (0 + (0 - 15))/c. Solve -4*l - u = 5 for l.
-5
Let j be 2/8 + 3/(-12). Suppose 12 = 4*g, 0 = -j*s + s - 2*g + 10. Let b be 2/s + 9/6. Solve 2*z + 9 + b = 0 for z.
-5
Let z = 15 + -9. Solve 5*o = z*o - 4 for o.
4
Let n(c) = -7*c. Let j be n(-1). Let r = 7 - j. Let w(u) = -u**2 - 6*u + 5. Let y be w(-6). Solve 0 = -b + y - r for b.
5
Suppose 2*t = -t + 27. Let c = t - 5. Solve -c*r = -2*r + 6 for r.
-3
Let r = -15 - -13. Let p be -1*(3 + 6/r). Solve p = -4*i - 5 - 11 for i.
-4
Suppose -6*v + 8*v - 8 = 0. Let c(o) = o + 7. Let d be c(-7). Suppose d = -0*u + u. Solve v = -u*q + q for q.
4
Let y(t) = t**3 + 3*t**2 + t. Let g be y(-2). Solve 3*h - g = 1 for h.
1
Let r(z) = -z**3 + 7*z**2 - 7*z + 6. Let u be r(6). Let t = -3 + -3. Let w = u - t. Solve -x = -w*x - 25 for x.
-5
Suppose -7*a + 4*a 