ppose -q*b - 31 = -181. Solve -v - 4*v = -b for v.
5
Let k(x) = 20*x - 294. Let h be k(16). Solve -26 = 9*b - h for b.
0
Let o(w) = 4*w**3 - w**2 + 2*w - 1. Let d be o(1). Let m be -1 - (d - 15)/1. Solve -6*g + g = m for g.
-2
Let q = -80 + 100. Solve 2*w + q = 6*w for w.
5
Suppose 0 = 716*s - 714*s - 50. Solve 15*r + s = 10*r for r.
-5
Let i = 14 - 14. Let g be (-2)/(-8) + (-1)/4. Solve n + g*n - 4 = i for n.
4
Let s(d) be the third derivative of d**4/24 - d**3/2 + 3*d**2. Let g be s(3). Suppose g*a - a = 0. Solve a = -z - z for z.
0
Let q(l) = -l**2 + 4*l + 3. Let f be q(3). Let r = f - 5. Solve -t + 0 = -r for t.
1
Let t = 62 + -26. Let m be (8/(-6) + 50/24)*t. Solve 0 = 5*q - 2 + m for q.
-5
Let u = -2 - 3. Let n = -1 - u. Let c be (1 - 1)*(21/9 + -2). Solve -g + c*g = -n for g.
4
Suppose -16 = -13*v + 5*v. Let p be v + (-2)/(-3)*(-27)/(-2). Solve -4 - p = 5*f for f.
-3
Suppose -4*r - 3 = 1. Let q be r/4 - 9/(-4). Let g(s) = s**3 - 4*s + 2. Let l be g(-2). Solve -l*f - q*f = -4 for f.
1
Let u(m) = -m. Let j be u(-6). Suppose -10 = 11*c - 6*c. Let v be (c/(-2))/((-16)/(-32)) - -1. Solve -j*k = -v*k - 3 for k.
1
Suppose 40*q - 59*q = -114. Solve 8 = q*v + 14 for v.
-1
Let j be 0*(1/(-2) + 0). Let r = 71 - 31. Let o = 42 - r. Solve j*x + 8 = -o*x for x.
-4
Suppose 0*o + 2*o + 6 = 3*m, 0 = 2*o - 2*m + 4. Solve 7*t + 29 + 6 = o for t.
-5
Suppose 22*t = 20*t + 58. Let g = 11 - 35. Let o = g + t. Solve 7*s - o = 2*s for s.
1
Let w(z) = 0*z**2 + 2*z**2 - 3 + z**3 - 5*z - 7*z**2. Let a be w(6). Let l be -1*(a - 3) + 3. Solve -l*i - 8 = 7 for i.
-5
Let l be (-3)/(5/50*-3). Let m be 7 - (-4)/l*-10. Solve s = -2 - m for s.
-5
Let c = -820 + 838. Solve c = 4*z - 2 for z.
5
Suppose -5*k + 3 + 2 = n, 0 = -k + 4*n - 20. Let s(q) = -q - 4. Let a be s(k). Let c = a - -9. Solve -3*b - 2*b = c for b.
-1
Suppose -4*q = -8, -2*y + 6*y = -4*q + 32. Let f be 10/20 + 10/4. Suppose 2*c + f = -3*d - c, 2*d + 5*c + 5 = 0. Solve d = y*h - h for h.
0
Let h be (-2)/5 + 36/(-10). Let y(w) = -2*w - 9. Let c(j) = j + 5. Let a(z) = 7*c(z) + 3*y(z). Let s be a(h). Solve s*u - u = 9 for u.
3
Let j be -3 + 232/72 - 788/(-18). Suppose -10*o = o - j. Solve 0 = -z - o for z.
-4
Let d(s) = 51*s + 555. Let f be d(-8). Solve -f*u + 15 = -142*u for u.
3
Let v be (-6)/(-1) + (0 - 1). Let o be (-4 - 92/(-20))*v. Suppose 0 = o*r - 10*r + 14. Solve r*s - s = 2 for s.
2
Let b(x) be the second derivative of x**4/4 + x**2/2 - 4*x. Let i be b(-1). Solve d + i = -d for d.
-2
Suppose 15*z - 340 = 305. Let q = -43 + z. Solve -5*w + 20 + q = 0 for w.
4
Suppose 5*a = -5*k - 20, 4*k = a - 34 - 7. Let s(w) = w**2 + 8*w + 6. Let g be s(k). Let v be -4*(g/(-6) + 2). Solve 3*p + v*p + 25 = 0 for p.
-5
Let r be (504/(-60))/((-3)/10). Let t = 37 - r. Solve 3 = -2*x + t for x.
3
Suppose 0 = -4*g + 5*g - 4*l - 28, 0 = -4*g - 2*l + 22. Suppose 3 + 21 = 2*s. Let h = 21 + -17. Solve g*z = h*z - s for z.
-3
Let g be -3 - 16/24*6/4. Let r be (1 - 2/g)/((-3)/(-8)). Solve y - 3*y = -r for y.
2
Let l be ((-32)/(-6))/(4/30). Suppose 3*b + l = 8*b. Solve -3 = b*f - 9*f for f.
3
Let y be (0 + 3 - (25 - 22))*-1. Solve y*v - 6*v = 12 for v.
-2
Let r be 4/(7 + 3 + -8). Solve -r*o + 19 = 11 for o.
4
Suppose -13*m = -5*m - 128. Solve -9*x = m + 20 for x.
-4
Let y(l) = 9*l**2 + 2*l + 10. Let b be y(-2). Solve -2*v + b = 32 for v.
5
Let r(s) = -5*s**2 - 14*s + 3. Let i(j) = -6*j**2 - 14*j + 3. Let z(h) = -4*i(h) + 5*r(h). Let n be z(-14). Solve 0 - 12 = n*y for y.
-4
Let t(p) be the third derivative of -p**5/60 - p**4/24 + 2*p**3 + 17*p**2. Let x be ((-4 - -2) + 2)/(-3). Let u be t(x). Solve 5*q - 3 - u = 0 for q.
3
Suppose -3*v - 13 = -4. Let n be (4/v)/(30/(-45)). Suppose 0*o + 4 = n*o. Solve 3*c - 15 = -o*c for c.
3
Suppose 58*f - 56*f - 4 = 0. Suppose -3*z = -z - 5*q - 5, 12 = 4*q. Solve -f*a - z = -0*a for a.
-5
Let t(c) = c**3 + 6*c**2 + 4*c - 3*c**2 - 5*c. Let f be t(-3). Solve 2 = k - f for k.
5
Let v be (-12)/(-10) - 120/100. Solve v = -4*n + 13 - 17 for n.
-1
Let s(n) be the first derivative of -n**3/3 + 9*n**2/2 - 8*n - 8. Let c be s(7). Solve 0 = -5*h + 1 - c for h.
-1
Suppose -13*r = -16 - 114. Solve 9*u + 1 = r*u for u.
1
Suppose -10*k + 32 = 6*k. Solve -64 = -k*p - 70 for p.
-3
Suppose 5*n - u = 115, 4*n + 2*u - 92 = 7*u. Solve 24*z = n*z - 3 for z.
-3
Let c be (-6)/9*(2 - 8). Suppose 4*a = -o + 6*o + 2, c*a = -3*o - 14. Let i be (3 + -3)/a - 0. Solve h + 2*h = i for h.
0
Let z(s) be the third derivative of s**4/24 + 7*s**3/6 - 33*s**2. Let r be z(-7). Solve 3*c + c - 20 = r for c.
5
Let g(k) = k**3 + 6*k**2 - 12*k - 22. Let q be g(-7). Solve -3*s = q - 4 for s.
-3
Let u(r) = -r**3 + 5*r**2 + 2*r. Let z be u(5). Suppose 7*c - 40 = -c. Suppose z = -3*w + c*f + 35, w - 11 = f. Solve d = -4*d - w for d.
-3
Let p be (18 - 585/30)*28/(-6). Solve -22 = -p*k + 13 for k.
5
Let q(t) = t + 9. Let k be q(-7). Suppose 4 = 629*g - 628*g. Solve -k*h + g = -h for h.
4
Let s = 0 + 3. Let y = 5 - s. Suppose 2 = y*d - 14. Solve 4*x + 0 = -d for x.
-2
Let n be (3 + (-7)/4)*(17 - 1). Suppose 8*g - 4*g - n = 0. Solve -g = 3*c - 11 for c.
2
Suppose 0 = -6*x + 3*x. Suppose x = -24*n + 26*n - 10. Solve -9 - 16 = -n*i for i.
5
Suppose -v - 5 = 5*w - 20, -5*w + 3*v = -35. Let j be (-8)/(-6) + (-4)/3. Solve w = -2*g - j*g for g.
-2
Let j(d) = -19*d + 160. Let o be j(8). Solve 0 = o*q + 6 + 10 for q.
-2
Let b be 12/15*25/2. Suppose b = 12*v - 7*v. Solve -u = v*u - 12 for u.
4
Let q(o) be the first derivative of o**5/120 - o**4/4 + 7*o**3/3 - 6. Let m(n) be the third derivative of q(n). Let b be m(7). Solve 0 = w - 5 + b for w.
4
Let u(s) = s - 1. Let t = 14 - 25. Let y = t + 13. Let k be u(y). Solve -2*q - 7 = -k for q.
-3
Let h = 2022 + -2014. Solve -11*s + h = -7*s for s.
2
Let o(w) = w - w**2 + 3*w - 3*w. Let t be o(1). Let c = 7 + t. Solve 1 = 4*h - c for h.
2
Suppose -3*x + 16 = 2*t, -4*t + x + 16 = -x. Suppose 3*b = -m, -3 - t = 4*b. Solve 18 = -4*j + m for j.
-3
Let l be (3 + 9)*2/3. Suppose -2*p + l = 2*p. Solve b = p*b for b.
0
Let u(i) = 10*i + 32. Let z be u(-3). Let q(b) = b + 2. Suppose 12 = 4*v + 4*p, -v + p = -p + 12. Let n be q(v). Solve n*h + 2 = z*h for h.
1
Let m = 12 + 14. Let v = -18 + m. Suppose -v = -2*f - j, j - 22 = -f - 4*j. Solve t - 6 = -f*t for t.
2
Let p be (0 - -3) + 1 + -2. Suppose 0 = p*v - 0*v - 14. Suppose -v + 5 = -j. Solve -j*h = -h - 4 for h.
4
Let y = 182 + -182. Solve 6*c + y*c = 24 for c.
4
Suppose -3*t + 12 = -3*p, 0*p + 3*p + 8 = -t. Let w(v) = v**3 + 3*v**2 + 2*v + 6. Let i be w(p). Suppose -2*d + 4 + i = 0. Solve 0 = -3*f - d*f - 10 for f.
-2
Let z be (-2)/5 - 27/(-5). Suppose 3*d + 0 = 2*j + 6, 5*d + 2*j = -6. Let a(h) = h**3 + 18*h**2 + 19*h + 39. Let c be a(-17). Solve 5*m - c - z = d for m.
2
Let w = -26 + 14. Let q(t) = -3*t - 34. Let p be q(w). Solve 3*h + p*h = -5 for h.
-1
Let o be -3 - ((-18)/4)/(2/4). Suppose -2*u - 5 = 3*j, -u + 5*j + 11 + o = 0. Solve -3*h = u*h - 15 for h.
3
Suppose -y + 3*y = 6, 4*y = 2*c - 10. Suppose -2*v - 4 = -3*z + c, -4*v - 23 = -5*z. Solve -4*h = -5 - z for h.
3
Let q be -27 + 0 - (-11 - -11). Let g be (-9)/q - (-23)/3. Solve 0 = -0*u + 2*u + g for u.
-4
Let u(q) = 12*q - 4. Let z be u(-2). Let h(x) = x**2 + 28*x + 15. Let c be h(z). Solve 7*l = 2*l + c for l.
3
Let a(b) = 6*b - 14. Let l(n) = -4*n + 9. Let k(q) = 5*a(q) + 7*l(q). Let s be k(8). Let m(y) = y**2 - 10*y + 13. Let o be m(s). Solve -3*x + o*x = 5 for x.
5
Let y = 36 + -16. Let r be (-1212)/(-21) + -3 + 6/21. Suppose 3*z = -8*z + r. Solve o = z*o + y for o.
-5
Let p(m) = -m**2 + 17*m + 29. Let g be p(18). Suppose 6*v - g*v = -10. Solve v*n + 2 = -4 for n.
-3
Let s(p) = 2*p - 4. Let o be s(3). Suppose c + o*c - 4*y = 1, -2*c = -2*y - 2. Suppose 0 = 6*j - 6 - 30. Solve -c*u + 9 = -j*u for u.
-3
Let s = 676 - 673. Let l(v) = 3 - 3*v - 2 + 0. Let f be l(-2). Solve s*p - f = -1 for p.
2
Let p = 1348 + -1321. Solve 19*n - p = -8 for n.
1
Suppose -6*y + 4*y - 11 = -3*d, 4*d - 7 = -5*y. Solve 8*s - 5 - d = 0 for s.
1
Let p(l) = l**3 + 2*l**2 - l. Let c be p(-2). Suppose -7*w = -c*w - 10. Let d be ((-2)/6)/(w/(-24)). Solve d*y + 1 = -3 for y.
-1
Suppose -5*u = 6*u - u. Solve u = 3*r - 2*r - 4 for r.
4
Let l(i) = -i**3 + 15*i**2 - 23*i - 34. Let w be l(13). Solve w*z - 11 = -6 for z.
1
Let h(d) = 