- 5 = 0, -4*k + 12 = -4*y for y.
-5
Let o be ((-25)/30)/((-3)/18). Solve 4*c - 7 = -a - 2*a, 0 = -o*c + a + 23 for c.
4
Suppose 0 = -j - 5*h - 3, 5*h + 1 + 0 = -2*j. Solve -2 = -3*v + y, 0 = -j*v + y - 6*y + 24 for v.
2
Suppose -1 + 11 = 5*o. Solve -5*f = -o*m + 23, 4*m + 7 = 3 for f.
-5
Let g be (-1)/2*0/(-1). Suppose g = -0*i + i - 5. Solve a = i*r + 3, -2*r + 7 + 1 = -5*a for r.
-1
Let r(d) = -d + 2. Let o be r(5). Let p(f) = -4*f - 4. Let z be p(o). Solve -5*x + h = z, -5*h = 3*x - x - 13 for x.
-1
Let j be (-6)/12 + (-2)/4. Let q be j - -3 - (4 - 5). Suppose 5*h - q*x + 5*x = 6, -5*h + 4*x = 12. Solve 5*w = -5*z - 20, h*w - 4 = 4*z + w for z.
0
Let g = -72 + 150. Suppose 4*f - 3*u - g = -5*u, u = 3. Solve 7*v = -l + 3*v + 9, -v + f = -5*l for l.
-3
Suppose 20 = h + 4*h. Let i(o) = 13*o**2 + o - 3. Let x be i(3). Suppose 5*y - x = -2. Solve -20 = 4*d + h*w, -d - 5*w = 2*d + y for d.
-1
Let w(l) = l - 2. Let o be w(4). Let p = 0 - 2. Let m = o + p. Solve 5*t + 5*g - 5 = 0, 3*g - 5 - 10 = m for t.
-4
Let a be ((-2)/(-6))/(1/(-6)). Let k(j) = j. Let u be k(a). Let l be (-3)/((-6)/u) - -6. Solve -2*d + 3*d + 2*r + 7 = 0, 0 = -l*d + r - 13 for d.
-3
Suppose -4*v + 29 = i, i - 35 = -4*v - v. Solve 3*s - 10 = 5*j - 2, 0 = -5*s + j + v for s.
1
Let v(p) = p**3 + 4*p**2 - 6*p + 1. Let k be v(-5). Let g be (1 + 1)*k/4. Solve 0*s - 3*b = -g*s - 9, -s + 4*b = 0 for s.
-4
Suppose -6*d + 15 = -3*d. Let r be -3*((-4)/3)/(-1). Let a = r - -5. Solve -14 = z - 4*q, -d*z - 3 = -3*q - a for z.
2
Suppose 25 = -27*a + 32*a. Solve -2*x = -2*q - 0*q + 20, -3*x + a*q - 40 = 0 for x.
-5
Let w = 134 + -104. Solve w = 5*x + 4*q + q, -4*x + q = -14 for x.
4
Let t be (-1 - -1)*(0 - -1). Let y = 5 - t. Solve 0 = -4*a - 0*i + 4*i, 3*i - 8 = -y*a for a.
1
Let w be -1 + 3 - (3 + -5). Let t = 9 - w. Solve 4*h - 2*r = -7 + 15, -10 = -t*h - 4*r for h.
2
Suppose 2*x - 4 = -0*x. Suppose -4 = 3*f + 2, f - 8 = -2*m. Suppose 3*o = m + 7. Solve 2*c - x - 15 = 5*r, -o*c - 4*r = 36 for c.
-4
Let c be 4 - (4 + (-2 - 0)). Let m be 0/((-1)/((-2)/c)). Suppose -2*p + 5*p - u = 7, -2*u + 10 = 0. Solve -l - p*k = -m*k - 15, -14 = -2*l - 4*k for l.
-1
Let n(l) = -l + 18. Let v be n(10). Solve 3*t = 4*a + 13, -2*t + 6*t + v = -a for a.
-4
Suppose 75 = 4*o - o. Solve g - 9 = -5*k, -5*g + 4*k = -o + 9 for g.
4
Suppose -4*s - 3 = -5*s. Suppose 3*i - 14 = -2*n, n = -4*i + 3*n. Let v = i + s. Solve -z - 12 = -5*q, 0 = 4*q - 0*z - v*z + 3 for q.
3
Let d(s) = s - 4. Suppose 2*q - 2 - 10 = 0. Let k be d(q). Suppose 4*r - 40 = -16. Solve 4*h - k*f + r = -0*f, -7 = 4*h - f for h.
-2
Let o = 12 - 9. Suppose 8 = o*a - 1. Solve a*p + 3 - 19 = -5*d, 3*p = 2*d + 2 for d.
2
Suppose -3*i - 3*k - k = -1, -2*i - 4 = -2*k. Let j = i + 3. Solve -2*l + 4*n = j, 4*l - n = 4*n - 10 for l.
-5
Let j(n) = n + n**3 - 4*n + 8*n - 6*n**2. Let r = 14 + -9. Let b be j(r). Solve -2*c - 4*d = -0*c + 28, 4*c + 2*d + 26 = b for c.
-4
Let n = -3 + 8. Suppose 0*h + 49 = -5*h - 2*p, n*p + 19 = -h. Let b = h + 16. Solve -40 = -5*z + 5*x + 5, 3*z = -2*x + b for z.
5
Suppose -5*g - 27 + 37 = 0. Solve 4*i = 5*d + 17, -5*d + 2*i - 9 - g = 0 for d.
-1
Suppose -2*f - a + 11 = -2*a, 0 = 2*f + 4*a + 4. Solve -y + 2 + 2 = 5*g, -f*g = 4*y for y.
-1
Let o(d) = -5*d + 5. Let f(r) = 11*r - 11. Let x(u) = -4*f(u) - 9*o(u). Let n be x(5). Suppose n = g - 1. Solve -3*s + 5*l + 7 = l, g*s - 35 = -5*l for s.
5
Let j(w) = 3*w - 5. Let h be j(4). Let c(z) = 6*z**2 + 1 + 0*z + 5*z - 2*z - z. Let u be c(-1). Solve 4*b + h = -u*d - 5, 0 = -b + d + 6 for b.
2
Let o be (-4)/18 + 2/9. Let u be (-1 - (1 - 1))*o. Suppose -w - 5*j - 15 = -3, 4*j = -4*w. Solve -w*f = 15, 0 = -u*l - l + 2*f + 7 for l.
-3
Let y be (-4 - -11) + -6 - (-1 - 3). Solve -3*u - 7 = 5*i, i + 20 = -4*u + y*i for u.
-4
Let c(j) = -2*j + 6. Let h be c(5). Let v = h - -8. Suppose -u - v*u + 20 = 0. Solve 5*o + 6 = 3*i, 0*o + 2*i = u*o + 4 for o.
0
Let p be -3 + (7 - (-4 - -5)). Solve 2*m = 4, -p*x - m - 10 = -6*m for x.
0
Let s(d) = -d**3 - 3*d**2 + d - 5. Let t be s(-5). Let x be t - (-1 + 1 - 0). Let b be (-1 - -1)/(3 - 2). Solve -5*f + 5*z - x = b, -z + 39 = -5*f + 11 for f.
-5
Suppose 0*y - 2*y - 17 = -5*h, 0 = 4*h - 5*y. Solve -5*v = 5*s + 25, -v - h*s - 8 = -3 for v.
-5
Let g be 2*(3/(-6) - (-15)/6). Solve g*m - 5*y - 26 = 3*m, 0 = -3*m - 5*y - 22 for m.
1
Suppose -w + 7 = 2*c + c, 0 = -4*w - 5*c + 14. Let z(n) = -6*n + 5*n - 3*n + 3*n - w. Let s be z(-3). Solve -p = -s*g - 5, 5*g - 5 = -p - 0 for p.
5
Let d be ((-14)/4 - -4)*4. Suppose -u = -0*u - d. Suppose -1 = -z + 1. Solve 0 = -s + 4*w + 3 + 5, -s + z*w + u = 0 for s.
-4
Let x(z) = -3*z + 4*z - 1 - 3*z. Let n be x(-4). Suppose -m + n = 2*q, -3*q - 7 = -2*m - 0*q. Solve -o = -m*h - 2*o - 19, -3*o = 12 for h.
-3
Let u = 0 + 5. Let l(w) = -w**3 - 5*w**2 - w - 2. Let n be l(-5). Suppose 3*s = 5 + 1. Solve -u*t - 5 = -4*v, -1 = v - s*t - n for v.
0
Suppose 9 = -2*v - 3*d, -2*v - 1 - 2 = d. Solve 14 = -w - v*q + 3*q, 0 = 5*w + 2*q + 2 for w.
-2
Let v(u) = u - 8. Let f be v(11). Solve 2*g = 3*g + z + 4, 4*g + 16 = f*z for g.
-4
Let g(r) = -3*r + 6. Let d be g(4). Let f = -6 - d. Solve f = -j + k - 1, -j - 2*j - 3*k = 3 for j.
-1
Suppose -4*c = -7*c - 24. Let g be -2 + 3 + 18/(-3). Let v = g - c. Solve -v*h - 9 = t, 16 = h - 3*h - 4*t for h.
-2
Suppose -5*q + 1 + 104 = 0. Let l be 2/7 - (-36)/q. Let h = -17 - -19. Solve 3*m + h*m - 4*y = -13, l*m + 4*y + 22 = 0 for m.
-5
Let s = -8 - -11. Solve 0 = -5*v - s*j + 11 - 36, -3*v + 4*j = 15 for v.
-5
Let i = 12 + -10. Solve t + 2*t - i*n = -5, 20 = -t - 3*n for t.
-5
Suppose 21 = 5*m - 4*z, 6*z + 15 = 4*m + z. Solve m*y = 5*d + 40, 7 = -y - d - d for y.
3
Let c(g) = g + 5. Let l be c(4). Suppose -2*z = -5*z + l. Solve -z*w - r + 0*r = -9, 9 = 3*r for w.
2
Let i(m) = 2*m - 10. Let y be i(7). Solve 0 = -y*j + 8, -3*c + 4*j = c + 8 for c.
0
Let q(c) = c**3 + 11*c**2 - 4*c - 18. Let t be q(-11). Suppose l + 0*l = 0. Solve 5*s + g = l, 3*s + t = 2*s + 5*g for s.
-1
Let r = 3 - -1. Suppose 6*l - 4 = 4*l. Solve -4 = l*c - 3*y - 11, r = -4*y for c.
2
Suppose -4*p - 8 = -4*j, j + 4*p = -j - 2. Solve 3*s + 5*y = j, -5*s + 4*y - 2*y - 19 = 0 for s.
-3
Suppose -i - 5 = -5*i - t, 15 = -5*t. Solve 0 = -i*y + 3*q, -3*y + 5*q = -4*y + 13 for y.
3
Let l = 42 - 6. Suppose 5*m - l = -4*b, 0 = m + m + 3*b - 20. Solve -4*q - m*p - 2 = 2, -3*p - 3 = 0 for q.
0
Let i = -5 - -8. Let z = 2 + i. Solve 4*t - 19 = 4*o + z*t, -5*o - 2*t = 23 for o.
-5
Let j = 1 - -4. Suppose 3*s + 4*u = 31, 0 = -6*s + 2*s - 4*u + 36. Solve -3*c = 5*d + 15, 1 + 14 = -j*c - s*d for c.
0
Suppose 0 = -a - 0 + 9. Solve -5*c = 5*u - u + a, -5*c + 5*u = 0 for c.
-1
Let x(s) = -s**3 - 8*s**2 - 6*s + 7. Let a be x(-7). Solve 5*d + 2*c = 4, a = 2*d + 3*c - 3 - 3 for d.
0
Let i be (-3)/(-12) + 2/(-8). Solve -7*n = -5*n - 4*z + 16, 3*z - 6 = i for n.
-4
Let c be 2 - (-11 + -2 + -1). Suppose -4 - 20 = -4*z + 4*y, c = 3*z - 2*y. Solve -z*f + 17 = -0*f + 3*o, 0 = 2*f + 3*o - 13 for f.
2
Let y(f) = -f**3 - 2*f**2 + f - 2. Let u be y(-3). Solve -i + 9 = q, u*i = -3*q + 23 + 9 for i.
5
Let r be (-9)/9*0/(-2). Solve 5*b - 2*m + 6*m - 4 = r, -m - 20 = -4*b for b.
4
Suppose 5*n - 82 = 2*z, 2*z = 3*n - 46 - 28. Let p be (-7)/42 - z/6. Solve -32 = 3*d - p*l, -3*d - 3*l + 8 = -2*d for d.
-4
Let b be (-16)/(-6) + 1/3. Suppose 0*d - d = -12. Suppose n - d = -b*n. Solve 2*u = n*q + 10, -4*u = 5*q + 1 + 1 for q.
-2
Let h be (-14)/(-35) + (-16)/(-10). Suppose -12 = -4*u + g, -2*u + 0*g + h*g + 6 = 0. Solve 2 = -3*l + 2*s, u*l + 3*s - 2*s - 1 = 0 for l.
0
Suppose -4*f + 42 = 2*t, 5*t = -4*f + 88 - 7. Suppose -7 = 2*s - t. Solve -5*m - 6 = 3*j + 3, j = s*m + 11 for m.
-3
Let j(x) = -26*x - 1. Let r be 8/(-12)*(-3)/(-2). Let p be j(r). Suppose -5*m = -3 - 7. Solve a = t + 5*a - p, m*a = 2*t for t.
5
Let o be 13/3 - (-13)/(-39). Solve g + 0*t = -t - o, 0 = 3*t for g.
-4
Let z(p) = -p**3 - 8*p**2 - 6*p + 10. Let c be z(-7). Let h be (-6)/c*2/(-2). Solve 5*o = 2*n + 3*n, -2*o - 20 = h*n for o.
-5
Suppose -4*c + 4 = 2*t - 14, -5*t + c + 23 = 0. Solve 0 = 5*u - t*g - 45, u + 2*u + 13 = -5*g for u.
4
Suppose 5*t = 6*t - 1. Solve -r - 3*d = 2, 0*r - r - 4*d - t = 0 for r.
-5
Let z be (-84)/35 - (-6)/(-10). Let a be 17 + (z - 0/(-1)). Solve -n + 14 = 3*q, 5*q - 16 = -5*n +