 -g*u. Solve u*d = -4*w + 10, -3*d + w = -4*w + 7 for d.
1
Suppose -7*u + 10 = -11. Let v = 2 - 0. Let s be 2/(-7) + (-74)/(-14). Solve o + 20 = -u*l, 0 = v*o + s + 5 for l.
-5
Let g be (-4 + 3)/(2/(-6)). Let r be -2 + 0 + -1 + g. Solve r = z + 4*z + 5*a - 20, -4 = 4*z - a for z.
0
Let s = 7 - 1. Let d(o) = -o**3 + 6*o**2 + 2*o - 7. Let q be d(s). Solve 2*m = q*t, 4*t + t + 3*m - 25 = 0 for t.
2
Suppose 0 = -4*j + 4*v + 136, 4*j - 2*j = 4*v + 76. Suppose -4*b = -n - 7, -b - 3*n = 4*b - j. Solve 0 = 4*z - 5*z - 2*o - 9, 5*z + b = 4*o for z.
-3
Let g = -5 - -7. Let p = 5 - 2. Solve p*o + 5*m = -31, g*o - 13 - 3 = 4*m for o.
-2
Let m = 0 - 0. Let w be 38/(-8) + 27/36. Let p be 46/10 + w/(-10). Solve -3*i - 4*k + 9 = m, -5*i + 0*k - p*k = -15 for i.
3
Let q(x) = x**3 + 6*x**2 + x + 6. Let m be q(-6). Suppose m = -4*i + 49 + 11. Solve 0 = -3*u + 4*k + 19, 2*u - k = 4*k + i for u.
5
Let q = 92 - 62. Solve 30 = -2*r - r + 3*z, -4*z = -2*r - q for r.
-5
Let q(k) = -k**3 + 10*k**2 - 8*k - 4. Let j be q(9). Solve -5 = o, 0*r - r = j*o + 23 for r.
2
Let k(u) = -8*u + 48. Let i be k(6). Solve 3*j = -2*o + 19, -o + 4*j + 0*j - 7 = i for o.
5
Let t be 0/(-1)*(-2 + 1). Suppose 5*d - 146 = -31. Let l = 25 - d. Solve -3*b - z - 3*z + 32 = 0, t = 2*b - 2*z + l for b.
4
Let y = -19 - -24. Let w = -11 + 11. Solve w = 6*j - 2*j - 5*h + y, -30 = 3*j + 5*h for j.
-5
Let g(d) = -12*d + 3. Let h be (-1 - 5/(-1))/(-2). Let n be g(h). Solve -21 = -5*o - 2*b - 0*b, -4*o - 5*b = -n for o.
3
Suppose 2*t = t - c + 7, 3*t - 25 = -2*c. Let u = t - 6. Let w = -22 + 35. Solve -y - 3*j - w = 1, -u*j - 14 = -3*y for y.
-2
Suppose 0 = -3*j - 3*j + 24. Suppose 3*n = j*n - 2. Solve -2*w - 7 = 4*g - 1, 0 = -2*g + n for w.
-5
Suppose 3 = -2*r - 3*p, 3 = 2*p - 5*p. Solve -4*j - 3 = -3*i, -4*j + 4*i = -r*j for j.
-3
Suppose a = 5*a - u - 9, 0 = 2*a + 3*u - 1. Suppose 0 = -x + a*x. Let j(h) = -h**2 - 4*h + 1. Let z be j(-3). Solve x = 4*v + z*k - 4, -1 = 4*v + 5*k - 3 for v.
3
Let c be 2/(-5*(-8)/60). Solve 5*i - 2 = -y, -3*y - 4 = c*i + 2*i for y.
-3
Let i be 4/10 + (-114)/(-15). Suppose -7*m + 2*m - 135 = 0. Let o = -15 - m. Solve -3*z - 5*p - 2 = o, 0 = 2*p + i for z.
2
Suppose -2*p + 7 = 25. Let r = p - -15. Let s be 3 - (3 + r/(-2)). Solve 2*y + 4*f = -0*y - 10, -s*y = f - 5 for y.
3
Let l be 0/(-1)*4/(-8). Let d be 0/(l + -1 + 2). Solve 4*t - 16 = p, -21 = -5*t - d*p + p for t.
5
Suppose -5*x + 110 = -3*w, 5*w - w = 4*x - 96. Solve -4*a - 3*m = 24, -m = a + 4*a + x for a.
-3
Suppose -2*t - 2 = -8. Let n(h) = h**3 - 4*h**2 + 2*h + 3. Let g be n(t). Solve 3*x - p - 5 = p, g = 5*x - 2*p - 11 for x.
3
Let m(n) = n**2 - 9*n - 8. Let d be m(10). Solve r + 20 = -3*l, l + 3*r = -d*l - 30 for l.
-5
Suppose 0 = 4*a - k - 3*k - 12, 2*k = 3*a - 10. Solve -4*b - 24 = -a*y, y = -4*y - 2*b - 5 for y.
1
Suppose 4*m = 4, 2*m - 10 = -7*p + 3*p. Suppose a = p*a. Let x = 0 + a. Solve -n + 11 = -x*j - 2*j, -5*j - 23 = -n for n.
3
Let x be -1*(-5 + 1) + (-2)/2. Solve 0 = 5*b - 2*l + 8, 1 = 2*l - x*l for b.
-2
Let u be -1 + 6*1 + -1. Let s be 3/9 - (-210)/18. Solve -3*p = 15, -3*c - 44 = u*p - s for c.
-4
Let c = -12 - -14. Solve c = -2*z - 2*k - k, -4*k = 8 for z.
2
Let z(q) = -q**3 + 14*q**2 + 2. Let w be z(14). Let k(t) = 12*t**2 - t + 1. Let g be k(1). Suppose 0*r = 3*r - g. Solve 5*c = w*n, -r*n + 26 = 4*c - c for c.
2
Let i = 2 - -2. Solve -2*f + 5*a = i, 4*f - 2 = 3*a - 10 for f.
-2
Suppose -2*t = -4*y - y - 70, -58 = 3*y + 2*t. Let f(u) = -u**2 + 5*u + 5. Let b be f(7). Let l = b - y. Solve -3*z + 2*s - l = 8, 0 = 2*z + 2*s for z.
-3
Let w be 38 + -2 + 1 + 3. Solve 14 = -a - 3*k, 0 = 5*a + 7*k - 2*k + w for a.
-5
Suppose 2*t + t - 18 = 0. Suppose t + 9 = 3*d. Solve 0*s + l - 6 = -4*s, l - d = -3*s for s.
1
Suppose 3*u + 6 = -w - 5, 4*w - 5*u = 24. Let z be (1 - (-2)/w)*1. Solve s - 3*s - 3*y + 13 = 0, 0 = y - z for s.
2
Suppose -c + 3*c - 8 = 0. Suppose 3*j - 4 = -10, -5*j - 22 = -c*n. Suppose x = n*x - 10. Solve -20 = v - x*t - 0, 0 = -2*v - 3*t + 12 for v.
0
Let b(k) = k**3 - 15*k**2 + 5. Suppose 2*p + 15 = -p, -v - 2*p + 5 = 0. Let z be b(v). Solve -5*f - 2*c = -15, 4*c + 16 = z*f - 29 for f.
5
Let r = 8 - 3. Let o = 9 - 3. Solve -2*s = -r*s + 4*v + o, v = 3*s + 3 for s.
-2
Suppose -3*l + 2*l = -2. Suppose 0 = -0*g - g + l. Solve 4*m - g*c - 14 = 0, 0 = 5*m - 4*m - 3*c - 16 for m.
1
Suppose 0 = -0*s - s + 3. Suppose t + 13 = h, 3 = 2*h - s. Let q be t/2*2/(-5). Solve 4*n - 2 = q*d + 2, -5*n + 12 = d for n.
2
Let k = 60 - 20. Let b be 54/10 - 16/k. Solve -5 = b*m + x - 3*x, -3*m - 3*x - 3 = 0 for m.
-1
Suppose 0 = -x - 0 + 3. Let a(r) = -r + 41. Let n be a(39). Solve n*v - x = 5*y, 3*v + y + 4 = -0 for v.
-1
Let t(f) = -f**2 + 13*f - 9. Let p be t(12). Solve p*b + 15 = 0, 2*b = 5*y - 0*b - 15 for y.
1
Suppose 2*u - d = 3, -6 = 2*u - 2*d - 4. Solve -2*k = -0*k + 4*o - 24, -3*k - u*o + 28 = 0 for k.
4
Suppose -s + 2*k = -k + 10, 0 = -3*s + k + 2. Solve 3*o = -2*o + 4*t - 11, -s*t = -o - 7 for o.
1
Suppose -u + 0 = -4. Let m(n) = n**2 + 12*n - 8. Let v be -15 + 2 + 3 + -3. Let a be m(v). Solve u*t - i + 13 = t, -a*t = 5*i + 15 for t.
-4
Suppose -13 = -q - 2*n, -3*n - 17 = -3*q + 13. Let k = -7 + q. Solve s - 5 - 12 = 5*a, k*a = -5*s - 2 for s.
2
Suppose -z + 4 = -0. Solve -2*n - 8 + 0 = 0, -z*w = 2*n + 8 for w.
0
Let r(g) = -4*g + 3. Let y be r(-5). Let x = 0 + 5. Let n = x - 2. Solve 3*d + j = -j + y, -4*d - n*j + 32 = 0 for d.
5
Let n(x) = x + 2. Let r be n(-5). Let m be (6/8)/(r/(-24)). Let q = 16 - m. Solve 2*f + q = -f - 5*w, 4*w = 5*f + 29 for f.
-5
Suppose 2*k + 2*k - 8 = 0. Suppose -24 = 3*h - 4*n, -3*h + n - 17 = 16. Let s = h + 20. Solve p = 2*l + s, 0 = -4*p - 3*l - k + 1 for p.
2
Let b = 121 + -118. Solve -2*q - 23 = b*q + f, -3*f = -3*q - 3 for q.
-4
Suppose 0 = 2*l - 6, -4*a - 5*l = -2*l - 17. Solve -4*b - 4*m + a*m = 0, 5*m = 2*b + 24 for b.
-2
Suppose 19 = 4*c + 3. Solve -4*t + c*j = -0*t - 24, 3*t = j + 16 for t.
5
Suppose -w + q - 2 = 0, -2*q = q - 15. Solve -2*d = m - 7*d - 2, 3 = -w*d for m.
-3
Let k(t) = -t**2 + 6*t + 5. Let d be k(7). Let c(j) = j + 6. Let z be c(d). Solve 2*w + f = -2*w + 2, 5*w = 2*f - z for w.
0
Let r(d) = -2 + d**3 - d + 0 + 4. Let l be r(0). Solve 5*y - 4 = -3*k - 1, k - l*y = 1 for k.
1
Suppose 0 = -9*v + 11*v - 2. Solve -4*q - a = -v - 4, 0 = 2*q - 5*a - 19 for q.
2
Suppose 7*s - 2*s = 10. Suppose -5*x + 3*y = -31, -x + 9 = -y + s. Suppose -4*a + 25 = x. Solve -f - f = -m + 1, f - a*m = -23 for f.
2
Suppose 2*z - 24 = 2*r, z - 42 = 4*r - 6. Let c be 2/9 + r/36. Let p be (0 + -6)/(-3) - c. Solve 13 = -0*j + 3*j + 4*v, p = 2*v for j.
3
Let k(m) = m**3 - 6*m**2 - m + 8. Let i = -8 - -14. Let t be k(i). Let u = 6 - t. Solve 0 = -a + 3*a - g - 11, -u*a - 3*g = -7 for a.
4
Let t = -9 - -6. Let g = -13 - -16. Let v be g + (-2 - t)*-1. Solve y = -v*l - l - 7, 0 = 2*y - 5*l - 19 for y.
2
Suppose 3*f = t + 11 + 14, -f = t - 3. Suppose m - 5*s + 11 = 0, -m + 2*m + s = f. Solve 0 + 2 = -3*d + m*q, -4*d = -q - 6 for d.
2
Let j = 5 - 3. Suppose 2 - 6 = j*l + 3*o, 4*l - 12 = -o. Solve q - 5*h + l*h = 1, 4*h + 9 = 5*q for q.
5
Suppose -c + 3*c - 16 = 0. Let x = 13 - c. Let n be 2/x*25/5. Solve m = t - 3*t + 2, 0 = 3*t - m + n for t.
0
Suppose -10 = 5*m - 5*a, 2*a = 21 - 11. Solve k - 15 = 2*c, 5*c + 35 = m*c + 5*k for c.
-5
Let z(f) = f**3 - 2*f**2 + 2*f - 10. Let m be z(3). Solve 4*x + 4 + 10 = -5*p, m*p - 2*x + 8 = 0 for p.
-2
Suppose b = -3*b - 36. Let g = b + 16. Solve -f + 4*p = g, 4*p - 19 + 3 = 4*f for f.
-3
Let o be (2 - 26)/((-3)/4). Suppose 11*n = 15*n - o. Solve 0*m - m = 2*z - 13, 3*z + n = 4*m for z.
4
Let w be 1 - (-1)/(1/4). Suppose -4*f = w*h - 33, -5 + 22 = 3*h + f. Solve -3*k - 17 = h*p, 5*k + 4*p - 2 = -13 for k.
1
Let f = -8 + 6. Let k = f + 4. Suppose -5*j + r - 2*r = -20, r = -k*j + 11. Solve -4*z = -4*q - 24, 2*z = j*z + 5*q + 6 for z.
4
Let l = 34 - 20. Solve -2*q = -y - 2, 0 = -6*y + 3*y - 4*q + l for y.
2
Let k(w) = -w**3 + 3*w**2 + w - 2. Let v be k(2). Solve l = -v*c + 3*c - 3, -l + 1 = 0 for c.
-4
Let w be 51/12 - 15/(-20). Suppose 3*r = -3*z - 3, -4*r - r = 2*z + 11. Solve -z*g + j - 11 = 0, -2*g + 2*j - 9 = w for g.
-4
Let l = 13 - 5. Suppose 0 = 5*k + 3*o + 28, l*k + 14 = 5*k + o. Let c(h) = h + 9. Let f be c(k). Solve -2*v + 4*p +