 = 7 - a. Solve -f*x + 4*s = 23, 0 = 2*x + 3*s - 5*s + 12 for x.
-1
Suppose -55 = -13*s + 8*s. Let q be (-26)/(-7) - (-2)/7. Suppose -3 = 5*u + 2*v - 0*v, -q*u - 4*v = 12. Solve -i + 1 = -3*c, -2*c - s = -3*i - u for i.
4
Let t be 28/(-70) - 22/(-5). Solve 4*a + 2*j + t = 0, -3*j + 2 = 2*a - j for a.
-3
Suppose -7*y + 8*y = 0. Suppose 0 = -3*c - y*c + 6. Let o = -4 + 7. Solve -o = 2*a + 2*r + 5, c*a + 7 = -r for a.
-3
Suppose 40*v - 52*v + 60 = 0. Solve -2*r + 15 - 1 = v*b, b + 8 = 5*r for b.
2
Let d be (-10)/((-2 + 2 - 2)*1). Solve -4*f = g + 18, 2*g - 3*g - 22 = d*f for g.
-2
Let b = 583 - 580. Solve 2 = 2*x + o - 1, 0 = -4*x - b*o + 5 for x.
2
Let y be 5/(-10)*-116*1. Suppose -y*q + 6 = -56*q. Solve 3*f - q*x = 21, 2*x - 5 = f - 17 for f.
2
Let g be 3*1 + 0/3. Let w(b) = -b**3 - 20*b**2 + 71*b + 48. Let p be w(-23). Solve 7 = -0*n + p*n + l, -g*n + 7 = 5*l for n.
4
Suppose -21*g = -18*g - 15. Solve g*p = j - 17 + 3, 4*j - 14 = -p for j.
4
Let k = -10 - -15. Let r be k/20*12/3. Solve -5 = h - x, -h = 2*x - r - 9 for h.
0
Let l = -12 - -10. Let q be 44*(-3)/(-6)*l. Let m be (q/6)/((-14)/21). Solve 17 = 4*p - v, -3*p - v = -m - 0 for p.
4
Let r be 21/6 - (-1)/2. Suppose 3*p = -4*j - 13, -2*p - 2 - 1 = -3*j. Let b be (j - 2) + 1 + r. Solve 0*z - b*z - 5*g = 1, -5*z = g - 9 for z.
2
Suppose 4*f + 0*u - 20 = -u, f - 5 = -u. Solve -7*y + 2*y = -5*d - 5, 4*d + 8 = f*y for y.
4
Let i be (23 - 0) + -4 + 6. Let f = 35 - i. Let u be (-5)/(-2)*16/f. Solve -u*c + 1 = 3*n, 0 = -0*c + c - 3*n + 11 for c.
-2
Let r = -23 - -45. Solve r = -3*n - 5*c, 4*n - 4*c + 12 = -2*c for n.
-4
Let z(b) = -3*b - 3. Let a be z(6). Let x = a - -45. Suppose 5*s + m - 2*m - x = 0, -5*s - m = -16. Solve 2*u + 2*o = -2, -o + 3*o = -u - s for u.
2
Let j be (-1*4/4)/(1/(-5)). Suppose -f - 28 = -j*f + 3*z, 2*f - 4*z = 24. Let q = 33 - 1. Solve -4*d = t - f*t - q, 5*t - d + 25 = 0 for t.
-4
Suppose 17*x = 12*x + 145. Solve -x = 3*p + 5*d - 12, -d - 21 = 5*p for p.
-4
Let f = 58 - 37. Let x be 3/9 - (-161)/f. Solve x = -4*y - 4*b, -2 = 5*y - 2*b + 5*b for y.
2
Let a be (-72)/14*42/(-12). Let n = a + -16. Solve -n*p + m - 2 = -4*m, -5 = 5*p - m for p.
-1
Suppose 2*w = -4*q, -2*w + q - 5 = -15. Suppose 16*x - 36 = w*x. Solve 0 = -3*a + x*t - 3, -31 = a + 2*a + 4*t for a.
-5
Suppose -4*g - 5*c + 34 = 0, 3*c = 2*g + 2*g - 18. Suppose -4*y - g = -y. Let x be (-504)/(-132) - y/11. Solve -22 = -2*v - x*j, -28 = -5*v - j - 0 for v.
5
Let s be 50/(-4)*(-7)/((-245)/(-56)). Suppose -4*v + 20 = -4*n - 0*n, s = -3*n + 4*v. Solve -2*a - 4*q = 6, -3*q = -n*a - 2*a + 15 for a.
3
Suppose 177 = 10*f + 37. Suppose -f*x = -8*x. Solve -2*t = 2*q - 8, q - t - 4*t + 26 = x for q.
-1
Suppose -3*q + 11 = -13. Let v = 18 - 16. Suppose 4 = 2*s, v*o + 5*s = o + 18. Solve -3*m + 5*f - 9 - q = 0, o = 4*m + f for m.
1
Let c = 613 - 611. Solve 3*l + 3*z = 24, c*l + 5*z - 7 - 24 = 0 for l.
3
Let l(j) = j**3 + 22*j**2 + 21*j + 8. Let t be l(-21). Let v be 12/t*(-28)/(-21). Solve -v*y + 0*y = o, -4*o - 4*y = 0 for o.
0
Suppose 0 = -3*c + 17 - 5. Let f be ((-4)/(-24) + (-1)/(-3))*0. Solve -33 = 2*o + 5*b, 5*o + f*b + 40 = -c*b for o.
-4
Suppose 3*t = -3*g - g - 15, 4*t = -20. Let y be (g + (-18)/15)/((-2)/5). Solve 2*q - q = y*v + 15, 0 = -4*v - q - 20 for v.
-5
Let d(n) = -n**3 - 20*n**2 + 22*n + 25. Let o = -9 - 12. Let z be d(o). Solve -3*m + m = 4*l, -z*l - 5*m + 12 = 0 for l.
-2
Let k = 111 - 108. Solve 0 = -k*p - 3*j + 5 + 1, -3*j = -4*p - 20 for p.
-2
Let i(j) = -6*j + 1 - 7*j - 2 + 6*j. Let f be i(-2). Suppose -5*s - 5*h = 0, -2*h - f = -4*s + 17. Solve s = -4*n + 1, -k - 4*n - 9 = 0 for k.
-5
Let a(m) = m**2 + 16*m + 31. Let y be a(-15). Solve 4*j + y = 0, 3 = -2*c - 4*j - 11 for c.
1
Let g(v) = -v**3 - 3*v**2 - 1. Let d be g(-3). Let m be (-3)/(2 - d) - 1. Let y be m*((0 - 0) + -2). Solve 4*o - y*n - 18 = o, 4*n = -5*o - 2 for o.
2
Let h = -2 + 3. Suppose h = v - 1. Suppose 3*g - 100 = -v*g. Solve g = 5*t, -4*t + 8 = y - 8 for y.
0
Suppose -d + 5*q = 8, -2*d - 2*d = 2*q - 12. Suppose -b - 11 + 21 = 0. Let w be 1/3 - (60/18 + -9). Solve -2*j - w - d = -h, -b = -j - 3*h for j.
-2
Let w(s) be the first derivative of -s**3/3 - 5*s**2/2 + 3*s - 120. Let q be (0 - -1)*(1 - 6). Let t be w(q). Solve 0 = t*j - 0*j + l, 5*j = -4*l for j.
0
Let r be (18/7)/(-4*2/(-56)). Solve 0 = -4*n + 4*m - 24, -4*m + r = -5*n + 3*n for n.
-3
Suppose o + 5*t = 30, 2*o + 3*t - 50 = 10. Solve 3*r - 25 = 5*y - 3*y, 5*r - o = y for r.
5
Let j(a) = -a**3 - a - 2. Let n(i) = -i**2 - 7*i - 1. Let o be n(-7). Let r be j(o). Solve r = f + 3*f + 5*k, -3*f + k + 19 = 0 for f.
5
Let l be 7 - 4/(4/2). Suppose g = 3*t - 19, 4*g - 52 = -7*t + 3*t. Let o(q) = -q**2 + 21*q - 49. Let c be o(18). Solve -c*a = -l*z - 0*z + 30, -4*z = -t for a.
-4
Suppose 0 = 4*a - 2*a - 64. Suppose 0 = -3*c + 2*v - 37, 3*v + a = -3*c + 4*v. Let l be (7 - -2)/(c - -10). Solve 3*x = 3*q - 18, -3 = -4*x - 5*q + l for x.
-2
Suppose -133*y + 102*y = -62. Solve 2*q - y*k = 10, -k + 16 = 4*q - 4*k for q.
1
Let y be (2*1)/(3/(-24)). Let q = y - -22. Solve -4*s = -m + 9, 2*s - 4*m + 2 = -q for s.
-2
Suppose 0 = 39*n - 44*n + 20. Suppose 0 = n*y + 4*w + 4, 0 = 4*y - y - w - 9. Solve 5*q + 5 = h + 2*h, y*h = 5*q for q.
2
Suppose 9 = -2*t - 3*h + 4*h, -5*t + 5 = 3*h. Let z be (-1 - 8/(-12))/(t/30). Solve 11 = 2*b + z*n, 2*b - 5*b + 4*n + 5 = 0 for b.
3
Suppose -3*u + 7 = -g, 3*g + 23 = -3*u + 14. Solve -4*t - 4 = 5*n, 0 = 2*n + 3*t + 2 + u for n.
0
Let k(f) = -f - 6. Let p be k(-5). Let x be (p - -2)*(1 - -29). Let b be (-36)/x*30/(-4). Solve -5 = 3*d + 4, -b = -3*n - d for n.
4
Let s = -119 + 123. Suppose 43*x = 44*x - s. Solve 0 = 4*o - z + 25, 10 = -5*o + z - x*z for o.
-5
Let z(g) = 3*g + 1. Suppose 71 = -4*o + 5*w, 0*o - 4*o - 47 = 3*w. Let j be (-16)/o - 1/7. Let m be z(j). Solve -5*f + 7 = m*k, -k - 1 = 3*f + 4*k for f.
3
Let u(f) = f + 2. Let b be u(4). Let g be b/(-10) + 39/65. Solve 5*d + 15 = 3*o - g, -3*d - 9 = -4*o for d.
-3
Suppose u = q - 5, q = -2*u - 5 - 5. Suppose -m - 1 = q, 2*x - 45 = -5*m + 6. Solve 8*r - 3*r - g = -x, 5*r = -5*g - 10 for r.
-5
Let p be (-25)/(-5) - (-11)/((-11)/2). Solve -2*d + 5*t - 7 = -2, p*d - 24 = -3*t for d.
5
Let i be ((-54)/36)/(8/(-16)). Solve i*u + 2*v + 20 = 0, -6*v = u - 2*v + 20 for u.
-4
Let o = -41 + 31. Let r be -12*96/(-45) - 4/o. Solve -2*v + 10 = -0*v, 3*n + 4*v = r for n.
2
Let o be ((-69)/6)/(2/(-4)). Let t = o + -13. Solve -5*v = -m + t + 3, -v - 2*m + 4 = 0 for v.
-2
Suppose 2*g + 5 = 3*g. Suppose 4*h = 4*a, -g*h - a + 16 = -14. Suppose p + 1 = 3*b, -5*p - h*b = -15 - 0. Solve 0 = -s - m, 0 = 4*s - p*s + m + 4 for s.
-4
Let w = -176 - -180. Solve 2*l + 6*m - w*m = 2, 0 = 2*l - 4*m - 14 for l.
3
Let u be (-8 + 36)/4 + 5. Solve -4*g + 3*o + u = 30, g + 5*o - 7 = 0 for g.
-3
Let s(y) = -y - 7. Let p be s(5). Let d be (6/p)/((-2)/8). Let j(h) = h**2 + 11*h + 22. Let m be j(-9). Solve 2 = g - d*w, -2*w + m = -5*g + w for g.
-2
Let q be ((-18)/(-8))/(15/140). Let n be (-6)/q - (-1256)/(-14). Let l be (-435)/n + 1/6. Solve -4*h = -5*h - x - l, -2*h + 4*x + 14 = 0 for h.
-1
Let i = 804 + -803. Solve 8 = -3*z + 5*d, 0 = -3*z - 2*d + i - 2 for z.
-1
Let w(f) = -4*f**2 - 5*f - 4. Let p be w(-3). Let l = p + 37. Let k be 3/(-9) + 28/l. Solve g - 13 = 2*r - k*g, -4*r = -5*g + 21 for r.
1
Let c = -203 - -204. Solve -3*y = -5*a + 19 + c, -5*a = -20 for y.
0
Let n = -313 - -317. Solve -4*u - 1 = -n*p - 21, p - 5*u = -21 for p.
-1
Suppose -313*y - 108 = -319*y. Solve 0*f - 21 = 4*u - 5*f, -y = 4*u - 2*f for u.
-4
Let r(f) = f**3 - 3*f**2 - 9*f. Let x be r(5). Let a(t) = -t**2 + t + 5. Let l be a(x). Let n = l + 17. Solve 0 = q + j + 4, 3*j + 0*j = -n*q - 7 for q.
-5
Let i = -54 - -27. Let b = i + 33. Solve -3*h - 7 - 19 = 5*m, -m + 5*h + b = 0 for m.
-4
Suppose 0 = 2*u - 4*g + 3*g - 11, u - 8 = g. Let v be (-2)/(4/2) + 9. Solve 0 = -3*m - i - 12, -m + u*m - i = -v for m.
-4
Let c(j) = -2*j**3 - 21*j**2 - 14*j - 25. Let o(h) = h**2 - 19*h - 10. Let v be o(19). Let p be c(v). Solve 6*w = 2*w + 5*q - p, 2*q = 6 for w.
0
Let f = -3 - -3. Suppose 4*x - 2*o - 8 = f, -4*o - o - 4 = -2*x. Suppose h = 6 - x. Solve p = -2 - 1, h*p = -m - 7 for m.
5
Let s = -2 + 5. Let v be ((-6)/12)/((-1)/10) + 0. Suppose 4*m = -v*x + 10, m + 8 = 4*x + s*m. S