= x for l.
5
Let j(x) = x**2 - x + 4. Let w be j(2). Solve -m = 2*m + w for m.
-2
Let n be 25/2*48/60. Solve -2*i + n = -0*i for i.
5
Suppose -3 = -u + 3. Solve -u - 3 = 3*v for v.
-3
Let i = 0 + 3. Suppose c = 5*p - 16, 2*c = p + p. Solve -c = i*f - 1 for f.
-1
Let w(c) = c**3 - 6*c**2 - 6*c + 7. Let d be w(7). Suppose 2*g = t, -3*t - g + d = -14. Solve 3*f + t = f for f.
-4
Let q(i) = -i**3 - 8*i**2 - 5*i. Let l be q(-5). Let f = l + 36. Let s = f + 20. Solve -o - s = -4 for o.
-2
Let w(q) = 15*q**2 - 7*q + 2. Let c(a) = 8*a**2 - 4*a + 1. Let n(u) = -11*c(u) + 6*w(u). Let o be 9/3 + (-15)/3. Let l be n(o). Solve -p = -l*p - 4 for p.
-1
Let s(a) = -a**3 - 6*a**2 + a + 6. Let x be s(-6). Suppose 5*g + 0*g = x. Solve g = j - 6*j - 20 for j.
-4
Let b(a) = -a**2 - 3 + 1 - 3*a + a**2 + a**2. Let p be b(4). Suppose -2*l = -4*s - 3*l - p, 0 = -l - 2. Solve s = -5*m - 0*m + 25 for m.
5
Let j(n) = n**3 + n**2 - n + 1. Let i be j(-2). Let k be (-2)/(-3) + 56/(-21). Let w = i - k. Solve 0 = 2*z - 3*z + w for z.
1
Let j = 14 + -20. Let t(i) = 7*i + 7. Let b(w) = 20*w + 21. Let a(k) = j*b(k) + 17*t(k). Let v be a(-10). Solve -v*z + 8 = -z for z.
4
Let s(v) = -v - 2. Let u be s(-4). Let w = 4 + u. Suppose 0 = 2*r - 2*q - 4, 0*r - 2*q - w = -3*r. Solve 0 + 4 = r*i for i.
2
Let k = -142 + 148. Solve 3*v = v - k for v.
-3
Suppose 9*i + 1 = 10. Solve -3*l + i = -11 for l.
4
Let g(z) = -z - 4. Let v be g(-7). Solve -3 - 3 = -v*b for b.
2
Suppose -b - 6 = -3*b. Solve -b = -3*q + 4*q for q.
-3
Suppose -3*q = -7*q. Suppose 3*a = 15, -3*d + a + 4 = -q. Solve 0 = -y + d*y for y.
0
Let r be 21/(-14)*20/(-6). Suppose -2*x + 2*o - 5 + 3 = 0, 4*o = -4*x + 12. Solve -r - x = -2*t for t.
3
Let d be (-8)/(-10)*60/8. Suppose -2*p = 0, d*z - 5*p = 3*z. Solve f + 3 + 0 = z for f.
-3
Let b = -58 + 60. Solve -b = -2*c + 2 for c.
2
Let y be (-12)/(-4) - 3/1. Let x(d) = -d**3 + 4*d**2 + d - 1. Let w be x(4). Solve y = -w*n - n for n.
0
Let g = -49 + 53. Solve 0 = g*n - 1 - 11 for n.
3
Let l be (3 - 0) + -4 + 1. Suppose l = -g - 0*g + 19. Solve -g + 4 = -3*p for p.
5
Let c(n) = 11*n**3 - 2*n - 25. Let g(b) = -5*b**3 + b + 12. Let p(l) = 6*c(l) + 13*g(l). Let v be p(0). Solve -v = -2*y - 2 for y.
2
Suppose 5 = -3*z + 6*z - 4*j, 0 = 4*z - 3*j - 16. Solve -4*h = -z*h + 15 for h.
5
Let z be 3/(-6) - 9/(-2). Suppose -s + z*s = 45. Solve -2*c = -7*c - s for c.
-3
Suppose 3*y + l = 9, -2*y + 5 = 3*y + 5*l. Let a be (-6)/4*-2 + 0. Solve 5 = -a*i + y*i for i.
5
Suppose 5*z = z + 32. Suppose z*h - 3*h = 0. Solve 3*a + a = h for a.
0
Let w = 5 - 2. Suppose -5*o - 3*d + 8 = -2*d, 4*o - w*d - 14 = 0. Solve -v - v = -o for v.
1
Let n = -5 + 7. Let u(c) = 10*c**3 - c**2 + c - 1. Let r be u(1). Let f = -7 + r. Solve f*a + n*a = -12 for a.
-3
Let w = -1 + 1. Let n = 17 + -31. Let l = n - -16. Solve t + w = -l for t.
-2
Let k(g) = -g**2 + g + 3. Let a be k(0). Let x = 0 + a. Let n = -1 + 5. Solve s - n = x*s for s.
-2
Let p be 372/(-27) - 4/18. Let t be (-24)/p*(-5 - 2). Let j be -6*(-2)/t*-2. Solve 0 = -7*b + j*b for b.
0
Let b(s) = 2*s**2 - 7*s + 4. Let c be b(4). Let d be 80/c + (-4 - -2). Solve -5*t + d - 3 = 0 for t.
1
Let j(l) = l**2 + 5*l + 3. Let u be j(-6). Let d = u + -8. Solve -b + 2 - d = 0 for b.
1
Let j(g) = g**2 + 7*g + 10. Suppose 0 = -4*q - 4 - 20. Let p be j(q). Suppose -32 = -2*z + m + 4*m, -73 = -3*z - 5*m. Solve p + z = -5*x for x.
-5
Suppose -s + 4 + 9 = 0. Suppose 2*p - 5*h = 20, h - 5*h - s = -p. Solve p*b - 16 = 9 for b.
5
Let r be -3*(-4)/(-42) - 23/(-7). Solve -2*h - 1 = -r for h.
1
Let i = 33 + -30. Solve 0*s + i = -s for s.
-3
Suppose -6*t + t = 2130. Let p be t/(-21) + 2/(-7). Suppose 0*x = -2*i + 4*x + 12, 5*i - 22 = 2*x. Solve -i*c - c = -p for c.
4
Suppose 12 = 3*n + 9. Solve 0 = -5*l - 9 - n for l.
-2
Let j be 2/4 + 18/4. Suppose j*n - 4*w = 38, 4*w - 1 + 9 = 2*n. Let o be 10 - (-15)/(-20)*4. Solve o*l = 2*l - n for l.
-2
Let t(d) = d**2 + 6*d + 4. Let b be t(-6). Let h be -1*(-6)/(9/(-3)). Let y = b + h. Solve y*a = 4*a + 6 for a.
-3
Let c(k) = k**2 - 6*k + 2. Let u be c(6). Solve -2 - 4 = -u*g for g.
3
Suppose l + 64 = -4*y, 4*y + 64 = -0*y - 2*l. Let m be 7/(-35) + y/(-5). Solve 0 = -m*i - 0*i - 15 for i.
-5
Suppose 4*y - 28 = -8. Suppose 5*n = 3*b + y - 32, -4*b = 4*n + 28. Let d be -2*3/n*2. Solve -3*i = -d*i + 1 for i.
-1
Let t be (-54)/4*(-2)/3. Suppose t = d + 2. Solve -2*z = -d*z for z.
0
Suppose u = -5*i + 7, -i = -6*u + u - 17. Solve 0 = -i*l - 0*l + 10 for l.
5
Suppose 4 = 3*l - 11. Suppose 5*p = l*n + 2*p + 9, -12 = -n - 4*p. Solve 5 = -c - n*c for c.
-5
Suppose 4*f - 11 = 5. Let h be (5/4)/((-3)/(-48)). Suppose -5*n - h = -5*p, 0*n = -2*p + n + 7. Solve -p*a = -2 - f for a.
2
Suppose -x + 4*t + 12 = 0, -4*x + 3*t + 1 = -8. Suppose -34 = -5*a + 3*j, -a - 3 + 1 = -5*j. Suppose a = 4*d - 2*d. Solve 0 = -x*g - g + d for g.
4
Suppose -11 = -5*i - 1. Suppose -c - 18 = -7*c. Solve i*w = -w + c for w.
1
Let t(s) be the first derivative of -s**4/4 - s**3/3 - s**2/2 - 2*s - 2. Let u be t(-2). Let n be 30/u*2/3. Solve n*c = c - 4 for c.
-1
Let m(g) = 2*g + 19. Let c be m(-8). Let a = 9 - 6. Solve 2*i = a + c for i.
3
Let k(b) be the second derivative of b**4/12 - b**3 + 3*b**2 - 4*b. Let g be k(5). Solve -3*f - 14 - g = 0 for f.
-5
Let b(s) = -3*s**2 + 6*s - 8. Let n(g) = g**2 + g. Let f(j) = -b(j) - 2*n(j). Let l be f(8). Suppose 0 = v + v - l. Solve -v*x + 16 = -0*x for x.
4
Suppose -4*a + 8*a - 20 = 0. Let x be a + 4/(1 - 3). Solve -x*s - 10 = -s for s.
-5
Let i = 158 - 277. Let s = i + 81. Let q = s - -54. Solve -3*m - q + 4 = 0 for m.
-4
Let h be 2/(-6) + 5/(-3). Let l be (h/(-6))/(2/24). Suppose -20 = l*f, -4*d + 6*d - 14 = 2*f. Solve n = -d*n - 15 for n.
-5
Let o(x) = -x**3 + 7*x**2 - 6*x. Let j be o(6). Let d be (-3 + -1)*6/(-8). Solve j*p = -d*p for p.
0
Let v = 10 + -8. Solve -o + v*o = -4 for o.
-4
Suppose -3*l + 0 = -9. Solve -l = -v - 5 for v.
-2
Let w(n) = -n**3 - 6*n**2 - 6*n - 3. Let m be w(-4). Let u = m - -11. Solve -x = -u*x + 2 for x.
-2
Let l(v) = -2*v**3 - 2*v**2 + v - 14. Let o be l(-3). Solve 3*p - 7 = -o for p.
-4
Suppose w = l - 0*l - 9, -2*l = -w - 13. Let c = w + 8. Solve c*t = 5*t for t.
0
Let m = 65 - 45. Solve -4*v = -0*v + m for v.
-5
Let b be 25 - (1 - 2/2). Suppose -h - 7*l + 31 = -2*l, 5*h - 50 = -4*l. Solve h*i = i + b for i.
5
Let f = -5 + 5. Suppose f = -3*w + 4*w - 2. Solve w*m + m + 9 = 0 for m.
-3
Let l(o) = -o**2 + 5*o - 2. Let h(f) = 0 + 2 - 3*f + 0*f**2 + 2 + f**2. Let s be h(3). Let m be l(s). Solve 0*u = m*u + 10 for u.
-5
Let i be (2/(-2) + -3)/(-1 - 1). Solve 2*d = i - 4 for d.
-1
Suppose 2*l - 21 = -0*t - 3*t, -t + 5 = 0. Suppose -2*k + 10 = l*v - k, 0 = 2*v + 2*k. Solve -v = -2*w + 3 for w.
4
Let n(z) be the second derivative of z**3/2 - 2*z**2 + 4*z. Let h be n(4). Solve -h*j = -3*j + 15 for j.
-3
Let h(f) = f**3 + 9*f**2 + 6*f + 2. Let p be h(-8). Let s = p + -11. Let j be 38/14 + 4/14. Solve j*m - s*m = 20 for m.
-5
Let x(p) = p**3 + 6*p**2 - p - 2. Let o be x(-6). Solve 0 = o*i + 5 + 11 for i.
-4
Let l = 141 - 141. Solve l = 2*c + 20 - 24 for c.
2
Suppose 0 = -5*m - 5 + 40. Let i = m + -4. Let y = 148 - 148. Solve y = -2*v - 1 - i for v.
-2
Suppose -5*q + 5*o + 31 = -2*q, -29 = -2*q + 5*o. Let x(g) = 2*g**2 - 4*g + 2. Let a be x(q). Let u = 5 - -6. Solve -5 + u = a*p for p.
3
Let n(g) = -3*g + 1 - 5*g - g**2 - 7. Let d be n(-7). Let f be d/(7/(-4) + 2). Solve f*h + 13 = 29 for h.
4
Let m be (-2)/(-9) - 2691/81. Let g = -29 - m. Solve -r + g*r - 3 = 0 for r.
1
Suppose -2 = -y + 3. Let k(t) = t**2 + 8*t + 3. Let c be k(-9). Solve y*z - c = 13 for z.
5
Let x(u) = u**2 - 4. Let a be x(3). Suppose -a*f = -f - 48. Solve y + f = 4*y for y.
4
Let d = 22 - 19. Let g(l) = 2*l - 3. Let u(n) = n - 2. Let f(x) = 3*g(x) - 5*u(x). Let o be f(d). Solve w + 5 = -o*w for w.
-1
Suppose 0 = 2*y + 5*b - 28, 3*b + b = -5*y + 36. Suppose y*u - 4*m - 44 = 0, -3*m = -u - 0*m + 21. Solve -12 = -3*a + u*a for a.
-4
Suppose 4*j - 9*j + 10 = 0. Solve 7*k = j*k - 5 for k.
-1
Let t = -3 + -2. Let b = 7 + t. Solve -b*j - 5 - 3 = 0 for j.
-4
Let j(q) = -q + 8. Let x be j(4). Suppose 5*n - x*n = 8. Solve 2*y - n = 2 for y.
5
Suppose 5*q + 80 = 5*c, -76 = -4*c - 0*q + q. Suppose g = 6*g - c. Solve -g*d = d - 5 for d.
1
Let l = 13 - 10. So