4*a - c*o = -5*o - 2 for a.
1
Let l be (-1)/(-1) + 2 + 1. Let x be 249/4 - (-2)/(-8). Let v = x + -40. Solve 5*i - 2*q + 0 = -7, v = -2*i - l*q for i.
-3
Let a = -11 + 12. Suppose j - a = 3. Solve -30 = j*q - 5*f, 9 = -2*q - q - 3*f for q.
-5
Let c = -14 + 16. Solve -4*m + 40 = -5*u, -2*u = c*u - 2*m + 26 for u.
-4
Let p(v) = 2*v - 3. Let h be p(4). Suppose -2*w - 12 = -6*w. Solve -10 = -h*x - w*j, -x - j - 26 = -6*j for x.
-1
Suppose 10 = 2*w - 20. Let r be w*(-2 + 33/9). Solve 3*q + 2*q = -3*c + r, -5*q + 25 = -5*c for q.
5
Let q be (-2)/(6/(-7))*3. Suppose q*t - 24 = 3*t. Let a = t + -2. Solve 2*k = 2*y, 2*k + 5*y = a - 18 for k.
-2
Let m(f) = -f**3 + 13*f**2 + 3*f + 6. Let g be m(13). Suppose 5*b = 5*o + g, -b + 3*b = 5*o + 33. Solve u = 6*u - 5, 2*a = -b*u - 4 for a.
-4
Let y = 7 + -11. Let x be y/8 + (-3)/(-2). Let d = 6 - x. Solve -d*b + 2*s - 3*s = 24, -4*b = 2*s + 24 for b.
-4
Suppose u - 63 = 4*i, -u + 21 = 3*i - 28. Suppose 23 - u = -2*p. Solve 5*w + 2*z - 6*z + 19 = 0, 4*w - 4*z = -p for w.
-3
Let t = -9 + 15. Let a be t*((-4)/6 - -1). Solve -5*m - 2*s = -13, -6*m - 4*s = -4*m - a for m.
3
Let x = 20 - 17. Solve 0 = 5*c + x*s - 1 + 6, -3*c + 5*s - 37 = 0 for c.
-4
Let w = 35 + -21. Let n = w + -11. Solve m = -3*a - 16, n*m - m - 4*a = 18 for m.
-1
Let v(b) = 5*b**2 + b + 1. Let c be v(-1). Suppose -q = 4*q + 15, c*y + 5*q - 45 = 0. Solve 0 = -2*n + 2*i - 14, -7 = n - 5*i + y for n.
-4
Suppose -4*y - 3*j = y - 34, -5*y = -5*j - 50. Solve -4*h + y*h = 4*z - 12, 5*z - 5 = 3*h for z.
-2
Let r(o) = o**3 - o**2 - 2*o + 4. Let d be r(0). Let a be ((-1)/(-2))/(3/48). Solve d*s - a = 2*h, -s = h - 0*s - 8 for h.
4
Suppose 9*g + 0 = 18. Solve -g*b = w - 3, b + 4*w + 0 = 12 for b.
0
Let p(b) = b**3 + 5*b**2 + 2*b + 4. Let u be p(-5). Let m be -6*(0 + 3/u). Solve 4*f + 5*g = -1, -m*g - 14 = 2*f - 5*g for f.
-4
Let h = 8 + -2. Suppose -1 = -j + 1. Solve h*t - 4 = 2*a + j*t, 4*t = 4 for a.
0
Let z(t) = 2*t + 23. Let j be z(-10). Let k(f) = 7*f - 1. Let c be k(1). Solve 2*g = -c, j*g - 6 = -w - 4*w for w.
3
Let t(u) = -u**2 + 8*u - 7. Let j = 7 + -3. Suppose -3*z + 17 = 3*l + z, -23 = -j*l - 5*z. Let b be t(l). Solve 5 = 2*x - v - 6, -5*x - 3*v = b for x.
3
Suppose x + f = 2, -2*x - 2 = -5*f - 6. Solve -2 = 2*c - 3*s, -c = -x*s + s for c.
2
Suppose 0 = 2*b + 76 - 80. Solve 5*j + 25 = -5*x, -4*x - 3*j - b*j = 20 for x.
-5
Suppose -3*a = -6*a + 12. Let c be (-1)/a - (-15)/(-4). Let z be (-1 - 1)*1 - c. Solve z*o - 3 - 3 = -3*p, 5*o + 3*p = -3 for o.
-3
Let c = 1 - 1. Suppose 0 = -c*d + d - 4. Suppose -4*r + 12 + d = 0. Solve -27 = 5*w + r*y, -3*w + 0*y = -2*y + 3 for w.
-3
Suppose -2*u - 12 = -6*u. Suppose -o + 12 = u*o. Suppose 0*i = o*i. Solve 2*k + 1 = -5*c - 1, c + 3*k - 10 = i for c.
-2
Suppose -4*u + 20 - 8 = 0. Solve 0 = 3*w + d - 11, -2*w - u*d + 8 = 2*w for w.
5
Let z(o) = -o + 6. Let k be z(6). Suppose -4*n - 1 + 17 = k. Solve 24 = -2*y + 4*y - n*v, -3*y + 1 = v for y.
2
Suppose -8 = -4*l + 12. Solve -x + 2*x - l*j + 26 = 0, 3*x + 2*j - 7 = 0 for x.
-1
Suppose -a + 4*a + 13 = 5*o, -7 = -2*o + 3*a. Solve 6*k - 12 = o*k + 2*t, 3*k + 9 = -3*t for k.
1
Suppose -4*u - 20 = -8*u. Solve 5*n = -u*j + 5, -2*n + 0*n + 5*j = -9 for n.
2
Let w(d) = -4*d - 2. Let f be w(-1). Solve -f = o - x, 2*o + 2*o = x + 7 for o.
3
Let h(c) = -c**2 - 8*c - 9. Let a be h(-4). Solve -5 = -o - 3*v, 0 = -v + a - 4 for o.
-4
Suppose -o + 1 = -n, n - 5*n - 4 = 3*o. Let l be 0 - o/(-1 + 2). Solve -2*r - 2*r + h - 4 = l, 4*r - 4 = 3*h for r.
-2
Let c(a) = 0*a**3 - 5 + 2*a - 3*a**2 + 0*a**2 - a**3. Let i be c(-4). Solve 3*m - i*p - 24 + 6 = 0, 0 = -3*m + 4*p + 21 for m.
3
Let n be (12/16)/(6/16). Suppose -20 = 2*p + k + 3*k, -n*k - 10 = -2*p. Solve 0 = -3*h + 4*z - 4, p = h - 4*z - 2 + 6 for h.
0
Let r be -1*(4 - 3 - -3). Let v = r + 5. Solve -3*z - 14 = 3*u + v, -4*u + 4*z - 20 = 0 for u.
-5
Let h be 16/10 + (-14)/(-35). Suppose 5*g = -4*p - 28 + 1, -p - 9 = h*g. Let d be 21/2 - g/(-2). Solve d = 5*x + q + q, 3*q = -5*x + 11 for x.
1
Let l be ((-154)/(-33))/(4/(-6)). Let n = -7 - l. Solve 0 = u + 4*t + 1, n = -3*u - 2*u + 3*t - 5 for u.
-1
Let r = -3 - -2. Let a = -7 - -1. Let y = r - a. Solve y*w - 5*q = -5, -4*w - q = 2 + 2 for w.
-1
Let h(n) = -10*n - 27. Let p be h(-3). Solve -2*k + g - 1 = -p*k, 2*k - 2*g = 2 for k.
1
Let c be (-1 - 12/(-4)) + -1. Let m be 1*c*(-5)/(-1). Solve 0*a - m*a - 25 = d, 0 = -a + d - 5 for a.
-5
Let v = -53 - -56. Let u be (-72)/10*(-10)/2. Solve -m - 24 = 2*m - v*q, u = -4*m + 5*q for m.
-4
Suppose 230 = 5*g + i, -5*i = g - 22 - 48. Suppose 0 = -a - 4*a + 3*z + 41, 0 = 3*a + 5*z - g. Solve 2*h - 4*k - a = 0, -2*h + 4*k + 9 = -h for h.
1
Suppose -i = -2*i + 1. Suppose -25 = -4*d - i. Let q be (-2 - -4)*(d - 3). Solve -4*c - m + 22 = q, -2*c + 22 = -3*m for c.
5
Suppose -d - 2*d = -12. Let n(s) = s**2 - 1. Let h be n(-2). Suppose h*q - 15 = 3*v, -3*q + 0 = 5*v + 1. Solve -5*z = -5*r, 5*r = q*r + 4*z - d for r.
2
Let r(j) = -j**3 - 9*j**2 - 7*j + 13. Let d be r(-8). Let u = 3 - 0. Let q = -1 + u. Solve 0*h - 4*h = -q*f - 20, d = h + 4*f for h.
5
Let o(k) = -k - 3. Let y be o(-3). Suppose 2*g - 5*g + 6 = y. Let w be (-8)/3 - (-2)/3 - -16. Solve 2*p - g*h = -w, -2*p + 0*p = -h + 11 for p.
-4
Suppose 0*r + 8 = 4*r. Suppose 2*g - r = -0. Let n = g + 0. Solve -3*v = 4*m - 8, m = v - n + 3 for m.
2
Suppose 3 = -s + 2*m, 5*s = 3*m + 13 - 0. Solve 0 = -4*k + s*i - 41, 30 + 15 = -5*k + 5*i for k.
-4
Let b = 99 + -95. Solve -b*z = q - 6 - 11, -q = -4*z + 23 for z.
5
Let l(r) = -r**2 - 8*r + 11. Let a be l(-9). Solve -4*p - a*n = 8, -2*p + p - 5 = -n for p.
-3
Let n be (-8)/(-12) + (-4)/6. Suppose n = -5*p + 21 - 6. Suppose -p*c + 14 = k, -8 = -2*c - 0*k - 2*k. Solve -c*u = 5*l, -u + 4*l + 1 = -9 for u.
2
Suppose 4*q = -0*q. Suppose q = 2*k + k. Suppose k = 2*a + 4, 2*l + 0*a - 2*a - 16 = 0. Solve 4*o + 5*z - 6 = 0, -2*o - l*z + 2*z = 0 for o.
4
Suppose -4*o + 10*o = 12. Solve -4*s - 2*c = 6, 4*s = c - o*c - 1 for s.
1
Suppose -2*g + 19 = 3*k, -4*k + 3 = 7. Solve 5*b - 4*h + 0*h = -g, -5 = b + 2*h for b.
-3
Let y = -4 + 11. Suppose y - 8 = -s. Solve -3*n = -2*a - 17, 0*n + n = -4*a + s for n.
5
Suppose -3*m + 19 = 5*s, -m - 2*s + 6*s - 5 = 0. Suppose 4*i - r - 1 - 2 = 0, 4*i - 5 = -r. Let j = i - -9. Solve -m*c + j = -4*p + 2, 4*c = 5*p + 11 for p.
1
Suppose c - 15*c + 238 = 0. Solve 5*x + c = q - 0*q, 5*x = -4*q - 7 for q.
2
Suppose 0 = -0*f + 4*f - 16. Let w be 2/3 - 13/(-3). Suppose -3*n - 2*n = 5*j + w, 2*n = 4*j + 16. Solve 10 = 3*v - n*k, -k - 18 = -4*v + f*k for v.
2
Suppose -v = 3*v - 8. Solve 5*g = 4*p + 1, -4*p - p = -v*g + 14 for p.
-4
Let x = -32 - -44. Solve -3*v - 5*m + 0*m + x = 0, 0 = 4*m for v.
4
Suppose -108 + 36 = -4*i. Solve -z - u = 9, 1 = 3*z + u + i for z.
-4
Let y(r) = r**3 - 2*r - 3*r**2 - 2 + 3*r + r**2 + r. Let k be y(2). Solve -2*u + 5*v - 26 = 0, -k*u - 4*v = -v - 6 for u.
-3
Suppose 7 = p + 3. Solve 4*y = -2*b - 0 - 2, b + 3*y + p = 0 for b.
5
Let u = 34 + -29. Solve 0 = y - q + 3*q + 1, 4*y + 10 = -u*q for y.
-5
Suppose -4*b = -0*b + 20. Let u = -5 - b. Suppose 4*f + 3*v = 17, -5*f + u*f + 5*v - 5 = 0. Solve -5*j - 2 = 3*p - 5, 0 = f*p - 2*j + 14 for p.
-4
Let l = -24 - -26. Solve 2*t + 4 = -2*u, 5*u = -l*t + 5*t + 14 for u.
1
Let h(v) = -v - 4. Suppose -g - 4 = 2. Let l be h(g). Solve -5*o + 2*c = 6*c + 22, -4*c - 16 = l*o for o.
-2
Let l be (1/(-3))/(2/(-30)). Solve l*v - 5*t + 0*t = 25, 2*v = -3*t + 10 for v.
5
Suppose -z - 4 = -3*w, -3*w + 6 = 5*z - 10. Solve 13 = -3*i - z, -i + 4 = -3*l for l.
-3
Let d = 75 - 55. Solve -s - 3*g = 20 - 0, 0 = 2*s + 2*g + d for s.
-5
Let i(k) = k**2 + 7*k - 9. Let b be i(-7). Let v = b + 11. Solve 0 = 3*l + l + 5*w, -6 = v*l + w for l.
-5
Let q = -2 - -1. Let y be q/((-3)/9 - 0). Solve -4*s + 20 = 0, 40 = 3*i + 8*s - y*s for i.
5
Let n be ((-25)/10 + 4)*2. Solve -n*x - 3*r - 2*r + 14 = 0, -5*x = 3*r - 2 for x.
-2
Let o = 0 + 2. Suppose -a = -4*a + 12. Suppose -a*z = i - 22 + 6, 0 = 4*i + o*z - 8. Solve f - 1 = 2*y + 5, i = f + 3*y + 4 for f.
2
Let s(n) = n - 2. Let d be s(3). Suppose -v - 6 = -7. Solve 5 = 4*a + d, -3*i = a - v for i.
0
Suppose -3*m - 2*l + 4 = 3, -2*m - 5*l = 14. Suppose -9 = 4*j + m. Let h be (28/(-6) - 3)*j. Solve 0*n - 4*n + 5*c = h, -n + 3*c = 11 for n.
-2
Supp