l.
0
Let y = 32 - 27. Solve 0 = -2*z + 7*z - y for z.
1
Let u(y) = 2*y**2 - 3*y. Let q be u(2). Suppose 5*z = 4*z - 3. Let l be (z - -1)/(2/(-8)). Solve -4*n + q*n + l = 0 for n.
4
Let s be -3 - (-1 - 2 - 2). Solve -s*k + 3*k - 3 = 0 for k.
3
Suppose -3*u = -3*r + 4 + 11, 5*r = 25. Solve -4*q - 12 + 0 = u for q.
-3
Let g be (-4)/2 + (-35)/(-5) + -4. Solve g = 3*j - 2 for j.
1
Suppose 4*x - 3 = -7. Let c be 0 + x - -2 - -3. Solve 2*l = -c - 2 for l.
-3
Suppose -d + 4*d + 10 = 2*u, 2*u - 10 = 4*d. Let o be 11/(-1)*(-2)/2. Suppose -6*s + o*s - 30 = 0. Solve d = 5*y + 26 - s for y.
-4
Let x(s) = -2*s**2 + 4*s**2 + 3 + 2*s - 3*s**3 + 2*s**3. Let r be x(3). Suppose -2*v + 5*g = 3*v - 50, 2*v - 5 = -g. Solve r = c - v - 0 for c.
5
Let l = -11 - -18. Suppose -5*a = -7 - 8. Suppose -a*r + x = -2, -r - x - 2 = -2*r. Solve m + 2 - l = r for m.
5
Let h be (-4)/(-6)*48/8. Let f = h - -8. Solve f = 5*v - 3 for v.
3
Let p = 21 + -7. Let f be 4/p - 416/(-14). Suppose 0 = 2*d - 4*n - 9 - 7, 0 = -3*d + 4*n + f. Solve 6 = -5*c - d for c.
-4
Let b(x) = x**2 + 9*x + 9. Let o be b(-7). Let y be (-1 - -2) + (-4 - o). Suppose -y*q = -0*q - 4. Solve t = -0*t - q for t.
-2
Let v(s) = -s + 1. Let f be v(-4). Suppose f + 3 = c. Let g = c - 5. Solve -g*x + 5*x + 2 = 0 for x.
-1
Let m(j) = 9*j. Let w be m(1). Solve b + w = -2*b for b.
-3
Let s = 67 + -61. Solve 0 = -u + 1 - s for u.
-5
Suppose 6 = 5*j - 24. Suppose -8*p + 8 = -0*p. Solve -c - p = -j for c.
5
Suppose -3*h + 7*h = 16. Let o(j) = -4 - 2 - 4*j + j**2 + 9 - 1. Let r be o(h). Solve -2*t = -t + r for t.
-2
Let h(p) = -p**2 + 3*p + 2. Let f be h(3). Suppose 0*y - 6 = -y. Suppose -u - 9 = -5*g - 32, y = -2*g. Solve -2*q - f - u = 0 for q.
-5
Let p be ((-2)/8)/(2/8). Let b = p + 6. Solve f - b + 0 = 0 for f.
5
Let h(o) = o**3 - 2*o**2 - 4*o - 1. Let f be h(3). Let m = 9 + f. Solve -6 = m*c + 4 for c.
-2
Let w be (-1)/((-2)/(-2)) + 1. Solve w*d = 2*d for d.
0
Let f(v) = -v**2 + 11*v - 9. Let d be f(8). Solve a = -4*a - d for a.
-3
Suppose 0 = -v - o + 3, 2*o - 3*o = -3*v + 1. Solve c + 0 = -v for c.
-1
Let r be 2*3*(-3)/(-6). Suppose -4*s + r + 4 = -3*w, -4*s - 2*w = -22. Solve b = -s*b for b.
0
Suppose b + 3*f + 16 = 0, 5*b + 3*f + 12 = -8. Let a be 2/(-7) - (-37)/7. Let r = a + b. Solve -r*h + 8 = -0*h for h.
2
Let o be (-6)/15 + 102/30. Solve -5*u = -2 - o for u.
1
Let g be (-3)/(-2)*(-2 - -8). Let b = -6 - -7. Suppose -r + 3 = -b. Solve -r*z - 1 = -g for z.
2
Let h(j) = j - 14. Let t be h(20). Solve 3*o - t = -0*o for o.
2
Suppose 15*l - 18*l + 60 = 0. Solve -5*q = -q + l for q.
-5
Let v be 4/(-6) + (-29)/(-3). Let w = -6 - -4. Let m be v - (0/w + 2). Solve m - 4 = 3*s for s.
1
Let k = 1 - -1. Suppose -k*c + 3*q - 2*q = -9, -q = -4*c + 23. Let s = -5 + c. Solve 0 = -s*v + 3*v + 1 for v.
-1
Let d be (-24)/(-108) - 34/(-9). Solve 0 = -5*b + d + 6 for b.
2
Let n(g) = 2*g - 5. Let l(x) = -x + 2. Let u(h) = -13*l(h) - 6*n(h). Let s = 7 + -3. Let f be u(s). Solve -3*z = z - f for z.
2
Let y(v) = -v**2 - 6*v - 5. Let x be y(-4). Suppose -x*w = -3 - 6. Solve 0 = -4*t - 9 - w for t.
-3
Suppose 2*m + 0 + 14 = 0. Let k = m + 7. Solve k = b + 2 for b.
-2
Let g be (8/((-4)/(-4)))/2. Solve -4*r + 24 = g for r.
5
Suppose 0 = 6*s - 21 + 3. Let a = 20 + -10. Solve -s*j - a = -j for j.
-5
Suppose -4*w + w = -12. Solve -g - 15 = -w*g for g.
5
Let b be 2/(-9) + ((-56)/(-9) - -2). Solve 0*j - b = 2*j for j.
-4
Let i(p) = 7*p**2 + 7*p - 4. Let t(h) = h**2 - 1. Let s(f) = -i(f) + 6*t(f). Let v be s(-6). Suppose -v*r + 20 = -2*r. Solve -r = m + m for m.
-5
Suppose 0 = -0*t + 3*t - 6. Let q = 6 - t. Solve k - q = -3*k for k.
1
Let b be (-39)/(-9) - (-4)/6. Let i be (-4)/22 - 14/(-77). Suppose -2*z - 2*m + i*m = 0, 0 = -5*z - 2*m. Solve -b*o + z*o = -5 for o.
1
Let j = -13 - -17. Solve 0 = -0*l - j*l + 12 for l.
3
Suppose 4*q - 19 = -11. Solve -3*f - q*f = -25 for f.
5
Suppose 0 = 4*f - 5 - 7. Solve 2*u = -f*u for u.
0
Let d(g) = g + 5. Let f(o) = -o**3 - 5*o**2 + o - 2. Let s be f(-5). Let t be d(s). Let p be (2/t - -1)/1. Solve -1 = -b - p for b.
1
Suppose 3*y - 12*y = -54. Solve -5*h + 3 = -y*h for h.
-3
Let k(r) = 1. Let w be 2/(-2)*2/2. Let x(b) = -b + 2. Let i(c) = w*x(c) - 2*k(c). Let j be i(8). Solve 3*m - j*m + 1 = 0 for m.
1
Let p be -7 + 4 - (2 - 14). Suppose -4*r + p = -3*r. Let w = 6 + -4. Solve w*h + h = -r for h.
-3
Suppose 7 = 5*t - 8. Solve 4 = -t*n - 2 for n.
-2
Suppose -22 + 72 = -5*k. Let p = -7 - k. Solve p*h + h = 0 for h.
0
Suppose -4 + 2 = -2*y. Solve 1 + y = -x for x.
-2
Let m(t) = 2*t**2 - 1. Let v be m(1). Suppose 4*d - 7 = v. Let z = 3 + d. Solve 4*c = -c - z for c.
-1
Suppose 3*k + 5 = -2*q - 0*k, 3*k - 10 = -5*q. Suppose 2*g - 4*g = 3*d + 63, -4*d - 96 = 3*g. Let l be g/(-10) - (-2)/q. Solve 3*r - 1 = l*r for r.
-1
Let k = -9 - -13. Suppose 5*a = -5*d + 75, -2*d + 5*a + 16 + 14 = 0. Solve -w + k*w = d for w.
5
Let f(y) be the first derivative of -5*y**2/2 + y - 2. Let d be f(-1). Solve -n - n = d for n.
-3
Suppose 3*d - 6*d = -12. Solve -2*m - 12 = -d for m.
-4
Let g(n) = -n + 15. Suppose l + 58 = 3*v + 16, -v - 2*l + 7 = 0. Let r be g(v). Solve -i - r = -0*i for i.
-2
Let f = 41 - 33. Solve 6*v - 2*v = -f for v.
-2
Let k = 21 + -15. Suppose -l - p - 2*p = -k, 5*p = 2*l - 23. Suppose -2*v + 0 = -12. Solve -l = v*q - 3*q for q.
-3
Suppose 5*z + 10 + 10 = 0, 3*z = 3*d + 21. Let y be 3/(-3*4/(-44)). Let c = y + d. Solve c*s = -s for s.
0
Let j be 2 + 2 + -6 + 4. Suppose 0 = -c + 4*c + 6. Let i = 2 + c. Solve i = -j*m - 3 + 1 for m.
-1
Let y = 31 + -15. Solve -4*v = 4 + y for v.
-5
Let w(b) be the second derivative of -b**3/6 - b**2/2 - 3*b. Let v be w(-3). Solve -v*a + 7*a = 15 for a.
3
Let b(y) = y - 4. Let r be b(3). Let i(w) = -2*w. Let d be i(r). Suppose 0 = -d*x + 8. Solve x*a + 1 = 9 for a.
2
Suppose -h + 13 = 4*h - 3*q, -2*q - 10 = -4*h. Solve -h*z + 5 = -z for z.
5
Suppose -3*a + 1 - 13 = 0. Let z be 2*(30/a)/(-1). Let m be (0/1)/(2/2). Solve 6*k - 3*k - z = m for k.
5
Let k(y) = -y - 3. Let d be k(-5). Let q be (d + 18/(-4))*-6. Let f = 1 - -1. Solve 3*t - q = -f*t for t.
3
Let c = 24 - 14. Solve 4*l = -2 - c for l.
-3
Let t = 35 + -10. Solve 5*z + t = -0*z for z.
-5
Suppose 7*c - 38 = -3*n + 3*c, 19 = 4*n - c. Solve n*m = 3*m for m.
0
Suppose -2*g = 3*l - 14, 4*l - 3*g + 10 = 3*l. Suppose -2*d - 4 = 4*n, -7 = -4*d + n - 4*n. Solve -14 = l*b - d for b.
-5
Suppose -3*u + 9 = 0, -h + 5*h = 4*u + 32. Suppose s + 0*s + 5*n + 14 = 0, n + 2 = 0. Let v = s + 18. Solve -h = -5*b + v for b.
5
Let u = 23 - 12. Let j = u + -6. Let k(b) = -b + 7. Let p be k(5). Solve 3 = p*s - j*s for s.
-1
Suppose 0 = -5*w + 27 + 3. Suppose w*j + 65 = j. Let k = 18 + j. Solve -k*r + r = 16 for r.
-4
Let q = 6 - 3. Suppose -q*n - 2*n = 0. Solve n - 10 = -2*m for m.
5
Suppose 0*n + 4 = 2*n. Suppose 0 = 7*t - 8*t + n. Solve 2*p = -4 + t for p.
-1
Let o = 5 - 7. Let m be 2*(7/2 + o). Solve 0 = -m*x - 2*x + 25 for x.
5
Suppose -3*c - 3 = 9, -8 = f + 2*c. Solve f*d - 12 = -3*d for d.
4
Suppose -2*r + r - 21 = 5*o, -2*r - 21 = 3*o. Let d = r + 9. Suppose -2*j + 12 = 3*c - 1, -4*c + j = -21. Solve c = d*w + 14 for w.
-3
Suppose 5 = z - 0*z. Suppose -5*h - 13 = 4*f, -z*f - 5*h + 2*h = 0. Solve -18 = -5*a - f for a.
3
Suppose -5*r + 10 = -m, -r - 25 = -2*m - 0*r. Suppose -4*s = -s - m. Suppose -2*j + j - 14 = -s*f, -4*f + 17 = 5*j. Solve -h = -0 + f for h.
-3
Let l be (2/3)/((-12)/(-36)). Solve 0 + l = -y for y.
-2
Suppose -g + 18 = 2*g. Suppose b + g = 4*x - 0*x, 0 = -x + 3. Suppose 0 = 2*c - b - 6. Solve 2*d + c = 5*d for d.
2
Let j = 9 + -11. Let u(r) = -r. Let a be u(j). Solve -f - a*f = 0 for f.
0
Let r = 4 + -7. Let f be (-2)/(-4) - 1/(-2). Let t be 6*1 + r + f. Solve -8 + 0 = -t*s for s.
2
Suppose -y = y + q - 6, -2 = -q. Suppose -o = 2*l, -y*o = -l + 4*l - 3. Let s be 14/(-1 - -2) + 1. Solve w - s = o*w for w.
-3
Suppose -5*h - 33 = -2*d - 10*h, 3*d - 41 = h. Let c(g) = g**2 - 15*g + 20. Let m be c(d). Solve 0 = -2*s - s + m for s.
2
Suppose -3*j - 3*k + 5 = -10, -10 = -j - 2*k. Let y = 6 - 4. Solve j*v - 6 = -y*v for v.
3
Let u = 2 + 9. Let k(w) = -w + 5. Let y be k(0). Suppose 2*z = -3*n, -y*z = n + n + u. Solve n*f - 2 = f for f.
2
Let z be ((-4)/12 + -1)*15/(-2). Solve -3*x + 2 = -z for x.
4
Let m(z) = z**2 - 2*z - 11. Let 