et l = -18 + 20. Solve 2*u - 3*u = l for u.
-2
Suppose -3*u - 14 = -4*b, 0*b - 2*u = b - 9. Suppose 0 = 4*r - 9*r. Suppose 4*q + 0*q - 120 = r. Solve -5 + q = b*h for h.
5
Let d be (100/16)/((-1)/(-4)). Suppose -5*v = 4*w - 35, 5*v = -w - w + d. Solve 0*u - 6 = -v*u for u.
2
Suppose 0 = -4*h + 3*u + 27, -3*h + 0 = -5*u - 23. Solve -a = -5 + h for a.
-1
Let k be ((-1)/(-4))/((-2)/(-16)). Solve w = -0 + k for w.
2
Let j be (3/(-6))/((-3)/24). Suppose -j*q - 3*f = 16, 4*q - 2*f - 5 = -1. Let x = 5 + q. Solve -x*g - 1 = 3 for g.
-1
Suppose 11 + 9 = 5*k. Suppose 0 = -k*s + 7*s. Solve 4*c = -s*c for c.
0
Suppose 2*q = -11 + 29. Suppose 0 = -b + 4*b - q. Solve b*c = -12 + 3 for c.
-3
Let f = 109 - 107. Solve -f*w + 3*w = -4 for w.
-4
Let s = 4 + -3. Let a be s/(2/2) - 1. Solve -5*k - 5 = -a*k for k.
-1
Suppose 4*r + 16 = 68. Suppose 47 = 3*q - 4*b, -2*q + 5*b + 30 = -r. Suppose -q = 3*o - 24. Solve o*s = s for s.
0
Suppose -11 + 20 = 3*d. Solve 3*a - d - 3 = 0 for a.
2
Let c(f) = -2*f**2 + 12*f - 7. Let y be c(5). Solve 3*l = 18 - y for l.
5
Let u(w) = -8*w - 5. Let x be u(-3). Solve t + 16 = x for t.
3
Let v(g) = 2*g - 14. Let c be v(7). Solve c*n = -5*n - 5 for n.
-1
Let q be (-3)/(-6) - (0 + 20/(-8)). Solve 0*w = q*w + 9 for w.
-3
Let s be (-1)/(6/(-2))*9. Suppose 0 = -5*h - s*b - 9, b + 4*b = -15. Solve h = -4*a + 9*a + 10 for a.
-2
Let b = 14 - -5. Let j = -17 + b. Solve -t - t = -j for t.
1
Let a be 5 + 2/(-4 - -2). Let y be ((-30)/25)/((-1)/5). Solve j = a*j - y for j.
2
Let b = 90 - 85. Solve b*d = 1 + 9 for d.
2
Let t be 1/((-2)/6) - -3. Suppose t = y + y - 18. Solve -4*u = -y*u - 10 for u.
-2
Let a(j) = -j + 1. Let n(z) = z**3 - 4*z**2 - 2*z + 6. Let h be n(4). Let v be ((-50)/4)/(-5)*h. Let d be a(v). Solve -r + 1 = d for r.
-5
Let b(c) = 2*c**2 + 2*c - 1. Let a(k) = k - 2. Let v be a(0). Let p be (v/4)/(4/16). Let z be b(p). Solve 7*r = z*r for r.
0
Let f be (-2)/(-6) - (-5)/3. Suppose 4*v = -6 + 34. Suppose -2*s + 46 = 2*s - 2*j, -3*j - 29 = -2*s. Solve -f*l = -v*l - s for l.
-2
Suppose -8*z - z + 36 = 0. Solve -z*u + 9*u + 15 = 0 for u.
-3
Let f(n) = n**2 + 7*n + 1. Let p be f(-7). Solve 0 + p = z for z.
1
Let z(d) = -d**3 - d. Let y(u) = -u**3 + u**2 - u + 1. Let b(l) = 2*y(l) - 3*z(l). Let h be b(-2). Solve -4*t - 5 + 1 = h for t.
-1
Let b be (-52)/(-14) + (-2)/(-7). Let z be (1/1 + 7)/2. Suppose 12 = z*p - b. Solve p = -h + 9 for h.
5
Let l(n) = n**3 + 4*n**2 - 2*n - 6. Let x be l(-4). Suppose -14 = -4*c + x. Solve 0 = k + c*k for k.
0
Suppose 2*d - 9 = -d. Suppose 4*s = f + 16, -20 = -4*f - 2*s - 3*s. Solve d*q + 2*q = f for q.
0
Let v(w) = -w**3 + 19*w**2 - 17*w - 16. Let t be v(18). Solve t*r - 3 = -r for r.
1
Suppose -l = -4*x + 2*l + 24, 2*l + 11 = x. Solve 0 = r + 2*r - x for r.
1
Let f(a) = a**3 - 23*a**2 + 23*a - 4. Let x be f(22). Solve 5*l = -x - 2 for l.
-4
Let j(n) = n**3 - 4*n**2 + 3*n + 2. Let h be j(3). Let b be (-1 - -3)/(1/h). Suppose -a + 56 = b*g + 16, 45 = a + 5*g. Solve 0 = 4*s + s + a for s.
-4
Let x be 2 - -3 - (3 + -1). Let f be x/(-1 - (0 - 2)). Solve 3*p + f = -9 for p.
-4
Let w(l) = 2*l**2 - 3*l + 2. Let g be w(2). Suppose x - 10 = -g*x. Solve -x = -z - 1 for z.
1
Let t = -25 + 40. Solve 0*g + 3*g + t = 0 for g.
-5
Let p be 2 + -1 - 8 - -3. Let y = p - -9. Solve 2*v = y*v + 15 for v.
-5
Let g be 1/(-2) - 1/(-2). Suppose g*x - x = -4. Suppose 0*f = -x*f. Solve f = u - 0 - 3 for u.
3
Let m = -18 + 35. Suppose -m - 33 = -5*o. Solve 2 = -4*b - o for b.
-3
Suppose -3*u + u - 1 = 5*y, -2*u - 4*y = 0. Suppose 3*v + 17 = c, -v - 3*c + 11 = -u*v. Let g = v + 10. Solve -4*z + 25 = g for z.
5
Let t be ((-8)/6)/((-2)/6). Suppose 2*w + 7 = v, 34 = -5*w - 2*v - v. Let p(j) = 2*j**2 + 7*j + 6. Let d be p(w). Solve t*i + 1 = d for i.
5
Let p be 8/36 - (-4)/(-18). Suppose -5*a - 5*f = -103 - 12, -4*a + 95 = 5*f. Suppose p = -o + x, -5*o - 3*x + a = 4. Solve o*b - 6*b + 4 = 0 for b.
1
Suppose 57 = 5*g - 148. Suppose 2*w = 5 - g. Let s = -9 - w. Solve -s + 3 = -2*t for t.
3
Let g be (-22)/(-6)*(4 + -1). Let b = -8 + g. Suppose 5*h + 0*h + 8 = -4*y, 4*y + 8 = 0. Solve 3*q + h = b for q.
1
Suppose -4*o + 10 = o. Suppose x + 4*k = 5 - 1, -5*k = -o*x + 21. Solve t - 3*t = x for t.
-4
Let n = 6 - 4. Let c = -2 + 5. Solve c = n*x + x for x.
1
Let o(w) = -2*w - 1. Let n(y) = y. Let v = -9 - -7. Let p be n(v). Let l be o(p). Solve -l*z = -4*z + 2 for z.
2
Let c(j) = -j**2 + 5*j + 6. Let d(k) = 5*k**2 - 20*k - 25. Let p(o) = -9*c(o) - 2*d(o). Let b be p(-4). Solve b = -2*h + 7*h for h.
0
Let f be (-8)/6 - 68/(-6). Solve 3*g = 5*g + f for g.
-5
Suppose 4*h - 8 = 4*q, h = -0*h - 2*q + 5. Solve -2*c = -h*c - 5 for c.
-5
Suppose 4*p + p - 5 = -5*n, -5*n - 7 = -p. Suppose -7*k + p*k - 25 = 2*o, 20 = -o - 4*k. Solve -h + 2*h + 4 = o for h.
-4
Let k be (8/6)/(4/6). Let h be -2 - (-6)/(k/1). Let l = 7 + h. Solve 0 = -l*n + 3*n for n.
0
Suppose -9*l + 11*l = 2. Solve -5*p = l - 11 for p.
2
Let y(t) = -t**2 + 8*t + 6. Suppose 0*k + 5*k - 40 = 0. Let x be y(k). Solve v = x*v for v.
0
Let h = 20 + -17. Solve 3*x - h = 2*x for x.
3
Suppose 5*n - 6*n + 3 = 0. Solve 8*x - n*x - 10 = 0 for x.
2
Suppose 44 = 3*d + 14. Let y be (-3 - -1)/((-3)/6). Suppose -2*p - y*f - f = -10, -5*f + d = -p. Solve p = -3*u + u - 6 for u.
-3
Let z = 3 + 1. Suppose -11 - 1 = -z*p. Let g(l) = l**2 + 7*l + 8. Let f be g(-7). Solve p*m = -4 - f for m.
-4
Let w = 1 + 5. Let g = -6 + w. Solve f + g = 2 for f.
2
Suppose z - 253 = -4*d - 0*d, 0 = 3*z - 15. Suppose -2*r - 84 = -4*i + 3*i, -i = -3*r - 126. Let l = d + r. Solve -l = v + 4*v for v.
-4
Let r(s) = 3*s**2 + 4*s - 32. Let c be r(-5). Solve -19*n + c*n = 4 for n.
1
Let f = -20 + 54. Let k = -15 + f. Solve -4*h - 3 = -k for h.
4
Suppose -2*q + 4*b = -0*b + 2, 0 = 4*q + 5*b - 61. Solve 0 = -2*f + 5*f - q for f.
3
Suppose n - 18 = -2*n. Solve 2*a + n = 5*a for a.
2
Suppose -x - 2*j + 6 = 0, -j - 3*j - 16 = -5*x. Suppose -26 = -x*u - 2. Let o = 2 - 0. Solve o*c = u*c for c.
0
Suppose 9 = 3*a - 0. Suppose m + 2*b - 7*b = -a, -4*m + 13 = 5*b. Let c be 8 - (2 - (m + -2)). Solve 0 = i + i - c for i.
3
Let s = -32 - -34. Solve -4 = s*v - 3*v for v.
4
Suppose 14 - 33 = -2*s - u, s + 4*u - 6 = 0. Solve -5*l = s - 0 for l.
-2
Let l = 3 - 1. Let f be 2 - (2 + -1 + 16). Let t = 31 + f. Solve -l*n - t = 2*n for n.
-4
Let n(c) = c**2 - 4*c + 2. Let i be n(0). Suppose -2*j + 0*j - g = -6, 3*j - 22 = 5*g. Solve -i = -m - j for m.
-2
Let n(i) = -i**2 - 7*i + 18. Let l be n(-9). Solve -6*r + 3*r = l for r.
0
Let z = 174 + -76. Let h be ((-6)/7)/((-14)/z). Solve -2*g = -0*g + h for g.
-3
Let j(n) = -n**3 + 10*n**2 - 9*n + 5. Let b(a) = a**2 - 7*a + 9. Let c be b(7). Let y be j(c). Solve -9 = -y*g + 6 for g.
3
Let o(l) = l**3 - 5*l**2 + 2*l + 11. Let b be o(4). Solve -b*u + 3 = 6 for u.
-1
Let t(d) = d**3 - d - 1. Let v be t(2). Suppose 115 = 3*k + g + 25, -5*g = -4*k + 101. Let i = -24 + k. Solve v = i*f - 0 for f.
1
Suppose 3*l - 3*b - 63 = -2*b, -5*b + 103 = 4*l. Suppose 5*p - l = -2. Solve 0 = z - 0 - p for z.
4
Let j(p) be the first derivative of 2*p**3/3 + p**2 + 2*p - 1. Let x be (12/(-18))/(2/6). Let f be j(x). Solve -4*w + f + 6 = 0 for w.
3
Let y(s) = s**2 - s - 2. Let k be y(2). Solve k = -5*a + 2 - 22 for a.
-4
Suppose 0 = 3*i - h - 12, -4*i + 4 + 1 = -5*h. Let g = 10 - i. Solve g*w - 6 - 19 = 0 for w.
5
Let w(x) = x - 3. Let b be w(6). Let c(z) = -2*z**2 - 13*z + 9. Let d be c(-7). Let h be (3 - d)/(b/6). Solve -l = -h*l for l.
0
Let n be (-1)/(-3) - 52/12. Suppose -4*q = 2*h + 22, -q + 0*q - 16 = 4*h. Let o = q - n. Solve -4*y = -o*y + 16 for y.
-4
Suppose 20 = u - 6*u. Let q = 7 + u. Suppose -27*t + 24*t = 0. Solve t = -j - q*j for j.
0
Suppose -4*s - 153 - 23 = 0. Let o be s/(-12) - 2/3. Suppose 2 = -2*g, 4*g - 8 = -o*v - 0*g. Solve -v*j + 5*j = 3 for j.
3
Let z(k) = k**3 + 6*k**2 + 4*k - 1. Let a be z(-5). Suppose -9*o = -a*o - 100. Solve o = -0*s - 4*s for s.
-5
Let f(a) = 28*a - 16*a - 13*a - 1. Let g be f(-5). Solve g*d - 1 - 3 = 0 for d.
1
Suppose 0 = -3*b + 2*l + 4 - 3, 5*b - 4*l + 1 = 0. Let t(z) = b*z + z - 3*z. Let g be t(5). Solve g*a = a for a.
0
Suppose -p = p - 8. Suppose 0 = 4*v + q + 12 + p, v + 5*q = -4. Let b = v + 6. Solve b*f + 8 = -2 for f.
-5
Let f be 85/20 - (-2)/(-8). Solve f = 5*h + 24 for h.
-4
L