pose 5*r - 4 - 6 = o. Solve 4*v - 2*v = r for v.
1
Suppose t - 2*v - 4 = 0, 4*t - 9 = 3*v - 2*v. Let d be t - (1 - 6) - 2. Suppose q - 3*q + 5*i + 29 = 0, 2*i = 4*q - 50. Solve y - d*y - q = 0 for y.
-3
Let b(g) = -3*g - 20. Let k(a) = -a + 1. Let s(v) = b(v) + 3*k(v). Let r be s(-7). Solve t - 6*t - r = 0 for t.
-5
Let j be (1 - 3)/(-1*1). Let c = j - 2. Solve n + 6 - 1 = c for n.
-5
Let b = 13 - 11. Let t = -1 + 3. Solve -w + t = -b*w for w.
-2
Let y = -6 + 4. Let u = 4 + y. Suppose -2*q + 3*f - f + 6 = 0, 11 = 2*q + 3*f. Solve 14 = q*z - u for z.
4
Let p(u) = -2*u - 2. Let c be p(-4). Let v = 12 + 0. Let d = v + -9. Solve c = -d*i + 5*i for i.
3
Let b = 0 + -1. Let p be 1*(b + 9/3). Let w = 1 + p. Solve -a + w = 2*a for a.
1
Let d = 11 + -5. Let o be (9/d)/(2/36). Let j be 3/6 - (-15)/10. Solve 5*l - o = -j for l.
5
Let a(x) = -x**2 + 28. Let b be a(5). Solve -16 = -b*n - 1 for n.
5
Let q be 0/(6*(-3)/6). Solve a + q*a = 1 for a.
1
Let n = -4 + 8. Suppose n*o - 50 - 10 = 0. Let x be 39/o - 4/(-10). Solve -x = 2*b + 3 for b.
-3
Let i be 53/2 + 1/(-2). Let k = i + -16. Suppose -s + k = s. Solve 2 = -s*a + 12 for a.
2
Let a = -43 + 68. Suppose 2*i - a = -3*i. Solve 21 + 4 = i*w for w.
5
Let i be 0/(-2*1/1). Let u = 2 - i. Solve u*n + 5 = n for n.
-5
Let o be (-3)/(-2)*28/21. Suppose 27 = x + o*x. Solve -3*y = -0*y + x for y.
-3
Suppose -16 = -5*w - 36. Let h be (3/(-6))/(w/8). Solve -2 = -m + h for m.
3
Suppose -k + 0 - 3 = -f, -5*f + 15 = 2*k. Solve 2*a + 2 + k = 0 for a.
-1
Let k(h) be the first derivative of h**3/3 + 4*h**2 + 7*h - 1. Suppose -4*g = g + 35. Let l be k(g). Solve l = -8*a + 5*a - 15 for a.
-5
Suppose 5*k - 9 = 4*j, -21 = 4*j - 8*j - k. Suppose -4*m - q = -11 - 1, j*q - 10 = 3*m. Suppose m*d + 4*p - 23 = -5, 0 = -2*p. Solve w - d = 4*w for w.
-3
Let u be -4*((-6)/4)/3. Let o(m) = -2*m + 16. Let c be o(7). Suppose 5 = -a, 4*r - 2*r = -c*a. Solve x = -r + u for x.
-3
Let h = -9 + 9. Solve h = z - 4*z for z.
0
Let l(z) = -z**2 - 11*z - 10. Let f(w) = -w**2 - 10*w - 9. Let d(i) = -6*f(i) + 5*l(i). Let o be d(-5). Solve -o*c = 15 - 3 for c.
-3
Let p(n) = 4*n**3 - 4*n**2 + 4*n - 4. Let a be ((-6)/10)/((-3)/15). Let m be p(a). Suppose m = 8*l - 4*l. Solve -l = 6*x - x for x.
-4
Let t(m) = m**2 + 16*m - 17. Let l be t(-17). Solve l = -p - 0 + 3 for p.
3
Let t(u) = u**3 - 2*u**2 + 2*u. Let c be t(2). Suppose -c*s + o + 111 = 0, -s - 2*s - 3*o + 72 = 0. Let g = s + -15. Solve 0 = -i + 4*i - g for i.
4
Let m(g) = 14*g**2 + 1. Let f be m(1). Suppose 4*t - f = -t. Solve 0 = -7*x + t*x - 4 for x.
-1
Let i(a) = a - 1. Suppose -13 = -2*f + 1. Let p be i(f). Solve -p = 4*t - 2*t for t.
-3
Let y be (3/(-6))/(1/(-6)). Suppose 40 = y*t + t. Let j = 19 - t. Solve 0 = -4*b - j - 11 for b.
-5
Suppose -3*g - o - 3 = 0, 3*o + 3 - 4 = -4*g. Let s be g - (-3 + (1 - 0)). Solve s - 3 = -i for i.
3
Suppose -3*g - 4*g + 7 = 0. Solve g = -5*n - 9 for n.
-2
Let u(l) = 10*l - 10. Let v be u(7). Suppose 2*c = -3*c + v. Solve s = -2*s - c for s.
-4
Let r = 12 + -9. Suppose -4*u = -5*c - 8*u - 10, 0 = c + u + 2. Let l = r + c. Solve 2*z = z + l for z.
1
Let j be (49/4)/((-1)/(-4)). Suppose 5*p + 4 = j. Suppose -p = -3*x - 3. Solve 0 = x*c + 4 - 2 for c.
-1
Let i be 2*2 - (-8 + 9). Let v = 54 + -52. Solve 0 = v*q - i*q for q.
0
Let o be (2 - 35/14)*(1 + -1). Solve o = -2*p + 3*p for p.
0
Suppose -3*u + 16 = u. Solve 5*i - 1 = u for i.
1
Suppose 4*q = 36 - 0. Suppose l = -2*l + q. Solve -l = -0*i - i for i.
3
Let w(c) = -9*c - 1. Let o be 0 + (-3)/(0 + 3). Let z be w(o). Suppose 0 = -2*n + z - 2. Solve n*f - 10 = f for f.
5
Suppose 14 = 2*i - 12. Solve -4*q + i + 3 = 0 for q.
4
Suppose -4*i = 4*h, 8*h = 9*h. Solve -2*d - d = i for d.
0
Let r = -13 + -17. Let d be 1/(-3) + r/(-9). Suppose -3*m - 6 = -3*o, 0 = -o - o - d*m + 14. Solve 5*i = -o + 9 for i.
1
Let g(o) = 2*o**2 - 5*o**2 - o**3 + 2*o**2 + 1. Let a be g(-2). Solve 0*z - 10 = -a*z for z.
2
Let a(n) = 2*n**2 - 4*n + 1. Let m(b) = 4*b**2 - 7*b + 2. Let g be (-105)/(-25) - 1/5. Let w(t) = g*m(t) - 7*a(t). Let x be w(1). Solve 2 = x*i - 1 for i.
1
Let l(j) = -j**3 + 8*j**2 - 13*j + 7. Let h be l(5). Solve 0 = -3*g - 5 + h for g.
4
Suppose -4*s + 37 - 25 = 0. Solve 4*l + 2 = s*l for l.
-2
Suppose c - 6*c = 0. Suppose c = 7*t - 2*t - 5. Solve 2*h + t = 3 for h.
1
Let d = -4 + 7. Suppose -3*i - d = -u - 2*i, -i = -4*u + 9. Solve u*y + 4 = 4*y for y.
2
Let r be ((-6)/(-4))/(1/2). Let q be r/12 - (-150)/8. Solve -5*k = 6 + q for k.
-5
Let h = -4 + 8. Suppose -h*d - 232 = -8*d. Let s be 2/3 + d/3. Solve 0 = -b - 4*b - s for b.
-4
Let q = -5 + 5. Suppose 4*o - 5*f + 4 = q, f = 4*o - 2*f - 4. Solve 3*n + n + o = 0 for n.
-1
Suppose -4 = -n + 5. Suppose 4*b - 2 = m + n, -2*b - 2 = -2*m. Suppose -b*g = -3*g. Solve -d + 1 = -g for d.
1
Suppose -17 - 8 = -5*r. Let i be r/(-3)*-1*3. Let h(z) = -z**2 - 7*z + 4. Let w be h(-7). Solve i*g - 21 = w for g.
5
Let d be (10/4)/(((-45)/(-10))/9). Solve 14 = -3*o + d for o.
-3
Let g be ((-12)/(-16))/(1/4). Suppose -2*i = -g*i + 5. Solve 0 = -i*s + 2*s - 9 for s.
-3
Suppose 0 = -0*q - 2*q + 6. Suppose 0 = 5*y - 4*z - 26, z - 10 = q*y + 5*z. Solve y*c - 3 = -1 for c.
1
Let d be 2/(-5) + 381/15. Suppose 30 = -0*i + 5*i. Let j be (-9)/(-4)*16/i. Solve -h - d = -j*h for h.
5
Suppose -5*z - 8 = -7*z. Suppose 18 - 50 = -z*h. Solve 5*y - 3*y - h = 0 for y.
4
Suppose 4*d - 40 = -g, -6*g = 3*d - g - 30. Solve 2 = 3*z - d for z.
4
Let w be (-9)/(-18) - 3/(-2). Suppose -w*i + 25 = 3*i. Let g(f) = f**3 - 2*f**2 - 3. Let y be g(3). Solve 2*b = i*b - y for b.
2
Suppose 15 = 3*s + 3. Solve s - 8 = -2*l for l.
2
Let n(d) = -d**3 + 4*d**2 - 3*d. Let g(c) = -c**3 + 11*c**2 + 11*c + 14. Let h be g(12). Let k be n(h). Solve -k*a = -a for a.
0
Let t(c) = -c - 3. Let l be t(-10). Solve 0 = -l*g + 5*g + 8 for g.
4
Suppose -10 = 5*z, 0*c - 14 = -2*c + z. Let l(a) = a**3 - 7*a**2 + 6*a + 5. Let k be l(c). Solve k = 2*y - y for y.
5
Let d = -8 - -11. Let u = 3 - d. Solve 5*s - 27 + 7 = u for s.
4
Let h be (-2 + 0)/((-2)/12). Let b be 5 - 8 - h/(-2). Solve -5*g - 2 - b = 0 for g.
-1
Let n be (15/2)/3*2. Suppose 34 = 7*l + 6. Solve n = l*v + v for v.
1
Suppose 4*q + 2*w + 1 - 5 = 0, -4*q + w + 10 = 0. Suppose 2*j + 9 = 5*j. Suppose -q - 4 = -j*h. Solve 2*s = -h*s for s.
0
Suppose -1 = -t + 1. Let l be (3 - t)/((-1)/(-2)). Suppose -5*z - 2*u = -106, 3*u = 4*z - 0*u - 71. Solve z = l*c + 3*c for c.
4
Suppose 0 = 5*t - t - 196. Let h = -29 + t. Suppose 0 = 5*y - 2*a - 24, -5*y + 2*y + 4*a = -h. Solve y = o + 2 for o.
2
Let j(p) = -p**3 - p**2 - 3*p - 2. Suppose -1 + 5 = -2*v. Let k be j(v). Solve n - 3*n = k for n.
-4
Let f(g) = g - 3. Let v(u) = -u + 3. Let m(b) = -3*f(b) - 2*v(b). Let c = 4 - 2. Let s be m(c). Solve -n = -5 + s for n.
4
Suppose c + 7 + 2 = 0. Let o be (-16)/(1 + 3) - c. Solve 3 = -2*u + o for u.
1
Suppose -2*j + 5*j + 51 = 0. Let o = -8 - j. Solve y + 2*y = o for y.
3
Let t be 1 - -1*(0 + 2). Suppose v - 3 + 1 = 0. Suppose t*x - v = x. Solve -10 = -3*r - x for r.
3
Suppose -4*s = -9*s + 10. Solve s*w + 4 = w for w.
-4
Let r be 2/(-4)*(3 - 1). Let z = r + 6. Solve 0*l - z*l = 0 for l.
0
Let a(n) = -n**2 - 9*n + 5. Let v be a(-5). Let f = 5 - 10. Let l be 2/f - (-110)/v. Solve 5*s + l = s for s.
-1
Suppose 0 = 4*t - 16 - 44. Let y = t - 14. Solve 3 = -2*j - y for j.
-2
Let z be 7 - (0 + -1) - -1. Let v = -6 - -10. Let m(w) = w**2 - 3*w - 2. Let u be m(v). Solve u*q = -q - z for q.
-3
Suppose 0 = 4*o + 9 - 21. Solve -q - 6 = -o for q.
-3
Let s = 9 - -10. Solve -4*v - 1 = s for v.
-5
Let r = -8 - -5. Let w(s) = s + 5. Let l be w(r). Suppose -8*o + 4*o = 0. Solve o = -l*v - 0*v for v.
0
Let f(u) = u**3 - 5*u**2 + 5*u - 1. Let v be ((-4)/(-5))/((-14)/(-70)). Let x be f(v). Solve x*r = -4 + 13 for r.
3
Suppose -2*p = 3*r - 4*p - 6, -4*p = -3*r + 6. Suppose 0 = -w + 6 - r. Solve w*n = 5*n for n.
0
Let o = 15 - 13. Solve j + o*j = 0 for j.
0
Suppose -3*i + 3 = -6. Suppose 0 = 7*h - i*h. Solve h*u = -u + 5 for u.
5
Let d be 2/2*-1*0. Suppose 11 - 3 = 4*s - 2*k, 5*s - 2*k = 12. Suppose 5*l - s*l - 6 = 0. Solve d = 4*m - l - 2 for m.
2
Let p(s) = -s**2 + 3*s + 4. Let g be p(3). Suppose g*w + 2 - 10 = 0. Solve w*x = 4 + 4 for x.
4
Let r = 0 - -10. Suppose -5*z = -0*z - 5*c - r, -z = 3*c - 6. Let t = -3 +