-4*r, -3*r - 2 = 4*l. Solve 0 = -5*u - r + 1 for u.
-1
Suppose 0 = -3*p + 7 - 1. Let c = 12 - p. Let j = c - 6. Solve 11 = -3*n - j for n.
-5
Suppose -4*w - 16 = -2*n, 4*n + 2*w = -w + 10. Suppose 4 + n = 2*v. Solve -x = -v*x - 6 for x.
-2
Let t = 0 - 0. Let s = 7 + -3. Suppose -2 = s*w - v, -2*v + 4 = -2*w - 0*v. Solve t = z - w*z for z.
0
Let j = 1 - -3. Suppose 5*a - j = 4*a. Solve -a*x + 2 = -6 for x.
2
Let d(u) = -u + 3. Let n be d(1). Solve -n*i + 2 = -i for i.
2
Let q = 80 - 67. Solve q = 4*z + 1 for z.
3
Let y = -1 - -5. Solve x + 0 - y = 0 for x.
4
Let l(y) = y**3 + 7*y**2 + 6*y + 3. Let h(d) = -d**3 - 6*d**2 - 5*d - 4. Let n(u) = 3*h(u) + 4*l(u). Let v be n(-9). Solve 3*z = -v*z + 3 for z.
1
Let m(i) be the second derivative of -i**3/3 + 2*i. Let d be m(-2). Solve -v - v + d = 0 for v.
2
Let q = 1 + 15. Let y be (1 + -1)/(q/(-8)). Solve i - 1 + 4 = y for i.
-3
Let n = -23 - -27. Solve 9 = n*x + 1 for x.
2
Let n(p) = -p**3 - 6*p**2 + 4. Let a be n(-6). Suppose 0 = -5*x + 104 - 29. Solve -a*q - x = q for q.
-3
Suppose -4*y + 3 = -9. Solve 1 = y*t - 2 for t.
1
Let y be 2 + (-2)/(2/7). Let d = 0 - y. Solve -11 = -d*g + 9 for g.
4
Let n = 5 - 1. Solve -f + n*f = -15 for f.
-5
Let f(l) = l**3 + 5*l**2 - l - 5. Let s be f(-5). Suppose -d - d = s. Let w(i) = -2*i + 3. Let a be w(0). Solve -a*g + d*g = 3 for g.
-1
Let p be 7*(4/14 - 0). Solve 5 = -3*x - p*x for x.
-1
Let g be (-4)/(-10) + 522/45. Let b = g + -5. Solve 0 = 2*q - b*q for q.
0
Let n = 3 - -2. Let d be 1*15/(-12)*-4. Suppose -2*r - 8 = -r - 4*m, 2*m = r + 4. Solve r*f - d = -n*f for f.
1
Let a(y) = 4*y**2 - 2*y - 1. Let v be a(-1). Solve v*p + 2 = -3 for p.
-1
Let p(q) = q**2. Let j be p(-2). Let b(y) = y**2 - 3*y - 4. Let w be b(j). Solve -l = -w*l for l.
0
Let h be (2/(-2))/((-6)/24). Suppose 0 = 3*c + 4*x + 9, -h*c - 3 = x - 4. Let m be 4*(c + (-6)/(-4)). Solve 3*f + 2 + m = 0 for f.
-4
Let d = 2 - -2. Let v(x) = x**2 + 14*x - 132. Let s be v(7). Let g = -1 - -2. Solve -d*f + s = -g for f.
4
Suppose -p - 3 = -2*t, 4*p - 1 = 5*t - 4. Solve -p - 1 = 2*a for a.
-2
Let s(w) = -w**3 - 13*w**2 - 12*w + 5. Let o be s(-12). Solve 2*t - o + 3 = 0 for t.
1
Let j = -6 - -11. Suppose 0 = 2*v, -4 = -j*z + 4*v + 6. Solve -4 + 10 = z*l for l.
3
Suppose 5*b = b - 36. Let s be (-178)/b - (-2)/9. Let l be ((-16)/(-10))/(8/s). Solve -t = t + l for t.
-2
Suppose -4*d = -20 - 44. Let c be 0 + (5 - -1) + -1. Suppose -d = -c*q + q. Solve -t = q*t for t.
0
Suppose 4*q - 24 = -q + f, 4*q - 32 = 4*f. Solve q*u - 32 + 12 = 0 for u.
5
Let k be (6/(-12))/((-3)/30). Solve 11*m = 10*m + k for m.
5
Let l(p) = p**2 + 5*p + 8. Let x be l(-2). Solve x = -w - w for w.
-1
Let h = 119 - 112. Solve -5*a - h - 8 = 0 for a.
-3
Let r(p) = -p**3 - 2*p**2 + 2*p - 1. Let w be r(-3). Let d(n) be the first derivative of n**2/2 + 14*n - 3. Let g be d(-12). Solve 0 = -w*b - g*b for b.
0
Suppose 2*v - 6 = -0. Suppose 5*x + 5*k = 10, 2*k = -v*k - 5. Suppose 4 = x*g - 2. Solve 0 = 4*h - 6 - g for h.
2
Suppose 6*a = 7*a - 6. Solve -9 - a = 5*r for r.
-3
Suppose 4*t - 19 + 6 = 5*r, 0 = -r + 5*t + 10. Let o = r + 6. Solve o - 13 = 4*z for z.
-3
Let f be (-6)/((-6)/2) + 1. Solve 3 + 0 = f*s for s.
1
Suppose -2*s - 68 = -5*u, -2*u - 51 = -6*u + 5*s. Let b be 172/u + 2/(-7). Solve 3 = 5*o - b for o.
3
Suppose 4*z = -3*f + 5, -1 = -2*z - 3*f - 0. Suppose z*c + 3*c - 10 = 0. Let s be (-2)/(-10) + (-2)/10. Solve 10 = -c*x - s*x for x.
-5
Let d be (0/(-1))/(1/1). Suppose -6*q + q + 40 = d. Solve r - q = -r for r.
4
Suppose 2*q + 3*q = 2*q. Solve -2*a = -q*a for a.
0
Let b = -134 + 134. Solve b = 5*k - 7*k - 6 for k.
-3
Suppose o = -5*h + 12, 0*h + 8 = 5*h - o. Solve h*g + 0 = -4 for g.
-2
Suppose -28 = -10*u - 8. Let c(d) = -2*d**3 + d**2 + d + 1. Let y be c(-1). Suppose 0 = y*g - 3*a - 0 - 6, -a = g - 10. Solve -4*n - u = g for n.
-2
Let s = 101 - 97. Let b be (3/2)/((-2)/(-4)). Solve v + s = b*v for v.
2
Let r be (1/2 + 2)*2. Suppose f + r = 2*q, -5 = 5*q - f - 19. Solve q*k + 4 = -k for k.
-1
Let x(a) = -3*a - 9. Let t be x(-4). Solve t*j - j = -8 for j.
-4
Let c(f) = -f**3 + 3*f**2 + 4*f + 1. Suppose 0 - 4 = -l. Let d be c(l). Solve 0 = -t - d + 5 for t.
4
Let r = 14 - 12. Solve 6*f - r*f = -16 for f.
-4
Let z = 162 - 160. Solve z*c = -0*c - 6 for c.
-3
Let v(m) = -2*m - 5. Let p be v(-6). Suppose 2*b = -p*c + 2*c + 24, b + 2*c = 10. Solve b*r = -0*r for r.
0
Suppose 2*g - g + 10 = 3*s, 3*g + 3 = 0. Suppose 2*k = -2*x - k + 21, -2*x = -4*k. Let j(v) = -v**2 - 9*v + 5. Let f be j(-9). Solve -s*a = -f*a + x for a.
3
Suppose 117 = -0*g + 9*g. Solve 3*t - g = -1 for t.
4
Let d(z) = -z**2 - 10*z - 3. Let r = 5 + -14. Let v be d(r). Solve -4*t - 2 = -v for t.
1
Let q be (-22)/(-8) - (-18)/(-24). Solve q + 10 = -4*y for y.
-3
Suppose -3*h + 0*f - 12 = -f, 2*f + 6 = -4*h. Let k = 0 - h. Solve 2 = k*d + 5 for d.
-1
Let a = 8 + -4. Suppose 4*y - y = -a*b + 61, -b + 9 = 2*y. Suppose -4*x = -b - 1. Solve -x*k = -0*k for k.
0
Suppose -19 = -3*l - 1. Suppose -15 = b - l*b. Solve m - 2 + b = 0 for m.
-1
Suppose 5*c + 3*j = -3, -3*c - 3*j + 0*j = 3. Let n(h) = h + 2. Let f be n(c). Solve 9 = -i - f*i for i.
-3
Let b = 0 - -2. Let c be 5/((-5)/(-2)) - b. Solve c = 3*i + 6 for i.
-2
Let j(y) = -y + 8. Let m be j(6). Let k be (4 - 3)/(m/4). Solve -u + 2 = -k for u.
4
Suppose -6*m = -0*m - 42. Solve 5*j + m = -8 for j.
-3
Let m(r) = 16*r**3 - 2*r**2 + 2*r - 1. Let t be m(1). Let y = 15 - t. Solve 4 = -2*w - y for w.
-2
Suppose 5 = 43*s - 38*s. Solve -1 - s = g for g.
-2
Suppose 5*r - 3*w = 9, -5*r + 9*w = 4*w - 5. Solve -r*b = -5*b - 10 for b.
-5
Let u(b) = 2*b - 12. Let r be u(8). Let z(a) = -a**2 + 5*a + 5. Let t be z(6). Let v be ((-2)/4)/(t/4). Solve -v*s = -3*s + r for s.
4
Let m = 4 - 8. Let u(s) = 0*s + 4*s - 7*s. Let w be u(m). Solve -b = 3*b - w for b.
3
Let x = 197 - 181. Solve -3*q - q + x = 0 for q.
4
Let k be ((-24)/4)/(-3) + 5. Suppose 2*m + 1 = k. Solve m*n - 16 = -n for n.
4
Let v be 1/(-3)*0 + 2. Let j(o) = -3*o**3 + 12*o**2 + 4*o**3 - 6*o**2 + 5*o + v. Let y be j(-5). Solve -d = -y*d for d.
0
Let h(k) = k**3 + 7*k**2 - k - 5. Let v be h(-7). Let l be (-52)/(-14) - v/(-7). Solve -3 = -s - l for s.
-1
Let c(v) = -2*v - 21. Let t be c(-12). Solve 2*o = -o + t for o.
1
Let u = -89 + 99. Solve z - 7 = -u for z.
-3
Let b = -10 + 7. Let l be b/12 + (-45)/12. Let q be (l/(-2) - 0) + 7. Solve -q = -3*y - 0*y for y.
3
Suppose -l = 5*b - 4, -b + 3*l = -l + 16. Suppose 5*x = 10 - b. Solve -4 = -o - x for o.
2
Suppose 2 = -4*s + 2*s. Let q be (s + (-3 - -3))*-3. Solve -a - q*a = 20 for a.
-5
Let r be (-46 - -36)*(-2)/5. Suppose o - 9 = -0*o. Solve a = r*a + o for a.
-3
Let z be 4/5 + 416/130. Let g(n) = -n**2 - n + 10. Let f be g(0). Solve 2*j - z*j = -f for j.
5
Let t = 2 - 3. Let d be -1*(2 - t/(-1)). Let n = d + 1. Solve 3*y - 3 = -n for y.
1
Let d(p) = p**3 + 7*p**2 + 6*p - 1. Let v be d(-5). Suppose s - v = -4*s - w, 3*s - 5*w = -11. Solve r = -s - 0 for r.
-3
Let u(a) = 5*a - 1. Let z(o) = o**3 - o**2 - o + 1. Suppose 7*q - 10 = 2*q. Let t be z(q). Let m be u(t). Solve 0 = 4*y + 6 + m for y.
-5
Let s be (-3)/(-1)*(8 + -6). Suppose 6 = s*q - 2*q - b, 0 = -4*b - 8. Solve q = -2*n - 7 for n.
-4
Let z = 19 + -17. Solve z = -d - 3 for d.
-5
Suppose -2*p = -3*p + 12. Solve 0 = -4*h - p - 4 for h.
-4
Let v(r) = 3*r + 40. Let z be v(-10). Solve 0 - z = -2*y for y.
5
Let o(q) = -q - 1. Let v(y) = 5*y + 5. Let w(c) = -2*o(c) - v(c). Let j be w(-3). Solve -2 = 4*b - j for b.
1
Let u(i) = -i + 5. Let a be u(5). Solve -16 = 4*z - a for z.
-4
Let d(u) = 2*u**2 + 2*u + 2. Let j be d(-3). Suppose w + w - 16 = -n, w + 2*n - j = 0. Suppose -65 = x - w*x. Solve -3*o + 2 = -x for o.
5
Let j(q) = -q**3 + q**2 - 1. Let r be j(-1). Let k = r - -1. Suppose 3*s - k*s = -2*n + 22, 5*s - 20 = 0. Solve 4 = v + n for v.
-5
Let w(v) = -v**3 - 9*v**2 - 7*v + 10. Let a be w(-8). Solve i = -i + a for i.
1
Suppose 3*c - 4*c + 237 = 0. Let j be 6/27 - c/(-27). Solve 0 = -3*f - 0 - j for f.
-3
Suppose i + 1 = -c, -2*i = -2*c + 3*c + 3. Let q = 1 + 7. Suppose q - 2 = 3*y. Solve -y*h - c = -h for h.
-1
Let z(l) = 2*l - 1. Let a be z(1). Let f be -1*(a - 1/1). Suppose -4*n - 2 = -5*n. Solve -r - r - n = f for r.
-1
Suppose -3*j = -5 - 10. Solve 0 = j*k - 8 + 28 for k.
-4
Let 