48 = -8*a + 56. Solve -3*x + a = -5*u, -u + x = 2*u + 7 for u.
-2
Let i(a) = -a + 9. Let s be i(9). Solve s = 3*y + 2*l + 19, -5*l - 16 = -3*y - 0*y for y.
-3
Let b be -9 + 8 + 3 + 1. Solve 5*d = 4*j - 28, 5*j + 1 + 1 = -b*d for j.
2
Suppose 3*w = 4*y - 10, 0*y = 2*w + 2*y - 12. Suppose d - 6 = -w*d. Solve z - 4 = h - d*h, -2 = -2*h for z.
3
Let t = -39 + 42. Suppose 0 = 4*g - 5*u + 15, 6 = -g - 4*u + 6*u. Let p be g/(-2 - 0/2). Solve -t*y + 2*y = 2*h, 4*y - 8 = p for h.
-1
Let k be (-2 + 1)/(1/(-2)). Suppose -2*t - 8 = 4*c, -k*t + 2*c - 1 = -5. Let d be (16 - 1)*(-4)/(-12). Solve t = -0*r - d*r - 4*u + 21, r = u - 3 for r.
1
Let m = -1 + 3. Suppose -5*s = 5*y - 25, -5*s = m*y - 8 - 11. Suppose y*a - 6 + 2 = 0. Solve 4*j + a*i + 8 = 0, 28 = -5*j + j + 3*i for j.
-4
Let b(h) = -3*h**3 - 2*h**2 + 3*h + 2. Let v be b(-2). Let l be -6*(-2 + (-32)/v). Solve 2*a - l = 4*r, -3*r + 8*r = 4*a - 41 for r.
-5
Let b be 1 + (12/8)/(-1)*-6. Let i(u) = -3*u - 1. Let m be i(-2). Solve b = -5*z, -m*k - 22 = -k + 3*z for k.
-4
Suppose -5*h - 4*j + 20 = -0*h, -4*j = 3*h - 20. Solve h = -5*d - 10, -5*z + 3*d = 1 - 7 for z.
0
Let i(d) = d**2 - 10*d - 11. Let f be i(11). Let v be (0 - 1) + 2/1. Let a be v*1/(-2)*f. Solve -3*m + t + 8 = a, -3 = 2*t - 5 for m.
3
Suppose -5*x - 3*k = -2*k - 25, 4*k = -x + 24. Solve -8 = 2*z - x*p, z + 2*p = -2*z + 20 for z.
4
Let b be ((-5)/(-3))/((-2)/(-6)). Suppose 4*z = b*z. Suppose 2*o = o + 5*n + 15, 4*n + 12 = 0. Solve z*i - i + 3 = o, 3*i = 4*m + 13 for m.
-1
Suppose 15 = 3*i - 0*k - k, -5*k = 0. Suppose -2*w - 5 = -5*b + 5, 0 = -b - 3*w + 19. Suppose 2*y - 5 = -1. Solve -3*a - x + b = 0, 6*x - y*x = i*a + 16 for a.
0
Suppose -4*z - 4*s = -z, -4*s = 4*z - 4. Suppose 0 = z*l - 7*l + 39. Solve -2*x = 3*g + l, 5*g = -4*x + 6*x - 11 for g.
-3
Let x = -8 - -32. Let u be 45/(-12)*x/(-9). Suppose w = 5*f + 4, -5*w = 5*f - u*f - 20. Solve 3*t + w*q = -29, 0*q - q + 4 = -3*t for t.
-3
Suppose -2*o = -3*h - 3, 2*o + 5*h = 11 - 0. Solve o*z = 3*m - 9, m - 13 + 6 = -z for z.
2
Let z = 53 - 48. Solve -17 = z*x + 3*y + 2, -3*x - y = 9 for x.
-2
Let g = 15 + 2. Suppose 0 = k + 3*b - g, 0*k - 27 = -k - 5*b. Solve d + 0*o + k = -2*o, 3*o = 0 for d.
-2
Suppose -3*a - 3*h = -15, 2*h - h = 2*a + 5. Solve 5*i + 5*p + 40 = 0, p + 0 + 3 = a for i.
-5
Let k(f) = f + 4. Let u be k(-2). Solve -5*s - d + 11 = 0, -u*s + 0*d = 3*d + 6 for s.
3
Let q be (-2)/(-1) - 1*3. Let o be (q + 1)/(1 - 2). Suppose o*n - 6 = -2*n - 4*t, 0 = -n - 3*t + 2. Solve 0 = -2*z + 10, 9 + 8 = 4*u + n*z for u.
-2
Let x(u) = u**2 + 7*u + 1. Let v be x(-7). Solve 3*l + v = -5, -14 = -z + 5*l for z.
4
Let u = 6 + -3. Let c be 6/(-14) - (-575)/35. Suppose 7*m - u*m = c. Solve v + 2*i - 5 = 7, m*v - 3*i = 4 for v.
4
Let j(g) = -g**3 + 7*g**2 - 6*g + 3. Suppose -k - k + 12 = 0. Let i be j(k). Solve b = -1 + i, 4*p + 4*b - 12 = 0 for p.
1
Suppose 21 + 24 = 3*l - d, -l + 5*d = -15. Let i = -12 + l. Solve 3*k + 32 = 4*h, 3*h + 2*h = i*k + 37 for k.
-4
Let t(v) = v**3 + 4*v**2 - 5*v - 4. Let g be t(-4). Suppose 2*a - g = -3*l - l, l = 2*a + 4. Solve a*x + 8 = -4*i - 5*x, 2*x = 0 for i.
-2
Let m = 34 - 28. Suppose -2*y = -5*y + 24. Suppose -2*w = -m*w + y. Solve 5*k + 5*l = k - 17, 0 = -4*k - w*l - 14 for k.
-3
Let v(b) = b**3 - 6*b**2 + b + 3. Let i be v(6). Let k = i + -5. Solve 0 = k*c - z + 20, 3*c + z + 15 = -z for c.
-5
Suppose 4*k - k = 6. Suppose -2*z = -3*c + 18, -3*z + 0 - 7 = -k*c. Let n be 1/(-4) - (-34)/c. Solve 13 = -3*a - w, -n*w = 3*a + 4 + 12 for a.
-4
Suppose 0 + 9 = 2*l - 3*n, -11 = -4*l - n. Solve 0 = l*g - 3*b + 9, 2*g - b - 13 = 5*g for g.
-4
Let t = -3 - -5. Solve -5*l + 3*r + 28 = 0, 4*l = t*r + 13 + 9 for l.
5
Let a be 0 + ((-16)/(-12))/((-4)/(-12)). Solve a*k + 4*o + 20 = 0, 2*k + 17 = -5*o - 2 for k.
-2
Let z be (0 + 2 - 1)*(0 + 2). Solve 8 = -2*a - z*h, 2 = -2*a - 3*h - 6 for a.
-4
Let l = 34 + -34. Solve 4*o + 16 = l, -4*v = o - 7 - 1 for v.
3
Let c = 161 + -159. Solve -c = m - x, -m + 8*x - 3*x = 18 for m.
2
Let p(n) = -n**3 - 11*n**2 + 2*n + 23. Let f be p(-11). Solve z = -3*o - 13 - 0, 0 = -3*z + o + f for z.
-1
Let m(p) = -p**2 - 12*p - 31. Let t be m(-7). Solve -3 = -4*c - t*v + 1, 0 = -2*c - 3*v for c.
3
Suppose -13*y + 103 = -209. Let t be 2/(-4) + (-11)/(-2). Solve 2*s = t*a + 15, -s - 4*s - a + y = 0 for s.
5
Suppose w = 3*w + t - 57, -117 = -4*w - 3*t. Let v be 4/(-18) + 87/w. Solve -j = 5*c + v*j - 2, 3*c = -2*j for c.
-2
Suppose 55 = -5*f + 20. Let y be (-2)/f + 2/(-7). Suppose 0*x = x. Solve 2*b = x, 2*o + y*o - 6 = 2*b for o.
3
Suppose 2*n = 2*s + 7*n - 13, 0 = 5*s + 3*n - 23. Solve -s*d = -u, -2*u - u - 15 = 3*d for u.
-4
Let q = -4 - -1. Let b be 1/(-3*q/306). Let s be b/8 + (-3)/(-4). Solve 4*x + x = 4*a, s*x + 3*a = 0 for x.
0
Let f be (0 - 1)/((-3)/36). Solve q - f = -3*t, -2*t = -5*q - 5*t for q.
-3
Let r = 13 - 10. Solve 2*t = -o - 1, r*o + 0*t + 3 = -t for o.
-1
Suppose -3*u = 2*d + 2, 4*d + 2*u + 3*u = 0. Suppose 0 = 2*l - 12 + 2. Suppose -3*v = -4 - l. Solve v*c = -p - 15, -c - d = -7*p + 3*p for c.
-5
Let b(q) be the second derivative of -1/20*q**5 + 1/3*q**3 - q**2 + 2*q + 1/6*q**4 + 0. Let n be b(-2). Solve -4*a - 2 = n, 5*a = 2*l - 19 for l.
2
Let i be ((0 + -1)*0)/(-2). Suppose -s - 4*s + 10 = i. Let j be s + -2 + (-1 - -4). Solve -z + 5*f = 30, -j*z = -2*z + 4*f - 15 for z.
-5
Let z = -9 + 14. Solve -2*s + z*n - 14 = 0, 1 = s + 4*n - 18 for s.
3
Let c = 19 + -15. Solve 0 = 3*r + 6, -3*i = 2*i - c*r + 12 for i.
-4
Let n be 121/33 - -1 - (-2)/(-3). Solve 2*h - 10 = 0, -x - n*h + 5 + 18 = 0 for x.
3
Suppose 0 = q + 4 - 17. Let y = q + -5. Let p(v) = v**2 + v + 2. Let c be p(0). Solve x + 4 = 3*x, 2*s - y = -c*x for s.
2
Let v = 119 - 115. Solve -2*j = -v*c - 14, -1 = -j + 4 for c.
-1
Let z = -78 + 81. Solve 5*m + 28 = z*u, 2*m - m + 5 = 0 for u.
1
Suppose 5*b + k - 72 = 0, 4*b - 5*k = 75 - 0. Suppose -b = -l + 2*l + 5*u, l + 2*u = -3. Solve c - 1 = -s, 0*s - 4*s + 40 = -l*c for s.
5
Let p(b) = 18*b - 14. Let m be p(1). Let i = -5 + 15. Solve h - 10 = -3*y, y - 5*h - i = -m*h for y.
5
Suppose 5*u = 2*g + 11, 5*g - 22 = -u - 3*u. Suppose g*x + 19 = 3*y - 2*x, 5*y - 2*x - 27 = 0. Solve -y*w + b + 15 = 0, 0*w + w + 3 = -b for w.
2
Let m = 42 - 42. Solve 2*j - 2 = -3*u + u, m = 4*u - 2*j + 8 for u.
-1
Let j = 65 - 61. Let x = 0 + 2. Let q be ((-9)/(-3))/((-6)/(-8)). Solve -q*g + x = -j*i - 2, -4*i = 0 for g.
1
Let p be 1*7*54/21. Solve 0 = n - 3*w + p - 1, -2*n = 5*w - 21 for n.
-2
Suppose -6*r = -3*r - 6. Suppose r*w = -2*v + 6, -3*w + 5*v = w - 39. Solve 4*f - 5*p = w, -4*p = -f - 2*p + 3 for f.
-1
Suppose 5*v + 25 = 2*x, 2*x + 5 = -v - 0. Solve 4*c - 2*h - 3 = 7, -4*c + 5*h + 19 = x for c.
1
Suppose 2*w - 33 = -5*k, -4*k - 3*w + 4*w + 16 = 0. Solve -3*h + 19 = -0*h + j, k*j - 10 = 2*h for h.
5
Let w(c) = -c**3 + 6*c**2 - 7*c + 4. Let f be w(4). Solve -s - f = -2*s + 4*t, -s - 2*t = 10 for s.
-4
Suppose -3*h = -4*s - 6*h + 12, 0 = 2*h. Suppose s*n - 14 = -2. Solve n*c + 2 = -2*g - 4, 5*c + 13 = 3*g for g.
1
Let h = 10 - 5. Let r = -47 - -50. Solve a = 4*y - 8, -r*a = -y - 2*a + h for y.
1
Let u = 18 + -13. Solve 0 = 5*g - 4*v - 10, u*v + 4 = 2*g - 0 for g.
2
Suppose -2*u = -5*u + 9. Solve -2 = -3*z - 2*f + 2, f - 2 = -u*z for z.
0
Let c(m) = -m**3 + 6*m**2 - 4*m + 1. Let v be c(4). Suppose 5*o + 1 = 6, 0 = -3*p - 2*o + v. Solve -p*i = 3*x - 8, -x = -0 + 4 for i.
4
Let d = -4 + 5. Suppose -3*g + 12*g - 18 = 0. Solve j + f + 5 = -g, 0 = j - f + d for j.
-4
Let f = 32 - 4. Solve -3 = -t - 3*p + 1, -5*t = -p + f for t.
-5
Let d(q) = 2*q**2 + q - 7. Let r be d(-3). Solve -s = -2*n + 6, -3*n + r*n - 15 = 0 for s.
0
Let l(v) = -2*v**3 - 10*v**2 - v - 3. Let g be l(-5). Solve -10 = g*u, s + u + 3 = -3 for s.
-1
Suppose -s = -1 - 1. Let u be ((-20)/6)/(s/(-3)). Solve -u = 5*m + 3*b, -2*b = m + 3 + 5 for m.
2
Let d = 38 - 8. Let y(b) = -b + 11. Let q = 22 + -11. Let h be y(q). Solve 5*m = -5*l + d, -3*l + m + h = -14 for l.
5
Let j(x) = x**3 + 2*x**2 + 2. Let k be j(2). Suppose 0 = -8*c + 5*c + k. Let w be (2/3)/(2/c). Solve -5*a + 0*m = w*m - 16, 4*m = -a - 4 for a.
4
Let s = -5 - -9. Let y(w) = -4 + 0 - 3 + 2*w. Let o be y(5). Solve 5*v - 7 = -s*u, -o*v - 5*u - 2 = -1 for v.
3
Let l(k) = k**2 - 3*k + 3. Suppose -8 + 2 = -2*c. Let m be l(c). 