-b*f + f = -3 for f.
1
Suppose -4*k = -0 + 24. Let w = 21 + k. Solve -4*s + w = -s for s.
5
Let z(q) = -5*q. Let y be z(-6). Suppose -2*d = 6 + y. Let h be (d/(-4))/(3/4). Solve u - h*u = -5 for u.
1
Suppose 8*u - 32 = -0*u. Solve u = -6*l + 4*l for l.
-2
Let f(r) = r**3 + 6*r**2 + 7*r + 7. Let q be f(-5). Let h be (-6)/q - 0/2. Suppose h = n + n. Solve 3*o - 2 = n for o.
1
Let s be 0 + 2 - (0 + 0). Let n(x) = x**3 - 3*x**2 + 2*x + 2. Let c be n(s). Let l = -1 - -1. Solve -2*r + 6 + c = l for r.
4
Let h = -3 - -7. Suppose 0 = -h*a - 0*a + 16. Solve -3*i + a = i for i.
1
Let k = -4 - -10. Suppose 3*a + 4*h = -11, a - k = 2*h + 7. Solve 2 = -z - a for z.
-5
Suppose 0 = -2*v - j + 8, -v - 10 = -6*j + 3*j. Let r be ((v + -2)/1)/(-2). Suppose q - 2*x - 1 = r, 4*q + 4*x - 7 = 9. Solve 2 = n - q for n.
5
Suppose 4*r + 0*r + 12 = 0. Let k(n) = 2*n + 5. Let g be k(-4). Let p = r - g. Solve p*x + 12 = -4*x for x.
-3
Let j = -10 - -25. Suppose -2*d - 20 = -t, -3*t = d + j - 40. Solve t = 5*p - 5 for p.
3
Let t(n) = -n**2 + 4*n + 4. Let r be t(4). Let b be (112/(-42))/(r/(-6)). Solve -2*o - b = 2 for o.
-3
Let j be (-2)/(-8) - ((-69)/12 + 2). Solve 0 = j*i + 16 for i.
-4
Let z(l) = -l + 2. Suppose 5*h = 2*h - 24. Let k be z(h). Suppose -15 = -5*d, k*c - 4*d + 7 = 5*c. Solve -4*x + 3*x = c for x.
-1
Let q = -3 + 21. Let y = q + -14. Solve 3*s - y = s for s.
2
Suppose -2*x - 16 = -6*x + 4*d, 0 = 3*d - 3. Solve z + 3 = x for z.
2
Let w = 0 + 5. Solve -w*b = -4 - 1 for b.
1
Let j be 1/4 - 33/(-12). Let p = j - 8. Let v = p + 8. Solve v*l + 5 = -7 for l.
-4
Suppose 0 = 2*q - 0*t - 5*t - 24, 0 = -5*q - 3*t - 2. Suppose 428*o = 431*o - 12. Solve 0 = -3*k + o*k - q for k.
2
Suppose 5*t - 1 = 5*v - 11, v + 10 = 5*t. Suppose 2*c = 5*r + 4*c - 12, c + 9 = v*r. Let u be r*-1*15/(-6). Solve u*y + 0*y = -5 for y.
-1
Let l be (-84)/(-24)*4/(-7)*-3. Solve 5*h = l*h for h.
0
Let l be -2*(-15)/10 - 1. Solve -l*t + 4 = -t for t.
4
Let l be (-2 + 2 + 0)/(-1). Suppose 12 = 4*m, 2*q - 1 = -0*m + 3*m. Let w = -4 + 12. Solve l = q*y + w + 7 for y.
-3
Let a = 16 + -1. Let h = 24 - a. Suppose 3*j + 0*j = h. Solve j*o = -0 + 6 for o.
2
Let t = 50 - 42. Solve t*s - 10*s = 2 for s.
-1
Let l(z) = -z + 5. Let g be l(9). Let q be (12/18)/(g/(-30)). Solve -q*c = 12 + 3 for c.
-3
Suppose 5*x + 39 = -0*x - 2*g, 2*g = -4. Let b = x - -7. Solve d + d = b for d.
0
Suppose 4*g - 3*w - 24 = 0, 5*g + 2*w - 1 = 6. Suppose -7*f = -g*f - 8. Solve -f*k = -k + 4 for k.
-4
Let h(p) = p**2 + p + 4. Let q be h(0). Let o(l) = l**2 - 3*l - 1. Let d be o(q). Solve 0 = -d*v - 0*v for v.
0
Let n(o) = -o - 4. Let i(w) = w - 13. Let t be i(7). Let a be n(t). Solve 2 = -x - a for x.
-4
Let o(z) = 2*z - 16. Let w be o(10). Solve -5*q + 14 - w = 0 for q.
2
Let t = 34 + -31. Solve -a - 10 = -t*a for a.
5
Let o = -120 - -120. Solve f - 2 - 2 = o for f.
4
Suppose -8*d + 3*d = -30. Suppose -d = -4*l + 6. Let q be (1/(-1))/(l/(-12)). Solve 4*m = 8 - q for m.
1
Let w be (-3)/3 + 2/(-2). Let u be 0*(1 + 3/w). Suppose u*t = t - 3. Solve -t*g + 0*g - 12 = 0 for g.
-4
Let c be (-150)/40*32/(-6). Solve c = j + 3*j for j.
5
Let d(i) be the first derivative of -i**4/4 + i**3 - 3*i**2/2 + 4*i + 7. Let k be d(2). Solve k*n - 3 = -n for n.
1
Suppose 0 = -0*h + 5*h + 2*p - 18, 19 = 5*h + p. Let a = h - 2. Solve 2*j = -a - 6 for j.
-4
Let d = -31 - -33. Solve r + d = 4 for r.
2
Let g = 9 - 4. Solve -11 = -g*j - 1 for j.
2
Suppose -5*d + 20 + 6 = 3*h, 0 = -4*d + 3*h + 10. Suppose 5*n = d*n + 29. Suppose -n = -2*a + 21. Solve -4*x + 9 - a = 0 for x.
-4
Let m be (0 - 0)*(-4)/(-8). Solve m = 3*l - 1 + 7 for l.
-2
Let f be (136/(-12))/(6/(-9)). Let z = -6 + f. Solve -3 + z = 4*k for k.
2
Suppose 0 = -9*o + 6 + 12. Solve 5*h = o*h for h.
0
Suppose 2*q - 4*l = -3*q + 6, 2*q - l = 0. Let j(o) = -o. Let n be j(q). Solve 0 = 2*c + n*c + 16 for c.
-4
Let u = -6 + 15. Solve -3*j + u = 3 for j.
2
Suppose 0 = 2*l - 4*s + 3*s - 9, -5*l - 2*s = 0. Suppose -7*y + l*y = -75. Solve -3*k + 6*k + y = 0 for k.
-5
Suppose 5*j - 6 = -3*f, 4*j + j - 10 = -5*f. Solve 5*a = f*a - 6 for a.
-2
Let o(f) = f**2 + 4*f + 7. Let t be o(-3). Solve -2 - t = 2*l for l.
-3
Suppose -3*g - 18 = -6. Let r = g - -4. Solve -3*k = -r*k - 12 for k.
4
Suppose -2*s - 21 = -27. Solve -s*p = -p for p.
0
Suppose 0*r + 69 = -3*r. Let y = r - -35. Solve -u + 5*u = -y for u.
-3
Let u(y) = y**3 + 9*y**2 + 9*y + 11. Let s be u(-8). Let v(q) = q + 5. Let p be v(-4). Solve -s = -w + p for w.
4
Let g(p) = -p**2 - 12*p - 15. Let u be g(-7). Let s = u - 18. Solve s*j + 4 = -2*j for j.
-1
Let d be (-1 + -5)/(1/6). Let a = d + 0. Let f be (-100)/(-6)*a/(-30). Solve -2*r + f = -6*r for r.
-5
Suppose 2*s = 4*l + 22, -2*s + l - 2 = -12. Solve 0 = -4*r - s - 1 for r.
-1
Suppose -2*m = -2*j - 3*m + 12, 3*j + 3*m - 24 = 0. Suppose -p = -j - 0. Solve 9*k = p*k + 25 for k.
5
Suppose -9 - 1 = 5*d + 2*s, -4*d - 5*s - 25 = 0. Suppose 0 = -t - d*t + 4*r - 4, 1 = -5*t + r. Solve t = 2*q + 4 - 10 for q.
3
Suppose -a - 45 = -10*a. Solve 9 = -a*t - 11 for t.
-4
Let m be 2 - (6 + -2) - -7. Solve -11 = -m*z - 1 for z.
2
Suppose -132 = -5*i + 2*i. Suppose -16 = -3*f + i. Suppose 8*v - f = 3*v. Solve -8 = -0*h - v*h for h.
2
Let d be 4/14 - 4/14. Let c = -5 + d. Let p(x) = x + 8. Let u be p(c). Solve 4 = -u*l - 5 for l.
-3
Suppose 2*p = -3*p + 30. Solve -4*x + 2 = -p for x.
2
Let t be 2*(-4)/40 - (-52)/10. Solve 3 - t = -s for s.
2
Let z be (-3)/(1*-1*1). Suppose -2*y + b = -6, 5*b = 5*y - 0*y - 5. Suppose -z*a - 5*j = 5, -6*a - y*j = -2*a + 5. Solve 0 = 4*t + 8 - a for t.
-2
Suppose -4*o = -1 - 7. Let r = 2 - 3. Let t be 3 - (1 + r + 1). Solve t*y + o = -2 for y.
-2
Suppose 0 = c - 4 - 3. Let q be (-38)/(-4) - (-2)/4. Let v be 5/q - (-2)/(-4). Solve v = -c*r + 4*r for r.
0
Suppose 0 = -3*n + 5*d + 16, 0 = -0*n + n - 2*d - 6. Solve 0 = -0*l + 2*l + n for l.
-1
Let o = 6 - 16. Let i = 11 + o. Solve -5*y + 24 = -i for y.
5
Suppose 0 = -5*h - l + 39, 3*h - 3*l + 2*l = 25. Suppose -q = 2*c - h, 0 = 3*q - 6*q - 2*c + 16. Solve -q*k = -k for k.
0
Suppose -4*s - 38 = 5*o - 123, 4*s - 5*o - 35 = 0. Suppose -3*d + s = -0*d. Solve 0 = -3*u + d*u - 10 for u.
5
Let c = -5 + 7. Solve 6 = z + c*z for z.
2
Suppose -8*p + 19 = -5. Solve -v = -0*v - p for v.
3
Suppose 5*q - 3*q - 30 = 2*y, 2*q = 5*y + 45. Solve -b = b + q for b.
-5
Let y be -3*(-2 + 3/3). Suppose -z = z - 4. Solve 5 - z = -y*t for t.
-1
Let v be 60*1*(-1)/(-2). Let b be 75/(-10)*4/(-6). Solve b*g - 10 + v = 0 for g.
-4
Let v = 2 + 1. Let f = -1 + v. Suppose 8 = 2*s + 2*s. Solve f*j - s = 3*j for j.
-2
Suppose 3*w = 3*u + 69, 0*u = 2*w + 4*u - 52. Suppose k = 4*k - w. Solve -b = -5*b - k for b.
-2
Let c(q) be the first derivative of q**4/4 - 8*q**3/3 + 9*q**2/2 - 5*q - 1. Let f be c(7). Solve -f = -h - 2*h for h.
3
Let b = -16 + 8. Let v = b - -12. Solve -1 = v*g - 13 for g.
3
Suppose 2*x + 0 = -4. Let v(f) = -2*f - 1. Let z be v(x). Solve -2 + 17 = z*s for s.
5
Let x(p) = 2*p - 5. Let z be x(4). Solve -9 - 3 = z*m for m.
-4
Let c = -72 + 82. Solve 0 = -4*j - 2 + c for j.
2
Suppose 16*a = 79 + 1. Solve 0 = -4*j + 1 - a for j.
-1
Let s = -15 + 19. Solve j + s = -0 for j.
-4
Suppose -91 = 2*x - 21. Let c = -19 - x. Solve -c = 3*i + i for i.
-4
Suppose -2 - 98 = -5*i. Suppose -q = -5*q + i. Let a = q + -5. Solve -x - 3*x + 20 = a for x.
5
Suppose 23 = 5*d - 2*o, 4*o - 23 = -4*d + o. Suppose 0 = -d*s + 34 + 11. Let p be 6/s + (-2)/3. Solve -3*g + p*g = -9 for g.
3
Let p = 15 + -11. Suppose r - 4*r + p*u = -11, 3*r + 2*u = -19. Let w be -1*(-2 - (r + 2)). Solve 4*n + w = -3 for n.
-1
Let b(x) be the first derivative of 1 - 1/2*x**2 - 4*x + 1/3*x**3. Let v be b(-3). Solve -u = u + v for u.
-4
Suppose -h + 2*h + 5 = 0, -2*m + 40 = -2*h. Let u = 15 - m. Solve u = 3*a + 10 + 5 for a.
-5
Suppose 2*d + 4*t = -d + 22, -4*t + 34 = 5*d. Let q(f) = -2*f + 7*f + f**3 + d - 10*f**2 + 4*f. Let x be q(9). Solve b - x = -b for b.
3
Let p(m) = -m**2 - 2*m + 5. Let y be p(-3). Solve y*d = d for d.
0
Let k be -1 - 1 - -2 - -3. Suppose -k*g = g. Solve -v - 6 + 2 = g for v.
-4
Let w = 8 - 3. Suppose 4*o + 5*p + 0 - 22 = 0, w*o + 2*p = 19. Solve 2 = -o*y - 1 for y.
-1
Suppose -3*x = 9 - 3. Let k be 6 - ((-6)/(-2) + (3 - 6)). Let j be (x/6)/((-2)/k). Solve 3 - j = -o for o.
-2
Let p 