 4, -f - d*s + 12 = c for f.
4
Let a = -7 - -27. Solve 5*q + a = 5*d, 3*d = 3*q + d + 13 for q.
-5
Suppose -92 = 4*i - 8*i. Solve 0 = 4*l + m - i, 2*m - 10 = -3*l + 11 for l.
5
Let b be (-3)/12 + (-18)/(-8). Let k be 2/2*0/(-2). Suppose k = 5*v - 12 + 2. Solve 2*y - 1 = o - b, v*o + 7 = -5*y for o.
-1
Let l = -13 + 7. Let b be ((-10)/(-4))/((-1)/l). Suppose -11 - 4 = -3*v. Solve -v*g = n - 14, -3*n = -4*g - 0*n + b for g.
3
Let i be (1 + (-12)/9)*-33. Solve i + 11 = -4*q - 3*y, 4*q + 5*y + 26 = 0 for q.
-4
Suppose 4*i + 20 = -5*k + 3, -2*i - 5*k - 21 = 0. Let f be (i/(-6))/(1/(-3)). Suppose -v + f = -3. Solve -5*z + 17 = v*u, 4*u - z + 2*z = 13 for u.
3
Suppose 5*g = -1 + 11. Let l be g/(-6)*(-30)/2. Solve -s - 3*z - 15 = -l*s, -3*s + 14 = -5*z for s.
3
Let g(o) = o + 1. Let d be g(-1). Suppose -5*y - 7 + 27 = d. Solve -y*v = -5*v - 2*f + 10, 5*v = 2*f + 2 for v.
2
Let y = 20 + -17. Solve 3*o - 12 = 3*u, 0 = 2*o - y*o - 2*u + 7 for o.
5
Let l be (-1 - 1/(-2))*0. Suppose -4*n + 2*n + 4 = l. Solve 5*a = 5, 4*z - 3*a + 1 = n*a for z.
1
Let o = 5 - 3. Let f = 0 + o. Solve -4*n - 5*u = -2, -2*u + f = -5*n + 21 for n.
3
Suppose 2*f = -1 + 5. Let u be (-16)/(-9) - f/(-9). Solve -4*c + u = 2*v, -3*c + 3*v = 2*v - 9 for c.
2
Let c(h) = -4*h - 3. Let z be c(-2). Suppose 0 = t - 6*t - 15. Let o = z + t. Solve 3*w + o*k + 18 = 0, -5*k + 13 - 48 = 5*w for w.
-4
Let s be (16/12)/((-4)/(-6)). Let x = 20 + -5. Suppose -s*i - 3*t = i - 9, -2*i + t = -x. Solve -2*p = -3*g - i*p - 8, -3*g = -4*p - 8 for g.
0
Let v(m) = m**2 - m. Let j be v(2). Let k(f) = f - j*f - f. Let y be k(-1). Solve 4*u - 8 = 0, -y*u + u + 6 = o for o.
4
Let d be 6/(-3 - -6)*-4. Let o be (-22)/6 + d/24. Let z be (1 + 0)/((-1)/o). Solve z*l + 4*q = -8, 6*q - 6 = 3*l + q for l.
-2
Suppose 5*b - 44 = -3*x, -2*b = -0*b + x - 18. Let f be (2 - b/4)*0. Suppose 16 = 4*j - f*j. Solve -3*s = -0*q + 3*q + 12, -j*s = -4 for q.
-5
Let k be (-2)/((-5)/(45/6)). Let b = k + 1. Suppose -b - 4 = -4*i. Solve -5*g = 5*c - 40, 0 = i*c - c + 3*g - 14 for c.
5
Suppose -24 = u + 3*u. Let i(v) = -v**2 - 5*v + 8. Let t be i(u). Let x(z) = z + 3. Let f be x(6). Solve 0 = t*n + 5*d - 15, 3*n + 2*n + 3*d = f for n.
0
Suppose 2*y - 66 = 2*d, -d + 10 = -3*d. Suppose -w = -5*h + 35 + 30, 0 = -4*h - 4*w + y. Solve 4*r + 5*v = h, 2*r - 4*r - 4*v = -12 for r.
-2
Let r(j) = j**2 + 7*j + 5. Let b be r(-7). Suppose -3*p = b*z - 89, -p + 51 = -3*z + 6*z. Solve 5*s + 0*n + 2*n = -z, -3*s + n = 14 for s.
-4
Suppose 0 = 3*p - 3*y - 12, -4*y + 24 = 3*p - 2. Solve -q + 5*w = 15, -5*w = -2*q - 26 + p for q.
-5
Suppose 3*n = -p + 13, 0*n = -5*n - 3*p + 27. Solve 5*b + c - 13 = 0, c = n*b - 6*b + 9 for b.
2
Suppose 5*v - 22 = 13. Let i = -2 + v. Suppose i*d - 4 = 3*d. Solve -d*y = 2, 6*j = 2*j + y + 13 for j.
3
Suppose -3*o + 14 = -16. Solve -4*h + w + o = -4*w, -5*w - 10 = 2*h for h.
0
Suppose 0*m - 16 = -4*m. Suppose -101 = -3*l + 2*p, 5*l - 2*p - p - 168 = 0. Solve 5*z + l = m*d, -d = -0*d + 4*z + 18 for d.
2
Let n be -1 - (2 + -4)*5. Let r be (-9)/(-6)*30/n. Solve -3*x - 3*z - 16 = r, -4*x - 33 = 5*z for x.
-2
Let g(m) = -m**3 + 2*m**2 + 3*m + 2. Let u be g(3). Solve p + y = u*y - 2, p - 2*y = -3 for p.
-1
Let g(v) = -v - 2. Let m be g(-6). Suppose 4*j + m = 0, s + 3*j + 0*j = 20. Suppose 12 = 5*l - 2*l. Solve l*r - 2*i + 21 = -i, s = -4*r + 3*i for r.
-5
Let t be 38*2/(0 + 4). Suppose 3*y + 1 - t = 0. Solve 3*h + 2*a + a = y, -8 = -3*h - 5*a for h.
1
Let b = 9 - 5. Solve -3*l + 6 = -5*m, -5*m = b*l - 2*l - 4 for l.
2
Let y = -2 + 4. Suppose 30 = 2*m - 3*t, 0 = -3*m - 0*t + 5*t + 45. Let i be (-6)/m + (-2)/(-5). Solve -4*v - 3*c - c - 8 = 0, i = 5*v + y*c + 19 for v.
-5
Let b be 8/(-44) - 2/(-11). Let t = b - -7. Solve -u - l + t = 2*l, 4*l - 4 = 0 for u.
4
Let j(f) = -2*f**2 + 2*f + 6*f**2 - 1 + 0. Let i be j(1). Suppose -3*k + 43 = i*q, -4*q + 26 = k - 0*k. Solve -z = -2*y - 2*z + 9, 2*z = 2*y + k for y.
2
Suppose 2 = 3*d - 3*k - 7, 5 = k. Suppose 7*s + d = 11*s. Solve -4*t + s*r = -6, 2*r + 2*r = 2*t - 6 for t.
1
Let r = 8 + -6. Suppose -6 = -2*l + 4, -2*l = -r*m - 30. Let h = -10 - m. Solve 0 = -5*g - 6*q + q, h = 3*g - q - 20 for g.
5
Suppose 0 = -t - 7*t + 32. Solve -3*k = 2*r + 16, 5*r + t*k + 2 + 24 = 0 for r.
-2
Let v be (9/(-6))/(6/(-16)). Suppose -y - g + 8 = 0, 0*g - g = -3*y + v. Let m(l) = -l. Let t be m(-2). Solve 0*r = -3*r - p - t, r + y*p - 2 = 0 for r.
-1
Suppose 0 = 3*i + 15, i = n - 0*i - 9. Suppose k - 75 = -n*k. Suppose 2*g + 5 = k. Solve 5*o = 2*a - 16, 5*a - 32 + 7 = g*o for a.
3
Let r be 8/(0/(-2) + 1). Suppose 3 = -y, 3*x + 9 = -2*y - 3*y. Solve -2*w - r = v, x*v - w - 3 = 6 for v.
2
Let j = -9 - -24. Let n = -8 + j. Let u = n - 1. Solve 3*a = -3*c - u, 3*a + 2*a - 8 = 4*c for a.
0
Suppose 0 = -5*r, 3*b - 10 = b - 2*r. Let k(u) = -u**3 - u**2 - u. Let l be k(0). Solve l = n - b*v + 20, 3*n - 3*v = n - 12 for n.
0
Let h = -31 + 40. Solve -d = -4*z - 16, 2*z = -d + z - h for d.
-4
Let z be (14/21)/((-1)/(-3)). Suppose 2*p - 3*p = -5*u + 16, 2*p - z*u = 8. Solve o - p = -3*s, -4*o + 8 = -2*s + 28 for s.
4
Let i = 6 - 4. Suppose 0 = i*x - 3 - 1. Suppose 3*y - 67 = 4*c, c + 22 = x*y - 26. Solve 3*g = 2*b - 5, -3*g + b - 3*b = y for g.
-5
Suppose 2*h - 14 = 3*b - 4, -h - 2*b - 2 = 0. Solve -4*o - h*v = -8, 0 = o + 2*v - 8 + 3 for o.
1
Suppose 23*z = 26*z - 9. Solve 4*s = 4*m - 12, s + z*m = -1 - 10 for s.
-5
Suppose -3*t + 5*j = -13, 0 = -7*t + 4*t - 4*j - 32. Let z = 4 + t. Let x = 0 - z. Solve x*w = -o - 4*w - 24, -3*w = 15 for o.
-4
Let z(a) = -2*a + 14. Let k be z(6). Suppose 2*i = -2*s - 2*s + 6, 3*i = -s + 9. Let d be 9 + (-1 - 2/(-2)). Solve -7 = -b - k*l + l, -i*l = -d for b.
4
Suppose -2*r + 0*m = 2*m - 14, 0 = 4*r - 4*m - 12. Solve -3*l - r*d + 58 - 21 = 0, -4*l - 2*d + 26 = 0 for l.
4
Let d(a) = -a**2 + 11*a + 2. Let p be d(10). Solve -4*r = 3*v - p, -3 + 15 = 3*v - r for v.
4
Suppose 3*x = -2*v + 8, x - v - 2 = -2*v. Let m be (-5)/x - 1/(-4). Let n be -1 - 2/m - -2. Solve -q + 3*z + 5 = 4*q, 0 = -n*z - 15 for q.
-2
Suppose 0 = 3*n + 4 - 1, 3 = -h - 5*n. Solve -h*z - 2*i = 3 - 1, 0 = 2*z - 5*i + 30 for z.
-5
Suppose 2*n = 7*n. Let l be n*(0 + 1 - 0). Solve l*z + 5 = -5*z, 3*m - 3*z = -3 for m.
-2
Suppose 12 = -8*s + 4*s, 5*c - 13 = s. Suppose -14 = -c*n - 10. Solve -5*q = -9*f + 4*f - 10, -16 = -2*q - n*f for q.
5
Suppose 2*t + h = 3*t - 13, -5*t = -h - 49. Solve -15 = -2*i - 3*y, 3*i - t = -2*y + 1 for i.
0
Suppose 9 + 7 = 4*a. Suppose a*p - 3*p = 6. Let y(l) = l**3 - 10*l**2 + 10*l - 6. Let j be y(9). Solve -x - 2*t - p = 0, 4*x + j = -0*x - t for x.
0
Let u = 23 + -19. Solve k - 3*k + 5 = -3*s, u*k - 20 = -4*s for s.
1
Let i(a) = -a + 3. Suppose 4*r + 16 = -0*r. Let c be i(r). Suppose -c*b = -6*b. Solve -8 = -5*q - 4*f + 8, 2*f + 2 = b for q.
4
Let i = -17 + 22. Solve 4*d = 5*o + 12, -o + 4*d + 24 = -i*o for o.
-4
Let l = 13 + -10. Solve -2*r = o - 2, -l*r - 4 = -2*o + 2*r for o.
2
Let f = 1 + 1. Suppose -f*z = -0*z - 20. Suppose -4*w = 2*a - z, -5*w + 4*a = 5*a - 20. Solve -3*p + 8 = w*x + 21, -4 = -p for x.
-5
Suppose -4*o - 11 = -3*i - 0*o, -5*o = 3*i - 47. Let x be 5/((-15)/i) - -5. Solve 3*c - 18 = b, -2*b - 3*c - x*c + 19 = 0 for b.
-3
Let y = -32 + 35. Solve -y*d = -5*d + 4*s, 2*s = 4 for d.
4
Let o be 2/(-6)*0 - -2. Let u be (-2 + 2)/o*1. Let h be u + (-2 - -3) + -1. Solve -2*z - f = 5, -f = -h*z - z + 2 for z.
-1
Suppose -6*h + 3*h + 15 = 0. Let i be 1 - (-2)/(-4)*2. Solve y = 0, h*m - 3*y + 5 = -i for m.
-1
Suppose 0 = 4*c - 2*c + 14. Let g(n) = -n**3 + 3*n**2 - 2*n + 3. Let a be g(3). Let j = a - c. Solve -4 = -y, 6*v = 2*v - j*y - 4 for v.
-5
Let t(n) = -n**2 + 9. Let z be t(0). Suppose -4*q = c + 272, -2*q + 2*c - 122 = 6*c. Let u be (-1)/(q/33 + 2). Solve u = -4*w + y, 5*w + z = -5*y - 11 for w.
-3
Suppose -5*j + 2 = o, 4*o - 3*j - 3 = -18. Let a = o - -5. Let y = 5 - 3. Solve 3*g + m = 15, -g - a*m + 2 = -y*g for g.
4
Let l(v) = -v**2 - 7*v - 5. Let a be l(-6). Suppose -4*q + 0 = 4, a = -t - 3*q. Let k be 0*t/6*-1. Solve 4*y + 4*c - 20 = k, -6 = -2*y - c - 0*c for y.
1
Suppose 3*n - 36 = -0*n. Let m be -2*1*(-30)/n. Solve j - 9 = -5*d, -d - m*j + 22 = d for d.
1
Suppose -3 = -4*i + 13. Suppose 5*x + i*h - 52 = x, -5*x - h + 73 = 0. Solve -3*c + 6*c - 5 = -4*b, -5*c - x = 2*b f