 2*k + 4. Let f be x(1). Solve 0 = -f*c + 5 for c.
1
Let o = 11 + 31. Suppose -2*f - 4*b + 0*b = -28, -3*b = 5*f - o. Solve f = 3*m - m for m.
3
Suppose -q - 15 = 4*q. Let a be 6/q + 0 + 7. Solve -2*z + 12 = -a*z for z.
-4
Let k(t) = t - 2. Let z(h) = -h**2 + 4*h - 5. Let a be z(4). Let p be (2/(-6))/(a/105). Let o be k(p). Solve -o*s - 12 = 13 for s.
-5
Let c(k) = -k**2 + 10*k - 3. Let x be c(7). Let a = -10 + x. Suppose 4*g = f - 6*f + 44, -f - 5*g - a = 0. Solve r + f = -3*r for r.
-3
Suppose 18 = 4*d + 2*y, -3*y - 16 = -4*d - 7*y. Solve 6 - 16 = d*k for k.
-2
Let n = -76 - -81. Solve 0*l - 5 = -n*l for l.
1
Suppose 0*h - h = -6. Let k = h + -4. Solve 0 = -k*x + 4*x + 6 for x.
-3
Let k = 1 + 4. Solve -k = -5*c + 20 for c.
5
Suppose 0 = -2*w + 4*w. Solve 0 = -w*h + 5*h for h.
0
Let v = 4 + -2. Let n(j) = -j**2 + 5*j + 4. Let c be n(5). Suppose -3*q + 3*l = l - 15, v*q - 18 = c*l. Solve -14 = -q*y + 1 for y.
5
Let r(f) = 2*f + 28. Let l(h) = h**2 - 6*h - 7. Let d be l(5). Let y be r(d). Solve -7*x - 12 = -y*x for x.
-4
Let b = 7 + 3. Solve 3*x - b = -2*x for x.
2
Let a = 10 + 2. Solve s - 4*s = a for s.
-4
Suppose 0 = a - 3*j + 1, -3*j - 2 = 3*a - a. Let g(y) = -2*y**3 + y**2 - y - 1. Let h be g(a). Solve h*z - 1 = 2 for z.
1
Let k = 16 - 10. Suppose 4*f + 8 = 8*f. Solve -f = 2*y - k for y.
2
Suppose -4*u - 7*s = -3*s - 8, 4*s = -u - 4. Suppose u*o - 19 = -i, -2*i - 1 = -2*o + 1. Solve -5*p + p = -o for p.
1
Let x = 16 - 26. Let r = -10 - x. Solve r = c + 3*c + 8 for c.
-2
Let l(w) = -w**3 + 4*w**2 + 7*w - 3. Let k be l(5). Suppose v - k = -5. Solve -v*d + 4*d = 8 for d.
4
Let f be 8/20 + 16/10. Suppose -17 = -m + 5*l, -l = 5*m + f*l - 169. Suppose 3*v = -v + m. Solve 5*q - v = q for q.
2
Suppose 5*x - 5*s + 10 = 0, 3*x + s - 7 = 7. Let c be 6/x + 1 + 2. Suppose 0*a + 2*a + w + 2 = 0, 4*a - 4*w = 20. Solve 16 - a = -c*q for q.
-3
Suppose 0 = k + p - 3, -3*p - 1 = -4*k + 4. Solve k*r + 0*r - 2 = 0 for r.
1
Let q be (-12)/(-15)*(2 - -3). Solve q = 2*y - 6 for y.
5
Let p be (-12)/8*(-42)/(-9)*-1. Suppose -7 = -3*c + 2. Solve p = 2*q - c for q.
5
Let c = 12 + -22. Let i be (2/4 - 1)*c. Let h(z) = -z**3 + 4*z**2 + z - 3. Let l be h(3). Solve -i*g - l = 1 for g.
-2
Suppose 0 = -4*r + 3*j, 2*j + 1 = 3*r - 0*j. Solve r*y - 11 = 1 for y.
4
Let z be -4*(-1)/(-2) + 2. Suppose z = -2*j - 2*j. Solve j = -3*l - l - 12 for l.
-3
Let v = -26 + 41. Solve 2*l - 5*l - v = 0 for l.
-5
Suppose 89 = -2*y + 99. Solve 1 = 2*j - y for j.
3
Suppose 0*z - 4*z + 8 = 0. Let j = 2 + -1. Let u(b) = 4*b**2 + b - 3. Let f be u(-2). Solve j = -z*r + f for r.
5
Let x(w) = -3*w - 1. Let n be x(-1). Suppose y + 3*g - n = -g, 0 = -y + 4*g + 2. Solve v = -v - y for v.
-1
Let u be 5 - 22*(-4)/8. Solve -4 - u = -5*m for m.
4
Let r be (6/10)/((-7)/(-35)). Solve 0 = -b + r*b - 6 for b.
3
Suppose 0 = -4*z - 3*l + 12, 2*z + 5*l = -0*z + 20. Let p be 4/(-4)*10/(-2). Suppose h - 2*h + p = 0. Solve -h*s = -z*s - 15 for s.
3
Let y = 14 + -14. Solve y*l = -5*l + 20 for l.
4
Let y = 19 + -9. Suppose -y = -8*q + 3*q. Let c be (6/9)/(q/12). Solve c*k - 3*k + 5 = 0 for k.
-5
Suppose -4*q + q - 3 = 0. Let i be (q*(3 + 22))/(-1). Solve -i = 7*m - 2*m for m.
-5
Let n(l) = -76*l. Let f be n(1). Let y be (-2)/(-5) - f/10. Solve -m = -3*m + y for m.
4
Let a be (-29)/(-7) + 10/(-70). Solve 0*m - a = 4*m for m.
-1
Suppose -4*a = q + 9, 24 = 4*q + 2*a - 6*a. Suppose -6 = 3*u + 4*g, q*g + 16 = 5*u + g. Solve -u = -f + 3*f for f.
-1
Let t be (-174)/(-54) - 2/9. Solve t*p - 1 = -10 for p.
-3
Let k = 313 + -309. Suppose 0 = a - 3*a + 12. Solve 7*b = k*b - a for b.
-2
Let g be (-2 - 1)*2*(-1)/3. Solve 2*x - g = 2 for x.
2
Suppose -3*m + 2*r - 2 + 19 = 0, -2*r = -m + 11. Let l be (m/6)/((-3)/(-66)). Solve 5*n = l - 1 for n.
2
Suppose 4*r = w + 15, 2*r = 4*w + 3*r - 8. Let z(n) = 6*n**2 - n. Let v be z(w). Solve 0 = v*o + 4 - 24 for o.
4
Let t = 1 - 0. Let c = t - -8. Solve -c = 4*u - u for u.
-3
Let o(j) be the first derivative of -j**3/3 - 4*j**2 + 5. Let g be o(-6). Solve 3*h + h - g = 0 for h.
3
Suppose -5*n - 10 = -55. Let b(k) = k - 2. Let f be b(n). Solve 8 + f = 3*c for c.
5
Let v = -3 + 11. Let g = v - -26. Solve 5*w = -9 + g for w.
5
Let q(h) = h**3 + h**2 + h. Let y be q(0). Solve -3*x = -y*x for x.
0
Let p be (13 + -11)*(-30)/(-4). Solve v - 6*v + p = 0 for v.
3
Suppose -15 = -y - 2*y. Let x(k) = k**3 - 6*k**2 + 4*k + 6. Let f be x(y). Let v be 4*2*f/2. Solve v*t = -t - 25 for t.
-5
Suppose 2*s - 7 = q, 3*q = -0*s - s. Let a = 5 - s. Solve a = -g - 2 for g.
-4
Let l(p) = -p**3 + 7*p**2 + 6. Let f be l(7). Let s be ((-9)/f)/((-2)/4). Solve -2*a = s - 1 for a.
-1
Let a(q) = -2 - q + q + 5*q - 4*q. Let o be a(4). Solve -o*k = 2*k - 20 for k.
5
Let t(f) = f**3 - 8*f**2 - 10*f + 1. Let a be t(9). Let c be 1 - a*(-3)/(-2). Solve -2*v = c - 3 for v.
-5
Let a be (-10)/(-7)*(-2 + 9). Suppose 0 = -2*s + a, -24 = 2*c - c - 5*s. Solve -q = c - 4 for q.
3
Let y = -7 + 11. Suppose 2*j + y*x = -1 - 1, -3*j = 3*x - 6. Let t = j + -2. Solve -5*r = -4*r + t for r.
-3
Let j be 3 + (-4 - -4) + -1. Suppose 5 = -5*p, -3*p + 0*p = 3*w + 3. Let m = j + w. Solve m - 5 = -3*n for n.
1
Suppose 0 = -4*v + 10 + 6. Suppose -v*r + 25 = 5. Let g(u) = -u**2 + 5*u. Let j be g(r). Solve j = 2*b + 1 + 5 for b.
-3
Let w = 2 + 4. Let k = w + -5. Solve 15 = -4*l - k for l.
-4
Suppose -4*j + 3*x + 19 = 0, -4*j + 5*x - 13 = -34. Let k = j + -1. Solve -2*w + k = w for w.
1
Let b(w) = -w**3 + 2*w**2 + 4*w - 5. Let y be b(2). Solve -y*v - v + 12 = 0 for v.
3
Let m be 3/(-2)*(3 - 9). Let k = -8 + m. Solve -3*z - k = -4 for z.
1
Suppose 31 = 3*z - p, z - 4*p = -3*z + 52. Let f = -8 - -12. Let i be f - (-3 + (-3 - -8)). Solve -i*u - z = 1 for u.
-5
Suppose 0 = 3*i + 2 - 8. Solve 5*v - 13 = i for v.
3
Let y(z) = z**3 + 6*z**2 - 3. Let u be y(-6). Let f be (-44)/(-4) + u + -2. Solve 2*a - f*a = -8 for a.
2
Suppose -10 = 3*u - 5*n, 3*n - 6*n + 6 = -5*u. Let b be 2 - (-8 - u - -1). Let f = -4 + b. Solve f*q - 9 = 11 for q.
4
Let v be -1 + 2 + (1 - 1). Let x = -1 + v. Solve -q + 0*q + 3 = x for q.
3
Suppose 0 = 2*z - 2*x - 16 + 4, 4*z = 3*x + 22. Solve -z*j + 4 = -4 for j.
2
Let c(o) = -o**3 + 4*o**2 - 3*o. Let s(f) = -f**2 - 5*f - 2. Let r be s(-4). Let u be c(r). Solve 5 = -u*p - 3 for p.
-4
Let u be (-5 + (-42)/(-4))/((-1)/(-2)). Solve u = -4*w - 5 for w.
-4
Let l(m) = -m - 4. Let n(d) = d. Let q(b) = 2*l(b) + 4*n(b). Let o be q(6). Let k be (-9)/(-6) - 2/o. Solve -y - k = 2 for y.
-3
Let n(l) = -l**3 - l**2 - 2*l - 3. Let c be n(-2). Suppose 0 = c*o - 141 + 16. Solve -4*x - x = o for x.
-5
Let y be (-30)/(-4)*12/15. Let j be ((-6)/9)/((-2)/y). Solve 15 = -3*f - j*f for f.
-3
Let m = -14 - -14. Suppose 8*d - 3*d = m. Solve d = a + 3*a - 16 for a.
4
Let q(k) = k**3 + 5*k**2 - 4*k + 14. Let x be q(-6). Solve g + g + x = 0 for g.
-1
Let r = -39 - -42. Solve r*l = l + 2 for l.
1
Let q(r) = -6*r**3 - 1. Let g = 7 + -8. Let a be q(g). Let l = 7 + -2. Solve -l*v + a = -5 for v.
2
Let i(k) be the first derivative of k**4/4 + 5*k**3/3 + 4*k + 4. Let j be i(-5). Let q(h) = -h**2 - 4*h + 4. Let d be q(-4). Solve -j*l - d = 12 for l.
-4
Suppose 4*g + 12 = -4*z, 0 = -g - 2*g + 4*z + 12. Suppose g = y + 3*y. Solve -3*h + h + 2 = y for h.
1
Let g be (-8)/(-10) + (-114)/30. Let q be (-1)/2 - (-10)/(-4). Let k be (-31)/g - (-1)/q. Solve -o - o = -k for o.
5
Let u = -11 - -16. Suppose -2*p = -3*p - 4. Let a(g) = -g**2 - 5*g. Let j be a(p). Solve -j*f = -3*f + u for f.
-5
Let y = 41 + -37. Solve 3*n - 4 = y*n for n.
-4
Let g be -5*(27/(-15) + 1). Solve -9 = g*l - l for l.
-3
Suppose 7*h = 56 - 7. Solve -2*i + h = -3 for i.
5
Let g be ((-10)/4)/(1/(-2)). Suppose 4*x - 1 = 3*a, g*x - 2*a = x + 6. Solve 3*t = -t - x for t.
-1
Let a = -15 - -30. Solve 2*u = -u + a for u.
5
Suppose -5*d - 44 = -5*x - d, -x - 8 = -5*d. Solve 5*b = b + x for b.
3
Suppose -13*n + 48 = -n. Let a be 15/((-2 + 1)/(-4)). Suppose -2*t - 2*t + a = 0. Solve -s + n*s = t for s.
5
Suppose z + 35 = 5*n, -4*n + 28 = -0*n - 4*z. Let y = -5 + 8. Solve -2 = y*w + n for w.
-3
Let v(u) = -u**3 - 16*u**2 - 17*u - 27. Let b be v(-15). Solve 10 = -x + b*x for x.
5
Let c = 25 - 25. Solve -3*g + 8*g - 15 = c for g.
3
Let h(v) = -3 + 4*v + 0 + 4. Let m be h(1). Suppose 0*z = -z + m. Solve -z*j = -j for j.
0