 -x + 2*v - 2, -3*v + 12 = k for x.
1
Let p(r) = 2*r**2 + 3*r + 3. Let g be p(-2). Solve -2*i - g = 3*w, w + 2 + 5 = -2*i for w.
1
Let a(c) = 2 + c + 0*c - 1 - 3. Let u be a(7). Solve 0*f - 4 = -2*q + 3*f, 5*q - 35 = -u*f for q.
5
Let j = 3 - 5. Let f = j + 10. Let r(k) = -k**3 + k**2 - k - 1. Let n be r(-1). Solve z + 4*u + f = 0, -z - n + 3 = -5*u for z.
-4
Let o = 266 + -189. Suppose -r = -i - 26, 4*r = -5*i - 0*i + o. Solve -j = -5*c - r, 2*c = c - 2*j - 9 for c.
-5
Let x = 2 + 0. Suppose -x*k - 3 + 7 = 0. Solve 5*n + 24 = 3*s, -s + k*s = 3 for n.
-3
Let h be (-9 - -8)*(-3 - -1). Suppose -3*y + 70 = h*y + 4*o, -4*y - o = -56. Solve n - 5*c + 8 = 0, -3*n = c + 3*c - y for n.
2
Let w(s) = s**2 + 2*s - 3. Let y be w(-5). Let c be y/30 - 4/10. Let f be 25 + c/1 + 0. Solve -42 = 3*b + 4*q - 7, -q = 4*b + f for b.
-5
Let i be 1 + 1 + 0 - -3. Suppose 2*o + 10 = 0, -o = i*u + 5 + 5. Let x = 2 - u. Solve 2*b = -4*s + 12, 3*s + 2 = x*b + 11 for b.
0
Suppose -4*p + 12 = -5*j, 4*p + 5 = 3*j + 17. Suppose p*h - 4 = -10, -2*x - 3*h + 2 = 0. Solve 5*k - 7 = -5*y + 8, -k = x*y - 15 for y.
4
Let q(m) = -m**3 - 6*m**2 - 5*m + 5. Let w be q(-5). Solve 0 = 2*d + k - 2*k - 10, -w*d = -3*k - 27 for d.
3
Suppose 2*g + 2*n - 6 = 0, -5*g - n + 1 = -10. Solve 3*u + 3*a + 6 = 0, 3*u + 2 = -g*a - 4 for u.
-2
Let h = -8 + 10. Solve -4*q + 6*a = h*a + 12, -5*a = q - 27 for q.
2
Let p(x) = x**3 - 2*x**2 - x - 3. Let k be (-25)/(-9) - (-10)/45. Let y be p(k). Let q be 18 + (0 + 1 - 2). Solve -r + q = y*b - 0*r, -5*b + 2*r = -21 for b.
5
Suppose 5*x + 15 = 265. Let i = x - 23. Suppose 28 = u + t, 198 - 55 = 5*u + 4*t. Solve -u = -4*j + 5*c, -3*j - 9 = -2*c - i for j.
4
Let w(u) = -46*u - 1. Let p be w(-1). Let b = 76 - p. Solve -3*c + c + b = -5*g, -3*g = -3*c + 24 for c.
3
Let f = 3 - 4. Let a be ((-2 + 4)/2)/1. Let g be (-2)/f*a - 0. Solve g*t = -3*v + 16, 3 = -t + 2*v + 2*v for t.
5
Let f = -1 + 3. Suppose -5*c - b = -2*b - 6, -f*b + 8 = 0. Suppose -c*s + 4 = 0, -4*h - 2 + 16 = -s. Solve -3*w + h*x + 7 = 0, 4*w = -4*x + 29 - 1 for w.
5
Let d = 9 + -7. Suppose 5*n = -5*j + 30, -n + d*n - 5 = 0. Solve 3*y = f - 10, -2*y - 2 - j = 3*f for f.
1
Let o be 2/(-10) + (-1 - (-84)/20). Solve o*t - 3*q = -5*q - 6, q + 3 = 5*t for t.
0
Suppose h + 4 = -3*h, -4*p - h = -11. Solve b = p*w + 11, -8 = -5*w - 23 for b.
2
Let m(h) = -4*h + 1. Let v be m(-1). Suppose 5*b + x = 2*x + 77, x - 58 = -4*b. Let g = b + -13. Solve -2*d + v*k + 20 = 0, 2*d - g*k - 13 = 1 for d.
5
Suppose 5*a - 13 = 2. Solve -2*d = 2*g - 0*d - 4, -g + 10 = a*d for g.
-2
Suppose -53 = -2*t - 19. Let a = t - -23. Solve -3*h = -2*x + 9, 0 = -5*h - 9*x + 4*x - a for h.
-5
Let q(d) be the first derivative of 2*d**3/3 + 3*d**2 - 2*d + 2. Let n be q(-5). Solve 0 = -5*m + 2*z - z + n, -3*z = 2*m - 14 for m.
4
Let r be (-1 + (-6)/(-14))/((-2)/7). Solve 0 = -3*q + r*y + 7, -2*y = 3*q + 2*y + 23 for q.
-1
Let j = 7 - 3. Let x = 101 + -54. Suppose 2*d = -6, -j*m + 5*d + x = -2*m. Solve -2*v + 5 - 3 = 2*t, 0 = 2*v - 5*t - m for v.
3
Let n = -2 - -7. Solve -4*g = 2*j + 6, -4*j = -8*j - n*g - 12 for j.
-3
Let t be (-12)/2*2/(-9)*6. Solve 0*w + 3*w + 12 = c, 0 = -2*w - 5*c - t for w.
-4
Let f(x) = -11*x**3 + x**2 - x - 1. Let j be f(-1). Let c = -8 + j. Suppose -4 = -2*i - 0. Solve -i*w = -2*q + 5 + 1, w + c*q = 12 for w.
0
Let u(z) = z - 11. Let b be u(11). Solve 3*w - 2 + 0 = -4*f, b = -2*w - 4 for f.
2
Let r = 17 + -13. Let b be -4 + (-3 - -6) + r. Solve -3*s - 3*k - 12 = 0, -b*s - s - 11 = -k for s.
-3
Suppose -4*u = -7*u + 2*p + 17, -u + p = -6. Suppose 0 = -2*g + 4*f + 12, u - 23 = -5*g + 4*f. Solve 2*m + 16 = 2*t - g, m = -5*t + 21 for m.
-4
Let l = -65 + 93. Suppose -4*t + 159 + 45 = 0. Let n = t - l. Solve 4*r = -0*o - 5*o + 31, 2*r = -5*o + n for o.
3
Let n be (-4)/(-5 - -3) - -23. Solve -8*y - 3*j = -3*y + n, 3*y - 3*j - 9 = 0 for y.
-2
Let l(v) = 3*v - 4. Let y = 2 + 2. Let r be l(y). Let u = r + -5. Solve -3*k - 4*a + 1 = 4, k = u*a + 12 for k.
3
Let r = -4 + 6. Suppose -r*q - j - 40 = 0, -2*q - 2*j = 2*j + 34. Let l = -14 - q. Solve -l*a = 3*n - 3*a - 4, -a = 3*n - 1 for n.
0
Suppose f = 6*f + 5*o - 140, f - 10 = 5*o. Suppose 0 = c - 6*c - f. Let v be (-48)/(-10) - c/25. Solve 0 = j + 4*n + v, 0*j = 2*j - 3*n - 1 for j.
-1
Let b be 4/(-30) - (-3)/(360/856). Solve -b = -3*v - l, -v + 4*l + 9 = -2 for v.
3
Let w(i) = -i**3 + 6*i**2 + 7*i + 8. Let z be w(7). Let h(c) = -c**2 + 8*c + 3. Let l be h(z). Solve d - 9 = -4*f + 1, 3*f = -l*d + 12 for f.
2
Suppose -16 + 18 = v. Solve f - v*k - 4 = -k, 6 = -3*k for f.
2
Let l = -1 + 3. Suppose n + 2*p - 4 = 0, -5*p = -3*p - l. Solve 5*a - 4*f = 20, -n*a + 2*f = -7*a + 20 for a.
4
Let q be (1 - 2)*0 + 2. Suppose 4*n - 18 = 3*s, -3 = -n - q*n - 3*s. Solve 0 = -t + 5, -2*l + 3*t = n*l for l.
3
Let j be (90/50)/(6/20). Suppose -j*w = -2*w. Solve -3*u - g - 2 = 5, 3*u + 2*g + 5 = w for u.
-3
Let d = 1 - -23. Let g be (-6)/d + 13/4. Solve 2*n - 4 = -g*v - v, v - 2 = 0 for n.
-2
Suppose 0*j - 4*j + 20 = 0. Suppose -j*p - 2*f = -3*f, 5*p = 4*f. Suppose p = -a + 1 + 4. Solve -4*b + 5 = 2*t - 17, 3 = a*t - 3*b for t.
3
Suppose 4*z - 2*z + 2 = -4*f, 0 = 2*f + 4. Solve -9 = 2*l - 4*m - m, z*l + 3 = 4*m for l.
3
Suppose -7*u - 69 = -3*u + 3*b, -3*b = 9. Let d = 22 + u. Solve 0 = 3*q - a + d, 4*q + 5*a + 41 = -0*q for q.
-4
Let w = 11 - 3. Let r(b) = -b - 3. Let h be r(-5). Suppose -a - 12 = 2*a, -5*u - 3*a - h = 0. Solve -w = -u*m, -m + 23 = -5*y + m for y.
-3
Suppose 7 = -5*x + 22. Suppose -w - 16 = -x*r + 3, -2*r - 4*w - 6 = 0. Suppose 20 = r*z - z. Solve 0 = -4*a - z*o - 9, 5*a + 0*a = 5*o for a.
-1
Let w = -7 - -7. Let d be (w + -4)/(2 - 3). Solve 2*h - d = -0*h, 5*p + 3*h + 9 = 0 for p.
-3
Suppose -14 = -12*c + 5*c. Solve -3*j - c = -0*j - 2*b, 4*b = -3*j - 32 for j.
-4
Let i = 3 + -2. Let q be 1/(3/2 - i). Let w(z) = z**2 - 7*z + 20. Let h be w(7). Solve -h = -q*o + 4*y - 4, -2 = y for o.
4
Let s be 2/(-3) - 14/(-3). Suppose 0 = 2*l + l - 12. Let h(c) = c**3 - 6*c**2 + 4*c + 11. Let t be h(5). Solve -q + 10 = s*m + q, m - t = -l*q for m.
2
Suppose 2*g + 3*w = 59, -4*g = -0*w + 4*w - 108. Let y be 4/2 - g/(-11). Solve -4*s + 3 = -s + 4*u, -s - y*u - 7 = 0 for s.
5
Let s(l) = l**2 - 2*l + 3. Let f be s(3). Solve 0 = 3*o - d, 0 = 3*o - f*d + 3*d for o.
0
Suppose -4*g = 3*p - 26, 3*p + 7 + 2 = 3*g. Solve 3*t + 7 = p*a, 2*t - a = t - 4 for t.
1
Let d(f) = -f + 4. Let s be (-1)/(-3) - (-6)/(-18). Let v be d(s). Suppose 0 = -v*r - r + 15. Solve 4*l - 2*i = 2, r*l + 8*i - 4*i = 7 for l.
1
Suppose -5 = w + 5*v, 2*w + 3 = w - 3*v. Solve 2*g - 12 = -4*y, w = 2*y - 6*y + 8 for g.
2
Suppose 5*t = y + 1, -2 = -t + 2*y - 0. Solve 2*r = -r + 2*a + 4, t = -5*r - 3*a - 25 for r.
-2
Let t be (-390)/(-9)*6/4. Suppose 3*w - t + 20 = 0. Solve -4*b = 4*n - 2 + 22, 0 = 3*b + w for n.
0
Let b(y) = y + 37. Let g be b(0). Let t = g - 22. Suppose 2*k + 85 = 5*f, -4*k + 10 = f - 29. Solve 6*r - r - t = 0, 5*s + f = 3*r for s.
-2
Suppose -2*r + 12 = 2*i + 2*i, 15 = r + 5*i. Solve 3*d + r*d + 2*n = 0, 0 = d - n for d.
0
Let s be (-6)/15 + (-42)/(-5). Let x be (-22)/s*(-3 - 1). Suppose 4*c - 32 = 12. Solve l - 3*l + 3*d + x = 0, -3*l - d = c for l.
-2
Let n(l) = -l**2 + 6*l - 3. Suppose 4*s - 4 - 16 = 0. Let m be n(s). Solve -2*g = -2*i + 8, i + 4*g + m = 3*g for i.
1
Suppose 7*u = 3*u + 8. Suppose u*l - 6 + 0 = 0. Solve 3*v - l*y + 9 = 0, 6*v - v - 30 = -4*y for v.
2
Let h(k) = k - 6. Let s be h(9). Let z be -1 - -7 - (-3 + s). Let r be (z/15)/(2/10). Solve q + 12 = r*f, 0*q - q + 3*f - 16 = 0 for q.
-4
Let r(q) = -q**2 - 5*q - 2. Let p be r(-4). Let x = -18 - -26. Suppose -x = -10*c + 8*c. Solve -4*n = 4*k + 28, 0 = -c*k + p*n - 4 - 6 for k.
-4
Let v be -3*-1*(-8)/(-6). Let d be 33/15 + (-2)/10. Solve 5*j + 11 = d*f, 0*j + v*j = f - 7 for f.
3
Let p(b) = b**3 + 5*b**2 + b. Let c be p(-2). Let f be 6/(2*(-1)/(-2)). Solve c = -5*z - 2*v, 2*z - 2*v + f = 3*z for z.
-4
Let z = -24 + 28. Solve 3*g + 6 = 4*o, -z*g - g - o = -13 for g.
2
Suppose -8 = -2*k + 2. Solve k = -4*c + 5*m - 1, -c = m - 3 for c.
1
Let b = -12 + 3. Let w be (-2 - b/3) + 2. Solve 3*y + 5 = w*v + 7*y, 2*v - 9 = 3*y for v.
3
Suppose -3*i + 2*k + 0*k = -40, 28 = 3*i - 5*k. Solve -4*v + 0*v = -i, x - v + 7 = 0 for x.
-3
Let y be (-2)/(-6)*(-10 + 