et g be (-8)/6*30/(-20). Let r(y) = 8*y - 1. Let f be r(1). Suppose -2*t - 14 = -u + f, -g*t - 51 = -3*u. Solve 3*z + u = -0*z for z.
-5
Let s be (-2)/(-1) - (-5 - 3). Solve -4*t = -10 - s for t.
5
Let a = -17 - -22. Solve -3*b = -a - 4 for b.
3
Let u(o) = 7*o - 1. Let r be u(1). Solve r*x - 25 = x for x.
5
Suppose -4*c - 25 = -9*c. Solve c*v = 7 + 8 for v.
3
Let l(z) = z**2 + z + 6. Let s be l(0). Suppose 7 = 3*v - 5*t + 21, 20 = 5*t. Let p = -7 + 11. Solve -p*a = -v + s for a.
-1
Let l(c) be the first derivative of c**4/4 + 4*c**3 - c**2 + 4*c - 3. Let i be l(-12). Suppose w = -0*w + i. Solve -8 = 4*g - w for g.
5
Let m(l) = 8 + 0*l + 0 - 4*l + 5*l. Let u be m(-6). Solve -z + u*z + 2 = 0 for z.
-2
Suppose 2*f = 3*z - 17, 3*f - 6 = -z + 4*f. Solve z*n = 2*n for n.
0
Let u be (3 - 0)*(2 + -1). Let d be 0*((-12)/(-8) - 2). Solve 3*y + u = -d*y for y.
-1
Suppose 6*b - 8 = 2*b. Let y be -6*(34/(-6) - -4). Solve -y = -b*u - 0 for u.
5
Let j(p) = p**2 + 5*p + 2. Let h be j(-5). Let l be h/8 - (-195)/20. Solve 5*v + l = -10 for v.
-4
Let c(b) = -1 + 5*b - 1 + 10 + b**2. Let w be c(-6). Let r be 4/w - 24/(-14). Solve 0*h + r*h - 10 = 0 for h.
5
Suppose -w + 5 - 3 = 0. Suppose w*q - 3*q = -2. Solve 3 = -q*o - 3 for o.
-3
Let c(f) = f - 2. Let g(p) = p - 2. Let s(m) = 4*c(m) - 5*g(m). Let d be s(2). Suppose y + 52 = 3*j, -j - 4*y = 2*j - 32. Solve d*x + j = -4*x for x.
-4
Let u(f) = 8*f**3 + 2*f**2 - f. Let r be u(1). Suppose -5*b + 16 + r = 5*j, 0 = 2*b - 3*j + 10. Solve -p - 5 = -b for p.
-4
Suppose 3*c = -2*c - 25. Let o = 7 + c. Let y be (4/3)/(o/3). Solve -5*f + y*f + 3 = 0 for f.
1
Suppose -3 = 2*w - 23. Solve -3*z - 4 + w = 0 for z.
2
Suppose 0 = t + r - 4, -2*t + 4*r - 20 = -r. Suppose 0 = -j - t*j. Solve j = -0*i - 5*i - 10 for i.
-2
Let o = 0 + 1. Let w be 6 - 3 - (o - 1). Solve t + 5 - w = 0 for t.
-2
Let f(d) = 3*d + 39. Let b be f(-11). Solve -3*i + b = -3 for i.
3
Suppose 3*a + 2*f = -40, 2*a + 0*f = -2*f - 28. Let t be (-27)/a - (-1)/(-4). Solve 2*h = 8 + t for h.
5
Let f be 3/2 + 6/(-4). Suppose -2 = -2*y + 2. Solve y*j + f = -2 for j.
-1
Let z be -3 + 6*(0 + 1). Let w be (-3)/(3/2) + 7. Let q(j) = -j**3 + 4*j**2 + 5*j. Let d be q(w). Solve d = -z*h - 2 + 8 for h.
2
Let t(y) = -y**3 - y**2 - y + 2. Let i be t(0). Solve i*a + a = 0 for a.
0
Let d(l) = 2*l**2 - 4*l - 8. Let z be d(6). Suppose 0 = -o - 2*o + 4*n + 30, 0 = -4*o - 3*n + z. Solve -o - 6 = 4*i for i.
-4
Let o(h) be the first derivative of 5*h**2/2 - 1. Let p be o(1). Solve -3*r + 6 = -p*r for r.
-3
Let o(f) = -f**3 - 12*f**2 + f + 16. Let x be o(-12). Solve 2 + 6 = -x*n for n.
-2
Let a be ((-2 - -1) + 0)*3. Let b = -3 - a. Solve b = -c + 4 for c.
4
Let d(r) = -5*r + 4. Let z(h) = 9*h - 8. Let v(b) = -7*d(b) - 4*z(b). Let q be v(4). Solve -2*t + 10 = -q*t for t.
5
Let u(q) = 3*q**3 + 2*q - 1. Let c be u(1). Let i = c - 5. Let x be 5/5 - (2 + i). Solve 4*g = -x + 4 for g.
1
Suppose -17*p + 14*p = 0. Solve 10 = -p*h - 5*h for h.
-2
Let f(u) = 3*u - 33. Let v be f(12). Solve -3*j = -4*j - v for j.
-3
Suppose 2*j - j = 5. Solve 3*i = j*i for i.
0
Let r be 25 + 0*1/3. Let x = -6 + 9. Suppose p = -4*p - 2*m + 6, -4*m - 2 = 3*p. Solve -p*g - x*g = -r for g.
5
Let p be -4*9*(-4)/(-6). Let a = -8 - p. Solve 0*g + a = -4*g for g.
-4
Let q = 7 - 3. Let d be (-1)/(-4) - (-56)/32. Solve q + 0 = d*h for h.
2
Suppose 4*d + l - 64 = 0, d - 2*d + 3 = -3*l. Solve d = 4*z + 3 for z.
3
Suppose -195 = -8*s + 21. Solve 5*g - 2 = -s for g.
-5
Let w(l) = l**3 - 6*l**2 + l - 4. Let h be w(6). Let d = 6 - h. Let b = -20 - -32. Solve d*i = i + b for i.
4
Suppose 4*x = 2*x + 16. Let n be -7 - (-2)/(-4)*-4. Let w = n + x. Solve -2*u - w = u for u.
-1
Let d(m) = -m**3 - 2*m**2 + 1. Let b be d(-1). Let p be (6 - b) + 9/(-3). Solve p*r = -0*r + 9 for r.
3
Let i(q) = q - 6. Let x be i(9). Solve -x*f + 5 = -10 for f.
5
Let h = 10 - 1. Let a = -6 + h. Suppose -a*y - y = 0. Solve 0 = u - y*u - 3 for u.
3
Let u be 8/20 + (-13)/(-5). Solve 1 = q + u for q.
-2
Let g(f) = f**2 - 1. Let z be g(-1). Let i(s) be the first derivative of -s**2/2 + 5*s + 1. Let h be i(5). Solve z = 2*c - 6 - h for c.
3
Let z = 3 + 0. Suppose 2 = h + 3. Let y = h + 1. Solve -15 = z*k - y*k for k.
-5
Let r be 52/8 + (-3)/2. Suppose 0*v + v + 10 = 4*i, 0 = -i - r*v - 8. Solve 6 + 2 = -i*h for h.
-4
Let c be (-4)/(-8)*10/(-1). Let k be (-40)/(-12)*(-6)/c. Solve q - k = 2*q for q.
-4
Suppose -3*w = -38 + 11. Solve w - 3 = -3*d for d.
-2
Suppose 3*m - 40 = -10. Let b = 14 - m. Solve j = b*j for j.
0
Let l = 8 + -8. Suppose l = -5*z + 5. Solve -3*u = -8 - z for u.
3
Let v(h) = 1. Let k(p) = -p**2 + 7*p - 11. Let s(q) = k(q) + 5*v(q). Let l be s(6). Solve -3*m - 11 + 2 = l for m.
-3
Suppose 2*w + 12 = -2*w. Let k be 0*(w - (-3 + 1)). Solve k = -m - 2*m + 6 for m.
2
Let v be (4/(-34) + 63/102)*0. Solve g + 0*g = v for g.
0
Let f = -27 + 36. Solve -1 = 2*v + f for v.
-5
Let x(k) = -k**3 + 7*k**2 + 3. Let v be x(7). Solve -v = -g - 8 for g.
-5
Let m = -4 + 1. Let j = -3 - m. Solve 3*r - r = j for r.
0
Let i = -13 + 29. Suppose 2*q = i + 22. Suppose 5 = 4*s - q. Solve w = -w - s for w.
-3
Let d(n) be the second derivative of n**3/6 - 9*n**2/2 + 2*n. Let u be d(9). Let k = -6 - -6. Solve 3*w + k*w + 12 = u for w.
-4
Let z(r) = 2*r**2 - r. Let q be z(2). Suppose 2*h + 15 = -5*g - 3*h, 3*g + 2*h + q = 0. Solve g + 5 = m for m.
5
Let w = 28 + -24. Let f be -1 + (-3 + w - -2). Solve -f*j + 12 = j for j.
4
Suppose p - 18 = -4*l, -6*l + l = 2*p - 21. Let w(m) = -63 + 63 + 2*m**2 + 2*m. Let a be w(p). Solve -15 = a*c + c for c.
-3
Let w be 0/(4*(-3)/(-6)). Suppose w*g = -2*g + 6. Solve 6*n + 3 = g*n for n.
-1
Let k(j) = -j**3 - 4*j**2 - 3*j - 1. Let v be k(-4). Suppose 2*g = 2*q - 6, -4*g + 13 = -q + 2*q. Suppose 3*c - g*c = 4. Solve -c - v = -5*d for d.
3
Let o(v) = 1. Let k(m) = -2*m - 6. Let w(h) = k(h) + o(h). Let y be w(-4). Solve 0 = -y*f + 5 - 20 for f.
-5
Let s = -2 + 5. Let v be (-2)/(-7) - (-52)/14. Suppose v*y = 3*y + 2. Solve -y*o = -s*o for o.
0
Let w(n) be the first derivative of -n**2 + 14*n + 7. Let s be w(7). Let q = -1 - -4. Solve q*x - 4 - 5 = s for x.
3
Let z(y) = -y**3 + 2*y**2 - y - 2. Let q be z(-1). Solve -t - 12 = q*t for t.
-4
Let b = 3 - -1. Suppose 3*g = -g + 24. Let i(t) = -t**3 + 6*t**2 + 2*t - 8. Let y be i(g). Solve 0 = -b*p - 0*p - y for p.
-1
Let t = 84 - 80. Solve -t*i + 3 = -3*i for i.
3
Suppose 0*i - 10 = -i. Solve d + i = -d for d.
-5
Let k(h) = h**2 - 10. Let s be k(4). Solve t - s*t = 5 for t.
-1
Let l(r) = -1 - 2 + r - 3*r + 3*r. Let b be l(4). Solve -2 - b = 3*s for s.
-1
Let o = -1 - 3. Let l be o*(0 - 3/6). Let z be 0/(l - 1 - 2). Solve z*n + 9 = -3*n for n.
-3
Let j be 0/(-2)*((-6)/(-4) - 1). Solve -q - 5 + 0 = j for q.
-5
Let o = 1 + -1. Let w = 0 - o. Let c = 129 - 127. Solve -4*u - c + 10 = w for u.
2
Let v(r) = -r**3 - 7*r**2 - 4*r + 14. Let y be v(-6). Suppose -t + 6*t = -3*l - 12, -3*l = -5*t + 12. Solve -y*q + 0*q = t for q.
0
Let l(x) = 15*x**2 - 2*x**3 + x**3 + 11*x - 7*x**2 - 12. Suppose -3*h + 41 = 14. Let y be l(h). Solve 0 = -11*o + y*o - 15 for o.
-3
Suppose s + 0 = -1. Let c(w) be the first derivative of -2*w**2 - w + 2. Let m be c(s). Solve -m*b + 2 - 5 = 0 for b.
-1
Let o = 10 + -21. Let b = 14 + o. Solve v + b*v - 16 = 0 for v.
4
Let h = -30 - -37. Solve -h*s = -8*s + 5 for s.
5
Let f be 18/(-6)*(-28)/6. Suppose -11 = 5*n + f. Let s be 0 + 5 + 4 + n. Solve -4 + 0 = -s*z for z.
1
Let n be (17 - 6) + 2*-2. Solve 3*t + 8 = n*t for t.
2
Suppose -19*t + 12*t + 42 = 0. Solve y = 3*y + t for y.
-3
Suppose -2*h + 15 = h. Let r = -5 - -5. Suppose -3*b + 5 = -r*b + 2*i, -h*b + 11 = 2*i. Solve -b*u = -2 - 1 for u.
1
Let b be 7/(1*3/12). Solve b = 4*w + 8 for w.
5
Suppose -p - 16 = -5*p. Suppose 4*w + w - 30 = -5*y, 2*w + 5*y = 6. Suppose -w = -p*d + 52. Solve -d = 3*z + 2*z for z.
-3
Let p be (-4)/(-14) - (-120)/21. Solve -p*u = -u for u.
0
Suppose 12 = -3*k + 3. Let p = k + 4. Suppose 7*g + 4 = 8*g. Solve -g + p = x for x.
-3
Suppose 4*q + 3*x + 12 = 0, -2 + 6 = q - x. Suppose q = -3*h - 3*r - 6, 0 = h - 3*h + 2*r + 4. Let i be (h - (0 - -3)) + 7. Solve i*f = -f - 25 for f.
-5
Suppose a - 8 = -0*a. Let v be ((-3)/(-2))/((-1)/6). Let p be v/(-3)*2/3. Solve -a = 2*s + p*s for s.
-2
Let l = -73 + 77. Solv