or s.
1
Let t = -34 - -39. Suppose -2*l + 4 + 2 = 0. Solve l*s + g - 14 = 0, 4*g + 25 + 4 = t*s for s.
5
Suppose -10 - 9 = -2*b + 5*x, -2*b = -2*x - 10. Solve s + 3*u = -5, 4*s - b*u + 0 = -6 for s.
-2
Suppose -t - 4 - 18 = v, 90 = -4*t - 3*v. Let i be (t/(-15))/((-4)/(-10)). Let r be (-1 - 24/(-3)) + -3. Solve 3*y = i*h - y, -r*h + 5 = y for h.
1
Let c be 7 - (1 + -6 + 3). Suppose 2*u - 3*r = -2*r + c, 4 = -4*r. Solve i = -4 + 5, -4*v = 4*i - u for v.
0
Suppose -4*m - 19 = -5*x, x - 6 = m - 2. Suppose -g = x*g - 12. Solve -3*n - 3*y + 19 = -8*n, 2*y - 11 = g*n for n.
-5
Let k be (9/6)/((-6)/(-80)). Suppose -4*s = k + 12. Let r be ((-6)/s)/(4/48). Solve c - 2*c = -2, l = 2*c - r for l.
-5
Suppose -5 - 9 = -d. Solve 4*z - q + 4*q + d = 0, 3*q + 9 = -3*z for z.
-5
Let a(c) = 2*c - 2. Let l be a(2). Suppose 0 = -w + 5*w. Solve -f + v = 3, -5*f - l*v = -w*f - 6 for f.
0
Suppose 0 = -8*m + 3*m + 45. Let j(b) = b**2 - 10*b + 9. Let d be j(m). Suppose -5 + 20 = 5*f. Solve 9 = i - 4*i, d = -3*q - 3*i + f for q.
4
Let n = 92 - 88. Solve -5*k - 9 = -n*u + 5*u, -2*u = -2 for k.
-2
Let q be 126/24 + (-3)/12. Solve -3*v + 4*j + 3 = -4*v, -q*j = -3*v - 9 for v.
-3
Let r(l) = l - 5. Let f be r(7). Let t be 1/1*(1 + 1). Let b be 18/3 + (t - 1). Solve 4*x + a = -13, f*x + 0*a = -5*a + b for x.
-4
Suppose 0 = 2*i - 2 - 8. Suppose -5*t - i*k + 95 = 0, 0 = -4*t - 0*t + 3*k + 97. Let d be ((-2)/4 + 1)*8. Solve 5*g - 2*f = t, g + d*f = -0*g for g.
4
Let a = -4 - -8. Suppose 4*i = 2*i + a. Solve -5*w + i*g = -g - 20, -g - 20 = -5*w for w.
4
Let g(l) = -l - 10. Let w be g(-15). Solve 2*i + 2*o - 17 = -3*i, w*i = -3*o + 18 for i.
3
Let c be (-10)/(-5)*3*1. Let l be c/(-10) - (-36)/10. Solve -4*z + 15 = l*x, 4*z - x + 5 + 0 = 0 for z.
0
Suppose -2*n - 2*n = 0. Suppose n = 3*p - 0*p. Suppose 8*i - 3*i - 5*t = 30, 5*i + 3*t - 22 = 0. Solve i*r - 35 = -2*x, -20 = -p*x - 3*x - r for x.
5
Suppose -m - 2*l - 22 = -5*m, 0 = m - 5*l - 28. Solve -m = -2*y + w, 5*w - 1 = y + y for y.
2
Suppose 0 = 6*q - 6 - 6. Solve -16 = 2*b + 2*b + 3*v, -3*b + q*v - 12 = 0 for b.
-4
Suppose -4*c = 4*a - 84, c + 3*a - 22 = 1. Solve -5*g - 2*b + 0*b = c, -3*g = -2*b + 12 for g.
-4
Let d(m) = -m + 7. Let v be d(5). Solve -6 = -2*r, -v*b = -3*r + 8 + 1 for b.
0
Suppose 0 = -m + 2*i + i + 45, -2*m + 5*i + 87 = 0. Suppose -m = 4*z - 8. Let n = 12 + z. Solve n*w = 5*b + 30, -2*b - 3*w + 16 = 2*w for b.
-2
Suppose 4*g = -4, -5*t - 5*g + 1 + 4 = 0. Solve -4*n = -y - t*n + 3, -n - 6 = y for y.
-3
Suppose 2*x - 12 = -x. Let q be (-4)/(x/(-3)) - 0. Solve -2*c = 2*d + 2*d - 2, c + q*d = 2 for c.
-1
Let t be ((-1062)/24)/((-6)/16). Let f be (-6)/9 + t/6. Solve -j = -4*g + f, -2*j + j - 5*g = -26 for j.
1
Let g be 0/(2 + 1 - 1). Solve 4*d - 3*h + 4*h + 24 = 0, -4*h - 16 = g for d.
-5
Let t be 0 + 0 + 3 + 0. Suppose -t*u = -8*u + 30. Solve -10 = -5*d + 3*w, -d + u*w + 2 = w for d.
2
Let p(j) = 7*j - 31. Let h be p(5). Solve -3*n + 2*k - 13 = 0, -7 = h*n - 2*k + 11 for n.
-5
Let p be (-7)/14 - (-2)/(-4). Let c = 8 - p. Let k = -3 + c. Solve 2*b + 28 = 4*d, -k = -5*d + 19 for b.
-4
Let o = 20 + -22. Let l = 38 + o. Solve 27 = 4*v - 3*k, 4*k - 1 = 5*v - l for v.
3
Suppose -5*f + 10 = 4*g + g, 2*g + 10 = 5*f. Solve -f*y = 2*o - 8, 2*y + 3*o - 18 = -3*y for y.
3
Let l = 23 - 17. Solve 2 = 3*t + 4*u, -t + u = -u + l for t.
-2
Suppose 3*u - 24 = 2*a + 15, -4*a = 2*u + 38. Let k be (-28)/a + 1/(-3). Solve -k*h - h - 5*m = -40, 4*m + 5 = 5*h for h.
5
Let s be -2 - 1/(3/(-6)). Solve 2*q - 4*c - 20 = s, -3*c - 21 = -0*q - 3*q for q.
4
Let l be (8 + -4)*1 + -2. Suppose -l*h + h + 4*s = 2, -3*h + s = -5. Solve d + 5 = 0, -t - h*d + 0 = 10 for t.
0
Let b be 3/(2*(-6)/(-16)). Let y be (-3 + b)*(-2 - -5). Let s = 6 - y. Solve -4*m = -5*c - 0*m + 26, s*m = -12 for c.
2
Suppose 4*r + x - 21 = -0, -x = -3*r + 14. Solve 2*a = -2*c - 10, c + 7 = 3*a - r*a for a.
-2
Let k(a) = a**3 - 8*a**2 - 9*a + 12. Let z be k(9). Solve -3*n + 3*p - 15 = 0, 4*n - 2 = -p - z for n.
-3
Let k be (-2)/4 + 2/4. Suppose k*j - 3*j + 15 = 0. Solve 0*p = -p + 1, 0 = -j*g + 2*p - 27 for g.
-5
Let o = -10 + 13. Suppose -s + 70 = 5*p, 3*s = o*p - s - 65. Solve 0 = -4*k - 4*n - 8 - 20, k + 3*n + p = 0 for k.
-3
Let x(w) = w + 2. Let y be x(1). Let b = -4 - -6. Solve 2*o = -5*k + 5, -y*k - b*k = 5*o - 20 for k.
-1
Let y(r) = 2*r**2 + 3*r. Let l be y(-3). Suppose l = -3*i + 24. Solve i*t = 25, -5*w - t + 2 = 12 for w.
-3
Let o(q) = -3*q + 2. Let f be o(-6). Let c be (5 + -10 + 5)*2/(-4). Suppose -4*r + c*r + f = 0. Solve -g = 4*d - 3, 3*d + g - r = 3*g for d.
1
Let c be (-138)/(-30) + (-2)/(-5). Solve -4*n = c*w, 2*w + 2*n + 2 = -0 for w.
4
Let z = -13 + 18. Solve -5*x = -w + 2, -z*x = -4*w - 1 - 6 for x.
-1
Suppose -4*w + 11 = -9. Suppose -c + 4*c = 3*m - 18, w*c + 10 = 0. Solve 2*b + k = -8, 0*b + 4*k = -m*b - 16 for b.
-4
Suppose n - 84 = -2*n. Suppose 0 = -3*i - 1 + n. Solve 0 = -3*u - 6, 0 = -4*t + 4*u + i + 7 for t.
2
Let k(y) = -y**2 - 5*y. Let o be k(-4). Let l be (-6)/(6/o*1). Let h be (l - 2)*2/(-4). Solve 19 = -4*j - t - 0*t, -2*j + h*t = 13 for j.
-5
Suppose -n = 5*q, -q = 4*n - 3*q - 22. Suppose 5*o - 2 = 33. Suppose -o = -4*w + 17. Solve -4*k - 2*r - w = -r, n*r - 6 = -2*k for k.
-2
Let r = 14 - 4. Let p be 25/(-10)*(-12)/r. Solve -p*f - 2*g = 21, -2*f = -f - 2*g - 1 for f.
-5
Let x(w) = 5*w**2 - 3*w - 1. Let y be x(-2). Suppose 2*s - y = -3*s. Suppose 88 = s*g - 7. Solve -g + 55 = 5*q - 4*d, -4 = -2*q - d for q.
4
Let n = 5 + -5. Suppose 2*k + 2 + 4 = n, 4*k = 5*q + 8. Let d = 7 + q. Solve x - 17 = d*w, 1 = -2*x - 2*w + w for x.
2
Suppose -5*f = -v - 13, -9 = 4*v + 3. Let j be (-1 - 0)*-2*f. Solve 2*i = -2*s - 2, j*i + i - 2*s = 23 for i.
3
Let b be (-72)/(-27)*6/2. Solve 0 = -0*q - q - 3*c - b, -2*q - 10 = 4*c for q.
1
Let l(d) = 4*d**2 + 0*d + 2 + 2 - 3*d**2 - 7*d. Let u be l(7). Solve -k - 3 = -u*b + 2*k, 5*b = 3*k for b.
-3
Let l = 0 + 2. Let g(b) = b**3 - 4*b**2 - 7*b + 6. Let k be g(5). Let m = 6 + k. Solve 2*d - 4*p = -6, -m*d - l*p + 17 - 5 = 0 for d.
3
Let c = -8 - -6. Let a(t) = -t**2 - 3*t - 2. Let x be a(c). Let m(z) = -z**2 + 6*z - 5. Let o be m(4). Solve 5*j - 3*w + x*w = 20, o*w = -j + 4 for j.
4
Let b = 17 + -15. Let s = 5 - 2. Suppose 5*w - b - s = -3*d, -2*w - 29 = -5*d. Solve -1 = -2*p - 3*n, p - 3*n + d = -p for p.
-1
Let r = 25 - 22. Solve r*x - 6*x = 6, b = 5*x + 15 for b.
5
Let z = 4 + 0. Suppose -12 = o - z*o. Solve -k - 4*h = o, 3*h = -5*k - 0*h - 20 for k.
-4
Suppose -5*s + 23 = 5*r - 3*s, 3*r - 2*s - 1 = 0. Solve -b = 3*j + 13, 2*j + 4*b = r*j for j.
-4
Let u(v) = v**3 - 15*v**2 + 2*v - 28. Let o be u(15). Solve h - 13 = 2*b + 1, o*b - 3*h + 22 = 0 for b.
-5
Let c be (-1 + (-1)/(-4))*-20. Solve 4*l - 1 = c, 4*l - 16 = h for h.
0
Let q be (-42)/7 - (-1 - -2). Let n(y) = y**2 + 8*y + 7. Let x be n(q). Solve -2*a + a - 2*m - 1 = x, -3*m + 2 = 5*a for a.
1
Let l = -36 - -38. Solve l*m - 2 = q, m + 3 = 4*q + 18 for q.
-4
Suppose 7 = 3*r + 1. Let c = -17 - -21. Solve -4*q + 5*k = r*k + 14, -5*q - 3*k = c for q.
-2
Let w = 5 - -3. Suppose 5*c - 3*i = -w + 50, -4*c + 44 = -5*i. Solve -c*b + 2*b - 10 = 2*p, -3*b - 18 = -2*p for b.
-4
Suppose 0 = t + 2*t. Suppose 4 = f + 4*w, 5*w + 13 + 2 = t. Solve -4*s + 2*q = -f, -s - 4*q = 4 + 1 for s.
3
Let o be (-10)/(-6) - (-2)/6. Let h = 33 - 29. Solve o*c + 13 = 7*c + h*p, 3*c + 3*p = 6 for c.
5
Let y(u) = -u**2 + u + 3. Let n be y(0). Suppose -93 = -4*p - r, 3*r = p - 0*p - 33. Let k = -5 - -9. Solve -4*c + k*h - n*h = -19, p = 3*c - 4*h for c.
4
Let o(v) = v - 2. Let h be o(7). Suppose 0 = 2*z - 6, y + h*z - z = 12. Let x be 6/(-3) + y + 5. Solve 2*r = k + x + 1, -r = -1 for k.
-2
Let p(i) = -3*i**2 - 34*i - 7. Let o be p(-11). Solve 0 = -y - 3, 2*y - o = 4*z - 6*z for z.
5
Let f = 7 - 7. Suppose n + n = f. Solve n = 5*t + 5*a + 15, 4*a + 5 = -3*t + 2*a for t.
1
Let s be (6/(-4))/(3/(-8)). Let a be (-2)/4 - 9/(-6). Let g = 1 + a. Solve s*o = g*u + 2*o - 8, 5*u = 2*o + 5 for u.
-1
Suppose 11*v = 16*v. Solve 4*i = 5*w + 20, 5*w + i + 20 = -v*w for w.
-4
Suppose -t + 20 = 3*t. Suppose 3*x + 8 = t*x. Solve 0 = x*c + 3*o + 31, -c + 2*o - 2 = -8 for c.
-4
Suppose -2*z + 3 = 29. Let p = 17 + z. Solve 2*d + 12 + 0 = 4*l, -p*l + 12 = 3*d for d.
0
Let u(o) = o + 7. Let n be u(-5). Solve -