 3*o, h + 4 = o - f*o for h.
-4
Let s be (-56)/(-24) + 1/(-3). Solve -n + s = -3*l, -3*n - 10 = 4*l - 3 for l.
-1
Let f(b) = b**2 + 8*b + 14. Let i be f(-6). Solve -2*c + 2 = v - 0, i*v - 5*c + 23 = 0 for v.
-4
Let o(g) = 2*g**2 - 2*g - 7. Let z be o(-4). Let c be (-8)/12 + z/9. Solve s - 5*w = -11 - 13, c*s = 3*w - 24 for s.
-4
Let y(t) = -t**2 + 4*t + 8. Let j be y(7). Let v = j + 21. Suppose 4 = -4*l + v. Solve -3*o = -4*w - l - 3, -3*w = -2*o + 4 for o.
-4
Let z(d) = 3 + 2*d - 2 + d. Let a be z(1). Let s = a - 0. Solve 4*l - 4 = s*c, -20 = -6*c + c for l.
5
Suppose 2*b = 2 - 0. Suppose -3*n = -3*f + 8 + b, 0 = -3*n + f + 1. Solve -2*y = -z - z - n, -5*z = y + 23 for z.
-4
Suppose w - 1 = 5. Let j(a) = 2*a + 7*a**2 + 3 - w*a - 6*a**2. Let i be j(4). Solve 3 = -n - 2*n, -i = 5*o + 3*n for o.
0
Suppose -2*j = -j. Solve 2 = -3*l - 5*o - 1, 4*l - 3*o - 25 = j for l.
4
Suppose 2*u = -2*x - 2*x + 24, -u - x = -14. Suppose 2*g = -0*g. Suppose -a = -g*f + 3*f - 23, -f = -4*a + 79. Solve -i = -5*l + a, 4 = -4*i - u for l.
3
Suppose 0 = -5*d + 4*d + 5. Solve 3*l = 2*n - n - 3, -d*n - 17 = l for n.
-3
Suppose 0*s = 4*s - 72. Let g = s - 15. Solve -w = w - 5*o + 9, 5*o = -g*w + 24 for w.
3
Let z be 7 + (3 + 0)/(-1). Solve 2*q - 4*j - 16 = -0*q, 0 = z*q + 4*j + 4 for q.
2
Let v = 10 + -6. Let l be (-74)/(-4) + (-2)/v. Solve 2*u + 8 = -2*b, 2*b = -4*u - l + 4 for b.
-1
Let i be (-4 + 4)/((-2)/1). Solve -d + 2*g + 9 = i, 2*d - 18 = 5*g + 5 for d.
-1
Let n(a) = -a**3 + 5*a**2 - 2*a - 4. Let m be n(4). Solve 3*o + 1 = -5*k, -1 = -m*o - k - 8 for o.
-2
Let h = 15 - 10. Let j be 1*(1/1 - -2). Solve h*t - l = 3*l + 15, -4*t = -j*l - 12 for t.
3
Let f = -1 + 2. Solve 5*q = -15, -w - q - 5 = f for w.
-3
Let p be 3*(-6)/9 - -4. Suppose 2*k - 4 = p. Suppose 4 = 4*l - 4. Solve w - i = -1 + l, -3*i - 9 = k*w for w.
-1
Let g(k) = k**2 + 17*k - 21. Let r be g(-16). Let y = 65 + r. Let h = 1 + 3. Solve 3*t = -u + 2, t + 5*u - y = h*t for t.
-1
Let y(s) = s**2 - 5*s + 4. Let h be y(4). Solve 2*o + 2*z - 12 = h, o = 3*o - 4*z + 18 for o.
1
Let g = 15 + -15. Suppose 4*m = 2*f + f - 13, g = -f - 2*m + 1. Solve -4 = -2*u + h, f*u + 2*u - 5*h = 10 for u.
2
Suppose 4*o - 321 = 5*g, -4*g - o - 257 = -4*o. Let y be 4/10 - (-26)/g. Solve 3*n - 2*l = -y*l - 2, 0 = -n + 3*l + 11 for n.
-4
Let q(o) = -o**2 + 8*o - 5. Let l be q(7). Solve -3*k = s - 8, -l*k - 18 = -0*s - 4*s for k.
1
Let g be 0 + 8 - 2/1. Let d(y) = y + 2. Let v be d(-7). Let a = 7 + v. Solve m - 3*m = a*f - g, -1 = f - 3*m for f.
2
Suppose -3*u + 36 + 3 = -3*a, -3*u + 39 = 2*a. Let m = -11 + u. Solve 5*r + 3*w = -14 - 2, -r + m*w = -2 for r.
-2
Suppose a + 6 = -2*a. Let o(u) = -u**2 - 3*u - 2. Let z be o(a). Solve z = 2*v - 3*g + 13, -4*g = -2*v - 12 - 4 for v.
-2
Let c = -4 + 3. Let i(o) = -10*o + 1. Let f be i(c). Suppose -21 = -x + f. Solve -3*t = 5*l - 7 + x, t - 15 = 3*l for l.
-5
Suppose 5*b - 4*b - 4 = 0. Suppose 0 = 4*g + b, 0*f = 3*f + g - 20. Suppose 4*q = 5*u - 24, 2*q + 14 + 18 = 5*u. Solve f*z - 2*z - u = -4*m, -4 = z - 2*m for z.
0
Let k be (2/2)/(9/18). Suppose 2*i = 4*s - 20, -s = i - k - 3. Solve s*o - 37 + 10 = -n, n = -3*o + 17 for o.
5
Suppose -15 = -3*j - 3. Let i(x) = -x. Suppose -3*y = -y + 6. Let a be i(y). Solve w = a*t - 7, j*t - 3 = t + 3*w for t.
3
Let j = 4 - 5. Let t be 9/5 + j/(-5). Let o = -2 + 4. Solve u + 1 = 4*d + o, 4*d - 2*u = -t for d.
0
Let b be ((-144)/60)/(3/(-10)). Solve 0 = s + 4*q - 3*q - 2, 0 = 2*q - b for s.
-2
Suppose 0 = -3*b + 2 - 17. Let q be (-2)/3*(b - -2). Suppose -q*i = i - 12. Solve 5*u = -4*k + 10, i*u - u = -k + 6 for u.
2
Let a = -30 - -32. Solve 2*o + 12 = -2*v, 2 = a*v + o - 6*o for v.
-4
Let v be ((-4)/1)/1*(6 + -7). Solve 4*p = 3*w + 2*w + 15, 12 = 4*p - v*w for p.
0
Let g be 3 - (3 + -3 - 0). Suppose y - 1 = g. Solve -26 = 5*k + v, 5 = -y*k + 2*k + 5*v for k.
-5
Suppose -9 = -3*a + 3. Solve -2*m + 0*l = -2*l + 8, m - a*l = -10 for m.
-2
Let k be ((-6)/8)/(1/(-4)). Suppose -3*u + h = -18, -20 = -u - 0*h + 5*h. Solve -a - 2*q - 8 = k, u*a + 11 = q for a.
-3
Suppose -30 = 2*a - 4*a. Suppose -18 = -4*v + 2, -5*b - v + a = 0. Solve x - 3*x + 12 = -b*c, 5*c = 2*x - 24 for x.
2
Let p = -19 + 13. Let t be (-1)/(-3) - (-26)/(-6). Let b be p/t*16/4. Solve -2 = h - f, -2*h + 8 = -2*f + b*f for h.
0
Suppose -q = -0*q. Let d be -2*(-1 - -2) + 4. Suppose -d*w + 3*w = k, -k = 5*w - 18. Solve 5*v + 4*n + k = -11, 3*n + 3 = q for v.
-2
Suppose 13*p + 0*p - 26 = 0. Suppose j + 4 = 3*j. Solve -2*u = -j*y - 0*y - 2, -1 = -y + p*u for y.
-3
Let k(o) = 7*o**3 + 1. Let p be k(-2). Let b = p + 83. Solve 0 = -5*l + 3*z + 28, 5*l - z + 2 = b for l.
5
Let i = 2 + -4. Let w(v) = -v**2 - v - 1. Let h be w(i). Let b = h - -7. Solve b*y + y - d + 19 = 0, 0 = -4*y - d - 17 for y.
-4
Suppose 9 = -t + 21. Suppose -2*n - 9 = -3*p, -3*n - n - t = -4*p. Solve 4*q + 29 = -0*h + p*h, 5*q = -3*h - 16 for q.
-5
Let p(f) = 2*f**2 + 2*f - 2. Let b be p(-2). Let d be 3/2 - 1/(-2). Suppose d*l + 1 = 5. Solve -n = -0*n + 3*x + l, 4 = -b*x for n.
4
Suppose 2*y = 3*y. Suppose 0*i + 3*i - 15 = y. Suppose 0 = -s - k, 19 = 5*s - k - i. Solve 0*z + 4*f = s*z, 3*z + 2 = 2*f for z.
-2
Suppose -4*d + 4*g + 29 = 3*g, 0 = 4*d + 4*g - 24. Solve 8 = -3*t + 2*w, 3*w - d = -2*t + 5 for t.
0
Let d(g) = -g**3 - 10*g**2 - 12*g - 8. Let f be d(-9). Let z = -12 + f. Solve 5*r = 3*q - 15, -4*r = 4*q - z + 19 for r.
-3
Let j be (-1 + 1)/(0 - -2). Let d = 4 - j. Solve d*s + 4*w = 4, -7*s + 3*s - 10 = -3*w for s.
-1
Let n be (-29)/(-9) + 8/(-36). Suppose -4*s = c - 9, -4*s - n*c + 6 = 3. Let z be 8/6*(s - 0). Solve 0 = 2*v + 3*v + 4*o - 11, 0 = -z*o - 4 for v.
3
Let b = 9 - 9. Solve -3*j + 8*j + 5*l = 0, b = 2*l for j.
0
Suppose 5*o = 5 + 5. Suppose 4*g - 2*x + 38 = 4, -g + 4*x - 26 = 0. Let l be ((-9)/g)/((-3)/(-8)). Solve -o*n = 4*y + 2, -l*y + 2*n + 14 = -2*y for y.
2
Let r(a) = 4*a - 3. Let d be r(3). Suppose -31 = -5*n + d. Solve 2 = -3*w - b, 4*w + 0*b - 4*b = -n for w.
-1
Let w(l) = l**2 + 5*l + 2. Let k be w(-3). Let h be 2/(-4) + (-2)/k. Let o = h + 4. Solve -12 = f - 4*z, o*f = -f + 5*z for f.
4
Let s = 7 + -4. Suppose 5*v - v + 5*q = 21, 4*q = -4*v + 20. Solve 9*i - 4*i - z = 4, v*i - 1 = s*z for i.
1
Let a(l) = -l**3 + 3*l**2 - 2*l + 2. Let m be a(2). Let t be -4*1/m*-1. Solve -2*o + 13 = h, -3*h - t*o + 17 = -2 for h.
3
Let v be (-4)/5 + 3/(-15). Let r(l) = 3*l**2 + l + 1. Let a be r(v). Let p be 85/25 + (-2)/5. Solve a*i - 11 = -j, -3 - 6 = -p*j - i for j.
2
Suppose 3*q - q - 8 = 0. Let z be 2/(((-4)/2)/(-4)). Suppose z*b - 4*v - 61 - 115 = 0, -b - 3*v = -32. Solve -5*l - 5 = 3*a, 6*a = q*l + a + b for l.
-4
Suppose -3*w = -2*o - 10, -2*w - 2*o = 3*w - 6. Suppose -4*y + 0 = w*a - 8, 4*y = -4. Solve -3*f = -2*v - a - 1, 3*v + 8 = 4*f for f.
5
Suppose -4 = 4*k + x - 5, -5*x + 5 = -3*k. Solve -m + 3*z - 3 = k, 0 = m + 2*z + 3 for m.
-3
Let c(k) = -6*k**3 - k**2 - k - 2. Let r(t) = -t**3 - t**2 - t - 1. Let p(s) = c(s) - r(s). Let y be p(-1). Solve -n - 4*n + 3*x = 2, -y*n + 3*x - 1 = 0 for n.
-1
Let c(j) = j**2 + 11*j + 15. Let z be c(-10). Solve -4*q - l + 13 = 0, -z*q + 14 = 3*l - l for q.
4
Let r(x) = 7*x - 2. Let g be r(1). Suppose j = 1, -g*q + q = j - 49. Solve -q = 4*s + 2*t, -s + 0*t = 2*t + 6 for s.
-2
Suppose 3*j - 3*g = -2*j + 28, 0 = -g - 1. Solve 5*f - 5*c = -30, 0 = -j*f + c + 5 - 27 for f.
-4
Let u(p) = -p**2 - 1. Let i(f) = -f**3 - 5*f**2 + f - 5. Let q(c) = -i(c) - 3*u(c). Let o be q(-8). Solve 2*w - 3*k - 18 - 2 = 0, -2*w + o = -2*k for w.
4
Let h = -7 - 3. Let k be (h/(-4))/(3/42). Solve -3*c = 5*n + 2 + k, 40 = -5*c - 4*n for c.
-4
Let w(n) = n**2 + 2*n. Let h be w(-3). Suppose -4*q = -h*q. Let d be q/(-4 - 0 - -2). Solve 3*z - 4*t + 1 = 0, 5*t + d*t + 4 = 2*z for z.
-3
Suppose -2*h = -3*r - 2, -h = 3*h + 3*r + 14. Suppose 10 = 3*k - 5*k. Let n = h - k. Solve 2*t = -4*y + 20, -25 = 2*t + n*t - 5*y for t.
0
Suppose 0 = 4*l + 1 - 17. Solve 4*h - k - 10 = h, -k - 14 = -l*h for h.
4
Let n = -86 + 95. Solve n = m - r, -m - r = m - 3 for m.
4
Let f = 7 - 4. Suppose -a - o = -22, -4*a + 0*o - f*o = -83. Solve p - 2*b = 2*b - a, 0 = 4*p + 5*b - 37 for p.
3
Suppose -4*b = z - 15, -8 = -2*b + b + 4*z. Solve b*m = -4, -5*m + 0*m - 5 = -4*a for a.
0
Let u = 202 - 197. Suppose -3*t + 3*l - l + 2 = 0