- 2*s - 14 = 0, 0*s + 2*s = -6 for f.
2
Let l be (-12)/(-21)*(-14)/(-4). Solve -2*r = l*n - 2 + 8, 0 = n + 2*r + 1 for n.
-5
Suppose -4*u + 4 + 0 = 0. Let b(a) = 2*a + u + 4*a - 9*a - 11*a. Let j be b(-1). Solve 0 = g - 4*i - i - 21, -g - j = 4*i for g.
1
Suppose 4*b + 0*n - 4 = 4*n, -2*b = -3*n. Solve 5*z - 5*i + 0*i - 20 = 0, 0 = -3*z - b*i - 6 for z.
1
Let k = 35 - 23. Suppose 7*n - k*n = 0. Solve 4*l + 6*c - 10 = 4*c, n = -2*l - 5*c + 17 for l.
1
Suppose 5*t - 5*v + 75 = 0, 2*t - 7*t + 3*v = 81. Let q = 34 + t. Solve j + q = -3*k, -3*k + 6*k - j + 8 = 0 for k.
-4
Let t = -132 - -137. Solve -2*h + 19 = -h - t*c, -4*h = 4*c + 20 for h.
-1
Let z be (-5)/5 + (-2)/(-2). Solve 0 = j - q + 2, 2*j + 2*q = -z*q for j.
-1
Let l(p) = -p**2 - p + 2. Let d be l(0). Let f = d - -2. Solve -2*a + 24 = 2*q + 2*a, 4*q = f*a for q.
4
Let c be (0 - 4/1)*-1. Suppose v + 5*j - 12 = -0*v, v = j. Solve -4*f + c + v = x, 3 = -x + 5*f for x.
2
Let o(i) = i**2 + 16*i - 68. Let h be o(4). Suppose 7*d - 10 = 2*d. Solve 0 = -2*f - 4*q + h, -d*f + 2*q = 3*q + 3 for f.
-4
Let q be 1/(-1) - (-6 - -1). Let i(u) = u + 1. Let m be i(q). Suppose r + 7 = -r + 3*p, -5*r + 4*p = 0. Solve 5*f + r + 1 = 0, -3*z + m*f = -11 for z.
2
Suppose -91*s - 20 = -96*s. Solve -s*m - 4*f = 0, -3*m - 5*f + 0 = -2 for m.
-1
Let p = 10 + -7. Suppose -12 = -p*u + 3*s, -2*u - 5*s = u + 4. Let c = 2 + 2. Solve -2*m - c = -2*l - 2*l, -m - u*l = 6 for m.
-4
Suppose -c = -8 - 2. Suppose c = 4*x + 2. Solve x*i - 10 = -a + 3*a, -3*i - 4*a = 13 for i.
1
Suppose 4*p - 4*o = 0, 2*o - 8 = -5*p + 5*o. Solve b - 3*i + 0 + 2 = 0, 0 = 3*b - 4*i - p for b.
4
Suppose -r + 3 + 0 = 0, -2*y - 5*r + 23 = 0. Let o(k) = k**2 + 11*k - 3. Let x be o(-10). Let l = x + 23. Solve -z = -4*p - y*z - 5, p + l = z for p.
-5
Suppose 0 = 4*l - 2*l - 4. Let y be 45/(-6)*8/(-6). Let i = y + -7. Solve l*f - 1 = -i*k + 11, k = 3*f + 4 for f.
0
Let a(g) = 2 - 1 - 5*g + 4*g. Let r be a(-3). Solve 0*f + 23 = -5*f + r*y, -2*y = f - 1 for f.
-3
Suppose 4*d - 2 = q + 11, -16 = q - 5*d. Let g be q/3*-3*5. Solve -5 + 1 = g*p - 2*a, -a = -p + 1 for p.
-2
Let y(u) = u**2 + 7*u + 5. Let d be y(-7). Solve -d*s = 4*i + 15, 2*i + 3*i = 0 for s.
-3
Let b = 42 - 39. Suppose 0 = 3*a + 15, -2*a - 31 = -3*f + 3*a. Solve -f*l - 22 = b*l - z, 5*l + 2*z + 31 = 0 for l.
-5
Let q be ((-9)/(-15))/((-1)/(-5)). Let k = -15 + 15. Solve -q*w - 9 = -5*o, 5*o - 3 = -k*o + w for o.
0
Suppose 4*v = 16, -2*k + 1 = 4*v - 21. Let w be k*(5 + -2 + -2). Let n = 18 - 3. Solve w*d + 2*j = 4*j - 11, n = -3*d + 3*j for d.
-1
Suppose -s + 0*s - 2*i = 4, -3*i - 15 = 0. Let b = s - 3. Solve 2*x = -2*x + 5*d + 1, -24 = -b*x - 4*d for x.
4
Let x(g) = g - 4. Let d be x(8). Suppose -d = 3*i - 7. Solve -25 = 4*a - 4*p + p, p = -a - i for a.
-4
Let u be (0 + -4)*(-3)/4. Suppose -u*k + 2 = 5*c + 3, c + 11 = 3*k. Solve k*g - 2*b - 18 = 0, -3*g - 3*b + b + 6 = 0 for g.
4
Let i = -19 + 23. Solve -2*n - 5*d = -20, -9 = -3*n + i*d - 2 for n.
5
Let k be (19 + -3)*1 + 0. Solve -4*c + 5*l = -k, -l = -3*c + 2*l + 9 for c.
-1
Suppose -n + 2 - 1 = y, 1 = -n - 3*y. Solve 3*a - 3*g = 24, 2*a - n = g + 11 for a.
5
Suppose -2*d - 2 = -2*y, -d = -4*y + 7 + 3. Solve -r = -y*i - 8, -3*i + 0*i = 6 for r.
2
Suppose -24 + 4 = -4*c. Suppose 3 = 2*q - c. Solve 0*s + s = 2*w + 5, 0 = -q*w - s + 5 for w.
0
Suppose 0 = -0*x + x - 8. Suppose -5 = -4*r - 1. Let m be 2 + r - (6 + -7). Solve m*a + x = -c - 3, 2 = -c - a for c.
1
Suppose -2*n + 8 = -3*r, -1 + 5 = n - r. Solve v = -j - 4, 0 = 5*v - 0*v - n*j + 11 for v.
-3
Let w = 55 - 52. Solve -2*q = f + 7, -f + 3*q - 17 = w*f for f.
-5
Let l(x) = -2*x**3 - 3*x**2 - x - 1. Let r be l(-2). Let n(v) = -3*v + 3*v + r - v. Let b be n(0). Solve -t + 2*t - 3*u + 10 = 0, b*u = -4*t + 45 for t.
5
Let a be 1/(-3) - 63/(-27). Solve 0 = -4*g - a*c + 16, 4*g = -3*c + 6*c - 4 for g.
2
Suppose f + 0*f = -5. Let p be -10*(5/2)/f. Solve 3*u + b + 16 = 0, -4*u + p*b - 2 + 6 = 0 for u.
-4
Suppose 3*t = 5*y - 19, -5*y - 5 = -5*t - 4*y. Solve -j + q - t = 0, -2*j + 3*q - 1 = 4 for j.
-1
Suppose -4*j + 5*q + 4 + 0 = 0, -5*j + 50 = 5*q. Solve 4 = 5*d - 2*c + 2, d = -c + j for d.
2
Suppose 2*k - 4*g = 22, 5*k + 2*g = -2*g + 13. Let m = 9 - k. Solve 4*q = 5*z + 20, 4*z - m - 1 = -q for z.
0
Let n be (-154)/56 + (-1)/4. Let a be 30/(n/12*-6). Solve 3*d - 8*g + 3*g = 1, -4*d = 4*g + a for d.
-3
Suppose -3*j + 5*u - 28 = 0, -j + u = j + 21. Suppose 4*z = 2*z - 4. Let y = z - j. Solve -6*v - y = -3*h - v, -4*v + 12 = 4*h for h.
3
Let b be (-25 - -29)/(-1 + 3 + -1). Solve -b*s + 16 = 5*t, -3*s + 3*t = -2*t + 23 for s.
-1
Let p be (-3 - -5)/((-2)/(-41)). Let l = p - 20. Let v = 2 + 7. Solve b = -3*w + 3*b - l, v = -3*w - 2*b for w.
-5
Suppose 3*m = -18 - 15. Let p = m - -15. Solve p = 3*j + r, -5*j - 2*r + 4 + 3 = 0 for j.
1
Let v(j) = 7*j - 2. Let g be v(1). Suppose 2 + 93 = g*f. Solve q + f = 5*c, 0 = 5*q - 2*q + 12 for c.
3
Suppose 3*k + 2*q = -q + 21, -4*k = -2*q + 2. Solve 1 = -3*x - k*b - 1, -x + 3*b = -3 for x.
0
Let y be -3*4/((-8)/2). Suppose 0*u = -g + y*u + 5, 3*g - 5*u - 15 = 0. Solve 2*t + t + 10 = g*a, -5*a + 30 = t for t.
5
Suppose 4*w - 4 = 0, -g + 10 - 1 = -2*w. Solve -18 = -3*l + 7*l + 2*h, 3*h + g = -2*l for l.
-4
Suppose 0 = w + 5 - 17. Solve -5*n - 5*s - 10 = 0, 5*s = -4*n + 1 - w for n.
1
Let y = -159 + 163. Solve -4 = -4*k + y*m, 29 = -3*k - 4*m - 3 for k.
-4
Let k = -5 + 8. Suppose 0 = d - 5*v + 18, 2*v = -2*d + k*v. Solve -4*s + 16 = 0, -h - 5*s + 29 = d*h for h.
3
Suppose 0 = -3*d + 5*r + 25, 0*r - 20 = 3*d + 4*r. Solve -n = 2*c - d*c, -2*c = -n + 8 for c.
-2
Let u be ((-40)/(-50))/((-4)/(-10)). Solve -5*v = -2*q - 8, q + 16 = -u*v - 3*q for v.
0
Let z(v) = v - 1. Let q be z(-3). Let y = -2 - q. Suppose 0 = u - 3*s + s - 3, 5*s - 25 = -4*u. Solve u*p - 3 = -3*k - 4, -y*k - 3 = p for p.
1
Let m(y) = -y + 5. Let t = 1 - 1. Let f be m(t). Suppose 3*z - 6*z = -5*x + f, -4*x - 2*z + 26 = 0. Solve j = 3*w - 11, -j = 5*w + x*j - 45 for w.
5
Suppose -2*w + 20 = 2*o, -5*o - 4*w + 26 = -26. Suppose -2*n = n - o. Solve 26 = -n*j + 2*m - 0, -4*m = -j - 17 for j.
-5
Let k = 3 + -2. Solve -k = 4*t - p - 4, -4*t - 2*p = -6 for t.
1
Suppose -1 + 5 = 2*x. Solve 5*o = 4*r - 10, 0*o = -4*o + x*r - 8 for o.
-2
Let x(p) = -p**2 + 3*p + 4. Let y be x(4). Let l = 0 + y. Suppose l = -4*r - r + 25. Solve -i - 2*w - r = -0*i, 2*w + 2 = -4*i for i.
1
Suppose -2*i + 20 = 3*i. Solve 0 = -i*n + 3*q - 20, 4*n + 0*q = 2*q - 16 for n.
-2
Let t = 42 - 40. Solve -6*m + 3*z - 25 = -t*m, 2*z = 4*m + 22 for m.
-4
Suppose 10 + 36 = 5*v + 4*k, -k = 3*v - 22. Let i be (2/4 - 0)*v. Solve w + 2*a + 0 = -3, -w + a = -i for w.
1
Let m be 1 + 1 - 6 - -8. Let q be ((-3)/6)/((-2)/20). Solve 0 = m*a - 20, 7 = -q*f + 4*a - 38 for f.
-5
Let q(c) = c + 8. Let t be q(-5). Suppose t - 5 = -u. Solve 0 = a + 4*h + 3, 5*h + 1 = u*a - 19 for a.
5
Let h be 128/(-24)*(-3)/2. Let w = h - 11. Let c be 0 - (w - (0 + -1)). Solve 3*t + 5*g = 28, c*g - 13 = -3 for t.
1
Let r = 22 - 12. Suppose 4*o - 2*u = 2*u + 16, -4*o - 4*u = 16. Let y(w) = w**3 + w**2 - 2*w + 3. Let m be y(0). Solve a - j + r = o, 4*a - m*j + 30 = -j for a.
-5
Suppose 95 - 23 = 4*r. Let i be ((-69)/24 - -3) + 31/8. Solve 4*f - 2*t = r, t + 8 = -i*f + 23 for f.
4
Let p be 3 - 19*2/(-2). Solve 0 = -3*m - m - 3*u + p, 0 = u - 2 for m.
4
Suppose 10 + 2 = 3*y. Let i = -2 - -5. Suppose -i*u + 5*c + 5 = 0, 0*u - y*c = -u - 3. Solve -4*w = 2*r - 8, u*w - 65 + 25 = 5*r for r.
-4
Suppose 0*d - 2 = -d. Suppose d*k - 12 = -2*k. Solve -5*u + k*v = -16, -v + 2*v - 18 = -3*u for u.
5
Suppose 0 = 5*j - 4 + 154. Let p = 4 - j. Solve -3*m = -2*u + 19, 4*m = 5*u + m - p for u.
5
Suppose h = 5*h - 52. Let f = 15 + h. Solve -20 = 6*g - 2*g, 0 = -4*m - 4*g - f for m.
-2
Suppose 5*g - 4*g + 11 = 2*u, 3*g - 17 = -4*u. Solve -u*q + w - 24 = 0, q + 2 = w + 2*w for q.
-5
Let r(z) = 2*z**2 - 3*z + 3. Let k be r(2). Let y(l) = -l + 9. Let x be y(7). Suppose -5*u + 4 = x*d, 2*u = 3*u. Solve d*i - 2*j = -3*j, 0 = k*i - 2*j for i.
0
Let q = 3 + -6. Let a = 5 + q. Solve 10 = a*k, -2*h + 5*k - 8 - 15 = 0 for h.
1
Suppose -16 = -4*h + 2*h. Let s(f) = f**3 - 8*f**2 + f - 2. Let z be s(h). Suppose 4*j + j = 15. Solve y + 9 = 5*y + 5*a, 3*y + j*a - z = 0 for y.
1
Suppose 17 = -d + 3. Let y = d +