se i - 2 - 1 = 0. Solve 2*l - i + 13 = 0 for l.
-5
Let n(f) = 5*f**2 - 3*f**2 - f**2 + 2*f - 7 - 5*f. Let i be n(5). Solve 0 = i*a - 0*a - 12 for a.
4
Let x(h) = -3*h. Let d be x(-1). Suppose -2*l - d*l = -15. Solve -4*i + 17 = -l for i.
5
Let h be 330/18 + 1/(-3). Suppose -r - 2*r = -h. Solve r*j + 2 = 5*j for j.
-2
Suppose -2*k - 4 = 0, -10 = 3*w - 2*k + k. Let s = 7 + w. Solve 4 - 10 = s*q for q.
-2
Let r = -3 + 7. Suppose 4*o + c - 10 = -o, -r*c = -3*o + 29. Suppose 5*f - 20 - 4 = -o*q, -12 = -5*f + q. Solve -3*h - f = -0 for h.
-1
Suppose -j + 6 + 0 = 3*n, -5*j + 2*n - 4 = 0. Solve 2*z - 3*z - 4 = j for z.
-4
Let b = -2 + -2. Let w be 3/3*-1*b. Suppose -w*q = 4*s - 16, -3*s - s + 4*q = 0. Solve 2*h + s*h = 0 for h.
0
Let r = 14 + 4. Suppose 2*m = -b - 9, r = -m + 2*b - 7*b. Let y be (3*-4)/m + 0. Solve -x + y = x for x.
2
Let d(l) = -l**2 + 8*l - 2. Let u be d(4). Let s = -12 + u. Solve -o + s + 0 = 0 for o.
2
Suppose 5*l - 5*u - 20 = 0, 4*u = 9*u + 20. Solve -r + 4 = -l*r for r.
4
Let q = -7 + 9. Let b be 16/q*2/4. Solve -h - 9 = -b*h for h.
3
Let z = -55 + 77. Solve 5*u - z = 3 for u.
5
Let r(k) = k**2 + 6*k + 4. Let z be r(-6). Solve 0 = 4*n - 4 - z for n.
2
Suppose n - 5 = 5. Let b(g) = g - 7. Let a be b(n). Solve -2*c + a = c for c.
1
Let p be 2 - (3 - 3)/(-3). Suppose -k = -5*k. Solve 0 = -k*w + w + p for w.
-2
Suppose 0 = -5*z + 24 - 4. Let s(d) = -d + 4. Let f be s(z). Solve f = -p - 2*p + 6 for p.
2
Suppose 4*q + g - 21 = 0, -33 = -5*q - 0*g + g. Let c(x) = x - 3. Let o be c(q). Solve 0 = -4*h + o*h + 3 for h.
3
Let s be 12/(-20) + 76/10. Let n be 3*s/(21/2). Suppose 5*k - 3*o = 4*k + 9, 0 = -3*o - 6. Solve -n*u - k*u + 5 = 0 for u.
1
Suppose 5*k - 2*t - 20 = 1, 0 = -4*k + 5*t + 27. Solve -15 = -k*x - 0*x for x.
5
Let q be -4 - (-8 - 3)*1. Solve -9 = 4*r + q for r.
-4
Suppose 9 - 49 = 5*x. Let z = x - -12. Let u = 12 - z. Solve 3*c + c = u for c.
2
Suppose -5*h = n - 2*h - 19, -n + 29 = 5*h. Suppose 0 = -2*b - 15 + 21. Solve b*v + n = -8 for v.
-4
Let n = 23 + -20. Solve n*s = -s + 20 for s.
5
Let d be (-4 + 27/6)*2. Solve -7 = 3*n - d for n.
-2
Suppose 4*f - 3*w + 0*w = -34, -2*w = 5*f + 54. Let l be 69/15 + (-4)/f. Solve l*d + 14 = -11 for d.
-5
Let k = 28 + -25. Solve -4 = -k*q + 8 for q.
4
Let w = 7 - 7. Solve 2*j - 1 + 9 = w for j.
-4
Let w be (12/8)/(3/4). Suppose w*z = 5*r - 29 + 3, 9 = 3*r + z. Suppose 2 = q, 3*q + 14 + 5 = 5*v. Solve -7 - v = r*m for m.
-3
Let z = 4 + -1. Let i be z - -2 - (-2)/2. Let f = -4 + i. Solve c = f*c + 3 for c.
-3
Let p = -10 - 23. Let l = -21 - p. Solve w = 4*w - l for w.
4
Let d = -3 - -9. Let h = d - 1. Suppose -j - t = -5, -h*j - 5*t = -4*t - 17. Solve 3*x + j = -3 for x.
-2
Let c be -3 - (2 + (-16)/2). Solve -b + 4*b - c = 0 for b.
1
Let d be (-42)/28*(-4)/2. Solve -d*m + 20 = 5 for m.
5
Let m = 2 + 3. Suppose -3*x = -m*x + 2. Solve f - x = -0 for f.
1
Let o(v) = -v**2 - 5*v - 4. Let s be o(-4). Solve 4*n + 4 = -s*n for n.
-1
Suppose 4 + 0 = 4*q. Suppose s - 5 = q. Solve s = -5*x + 31 for x.
5
Let u = 7 - 1. Let s = u + -5. Solve -4*y + s = 13 for y.
-3
Suppose 3*j + 9 = 6*j. Suppose 7*d = j*d + 16. Solve d + 1 = -5*q for q.
-1
Suppose 10 = 2*o, -5*o + 3*o = 5*c - 40. Let g be 15/c + 1/(-2). Solve 2*t - 3*t - g = 0 for t.
-2
Let q = 60 + -43. Solve 1 = -4*r + q for r.
4
Let z be (4 + -4)/(0 + -1). Solve z*d = d for d.
0
Suppose -5*b - 5*n - 17 = 8, -2*b - 9 = n. Suppose 1 = f - 5. Let d = b + f. Solve d = -0*s - s for s.
-2
Let h be (-4)/(-16) - 22/(-8). Solve j - h = 1 for j.
4
Let o(w) = 5*w**2 + 5*w + 8. Let s(x) = 0*x**2 + 23 + 15*x + 13*x**2 + x**2 + 0*x**2. Let i(f) = -11*o(f) + 4*s(f). Let l be i(-5). Solve 3 = h + l for h.
-1
Let o = -19 - -21. Solve 0 = o*u - 6 + 2 for u.
2
Let a = -37 + 42. Let t(i) = i**3 + i**2 - i + 1. Let f be t(2). Solve -a*l + 36 = f for l.
5
Let s = 9 - 13. Let y = s - -7. Solve 6 = -0*k - y*k for k.
-2
Suppose 3*q = 6*q + 21. Let u be (-1 - 1) + 8 + 6. Let c = u + q. Solve i = c*i for i.
0
Suppose 2*d + 0*j + 5*j - 10 = 0, 5*d - j + 2 = 0. Let v(o) = -3*o - 9. Let y be v(-8). Let a be (y/(-6))/((-1)/2). Solve -a*s - 15 = -d for s.
-3
Let k(s) = 3*s**2 - 11*s - 5. Let c be k(5). Suppose -2*x - c + 17 = 0. Solve x = 3*u + 10 for u.
-3
Let h(p) = 3*p + 15. Let z be h(-6). Let m be z - (-21 + -3 + 3). Solve m = -3*i + 3 for i.
-5
Let t = -41 + 54. Solve 5*y - 12 - t = 0 for y.
5
Let i = 8 - 12. Let l = i - -4. Suppose l*o - 4*m + 22 = 2*o, -2*o - 3*m + 18 = 0. Solve -o = -c + 2*c for c.
-3
Suppose -5*n + 31 + 4 = 0. Solve 2*j + 15 = n*j for j.
3
Let f be (-20)/(-30)*9/(-6)*-9. Solve -8*s + f*s - 1 = 0 for s.
1
Let w(j) = -j + 9. Let k be w(5). Solve -t = k*t for t.
0
Let s = -3 + 8. Suppose -y = y + s*c + 20, 3*c + 12 = -4*y. Let d = 4 - y. Solve 0 = -a - d*a for a.
0
Suppose -2*c + 5*q + 11 = c, -3*c + 4 = 2*q. Suppose -3*b = -4 - c. Let i = -2 - -2. Solve i = 2*s + b*s for s.
0
Let n = 8 + -5. Let v be (-1 + n - 2) + 0. Solve 0*j - j - 1 = v for j.
-1
Let l(b) = -b + 5. Let p = 2 - -3. Suppose v + 15 = -0*v - 4*g, g = p*v - 30. Let q be l(v). Solve -h = -q*h for h.
0
Let r be 2 - (1 + 1 + 0). Suppose -w - 2*b + 4 + 21 = 0, -2*b = -10. Let d(y) = y**2 - 2. Let i be d(-2). Solve z + i*z - w = r for z.
5
Let j be 2/5 - (-72)/20. Solve c = -c - j for c.
-2
Let u be (-2)/9 + 6/27. Let y(t) = -1 + 2 + 2 - t. Let g be y(u). Solve 5*m + g = -22 for m.
-5
Suppose 0*c + 9 = c + 4*t, 0 = 2*t - 6. Let l = c - -6. Solve -2*s + 25 = l*s for s.
5
Suppose -o + 24 = 3*o. Suppose 0 = 3*g + 4*j + 5, -3 - 2 = -5*j. Let u be 2 - (o/2)/g. Solve 8*n - u*n = 0 for n.
0
Let q be (-1)/(-1*(-4)/(-52)). Let r = -13 + q. Solve -3*m + m + 6 = r for m.
3
Suppose v = -2*k + 18, v + 4*v - 5*k - 75 = 0. Solve -3*n - n + v = 0 for n.
4
Suppose 5*l = -w + 15, 0 = 4*w + 2*l - 4 - 2. Suppose -320 = -5*o - w*o. Let h = o - 44. Solve 0 = 2*s - 6*s - h for s.
-5
Let a(g) = -g + 5. Let r be a(3). Let p be (3 - 1) + r/(-1). Let i(z) = -z. Let b be i(p). Solve b = -2*h + 4*h - 4 for h.
2
Let q(v) be the third derivative of -v**6/120 + 7*v**5/60 - 5*v**4/24 - v**3/6 - 7*v**2. Let m be q(6). Solve 0 = -0*i + m*i for i.
0
Suppose 0*s - 4*s - 36 = 0. Let q = -16 - s. Let i = q - -7. Solve i = 3*w - w + 4 for w.
-2
Let a = -45 + 49. Solve 0 = 5*g + 6 + a for g.
-2
Let s be 14/(-6) - (-1)/3. Let m be (-2)/(s + 3 + 0). Let z = m + 2. Solve 2*x + z*x = -10 for x.
-5
Let y(c) = -c**2 + 6*c - 3. Let k be y(4). Suppose 0 = -2*d + 2*x + 10, 11 + 13 = 4*d - k*x. Let f be 1 + 2 + d*2. Solve -3*n = 4 + f for n.
-3
Suppose 0*i + 10 = 5*i + 4*q, 0 = 3*i - 3*q - 6. Solve 4*p = 2*p + i for p.
1
Suppose 0*v + 3*v - 3 = b, -v = -2*b - 1. Solve -a + 3*a = b for a.
0
Let y(m) = -28*m + 14. Let a be y(-5). Let l be (-60)/(-14)*a/33. Solve 0 = 5*c - 5 - l for c.
5
Let k(x) = 4*x + 8. Let z(d) = d. Let r(u) = -k(u) + 5*z(u). Let b be r(11). Solve 0*f + b*f = 12 for f.
4
Let d(r) = -r**2 + 17*r - 27. Let m be d(15). Solve -4*t + 5 = -m*t for t.
5
Suppose 4*p + 8 = 2*p. Let z = -4 - p. Suppose z = h + 4*h - 25. Solve -h*x + x = -16 for x.
4
Let h be (-1 + 2)/((-1)/9). Let m be 1/3*h/(-1). Solve 0 = -j - 0 - m for j.
-3
Let l = -13 + 25. Let o = l + -6. Let n = -4 + o. Solve -3*z + 15 = n*z for z.
3
Let t be (1 - 0)/(-2 + 3). Let v be 0 + t + -4 - -9. Solve -6 = -3*k + v for k.
4
Suppose -22 = 4*f - 5*f. Let r = 24 - f. Solve 0 = -p - 0 + r for p.
2
Let b(d) = -2*d - 4*d + 0 + d**2 - 1. Let w be b(7). Let n be 15/1*8/w. Solve -5*v = -0*v + n for v.
-4
Suppose 2*g - 5*r = -15, 0*r = 2*g + r - 3. Solve -a - a - 4 = g for a.
-2
Suppose 5*k - 35 = -0*k + 5*n, -3*k + n = -13. Suppose 5*u = -o + 18, 2*u + o - 12 = k*o. Let t = 0 + u. Solve 0*f - 12 = -t*f for f.
3
Let j be (-1)/((12/9)/(-4)). Suppose 0 = -2*m - 4*g, 2*m + 3*g + 0 = 1. Suppose 2*n = -0*n + z + 8, 0 = -m*n + 5*z + 16. Solve n*w + j + 9 = 0 for w.
-4
Let p(g) = 2*g - 2. Let b be p(3). Let k = b + -2. Solve -20 = 7*x - k*x for x.
-4
Let d = -42 - -44. Solve -d*k - 1 = -k for k.
-1
Let n be (-22 - -21)*(-3 - 0). Solve -n = -o + 1 for o.
4
Let r = -33 - -33. Solve -3*j = -r - 15 for j.
5
Let c be (-6)/5*10/(-4). Suppose -c*o + 0*r - 3 = -r, -2*o + 9 = 3*r. Solve -4*q = -o*q - 4 for q.
1
Let a(j) = -j**3 + 4*j**2 + 4*j + 7. Let r(u) = u**3 - 11*u**2 + 5. Let g be r(11).