-5*f - 1 for f.
2
Let k(s) = -s**2 - 5*s + 2. Let r(m) = 7 - 1 + 3 - 2*m. Let q be r(7). Let g be k(q). Solve 5*j + 4*i = 17, -3*i - 4 = g*j - 15 for j.
1
Suppose 10*t = 3*t + 21. Let r = 24 - 16. Suppose t*d - r = -d. Solve 3*g - 24 = 3*z, -d*g + 2 = -g + z for g.
5
Suppose -52 = -2*r + 4*j, 4*r + 5*j - 32 - 7 = 0. Suppose 2*i + 2*i = r. Suppose f + 2 = t - 3, 8 = -i*f. Solve 3*s - 2*v - 1 = -7*v, -v + 5 = t*s for s.
2
Suppose -112*g = -118*g + 30. Solve g*p + 6 = -4*y, 0 = -y + 1 for p.
-2
Let c = 85 + -31. Let w be (c/63)/((-1)/(-14)). Suppose 0 = 5*m + 2 - w. Solve f + v + 16 = 4*f, 4*f - m*v = 24 for f.
4
Let g(x) = -x + 5. Let n be g(0). Suppose 3*y + 5*t = 30 + 9, t = -y + 11. Suppose n = -c + y. Solve c*r = 4*a - 0*r + 1, 3*a + 4*r = -7 for a.
-1
Suppose j = -2*a + 5, -a + j - 8 = -18. Solve -5*h = -a*y - 0*y, 5*y - 4*h = -4 for y.
-4
Suppose 0*p = -4*p - 2*c + 10, 0 = 4*p - c + 5. Let q = 5 + -3. Solve -2*b = s + 12, q*s + b = -p*s - 12 for s.
-4
Suppose 14 = -9*b + 2*b. Let u be (-1)/(2*(-2)/(-16)*b). Solve -12 = 5*d + u*a, -4*d + 5*a - 32 = -d for d.
-4
Suppose 4*m = 2*m + 2. Let n(u) = 2*u**2 + 2*u**2 - 2*u**2. Let d be n(m). Solve 3*i = i - j - 1, d = 5*i + j for i.
1
Let m be -39 - (-1 + 1 - 4). Let y be (-20)/m*7/2. Let z be 4 + 6*y/(-3). Solve 3*n - 4*v = -7*v, z = -2*n - 3*v - 3 for n.
3
Let y(j) = -j**3 + 8*j**2 + 2. Let c be y(8). Suppose c*u = -u + 12. Solve -2*a = u*s - 16, 8 = -a - a + 4*s for a.
2
Let r(f) = 3 + f**2 + f + 3 + 2. Let c be r(0). Solve 2*q - s - s = -c, 0 = -4*s + 20 for q.
1
Suppose 2*c - 2*l - 7 = -l, 0 = -c + 4*l + 7. Suppose -2*y = 5*p - c*p - 12, 4*y = 5*p - 66. Solve -2*g = -p, -2*t + g - 5 = 2 for t.
-1
Let v be (-13 + -9 + 21)/((-1)/2). Solve 4*c - 3 = v*r + 7, 0 = -2*c - 2*r - 10 for c.
0
Suppose 0 = 2*x + 3*x + 5. Let v = x + 6. Suppose 7*z - z - 24 = 0. Solve v*c + 3*g + 37 = 0, -5*g - z = -4*g for c.
-5
Let c(a) = a**3 - a**2 + 3*a - 5. Let k = 40 + -38. Let p be c(k). Solve -2*o + 6 = -5*s - p, 2 = 2*o - 2*s for o.
-2
Let m(o) = -o**2 + o - 2. Let p be m(1). Let g be (10/4)/(p/(-4)). Solve 5 = 3*u - x - 2, 3*u = g*x - 13 for u.
4
Let f(v) = v**3 - 2*v**2 - 2*v + 2. Let o be f(3). Suppose 5*i + o + 5 = 0. Let l = 3 - i. Solve -l*s + 9 = -2*d, -3*d - 6*s = -s - 24 for d.
3
Let y = 14 - 11. Let c = -7 + 13. Let j be 2 + 2/8 - 2/8. Solve -y*k + u = -j, -c = -2*k + u - 4 for k.
0
Suppose -2*o = -19*o + 85. Solve -12 = 3*y, -o*y - 20 = 3*d - 3 for d.
1
Let j = -1711 + 1716. Solve -j*f = -5*g - 0*f - 45, 5*f - 40 = 4*g for g.
-5
Suppose 6*y + 2*b + 38 = 2*y, -5*y + b = 44. Let j = y + 12. Suppose -6 = j*a - 30. Solve -v - a = -0*v + 3*r, -3*r = -5*v + 32 for v.
4
Let x = 637 + -631. Solve -4*r - 5 = -5*b - x*r, 4*b - 3*r = -19 for b.
-1
Let q be (-6)/15 + -1 + (-944)/(-10). Let n = -87 + q. Solve -n*p + 4*p + 4*g = 6, 2*p + 4*g = -14 for p.
-5
Suppose 45 = j + 7. Let a be 3 - j*(-4)/(-8). Let o(s) = s**2 + 17*s + 20. Let t be o(a). Solve -16 = -t*k, -5*p - 5*k = -4 - 16 for p.
0
Let z be 3/((-9)/(-35)) - 4/6. Suppose 4 = -9*f + z*f. Suppose -c - j + 9 = -0*c, -5*c = -3*j - 45. Solve 2*o + f*t + c = -o, 2*t = -2*o - 8 for o.
-1
Let m be (6 + 12/16)*4. Solve 0 = -3*c - 4*i - m, 0 = -5*c - 5*i - 12 - 28 for c.
-5
Let x(q) = -q - 2. Let d be x(-4). Solve 0 = d*a - 5*a - 5*h - 40, 20 = -2*a - 2*h for a.
-5
Let h(w) = -2*w**3 - 2*w**2 - 2*w - 8. Let a be h(-3). Let j be (-18)/(-108) - (-1 - a/12). Solve -2*x + 17 = 5*g, 5*x - g + j = 2*g for x.
1
Let v = 0 - 0. Let o be (v/2)/(-4 - -2). Suppose o*k - 12 = -4*k. Solve -2*w - 2*a = 0, 0 = k*w + 4*a + 5 - 2 for w.
3
Let l(v) = -v**3 + 29*v**2 - 29*v + 32. Let n be l(28). Solve -4*b - a = b + 17, -n*a - 8 = 5*b for b.
-4
Suppose 2*t - 5 - 3 = -4*g, -3*t - 2 = -g. Solve -2*p + 3*p = -3*v + 14, t = p - 5 for v.
3
Suppose -20*r = -92 - 228. Solve -5*i + 8 = -2*o - 12, -4*i + 4*o + r = 0 for i.
4
Let g = -29 + 32. Let k be g/1 + 2 + -2. Suppose 2*x + 3*x - 10 = 0. Solve 4*c = -u + 9, k*u + 7 - 20 = x*c for c.
1
Suppose -4*k = -l - 5, 3*k - 5*l = k + 25. Solve 2 = 2*y + 4*b - k*b, -2*y - 1 = 3*b for y.
-5
Suppose 5*n - 12 = -g, 3*g = 2*n + 2*g - 2. Suppose -2*h = -j - 28, -n*j + 4*h - 2*h = 60. Let c = -14 - j. Solve -2*l = -4*w + c, 0 = -l - 5*w - 1 + 20 for l.
-1
Suppose -5*m = 4*h - 5, -5*h - 15 = 3*m - 5. Solve 8 = 4*v - 2*r, m*r + 0*r - 13 = -v for v.
3
Let o(b) = 4*b - 41. Let h be o(11). Solve 4*s - 4*p + 4 = 0, 4*s - 21 = -4*p + h*p for s.
4
Suppose -3*s - 541 = -4*j - 0*s, -j = -s - 136. Let y = j - 133. Solve 5*a + 6 = 4*q - 6, 2*q + 4*a - 6 = y for q.
3
Suppose -2 = w + w + 2*n, 3*w = 2*n - 13. Let p be 10 - (1 - 3/w). Suppose -s - u = 0, -3*u + p*u = 3*s. Solve 4 = i + b, s = -3*i + b - 5*b + 16 for i.
0
Suppose 0 = -0*p - p - 22. Let q = p + 32. Let h = 42 + -38. Solve -3*d - 1 = -h*d + i, 5*d - 2*i = -q for d.
-4
Suppose -t + 3 = -5. Let b be (-2 - 204/9)/((-3)/(-9)). Let l = -72 - b. Solve -u = 3*n + u + t, -l*n = u + 5 for n.
-2
Let k(l) = -l**2 + 5*l + 4. Let w be k(5). Let s = -842 - -846. Solve -5*h + 4*u - 27 = 0, 0 = h + w*u - 5 - s for h.
-3
Let n be (4 - (-1)/1) + 0. Suppose 149*w - 80*w = 72*w - 12. Solve j - w*y - 15 = -2*j, -3*y - 14 = -n*j for j.
1
Suppose 7*r - 45 = 8*r. Let b be ((-14)/21)/(1/r). Solve -2*v + b = 3*v - 2*d, -v = 3*d + 11 for v.
4
Let w(l) = l**2 - 13*l + 8. Let p be w(13). Let z = -5 + p. Suppose 8*o = z*o. Solve o = -4*k - 3*v + 11, -4*k - 4*v = -13 - 3 for k.
-1
Let j be (-6)/(-2 + (3 - -1)). Let x be 8*2 - 0/(2 - j). Solve x = -3*y - u + 3, y + 4*u = 3 for y.
-5
Let s = -14 - -18. Suppose -b + s = 1. Let y be -2*8/(-12)*b. Solve -y*z = -z + 5*f - 1, 3*f = 4*z - 11 for z.
2
Suppose 0 = -22*f - 19 + 41. Solve -5*r + 15 = 0, 0 = -4*s - 3*r - f + 2 for s.
-2
Let n be (5 - 1 - 2) + 0. Let r(y) = 0*y + 4*y - n*y - 4*y. Let p be r(-1). Solve 5*t + 2*v = -14, -t - p*v - 6 = -0 for t.
-2
Let y = 11 + -6. Suppose -2*h + 8 = 5*x - 10, -18 = -x - 4*h. Suppose 2*z - 4*q + 8 = 0, 5*z - 21 + x = -3*q. Solve y*s - 15 = 0, 4*b + z*s + 2*s = -4 for b.
-4
Let a(b) = -2*b - 5*b + 0*b**2 - 10 + b**3 - 2*b**2 + 6*b**2. Let o be a(-5). Solve l + w + 0*w = 0, o = -l - 2*w - 1 for l.
1
Suppose -36*z + 32*z = -12. Suppose -18 = -3*u - 3*d, -6*u + z*u + d + 38 = 0. Solve 0 = -2*i - m + u, -3*m = -0*m - 3 for i.
5
Let l(b) = 2*b**3 + 7*b**2 - 2*b + 6. Let y be l(-3). Solve 6*w - 15 = w, 0 = 5*v - 2*w + y for v.
-3
Suppose -3*z - 1 = -1. Suppose -2*k + 3*w + 11 = -z, -k + 7 = -3*w. Solve -k*t + g + g = -10, -t - g = -4 for t.
3
Suppose 2*h - 2 = 3*h. Let o be h + 4 + 4/2. Suppose -9 = -3*x - 3*w, 5*w + 0 = 3*x - 1. Solve -t + x*d - 3 = o*d, -5*d - 5 = 5*t for t.
1
Let v be (0/2)/(-4 - -2). Suppose v = x - 2*x + 18. Suppose -4*t + 3*r = r - x, -6 = 2*t + 4*r. Solve -2*y = -2*p + 4, 0 = 5*p - 4*y + t - 14 for p.
3
Suppose 3 = 2*g - j, -3*j - 4 = 2*g - 19. Solve 0 = -3*x - 4*m - 5, 4*x + 0 = g*m + 10 for x.
1
Let r = 38 - 26. Let p be (1/2)/(3/r). Solve d - 1 = -2*c + 1, 0 = p*d + 8 for c.
3
Let o be (-2)/7 - (-8)/(-56)*-30. Solve -5*v = -v - 4, -5*f - o*v = 6 for f.
-2
Let m be ((-8)/10)/(18/(-45)). Solve -5*t = -g + 16, t = -m*t + 5*g + 8 for t.
-4
Let y(h) = 2*h**2 + 8*h + 6. Let b be (-12)/8*(-20)/(-6). Let s be y(b). Suppose -3*j + 17 = -43. Solve -c - s = 2*l + 2*c, -4*c - j = 2*l for l.
-2
Let v be (11 + (-11 - 1))*-23. Solve -5*x - u = 24, -33*x = -28*x + 2*u + v for x.
-5
Suppose -46*s + 48*s - 54 = 0. Solve -4*t - 36 = 4*b, -3*b = t - 10 + s for t.
-5
Let z = 349 + -335. Solve v = -3*n + n - 1, 4*v = -2*n + z for n.
-3
Suppose 140*v = 113*v + 459. Solve -2*d - 7 = -g, -5*g + v = -5*d - 3*g for d.
-3
Suppose 0 = 6*t - 40*t + 170. Solve -q + 22 - 2 = t*o, -2*q = 3*o - 5 for o.
5
Let t be (60/9)/(-5)*(-441)/6. Let f = 102 - t. Solve -3*c - 8 = -f*w, -2*c + 0 + 18 = 2*w for w.
5
Suppose 0 = -234*o + 233*o - 3*u - 6, 5*u + 18 = o. Solve g - 3*g = -2*d + 2, -o*g - 7 = -4*d for g.
3
Let m(l) = l**3 - 3*l + 2. Let j be m(2). Solve j*w + 16 = 0, 2*g + 4 = -2*g + w for g.
-2
Let x be 0/(-5*(-12)/10). Let h(n) be the first derivative of 2*n**2 - 7*n + 4. Let w be h(3). Solve w*r - 4*b = -b + 3, x = 4*r + 4*b - 28 for r.
3
Let f(w) = 3*w + 83. Let c be f(-20). Suppose -2 = -5*q + c. Solve 0 = u + q*z + 10, -5*z = 5*u - z + 29 for u.
-5
Let u(n) 