- 3*k - 7 + h, k = -2 for i.
-3
Let p be (192/126 + 1/7)*3. Solve 4*q = -3*l + 5, -l + p*l + 40 = 4*q for l.
-5
Let f(u) = 2*u - 8. Let n be f(6). Suppose -h = h + n. Let l be h*(1 - (-9)/(-6)). Solve 5*x - p = 15, -3*x + 2 - l = p for x.
2
Let v(g) = -g + 27. Let b be v(22). Solve -b*s - 1 = 2*d, 3*s - 8 = 3*d + 4 for s.
1
Let u(k) = -k**3 - k**2 + 3*k + 2. Let r be u(-2). Let q(j) = r*j + 2 + 6 - j**2 - 5*j. Let s be q(-6). Solve 5*b = i + 1 + 2, s*b = -4*i + 10 for b.
1
Let l(q) = -q**2 + 12*q - 7. Let w be l(10). Let c be (-9)/(-18)*(1 - 1). Solve c = -z + 4*d - w, 0*d - d = 5*z + 23 for z.
-5
Let y be (-1)/(-1) - (2 + -7 + 3). Solve n + 5*x + 1 + 15 = 0, 12 = y*n - 5*x for n.
-1
Suppose 3*o + 0*o - 9 = 0. Solve 0 = -5*x + x - q + o, 0 = -3*x - 2*q + 6 for x.
0
Let m be (16/12*3)/1. Suppose 0 - 33 = -m*j - 5*q, 0 = -j - 5*q + 27. Solve a + 1 = -j*o, a - 8 = -o + 2*o for o.
-3
Let j(p) = p**2 - 11. Let o be j(6). Solve -11 + 6 = 2*m - k, 0 = m + 4*k + o for m.
-5
Let n be (-15)/25 + 3/5. Solve s - w + 10 = 0, -2*s - 3*w + 2 + 3 = n for s.
-5
Suppose 2*x - 4*x + 6 = 0. Solve -3*b + 15 = -a, 5 + 1 = x*b + 2*a for b.
4
Suppose -2*f - 10 = 3*f. Let v be (6/(-12))/(f/20). Solve 6 = -3*o + v*o + 3*p, 28 = -4*o + 4*p for o.
-3
Let l(c) = c + 2. Let j be l(2). Suppose -4*k = -j*t + 5*t - 109, -2*k + 77 = 5*t. Solve 2*f - 5*r + 0*r = -k, r + 2 = -2*f for f.
-3
Let q(w) = -2*w - 9. Let u be q(-6). Suppose 3*o + c - u - 6 = 0, 0 = o - 4*c - 3. Solve 5*v + o*g = -23, 5*v = 7*g - 4*g - 17 for v.
-4
Let b be 4/10 - (-65)/25. Suppose 0*s - 22 = -4*s - b*f, -3*f + 26 = 5*s. Solve 18 = -2*u - 4*q, -s = -2*u + 4*q + 2 for u.
-3
Let h be (6/(-4))/(2/4). Let l be (1 + h)/((-28)/42). Solve -3*u + l*c = -2*c + 37, -4*c = 4*u - 4 for u.
-4
Let z(w) = w**3 - 13*w**2 + 12*w - 1. Let b be z(12). Let y = 2 - 1. Let a = y - b. Solve -17 + 0 = g - 3*l, 2*g + a*l - 6 = 0 for g.
-2
Let g(l) be the second derivative of l**5/20 - l**4/12 + l**3/6 + 3*l**2/2 + l. Let n be g(0). Solve n*y = -4*u - 1 - 5, -2*y - 8 = 4*u for y.
2
Let m be (14/(-3))/((-6)/9). Let w = 12 - m. Solve w*v = 15, -2*t + 2 - 11 = -5*v for t.
3
Let t(j) = -j + 28. Let q be t(20). Solve 5*p + 10 = -0*p + 4*n, p + q = 2*n for p.
2
Let l = 8 - 5. Let c be (-3)/l - (-1 - -2). Let m be (c/(-6))/((-3)/(-27)). Solve 5*q + m*u = -17, 0 = -4*q + 2*u + u - 19 for q.
-4
Suppose 0*t = 2*t - 40. Solve 5*n = 0, -7*l - t = -2*l - 2*n for l.
-4
Let z = -10 - -6. Let q(s) = -s**2 - 5*s + 1. Let m be q(z). Solve 3*p - 2*g + 3 = -0*g, -g = -m*p - 12 for p.
-3
Let w be 14 + (3 - 1 - 4). Let s = 17 - w. Let f be 2/(-4)*(1 - s). Solve -4*b = -d - f*b + 3, 5*b = d for d.
5
Let b be (-4)/(-7) - 31/(-7). Solve l + 7 = b*n, -6*l + n = -4*l + 5 for l.
-2
Suppose i + 5*g = -0*i - 15, 19 = -5*i + 3*g. Let b = 5 + i. Solve 2 = -3*o - 2*l, 4*l + b*l + 2 = -5*o for o.
-2
Suppose 4*t - 3*a + 1 = -2, 3*t - 3*a + 6 = 0. Suppose z + 6 = t*z. Solve 0 = z*r + 15, -2*r = 3*v + 2*r + 23 for v.
-1
Let v(b) = -b - 5. Let d be v(-13). Let g be 35/(-14)*d/(-5). Solve p + 3*s = -g*p - 27, 17 = -3*p - 2*s for p.
-3
Let r be 4/5*(-40)/(-16). Solve -r = 2*p - v, -v = -0 + 4 for p.
-3
Let d(t) = t**2 - 3*t + 2. Let l be d(3). Suppose y - 6 = l*w - 3, 0 = -4*w + 16. Solve a = 3*p - y, -9 = -4*a + p - 31 for a.
-5
Let j be -1 + (-3)/(-1) - 4. Let v be j/(2/(-9)*3). Solve -5 = -0*w - 5*w, -3*w - 12 = -v*u for u.
5
Suppose 0*n = 2*n. Solve -5*p - 18 - 2 = 4*w, n = w - 4*p + 5 for w.
-5
Suppose -3*a = -2*f - 15, -10 = -3*a - 2*f + 17. Solve 2*p + 5*b = 4*p + a, p - b + 2 = 0 for p.
-1
Let q(x) = 3*x**3 - x**2 + 1. Let o be q(1). Suppose 8 = -o*z + 5*z. Solve 0 = 3*v - 2*v + c - 5, 0 = -v - z*c + 11 for v.
3
Suppose 2*m = -m + 18. Suppose 2*n + n = m. Solve 3*w + 42 = 5*u + 7, -n*u + 23 = -3*w for u.
4
Let j(b) = b**3 + 3*b**2 - 6*b + 5. Let y be j(-5). Let d be (-2)/(2 + 24/y). Let r = d + 8. Solve 0 = g + r*v + 17, -4*g = -g - 2*v - 4 for g.
-2
Suppose 2*b + 5*v = -21, 11 = 2*b - 5*v - 18. Solve 3*p - p = -b*m - 4, -4*p + 3*m + 27 = 0 for p.
3
Suppose -w + 4*w - 6 = 0. Suppose -s = -5*q - 35, 5 = 3*s + w*q + 3*q. Solve -3*r = -h - 13, -s = -2*r - 0*h + h for r.
3
Let c = -17 - -11. Let r = -6 - c. Suppose r = -2*w - 11 + 69. Solve -3*o = -2*q - 3, -5*o - 4*q + w = 2 for o.
3
Let g(o) = o + 8. Let p be g(-5). Suppose 0*l - p*l - v = -25, 4*l - 55 = 3*v. Suppose -3*w + l = -w. Solve 2 = -4*c + 3*d + 11, 4 = 3*c - w*d for c.
3
Let r be (2 - -1) + (-1 - (-4 + 2)). Solve 0 = -6*c + c - 2*q, -r*c = q + 3 for c.
-2
Let q(m) = -3*m + 3. Let o be q(-4). Solve 0 = 5*u - 3*f - o, 3*u - f - 3 = 2 for u.
0
Let d(h) = 6*h**2 - 1. Let u be d(1). Solve -f - 5 = 3*s + f, 5*s + 10 = -u*f for s.
-1
Suppose f = -3*f + 8. Suppose f*o - 43 = -3*u, -3*o = -2*o - u - 9. Suppose 5*q = -4 + o. Solve l = -l - q*j + 6, 0 = 4*l - j - 12 for l.
3
Let d = 2 - 7. Let x(u) = u**3 + 4*u**2 - 5*u. Let i be x(d). Solve -3*r + 4*w = 8, -25 = 5*r + 5*w - i for r.
-4
Let f be (0 - 10)/(-1*(-3 + 5)). Let h(x) = x**3 + x**2 - 3*x + 2. Let t be h(2). Solve p - g = 3, -g = 3*p - t*p - f for p.
-2
Suppose 26 = 2*i - 0*i. Suppose 4*h = i - 1. Let c = h + 0. Solve -c*p + 2*q - 11 = 0, 0*p + q - 3 = p for p.
-5
Let k(j) = 10*j**2 - j. Let y be -2 - (-2 + 0) - -1. Let g be k(y). Let w = g + -5. Solve -w*l = -5*p - 22, -l + 23 = 4*l - 4*p for l.
3
Let h = 5 + -3. Solve 3*z = 3, -3*z = -7*d + h*d - 8 for d.
-1
Let t(l) = -l - 6. Let k be t(-6). Let b = k + 3. Let o = -12 + 23. Solve 4*d - 18 = 5*w + 1, b*w - 2*d + o = 0 for w.
-3
Let t(s) = -2*s. Let j be t(-1). Let r be 33/6*j/1. Suppose -5*g + 20 = -4*k, 4*g = 2*k + 6 + 10. Solve -3*u - r = 2*m + 3, -3*u + m - 2 = k for u.
-2
Suppose 7*c - 2*c - 50 = 0. Suppose -3 = t - c. Solve w = n + 4, 5*n = 4*w - 28 + t for n.
-5
Let g be ((-3)/(-2))/((0 - -2)/4). Solve -5*a + 40 = g*c + 9, 2*a + 4*c - 18 = 0 for a.
5
Let y(s) = -35*s**2 + s + 1. Let g be y(-1). Let v be (-4)/7*g/10. Solve a - 4*a = v*b - 5, 0 = 3*b - 12 for a.
-1
Suppose -3*m + 3*k + 24 = 0, 3*m + 2*k = 38 - 4. Suppose z - m = 6. Solve -6*a = -2*a - 3*t - 29, 5*a = -3*t + z for a.
5
Let v(s) = s**3 - 16*s**2 - s + 21. Let q be v(16). Solve -2*r - 10 = 4*b, -4*r - 5 = q*b - 2*b for r.
1
Let f = 2 - 0. Let b = f - -6. Solve -j - 3*j - 5*y = -b, 0 = 5*y for j.
2
Let l be (2/(-6))/(2/(-78)). Let n = 18 - l. Solve 0 = 3*y + 5*q, 0 = -n*y + 2*y + q for y.
0
Let y = -49 - -51. Solve 6 = -5*i - y*b, i - 13 = 3*b - 4 for i.
0
Let s be (-12)/(-14)*28/6. Solve u + o = 0, -s*o = u - 0*o + 15 for u.
5
Let i(u) = -5*u**3 - 2*u - 1. Let m be i(-1). Suppose 4*x - m = x. Solve 0*z = 5*j + 4*z - 15, 4*j = -x*z + 12 for j.
3
Suppose -h = -2*h + 11. Let s = h + -8. Solve -u = 6*w - s*w + 1, 2*w - 4 = 4*u for u.
-1
Let h(s) = s**2 + 15*s - 12. Let n be h(-16). Solve -6*b - 8 = -3*b - n*x, 3*x - 35 = -5*b for b.
4
Suppose 4*h - 10 = 3*r - 38, 26 = 2*r + h. Solve 0 = -4*v - 2*n - 6, n + r + 3 = -5*v for v.
-4
Suppose -5*n + 3*z = 6, -4*n = 5*z - 0 - 10. Solve 5*j - 27 = -n*f - 2*f, -2*f - 3 = -j for f.
1
Let r(a) = 2*a**2 + 15*a - 8. Let f be r(-9). Solve -3*y - w = -0*y - 9, -f = -2*y - 5*w for y.
2
Let d be (3 + -12)*1/(-3). Suppose 0*x = -2*x - d*i + 3, -2 = -5*x - 2*i. Solve -4*b + 5*k - 35 = x, -5*k = b - 0*b - 10 for b.
-5
Suppose -6 = -2*h + 2. Solve h*q + 22 = 2*r, 5*r + 3 = -5*q - 2 for r.
3
Let z = 8 - 3. Solve -z*f + 4*d = -0*f - 15, 7 = 3*f - 2*d for f.
-1
Let r be 15/3 + -2 + 3. Solve -3 = -y + 3*b, 2*y - r = -b + 6*b for y.
3
Let j = -2 + 3. Solve 0 = i - 5*y + 5, 0*i - j = 2*i - y for i.
0
Suppose 0*v - 3 = -v. Suppose 5*n + a - v - 15 = 0, 8 = n - 2*a. Suppose -2*g - 25 = 3*g, -4*g - 40 = -n*x. Solve -6 + 1 = -b - r, x*b + r = 25 for b.
5
Suppose -5*h + 53 = -2*g, -3*g - 17 - 10 = 3*h. Let v = 2 - g. Suppose q - 2 = 4*f - 5*f, 1 = -f. Solve 4*i = 3*m + v, 0 = -0*m - 5*m + q*i - 12 for m.
0
Let n = 0 + 4. Suppose n*x + d = -d + 36, 4*x + 4*d = 40. Solve -3*b - 6 = -l, 4*b + 3*l = l - x for b.
-2
Let p(i) = -i**3 - 2*i**2 - 4. Let k = -6 - -3. Let s be p(k). Suppose -12 - 6 = -2*t + 4*o, -9 = -2*t + o. Solve 24 = -s*r + 3*z - 0*z, 4*r = -t*z - 3 for r.
-3
Suppose 0 = -2*a + 3*a. Solve 3*g = -3*v - 3, a = -2*v - 2*g - 3*g - 14 for v.
3
Suppose -2*b = -2*r - 0*b - 16, 5*b = 10. Let v = r - -6. Let s b