
Suppose -12*c + 72 - 12 = 0. Solve -3*z - z = 5*f - 28, -5*f + 30 = c*z for f.
4
Let i(a) = 9*a - 456. Let l be i(51). Solve -b = -l*b + 4, 2*o = -2*b + 8 for o.
2
Let s(o) be the first derivative of -o**4/4 - 10*o**3/3 - 5*o**2 - 4*o + 11. Let a be s(-9). Solve -k + 3*g + 1 = -a*k, 3*k - g + 17 = 0 for k.
-4
Let w be (-3 + 5/2)*0. Suppose -11*j + 10*j + 2 = w. Solve 2*u + 2*l - 7 + 3 = 0, l + 1 = j*u for u.
1
Let z be (2/(-7))/((-1)/(-7)). Let u be 2/z*-4 + 0 + -2. Solve 0*r = 4*p + 3*r - u, 0 = 3*p - 5*r + 13 for p.
-1
Let t be 1 + -1 + 13/(39/(-204)). Let s = t - -73. Solve 1 = s*q - 4*j, 4*q + 4 = 5*j + 12 for q.
-3
Let b be 40/12 + 2/3. Let c = -10 + 10. Suppose c = -i - i. Solve z + b*w - 6 + 18 = i, 5*z + 14 = 3*w for z.
-4
Suppose o = m - 1, -18*m = -22*m - 5*o + 22. Solve 0 = 3*f + m*u + 21, 3*u = -6 - 9 for f.
-2
Let l = -110 + 123. Let v = 3 - 9. Let c = v + l. Solve 0 = 2*r + x - c, -2*r + 4*r - x = -3 for r.
1
Suppose -10*p = -5*p + 50. Let c be (p/4 - -1)*-2. Solve -3*o - 3 = -2*d, 0 = c*o + d - 2*d + 3 for o.
-1
Suppose 3*s - 90 = -0*s. Let c = s + 1. Let a = c + -22. Solve 4*m - 23 = 3*q, 4*q - a = -4*m + 7 for q.
-1
Let m = 137 - 121. Solve -2*j = 4*f, -f = f - 3*j + m for f.
-2
Suppose -2*k = -13*k + 11. Solve -3*r = 3*o - 2 - k, -4*r = -4*o + 20 for o.
3
Suppose -3*s = 3 - 15. Suppose s*j - 5*j = 0. Let g be -25*(-2 + 2 - 1). Solve 4*d - 8 = k - j, -g = 5*k - 5*d for k.
-4
Let l be 24/(-18)*(-9)/(-2). Let x be 10/(-15) - 4/l. Let d(b) = -b + 3. Let z be d(x). Solve 4*i - 12 = 5*k + 7*i, z*k - 2*i = 8 for k.
0
Suppose -4*h = -5*y + 19, -3*y - 3*h = -10 + 4. Let u = -2 + 7. Solve n - 8 = y*o, u*n = -5*o - 9 + 29 for o.
-1
Suppose 11*y + 3*y = 28. Suppose -32 + y = -6*t. Solve -a + t*c + 14 = -12, 5*a - 4*c = 25 for a.
1
Let o = 485 + -480. Solve 0*v - b - 16 = -o*v, 5*v + 5*b = 40 for v.
4
Suppose -9*l + 5*l + 16 = -4*j, 5*j = 4*l - 14. Suppose -1 = -b + l. Solve t + 3*t - b = -3*g, -t + 5*g = -19 for t.
4
Suppose -5*c + 12 + 58 = 0. Suppose 4*z + 6*q - 26 = 4*q, -z - 3*q + c = 0. Solve -4*h - 15 = -y + 9, -3*h - 5*y + z = 0 for h.
-5
Suppose 38*h - 46*h = -32. Solve 5*u + 5*o = 4*u - h, -2*o - 4 = -2*u for u.
1
Let x(i) = i**2 + 9*i - 8. Let s be x(1). Solve 4 = 4*n + 4*w, -2*w + 3*w + s = -4*n for n.
-1
Suppose 2*q = -2*q + 32. Suppose -q = -3*r + 4. Suppose 0 = -2*w + r, 3*w + 2*w = -z + 12. Solve -3*n + 9 = -2*i, -2*i = z*n - 26 + 10 for i.
3
Suppose 3*m = 11*m - 128. Solve 0 = 3*v + 2*n - m, 0*n = 5*n - 10 for v.
4
Let g(m) = -m**2 + 3*m + 18. Let n be g(6). Let j(c) = -2*c**3 + c - 1 + 3*c**2 - 5*c**2 - 1. Let w be j(-2). Solve -v + w*x = -n*v - 15, -x - 6 = -v for v.
3
Let j be (13/2 + -7)*(-1 + 59). Let c = j + 31. Solve -2*n - x = -4, c*x - 8 = n - 0*x for n.
0
Suppose 0 = 3*w - 2*t - 93, w = -0*w - 5*t + 31. Let a(r) = -2*r**2 + 14*r - 30. Let z be a(7). Let f = w + z. Solve l = g - f, -4*l - 12 = 2*g + 4 for l.
-3
Suppose v - 8 = 4*g + 14, -5*g = -3*v + 31. Let o be v + (-12 - (0 + 0)). Let n = o + 30. Solve -4*f = -f + 2*a + 13, 0 = -5*f - 3*a - n for f.
-1
Let x(q) = -24*q - 140. Let l be x(-6). Let g = -39 - -27. Let n be g/(-15)*(-35)/(-2). Solve -4*t + t + v - n = 0, l*t - 5*v = -15 for t.
-5
Let c be 3/8 + 1160/320. Solve -2*m + 11 = -5*y, c*m + 5*y + 28 = 5 for m.
-2
Let u(v) = 3*v + 10. Let n = -33 - -31. Let q be u(n). Solve 3*i - 5*s = -17, -i + 0*s = q*s - 17 for i.
1
Let g be -1*(-4)/((-28)/(-7)) - -1. Solve 8 = -4*n - 5*y + 16, 0 = -4*n - g*y + 8 for n.
2
Suppose 4*x - 16 = -2*y, 2*x + 5*y - 10*y = -16. Solve -4*i = 2*m, 4*i = -x*m + 3*m for i.
0
Suppose 0 = 4*m - 3*r - 10, 0 = -5*m + r - 2*r + 22. Suppose 4*x + 3*w = 2*w + 10, 0 = -m*x + 3*w + 2. Solve -4*o - 4*a - 6 = 6, x*a = -5*o - 3 for o.
1
Suppose -c + 4*i - 2 - 4 = 0, c - 4 = -i. Suppose -c*r = 103 + 11. Let d = -38 - r. Solve -v + 12 = 4*q, -q - 3*v - 5 = -d for q.
2
Suppose 26 = x - 19. Let n be 10/x + (-908)/36. Let b = n + 29. Solve p - 1 = r - 0, -7 = -p + b*r for p.
-1
Suppose 0 = 11*o + 37 + 7. Let k be (o - (-247)/7) + 2/(-7). Solve 0*j - 5*j = -3*u + k, 4*j + 30 = 5*u for u.
2
Let r = -31 + 33. Suppose 0*i + 12 = 3*i. Solve c = 5*g + r, -i*c + 5*g - 4 = -c for c.
-3
Let m(j) = -j**2 - 40*j - 226. Let r be m(-7). Solve -3*u + q = -r, -u + 5*u + 2*q = 20 for u.
3
Let p be 132/12 + 6/(-1). Solve -5*r + p*w + 20 - 5 = 0, 5 = -w for r.
-2
Let t = 186 + -173. Suppose -t*r + 0*r + 221 = 0. Solve 3*p - 4*b = -0*p + r, -5*p + b + 17 = 0 for p.
3
Let j = -2259 + 2263. Solve 2*a = -a + 3*i - 3, -j*i = -5*a - 3 for a.
1
Suppose 3*q - 13 = -2*j, 3*j - 4 = 5*q - 13. Solve h - q + 10 = -5*i, -i = 4*h - 10 for h.
3
Let d = -1014 - -1017. Solve 5*s = -d*k - 4, 5*s - 2*s = -2*k - 2 for s.
-2
Let u(m) = -m**3 + 18*m**2 - 62*m - 31. Let v be u(13). Solve 2 = -4*x - 5*h - 15, -2*h = 2*x + v for x.
-3
Let i be 220/14 + 90/315. Solve 0*m - 2*m = o - 4, 0 = -m + 4*o - i for m.
0
Let j = 25 - 13. Let t be j/(-15) + (-4)/(-5). Solve -d + 3*w - 2 = t, -4*d - w - 6 = -d for d.
-2
Suppose -3*f - 480 = 5*a, -6*a + a - 4*f = 480. Let r = -94 - a. Solve 0*g - r*g - p - 11 = 0, -5*g - p = 20 for g.
-3
Let v = -807 + 809. Solve 0 = v*t + 8, -6 = h - 0*t + 2*t for h.
2
Suppose 1 = -2*t - 19. Let l be t/3*288/30. Let s = -29 - l. Solve 4*f - 3*y = 4, 0*f + 2*f - 20 = -s*y for f.
4
Let h = -49 - -76. Suppose 5*q - h = -2. Solve 4*u + 30 = -q*z, 5*z + 31 = -5*u + 2*z for u.
-5
Let t be (48/32)/((-1)/(-2)). Solve 0 = t*l - 3*b - 10 - 2, -5*l - 2*b + 13 = 0 for l.
3
Let r = -1 - -7. Suppose 0 = w - 2, c + 4 = -3*c + 4*w. Let i = c + 1. Solve -4*z - i = -4*q + r, 5*z + 4 = 3*q for q.
3
Let d(i) = 2*i + 29. Let l be d(-12). Suppose -l*f = -0*f + 3*o - 28, -4*o = 2*f. Solve -4*r + n = -4 - f, 0 = -2*n for r.
3
Let w = 29 - 26. Suppose 10*i = 11*i - 13. Solve -4*p = 5*u - 8, 0*u - i = -u + w*p for u.
4
Let p(z) = -z**2 + 7 - z**3 + 0*z**2 - 5*z**2 + 10*z. Let k be p(-7). Let c be (1 + 18/k)*-7. Solve 0 = -c*g + 2*h + 14, 0 = -g - g - 4*h - 4 for g.
4
Let u(z) = 13*z**2 - 4*z - 5. Let h be u(-3). Suppose h - 34 = 6*n. Solve 0 = p + 4*j + n, p + 2*j = 6*j + 17 for p.
1
Let j = -97 + 26. Let u = j + 73. Solve -25 + 5 = -5*f + u*k, -2*f - 5*k = -8 for f.
4
Suppose -409*p = -405*p. Solve -o - 17 = -p*y - 3*y, -y - 4*o - 16 = 0 for y.
4
Let a be (8/(-6))/((-1)/3). Solve -2*y + 0*y = -a*i, y = 3*i - 2 for i.
2
Let y(q) = 6*q**2 + 2*q - 2. Let h be y(2). Suppose -2*t + t + m = -6, h = 3*t - 5*m. Solve -a = -5*r - 10, a + 6 = -r - t*r for r.
-2
Let o be -21*(-8)/(-60) + (-1)/5. Let q = -1 - o. Solve -4 = q*t + 4*m, -2 = -m - m for t.
-4
Let o(w) = 6*w + 37. Let z be o(-6). Solve -2*c = -0*c + g + 1, -4*c = 5*g - z for c.
-1
Let v(d) = -d + 7. Let z be v(7). Let j = 1237 + -1233. Solve -2*c - 11 = -3*c - j*h, -3*c - 3*h - 3 = z for c.
-5
Suppose 5*m + 5 = -8*k + 13*k, -9 = -2*k - 5*m. Solve -a + x + 1 = 0, 1 = -k*x + 3 for a.
2
Let u be 28 + 78/91*28/12. Solve 0*w = -r + w - 10, -r + 5*w - u = 0 for r.
-5
Let v = -48 - -68. Suppose -7*b + 2*b - v = -3*i, 23 = 5*i + 2*b. Solve 5*o = -4*n, i*o + 37 - 2 = 3*n for o.
-4
Suppose 7*r - 14 - 42 = 0. Solve w = l - r, 0 = -w - 0 - 3 for l.
5
Let x(c) = c**3 + 20*c**2 - 18*c + 67. Let s be x(-21). Solve s*g - 3*p + 6 = 9*g, -3*g = -2*p + 4 for g.
0
Let m(z) = -z**2 - 27*z - 18. Let a be m(-26). Suppose -a*p = -3*p + 15, -4*p - 21 = -3*o. Solve 3*d + o*v = -12, -6*d + 2*v - 20 = -d for d.
-4
Let c(m) = -2*m**3 - 28*m**2 + 66*m + 35. Let i be c(-16). Solve 1 = -2*s + i*d - 4*d, 13 = 4*s - 3*d for s.
1
Let m(w) = w**2 - 10*w + 11. Let h(z) = z + 1. Let k be h(8). Let y be m(k). Let f = -9 - -14. Solve y*v = n - 6 + 2, -f*n + 14 = -4*v for v.
-1
Suppose -4 = 20*a - 64. Solve p + s = -p + 6, 5*p = a*s + 4 for p.
2
Let x(i) = 1. Let p(y) = -3*y + 12. Let k(f) = -p(f) + x(f). Let s be k(9). Let t = 21 + -9. Solve -4*w = -2*w - 2*o + t, -2*w - s = -3*o for w.
-2
Let s be 2/(-9) + 1*(-10)/(-45). Solve 3*k - 3 = q, s*q = k - 2*q - 6 for k.
0
Suppose -98*o = -101*o. Solve o = -2*w + 3*y + 5, -y = -2*w - 2*w + 15 for w.
4
Let p(i) = i**2 + i - 3. Let t be p(-5). Suppose -3*z - 9 = s, z + t = -s - 4*z. Solve -m + 5*j + 22 = 0, 0*m + 4*j + 11 = s*m for m.
-3
Let x be (4/(-2) + 0)/(-39 - -40). Let n be (9/x - -4)*0. Solve 5 = -o, g - 2*o + 5*o + 11 = n for g