t z be 1*(3 + 3 - y). Solve -z*l + 0*l - 4 = 0 for l.
-2
Let k(f) = f + 15. Let v be k(-11). Suppose -14 = -5*j - 4. Suppose j*n - 1 = 3. Solve v - 2 = n*u for u.
1
Suppose -2*l - 3 = s, -4*s = -0 + 12. Suppose x + l = 2. Solve -2*d + d - x = 0 for d.
-2
Let u = 12 + -4. Let b = u + -7. Solve -2*z + b - 9 = 0 for z.
-4
Let v be 3 - ((-6)/(-3) - 3). Let c = -1 + v. Suppose -s + 3*t - 6 = 0, 3*s - 2 = -c*t + 4. Solve -3*o + s = 9 for o.
-3
Let f(k) = 2*k - 15. Let v be f(9). Solve v*r = r for r.
0
Suppose 5*j - 2*d + 3*d - 17 = 0, 0 = 3*j - 3*d - 3. Solve 20 = j*u - 7*u for u.
-5
Let o = -7 + 11. Let w(y) = -2*y**3 - 2*y**2 - 3 - y**2 + o. Let h be w(-2). Solve h*p + 6 = -4 for p.
-2
Let d be (-5)/(-5) + 1/1. Suppose 0*m = -d*m + 28. Suppose 6 = 5*k - m. Solve k = 3*y - 11 for y.
5
Let t = 87 + -57. Let k be (-3)/(-2) - t/(-12). Solve k*g = g + 3 for g.
1
Suppose -2*s = s - 27. Solve s*i - 4*i + 5 = 0 for i.
-1
Let o = 186 - 161. Solve -6*u + u - o = 0 for u.
-5
Let v be 9/1 + -2 + -2. Let c be (0 + 0)/(v/(-5)). Let g be (0 - -6) + 1 + -1. Solve 3*d = -c*d - g for d.
-2
Suppose 3*x - 21 = 2*g - 2, -3*g - 18 = -x. Solve 0 = -2*f - 1 + x for f.
1
Let m be 4/12 + 5/3. Solve m*o = -2*o for o.
0
Let p = 0 + 0. Suppose -4*o + 5*o - 2 = p. Suppose -3*n + 15 = o*n. Solve 0 = 5*y - n*y for y.
0
Let m(h) = 6*h - 4 - 2*h + 2*h + h**2. Let y be m(-7). Suppose -4*d + y*d = -4. Solve -2*s = -d*s - 8 for s.
-4
Let f be 15/(-9)*(-6)/5. Solve f*t = 4 + 6 for t.
5
Let v be (1*3)/((-30)/80). Let j be -2 + (0 - (v - 0)). Suppose 4 = 2*s - j. Solve -3*f + 4 = -s*f for f.
-2
Let k be 3 - (-3)/12*0. Suppose -8*d + 21 = -4*g - k*d, 0 = -g - 4*d + 21. Solve -3*q + 4 = g for q.
1
Suppose 5*u - 7 = -2. Let d be 14 + u + (1 - 3). Let n = 23 - d. Solve -6*q + q = -n for q.
2
Let l = 72 + -64. Solve -l = 3*b - b for b.
-4
Suppose 2*d = d. Suppose d*m = -m. Solve 4*l - 5*l - 1 = m for l.
-1
Let z(m) be the first derivative of -m**2 + m + 3. Let a be z(-1). Suppose -3 + 19 = 4*s. Solve -s*q + a - 11 = 0 for q.
-2
Let r = 21 - 19. Solve 0*d - 4 = r*d for d.
-2
Let x be 4 + (-2 - -1) + 3 + -3. Solve -x*w + 8*w = -20 for w.
-4
Suppose 5*g - 19 = -4*y - 4, -4*y + 25 = -5*g. Let i = g - 24. Let z be (-40)/i - 4/(-10). Solve 0 = -z*w + 3 - 7 for w.
-2
Suppose -2*c = 2*y, 2*c = -5*y - 2 - 1. Let j be 0 - (y - 1 - 2). Solve 6*v = j*v - 8 for v.
-4
Let l(i) = -2*i**2 - 16*i - 10. Let w be l(-7). Solve 0 = -2*a - w - 4 for a.
-4
Let n be (-10)/35 + 30/7. Solve -x = n + 1 for x.
-5
Suppose 0 = -5*f + 3*f. Let v = 4 + f. Solve 0 = -2*s + v - 0 for s.
2
Let d be (-3)/(39/(-2)) - (-2)/(-13). Solve d*h = -5*h for h.
0
Let j be 3*1*(-6)/9. Let x = j - -6. Solve 10 = x*b - 2 for b.
3
Let m(n) = n - 1. Let o be m(1). Let j be 8 + 0 + (0 - o). Suppose -5*u - 2*w + 104 = j, 4*u - 90 = 5*w. Solve -2*b - 2*b - u = 0 for b.
-5
Let w be (-6*1)/(-1 - 1). Solve 0 = 4*x - w - 9 for x.
3
Let n be (5 - 5)/(-1 + 0). Solve 3*f - 6*f - 15 = n for f.
-5
Suppose 0 = -5*o + 3*d + 36, -2*d = -3*o + d + 24. Solve -o = 5*h - 2*h for h.
-2
Let s be (3 - 2) + 0 + 2. Solve 4*r = 5*r + s for r.
-3
Let t(a) = 3*a**2 - 6*a - 14. Let s be t(4). Solve 5*o - s*o + 25 = 0 for o.
5
Let d = -31 - -48. Let h = -71 - -75. Suppose -4*n = f - 5, h*n - 2*f - f = d. Solve 3 = n*w + 1 for w.
1
Suppose 0 = -0*x + x. Let c be 0/1*(x + -1). Suppose -3*b - b + 20 = c. Solve -5*w + b = -10 for w.
3
Let t be (-1)/((-6)/4 - -1). Suppose t*b + 2 = 6. Solve j - b*j = -5 for j.
5
Suppose 29 = 5*s - p - 0*p, 9 = s + 3*p. Suppose -3*i = -3*v + 51, 3*v - 4*i = -s*i + 66. Let l(r) = 5*r + 12. Let j be l(-2). Solve -j*q = 3*q - v for q.
4
Suppose -2*j - 24 = -6*j. Let m(i) = 7*i - i**2 + 1 + 0 - 1 + 1. Let w be m(j). Solve -5*h = -13 - w for h.
4
Let l(c) = c**3 + 11*c**2 - 10*c + 26. Let w be l(-12). Solve w*f + 16 = -2*f for f.
-4
Let a(c) = c**3 - 4*c**2 + 4*c - 3. Let y be a(3). Solve 3*z + y = -3 for z.
-1
Suppose 2*j = 2*d + 4, j + 0 = -2*d + 2. Let h be 0*((0 - -1) + d). Solve h = 3*m - 12 for m.
4
Suppose 3*b + 24 = 7*b. Let l(w) = w**2 - 7*w + 6. Let k be l(b). Solve -2*x + 1 + 5 = k for x.
3
Let q = 2 - 5. Let a be -1*(2 + -5 - q). Suppose 4*y = -a*y. Solve y*c = -2*c - 8 for c.
-4
Suppose 2*o - 4*l + 6 = -0*l, -l - 2 = -o. Solve -2*s = -o*s + 25 for s.
5
Suppose 2*h = -0*h - 6. Let b(a) = -a + 3. Let s be b(h). Suppose 3*q = s*q. Solve q*p + 3*p = 3 for p.
1
Let c be (-4)/18 - 22/(-18). Suppose -5*j + 16 - c = 0. Solve j*v = -0*v - 3 for v.
-1
Let o(d) = -2*d + 2. Let h be o(-1). Suppose 3 = -h*k - 3*q, -q + 5 = -k - 6*q. Solve -3*f + 0*f = k for f.
0
Suppose 4*d = -0*d - 16. Let n(u) = -u. Let v(i) = i**3 + 5*i**2 - i - 5. Let a(h) = -3*n(h) + v(h). Let o be a(d). Solve -2*l - 15 = o*l for l.
-3
Let j(k) = -k**2 - 12*k + 18. Let l be j(-13). Solve 7 = -l*p + 2 for p.
-1
Suppose 0 = 5*m - 4*p - 60, -2*m = -3*m - p + 3. Let d(w) = m - w**2 - w + 9*w**2 + 3*w**3 - 2*w**3. Let b be d(-8). Solve b = -5*n + n for n.
-4
Let v(x) = -2*x**2 + 1 + 6*x + 0 + x**2. Let u be v(5). Solve 3*g - u = -0 for g.
2
Let k = 108 - 101. Solve -2*s - k = -1 for s.
-3
Let n(b) = -b**2. Let r be n(0). Suppose r = -2*f + 4*f. Suppose 0 = 5*j + 4*t - 6*t - 33, 0 = -t - 4. Solve j*z - z - 20 = f for z.
5
Suppose -188 = -5*a + 137. Suppose -177 = 4*n - a. Let k be (1/(-2))/(7/n). Solve -5*o - 6 = -k*o for o.
-2
Suppose -2*k - 3*i = 3*k - 21, -4*i + 20 = 4*k. Let v(u) = -4*u - 6. Let p be v(-4). Suppose 5*a + p = -k*x - x, -a = x + 3. Solve a*f - 6*f = 0 for f.
0
Suppose k + 132 = -k. Let c be (-2)/(-11) + (-120)/k. Solve -c*w + w = 2 for w.
-2
Suppose -3*t = -15 - 0. Suppose r - 26 = -4*k - 4*r, 0 = t*k + 4*r - 28. Solve -2*u + 0 = -k for u.
2
Suppose -4*s + 56 = 4. Suppose -3*u + s = m, 37 = 5*m + 5*u - 8. Suppose -m*t = -3*t - 20. Solve 0 = -2*g + 3*g + t for g.
-5
Let d(w) = 5*w**2 + w - 2. Let y be d(-2). Solve -3*v + 7 = y for v.
-3
Let h be 4/(-16) + 25/4. Let b be (15/h)/(2/12). Solve -2*v = b - 5 for v.
-5
Let d = 119 + -114. Solve d*n - 6 = 3*n for n.
3
Let k be 1/3 - (-16)/(-3). Let s(q) = -6 + 7 - 3*q - 7. Let c be s(k). Solve -3*d + c = -3 for d.
4
Let p(h) = -h + 11. Let t be p(9). Let n = 1 + t. Suppose n*b = -0*b. Solve w = -b*w for w.
0
Let y be -6 + (1 - -2) + 5. Suppose -y*x = x - 12. Solve -5*f + 4 = -x*f for f.
4
Suppose -29 = -3*o + 4*l, 0 = -o - 2*l + 7*l + 28. Solve 0 = b - o*b for b.
0
Suppose -3*m = -5*u - 5*m + 23, 5*m = 3*u + 11. Solve 3 = -u*c + 9 for c.
2
Let z(b) = -b**3 + 9*b**2 - 6*b - 11. Let r be z(8). Solve 15 = -5*o + r for o.
-2
Let z(p) = -p**3 - 7*p**2 - p + 5. Let f be (0 + 2)/(4/(-14)). Let y be z(f). Suppose 2*w = -c + 3*w, 4*w = c + y. Solve -c*m + 0*m = 0 for m.
0
Let k be ((-1)/(-2))/((-3)/216). Let l be (2/(-6))/(4/k). Let t = l + 0. Solve -t*d = -8*d + 20 for d.
4
Suppose -4*b = 4 - 12. Solve 10 = 2*u + b for u.
4
Let g(x) = -14*x + 1. Let d be g(-1). Suppose 5 = 2*w - 3. Solve -w*t - 5 = d for t.
-5
Let d(q) = 9*q + 2. Let x be d(1). Solve -x + 3 = -4*r for r.
2
Let q(c) = c**3 - 3*c**2 + 4*c - 4. Let j be q(2). Solve -2*g + 8 = -j*g for g.
4
Let t = 0 + 0. Suppose t = 5*w - 7*w + 8. Suppose 6*r = 4*n + 3*r - 71, -w*n + 68 = -4*r. Solve 8*m = 4*m - n for m.
-5
Let l = 10 + -3. Solve 2 = -a + l for a.
5
Let b be (-4)/16 - (-82)/8. Let n(v) = -v + 6. Let r be n(3). Solve -5*j + r*j = -b for j.
5
Suppose g + n + 2 = 0, 0 = -3*g + g + 2*n + 12. Suppose 2*h - g = -0*h. Solve -5*p + h = -19 for p.
4
Suppose 10*t + 2 - 42 = 0. Solve 0 = -c + 5*c - t for c.
1
Suppose 3*o + 4*i - 3*i = 2, -3*o + 4*i + 22 = 0. Suppose -o*l = -6*l + 36. Solve 3*b = -0*b + l for b.
3
Let v(m) = m**2 - 5*m. Let d be v(4). Let q = d - -4. Suppose -4*t + 2*t = q. Solve t = -5*p - 21 + 1 for p.
-4
Suppose a + 2*a + 4*g = 24, g + 17 = 5*a. Solve 0 = -0*v + 2*v - a for v.
2
Let l(c) = c**3 - 13*c**2 - 14*c. Let u be l(14). Solve u = -q - 2*q - 3 for q.
-1
Let w(a) = -a**2 - 7*a - 3. Let p be w(-4). Solve 3 = -3*q - p for q.
-4
Suppose -10 + 4 = -3*j. Let s be (j/(-6))/((-1)/15). Solve -3*f = -s*f for f.
0
Let d = 3 + -3. Suppose -8 + d = -2*p. Solve 3*w - w = -p for w.
-2
Let n = -64 + 155. Suppose -i + n = 5*o, -2*o + i + 0*i + 35 = 0. Let c = o - 12. Solve c*l - 5 = l for l.
1
Suppose -2*x - x - 6 = -4*h, -9 = -3*h. Suppose -1 = r - s, -5*r - 3*