. Solve f = d - 4 for f.
-1
Let y(x) = -2*x - 6. Let w(t) = 4*t + 13. Let q(b) = -3*w(b) - 5*y(b). Let i be q(-6). Suppose -9 = -i*p + 3. Solve -3*r = 2 + p for r.
-2
Let v(a) = a**3 - a**2 - a + 2. Let l be v(0). Solve -l*i - 2 + 0 = 0 for i.
-1
Suppose 0 = 3*x + 2*j - 16, -2*x - j = 2*j - 19. Solve -7*t = -x*t for t.
0
Let y(w) = w**2 + 7*w + 12. Suppose -19 = 5*k + 3*f, -f - 3 = -2*k + 3*k. Let d be y(k). Suppose 0*o + 6 = 2*o. Solve -o = m + d*m for m.
-1
Let x be (-27)/(-15) + (-2)/(-10). Solve -x*w = 4 + 2 for w.
-3
Suppose 3*o - 2*k = -47 + 10, -k = -3*o - 32. Let a be o*(-2 - (-64)/36). Solve 4 + 4 = -a*t for t.
-4
Let w be 105/25 + (-2)/10. Let s = 4 - w. Solve s = j - 2*j + 2 for j.
2
Let m = -5 + 7. Suppose 3 = -m*g + 7. Solve v = -v - g for v.
-1
Suppose 2*u + 13 = 5*d - 0, -3*u + 2*d - 3 = 0. Let s(k) = 2*k**2 - 1. Let o be s(u). Suppose 5*n = 4*a - 4 - 5, -3*n - o = 2*a. Solve 4*y - a = 11 for y.
3
Let i(m) = m**3 + 7*m**2 - 2*m - 5. Let h be i(-7). Suppose -3*k + h = 3. Solve -q = -k + 7 for q.
-5
Let m be 11/(-3)*(4 - 7). Suppose 2*w + 2*w = -r + m, 5*w + r = 13. Solve w*b = -3*b for b.
0
Suppose -23 = -5*c + 32. Suppose 2*s - q - 5 = 0, -q - 9 = 2*s - 6*s. Solve -s*r + 1 = c for r.
-5
Let c = 2 + -4. Let k be -1*(c - (2 + -1)). Solve 4 = k*d - d for d.
2
Let l be 22 - (1 + 5)/(-3). Suppose 3*c + l = 5*c. Solve 5*g + c = g for g.
-3
Let t(p) = p**2 + 6*p + 4. Suppose 3*n = 6*n + 4*j + 2, 2*n = -3*j. Let r be t(n). Solve -r*u - 15 = -3 for u.
-3
Suppose 0 = 3*a + 12, -4 - 4 = -5*d + 2*a. Solve 5*j + 0*j - 20 = d for j.
4
Let d(a) = 3*a + 1. Let h be d(1). Suppose h*s - 3*u - 221 = 3*s, 0 = -2*s + 3*u + 433. Let g be (-3)/5 + s/20. Solve 5*z = 15 + g for z.
5
Let w(a) = 2*a**2 - 29*a - 12. Let v be w(15). Solve -5 + 2 = v*c for c.
-1
Let f(r) be the first derivative of 2*r**3/3 - 13*r**2/2 - 7*r + 3. Let u be f(7). Solve -4*a - a - 15 = u for a.
-3
Suppose -o - 6 = -3*o. Suppose 4*c + o*a = -9, -6*a = 4*c - 4*a + 6. Solve c = -0*y + 2*y + 10 for y.
-5
Let g = -9 + 21. Suppose z = -2*v + g, v + 3 = -0*z + z. Let i be 4/z - (-4)/(-6). Solve f = -1 - i for f.
-1
Let o(b) = -b**3 - 7*b**2 - 6*b. Let x be o(-6). Suppose 0 = -x*d - d. Solve a + 3 + 2 = d for a.
-5
Let k(j) = j**3 - 5*j**2 + 2*j - 3. Let q be k(6). Let s be (-36)/q*(-10)/4. Solve -s*m = m + 3 for m.
-1
Suppose 11 - 2 = 3*n. Suppose -4 = 2*s - n*a - 43, 0 = -3*s + 5*a + 60. Let j be 2 - (-1 + 0)*2. Solve -s = u + j*u for u.
-3
Suppose 4*m - 5*q = -25, -m + q - 5 = -0*q. Suppose 0 = -m*g - 3*g + 33. Let o(t) = -t - 6. Let i be o(-7). Solve -4*u - i = g for u.
-3
Suppose -3*s + 7*s + 52 = 0. Let f = s - -18. Solve f*x - 2 - 3 = 0 for x.
1
Let v(c) be the first derivative of c**2/2 + 3*c - 3. Let j be v(-3). Solve j*t = 2*t + 2 for t.
-1
Suppose 6*n - 7*n + 3 = 0. Suppose i - 15 = -5*y, 5*y + n*i = i + 15. Solve 3*l + 0 = -y for l.
-1
Let t(s) = s**2 + 8*s - 9. Let f be t(-9). Suppose f = -0*a - 2*a + 12. Suppose 3*i = -2*z - 6, 2*z = z - 5*i - 10. Solve z = 2*r + r - a for r.
2
Suppose -3*l + 4 = -5. Suppose l*c - 5*c + 8 = 0. Solve 5*r = c*r + 1 for r.
1
Suppose 5*d - 19 = 1. Suppose 0 = d*k + 19 + 5. Let f be (1 + 2)*(-8)/k. Solve 4*v = 2*v + f for v.
2
Let v(y) = y**2 + 10*y + 6. Let f be v(-10). Let l = 10 + f. Solve -6 + l = 2*p for p.
5
Let x(z) = -z + 6. Let s be x(6). Let j be -10*((-30)/(-4))/(-3). Suppose -2*w + j = 3*w. Solve 0 = -m - s*m + w for m.
5
Suppose 2*h + 12 = 6*h. Solve 0 = 2*j - h - 1 for j.
2
Let c be (21/(-6) + 1)*-2. Suppose -2 = 3*p - c. Solve -3*g + p = -4*g for g.
-1
Suppose -14*p = -12*p - 8. Solve -2*t = -4*t + p for t.
2
Suppose -26 = -o + 4*r, 5*o - 2*r + r = 54. Suppose 2*b = -3*b + o. Solve 3*n - 4 = b*n for n.
4
Suppose -5*z = -z - 16. Suppose 5*o - z = -4*t - 11, 17 = t - 5*o. Solve -t*a - 2*a = 0 for a.
0
Suppose -3*n - 3*y + 17 = -2*n, 3*n - 5*y + 5 = 0. Solve n = -0*g - 5*g for g.
-1
Let n = 3 - 7. Let c = -17 - -8. Let s be c/((n/(-2))/(-2)). Solve -s = 5*j + 11 for j.
-4
Let t(i) = 3*i - 8. Let j be t(6). Let o = -25 - -27. Solve o*k + 0 = -j for k.
-5
Suppose 2*l - s = 9, -2*l + 27 = 2*l - 5*s. Suppose -l = 5*g + 7. Let j(n) = -n. Let t be j(g). Solve 0 = 3*z + t*z - 20 for z.
4
Let d = 6 + -4. Suppose -3*o - o = 20, -3*o - 7 = 2*x. Let z be 0 - (-1 - x/2). Solve -d = -t - z for t.
-1
Suppose 11 = -2*g - 3*c, 3*c + 9 = -3*g - 0. Suppose g*y = y. Solve 4*f - 8 = -y*f for f.
2
Let o = -12 + 17. Solve o*s - 2*s = 6 for s.
2
Suppose -3*i = 2 - 5. Let v be (-3)/6 + i/2. Solve o + 3 - 4 = v for o.
1
Let t be (-2)/(-2) - 0/2. Solve -3*f + t = -5 for f.
2
Let b be 9/6*(-4)/(-3). Solve b = p + 5 for p.
-3
Let u(p) = p - 5. Let b be u(5). Let g be 6 + -2 - (7 + -5). Suppose -l + g + 5 = b. Solve -2*k + 1 = l for k.
-3
Let l be (4/14)/((-2)/(-14)). Let j = l + -2. Suppose j*x - 5*h - 26 = -3*x, 3*x + 10 = -4*h. Solve 2 = -0*o + x*o for o.
1
Let i be 0*3/6*2. Solve i = -2*l - 0*l - 4 for l.
-2
Let m be (-14)/21*(2 - 11). Solve m = -t + 2 for t.
-4
Let u be (2 - 2)/(0 - -1). Suppose -15 = -7*z + 4*z. Suppose -2*x + z - 1 = 0. Solve u*m - x*m = -4 for m.
2
Suppose 9*f - 79 = 56. Solve -f = a - 6*a for a.
3
Suppose -3 = -u - 0. Suppose -u*b - 25 = -8*b. Solve 0 = t - b*t for t.
0
Let g(v) = -v**2 - 5*v - 4. Suppose -12 - 4 = 4*z. Let x be g(z). Suppose 4*s + 2*r - 2 = -x*s, -r = s - 1. Solve -2*y + 3*y - 3 = s for y.
3
Let u be (7/3 + -2)/((-12)/(-396)). Solve u = -3*y + 2 for y.
-3
Suppose -25 = -5*q, 2*u + 12 + 5 = 3*q. Let b be 5 - (0 - u)*0. Solve 4 = -b*o - 6 for o.
-2
Let t = 86 - 79. Solve -10*r = -t*r for r.
0
Let o = 2 + 8. Solve o = -0*x - 2*x for x.
-5
Let l be 708/84 - (-3)/(-7). Solve 2*o + l - 4 = 0 for o.
-2
Let r(v) = -v**2 - 7*v + 2. Let d be r(-7). Solve 9 = -d*y + 1 for y.
-4
Let p(j) = -j**3 + 5*j**2 + 5*j - 4. Let k be p(6). Suppose 2*a = 5*a - 18. Let s be a/2*k/(-15). Solve g = -g - s for g.
-1
Let w be (-1)/(-3)*3/(-1). Let x = w + 4. Suppose 0*b + x*b = 0. Solve s - 1 = -b for s.
1
Let l be (2/6)/(1/9). Suppose -4*c = -7*c + 3. Let j be c/(2 - 27/15). Solve -4*y + j*y + l = 0 for y.
-3
Suppose k + k - 30 = 0. Let a(s) = -2*s - 11. Let m be a(-9). Solve m*g - k = 2*g for g.
3
Suppose -2*x + 5 = 1, -265 = -3*j - 2*x. Let n be (-4)/18 - j/(-27). Solve -n*a + 5 = 2*a for a.
1
Suppose 6*q - 24 = 4*q. Solve -3*j + q = j for j.
3
Let r = -117 - -121. Solve -11 = r*k - 3 for k.
-2
Suppose -2*q = -6*q. Let j be 1*(3 - -2 - 0). Suppose q = -2*u + j*u - 12. Solve -i = u*i - 15 for i.
3
Suppose 4*z - 10 = -d + 7, 3*d = -3*z + 6. Suppose 0*x + 1 = x, 3*g - 19 = -4*x. Let a = g - 3. Solve -z = -f + a*f for f.
-5
Let m(t) = 2*t - 2. Suppose -5*x + 50 = -3*n - 2*n, 3*n + 15 = 0. Let a be m(x). Let h = -7 + a. Solve s + h = 3 for s.
2
Let h be 2/((-60)/27 - -2). Let w(p) = -p - 9. Let u be w(h). Solve u = -j - 4*j for j.
0
Suppose -2*q + 8 = 2*q. Suppose -2 = -2*j + q. Solve 4*y = -j + 18 for y.
4
Suppose -6*g + 32 = 2*g. Solve -g*c - 8 = 12 for c.
-5
Suppose -27*p = -22*p. Solve 2*y - 3 + 1 = p for y.
1
Let x(k) = 3*k**2. Let n be x(1). Solve -2*b - 13 = -n for b.
-5
Let p(q) = -3*q**2 - 2 + 1 - q - 3*q - 1. Let t be p(-2). Let x be 2*5/((-20)/t). Solve -g + 1 = -x for g.
4
Let z(g) = -g**3 + 9*g**2 - 10. Let n be z(9). Let m = 13 + n. Solve y = m*y + 8 for y.
-4
Let r(t) = t**3 - 6*t**2 - 5*t - 9. Let c be r(7). Suppose 2*x + 0*x + 19 = c*b, -5*x = b - 20. Solve x*f - 2 = 1 for f.
1
Suppose -5*f + 4*o + 9 = -1, 2 = f + 5*o. Suppose 0*y + f*y - 4 = 0. Suppose 2*n = 1 + 1, y*k = 4*n - 2. Solve -u + 3 = k for u.
2
Let o be 1*7/(14/8). Solve o = -3*z + 10 for z.
2
Suppose 0 = 14*w - 21 - 35. Solve w*h + 2 - 10 = 0 for h.
2
Suppose 3*d - 13 = 3*s + 5, -2*s = -5*d + 27. Suppose d*o = o - 128. Let z be o/(-6) - (-2)/3. Solve -q = -z*q for q.
0
Let f(c) = -c - 3. Let v be f(-3). Let s = 7 - 5. Solve 3*p - s*p = v for p.
0
Suppose 2*q + 15 = 7*q. Solve -2*a = q*a for a.
0
Let u be -2 + 13 + (0 - 2). Let y = -4 + u. Solve y*j = 8 + 2 for j.
2
Let u(z) = -5*z + 2. Let m(x) = -6*x + 3. Let l(b) = -6*m(b) + 7*u(b). Let g be l(4). Solve -4*o + 4 - 12 = g for o.
-2
Suppose -3*n = 3*b + 6, 2*n + 12 = 4*n - 2*b. Solve p = n - 3 for p.
-1
Suppose -5*z - 2*s = -9, 3*s + 15 = 3*z + s. Suppose -m = -z*m. Solve 0*o + 2*o = m for o.
0
Suppose h + 0*h = 