-z - 0, 4*o = f + j for o.
1
Let o = 4 + -6. Let u be 31 + (-1 - 0) + o. Suppose 3*q - 5 = 5*a - u, a + 2*q = 2. Solve 14 = -k + a*v, 4*v - 1 = 15 for k.
2
Suppose -2*d - 26 = -4*z, -d = -z - 2*d - 1. Solve -s = a - 1 + 4, z*s + 3*a + 12 = 0 for s.
-3
Suppose 5*z = 11 + 9. Solve -5*l + w = 5, 0 = z*l + w - 1 + 5 for l.
-1
Let v be 2/(-4) + 75/30. Solve -6*y = -3*y - v*w - 11, -4*y = 3*w - 9 for y.
3
Let r = 36 - 21. Solve 0 = h + 4*x - r, x = 2*h - x for h.
3
Let m = -5 - -7. Let t(r) = -r**2 - 4*r. Let k be t(-3). Solve -y - m*o + 6*o = -16, -k*o - 9 = 0 for y.
4
Suppose 0 = -5*w + 15, -w + 3 = 4*u - 2*u. Let l = 1 + u. Solve 4*b = -3*p, 4*b + l = -11 for p.
4
Suppose 3 = 2*l + 1. Suppose 3*w + 2 = -l. Let c = w + 1. Solve u + 4*u = -4*r - 5, 3*u - 4*r - 29 = c for u.
3
Suppose 0 = 3*q - 3*f, q - 2*f + 6 = 3. Suppose 0 = k + q*k - 20. Solve -8 + 23 = -3*n + 3*y, -3*n = -k*y + 25 for n.
0
Let w = -7 + 7. Suppose 3*z - 2*p - 18 = 0, -5*p + 15 = -w. Let y be 1 - -7*3/3. Solve f = 3*c + y, -z - 12 = -4*f for c.
-1
Suppose -2*f + 5 = -f. Suppose f = -5*g + 35. Solve 25 = 5*k, -3*k + 9 = -3*s + g*s for s.
-2
Let g = 105 + -101. Solve -5*k + 2*b = -9, -g*k - 4*b = -0*k - 24 for k.
3
Suppose -d + 6*d = 10. Suppose 3 = -h + d*h. Solve 3*b + 18 = -h*f + f, 20 = -5*b for f.
-3
Let f(g) = 22*g. Let m be f(1). Suppose -m = -2*t + 2*c + 2*c, -5*t + 71 = -2*c. Solve -7*a = -3*a + 5*j + 45, -t = 2*a + j for a.
-5
Let v = 9 - 9. Suppose -5*q - 5 + 15 = v. Solve s - 3*x = -13, s - x = -q*x + 3 for s.
-1
Let x be 2/(-8) + (-15)/20. Let q be (-3)/x*5/15. Solve -o - r + 4 = q, -21 = -3*o + 3*r for o.
5
Suppose -4*c + 240 = c. Let i = 76 - c. Solve 4*g = -g + 4*r + 36, 0 = 2*g - 5*r - i for g.
4
Let d = 36 - 20. Solve 5*q + y + 12 = -y, q = 3*y - d for q.
-4
Let x(u) = u + 13. Let f be x(-10). Solve 5*y + 7 = -c + 4*c, f*c - 3*y - 3 = 0 for c.
-1
Suppose 0*z + 4 = 2*z. Solve w - 4*y + 10 = -w, 13 = -z*w + 5*y for w.
1
Suppose -3*h = -3*y - 2*y + 9, -3*y - 5*h + 19 = 0. Suppose -28 = -3*p + p. Solve v - p = 5*t - 2, y*v - 4*t = 3 for v.
-3
Let d = -10 - -5. Let o(g) = -g**2 - 5*g + 5. Let j be o(d). Solve 25 = 5*t - j*u, 5*u = -t - 2*t - 9 for t.
2
Let d be ((-11)/33)/(1/(-6)). Suppose 5*h = 5 + 15. Solve -h = 3*w + 3*f + f, -w - d*f = 0 for w.
-4
Let y = -3 - -3. Suppose -10 = -5*u - y. Solve 5*v - 15 = 0, -3*v + 6 = h + u*h for h.
-1
Let m(t) = -t**2 - 10*t + 30. Let a be m(-12). Solve -5*z - 3*q = -23 - a, 23 = 5*z + q for z.
4
Let i(m) = m**3 + 11*m**2 + 10*m + 6. Let x be i(-10). Solve -3*u - x = 3*p - 4*p, 6 = -p - u for p.
-3
Suppose -2*p = 3*p - 60. Solve 3*t = -2*k + 9, 0*k + k = -3*t + p for t.
5
Suppose -k = -2*k + 1. Let t be 74/5 + k/5. Solve 0 = 4*p + 5*q + 25, -p + t = -5*p - 3*q for p.
0
Suppose 2*f - 21 = f - 4*p, 0 = 5*f - 3*p - 13. Solve l - 4*l + 3*u = 18, 2 = 2*l + f*u for l.
-4
Let h(d) = 24*d**2 - 1. Let a be h(1). Let c = a + -18. Suppose -2*t - 10 = 0, 2*t + 25 = 5*x - 0*t. Solve 3*l = -x*i - 9, i = -i - c*l for i.
-5
Suppose -7*f + 3*f - 4*l - 4 = 0, l = -2. Let w be 2 - 0/(3 + f). Solve w*o - 3*q = 7, -5*o = 5*q - 28 - 2 for o.
5
Let v be -18*6/8*4/(-6). Solve 10 = -3*t - 2*t, -3*t = f + v for f.
-3
Let s = -35 + 113. Suppose 2*v = 5*v + s. Let a = v + 38. Solve -b + 1 = -2*t - 3, -2*t = 3*b + a for b.
-2
Let w = 14 + -9. Let p = -212 + 214. Solve f = -i + w, -5*f + p*i - 2 + 6 = 0 for f.
2
Let w be 1/6 + (-105)/(-18). Let o = -7 - -16. Let q = o - 6. Solve 4*l - 3*d - 3 = -0, 0 = -q*l + 3*d + w for l.
-3
Let n(d) = d. Let b be n(2). Solve -3*s + 4*q = -9 - b, -2*s + 4 = -2*q for s.
-3
Let l(g) = -g**2 - 8*g + 24. Let b be l(-10). Solve 3*x - 20 = 5*w - 2*x, x - 4 = b*w for w.
0
Let b(u) = -8*u**3 + u**2 + u - 1. Let t be b(-2). Let y = 97 - t. Solve -3*r = -z + 15, -5*r + 7 - y = 2*z for z.
0
Let d = 9 - 7. Let f = -6 - -10. Suppose g - 1 = q - 3, -d*g = f*q - 14. Solve -6 = -q*l + 3*p, -l + 6 = -5*p + 4 for l.
2
Let j be (-2 - 21/(-3)) + -2. Suppose -8 = -j*c + 2*c. Solve c*x - 3*x = -2*w + 20, 6 = -2*x + 2*w for x.
2
Suppose -5*c - 2 - 23 = 0, 3*l - c + 85 = 0. Let o be (-26)/(-10) + (-12)/l. Solve 4*y - s - 12 = -3*s, s = y + o for y.
1
Let r(o) = -o + 5. Let m be r(5). Solve t + 3*c + c - 7 = m, 6 = 3*c for t.
-1
Let j = 15 - 12. Suppose 8*h + 5 = j*h, -3*h = 3*s - 12. Solve 0*w - 5*w = -3*m - 7, s = m + 2*w for m.
1
Let q(x) = -2*x. Let v be q(-2). Suppose -v*w + 16 = -0*w. Suppose r = -w*r + 25. Solve 5*c = 4*y - 36, -2*c = -2*y - r*c - 4 for y.
4
Suppose -4*h + c = 124, -c + 12 = 2*c. Let k be h/((4/(-3))/2). Let i be 1/(3*3/k). Solve -23 = 3*t + 4*n, -2*n + 20 = i*t - 7*n for t.
-1
Let d be (1/2)/((-1)/(-4)). Solve -2*p - d*k - 2 = 0, 2*p + 0 = -k - 4 for p.
-3
Let q be 76/18 - 10/45. Solve -m = -q*h - 23, -3*h + 5*m - 30 = -0*h for h.
-5
Let q = -5 - -8. Solve j + 5*w + 37 = -q*j, 2*w = -10 for j.
-3
Suppose -2*a = -7 - 5. Let d(x) = x - 7. Let u be d(a). Let q = u + 5. Solve 3*h = 0, q*f - 4 = -2*h - 3*h for f.
1
Let h(w) = 2*w**3 - 4*w**2 + 4. Let x be h(2). Suppose 2*u = -u + 9. Suppose -u*f - x + 67 = 0. Solve f - 3 = -4*a + 2*l, -5*l = -4*a - 21 for a.
-4
Let y(x) = x**2 - x + 5. Let w be y(0). Suppose 2*t + t + w*m = 52, -3*m = -6. Solve 3*h = -4*d + 24, -3*h + 13 = 5*d - t for h.
4
Let c(i) = i**3 + 2. Let x be c(0). Suppose 0 = -3*a - x*r + 4*r + 23, r = a - 6. Let k = a + -5. Solve -p - p = -4*b + k, 2*b - 33 = -5*p for p.
5
Let z be 2/(-4) - (-39)/2. Let p = 14 + -14. Suppose -5*v - 2*h + 18 = 0, h + 3*h - 16 = p. Solve 7 = -3*x + 2*u, 2*x + 3*u - z = -v*x for x.
1
Let x = 10 + -7. Solve 15 = -3*n, 4*p - x*n + 5*n + 22 = 0 for p.
-3
Let o(p) = -p + 8. Let i be o(4). Solve -z = i*m - 15, 3*m + 2 = -5*z - 8 for z.
-5
Let z(h) = -h**2 + 9*h - 3. Let x be z(8). Let d = -18 - -12. Let t(f) = -f**2 - 6*f + 7. Let k be t(d). Solve 5*q - 4*j - k = x, -4*j - 4 = -3*q for q.
4
Let d(i) = -3*i**2 + i - 7. Let v be d(3). Let o = v - -43. Solve 12 = -4*h, 4*h + 40 = -4*j + o for j.
-4
Suppose -6 = -5*u + 9. Solve u*j - 7 = 5*t, -5 = -j - t - 0*t for j.
4
Let g be (-25)/(-9) - (-2)/9. Let d be g*3/(-9)*-3. Solve -5*h + 5 = -0*m - 3*m, -d*m + 4*h = 4 for m.
0
Suppose 0 = -4*w - 2*l + 40, l = w + w - 12. Solve 3*d = -4*s + 3 + w, -4*s = 4*d - 16 for d.
5
Suppose -3*u + 2*c + 10 = 0, -u + 0*u + 6 = 2*c. Solve 3*r = h - 2*h, u*r + 2*h = -2 for r.
1
Let w = 220 - 215. Solve -3*k + 8*k + 3*l = -5, 0 = 2*k - w*l + 33 for k.
-4
Suppose 4*o = 4 + 4. Solve 3*l + 16 = -l, o*l + 5 = 3*n for n.
-1
Let p(g) be the second derivative of -g**3/6 + 15*g**2/2 - 2*g. Let u be p(11). Solve -u*o + y + 7 = 0, -y - y = -4*o + 2 for o.
3
Let d(v) = 6*v**2 + 4*v. Let q be d(-3). Suppose 6*z - 3*z - q = 0. Let w = z - 9. Solve r + 3*p = -3 - 2, 9 = -w*r + p for r.
-2
Let p = 17 - 11. Suppose 0 = g - p*g + 15. Solve -3*t - 3 = 3*c, g*c = -t + 4*c + 3 for t.
1
Suppose 4*q + 156 = 4*u, q = -q - u - 69. Let x be 2/3 + (-300)/q. Let a be 3 - 0/(3*-1). Solve -o - 2*o - x = -a*g, -5*g - 5*o = 35 for g.
-2
Let b(z) = -z**3 - 3*z**2 + 5*z + 6. Let v be b(-4). Let s = -2 - -5. Solve -h - i = 6, s*i = 3*h + i - v for h.
-2
Suppose -2 = -3*t + 13. Solve -2*d - 24 = -t*r, -2*r + 4*d + 24 = 2*r for r.
4
Let p = -14 + 20. Let x be p/(-33) - (-46)/11. Solve -b - 5*h = -11 + 4, 5 = b + x*h for b.
-3
Suppose -10*p = -4*p. Solve p = z + 2*b, -4*z - b + 9 = -5 for z.
4
Let q(t) = t**3 - t - 1. Let p be q(2). Let u be -2 - (0 + 2 + -6). Let w = p - u. Solve -3 = -4*z + 3*v, w*v + 8 = -z + 2*v for z.
-3
Let m be 15*(2 - 1) + -3. Suppose 3*u + m = 0, -y = u - 7 - 3. Let q = y + -9. Solve 28 = -3*o - 3*j + 10, q*j + 18 = -2*o for o.
-4
Let j(k) = k. Let a(w) = w**2 - 3*w. Let n = 5 - 2. Let s be a(n). Let i be j(s). Solve -3*m - 4*h + 8 = i, -2*m + 3*h = -3*m + 1 for m.
4
Let d = -22 + 14. Let l = d + 12. Solve -5 + 25 = -l*q, 3*q = -4*n - 35 for n.
-5
Let h be 0 - ((-4)/(-2) + -12). Let y = -17 + 19. Solve -2*w - 2*c = y*w - h, -5*w + 2*c + 35 = 0 for w.
5
Suppose -3*v = 60 - 249. Suppose v = -5*a - 7. Let t(g) = -g**3 - 15*g**2 - 16*g - 12. Let q be t(a). Solve -2*s + 0*s - q = -3*j, -j = -3*s - 10 for s.
-2
Let f be -1 - -2 - 3/(-3). Suppose 0 = -3*q + 9 + 9. Solve -f*p = 4, -p + 7 = -3*m - q for m.
-5
Suppose -f = -28 + 12. Solve x + f = 5*w, 3*w = -x + 4*x for w.
4
Suppose