lve -a*f + 1 = c, -5*f + 3*f - 2*c = -6 for f.
-1
Suppose 0 = -3*g - 22 + 10. Let w be (g - (-2)/2) + 0. Let k = -3 - w. Solve -3*x + 3*p - 9 = k, -x + 1 = 2*p - 5*p for x.
-5
Suppose -3*q - 3 - 3 = 0. Let b = 2 - q. Solve 12 + 12 = -3*a + b*w, -4 = 4*a + 4*w for a.
-4
Let f(k) = -k - 19. Let g be f(-23). Solve c - 3*u = 0, -4*c - g*u - 5 = 11 for c.
-3
Suppose 0 = l - 10*l + 27. Solve 4 = -m - 4*i - l, -4*m - i + 2 = 0 for m.
1
Let v be (2/(-5))/(2/10). Let n = v + 0. Let l = n + 4. Solve 5*m + 3 + 3 = -i, -m - l = 0 for i.
4
Suppose 0*l = 5*k + l - 12, -3*k = -5*l + 4. Suppose -k = -r + 1. Solve -3*y + p + r = -4*y, -5*y + p - 27 = 0 for y.
-5
Let n be 1/(-4) - 85/(-20). Solve 0 = 4*k + 2*s - 16, -2*k + 4*k = s + n for k.
3
Let d = 7 + 0. Suppose 28 = -2*f + 5*c, -3*c = 2*f - f - 8. Let g = f + d. Solve 5*r - 4*h + 2 = -g, 0 = 3*h + 15 for r.
-5
Let t(b) = 2*b**2 - 2*b - 4. Let r be t(-6). Let w = r - -12. Suppose -6*u = -2*u - w. Solve 2*s = -4, s = 4*f + f + u for f.
-5
Suppose -3*j = -z - 43 + 6, -29 = -j - 3*z. Let q be 4/(-6) + j/3. Solve q*f + 3*o = 3 + 7, 3*f = -o + 5 for f.
1
Let m be (1 + 11)*3/6. Solve q = -t - 2*q + 2, -3*t + q = -m for t.
2
Suppose 3*h + 2*h + 16 = 3*b, -2*h = -b + 5. Suppose -4*i = -b - 1. Suppose 12*q = 9*q. Solve q*o + 7 = -z + i*o, o = 3*z + 11 for z.
-3
Let w(m) = m**2 - 4*m - 2. Let v be w(5). Solve -p - v*k = -10, 0*p + 2*p = 2*k + 4 for p.
4
Let n be 4/16 - 86/(-8). Solve z = -2*t - 5, 12 + n = -5*t + z for t.
-4
Let r be ((1 - 2) + 2)*4. Solve -4*h + t = h, 2*h - r*t - 18 = 0 for h.
-1
Suppose 2 = 5*l - d - 13, 2*l + 12 = 4*d. Solve l*b - o = -13, 2*o + 10 = -2*b + b for b.
-4
Suppose -71*f + 4 = -73*f - 4*p, 2*f - 5*p - 5 = 0. Suppose -4 = -3*x + 5. Solve j = 4*t - x - 5, f = -5*j + 20 for t.
3
Let p be 1/4 + (-44)/(-16). Let z = 12 + -9. Let j = 17 - z. Solve -u - 5*k = -j, u - k + p = -1 for u.
-1
Let f(u) = -u**2 - 4*u. Let q be f(-3). Suppose -10 = -2*g - q*g. Solve 2*k - 6 = 3*j, -j - g*k + 2 = -3*j for j.
-4
Let w = 19 + -13. Suppose 3*a = 24 - w. Let l be ((-4)/a)/(2/(-9)). Solve 0 = -2*i - 2*n - 16, 3*n = i + l - 15 for i.
-3
Let u(q) be the second derivative of -q**4/12 + 4*q**3/3 - q**2 + q. Suppose t = -5 + 9. Let r be u(t). Solve 3*i - r = 2*p, 4*p + 0*i - 3*i = -22 for p.
-4
Let a(i) = i**2 - 6*i + 7. Let h be a(5). Suppose h*z + 5 = -7. Let t be (-9)/(-2) + 3/z. Solve -10 = -2*q + 3*l, -12 = -t*q + 2*l + 2*l for q.
-1
Suppose 5 = 2*g + 1. Suppose 2*o + 6 - 34 = 0. Let q = o - 12. Solve -2*p = q*k + 8, g*k - k = 5*p + 26 for k.
1
Let v = -9 + 14. Suppose -2*f + 8 = 0, 3*c - v*f - 19 = -6*f. Solve -5*r = c*b - 6 - 4, -3 = 2*r - 5*b for r.
1
Let d be ((-2)/(-3))/1*6. Let j be ((-405)/(-6))/5*-2. Let s = j + 35. Solve -4*f + f - s = -5*n, 0 = d*f - 4*n for f.
4
Let z be 9/4*(-16)/6. Let v = z + 9. Solve 3*l + 6 = -v*q, -3 = 5*l - 5*q - 33 for l.
2
Suppose -8*w + 12*w = 12. Solve 5*g + 2 = w*k, -3*k + 4*k + 1 = 0 for g.
-1
Let m = -73 + 91. Solve 4*t - 2*p = m, 3*t + 2*p - 8 = 9 for t.
5
Suppose k - 12 = -k + 4*j, 0 = -4*k - 2*j + 54. Solve q + 2*x + 24 = -4*q, 0 = 2*q + 2*x + k for q.
-4
Let a be (5 + -6)/((-1)/4). Suppose 0 = -a*q + q. Solve q = 5*t + 5*m + 10, 2*t - 7*t + 2*m + 11 = 0 for t.
1
Let n = -53 - -72. Solve -2*k = -5*y + n, 9*k + 5*y = 4*k + 40 for k.
3
Let b be 2/(-8) - 130/(-8). Solve 5*o = -4*f - 30, 0*o + 4*f + b = 2*o for o.
-2
Suppose 2 + 2 = -2*s, 5*y = 5*s + 40. Let m be 9/(-6)*(-92)/y. Solve -10 = -2*u + 2*j, -4*u + 5*j = -1 - m for u.
1
Let j = -26 - -41. Let u = 118 - 83. Let d = u - j. Solve -3*z = -2*z, 4*c = -3*z - d for c.
-5
Let o be 2/4 + 11/2. Suppose -22 - 3 = -5*p. Suppose -o*g - 18 = -3*k - p*g, -k - 4*g - 7 = 0. Solve k*x + 0*t - t = -17, -t = 2*x + 11 for x.
-4
Let i be 0/((-12)/3) - -5. Suppose 2*z - i*z = 0. Solve -6 = -0*y - y - 2*d, z = -4*y + d - 21 for y.
-4
Suppose -3*f + 12 = 9. Let p(w) = 4*w. Let x(s) = s. Let m(b) = 5*p(b) - 16*x(b). Let v be m(f). Solve -4*j = v*z - 28, 6*z - 2*j + 2 = 4*z for z.
3
Suppose 2*c - 31 = -5. Let v(o) = o**3 - 3*o**2 - 5*o + 4. Let m be v(4). Solve 4*b + m = 4*w - 20, -3*w + c = -2*b for b.
-2
Suppose -4*a - 45 = -5*x - 14, 0 = 4*x + 4*a + 4. Solve -h = -5*o + 15, 0 = -x*o - 4*h + 26 + 6 for o.
4
Let z = 0 - -5. Let u = z - 5. Solve 3*k - 6*k - a + 3 = u, 2*a + 8 = k for k.
2
Let r be (-26)/(-12) + 2/(-12). Suppose -r*d + 15 = d. Solve 0 = 5*z + q + d, -4*z + q - 4 = 5*q for z.
-1
Let i(z) = 9 - z + 2 - 3. Let k be i(9). Let r = 1 + k. Solve -5*o + 11 = -2*q, 2*o + 3*o + q - 2 = r for o.
1
Suppose 5*g + 3*d - 9 = 15, -4*d + 15 = g. Solve 0 = j - g*j - 6, 2*z + 11 = -j for z.
-4
Let o = -153 + 157. Let z(n) = -n**2 - 5*n + 1. Let q be z(-4). Solve -3*h - 5 = -2*d, h + o*h + 5 = q*d for h.
-3
Let j = -17 - -17. Solve 6*u - 5*q - 15 = 4*u, j = 5*u - 5*q for u.
-5
Let u be (-6)/2*(-6)/9. Suppose -u*v = -3*v. Suppose v = 5*x - x - 20. Solve 3*s + 4*y = 23, 10*y = 4*s + x*y - 10 for s.
5
Let u(j) = 26*j + 3. Let z be u(3). Suppose -z = -5*v + 44. Suppose 2*p = -3*p + v. Solve 0 = -3*t - d + 1, -2*t + 0*t + p*d + 29 = 0 for t.
2
Suppose 5*g = -12 + 42. Suppose 4*a + g = 22. Suppose 2*h - a*c - 6 = 0, -5*h - c + 3 = -12. Solve h*t - w + 4 = 0, 3*t - w = -4*w - 12 for t.
-2
Let q be (-75)/4 - (-3)/(-12). Let t = q - -11. Let o be (-3)/(-12) - 22/t. Solve 4*v + 1 = -2*i - 11, 5*v - o*i = -4 for v.
-2
Let j be (0 + -2)*(-62)/4. Let w = 7 - 13. Let q = w - -11. Solve 5*d + q*c - 4*c - 25 = 0, 4*d - j = -3*c for d.
4
Suppose 5 = 5*o - 0*o. Solve 0 = -5*x - 4*h + 2*h + 2, -o = -h for x.
0
Suppose 0*n = 2*n - 6*n. Solve 3*a + n = -p - 5, 0 = -2*p + 8 for a.
-3
Suppose 0 = -3*p + 5*t - 68, 3*p - 4*t + 0*t + 64 = 0. Suppose 4*v = 8*v - 132. Let j = p + v. Solve -5*f + 5*d - 3 = j, 4*f + 2*d - 14 = 0 for f.
1
Let a = -149 - -155. Solve 5*h = 4*v + 15, 3*v - a = -3*h - 24 for v.
-5
Suppose -10*w = -16*w + 18. Solve -w*f + 0*a = -4*a - 2, 0 = 2*f - 3*a - 1 for f.
2
Let q = 111 - 187. Let w be q/6 - 4/(-6). Let h be w/(-66) + 18/22. Solve -3*k - 5*p = -1, k - h = p + 2 for k.
2
Let x = -52 - -75. Solve -x = 2*b - 4*b - 5*l, 0 = 2*b + 4*l - 18 for b.
-1
Suppose 13 = 9*w - 5. Solve -3*s + 10 = 2*c, -c = w*c + 3*s - 9 for c.
-1
Let v = -3 - -7. Suppose 52 = -0*h + v*h. Suppose -5*q = -57 - h. Solve -3*a + 4*a - 6 = -2*i, -a = -2*i + q for a.
-4
Let o(d) = d**3 + d**2 + d + 9. Let r be o(0). Solve 0 = x + 3*p - p - r, 23 = 3*x + 4*p for x.
5
Let t(l) = l**2 - 9*l + 3. Let n be t(9). Suppose k - n*k = -10. Suppose k*v + 2 = b + 16, -2*b - 3 = -5*v. Solve 3*j = j - 5*m + 19, j - b = -3*m for j.
2
Let y(o) = -8 - 3 + 15 + 2*o. Let z be y(3). Suppose -v + z = -1. Solve 0 = -3*k - 2*a + v, 2*a + 31 = 5*k - a for k.
5
Let z(x) = 5 - 1 + 0 - 4*x + 3*x. Let p be z(-5). Suppose 9 = w + 2*w - t, 3*w + 3*t = p. Solve -w*v + 3*j = -21, 2*j - 6*j = v + 13 for v.
3
Suppose -5*k + 7*k - 12 = 0. Solve -4*c + k*c + 6 = o, c + 10 = 4*o for c.
-2
Let w = -3 - 0. Suppose 0 = -2*n + 4*n - 6. Let d = n + w. Solve d = 2*k - 2*v + 10, -k = -5*k - 4*v - 12 for k.
-4
Let x = -9 + 5. Let k = x - -7. Solve 9*z - 3*p = 4*z - 10, -8 = 4*z - k*p for z.
-2
Suppose 0 = z + 3 - 5. Suppose 4*g + 2*h + z = 0, 0*g - 3*g - h + 1 = 0. Solve 4*b = -0*b - g*c + 20, -5*c = 4*b - 26 for b.
4
Let m(g) = g**3 - 4*g**2 - 6*g + 2. Let a be m(5). Let c = -1 - a. Let x = 4 - c. Solve 2*k + 5*l = 14 + 7, 0 = -x*k + l - 9 for k.
-2
Suppose -3*r = -27 - 21. Solve -4*d + 0*d + 4*i = -r, 4*d = 2*i + 12 for d.
2
Suppose 4*y + 9 = 2*c - c, -4*y + 36 = 4*c. Solve 0 = -3*m + c, -3*m + 4 = -s - 4*s for s.
1
Let d(c) = -c**3 + 12*c**2 + 2*c - 22. Let u be d(12). Solve u*l - 5 = 5*k, 0*l = l - 5*k for l.
5
Let z(a) = a**3 + 8*a**2 - 32*a + 15. Let f be z(-11). Solve 2 = d + g - f, 0 = 4*d + 2*g - 18 for d.
3
Let i be 1/(1/(-4)) - -8. Solve 0*l = l - o - i, -4*l + 2 = 3*o for l.
2
Let u(t) = 2*t**3 + 1. Let x be u(1). Solve -5*g - 22 = 4*f, 0 = -2*g + x*f - 4 + 9 for g.
-2
Let y(w) = w + 8. Let i be y(-8). Suppose 0*a + a - 8 = i. Solve 3*d - 5*b = 4*d, 0 = d - 3*b + a for d.
-5
Let q be (-4 + 0)/(-1) + -4. Solve 0 = -3*d - 6, 5*c + 2*d - 11 + 0 = q for c.
3
Let k be (-3)/((63/6)/(-7)). Solve 0 = -3*q - s + k, 3 - 19 = 4*s for q.
2
Let l(q) = q**2 + 4*q + 7. Let m be l(-2). Solve -f + 2*j = 10, 8 =