uppose 0 = -k - 23*k. Solve -5*x + 0*x + 20 = k for x.
4
Let p = 11 + -15. Let m be 1 + 3 + p/2. Solve -l = -m - 2 for l.
4
Suppose -4*y = -20 - 32. Let b be 1/(-2)*(-32)/(-2). Let k = y + b. Solve 3*i = 2*i + k for i.
5
Let p be 3*(-2)/4*-8. Let w be -12 - 3/((-9)/3). Let c = 11 + w. Solve -p = -4*i - c*i for i.
3
Let h be 4/(-14) + (-6)/(-21). Suppose 0*l + l = h. Solve f + l + 5 = 0 for f.
-5
Let n = -8 + 11. Solve -b + 4 = n for b.
1
Let q = -10 - -6. Let j be (q/(-6))/(3/27). Solve -4*r + j*r + 2 = 0 for r.
-1
Let k(t) = 2*t + 22. Let u be k(-9). Solve -2*s = 4 + u for s.
-4
Let r(a) = 3*a - 6. Let d be r(6). Solve 2*x - d = -2*x for x.
3
Let o be (-57 + 49)*(-1)/((-4)/(-2)). Solve -4 - 4 = -o*i for i.
2
Suppose 3*b - 4*q - 23 = 0, 5*q + 15 = -10. Suppose 5*w = -5*p - 10, -2*w + b = -p + 5. Solve p = -2*f + 4 + 2 for f.
3
Let c be ((-2)/(-14)*6)/((-8)/(-56)). Solve 0 = -k + 3*k - c for k.
3
Suppose -3*m + t + 10 = 0, -m - 4*m - 4*t + 11 = 0. Solve c = -m + 1 for c.
-2
Let u = 7 + -2. Let m = -5 + u. Suppose m*s = -4*s. Solve s = -2*w + w - 5 for w.
-5
Let j be (-60)/48*(-5 + 1). Solve 5*t + 0 - j = 0 for t.
1
Let m = -10 + 14. Let g = 4 - m. Suppose g = -3*x + 2 + 10. Solve 0 = -x*i + 3*i - 5 for i.
-5
Let m be 9/(-12)*(-72)/3. Suppose 2*l + m = 5*l. Solve 3*p - p = -l for p.
-3
Let o(v) = -3*v. Let q = 4 + 1. Suppose 2*r = -2*t, -q*r - 3*t = -4*t + 24. Let a be o(r). Solve 0 = -4*j + a for j.
3
Suppose 3*z = -z - 24. Let d(y) = -y**2 - 3*y + 7. Let f(a) = -a - 1. Let p(h) = d(h) + 4*f(h). Let u be p(z). Solve -4*o - u - 11 = 0 for o.
-5
Let g be (8/12)/1 - (-174)/9. Let s(t) = -2*t - 2. Let x be s(-2). Let l(c) = c**3 + 8*c**2 + 8*c + 9. Let k be l(-7). Solve -k*o - x*o = g for o.
-5
Suppose 3*p - 61 - 26 = 0. Suppose -26*t - 27 = -p*t. Solve -4*w - t = -w for w.
-3
Let n be -1*(-3)/(-2)*-2. Solve -n*k + 8*k = 15 for k.
3
Let o = -2 + 4. Let r(j) = 1 + o + j + 1. Let s be r(-4). Solve -2 = -s*u + u for u.
-2
Let t(h) = -11*h + 1. Let a be t(1). Let v be (-69)/(-15) + (-4)/a. Solve 0*p = v*p - 10 for p.
2
Suppose -7 = -6*a + 11. Solve -t + a - 7 = 0 for t.
-4
Let h(i) be the second derivative of 0 + i + 1/6*i**3 + 1/12*i**4 + 0*i**2. Let b be h(0). Solve b*l - l = -2 for l.
2
Let g be (-50 + 0)*1/(-2). Solve 4*t + t = g for t.
5
Let u = 22 - 17. Solve -2*l + u = -3*l for l.
-5
Suppose -5*f - 2 = -u - 1, 0 = -4*f - 5*u + 5. Let m be 10/4*12/15. Suppose -m = -z - f*z. Solve 0 = -2*g - z*g for g.
0
Let l(r) = -r. Let x(a) = -a**3 - 10*a**2 - 9*a + 1. Let u be x(-9). Let v be l(u). Let j = 2 - v. Solve -12 = -p - j*p for p.
3
Let o be 0*(-2 + 3 + 0). Let w = 5 + 0. Suppose o*h = w*h. Solve h = -u - 0 - 1 for u.
-1
Suppose 3*d = 6*d. Suppose d = u - 0*u - 2. Solve 4 = 2*o + u*o for o.
1
Let u = -23 + 25. Solve 0*b = u*b + 8 for b.
-4
Let j be -2*1 + (10 - 3 - 5). Solve -s - 2*s + 15 = j for s.
5
Suppose -38 = 3*w + 91. Let f = w + 23. Let d be 4/(-10) + (-168)/f. Solve 4*r = -d - 12 for r.
-5
Suppose 4*h = 3*m + 2*h - 5, 4*m = -4*h + 20. Solve -m*j = -1 - 14 for j.
5
Suppose -6 = -3*g - 4*i, -3*i - 1 = -g + 1. Suppose -3 = g*m + 15. Let f = -6 - m. Solve 2*k - f*k + 4 = 0 for k.
4
Suppose 4 = f - 0*f. Suppose f*l - l = -18. Let s be (-4)/l - 10/15. Solve -n = -s + 1 for n.
-1
Let c be (-4 + (0 - 1))*-2. Let g be (5 + -15)*(-6)/c. Let l be 23/g - (-2)/12. Solve 5 = -z - l*z for z.
-1
Let j be ((-6)/(-6))/((-2)/(-14)) + -2. Solve -4*f - 1 = -j for f.
1
Suppose r + 20 = 4*l, -2*r - 44 = 2*r + 2*l. Let a = -7 - r. Solve 0*c + a = -5*c for c.
-1
Suppose n - 2 - 6 = 0. Let d be (2 + n)*3/6. Let f(p) = 10*p**3 + 1. Let u be f(1). Solve u + 4 = d*x for x.
3
Let f(k) = k**2 - 5*k - 10. Let o be f(8). Let g = o + -9. Solve g = -4*t - 3 for t.
-2
Let n be (-1 - 1) + 0 - -4. Let b(j) = -j**3 + 4*j**2 - 4*j + 3. Let s be b(n). Solve 0*a = -a + s for a.
3
Let l(s) = -s**2 + s. Let k be l(1). Suppose 3*v - 1 - 2 = k. Let m(y) = 9*y - 1. Let d be m(v). Solve t - 5*t = -d for t.
2
Let s = 25 - 20. Solve -4*j = -s*j - 3 for j.
-3
Let h = 24 + -42. Let d = h - -21. Solve -1 = -2*g + d for g.
2
Let z = -14 - -17. Solve g = z - 2 for g.
1
Let n(m) = 4*m**2 - m + 2. Let b be n(2). Let d be 3/2*(-10)/(-5). Suppose d*t + 11 = 5*x - 29, 2*t = 3*x - 25. Solve x*l - b = l for l.
4
Let t be 8*1/2 + 1. Solve m - 20 = t*m for m.
-5
Let t(g) = -g**3 - 2*g**2 - g - 5. Let s be t(-3). Let z = 13 - s. Solve z*o = 2*o - 16 for o.
-4
Suppose 3*s - 6 = 6. Solve 0 = -s*k - k for k.
0
Let b(p) = 2*p - 6. Let o(t) = t - 1. Let m(l) = b(l) - 4*o(l). Let v be m(-3). Let h be 75/(-20)*v/(-1). Solve 0*q - h = -5*q for q.
3
Suppose 2*s = -7 - 5. Let b be 2*s/(-4) - 2. Let d be (1 - 2) + b*3. Solve 2*p = -d*p for p.
0
Let i(n) = -3*n - 8. Let c be i(-6). Let p(m) = m + 2. Let z be p(c). Let a = -8 + z. Solve a*v - 2*v = 6 for v.
3
Let l = 11 - 1. Let w be (8/l)/(2/(-10)). Let h = -1 - w. Solve 0 = y + h*y for y.
0
Suppose -8 = -3*p - o, -3*p = -4*o + o - 12. Solve -p*a = -a for a.
0
Let n(q) = q + 6. Let s be n(-7). Let p be (-2)/(2/4 + s). Solve -p*t + 1 = -3 for t.
1
Let p(t) = -t + 1. Let d(n) = -5*n + 4. Let f(z) = 3*d(z) - 12*p(z). Suppose 4*a + 9 + 7 = 0. Let r be f(a). Solve -3 - r = -5*x for x.
3
Let l(k) = -k**2 + 4*k - 2. Let o be l(3). Let q be (o + -4)/((-3)/10). Solve 6*w = w - q for w.
-2
Let g(p) = -p + 13. Let q be g(0). Let f = q + -9. Suppose 3*h = -1 + f. Solve 2*b + 3 = h for b.
-1
Let l(m) = -m**3 + 5*m**2 + 5*m + 8. Let a be l(6). Solve -4*t + a*t = 6 for t.
-3
Let b be (2/(-4))/(1/(-30)). Suppose b = 2*u + 3. Solve -3*g + 0*g = -u for g.
2
Let h = 53 - 32. Solve 0 = -5*a + h + 4 for a.
5
Let t be 24/32 + 29/4. Suppose 4*n + k - 18 = 0, -3*n + 2*k = -t*n + 24. Solve -3 + 23 = -n*p for p.
-5
Let s(u) = u**2 - 5*u - 12. Let q be s(7). Solve 0 - 8 = -q*m for m.
4
Suppose 15 = -3*s + 3*l, 2*s - 6 = -4*l + 14. Solve -10 = 5*i - s*i for i.
-2
Let t = -54 + 60. Solve -5*a - t = 4 for a.
-2
Suppose -5*u + 8 = -12. Solve u = i - 2*i for i.
-4
Suppose 0 = 2*l - 4*q - 20, -25 = 7*l - 3*l + 5*q. Suppose -4*s + 11 - 3 = 0. Solve s*v - 3*v = l for v.
0
Suppose -5*l - 30 = -50. Solve -l*o + 5 = -3*o for o.
5
Let c(s) = 9*s - 1. Suppose -4*b + 4 + 0 = 0. Let y be c(b). Suppose d + d - 2*z = 4, 2*d + y = 5*z. Solve -d = 3*m - 0 for m.
-2
Let h = -25 + 37. Suppose -4*m = i - 7, -i = m + 2*i + h. Solve 0 = -m*j + 15 - 3 for j.
4
Let h(q) = q**2 - 8*q + 8. Let b be h(7). Let j be -2*b/(2/(-16)). Suppose -4*m - 24 = -2*x, -x + 0*x = -3*m - j. Solve 2 = 3*i - x for i.
2
Suppose 4*q - 3*f = -0*q, 5*f = -3*q. Suppose p + 3 + 1 = q. Let o be (p/(-6))/((-1)/(-3)). Solve 0 = o*n + n for n.
0
Let t(s) = s. Let j be t(-4). Let b = -2 - j. Solve -b*i = 3 + 1 for i.
-2
Let g(s) = -s - 1. Let v(n) = 4*n + 3. Let l(x) = 6*g(x) + v(x). Let j be l(-4). Solve -18 = j*f + 7 for f.
-5
Let b(m) = -m**2 - 3 + 1 + 1 + m + 6. Let o be b(0). Solve -f - o = 4*f for f.
-1
Let n(h) = -2*h**2 + 7*h + 17. Let f be n(5). Solve 4*t = 5*t - f for t.
2
Let v be (-6)/(-14) - (-1048)/(-28). Let r be (-2)/7 + v/(-7). Solve r*w + 17 = 2 for w.
-3
Let p be (2*(-2)/1)/(-1). Solve 2 + 2 = -p*f for f.
-1
Suppose 0 = 2*l - 6*l + 8. Suppose -5*y = 2*k - 10 - 6, -7 = -k - l*y. Suppose -4*u - k*a = -20, 0*u + a = -5*u + 25. Solve -u*v = -4*v - 5 for v.
5
Let b = -5 + 7. Suppose 3*n - y - 2 = 0, b*n - 4*n - y = 2. Solve x - 1 - 2 = n for x.
3
Suppose z = 4*z. Suppose -8 = -r - 0*r - 3*u, 4*r - u - 6 = z. Solve -2*h = r*h - 16 for h.
4
Suppose -d - d = -4*t + 22, 9 = t - 4*d. Let q(z) = -z + 7. Let l be q(t). Solve 2 = 2*r - l for r.
2
Let s = -6 - -6. Let i be s*((-15)/6)/(-5). Solve 4*z - 2*z - 6 = i for z.
3
Let n = 47 + -47. Solve n - 2 = -2*m for m.
1
Suppose -4*y - y + 6 = -2*n, 0 = 2*n + 4*y + 6. Let f be n/6*0/(-2). Let g(b) = -b**2 - 4*b + 4. Let x be g(-4). Solve 0 = -f*r - x*r + 16 for r.
4
Let z be ((-18)/4 - 3)*-2. Suppose 0 = -5*y - z, 4*y - 2*y = -4*j + 2. Solve j*d = 6*d + 12 for d.
-3
Suppose -19 = -l + 8. Suppose 97 - l = 5*g. Let z = g - 6. Solve -f + 3*f = -z for f.
-4
Let i = -5 - -6. Let t = i + -1. Solve 3*d + 1 - 13 = t for d.
4
Let y be (0 + -1)*(-2 + 2). Let i(l) = -l**2 - 13*l - 14. Let o be i(-10). Suppose -2*k + 0 + o = 2*n, 3*n + 8 = 5*k. Solve y = 8*s - k*s for s.
0
Let z = 18 - 10. Suppose -z = 