k - 3*k + 6. Let q be 0 - (-2 - k/(-2)). Suppose -3*u = -2*c, 4*u - 2*u + 4*c = 0. Solve -2*f - q + 11 = u for f.
5
Let p be 2 - (0/(-1))/(-3). Solve -p*h + 0*h - 8 = 0 for h.
-4
Let n = 63 - 58. Solve n*h = 2*h + 3 for h.
1
Let w(s) = 5*s + 36. Let n(l) = -l - 9. Let y(d) = -9*n(d) - 2*w(d). Let a be y(7). Suppose -92 = f - 5*f. Solve -a = -5*j + f for j.
5
Let f(r) = r - 2. Suppose -5*n + 3*l = -15 - 6, 3*l - 15 = -n. Suppose 4*p + 5*q = -17, -5*q = 5*p + 9 + n. Let u be f(p). Solve -g + 0*g = u for g.
0
Let x = -13 + 15. Solve 4*a - x - 10 = 0 for a.
3
Suppose 2*i + r = 3, 4*i + 0*i + 3 = r. Suppose i = -2*b - 2*b. Solve -8*x + 4*x + 12 = b for x.
3
Let w(v) = 4*v - 10. Let o be w(7). Suppose 0 = q, 5*q - o - 12 = -5*g. Let a be (2/2)/(2/6). Solve g = -a*l + 6*l for l.
2
Let b(i) = -i**2 + 8*i + 2. Let u be b(8). Solve -u*w = -3*w - 2 for w.
-2
Suppose -b - 3*c - 2*c = -20, -2*b - c = -13. Solve 0*i = -5*i + b for i.
1
Let f = -28 + 32. Solve 0 = f*c - 9*c for c.
0
Let s be 2*(11/2 - 3). Let k(x) = x**2 - 5*x + 5. Let a be k(s). Suppose -b = 5*g - 25 + 3, 5*b + 10 = a*g. Solve r = -g*r - 25 for r.
-5
Suppose 2 + 1 = i, -5*c + 5*i = -40. Let d(l) = l**2 - 10*l - 11. Let o be d(c). Let w be (-3)/6*(o + -12). Solve -2*b - w = -5*b for b.
2
Suppose 2*u - 6 = 2*l, -u + 6*u + 9 = -3*l. Let f be -2*(u - 18 - -2). Solve -f + 7 = 5*t for t.
-5
Let g(b) = -1 - 5*b - 3 + 3. Let w be g(-1). Solve -1 = -3*c - w for c.
-1
Suppose 8*t - t = 2*t. Solve 3*n + n = t for n.
0
Let d(v) = v**2 - 2*v - 4. Let z be d(4). Let i be 55 + (-2 - -1) - 1. Suppose -a - x = 3*a - i, 2*a + x = 27. Solve -z*t + a = -3 for t.
4
Let x be 21/4 + -3 - 1/4. Let f(s) = s**3 - 6*s**2 + s - 3. Let p be 1*2/2 - -5. Let t be f(p). Solve t*h = -x*h - 25 for h.
-5
Suppose 5*w + 27 = j - 0*j, -18 = -2*j - 2*w. Suppose 2 - j = -5*t. Suppose 8 = -t*i - 0*x - 4*x, -4*i - x = -12. Solve 4*k + 0 - i = 0 for k.
1
Suppose 0*s + 4*w + 20 = -2*s, -3*w = -s + 5. Let r be (42/28)/((-2)/s). Solve -r*b + 2 = 14 for b.
-4
Let d(c) = c**2 - 7*c - 6. Let a be d(7). Let i be 1/a - 856/48. Let g = 28 + i. Solve -2*n + 4 = g for n.
-3
Let v be 1589/49 - 3/7. Solve -v = -4*s - 12 for s.
5
Suppose 2*d + 6 = 2*g + 4*d, 0 = 2*g - d - 21. Solve -p - p - g = 0 for p.
-4
Suppose -2*b - 5*v + 29 = 0, -3*b + 39 = 3*v - 0. Let y = -7 + b. Solve -y*k - 15 + 5 = 0 for k.
-2
Let h be 2/(-8) + 1064/32. Suppose n = -q + h, -2*n + 0*q = -2*q - 54. Let g be (-8)/(-5)*n/4. Solve j + 2*j = g for j.
4
Let a be 1*22 - (-5 - -7). Solve 0*u + a = 4*u for u.
5
Let w(x) = x**3 + 2*x**2 - 3*x. Let j be w(1). Solve -5*n = -j*n + 20 for n.
-4
Let k = -3 - -6. Suppose 0*u + u - 15 = -5*r, k*r - 3*u + 9 = 0. Solve 2 = -r*s - 4 for s.
-3
Let x(w) = w**3 + 0*w**3 - 7*w**2 + 4*w**2 + 2*w - 4. Let k be x(3). Solve -q + k*q = 3 for q.
3
Let c(f) = f**3 - 4*f**2 + 4*f - 3. Let u be c(3). Let p = u - 0. Suppose 4*q - 2 = 14. Solve -r - q = -p*r for r.
-4
Let a = 17 + -15. Solve -4 = 3*r + a for r.
-2
Suppose o = 4*o. Suppose o = 4*k - k. Suppose -2*n - n + 12 = 0. Solve 4*g = n - k for g.
1
Let z(q) = q**2 + 3*q - 6. Suppose 0 = -2*k + i + 5 - 18, 3*k + 5*i = 0. Let b be z(k). Suppose -b*j = j. Solve j = -r - r for r.
0
Suppose -2 + 12 = 5*n. Suppose 0 = -2*d + 4*d. Let y = d + n. Solve -j = -2 - y for j.
4
Let g be (-15)/20 + 167/4. Suppose 5*r - g - 29 = 0. Let a be 52/14 + 4/r. Solve -w = w + a for w.
-2
Let s = -18 + 38. Solve -6*m - s = -m for m.
-4
Let a be 9 - 3 - (3 - (1 - 2)). Let f be (-2)/(-4)*(-2 + 0). Let z = f + 1. Solve a = -z*n - n for n.
-2
Let f(d) = d**3 - 8*d**2 - 6*d + 1. Let j be f(9). Let k be j/21*(-3)/(-1). Solve k = 5*h - h for h.
1
Suppose 4*i - 3*i = -2*r + 6, 0 = -5*r - 5*i + 10. Let c(b) = -b**2 + 4*b. Let t be c(r). Solve u + 4 = -t for u.
-4
Suppose 2*q + 16 = 5*a - q, 0 = -3*a - 4*q + 27. Solve -2*v + a*v + 6 = 0 for v.
-2
Let v(w) = -w + 9. Let q = -14 - -20. Let a be v(q). Suppose a*h + 8 - 20 = 0. Solve -h*j = j for j.
0
Suppose 2*u - 24 = -3*i, 5*u - 3*i = 6*u - 18. Solve -x + 4*x = u for x.
2
Suppose 0 = 18*g - 11*g - 21. Solve -1 = 2*a + g for a.
-2
Let i(u) = -5*u**3 + 2*u**2 - 8*u - 2. Let j(g) = 9*g**3 - 4*g**2 + 15*g + 4. Let m(t) = -11*i(t) - 6*j(t). Let p be m(-2). Solve p*l = -1 - 1 for l.
-1
Suppose 3*h = 13 - 1. Let d = 4 - h. Let y be (-1)/1*-2 - -8. Solve -3*i + i + y = d for i.
5
Let y be 3/(-30)*4*-5. Solve 2*h - y = -0*h for h.
1
Let v = -2 - -6. Let t(o) = o**2 - 4*o + 1. Let r be t(v). Solve j = 2*j - r for j.
1
Let j be (-4)/(-26) - 349/(-13). Solve -5*k + j = 7 for k.
4
Let l(r) = r**3 - 19*r - 5. Let w be l(5). Solve -5 + w = -5*v for v.
-4
Let z = 80 - 44. Suppose 16 = 4*o, o + 3*o = -4*c + z. Solve 0 = v + c for v.
-5
Let n = 5 - -5. Solve o = -4*o - n for o.
-2
Let o(s) = -s**2 - 10*s - 18. Let j be o(-7). Solve -x - j = -4*x for x.
1
Let h = 103 - 98. Solve -z = -h*z - 16 for z.
-4
Let a be 3/12 - (-30)/8. Suppose -5*p = 2*f + 3*f - 55, -12 = -2*p + 3*f. Suppose -a*t + 3 = -p. Solve -t*l = l + 12 for l.
-3
Let h(z) = -z**3 - 4*z**2 + 1. Let n = -8 + 4. Let t be h(n). Let x be (t - 0)/(1 + 0). Solve -f - 1 = x for f.
-2
Let f be (4 - 1) + (0 - 0). Suppose 2*p - f = -r - 0, -3*p + 7 = -r. Solve -5 = p*c + 5 for c.
-5
Let i = -2 + 17. Suppose -2*h + 7*h = i. Suppose -8 - 3 = -z + 2*v, -z + h*v = -16. Solve 4*j - 3 = z for j.
1
Let f be 2*3/2 + 3. Suppose 0 = -8*q + 6*q + 16. Solve -f*y = -2*y + q for y.
-2
Suppose -4*h = -4 - 0. Let s be (-92)/24 - h/6. Let z = 4 + s. Solve z = -j - 2 + 5 for j.
3
Let s(k) = k**2 + 9*k - 4. Let p be s(-10). Solve -1 + p = 5*x for x.
1
Suppose -4*i - 5 = -1. Let s be 0 - (-44)/((-1)/i). Let n be s/10 + (-6)/(-10). Solve 8 = -n*b + b for b.
-2
Let m = 89 + -189. Let o be (9/5)/((-15)/m). Solve v = -2*v + o for v.
4
Let f(i) = i**2 + 3*i + 4. Let a be (-1)/((-2)/((-6)/1)). Let n be f(a). Solve 3*l + 5 + n = 0 for l.
-3
Let v be ((-2)/3)/(1 + (-32)/24). Solve 4*q - 8 = v*q for q.
4
Suppose -5*u - 5*o = -20, -u + 4*u - 10 = -2*o. Solve -u*v - v = -9 for v.
3
Suppose t = -2*t + 15. Suppose -t*l + 20 = 5*r - r, -20 = -5*l - 3*r. Solve 0 = l*y - 0 + 16 for y.
-4
Let f(n) = -2*n + 8. Let a be f(7). Let s = -6 - a. Solve 2*p - 5*p + 12 = s for p.
4
Suppose -5*r + 5 = -5. Suppose -5*b + 19 = 2*l, 0*l - 3*l = -r*b. Solve -5 = l*d - 3 for d.
-1
Suppose 2 - 5 = -q. Solve -q*m + 0*m - 9 = 0 for m.
-3
Suppose -5*g + 6 - 26 = 0. Let v(s) = 2*s**2 - 18*s + 6. Let a be v(9). Let f = g + a. Solve -n - f*n + 12 = 0 for n.
4
Let j be 74/3 - 1/(-3). Suppose 32 = 5*s + 3*m, -s = 5*m + 1 - j. Solve -2*v - 8 = -s*v for v.
4
Let n be ((-15)/(-6)*-1)/((-4)/8). Solve -n*i - 3 = -4*i for i.
-3
Let y = -2 + 0. Let j be 0 - -3 - (y + 0). Let m be 8 + 0 - (-6 + j). Solve -m = 2*c - 1 for c.
-4
Let m(a) = 3*a - 10. Suppose 4*f = 4*w - 20, 0 = -5*w - 3*f + 28 + 13. Let j be m(w). Solve -3*q = j + 1 for q.
-4
Let m(o) = -o**3 - 5*o**2 + 8*o + 4. Let i be m(-5). Let z be i/21*7/(-2). Solve -r - z = r for r.
-3
Let j = 9 - 3. Suppose 4*v - 2*p = 14, 4 = -2*p + 2. Solve -v = -3*u + j for u.
3
Let a(y) = -3*y**3 + 2*y**2 - 1. Suppose g = 4*g + 9, 3*m - 6 = 3*g. Let d be a(m). Solve -3*w + 2 = -d*w for w.
-2
Suppose -6 = 2*j - 4*j. Solve -j*r = 2*r for r.
0
Suppose -5*q + 3*j = -13, 6*j = 5*j - 1. Let s = 39 - q. Suppose -3*t = -14 - s. Solve 5*g = t - 2 for g.
3
Let i(s) = s**2 - s - 7. Let a be i(7). Suppose 2*v - 2*k - 2 = 0, -5*v + a = 7*k - 2*k. Solve r + 10 = -v*r for r.
-2
Let f(g) be the third derivative of 0*g - 1/20*g**5 + 1/120*g**6 + 1/24*g**4 - 5/6*g**3 + g**2 + 0. Let i be f(4). Solve -3*m + 6*m = i for m.
5
Suppose -g - 4*g + 15 = 0. Let i be (-4)/1*g/4. Let t be (2 + -1)/(i/(-15)). Solve 1 + 19 = t*w for w.
4
Let u be (41 - 29)*1*1/4. Solve u*a - 2*a - 5 = 0 for a.
5
Let f(q) = -q**2 + 7*q - 10. Let b be f(2). Solve 2*t = -b + 2 for t.
1
Suppose 5*k + 8 - 4 = -o, 5*k + 7 = 2*o. Solve 2*q = o + 1 for q.
1
Let x be (-2)/(-6) - (-2)/3. Suppose -3*k + 2*h = 0, 5*k - 2*h = -x + 5. Let a = k - 2. Solve a = -2*b - 2 - 4 for b.
-3
Let s be (-30)/(-4) - (-6)/(-4). Suppose -5*r = -3*r - s. Let b be r*1*(-2 - -4). Solve -i - 2*i + b = 0 for i.
2
Let d = -17 - -21. Solve -d*k = k for k.
0
Let d(s) = 6*s**2 - s. Suppose 0 = 5*b + 2*p + 5, 29 = 4*b + 3*p - 8*p. Let h be d(b). Suppos