 + 9 for f.
-1
Let w(g) = -g - 2. Let b be w(-4). Solve -b = 2*j - 3*j + 5*k, 0 = k for j.
2
Suppose 2*l = -l + 6. Let t(w) = 2*w - 10. Let z be t(7). Suppose 3*c - l = z. Solve -2*r + h = c*h - 2, 3*h = -6 for r.
2
Let y(r) = -r**2 - 13*r - 2. Let a be y(-11). Solve h = 2*x + 3*x + a, -5*h = 2*x + 35 for x.
-5
Suppose 3*u - 2 - 4 = 0. Suppose 0 + 8 = u*x. Solve -w - 2 = -2*r, -4*r - x*w = -0*r + 20 for r.
-1
Let a(u) = 2*u**2 + u + 1. Let v be (-8)/(-12)*(-3)/2. Let i be a(v). Solve 3*c + 3*h = 12, i*c + 17 - 5 = 3*h for c.
0
Suppose 0 = -m - m + 12. Let o be 80/m + (-1)/3. Solve 7 - 23 = -a + 4*f, 2*a + o = -f for a.
-4
Let j = -8 + 12. Suppose 5*h = -j*a - 16, 6*a = -2*h + 2*a - 16. Let v = 4 - h. Solve -3*s + 4*d = -24, -v*s + s + 5*d = -27 for s.
4
Let c = 5 - 4. Let y = -1 + c. Let i = y - -9. Solve 3*b = 2*p - 2, i*p + 4 = 4*p + 3*b for p.
-2
Let m(c) = c**3 + 5*c**2 + 3*c - 2. Let o be m(-4). Solve 3*u - 3 = -o*w - w, -w - 5 = -u for w.
-2
Let n be (-5)/2*72/(-90). Solve -5*i + 4*k + 40 = 0, -4*k - 18 = n for i.
4
Suppose -4*i = -1 - 11. Suppose t - i = -5. Let k be (2/6)/(t/(-30)). Solve k*p + 3*x = 5*x + 17, 0 = -p - x + 2 for p.
3
Suppose -685*i = -687*i + 18. Let q = 0 + -1. Let t be 3 - (q + 1) - -2. Solve t*y - 3*f + 6*f + 6 = 0, 3*f = i for y.
-3
Suppose 0 = -2*u - 7 + 11. Solve -8*r = -3*r + u*n - 2, 3*r = -5*n - 14 for r.
2
Let w be 0 + -1*(1 + -1). Let p = 3 - 0. Let v = p + w. Solve 2*r + v*r - 3*i - 20 = 0, -r + 4 = -4*i for r.
4
Suppose -p = 3*p. Suppose p = -8*r + 3*r + 95. Suppose 0 = -2*j + r - 3. Solve -a - 2*a = q + j, 2*a + 2*q = -8 for a.
-2
Let b be 10/(-4)*(49/(-35) - 5). Solve 2*j + 3*w = -4, 0*j + w = 3*j - b for j.
4
Let l(f) = f**3 + 2*f**2 - 3*f + 1. Let z = 1 - 4. Let v be l(z). Solve -4*w = -p - 2, 2*w - v = 3*w - p for w.
1
Suppose 5*j = 8 + 2. Suppose -3*p = j*y - 18, 3*y + 2*p = 7*y - 36. Suppose -5*t - 15 = -8*t. Solve 0 = 3*z + 4*v - y*v + 14, t*v - 20 = 5*z for z.
-3
Let c be (12 - -1) + (-18)/6. Let y = -1 + c. Solve -4*t = -3*i - 13 + 2, -i + y = 5*t for t.
2
Suppose -3*c + 22 = 4*h, 5*h + 3*c - 14 - 12 = 0. Suppose 8 = -2*z + 4*o, -2 = z - 3*o + h. Solve 4*a + 2 = -2*x, 4*a = -z*a - 3*x + 3 for a.
-3
Suppose -7*p - 4 = -8*p. Solve -u = -o - 2, -3*u + p = u for o.
-1
Let v(i) = i + 8. Let a be v(-6). Solve -a*f = -5*s + 20, -f + 2*s = -5*f + 8 for f.
0
Suppose 4*y - 52 = -d - 4*d, 5*d = 0. Suppose -3*q + 3*f + 6 = 0, -5*q - 4*f = -15 - y. Let l = 5 - 1. Solve w = -3*c + 11, -q*w - 3*c = -l*c - 18 for w.
5
Suppose 5*s - 3*s = 0. Solve 2*i + a - 1 = -s, 2*a = 4*i + 2 for i.
0
Let y(f) = 2*f**2 + f. Let q be y(-1). Let l = 2 + -1. Let g = q + l. Solve g*w + 3*d + 1 = 0, -7 = -5*w - 2*d + 4*d for w.
1
Suppose -9 - 27 = 3*g - 3*x, g - 4 = -3*x. Let j = g + 16. Solve 5 = -5*m, 5*m = -i + 2*i - j for i.
3
Let v = 7 + 0. Solve 4*y - 15 = 3*g, -2*g + y = -v*g - 2 for g.
-1
Let t be ((-195)/(-6))/5 - 24/16. Solve -8 + 28 = -5*p - 3*o, -t*o = 3*p + 12 for p.
-4
Let b = -6 + 11. Let y be 1*(4 + -2) + -2. Suppose -2*f + b*f = y. Solve 2*m = -4*o + 3*o, -o + m = f for o.
0
Suppose 4*s = 5*p + 4, -3*p + 1 + 3 = 4*s. Let l = -3 + 2. Let v be (-13)/1*(p + l). Solve -w = 2*u - 2*w - v, u - 2*w - 14 = 0 for u.
4
Let x = 12 + -8. Suppose -4*a = 4*f + x, 0 = -3*f - a - a. Solve 7 = k - 2*k - f*r, -6 = 3*k + r for k.
-1
Suppose 2*f + 36 = -7*f. Let l be (1/(-2))/((-2)/72). Let y be f/l + 304/72. Solve -z = g + 4 + y, -5*g = -4*z - 5 for g.
-3
Let b be (-3 + 0)*20/(-30). Solve 3*k + 13 = -b*s, 2*s + k = -k - 8 for s.
1
Let t be (-2 + 0)/((-90)/(-25) + -4). Solve l + 0*v = -t*v + 8, -l + 5*v = 12 for l.
-2
Suppose 3*k = -2*k - 195. Let l = -27 - k. Solve -4*s = -0*s - 3*c - 32, -l = 3*c for s.
5
Let n be (21 - 3)/2 - 3. Let l = 10 - n. Let h be 30/9 - l/(-6). Solve -h*f = -3*y - y + 12, -4*f + 18 = 2*y for y.
5
Let x be 5/(45/6)*(-18)/(-4). Suppose -3*g + 2*g - z - 1 = 0, 0 = 5*g - 3*z - 27. Solve 4*d + 21 = 5*q, 0 = -2*d - g*q - 2 - x for d.
-4
Let s be 8 + (1 - (5 + -1)). Solve 4*n + 4 = 0, 4*n - 6 - 10 = s*b for b.
-4
Suppose -3*g = 5*x - 128, 104 = 4*x - 2*g + 6*g. Solve 25 = -y - 5*n, 0 = 3*y + 9*n - 4*n + x for y.
0
Let d be (5 - 0)*(-3)/(-5). Suppose d*m + 0 = 12. Solve -3*j = 4*c + 26, c - m = 3*j - 3 for j.
-2
Let o = -1 - -1. Suppose -5*t + 5*n + 15 = o, 13 = -t + 5*t - 3*n. Solve -3*k + 7 = t*u, 0 = u + 2*u - 5*k - 27 for u.
4
Let g be (16/40)/((-1)/(-5)). Solve -2*m + 3*p - 6 = -m, 0 = -p + g for m.
0
Let p = -7 - -11. Suppose 2*z - p = z. Solve 2*b = -b - 3*s + 18, z*s - 16 = -2*b for b.
4
Let z = -14 - -21. Let u = 9 - z. Solve -4*f - u = -k - 3, 1 = -k - 5*f for k.
-1
Let s = 6 - -2. Let p = 13 - s. Solve l - 7*h = -2*h, -p*l = -3*h for l.
0
Let d = -13 + 8. Let c(w) = -w. Let v be c(d). Solve 4*t - k - 9 = -1, v*k + 10 = 5*t for t.
2
Suppose -7 = 5*x + 3. Let j = x - 2. Let k be (j/(-2))/(2/4). Solve -3 = -a - 5*z - 1, 19 = -5*a + k*z for a.
-3
Suppose 2*i = 6*i - 5*f - 31, f = i - 7. Solve -i*s + 12 = -2*j, -j + 5*s - 1 = 14 for j.
0
Suppose -23*p + 14 = -9*p. Let q = 2 - -1. Solve -s - p = -u, -q*s + 4 = -4*u + 5 for u.
-2
Let y be (-129)/172 - 19/(-4). Suppose -3*g + 6*g = 9. Solve -t + 14 = -g*q, -2*q = y*t + t - 2 for q.
-4
Suppose 140 = -5*t - 0*t. Let p be (2 + t)*2/4. Let y be (-10)/(-25) + p/(-5). Solve -q = y*k - 8*k - 5, 0 = -5*q + 5*k + 5 for q.
0
Let f be (6/(-15))/(1/20). Let d = 8 + f. Solve -4*z = -3*q + q + 10, 3*q - 15 = d for z.
0
Let f be 64/6 - (-2)/6. Let o = f + -4. Solve -2*n + 4*h = -14, 4*n = 5*h + 6 + o for n.
-3
Let q = -10 - -12. Solve -4*d - 20 = -0*l + l, 0 = -2*l + q*d for l.
-4
Let a be 8 + -7 + (8 - 4). Solve 5 = -4*c - a*g, 5 = -4*c + 2*c - 5*g for c.
0
Let f be (3/(-2))/(6/(-4)). Let g be 0 + 2 - (f + -4). Solve 5*s - 5 = 0, -4*h + s + 10 + g = 0 for h.
4
Let q be (-31 - -27)/((4 - 2)/(-2)). Solve 0 = 4*r - q*s - 20, 3*s = -3*r + 3 - 0 for r.
3
Let d = 3 + -3. Let k be (-12)/(-30) + 18/5. Let o = -2 + 2. Solve o = k*h + v - 2, d = h - 3*h + 5*v - 10 for h.
0
Suppose u - 5*c - 5 = 0, -2*u + 7*u - c = 25. Suppose -u = -t - 1. Solve -14 = t*w - 2*v, -w = 5*v + 13 + 7 for w.
-5
Suppose -r + 4*r = 6. Suppose -h + 1 = 0, -r*k - h - 19 = -7*k. Solve -3*g - 1 - 7 = k*a, 2*a - 3*g = -22 for a.
-5
Let i = -8 + 13. Solve -p - u = -i*u + 1, 2*p - u = -2 for p.
-1
Let l = -1 + 1. Suppose l = -4*n + n + 3. Let a = 30 - 25. Solve -a*k + 7 = -u - 0, -3*u = 5*k + n for k.
1
Let v be -1 + 1 + (3 - -1). Suppose 0 = x + 2*x - v*n + 1, -x = -5*n + 15. Let r(j) = -3*j - 8. Let d be r(-4). Solve -m + t = d*m - 22, -x*m + 28 = -4*t for m.
4
Let v = 22 - 17. Solve -a - 5*y + 3 = a, 5*a - v*y = 25 for a.
4
Suppose 0 = 21*j - 42*j + 42. Suppose 0 = -f - 5*q + 22, -4 = -2*q + 4. Solve 5*i = s - 13, j*i + 8 = f*s + i for s.
3
Let k = 11 + -3. Let j = k - 2. Solve 0*l = -2*l - 5*p - 14, -4*l = -p + j for l.
-2
Let h be ((-2)/4)/((-6)/216). Let v = h - 10. Solve -5*z + 12 = -2*p - 0, v = 4*z for p.
-1
Suppose 6*l = y + 3*l - 9, -2*y = 2*l + 6. Let z = 1 - -3. Solve 4*w = -x + z, 2*x + 6 = -y*x - w for x.
-4
Let i = 0 + 0. Let w be (5 - 1) + (-2 - i). Suppose 0*p = -3*p + 57. Solve -h = 4*d + 12, -w*h = 5*d - 1 + p for h.
-4
Suppose -3*f + 3*t + 25 = t, -4*t - 20 = 0. Suppose -4*u - u + f = 0. Solve -h = -y + 5, 0 = -3*h - 2 - u for y.
4
Let i = 36 - 35. Solve 4*t = -u - i, 23 = -4*u - t + 4 for u.
-5
Let f = -3 - -4. Let a = f + 1. Solve -a = -x - 3*x + 3*z, -2*x - z + 6 = 0 for x.
2
Suppose 3 - 11 = -2*t. Solve -k = m + 4, -4*k + 2*m + t = -5*k for k.
-4
Suppose -4*a = -2*q + 36 - 128, 0 = a + 2*q - 28. Let s be 0*4/a*-2. Solve 3*c + 15 = -3*b + 8*b, s = -4*b - 4*c + 12 for b.
3
Suppose -n = 3*n + 12. Suppose -4*c = -5*u - 8, -c + 3 - 1 = -4*u. Let o be n/c*16/(-12). Solve -2*j - o*i = i + 10, -3*i = j + 8 for j.
-2
Let z be (0 + 1 - 2)*0. Solve 2*d + 4*b + 8 = -6, d + 5*b + 16 = z for d.
-1
Suppose 4*k = 13 - 1. Let r be (-27 - -3)*k/4. Let x be r/(-10) - (-1)/5. Solve 3*p + x - 15 = l, 0 = 5*l - 4*p + 32 for l.
-4
Let k(r) = -r**3 + 5*r**2 - 6*r. Let n be k(2). Solve n = 4*g - 4*y - 16, 2*g = 4*y + y + 23 for g.
-1
Suppose q - 6*q = 0. Solve 3*b + b - 5*h - 10 = q, 3*b - 2*h - 11 = 0 for b.
5
Let h = -48 - -20. Let l be 8/h - 74/(-14). Solve 3*v = -3*p + 27, 0 = 2*p - l*v + 6 + 4 for p.
5
Let t