pose 0 = q - 2*q + 7. Let o = q - 5. Let i(y) = y**3 - y + 2. Let t be i(0). Solve o = t*k - 2 for k.
2
Let z(i) = i**3 - 3*i**2 - 3*i + 2. Suppose -5*b + 9 = -2*b. Suppose -x - x + 12 = 5*y, -y - b*x = 8. Let q be z(y). Solve k + 1 = q for k.
5
Let u(f) = -f**3 - 4*f**2 + 5*f + 4. Let i be (-14)/(-7) - (0 - -7). Let b be u(i). Solve 0*t - 8 = -b*t for t.
2
Let g = -65 - -73. Solve 0 = -0*m + 2*m - g for m.
4
Let w(z) = -z**3 - z**2 + 2*z + 2. Let i be w(-2). Suppose 2*t = -i*t. Suppose 2*n + t = 12. Solve -d = d - n for d.
3
Suppose -20 + 8 = c - 3*y, -3*c - 26 = -4*y. Let i be (c/(-6))/((-1)/(-3)). Solve 6*u + 9 = i*u for u.
-3
Let i be 10/6*(-9 - -12). Solve 8 = -i*b - 2 for b.
-2
Suppose 0 = -5*m - 35 - 15. Let o = 5 - m. Solve -l + o = -4*l for l.
-5
Let s(h) = h**3 + 2*h**2 - 2*h + 3. Let v be s(2). Solve 2*p + p = -v for p.
-5
Suppose -b - 5*o = -0*b - 3, 3*o = 3*b - 9. Solve 0 = -b*x - 0*x for x.
0
Let y = 30 + -22. Solve -y = -3*w + 4 for w.
4
Let y(v) = -v**2 - 4*v. Let i be y(-4). Solve i = j - 0*j - 5 for j.
5
Let t(s) = 3*s**2 + 5*s + 2*s**2 + 3 - s**3 - 4*s. Let h(f) = -f**3 - 9*f**2 - 10*f - 11. Let c be h(-8). Let g be t(c). Solve -g = 6*i - 2*i for i.
-2
Let a = -16 + 18. Solve a*h - 4 = -2*h for h.
1
Let r be -2*(-27)/24*(-16)/(-6). Solve 0 = -11*f + r*f - 15 for f.
-3
Let c(u) = u**3 + 4*u**2 + 3*u + 4. Let h be c(-4). Let p(o) = -o**2 - 9*o - 4. Let g be p(h). Solve 2*t + 2 = -g for t.
-3
Suppose 13 = 3*q - 2. Suppose -30 = q*x - 2*x. Let c be 1/(2/x*-1). Solve c = 3*i + 2 for i.
1
Suppose 5*j - 10 = -3*t + 5*t, -4*t = -4*j + 20. Solve n + n - 8 = j for n.
4
Suppose s + 3*u = 10, -2*s - s = -u - 10. Suppose c = -s*c. Solve 1 = -c*z - z for z.
-1
Suppose 4*m - 2*x = 2, 4*x = -2*m - 0*m + 16. Suppose -30 = -m*w - 12. Suppose -a = 3*y - 0*y - 12, -4*y + a = -w. Solve -y*o + 4*o = 0 for o.
0
Let h = -12 + 27. Suppose -5*l + 10 = -h. Solve -7 - 13 = l*w for w.
-4
Let g be (-6)/33 + (-2)/(-11). Solve g = -0*d - 5*d - 5 for d.
-1
Let n = 21 - 5. Let r = 18 - n. Suppose 3*b - 3 = 3. Solve r*y - 4 = -b for y.
1
Let j be (40/(-32))/(1/16). Let m = j + 20. Solve m = -b - 2 - 1 for b.
-3
Let g(s) = 3*s**3 + 2*s**2 - s. Let x be (-2)/9 + (-22)/(-18). Let p be g(x). Suppose 0 = p*b - 9*b + 10. Solve b - 17 = 5*r for r.
-3
Suppose -2*b + 6 = 20. Let c = b + 13. Suppose 3*k + 45 = c*k. Solve -k = 4*w - 3 for w.
-3
Let g = 5 + -7. Let p be 1/(-2)*8*g. Suppose 0 = -0*h + 4*h - p. Solve -i = h*i for i.
0
Let h(w) = -w - 11. Let i be h(-15). Solve i*u - 2 = 2 for u.
1
Let r be 138/30 + (-4)/(-10). Let c(n) = 2*n - 7. Let y be c(r). Solve 4*k = y - 19 for k.
-4
Let a(f) = 6*f + 6 - f**2 + 2*f - 3*f. Let k be a(6). Solve 2*i + 3*i = k for i.
0
Let g(l) = l**2 + 6*l - 5. Let d be g(-7). Let k = 18 + -14. Let i = k - d. Solve 4*p + 2 = i*p for p.
-1
Let k be 55/33 - 1/(-3). Suppose -3*y + 14 = 5*z, k*z + 14 = 4*z - 3*y. Solve -6*o + 6 = -z*o for o.
3
Suppose -12*d - 27 = -15*d. Solve -5*s - 16 = d for s.
-5
Let o = 14 + -10. Suppose -3*a = -o*a + 3. Solve 0 = -0*u + a*u - 3 for u.
1
Let b = -2 - -14. Solve c = -3*c + b for c.
3
Let b = 21 - 18. Solve 4*s - 19 = -b for s.
4
Suppose 3*p = 4*f - 3 + 20, -2*p + 3*f = -10. Solve -14 = 5*u + p for u.
-5
Suppose 2*r = 26 - 14. Solve r*c = 4*c + 2 for c.
1
Let k(b) = b**2 + 10*b - 5. Let v be k(-6). Let p = 62 + v. Suppose -i = -2*o - 11, -3*i - 3*o + p = -2*o. Solve i - 1 = -5*a for a.
-2
Let k(v) = -v**3 + 2*v**2 + v + 1. Let n be k(2). Let q(o) = 2*o**2 - 4*o - 5. Let c be q(4). Let d be c + n*3/3. Solve 4*r = d + 2 for r.
4
Let x be (-5 + 6)*(18 + -2 + 3). Solve -x = 3*a - 7 for a.
-4
Suppose 0 = -8*u + 4*u + 8. Solve -u*v = v for v.
0
Suppose 3*j = -j + 8. Suppose -j = -t - 1. Solve 0 = -w - t + 6 for w.
5
Suppose -2*a = -0*a - 4*u + 14, -a - u = -8. Suppose -4*d = a*o - 3*d, 0 = 5*o - d - 8. Solve -o = -k + 1 for k.
2
Let j be ((-12)/(-10))/(4/10). Suppose 10 = -j*h + 5*h. Let c be -5*(0 + (-3)/h). Solve -2*a = -c*a - 3 for a.
-3
Let k be (1 - 0/1)*3. Let z = k - 1. Solve -2*h + 0*h - z = 0 for h.
-1
Let i be (56/35)/(4/10). Solve 2*c = 6 + i for c.
5
Let g(f) = 3*f**2 + 7*f - 1. Let d be g(-3). Let a be -8 - (0/(-2) + -1). Let l = a - -12. Solve 0 = l*h - 20 - d for h.
5
Let m(g) = -g**2 + g + 2. Let q be m(0). Solve 10 = 4*v + q for v.
2
Let r = 154 - 150. Solve r*l - l = 0 for l.
0
Let i(g) = g**2 + g - 1. Let t(l) be the second derivative of l**5/20 + l**3/6 - 3*l. Let v be t(1). Let f be i(v). Solve f = w + 2 for w.
3
Let t be 4*(1/2)/1. Suppose a - 24 = -t*f, -2*a + f + 41 = -7. Suppose a = g + 3*g. Solve -b + g = 1 for b.
5
Suppose -2*m + 10 = 3*m. Suppose -m*k - 3 = -3*k. Let l = 26 + -7. Solve -l + 4 = -k*u for u.
5
Let v = 0 - -5. Suppose 0 = -3*y - 18 - 9. Let l be y*1*(1 - 2). Solve -24 = -v*f - l for f.
3
Suppose j - 8*j + 35 = 0. Solve j*r - 28 = -8 for r.
4
Suppose -j = p + 2*j - 4, 0 = -3*p - 2*j + 12. Solve 0 = p*t + 2 + 10 for t.
-3
Let t(p) be the third derivative of p**6/120 - p**5/20 - p**4/12 + p**3/6 - 4*p**2. Let w be t(4). Solve -m + w = -4*m for m.
-3
Let c = -39 + 43. Solve -c*y + 4 = -3*y for y.
4
Let s be -6*(8/(-12))/1. Solve -1 - s = -l for l.
5
Let i = 13 + -7. Solve 0 = d - i*d for d.
0
Suppose 0 = -12*i + 3*i. Solve 5*h - 5 - 5 = i for h.
2
Let b(l) = 2*l + 30. Let t be b(-13). Solve t*v + 0*v = 8 for v.
2
Suppose 8*a + 13 = 69. Solve -2*s - a = 3 for s.
-5
Let h = -14 + 16. Solve -6*r + h*r = 0 for r.
0
Let h = -9 - -9. Suppose -25 = -p - 0*p. Solve -4*w - w + p = h for w.
5
Let k(m) = m**3 - 3*m**2 - 5*m + 3. Let a be k(4). Let t = a - -5. Suppose 2*v - 4*v = 0. Solve o - t = -v*o for o.
4
Let a(c) = -1 - 11*c + c**3 + 6 + 7*c**2 - 5. Let r be a(-8). Solve -4*g + 4 - r = 0 for g.
-5
Suppose -20 = -7*r + 2*r. Suppose 0*x + x - r = -2*l, 4*x = -l + 2. Solve 5*y = -x*y for y.
0
Suppose -3*i = -6*i + 6. Solve 0*q + 4 = -i*q for q.
-2
Let y be 2 + (0 - (-2 + 3)). Let b be (-2 + 1)/(1/1). Let k = y + b. Solve k = -2*q + 5 + 3 for q.
4
Let b = -36 - -14. Let i = b - -27. Solve -15 + 0 = -i*j for j.
3
Suppose 0 = -0*a + 6*a. Suppose 4*w + 3*b - 7 = -0*w, a = -2*w + 5*b + 23. Solve w*x = 13 - 1 for x.
3
Suppose 18 = 2*h - 0*h. Suppose 0*b - h = b. Let k = 3 - b. Solve 3*c + c = -k for c.
-3
Suppose -4*v + 17 = -3. Solve 0 = -v*r + r for r.
0
Suppose -5*u + 13 + 57 = 0. Let s be (-1)/((-2)/22) + 0. Let t = s + u. Solve -3*z = 2*z - t for z.
5
Let k(z) = z**2 - 6*z + 2. Let h be k(6). Suppose h*j - 29 = 21. Suppose 2*b = 3*b - j. Solve 3*t = -2*t + b for t.
5
Let z = 6 + -5. Let u be ((-3 - -1) + -3)*z. Let k be (u/10)/(1/(-4)). Solve 0 = k*f - 7*f + 10 for f.
2
Let l be -1 - -1*1 - -2. Suppose -5*g - 5*s - 10 = -0*g, -s - 10 = -3*g. Suppose 0 = 5*r + 3*u - g - 7, 16 = 4*r - 2*u. Solve l*y = r*y + 3 for y.
-3
Let y be (-2)/(-4) + (-148)/(-8). Let x(b) = 2 - b + y*b**3 + 0*b - 20*b**3 + 2*b**2. Let l be x(2). Solve l = r + 5 for r.
-5
Let s be 0 + 0/2 - -3. Solve s = -z + 4*z for z.
1
Let f(v) be the second derivative of v**4/3 + v**3/6 + v**2/2 + 2*v. Let u be f(-1). Suppose 3*k = 7*k - u. Solve -4 = -3*r - k for r.
1
Let w be 27/(-4) + 3/4. Let v be (4/w)/((-4)/(-72)). Let n = v - -17. Solve 0 = n*b + 5 - 20 for b.
3
Suppose y - g - 1 = -3, 3*y - g + 2 = 0. Suppose y = -k, 3*k + 0*k + 55 = 5*f. Solve -9 = 4*h + f for h.
-5
Let h = 15 - 18. Let y be (-12)/2*1/h. Solve -n - y = n for n.
-1
Let g be 494/117 + 4/(-18). Let v(c) = c**2 + 7*c + 9. Let u be v(-7). Solve g*p - u = 11 for p.
5
Let a = 5 + -5. Suppose 6 = i - a. Solve 2*g = -0*g - i for g.
-3
Let r be (-2)/4 - 2/(-4). Let p(f) = f + 3. Let q be p(-3). Suppose 0 = -4*w + 5*k + 1 - 8, -k = w - 5. Solve x + q - w = r for x.
2
Let i(g) be the first derivative of 1/3*g**3 + 1/4*g**4 + 0*g - g**2 + 2. Let n be i(-2). Solve -2*t + 4 + 0 = n for t.
2
Suppose -3*k + 13 + 8 = 0. Let j = k + -3. Solve j*v = v + 12 for v.
4
Suppose -5*k - 4*w + 58 = 0, 2*w = -3*k + 27 + 7. Solve 0 = 2*s - 4*s + k for s.
5
Let g be ((-8)/4 - -4)/(-2). Let b be 1 + (g + 3 - 0). Solve 3 = 3*d - b for d.
2
Let y(g) = 2*g - 4. Let z be y(-3). Let l be z/(-2) + 0/(-3). Let r(p) = -p + 5. Let d be r(l). Solve -f + d + 1 = 0 for f.
1
Let b(u) = -u**3 + 5*u**2 + 2*u - 6. Let p be b(5). Solve -4*f = p + 12 for f.
-4
Suppose -14 = -2*j - a - 7, a = 3*