1, o*f - 3*p = 20 for f.
1
Let b(m) = -2*m + 1. Let k be b(-1). Let q(h) = -2*h + 29. Let t be q(13). Solve -k*r + 10 = -t*l + 1, -12 = 3*l for r.
-1
Suppose -14*c = -3*c - 264. Solve -5*y = -5*h, -5*y + 4*h - c = 5*h for y.
-4
Let w(q) = -2*q - 3. Let p be w(-3). Let z = 2 + 3. Let v(g) = g**3 - g. Let s be v(1). Solve 22 = -3*r - z*j, p*j = 2*r - s*j + 2 for r.
-4
Suppose 0 = 2*g - 9 + 3. Let t(r) = r**3 - r**2 - 3*r - 4. Let s be t(g). Solve s = -4*f - j, 5*f = 7*f - 2*j for f.
-1
Suppose -b = -6*b + 10. Let n = b + -2. Suppose -2*z + z + 3 = n. Solve -3*c = -0*j - 4*j - z, 0 = 2*c + 4*j - 22 for c.
5
Suppose -c + 0*c = -2. Suppose -v + c = -3. Solve 0*l + 3*p - 6 = -l, -1 = -2*l + v*p for l.
3
Suppose -2*t = t - 12. Let k = t - 2. Solve 0 = -r + k*l, -2*l + l = 2*r + 5 for r.
-2
Let s = 15 + 3. Solve -5*z - 2*j = -z + s, 3*z = -j - 13 for z.
-4
Suppose 2*n + 1 = -s + 5, -3*n = 2*s - 12. Solve b - 5*p + 19 - 4 = 0, -2*b - s = -4*p for b.
0
Suppose 103*v + 25 = 108*v. Solve 0*f + v*b + 7 = 4*f, 5*b + 1 = 2*f for f.
3
Suppose -5*j - 3*x = -13, 0 = j + 3*j + 5*x. Solve 2*c - j*t = -17, -3*c + 2*t = c - 6 for c.
4
Suppose -5*u + 4*u + 6 = 0. Solve -v - 17 = -u*v + 2*m, -3*v + 7 = 2*m for v.
3
Let m(j) = -j**2 - 6*j - 5. Let k be m(-5). Let h be 5 + -3 + k/(-2). Solve 0 = -5*v, v + 0*v - h = -2*l for l.
1
Let x = 14 - 9. Suppose 0 = -0*j + x*j. Solve -4*t = -2*q + 4, 4*t - 6 = -3*q - j for t.
0
Suppose 2*h = -8 + 20. Suppose 3*b - h = -4*i + i, 3*b + 12 = 0. Suppose 4*k + 12 = i*k. Solve -5*w - k = 3*t - 2, 8 = 5*w - t for w.
1
Let w = 16 + -10. Suppose -3*o - x = -5*o + w, 4*x = 8. Solve 2*l = -o*z + l - 9, 17 = 3*z - 4*l for z.
-1
Let l = -4 - -2. Let s be (-2)/4 - 7/l. Solve 0 = 2*k - s*j + 3, 0*k + 5*j - 6 = 3*k for k.
3
Suppose -5*l = -r + 17, 0*r + 4*l = -4*r - 4. Suppose r*h = 3*h - 1. Solve 0*s + 2*n + 1 = s, 0 = -s - 2*n + h for s.
1
Let w(g) = -3*g - 2. Let j be w(-2). Suppose 5*h + 0*h = 220. Let s = h + -20. Solve -3*k - s = -5*x, -3*x - 15 = j*k - 4*x for k.
-3
Let i = -7 + 11. Let x = -18 + 20. Suppose x = i*p - 22. Solve -v - 2 = b - 5, -3*v = p for b.
5
Suppose -4*h + 13 = 3*a, -4 + 7 = -h - 2*a. Solve 3*s + 2 = 4*n + 5*s, -3*s = -4*n + h for n.
1
Let a = -40 + 42. Solve 0 = h + f - 2, h - a*f = -3 + 2 for h.
1
Suppose -5*f = 6 - 21. Let l(i) = 4 - 2*i - 4*i - f*i + 5*i. Let m be l(-5). Solve 0 = -z + 5*r - m, -3*z + 0*r + 2*r = 7 for z.
1
Suppose 2*x - 3 = 5*p, x + 5*p = -54 + 63. Let v = -5 + 7. Suppose 4 = v*k + 2. Solve x*u = -n + 3 + k, 5*n - 20 = 4*u for u.
0
Let p = 17 + -9. Let d = p + 1. Solve m + 4*k = -0*k - d, -m - 5 = 2*k for m.
-1
Suppose -2*i = 2*i - 8. Suppose -5*p + i*p + 6 = 0. Solve p*d - 12 = -0*m + m, 3*m = 3*d - 24 for m.
-4
Let h = 6 - -9. Let q = h - 15. Solve q = -4*n, v = -v - n + 8 for v.
4
Suppose 2*u = -u + 2*b, -2*u - 4*b = 0. Let p be (u*(-3)/9)/2. Suppose -n = -2*o + 7, o - 6*o + 13 = 2*n. Solve -2*t + 8 = -l, p*t + 15 = o*t - 3*l for t.
3
Let y(q) = -4*q + 1. Let t be y(-1). Let c be 0 - (t + 0) - 2. Let x be (-4)/14 + (-30)/c. Solve x*g + 10 = -0*g - 2*r, -25 = -5*g + 5*r for g.
0
Suppose -3*l + 62 = -2*b, -27 = 2*b - l + 31. Let k be (b/6)/((-14)/(-21)). Let s be (-2)/1 - k - 2. Solve 3*z - 13 = -5*j, -4*j = -s*z - 0*j - 5 for z.
1
Let k be (2/(-6)*-2)/((-30)/(-135)). Solve -3*u = 3*b - 4*b + 3, -3*u + k*b = 3 for u.
-1
Let z(s) = -s + 10. Let y be z(-7). Solve 4*c + 5*t = 30, -3*c - t + 0*t + y = 0 for c.
5
Let x be -1 + -1 + 1 + 7. Let y = -4 + x. Suppose 0 = -4*n - 16, 2*s - 12 = -s - 3*n. Solve y*d + d = w - 5, 3*w - 2*d - s = 0 for w.
2
Let g = -5 + 9. Suppose 1 = a, 4*s - g*a - 7 = a. Let p = s - -2. Solve y + 2 = -3*i, 0*i + i - p*y = 26 for i.
1
Suppose -19 = 3*o - 4. Let j(r) = r**2 - 4. Let d be j(o). Solve -3*y = 3*i + d, i + 3 = -2*y + 3*y for i.
-5
Let b(v) = -v + 14. Let t be b(10). Solve -3*z - 3 = 2*h, 5*h - 6*z + t*z - 2 = 0 for h.
0
Let j = 18 + -10. Suppose 0*m + 4*m - j = 0. Solve -m*z + 3*k - 13 = 4*k, 0 = z + 4*k + 17 for z.
-5
Suppose u = 1 + 5. Solve 3*s = -2*l - u, -6 + 33 = -3*s + 5*l for s.
-4
Let a = 5 - 8. Let r = a - -2. Let u be 12/(3 + 2/r). Solve 2*i + 2*g - u = -30, -3*g - 23 = 2*i for i.
-4
Suppose 1 = 3*y + 19. Let d = 13 - 7. Let o = y + d. Solve -3*s = -4*z + 20, o = -0*z + 2*z - 2*s - 10 for z.
5
Let b(o) = -o**3 + 3*o**2 + 3*o - 2. Let r be b(3). Solve 3*f + 5*c - 19 = 6*f, -f - 5*c + r = 0 for f.
-3
Suppose 3*t - 49 = 17. Suppose -5*j - 1 + t = -3*p, 0 = 2*p - 4*j + 16. Let x = p + 4. Solve -5*d + x*z = -30, -z = 3*d - 4 - 3 for d.
4
Let u(t) = 3*t - 17. Let w be u(7). Solve -q - 13 = 5*m, -2*m + 5*m = w*q - 17 for m.
-3
Suppose -2*t = -8, 48 = w + 2*t - 0*t. Let n be 104/w - 2/(-5). Solve n*m - 4 = -2*c, m - 20 = 3*c + c for c.
-4
Suppose -7 - 17 = -m. Suppose n - 12 = 4*h + 7, -n = -2*h - 9. Let k = h + 7. Solve 0 = -2*v + 3*g - 4, -k*v - v + m = 3*g for v.
4
Let t be ((-4)/14)/(1*(-4)/56). Solve -5*w + w = -3*a - 26, 0 = t*w - 4*a - 28 for w.
5
Let l(q) = q**2 - 5*q + 3. Let j be l(5). Let n = 5 + j. Let i be n/(3 + -1) - 1. Solve -p + 2*r + 2 = 6*r, i*p - r - 6 = 0 for p.
2
Let b = 9 - 2. Suppose -3*t + 8 = -b. Solve 0 = -w - 2*n + 7, 2*n = 3*n - t for w.
-3
Let d be (-4)/(-6) - (-20)/6. Let f be (-105)/(-14)*4/3. Suppose -4*a = -42 + f. Solve 11 = 3*q + d*u, u = -2*q - 2*u + a for q.
1
Suppose -4*c + 3 = -5. Suppose 0 = -2*a + c, 6*q - 2 = q - 2*a. Solve g + 5 + 4 = -2*p, -3*p - 5*g - 10 = q for p.
-5
Let l be (-4 - 0)/8*-4. Let d = 2 - -2. Let h be (2/d)/((-2)/(-8)). Solve 8 = -j - a, 3*j + l = -j + h*a for j.
-3
Let l be 7 - (-2*1)/((-4)/6). Solve 5*k = -4*i - 37, -l*i = i + 5*k + 40 for i.
-3
Suppose -3*p + 6*s - s = -22, 4*p = -2*s + 38. Suppose -5*o - 15 = d, -4*d + 6*o + p = 3*o. Solve 3*z - t + 10 = -0*t, 4*z + 2*t + 30 = d for z.
-5
Suppose -4*r + 5*n - 10 = 0, 0*n + 6 = 3*n. Let m = 1 - r. Let g = m - -18. Solve -3*p + 8 + 13 = -3*c, c = 5*p - g for c.
-4
Suppose -5*t + 27 = 12. Solve r - 2*h + 8 = t*h, 2 = 2*h for r.
-3
Let i(v) = -2*v**3 - 17*v**2 - 8*v + 4. Let c be i(-8). Solve 10 = 5*q, -2*q + 0 = 5*j - c for j.
0
Suppose 4*a - d - 14 = 2*a, 5*a = -d + 21. Solve -3*f + 0*s - s - 2 = 0, 5*s = a for f.
-1
Suppose -4*j = -5*m - 9 - 7, -m = -j + 4. Suppose 0 = -j*v - v + 20. Solve -2*t - v*c - 26 = -4*t, -2*c - 3 = t for t.
5
Let p be (-13)/((1/(-1))/(-1)). Let l(v) = -v - 13. Let i be l(p). Let j = 1 - -5. Solve j*b = b - 2*o - 14, o + 2 = i for b.
-2
Suppose u + 2*u - 21 = -4*r, 2*r = 5*u - 9. Let t = 9 - u. Suppose -t = -b - 3. Solve -5*y + 5*p = p + 25, -3*y = b*p - 12 for y.
-1
Suppose 2*c + 112 - 8 = 4*z, -2*z = 2*c - 46. Let h = z + -15. Solve 2*j + t - 2 = h, 0 = 2*j + 4*t - 18 for j.
5
Suppose 5*d + n = -0*n + 4, 0 = -d + 3*n + 4. Let m be (-2 + 1)/(d/(-5)). Solve -3*x - 4 = -4*g + 1, 10 = m*g for x.
1
Let n = 44 + -29. Let p be (-10)/n*(-3 - 0). Solve 0 = -5*s - 0*o - p*o + 21, -15 = -3*s - 2*o for s.
3
Let v be 21/4 + 8/(-32). Solve -12 = 3*f - 3*s, -f - 3*s + v = -7 for f.
0
Suppose -n + 6*n = 15. Suppose n*k + k = -108. Let q be (2/(-3))/(1/k). Solve -w + 4*r = -q, -7*w - 33 = -3*w + 5*r for w.
-2
Let z(s) = -s**2 + 4*s + 16. Let u be z(-2). Let y be -1*18/(-5)*25. Let n be (-2)/8 - y/(-8). Solve u*m = 4*h + 9 + n, -4*m + 12 = 0 for h.
-2
Let p(r) = 2*r + 2. Let z be p(-3). Let h = z + 12. Let u = h + -5. Solve -3*k + a - u + 10 = 0, 5*a = -5*k + 5 for k.
2
Let f = -7 - -10. Solve -2*w - 1 = -3*o, 0 = f*o + 2*o - 15 for w.
4
Let b(z) = -z + 10. Let m be b(5). Suppose l = 4 + 1. Solve -l*f = m, 4*d + 3*f + 9 = 2*d for d.
-3
Let c(k) be the first derivative of -1/2*k**2 - 2 + 21*k. Let s be c(0). Solve p = 5*a + s + 1, -14 = -2*p + 4*a for p.
-3
Let o = -36 - -44. Solve -2*m = -4*r - 28, 3*r - o*r - 3*m - 13 = 0 for r.
-5
Let p(g) = g - 1. Let f be p(-3). Let z(d) = -d. Let c be z(f). Solve -2*a + 7*a = -4*m - 4, -24 = -2*m + c*a for m.
4
Let v = -20 - -21. Solve -l + o - 6 = v, -4*l = 5*o + 1 for l.
-4
Let f = -5 - -7. Solve -4*b + 0*b - 4*x = -4, 16 = f*b - 5*x for b.
3
Let s(w) = -w - 11. Let m be s(-11). Solve -3*b = -m*b + 3*g - 15, 5*g - 17 = -b for b.
2
Suppose -3*c + 5 = 4*i, -i = i + 3*c + 5. Solve -i*h - 9 = -b, 5*b = -h - 0*b - 7 for h.
-2
Let i be 10/((1 - 5)/4). Let a be (-2 - 1)/(6/i). Solve -3*f + a = -5*z, 0 