 - 2*z = -4 - 4, y*t - 4*z + 4 = 0 for t.
1
Let g(s) = 48*s - 48. Let i be g(1). Solve i = -o + 4*d, 3*d - 4*d + 1 = 0 for o.
4
Let x be (-974)/9 + (-3)/(27/(-2)). Let o = x - -110. Let j(b) = -3*b. Let n be j(-1). Solve 5*q + 3*z = -o*z - 50, -40 = 5*q + n*z for q.
-5
Suppose -q - 4*h = -6, -21*q = -25*q + 4*h + 24. Solve 5*f + 3*z = -q, 3*f + z + 2 = f for f.
0
Let b(m) = -17*m + 159. Let j be b(9). Solve 4*g + x - 7 = 0, 3*g - 3*x + j = -0*g for g.
1
Let n = 722 + -718. Solve -i - n*i - 15 = -3*y, 2*i + 6 = -2*y for y.
0
Let l(m) = -m**2 + 10*m + 11. Let g be l(11). Suppose 4*u + 7 + 14 = q, g = -3*q - 2*u - 7. Solve 4*t + q - 21 = 0, 5*o = 5*t - 30 for o.
-1
Suppose 0 = 7*v - 3*v + 16. Let f(p) = -p**2 - 4*p + 2. Let w be f(v). Solve 5*d + 0*i + 28 = 4*i, -2*d = 3*i + w for d.
-4
Let c = 12 - 27. Let q = c + 18. Solve -4 = 2*d + 4*s - 2, 5*d - 9 = -q*s for d.
3
Suppose 0 = 12*w - 22 - 14. Solve 5*s = -w*o + 8*s + 18, -5*o + 23 = 2*s for o.
5
Let z = -5 - -23. Let r(g) = -g + 9. Let v(d) = 5*d - 46. Let h(m) = 11*r(m) + 2*v(m). Let y be h(5). Solve y*f - l = 6*f + 17, -2*l = -5*f - z for f.
-4
Let c(q) = q**2 + 3*q - 45. Let m be c(-12). Suppose 0 = 3*o + z - m, -2*o + 4*z = o - 63. Solve -f + o = f + 3*t, 25 = 5*f + 2*t for f.
3
Suppose 3 = z + 2*z. Let g be ((-2)/(-4))/z*-2*0. Solve g = -5*n + 3*a - 6*a + 8, 0 = -5*n + 2*a + 28 for n.
4
Let c(g) = -4*g - 2. Let v be c(2). Let x = v + 15. Solve 2 = -x*n + 4*y, 3*n + 25 = 8*n + 5*y for n.
2
Let r be 1 - (-3 + 2/1). Suppose -2*p + 12 = 2*p - k, -5*p + r = 2*k. Solve 3*q - 3 = 3*v, -p*v - 6*q + 2*q = -28 for v.
4
Let n = 2 - 2. Let q = -14 + 16. Solve -5*y + 15 = n, -7*y + q*y = 5*f + 10 for f.
-5
Let w be 24/6*-1 + (1 - 1). Let u be 70/21*(-6)/w. Solve u*l - 10 = -r, 0 = l + l - 2 for r.
5
Let t(z) = z**3 + 8*z**2 - 30*z - 97. Let q be t(-10). Let n = 2 + 0. Solve q*v + 13 = n*m, 5*v - 3*m - 13 = -35 for v.
-5
Let u be 1 + -4 + 33 + -8. Let p = u - 14. Solve -m = -4*z + p, -2*m + 3*z - 13 + 2 = 0 for m.
-4
Let j(o) = -o**3 + 6*o**2 + 9*o - 9. Let x be j(7). Suppose 4*f + x*p - 11 = 0, -3*f - p = -5*p - 16. Solve 4*y = f*a + 20, 5*y - 3*y - a = 5 for y.
0
Let d = -4 + -4. Let x be d/(-32) + (-38)/(-8). Solve -6*y + y - 2*a + 2 = 0, -5 = -x*a for y.
0
Suppose 64 = -4*d + 8*d. Let c = -12 + d. Solve -16 = 5*n + c*y, -n + 2*n + 2*y + 2 = 0 for n.
-4
Let m(g) = 3*g**2 + 3*g - 3. Let b be m(1). Solve f + 5*v = b*v, -f = v - 1 for f.
2
Suppose -3*x - 4 = -2*z, 5*z - 9*z = 6*x - 8. Solve 3*o + 0 = 4*r - 13, 5*o + 15 = x for r.
1
Let j(d) = -d - 14. Let w = -10 - -18. Let x be j(w). Let s be x/(-10) - (-3)/(-15). Solve 0 = i + 3*f - 7 + 3, -2*i - f - s = 0 for i.
-2
Suppose 21 = 5*v - m, 0 = -2*v - 2*m + 6. Let i = 6 - 3. Let w be ((-24)/(-28))/((-2)/(-7) - 0). Solve -h = i*r, -w - 2 = v*r + 3*h for r.
1
Suppose -o - 4*r = 2, -1 = -0*o - o - r. Solve i + o*i - 4*v = 26, i + 4*v = -18 for i.
2
Let o(w) = 6*w + 4. Let j(b) = 7*b + 4. Let x(s) = 3*j(s) - 4*o(s). Let z be x(-2). Solve -2*p + 6 = 0, 5*g - 4*p = -z - 20 for g.
-2
Suppose 4*l = -4*u + 4 + 8, 3*l - u - 17 = 0. Solve -m - 5*x = -0*x + l, -3*m + 5*x = 15 for m.
-5
Suppose 2*p + 360 = -3*p. Let b = p + 75. Solve -d = -b*n - 11, 3*d - 4 = d for n.
-3
Let z(h) = h - 19. Let d be z(16). Let s be d/4*(-12 + 8). Suppose -4*n - 25 = -s*v - 2*n, v - 5*n = 30. Solve 4*c = -4*y, 2*c + v = -3*y + 1 for c.
4
Suppose 165*o - 20 = 161*o. Solve -16 = g + 4*u, g = -o*u - 20 + 1 for g.
-4
Let p = -4 + 8. Let o be (-17)/(-7) - (-6)/(-14). Solve -o*m - p*r - 19 = m, -4*r = -3*m + 13 for m.
-1
Suppose -370*x + 2 = -369*x. Solve 0 = -3*s - 0*d - 4*d - 1, -x*d = -4 for s.
-3
Let q(z) = -z - 5. Let d be q(-5). Let w(p) = -p**2 - 3*p + 9. Let t be w(2). Let c be (-4)/(8/2*t/4). Solve 5*u = -3*f - 10, -u - c = -d*u + f for u.
1
Let o = -210 + 215. Solve 0 = -o*h - s + 3, -5*s + 15 = -5*h + 2*h for h.
0
Let y = 26 - 6. Let p be (2 - y/8)*0. Let g(q) = q**2 + q + 15. Let x be g(p). Solve 4*w + z + x = w, -25 = 5*w - 2*z for w.
-5
Let p = 617 - 602. Solve 3*s - p = -3*g + 12, 3*s - 7 = g for s.
4
Suppose 0*q - 3*w + 92 = 5*q, 3*w + 4 = q. Let g be 1/4 - ((-252)/q)/9. Solve g*j + 2*n + 2 = 4*j, -5*j = -n + 11 for j.
-3
Let f be 0 + 0 + 15/3*1. Let a(n) = 7*n - 3. Let y be a(3). Suppose -2*c + 8 + 6 = -2*z, z = -4*c + y. Solve c*u + 3 + 22 = -f*k, -2*u = 4*k + 14 for u.
-3
Suppose -4*v = 3*f - 0*f, -v - 3 = 0. Suppose 2*z + 4 = -t + 24, 0 = -5*t - z + 73. Suppose -t = -2*y - 8. Solve -4*m = -y*n + 3, -2*m + 9 = -n - f*n for m.
-3
Let p(f) = -4*f + 20. Let r be p(-13). Suppose r*m = 69*m + 12. Solve 2*n - m = 3*u, 0*u = -2*u + n - 1 for u.
2
Let o be 0*(0 + -3 + 2) - 2. Let t(d) = -d**2 - 5*d - 1. Let m be t(o). Suppose -3*i = 2*f + 4 - 2, -2*f = -i + 10. Solve i*x = 0, 4*x + 1 = 2*q - m for q.
3
Suppose 5*a - 15 = n, -n = -3*a - 6*n + 9. Solve -r = -2, 10 = a*g + g - 5*r for g.
5
Let r(j) = j**3 - 18*j**2 + 17*j + 6. Let v be r(17). Suppose 0 = -2*g - 0*g + v. Solve 5*c - 15 = 4*w - g*w, -12 = -4*c - 4*w for c.
3
Let z be -2*1 - (12 + -34). Solve -3*i - 4*s = -6*i + z, 3*i = s + 5 for i.
0
Let k be (105/10)/((-9)/(-12)). Solve -f - 5 = 0, -2*q - 4*f = -0*f + k for q.
3
Let y(v) = 8*v - 10. Let w be y(2). Solve -k + 25 - w = -4*a, 3*a - 2*k + 18 = 0 for a.
-4
Let w(o) be the second derivative of o**3/2 - 30*o**2 + 30*o. Let s be w(20). Solve d + 0*d + 2*f = s, -d + 4*f = 0 for d.
0
Let f(a) be the second derivative of -2*a**2 - 2*a + 1/12*a**4 + 0 - 1/3*a**3. Let x be f(-4). Solve 2*y + 10 = -4*q, -3*q - x = -2*y - q for y.
5
Let l(h) = -17*h + h**2 - 4 + 26*h + h**2 - 3*h**2. Let i be l(8). Suppose -i = -2*z - p, 7*p - 20 = 5*z + 2*p. Solve z = -5*f - b - 8, -6*f = -2*f + 4*b for f.
-2
Let h be 0/1 + 0/(-11). Suppose 2*b = 3*b - 2. Let g = 42 + -22. Solve 4*o + b*k = h, 3*o = -o + 3*k - g for o.
-2
Let c = 2115 - 2115. Solve g - 30 = -5*d - 0, c = 2*g + d - 15 for g.
5
Suppose -2*r + 56 = 2*r. Suppose -3*y = -13*y + 40. Suppose -4*n + 16 - y = 4*d, -5 = 5*d. Solve s - 2 = o + n, 3*s + o = r for s.
5
Let y = 1198 - 1190. Solve -d = -7*g + y*g - 3, 17 = 5*d + 3*g for d.
4
Let m be (-13 + 6 + 1)*1 + 6. Solve 3*h - 4*r = 17, 0 = -3*r - m*r - 6 for h.
3
Let h be 2 - (4/2)/(-1). Suppose 4*y - h - 4 = 0. Solve 0 = 2*x + r - 11, y*r = -2*r + 12 for x.
4
Let c be (-12)/(-3) - (-14 - -4). Suppose -12*q + c*q = 0. Solve -u = -q*u - p - 6, 4 = -4*p for u.
5
Let r(u) = -u**2 + 13*u - 6. Let w be r(9). Let x = 16 - w. Let g be x/(-3) + 14/42. Solve 0 = z + g*s - 10, 6 = 2*z + s - 5*s for z.
5
Suppose 15*f - 65 = -35. Solve 5*n + 8 = 2*n + i, 14 = -f*n + 5*i for n.
-2
Let z = 16 + -11. Suppose 63 = z*h - 87. Suppose h = -2*j + 5*j. Solve 3*x + t - j = 0, x - 4*t = -2*x + 5 for x.
3
Suppose -4*h - 8 = a - 8*h, 3*a + 5*h = 27. Solve 5*o - 5 = 0, a*m + 5*o - 4 = o for m.
0
Suppose 0 = 4*d - 22 - 86. Suppose 4*w = 2 + 30. Suppose -u = -3, -13 - 3 = -5*x + 3*u. Solve x*q + d + w = 4*r, -q = r - 2 for r.
5
Let x = 120 + -120. Solve x = 4*j + 5*o + 37, -3*o = -7*o - 20 for j.
-3
Suppose v + 27 = 4*r, 7*r = 4*r + 4*v + 30. Solve -f = h - 2*f - r, 0 = -2*h - 5*f - 2 for h.
4
Let t = -7 + 24. Let n = 31 - 45. Let o = t + n. Solve -o*j + 6*j = 12, 4*x + j = -16 for x.
-5
Let y be (-6)/4 - 3152/(-32). Suppose 0 = 3*z - 2*w - y, 0*w + 3*w = z - 23. Solve -3*i - 7 - 8 = 0, 3*q - 4*i = z for q.
5
Let b = -162 + 167. Solve 3*z - 47 + 16 = -4*y, -3*z + 5*y = b for z.
5
Let j = 11 + 8. Suppose y + g = j, -4*g = -2*y + y + 9. Suppose 37 = -a + 40. Solve y = -o - a*u, -3*u - 2*u = -3*o + 5 for o.
-5
Suppose 5*y + 15 - 22 = -b, -2*y = -5*b + 8. Solve b*g - 5*k + 14 = 0, 2*g - 3*k = -8 - 2 for g.
-2
Let u(w) = w**3 + 5*w**2 + 3*w - 6. Let f be 1 + -6 + (2 - 0). Let h be u(f). Solve y + 8*t + 18 = 5*t, 5*y = h*t for y.
-3
Suppose -l = -3*g - 6*l - 5, -3*l - 3 = 5*g. Let q(w) = w**3 + 19*w**2 + 14*w - 67. Let t be q(-18). Solve 3*v = -3*o + 21, t*o - 3*v + 4*v - 27 = g for o.
5
Suppose 0 = -5*l - 18 - 22. Let w = 11 + l. Suppose 5*a - 141 + 126 = 0. Solve w*o + 3 = 5*s - 2*s, -9 = -a*s - 3*o for s.
2
Let z be -3 + -2 + 3 + 6. Let s(t) = -t + 6. Let r be s(z). Solve 3*o + 0 = 2*m - 5, 4 = r*m - 4*o for m.
4
Suppose -108 = -6*v - 90. Solve v*l + 2 = 2*b - 9, -l + b = 5 for l.
-1
Suppose 4*t + 21 = 41. Solve 