 6, 2*v - 14 = 5*k for k.
-4
Suppose t = 4*p + 7, t - p + 4*p = 7. Let j be 6/(-4)*(-4)/3. Solve -3*o - 2*b = t, -o - 7 = j*b - 2 for o.
-1
Let j be (-2*(-3 - -2))/1. Suppose 0 = j*k + 2*k - 3*c - 13, 0 = -5*k + 3*c + 17. Solve -k*o + h + 15 = 0, -2*h - 1 = -11 for o.
5
Let r(q) = 2*q**2 - 6*q - 6. Let a be r(4). Solve 0 = a*n - 6*n + 3*g, 4*g = 0 for n.
0
Suppose 0 = 5*u + r - 3*r - 25, -3*r = u + 12. Solve -1 = -u*t + 4*v, 2 - 31 = 5*t + v for t.
-5
Suppose o + 5 = 8. Solve 3*t + i + 5 = -i, -o*t = 3*i for t.
-5
Let k = -28 - -28. Solve k*h + h + 3*j = 0, 0 = 4*j for h.
0
Let d = 45 - -5. Suppose 3*m = m + d. Solve -6 = 3*t - 4*v - m, -2 = -t - 3*v for t.
5
Let s be 2*((-45)/6)/(-5). Suppose -s - 5 = -y. Suppose -2*w = 2*w - y. Solve 4 = -w*g - 3*i, -3*g + 4*i = -0*g + 6 for g.
-2
Let w(k) = -k**2 - 3*k + 4. Let f be w(1). Solve 4*s - 4*x + 4 = f, x - 5 = 2*s + s for s.
-2
Let a be 5/10 - 2*33/(-12). Solve -2*t + 5*g = -a, 0 = -t + 3*g - 2*g for t.
-2
Let n = -6 + 8. Suppose -19 = -n*o - 1. Solve -2*c = -0*c + 3*q - o, q = -5*c - 10 for c.
-3
Let i = 4 + -2. Suppose -8*h + 6*h + 34 = 0. Let o = -14 + h. Solve -d - 1 = -y, 21 = -o*d - 5*y + i for d.
-3
Let c(i) = i**2 - 4*i - 5. Let k be c(4). Let x = 9 + k. Solve -x*m + w - 19 = 0, -10 - 5 = -5*w for m.
-4
Let n = -21 - -24. Solve -c - 6 = l + l, -l - n = -2*c for c.
0
Let h = 29 + -17. Suppose -h = -2*l - l. Suppose -5*i + 12 = -4*v, -v + 3*i = -l*v + 18. Solve v*k = 17 - 7, 2*j - 5*k = -33 for j.
-4
Let p = 2 + -2. Suppose 5*r - 20 = -p*r. Solve -r*i - 9 = -g - 3, -2*g - 4*i = 0 for g.
2
Let z = -3 - -2. Let f be z/((-3)/6*1). Suppose 5*v - 6 = f*v. Solve v*w - 6 = w + 2*p, -5*p - 17 = -2*w for w.
-4
Suppose -5*n + 0 = -60. Suppose -q - 10 = 2*y - 4, 4*y = -n. Solve -r = -2*r - 3*z + 11, q = 3*r + 3*z - 15 for r.
2
Let u = -145 + 155. Solve x + 2 = o + 9, u = 2*o + 4*x for o.
-3
Suppose -s = -2*d + 5, -s + 3 - 14 = -5*d. Suppose -3*o + 3*l = -4*o + 32, 3*l = d*o - 64. Solve -o = 4*i + 4*a, -4*a = -6*a - 8 for i.
-4
Let k be -2*(3 + 18/(-4)). Solve 0 = -q + 2*u - 7, 2*u - 10 = k*q + 3 for q.
-3
Let u(x) = -2*x**2 + 1. Suppose 0*i + 5 = -5*i. Let a be u(i). Let j = a - -3. Solve -o - 10 = -b + 4*b, 0 = b + j*o for b.
-4
Let b be ((0/4)/2)/(-2). Solve -4*k + 3*c + 17 = 0, b*c + 22 = 4*k + 2*c for k.
5
Suppose 0 = 5*z - 9 - 11. Solve -l = l + z*n - 6, -l + 4*n + 3 = 0 for l.
3
Let x(i) = -2*i - 4. Suppose -5*w + 8 = -2*g, -2*g - 3*w - 8 = -0*w. Let o be x(g). Suppose -9 = -4*z - 1. Solve -u - 2*d = -z, -u + 5 = d + o*d for u.
0
Let l = -31 + 35. Solve 0 = -l*i + 16, -5*i + 29 = 4*k - 11 for k.
5
Let x be 1/((4/3)/4). Suppose i + 3*m - 67 = 0, x*i + 0*i - 2*m = 146. Let d be i/3 + 6/9. Solve -3*s + d = 2*a + 5, -2*s = -a + 3 for a.
5
Let g = 9 - 9. Solve 20 = 4*d, -10 = b - d - g*d for b.
-5
Let f = 201 + -192. Solve -2*r = 2*r - 4, 4*q = -r + f for q.
2
Suppose -2*m - 3*r = -5*r - 2, 2*m + 4 = -4*r. Suppose m*w - 8 = g - 2*w, 5*g - 2*w = 0. Solve 3*o + 2*j = -11, 9 = -o - 0*j + g*j for o.
-5
Suppose 0 = k + l - 7, -4*k - k - 2*l + 23 = 0. Solve 2*j = -2*j - k*m + 8, -2*j + 18 = -2*m for j.
5
Let h = 6 + -3. Solve 3*a - 12 = 0, -g + h*g = a - 14 for g.
-5
Let n be (-8)/28 + (-69)/(-21). Solve -4*k + 9 = -n*h - 14, -3*h = 2*k + 11 for k.
2
Let h = -5 - -8. Let j(b) = b - 3. Let r be j(h). Solve r = -5*o + 5*w, -3 = 2*o + 2*w + 17 for o.
-5
Let w be 2/((-2)/(-8)*2). Suppose -w*t - 40 = t. Let p be (-2)/8 - 34/t. Solve -s - 5*j = 0, -3*s + p*s - 4*j + 9 = 0 for s.
-5
Suppose -4 = -5*n + 2*i, 5*i - 1 = -3*n + 20. Solve -n*t - 19 = -5*l, 0*l + 8 = 2*l - t for l.
3
Suppose -4*z + 1 = -15. Suppose z + 11 = -3*j - 3*b, -5*b = -j - 35. Let o be (-4)/j - (-26)/10. Solve 4*l = -2*d + 18, 2*l + 6 + 5 = o*d for d.
5
Suppose -8*j = -30 - 10. Solve -4*n + j*y = 19, 2 - 11 = 3*n - 2*y for n.
-1
Let p = -31 - -22. Let w = -6 - p. Solve 2*t = -4 + 8, w*g = -4*t + 11 for g.
1
Let k = -6 + -3. Let j = k + 14. Let s(z) = 2*z**2 - 3*z - 5. Let v be s(j). Solve 0*y + 40 = -3*y - 5*n, -2*y - 4*n = v for y.
-5
Let t be (-40)/(-1*(-3)/(-6)). Suppose -3*u + t = 2*u. Solve 2*z - r = -6, -2*z - z - u = 2*r for z.
-4
Let b = 9 - 3. Let h(v) = -1 - 1 + 2*v**2 + b + 3*v - 3*v**2. Let s be h(4). Solve 0 = -3*a - s*a - 6, 2*q + 4*a = 0 for q.
4
Let f = 53 - 48. Solve -f*h - 6*n + 32 = -2*n, -3*h + 18 = 2*n for h.
4
Suppose -3*h = 5*t + 16, 6 = 2*h - 9*t + 4*t. Let v be 16/4*(-5)/h. Solve -3*q = -2*k + 15, -q + k - v = -4 for q.
-3
Suppose 3*f + 5*r = 35, 2*f + r = 4*r + 36. Suppose z - 6*z + f = 0. Suppose -z = -3*u + 6. Solve -5*m + n - 23 = 0, -m = -u*m + 2*n - 6 for m.
-5
Let b be ((-8)/26)/2 - 268/(-52). Solve -3*k = 2*j - 7, -b*j + 2*k = -0*k + 11 for j.
-1
Suppose -28 = -2*j - 0*j. Let r be 2/(-3) + j/3. Let t be r/12*12*1. Solve -3*g - t*k = -5*g, k = 3*g for g.
0
Let o = -43 - -28. Let b be ((-15)/6)/(o/36). Solve 4*s + c = b, -4*c - 9 - 7 = -4*s for s.
2
Suppose 3*g = -g. Suppose 0 = 3*h - 45 - g. Solve a - 1 = -4*j + 2, j = -5*a + h for a.
3
Let a(o) = -o**2 + 8*o - 2. Let v be a(6). Suppose x + 4*x = v. Solve i + 4 + 1 = 0, 0 = -x*t - 3*i - 25 for t.
-5
Let t = 121 - 117. Solve -20 = 2*y + 2*s + 2*s, 4*s = t*y + 4 for y.
-4
Let x = 7 + -12. Let p(s) = -s**3 - 6*s**2 - 6*s - 2. Let f be p(x). Solve -3*t - 5*r + 40 = 15, -14 = -4*t + f*r for t.
5
Let x = 2 - -3. Suppose n + x*d = d + 17, -3*d = -3*n - 24. Let j be (-2)/n + (-39)/(-9). Solve -4*r + 11 - 1 = j*i, 2*i + 24 = 4*r for i.
-2
Let m = -13 - -18. Suppose -2*c + 9 = m. Solve -4*s = -g + 10, -4 = 4*s + g + c for s.
-2
Let i = -14 + 18. Suppose y + h - 3 = -h, 5*y + 7 = h. Let w be 3/(-6) + y/(-2). Solve -5*x + i*p = 17, -3*x - x + p - 7 = w for x.
-1
Let m(g) = 10*g**2. Let k be m(1). Solve 5*j + 10 = 0, -3*n - k = -7*n - 3*j for n.
4
Suppose 20 = -6*h + h. Let b = h - -4. Solve -j - 4*z - 13 = b, 7 = -j + 2*z - 4*z for j.
-1
Let t be 0*(0/(-2) - -1). Suppose 0 = -t*l + 5*l - 30. Suppose l*y - 3*y = 0. Solve -18 = -y*f + 4*f - 3*x, x = -f - 1 for f.
-3
Suppose 0 = 5*s - 2*z - 133, -3*s + 56 = 5*z + 1. Solve -4*r + s = 5*n, 3*r - r = n + 9 for r.
5
Suppose -79 = -4*x - 3. Let w = 23 - x. Solve -2*t + n - 4 = 0, -4*t - w*n = -0*n - 4 for t.
-1
Suppose -3*r = 4*k - 8, 4*k = -4*r - 0*r + 12. Solve 2*i = a - 3, -r*i = -0 + 4 for a.
1
Suppose -5*y + 1 = -2*b, 3*b - 4*y - 3 + 1 = 0. Let p be -1 + 1 - -3*b. Let z be (-45)/p*(3 - 5). Solve n + n + 10 = 2*i, 3*n = -z for i.
0
Let w(s) = s**3 - 6*s**2 + s - 6. Let d be w(6). Let t be (-2)/2*d/5. Solve 2*j + 5 = -5*f, 2*j + 3*f + f + 6 = t for j.
-5
Suppose -2*u + 3 = -1. Suppose -v + 4*w + u - 7 = 0, -v + 5*w - 7 = 0. Solve 8 = -4*r, -5*c + 4*r - 5 + v = 0 for c.
-2
Suppose -s = 3*s - 20. Suppose -q - 7 = -4*n, s*n - 17 = 4*q - 0*q. Solve -5*y = 4*w + 2, 5*w = 11 - n for y.
-2
Suppose -5 = b - 21. Solve u + 2*v = -2*v + b, -v = 5*u - 4 for u.
0
Let r(j) = -j**2 + 11*j - 11. Let d be r(9). Suppose 12*v - 90 = d*v. Solve -5*n + n - 3 = 3*u, -3*u = -3*n - v for u.
3
Let v = 20 + -15. Solve -v*f + 3*i = 6, 0*f - 2*f - 3*i - 15 = 0 for f.
-3
Suppose 4*i + 2 = 18. Suppose 1 = -i*f + 45. Solve -c + 4 = -2*r - 4, -r - 3*c - f = 0 for r.
-5
Suppose -3 = -2*z + 1. Suppose l - z = 4. Let t be (24/9)/(4/l). Solve t*v = -2*q - 18, -3 = 2*v - 3*q + 2*q for v.
-3
Let i(u) be the first derivative of 3*u**2/2 - 15*u + 4. Let p be i(6). Solve 0*g + 2*h = -p*g - 22, -32 = 3*g + 4*h for g.
-4
Suppose 4*l + 20 + 8 = 3*o, -4*l = 4*o. Solve -3*x + 4*x + 2*r = -11, -31 = 5*x + o*r for x.
-3
Suppose 5*b - 4 = 6. Solve -5*i - b*f = -15, -4*i - 2*f = f - 5 for i.
5
Let l = 18 + -15. Suppose -3*r = -2*m - 12, 2*r - 8 = -2*m - l*m. Solve -2*t - 3 + m = c, 3*t = 2*c - 15 for c.
3
Let x(v) = -2*v - 4. Let d be x(-4). Let h(z) = -2*z - 2. Let f be h(-5). Let s = f + -4. Solve s*y = -a - 2, 0 = -d*a + y - 2 - 6 for a.
-2
Let f be 1/(1 + (-40)/36). Let x = f - -9. Solve 5*n - 2 = 4*s, -2*s - 10 = -x*n + 2*n for n.
-2
Suppose 4*n - 5*w = -2*w + 3, -5*n + 2*w = -9. Suppose -17 = -4*g - n*q + 26, -5*g + 53 = 3*q. Solve 0 = 5*y - 2*y - r - g, -2*y + r + 7 = 0 for y.
3
Let t be (20/6)/(1/6). Let m = 8 + -3. Suppose -m*h + 10 = -t. Solve 0 = p - h + 2, -f - 9 = -3*p for f.
3
Let c = 32 - 20. Solve -m - c = -4*d, 5*m - 2*m - 15 = -5*d for m.
0
Let j be (0 + 3