l - f - 5 for l.
-3
Suppose 0 = 21*c - 26*c + 10. Solve -c = 3*o + 7 for o.
-3
Suppose 3*s = -4*h - 6 + 20, s = -h + 4. Solve -h = 2*d - 8 for d.
3
Let r(c) = -c**3 - 6*c**2 - c - 1. Let b be r(-6). Suppose -2*d = -b*d - 2*k + 4, -d + 4*k = -6. Solve y + 0 + d = 0 for y.
-2
Suppose -3*i = 4*r - 42, 5*r = -3*i + 2*i + 47. Solve 3*q - r = -0*q for q.
3
Let d(t) = -37*t + 1. Let z be d(-1). Suppose 2*s + 19 = 5*h, 5*h = z - 13. Suppose -5*f = 4 - 24. Solve -s*g - 1 = -f for g.
1
Let s(m) = 11*m + 2. Let y be s(2). Let q = 15 - y. Let u = q - -13. Solve -u*x - 15 = -x for x.
-5
Let h be 2 - 2 - (-240)/6. Suppose -5*p = 3*u, 5*p - 2*u - h = 3*u. Solve f = -2*f + p for f.
1
Let m be 12 + 1*(-10 - -5). Let y = 11 - 6. Solve 2*l - m*l = y for l.
-1
Let l(i) = i - 2. Let x be l(2). Let j = 0 - 0. Let c = j - -2. Solve -c*s + x*s = 0 for s.
0
Let c(o) = -o**3 - 14*o**2 + 2*o + 20. Let u be c(-14). Let j be 2/(3/((-36)/u)). Solve 4 + 2 = j*m for m.
2
Suppose 5*f + 2*u - 44 - 38 = 0, -2*f + 36 = 4*u. Suppose 5*k - 4*d = 25, 3*d - 7 + 21 = -k. Suppose 4*x + k - 17 = 0. Solve f = 3*y + x for y.
4
Let p be ((-20)/(-6))/(1/12). Suppose 0 = 4*u + 26 - 66. Let f be (-4)/u + 176/p. Solve 0 = -f*z - 4 for z.
-1
Let h = 8 - 4. Suppose 5*n - 8 = -k + 5*k, h*n = 2*k + 10. Solve 0 = -l + k*l - 10 for l.
5
Let w = 62 + -38. Suppose -5*t + 7*z + 30 = 4*z, 3*z - w = -4*t. Solve 3*b = -0*b - t for b.
-2
Let t = 1 - -2. Let u = t - 1. Let n(v) = 6*v. Let i be n(u). Solve 0 = s + 2*s - i for s.
4
Suppose 0*k = 4*k. Solve 3*x - 9 = -k*x for x.
3
Let m be -2 - -1*(1 + 1). Let d(t) = t**3 - 8*t**2 - 8*t - 10. Let w be d(9). Let i be (w/(1/(-6)))/2. Solve i*y + 8 + 4 = m for y.
-4
Let a = -14 + 26. Solve b = 4*b - a for b.
4
Let x = -13 - -21. Suppose p - 2*i - 8 = 0, x = 4*p - 2*p - 2*i. Let b = -3 - -4. Solve p = -r - b for r.
-1
Let x(y) = -y**2 + 11*y - 16. Let l be x(9). Solve l*j = -2*j + 20 for j.
5
Let o(b) = 3*b**2 + 20*b + 13. Let t be o(-6). Solve k - 3 = t for k.
4
Let s be 2/(-7) + 44/7. Let p be (2/s)/((-1)/(-3)). Suppose -p = q - 5. Solve -f = -q*f + 6 for f.
2
Suppose 2*a + 5*c = -9, -4*c + 3 = 4*a + a. Solve a*g + 4 = 5*g for g.
2
Let i be ((-4)/(-12) + (-2)/6)/2. Solve i = t + t for t.
0
Let k(y) = 5*y - 6. Let n(v) = -2*v + 3. Let m(i) = -3*k(i) - 7*n(i). Let s be m(-7). Solve 3*d - s = d for d.
2
Let g(i) = -i + 15. Let r be g(14). Let t be r*(-2)/4*-4. Solve -h = h - t for h.
1
Let s be -9*6/(-9) - 3. Solve 2*p + 10 = -s*p for p.
-2
Suppose 0 = 2*w + 2*w + 48. Let m = -11 - w. Solve -2 = -b + m for b.
3
Suppose 0*c - 6 = 2*c, -2*m - 3*c = -9. Let h be 2/(-5) - 92/20. Let w = h + 6. Solve 5*q - m = w for q.
2
Let z = 6 - 3. Suppose z*v = 9 + 6. Solve -v*u + u = 8 for u.
-2
Let n = 7 + -3. Let c be n/(-6) - (-5)/3. Solve -j = -1 - c for j.
2
Let u(m) = 6*m + 14. Let y be u(-2). Solve w - 3*w = -y for w.
1
Let l(a) = -2*a - 12. Let q be l(-8). Suppose -2*b = -q*b. Let p(h) = -h + 7. Let j be p(6). Solve b = -m - 0*m - j for m.
-1
Suppose -x = -5*a + 8, 0 = -2*x - 6*a + 4*a + 20. Let m = -13 - -16. Solve -x*d = -m*d + 16 for d.
-4
Suppose 4*o + 4*a = -56, 2*o - o = -4*a - 5. Let b = 18 + o. Solve -d - b = -0 for d.
-1
Suppose -5*f + 28 = 2*t, 3*f + 5 - 13 = t. Suppose 0*m - m + 11 = 3*d, t*m + 4*d = 20. Suppose v + 5*r = 30, m*v + 2*r - 25 = -v. Solve 2*k - 6 = v*k for k.
-2
Suppose -q + c = -3*q + 45, q + 4*c = 12. Suppose 0 = -13*n + 9*n + q. Solve n*w + 4 = 2*w for w.
-1
Suppose -3*h = 3*u + 9, 6*u + 4*h + 28 = 10*u. Solve 0*b + u*b - 4 = 0 for b.
2
Let x = -25 + 56. Let p = x - 15. Suppose l + 2 = j - l, 2*l = -5*j - 2. Solve -4*d - p = -j*d for d.
-4
Suppose -20 = 5*q + 4*l, 8*l - 11*l - 15 = 0. Solve q*g + 15 = -3*g for g.
-5
Suppose -c - 4*z + 6 = c, 5*z - 5 = 0. Solve -v + 1 = -c for v.
2
Let q be -3*9/(3/(-1)). Let l = 0 + 2. Solve l*s = -s + q for s.
3
Suppose 2*u - 4 - 6 = 0. Solve -5*n + 5 = -u for n.
2
Let x(y) = y - 7. Let j be x(11). Solve 0 = h + j + 1 for h.
-5
Let k(a) be the first derivative of a**4/4 - 7*a**3/3 - 9*a**2/2 + 10*a + 1. Let t be k(8). Suppose -4*c + 10 - 6 = 0. Solve 0 = t*i + 1 + c for i.
-1
Let n be 33/6 - 2/(-4). Let k(t) = -t**2 + 6*t. Let h be k(n). Suppose 2 = -o - 2*z, -o + 2*z + h = -6. Solve -v - 1 = -o*v for v.
1
Let s be (8 - 8) + 3 + -1. Suppose 0 = -4*m - 2*q - 4, s*q = 4*m - 4 - 0. Solve 0 = -i - m + 3 for i.
3
Suppose 0*z = 2*z. Suppose -2*v = -3*w + 8, w + z*v = -2*v - 8. Suppose l + l + 3*x = 0, w = -3*l - x. Solve -5*y + 26 - 6 = l for y.
4
Suppose 3 = 13*s - 23. Solve 5*o - s = 3*o for o.
1
Let u be 3 - 0*1/(-4). Solve -u = -3*x + 4*x for x.
-3
Let o be (-13 - -8)*(2 - 1). Let f(y) = y**2 + 3*y - 6. Let t be f(o). Let r = -7 - -12. Solve r*m = t*m for m.
0
Let w(h) be the first derivative of 3*h**4/4 + h**3/3 - h**2/2 + h - 1. Let y be w(1). Suppose -c + 1 = -y. Solve c*m + 16 = -4 for m.
-4
Let u(p) = -p + 5. Let w be u(4). Let q = w + 1. Suppose -q*j + 1 = -j. Solve 0 = -5*a - j - 14 for a.
-3
Let u(f) = 5*f**2 - 4 - 3 - 2*f - f**2 - 3*f**2. Let n be u(5). Solve 5*k - n = -28 for k.
-4
Let b be (0/3)/(12/(-6)). Solve 0 = p - 2 - b for p.
2
Let t = -1 - -3. Suppose -m + 0 = t*s - 8, -4 = -2*s. Suppose -m + 16 = h. Solve 5*z - 2*z = -h for z.
-4
Let u be 3 + -3 + -1 + 3. Suppose -3*s - 2 = -4*s - 2*x, 5*s - 10 = -4*x. Suppose 3*j = 2*j + s. Solve -u = f - j*f for f.
2
Let b be (2 - -1)*(-51)/9. Let v = b - -29. Let c be (-84)/(-10) - 10/25. Solve 4*z - c*z = v for z.
-3
Suppose 3*p - 6*p = 0. Solve -2 = -z - p for z.
2
Suppose 0 = -5*y - h + 16, 0 = -2*y - h + 2 + 2. Solve -12 = y*w - 0*w for w.
-3
Suppose 0*m - 30 = -m + 5*s, -5*s - 40 = -3*m. Solve -2*y = -3 - m for y.
4
Let c be (0 + (0 - 1))*-4. Suppose -l - 2*a + 4 = l, -3*l = -c*a + 8. Solve l = s + 2 for s.
-2
Let h = -10 + 12. Solve -q + 3 - h = 0 for q.
1
Suppose -5*f + h - 4*h + 70 = 0, h + 39 = 2*f. Let r = -38 + 53. Let v be (r/12)/(1/4). Solve v = -3*l + f for l.
4
Suppose 5*y - 35 = -j + 80, -4*j = 2*y - 496. Suppose q - o + j = -q, -3*q + 3*o - 186 = 0. Let m be (-2)/9 + (-14)/q. Solve 2*i = -m*i for i.
0
Suppose -n + 8 = i, -14 = n - 2*n - 3*i. Suppose -14 - 16 = -n*c. Suppose c*x = 3*x + 15. Solve 5*d - x = 15 for d.
4
Let o(u) = -1 + 0 - 2 - u. Let d be o(-6). Let h = 2 + -2. Solve d*g - 4*g + 4 = h for g.
4
Suppose 2*p - p = -u - 2, -10 = -p + 5*u. Suppose -4*r = r - 10. Solve p = y - 3 + r for y.
1
Let t(c) = -9*c - 3. Let j be t(-1). Solve j*q - 2*q = -16 for q.
-4
Suppose -a = -1 - 9. Let v = a + -10. Solve v = r - 0*r - 1 for r.
1
Suppose -5*j + 8 = 4*b, 1 = 5*b + 3*j - 9. Suppose 7 - 3 = b*i. Solve i*h + 3 = 3*h for h.
3
Suppose 4*g = 10*g - 24. Solve 0 = -w - g*w for w.
0
Suppose -4*m - 16 = -28. Suppose 0 = 3*n + 4*t - 1, 2*n = -n - 2*t + 5. Solve 2*j + n = -m for j.
-3
Let r be (-1)/3 - (-28)/12. Suppose 3*a = -5*k + 6*a - 11, 10 = -4*k + r*a. Let c = 10 + k. Solve -4*u = -c*u + 8 for u.
4
Let r be 4/10 - 52/(-20). Suppose -r*d = -6*d + 3. Solve h - 2*h = d for h.
-1
Let k = 7 - 5. Let j be (k + -4 + 2)/(-1). Solve -2*n + 8 + 2 = j for n.
5
Let p be (224/7)/8 - (-1 + 1). Solve -s - 20 = p*s for s.
-4
Suppose 0*w = -3*w + 30. Let y = w + 1. Suppose -2*m - 1 = 4*i - y, -4*m + 9 = -3*i. Solve -5 = -2*z - m for z.
1
Let p = 41 - 41. Solve p*n + 6 = -3*n for n.
-2
Let q(u) = -174*u - u**3 + 5 - 4*u**2 + 179*u - 2. Suppose 0 = -6*c + 3*c - 15. Let d be q(c). Solve -d*f = f for f.
0
Suppose 0 - 3 = -d. Solve -3*m = -4*m - d for m.
-3
Let l = 100 - 100. Solve -i = -l*i - 3 for i.
3
Suppose -4 = -2*x + 4*x. Let v be (6/x)/((-18)/24). Solve -v = 4*f - 12 for f.
2
Suppose 0 = -4*f - 0*f + 20. Let d = f + -1. Solve 0 = k + k + d for k.
-2
Let o(p) = p**3 - p**2 + 1. Let g be o(1). Solve 2*z = z - g for z.
-1
Suppose 5*q = 6*q - 6. Solve -5*r - 1 + q = 0 for r.
1
Suppose 8 = -4*w + 8*w. Suppose -v + 3*v = 0. Solve -p + v - w = 0 for p.
-2
Let f = -17 + 29. Solve -3 + f = 3*l for l.
3
Suppose -109 = -3*q + 26. Suppose q - 5 = 5*u. Solve 5*t + u = t for t.
-2
Let q = -3 - -1. Let n be 45/6*q/(-3). Let i(d) = -d**2 - d + 2. Let j be i(0). Solve j*b - b = -n for b.
-5
Let l = -105 - -107. Suppose -f - 5*r = -4, 80 = 5*f - 3*r - 2*r. Let q = f + 2. Solve -q = -6*x + l*x for x.
4
Let s be 7 - 2 - (1 - 1). Let r = -5 + s. Suppose u + 1 - 6 = r. S