et c be 3/12 + (-26)/8. Let y = 5 + c. Solve 0 = y*m + 2 + 6 for m.
-4
Let w = -7 - -7. Suppose 4 = -w*f + f. Suppose 9*x - f*x - 15 = 0. Solve 15 = -x*u + 3 for u.
-4
Suppose 6*j + j = 14. Solve 11 = -3*g + j for g.
-3
Let r be (-2 + 3)/((-2)/18). Let x be -1 - (2 - 20 - 2). Let g = x + r. Solve -g = d + d for d.
-5
Let d be (-1)/(-1)*(0 - -1). Let s = -8 + 13. Suppose -8*n - 5 = -3*n - 2*o, 5*n - 30 = -s*o. Solve d = c - n for c.
2
Let f(m) = -m**2 + m. Let x be f(0). Suppose 2*u - c = 5, 3*u + 0*u - 7 = 2*c. Suppose u*h = -h. Solve 5*k + h - 5 = x for k.
1
Let j(g) = g**2 - 9*g + 22. Let m be j(7). Let l(y) = -y**3 - 4*y**2 - 3. Let w be l(-4). Let i = -1 - w. Solve 0*p = -i*p - m for p.
-4
Let y = -30 + 50. Suppose 5*u = 10 + y. Suppose -u*i = -i. Solve 3*o + 0*o - 9 = i for o.
3
Let u be -2 + (-6)/4*2. Let m = -1 - u. Solve -g = -m*g + 9 for g.
3
Suppose -2*a - 3 = -z, a + 9 = -0*a + 3*z. Solve 0 = -a*w - 2*w for w.
0
Let d be 0 - 1*(-1 - 3). Solve 4*z - d = 16 for z.
5
Suppose -f + 4*f = 12. Let s be (-161)/(-49) + 2/(-7). Suppose 5*l = -3*x + 47, s*x + 1 = 2*x. Solve f*o + o = l for o.
2
Suppose 0 = -r + 5*r - 52. Let o = 13 - r. Solve 0*h - 5*h = o for h.
0
Let i(o) = o**2 - 7*o + 2. Let y be i(8). Let s be 6/y*(3 + 7). Solve -q + s = 2*q for q.
2
Suppose 0 = -g + 4*g. Solve -5*p - 24 + 9 = g for p.
-3
Let p = -6 + 12. Let i be (0 + 0)/(p/3). Solve i = -r + 2 + 2 for r.
4
Let i(g) be the second derivative of -g**3/6 - g**2 + 3*g. Let c be i(-5). Suppose 3*w + 4*k - 28 = w, -4*w + 31 = c*k. Solve w*f + 8 = 2*f for f.
-4
Let o = -21 - -24. Solve -6 = -o*f - 0*f for f.
2
Let l = -79 + 79. Solve -5*j = -l*j for j.
0
Let g = 14 - 10. Suppose 7*j - 18 = g*j. Suppose 0 = 3*a + j - 66. Solve 5 = -3*i + a for i.
5
Let b(q) be the second derivative of q**3/6 - q**2/2 + 2*q. Let g be b(0). Let u be -1*(g - 1 - 0). Solve -u*k + 1 = -7 for k.
4
Let u(w) = -2*w**3 + 2*w**2 - 1. Let z be u(-1). Suppose -7*t = -z*t - 20. Solve 1 = -t*h - 4 for h.
-1
Let d = -21 - -23. Suppose 3*p = -z + 6, -3*p = d*z - 4 - 2. Solve p*j + 3 - 5 = 0 for j.
1
Let o(s) = -2*s**3 - 4*s**2 - 2. Let w be o(-3). Suppose -4*f = -0*f - w. Solve 8 = -f*k - 12 for k.
-5
Let c = -18 + 18. Solve 4*z + c*z = 12 for z.
3
Let m(w) = -1. Let p(q) = -2*q**2 + 4*q + 4. Let c(d) = -3*m(d) - p(d). Let l be c(3). Suppose 0 = -2*j - 5*f - 5, j - l*f - 55 = -2*j. Solve o = -o + j for o.
5
Suppose -3*b - 11 = i - 0*i, 5*i + 5*b = -5. Solve -j - 2 = -i for j.
2
Let j = 16 - 10. Suppose -8 = -j*h + 4*h. Let u be (1*-6)/(0 - 1). Solve u = 2*z - h for z.
5
Let h(l) = -l**2 + 9*l + 1. Let p be h(7). Let f = 16 - p. Solve -t + 1 = -f for t.
2
Suppose t = 5*i - 16, -5*i - 2*t = -t - 14. Suppose y + i*y = 8. Solve 1 = y*h - 1 for h.
1
Let m(a) = a**2 + 3*a - 4. Let o be m(-4). Let u(x) = x**3 - x**2 - x + 8. Let h be u(o). Solve h*d - 25 = 3*d for d.
5
Let a be 554*(-2)/(-44) - (-34)/(-187). Solve 3*b - 8*b + a = 0 for b.
5
Suppose 3*a - 10 + 1 = 0. Solve 6 = -a*y - 3 for y.
-3
Suppose 0 = 4*p - 16, 7*y + 18 = 6*y + 5*p. Let r = -5 + 8. Solve y*t = r + 7 for t.
5
Let m be (-9)/(-3) - (0 - -7). Let k(d) = d**2 + 2*d - 1. Let g be k(m). Solve -g = -3*r + 5 for r.
4
Suppose 4*y + 3*h - 12 = 0, 0 = 5*y - 2*h + 4 + 4. Solve -2*w = -y*w for w.
0
Suppose -k = 3, -3*a + 0*a - 3*k = 3. Suppose 5*j = a*j + 6. Solve w + 1 - j = 0 for w.
1
Let l be -5*18/15*1. Let o = 34 - l. Suppose -5*a + o = 4*z, 0*z + 36 = 4*a + 4*z. Solve -a*n + 0*n + 16 = 0 for n.
4
Let z be (-5)/(25/2)*-5. Suppose -34 = 4*v + 5*g, -z*v - v - 4*g = 26. Let d be (1 + -1)/(v/3). Solve d = -3*a - 9 for a.
-3
Let g(o) = o**3 + 4*o**2 - 2*o + 6. Let w be g(-5). Let y = w - -9. Solve 0*b + b + 2 = y for b.
-2
Let q be (-10)/(-2)*1/1. Suppose 3*u - 18*u = -150. Solve -j + q = u for j.
-5
Let n be 22/(-2)*(-2 - -1). Suppose 4*r + 5 = -n. Let h = 4 + r. Solve h*d = d - 3 for d.
3
Suppose -1 = 4*h - 37. Let g(q) = q**2 - 9*q + 6. Let i be g(h). Solve -3*x = i - 0 for x.
-2
Suppose 2*q + 135 = 5*q. Suppose 2*w + w = q. Solve -r + w = 2*r for r.
5
Let a be 12/3 + (-1 - (2 + -4)). Solve a*l + 0*l = 0 for l.
0
Let u(z) = 9*z**2 + 4*z - 11. Let r(t) = -4*t**2 - 2*t + 5. Let d(m) = 13*r(m) + 6*u(m). Let j be d(-1). Solve 2*k + 15 = -j*k for k.
-3
Let b = -4 + 1. Let c be (-455)/15 - 1/b. Let u be (-5)/(c/(-4))*-3. Solve -3*y - 4 = -u*y for y.
-4
Suppose -1 - 7 = 3*a + 4*f, -4*a = 3*f + 6. Solve a*d = 2*d for d.
0
Suppose 0 = 2*o - 10 - 4. Let b = -3 + o. Let p be ((-48)/9)/((-2)/3). Solve b*s - p = -0*s for s.
2
Let x be (-2)/9 - (-164)/9. Suppose 0*i = -3*i - x. Let u be 20/6 - (-2)/i. Solve 0 = -u*z + z - 2 for z.
-1
Let y(s) = 2*s - 5 - 5 - 2*s + s. Let p be y(14). Solve 3*m + m = -p for m.
-1
Let l(c) = c**2 + 7*c - 1. Let z be l(-8). Suppose -z*y + 3*y = 0. Solve y = -2*d + 4*d for d.
0
Suppose 3*p = -5*m + 55, 4*m - 14 = p + 13. Let w(h) = -h**2 + 11*h - 1. Let v be w(9). Solve v = -5*z - m for z.
-5
Let d(o) = -o - 6. Let s(t) = -t**2 + 3*t + 4. Let w be s(4). Suppose w = h + 2*h + 18. Let c be d(h). Solve -3 = -3*z - c*z for z.
1
Let v(o) = o**2 + 2*o - 2. Suppose -4*k + 14 - 38 = 0. Let i be v(k). Let a(j) = j**3 - 7*j**2 - 7*j - 8. Let f be a(8). Solve f = -5*m - i + 2 for m.
-4
Let v(f) = f**2 - 6*f + 2. Let n be v(4). Let w be 3/n - (-14)/4. Solve w*z - 15 = 6*z for z.
-5
Let y(n) = n**2 - 2*n. Let f be y(3). Suppose j + p = 1 - f, 2*p = 5*j - 4. Solve j*z + 6 = 3*z for z.
2
Suppose 3*n - 22 = -2*f, 0 = -4*n - 3*f + f + 28. Solve 0 = 4*q - n*q for q.
0
Suppose -2*j + 1 = -5*y, -19 = -3*j - 2*j - 4*y. Suppose 2*v = j*w - 13, -3 = -4*w + v + 16. Suppose -w*x + 6 = -4. Solve -x + 7 = n for n.
5
Let u(q) = q - 8*q**3 + 6*q**3 + 2*q**2 - 4*q**2. Let d be u(1). Let c be (-1)/d - 34/(-6). Solve c*g + 25 = g for g.
-5
Suppose 37*i - 35*i - 18 = 0. Solve 0 = 3*y - 0*y + i for y.
-3
Let z = 7 + -4. Suppose 0 = f + z*f - 60. Let p be (24/f)/((-1)/(-5)). Solve -3*l - 15 = -p*l for l.
3
Let s be (-1 - -3)*(-3)/2. Let m = -5 - s. Let v be (-7)/(-2) - 1/m. Solve -v*x = -8*x for x.
0
Let x be (-8)/12 + 14/3. Solve x*n = -n for n.
0
Let h(s) = -s**3 - 6*s**2 - 7*s - 5. Let k be h(-5). Suppose g - 4*f + 2 = -g, 2 = 4*g - k*f. Solve 0 = -2*p + g + 7 for p.
5
Let g(p) = -p**2 + 0*p + 2*p + 2 + p**3 - 4*p. Let c be g(2). Solve c*a + 20 = -2*a for a.
-5
Let v(f) = -3*f**2 - 6*f. Let p(t) = 10*t**2 + 18*t - 1. Let o(n) = -2*p(n) - 7*v(n). Let i be o(-6). Solve 2*b + 0 + i = 0 for b.
-1
Let q = -5 + 10. Suppose -5 = q*j - 40. Let h = -3 + j. Solve -h*n + 2*n = 4 for n.
-2
Let b = -20 - -20. Let n = 9 + -5. Solve b = -p - n + 1 for p.
-3
Let b = 13 - 7. Let m be 4 + (b/(-3) - -2). Solve m*q + 17 = 1 for q.
-4
Suppose 5*c + 0 = 10. Suppose 2*s - 2*p - 16 = 0, c*s = -s + p + 16. Suppose -x = x - s. Solve -x*t = -0*t + 4 for t.
-2
Let l = -3 - -5. Let c = 88 + -88. Solve c*r = l*r - 10 for r.
5
Let m be 4/(-2)*(-35)/2. Let i be 10/m + (-38)/(-14). Let v = 3 - 3. Solve 0 = -3*h - v + i for h.
1
Let v be ((-6)/(-8))/(1/4). Solve -y - 8 = v*y for y.
-2
Suppose 0 = -5*g - l + 2*l - 7, -2*g - 13 = 3*l. Let s be (-5)/((-5)/g) - -8. Suppose s = -5*i + 21. Solve i*y = -1 - 5 for y.
-2
Let m(p) = -p + 13. Let b be m(13). Solve b = -5*g + g - 16 for g.
-4
Let y(d) = -d**2 + 4*d + 5. Let w be (-1)/(-5) + (-19)/(-5). Let z be y(w). Solve 0 = -7*s + 2*s - z for s.
-1
Suppose 3 = 2*i + 9. Let n = 14 + -9. Let j = n + i. Solve 5*v = j + 3 for v.
1
Suppose -s + 4*i + 16 - 3 = 0, -2*s - 2*i = 4. Solve -9 - s = -5*v for v.
2
Let z(j) = 0*j + 2*j - j - 1 + 0*j. Let v be z(-5). Let c = v + 10. Solve -c*h = -13 - 7 for h.
5
Suppose 3*p = -4 - 11. Let j(n) = n**3 + 4*n**2 - 6*n - 1. Let w be j(p). Solve 2*s = w*s - 8 for s.
4
Let o be (2/3)/(1/(-15)). Let t be (-21)/7*o/3. Solve -3*f + f + t = 0 for f.
5
Let o(l) = l**3 - 3*l**2 + 2*l + 3 - 7 - 2 + 2. Let k be o(3). Solve k*t + 2*t = 16 for t.
4
Suppose 0 = 5*l - 3 + 68. Let c = 17 + l. Solve c = z - 0*z for z.
4
Let u be (-2)/(-9) + 4/(-18). Let z be (12 - -3)*16/6. Suppose 0*d - 4*d + z = 0. Solve 6*q - 4*q + d = u for q.
-5
Let i = 7 + -19. Let z = i + 20. Let a be (8 - z)/(1 - 0). Solve -3*b + a = 3 for b.
-1
Let h(u) = -u**2 - 4*u + 5. Let a be h(-5). Suppose a = 4*z - 2*d + 2, -2 = -6*d + 4*d. Solve z = 5*m - 14 - 11 for m.
5
Suppos