 8, -4*p = -3*f - 8 for f.
0
Let h = 16 + -4. Suppose 2*o - h = -2*o. Solve 0 + 2 = 3*u + 4*s, -o*s = -u + 5 for u.
2
Suppose -2*z - 254 = -34. Let f = -106 - z. Let m = 35 + -5. Solve 0 = 5*g + p + 1 - 24, f*g - 5*p - m = 0 for g.
5
Let t = 10 - 7. Suppose -2 = 3*m - 7*m + 3*j, 4 = 4*m - 4*j. Let x be ((-15)/(-5) - (4 + -1))/m. Solve 0 = t*h + 7 - 4, 4*f - 2*h + 14 = x for f.
-4
Let d(c) = -6*c**3 - c**2 - 4*c. Let u(x) = -5*x**3 - 3*x. Let s(z) = -4*d(z) + 5*u(z). Let b be s(3). Solve -2 = -f - 5, 0 = -h + 3*f + b for h.
3
Suppose -217 - 5 = -6*t. Let b = t + -28. Suppose -4*d = -7 - b. Solve 0*s = -5*s - d*a - 33, -s = -a + 3 for s.
-5
Suppose -l - 2 = -2*l. Suppose -l*v - 2*k + 10 = 3*v, -3*v = -4*k + 20. Solve 2*y - z - 7 = v, -z - 2 - 2 = y for y.
1
Let y(g) = -7*g + 44. Let n be y(6). Suppose 10 = 5*p - n*z, -2*z = 4*p - 4*z - 8. Solve -6 = j + p*j - b, 0 = 4*b for j.
-2
Suppose 0 = -2*k + 9 - 1. Suppose 2*o = 3*a - 11, k*a - 6*a + 8 = -o. Solve -8 = -o*m - l, 0 = 2*m + 3*l - l - 6 for m.
5
Suppose 140 = -34*z + 104*z. Suppose t - 21 - 5 = 0. Let o = 9 + t. Solve w - 5*p - 20 = -0*w, -5*w - z*p = o for w.
-5
Suppose 6*g - 176 = 622. Suppose -381 + g = -8*x. Solve 2*u = -k, 3*u = 4*k - x + 9 for u.
-2
Let m = 341 + -326. Let r be 1/(-4) + (-45)/(-4). Suppose -2*p - 5*q = -11, 0 = 3*p - q + 3*q - r. Solve -z + m = -p*v, 20 = -0*v - 2*v + 4*z for v.
-4
Let k(w) = w**2 + 12*w + 4. Let h = -81 + 69. Let m be k(h). Solve s = -0*s - 4, m*s - 4 = 5*c for c.
-4
Let o(a) = -10*a + 17. Let p(x) = 3*x - 6. Let n(d) = 2*o(d) + 7*p(d). Let z be n(4). Let l be ((-18)/4 - z)*0. Solve l*q - 2*b = -q - 10, 3*b - 1 = -2*q for q.
-4
Let f be -5 + -7*(6 + -7). Solve 2*t = -3*c + 3*t - 14, -4*t = -f*c - 26 for c.
-3
Let p = -1054 + 1067. Solve -i = -3*f - p, -3*f = i + 2 + 3 for f.
-3
Suppose 5*b = -k - 0*b - 10, 4*b - 13 = -5*k. Suppose -k*d + 15 = -35. Solve 0 = -2*h - 5*j - 35, 0 = -0*j - 2*j - d for h.
-5
Let s be ((-1)/2)/((-6)/180). Suppose u - 4*u = -s. Solve -g - 2*f - f = 4, -u*f = 3*g for g.
5
Let l(f) = 2*f + 3. Let k(r) = r + 2. Let m(b) = -6*k(b) + 4*l(b). Suppose -5 + 1 = -4*p. Let x be m(p). Solve -j = -2*n + 7*n - 27, -x*j + 5*n = 21 for j.
2
Suppose 397 - 479 = -41*j. Solve 4*t + 5*r + 35 = 12, -12 = 3*t + j*r for t.
-2
Let q = -3 - -6. Suppose q*w + 25 = 2*k, -w = k - 0*k - 5. Solve 5*x - 3*f - 4 = 0, f - 5*f = -k for x.
2
Let v = 1071 - 1065. Solve -d + v = 4*x, -5*d = -2*d + 5*x - 4 for d.
-2
Suppose -3*t + 0*t + 60 = 0. Let l be 2*2*3/3. Let c be (l/(-3))/(16/(-36)). Solve -t = 4*u + 3*k, -c*k = -u + 2 + 8 for u.
-2
Let b be (-374)/(-51) + 10/15. Solve b = 4*o + 8*p - 4*p, -4*p = 5*o - 12 for o.
4
Suppose 0 = -w - w + 2*k - 2, 5*k - 45 = -5*w. Let q = -13 + 18. Let s be 3 + (w - q) - 2. Solve f + 4*l - 7 = s, 2*f + 4 = 3*f + 3*l for f.
-5
Let n(z) = z**3 + 8*z**2 + 2*z - 2. Let a be n(-4). Let t = a - 52. Solve 5*c = u - 16, 2*u + u - t*c - 9 = 0 for u.
1
Suppose 3*t - 5 = 4. Suppose -k + 12 = 4*n, -2 = t*n - 8. Let v(i) = -32*i - 382. Let m be v(-12). Solve 0 = -w - k*w - 2*h + 31, 0 = -w + h + m for w.
5
Let x be (30/(-90))/(2/(-6)) - -10. Solve 4*d - 15 = -x*t + 12*t, -5*d + 2*t = -21 for d.
3
Let b be ((-4)/(-2) + 26/(-13))/2. Solve 5*u - 4*k + 32 = b, 4*u + 2*k + 31 = 7*k for u.
-4
Suppose 2*v - 2*c = c + 5, 0 = 4*v + 2*c + 14. Let k be ((-11)/(-33))/(v/(-30)). Solve -8 = 2*l - i + 7, -k*i = 3*l - 10 for l.
-5
Let h = -98 + 98. Suppose h*c = a + 2*c + 2, 3*c - 4 = -5*a. Solve 0 = 2*s + 5*n - a, 0 = -s + 5*n + 1 - 0 for s.
1
Let s(t) = 14*t + 262. Let r be s(-18). Solve z = 5*g - 0*g - r, -2*z + 10 = 0 for g.
3
Let k(a) = a**2 - 12*a + 27. Let s be k(3). Solve -3*i - 19 = 5*n, s = -2*n - 3*n - 5*i - 25 for n.
-2
Let l = -36 - -38. Suppose 0*v = -3*t + v + 7, -3*t + 2*v + l = 0. Solve -t*i + 2*x = 4, 2*i + 0*i + 3*x + 2 = 0 for i.
-1
Let t be 6/(((-10)/(-15) + -1)*-9). Solve -t*q + 5*a = -21, 5*q - a = -4*a + 6 for q.
3
Let u = -46 - -46. Suppose 3*y - 20 - 16 = u. Solve -4*m - n = 2 + 5, -4*n = y for m.
-1
Suppose 60 = 3*o - 3*v, o = -2*v + 25 + 10. Solve 0 = 5*j - 2*x - 25 + 9, -o = -5*j + 5*x for j.
2
Let k = -309 - -320. Solve -k + 1 = 3*x + 2*d, -4*d = -5*x - 2 for x.
-2
Let t = 49 - 35. Let k = 19 - t. Let m = 7 + -7. Solve -k*s = 4*o - 8*s - 1, m = -4*o - 5*s - 23 for o.
-2
Suppose 5 = -4*d + 5*d. Solve 3*h - 21 = -h - d*l, -6 = -h - 2*l for h.
4
Let s(l) = -l**2 + 4*l + 4. Let v be s(4). Suppose v*o - 31 = -5*i + o, -4*o = -5*i + 17. Suppose -i*j = 6 - 31. Solve j*z + 5*r - 20 = 15, -5*r = -10 for z.
5
Suppose 2*x = 5*h + 16, -x + 1 = 2*x + 4*h. Suppose -8 = g - x*g. Let v be (-3)/1 + 36/6 + 0. Solve c = 2*c + g, -4 = -4*i + v*c for i.
-2
Let w be -1 + 13/4 + 18/24. Solve 0 = -t - t + w*s + 16, -2*s = -t + 10 for t.
2
Suppose 5*g + 16 = -9, 2*g = 5*n + 1640. Let f be (-3)/(-5) - n/75. Solve -5 = d + f*y, -2*d - 5 = -3*d + 5*y for d.
0
Let s(c) = c - 25. Let o be s(18). Let y(i) = -i**2 - 8*i - 3. Let g be y(o). Solve -24 = 4*u - 6*u + 5*x, 3*x + g = -4*u for u.
2
Let w(t) = -8*t**2 - 4*t**2 + 67*t - 80*t + t**3 + 1. Let j be w(13). Solve -x = j, m = 6*x - 4*x + 5 for m.
3
Let u(g) = 2*g + 30. Let s be u(-14). Solve 3*q = -6, 3*x - 3 + s = -4*q for x.
3
Suppose d - 56 = -d - 4*w, 2*d = w + 46. Suppose -25*s = -d*s - 2. Solve -n = 2*b + b - 10, -s*b = -n for n.
4
Suppose -5 = -v + o - 0*o, 0 = -5*o. Solve -p = 4*c - 17, c + 4*c = v*p + 40 for p.
-3
Suppose 95 = -7*c + 109. Solve -b + h = 4, -c*h = 2*b + 3*b + 13 for b.
-3
Let u(d) = d**2 + 5*d + 3. Let v be u(-4). Let a be 16/20*v/((-4)/10). Solve 5 = a*m - 3*g - 6, -5*m + 18 = 2*g for m.
4
Let w = -33 - -35. Suppose j - w = 1. Solve 3*a = -9, 6*g - j*a - 18 = 3*g for g.
3
Let h(b) be the second derivative of -7*b**3/6 - 13*b**2/2 + 17*b. Let k be h(-3). Solve -d - a = -1, 3*a - 40 = -4*d + k*a for d.
5
Let h(t) = 4*t. Let d be h(1). Let s be 30/7 - d/14. Suppose 13 = 3*g + s. Solve g = 5*i - 3*x, 2*i - 6*i = -3*x for i.
3
Let p be (27/(-5))/(6 - (-124)/(-20)). Let a = -6 - -11. Suppose 2*r + 0*r + p = 5*b, -r = a*b - 24. Solve 5*f - f + 5 = b*n, -n + 22 = -5*f for f.
-5
Let x = -8 + 6. Let a(j) = -2*j + 1. Let t be a(x). Suppose -5*u = -2*o - 0*u + 23, -3*u + 3 = 3*o. Solve 20 = t*q - o*s, 0*s + 5 = -s for q.
0
Suppose -2*c + 9 = -1. Let g = -8 - -11. Solve -w + c*a = 26, -g*a + 6 = 4*w - a for w.
-1
Let l = -47 + 50. Let m be (-1)/3 + (1 - 2/l). Solve m = 5*w - 5*h - 25, -h - 3*h = -w + 20 for w.
0
Suppose 16 = -4*a, -a - a = -2*p + 18. Let y = -2 - -4. Suppose -u - y*x = 2, 4*u + x - 5 = 1. Solve -3*d = 3*l, -p*d - 4*l = u + 3 for d.
-5
Suppose 2*m + 3*z = -m, m - 5*z - 30 = 0. Suppose 3*a = -0*x + 4*x + 35, -5*a + m = 4*x. Solve n - 8 = a*i + 5*n, -4*i = -4*n - 8 for i.
0
Let c = -264 - -281. Solve 0 = h - 4*d - c, 7*h - 3*h = 4*d + 32 for h.
5
Suppose 3*t + 16 = 1. Let o(r) = r + 7. Let i be o(t). Suppose -i*d = 2*d - 12. Solve -2*x - d*h - 10 = 0, x + 25 = -4*x + 3*h for x.
-5
Suppose b = -0*b + 4. Let k be (-14)/(-21)*(10/1 + 2). Suppose 0 = n + k*n - 180. Solve -n = b*o + 4*g, -2*o + 4*o = -4*g - 18 for o.
-1
Suppose -9*u - 6 = -12*u. Let b(c) = c**3 + c**2 + c + 3. Let n = -5 + 5. Let w be b(n). Solve 2*k - u*a - 7 = w, -3*k + 2*a = -13 for k.
3
Suppose 31 = 5*u + 6. Suppose -u*s = -11*s. Solve s = b + 2*h + 7, -3*b + h - 5*h = 19 for b.
-5
Let s be 0*((-70)/20 - -3). Suppose 2*w + 3 = 3*w. Solve 3*q = -w*u + 4*u - 6, s = 3*q + 4*u + 21 for q.
-3
Let s(h) be the first derivative of -h**3/3 + 4*h**2 + 9*h - 12. Let w be s(9). Solve -2*a - 15 = q, 4*a - a + 4*q + 35 = w for a.
-5
Suppose 0*a - 3*a - 309 = 0. Let d = -73 - a. Suppose 0*c + d = 5*c. Solve 5*f + 9 = -4*q - c, -q - 4 = f for q.
-5
Suppose 4 + 0 = 2*h, l + 4*h - 14 = 0. Let c(r) = r**2 + r + 2. Let y be c(-1). Solve 0 = -2*f - y*w + l, 0 = 2*f - w - 0*w - 9 for f.
4
Suppose z = 5*d - 27, -2*d - 4 = z - 12. Solve 3*p - 6 = -g + 4*p, 0 = -d*p - 25 for g.
1
Let f(n) = -116*n - 232. Let c be f(-2). Solve c = 4*y + 2*m - 6, 5*y + m = -10 + 19 for y.
2
Suppose -4*x - x - 20 = -5*b, -5*x = 3*b - 12. Let r = x - -1. Suppose 4*l = 5*u + 2, -r = l - 3*u + 2. Solve -2*v + 8 = 0, -5*g - l*v + 2*v - 16 = 0 for g.
-4
Suppose 4*x + 0*x = -4*o - 4, -16 = -4*o. Let i be (-4 - 21)*1/x. Solve -w + 10 = -i*m - 0, w = 3*m + 6