e 6 - d = -5*k for k.
2
Let q = 46 - 88. Let p be ((-72)/q)/((-2)/(-14)). Solve 3*t - p = 3 for t.
5
Suppose -21 = -101*c + 100*c. Solve -c*w + 8 = -17*w for w.
2
Suppose 4 = 6*l - 2*l. Let s be 24/2 - (l + 1). Let u = s - 4. Solve u*f - f = -25 for f.
-5
Let c = 10 - 7. Suppose 0 = k - c*k + 14. Let z(a) = -a**2 + 6*a + 7. Let s be z(k). Solve s*t + 2 = -2*t for t.
-1
Suppose -2*g + 10 + 2 = 4*n, -3*n = 3*g - 12. Solve w + n - 3 = 0 for w.
1
Let g be (1 - 1)*(-2)/4. Let f be ((-10)/3)/((-2)/3). Suppose -f*t = -2*h - 50, 5*t + 4*h - 68 = 12. Solve -t = 3*w - g*w for w.
-4
Let a = -11 + 11. Solve a = -l + 5*l for l.
0
Let g(y) = 44*y**3 + y - 1. Let w be g(1). Suppose w = -4*q - z, 5*q - 2*z + 20 + 35 = 0. Let c(l) = -l**2 - 10*l + 11. Let s be c(q). Solve 4*j = -s*j for j.
0
Let k = 6 + 4. Solve 0 + k = -2*m for m.
-5
Let y(r) = -r**2 - 12*r - 11. Let g = 23 - 34. Let k be y(g). Solve -x - 2*x - 12 = k for x.
-4
Suppose 5*p - 4*p - 2 = 0. Solve -p*c - 2 = -4 for c.
1
Suppose 0*y + y = 2. Let h(x) be the third derivative of -x**5/60 + x**4/12 - 11*x**2 + 1. Let r be h(y). Solve -6*s + 3*s = r for s.
0
Let a = -9 - -4. Let d = a - -9. Solve p + d = 7 for p.
3
Let f(m) = -m + 5. Let j be f(2). Solve j*a + 12 = -a for a.
-3
Let x = -9 - -17. Let l = x - 5. Let a be (-1 + 4)*5/l. Solve 13 - 3 = a*h for h.
2
Let l(r) = -r. Let g be l(-2). Suppose g*m + 0*m + 2 = -y, 0 = -3*y + 5*m + 16. Solve -i = y*i for i.
0
Let d(i) = i**2 + 3*i - 2. Let v be d(2). Let j(t) = 3*t + 0*t + 11 - t - 3*t. Let o be j(v). Solve -o*y = 2*y + 20 for y.
-4
Let t be (-6)/(-2)*9/(135/10). Solve -5*f + 3 = -t for f.
1
Let r(v) = v - 3. Let a be r(3). Suppose -4*u + 102 + 38 = a. Suppose -4*s - u + 139 = 4*y, 3*s + 4*y - 80 = 0. Solve 4*i + 8 = s for i.
4
Suppose 2*f = -10 + 32. Let k = -3 + f. Solve k = -5*u - 2 for u.
-2
Let h = 45 - 28. Let k = 37 - h. Solve 3*w + 2*w = k for w.
4
Let s(d) = -d**2 - 5*d + 17. Let b be s(-7). Solve 5*k + 7 = -b for k.
-2
Let h(x) = x**3 - 23*x**2 + 23*x - 20. Let g be h(22). Solve -3*v - 17 = -g for v.
-5
Suppose 3*z + 0*z - 4 = r, -8 = 2*r. Solve -2 = -u - z for u.
2
Suppose -2*f = 4*y - 46, 13 + 6 = 2*y + 5*f. Suppose -3*k + y + 0 = 0. Suppose -2*n = -5*j + k, -3*n = n - 2*j - 24. Solve 5*h = -7 - n for h.
-3
Let w(l) = -l**2 - 4*l. Suppose 4*t = 5*q - 22, 0*t = -4*q - t + 5. Let c = q + -4. Let d be w(c). Solve 0*m = d*m + 12 for m.
-3
Suppose -r = -0*r - 3. Suppose l = 3, -z = -r*z - 2*l + 14. Let x be 7/z - (-3)/12. Solve v = x*v for v.
0
Let z(i) = i**2 - 2*i - 7. Let c be z(5). Suppose 3*d + 8 = 5*f, f - 3*d = -0*f - c. Solve -t - f = -0*t for t.
-4
Let s = 8 - 7. Solve 3*w - 4*w = s for w.
-1
Let g(y) = y - 5. Let c be g(8). Suppose -r - 5*j + 12 = 0, -5*r = c*j - 13 - 3. Solve -r = -h - h for h.
1
Suppose w - 3*w = -3*d + 11, -5*d - w = -14. Let u be (d - 2)/((-1)/(-15)). Suppose 0 = -4*o + 5*q + u, -4*q = 8 + 4. Solve o = -4*k + 5*k - 1 for k.
1
Let y be 78/5 - 2/(-5). Suppose 4*j = -5*s - 21 + 88, j - y = -2*s. Let p be 8/j*3*3. Solve b + 2 = p for b.
2
Suppose -2*m = m. Suppose 0 = -m*h + h. Solve 0 = -h*u - u + 3 for u.
3
Let v = -7 - -1. Let g = v + 11. Solve 10 + 10 = -g*f for f.
-4
Suppose -8 = -3*b - i, -5*b - i + 4*i = -18. Solve -10 = b*m - 4 for m.
-2
Let o be (-1 + 0)/(((-6)/(-21))/(-2)). Solve z + o = 2 for z.
-5
Let d = 1 + -1. Let c = -16 - -22. Solve d = -5*x + 9 + c for x.
3
Let y(v) = -3*v + 13. Let d be y(3). Solve -4*f + d = -4 for f.
2
Suppose -25 = 7*m - 2*m. Let o be 2/(m/(-2) - 2). Solve 2*h + 4 = o*h for h.
2
Let k = 10 - 0. Solve 2*a = -3*a + k for a.
2
Let t be (-5)/((-60)/21) - 2/(-8). Solve -2*a + t - 4 = 0 for a.
-1
Let o be (-1)/4 - (-402)/8. Let i = -25 + o. Suppose -5 = 5*z - i. Solve 0 = -z*q + q - 9 for q.
-3
Let s = -11 + 25. Let t be (8/6)/(s/21). Suppose -2*u = -2*f + 2*u + 22, -5*f + t*u + 71 = 0. Solve -5*b - f = -0*b for b.
-3
Let s = -18 - -27. Suppose -5*b = -n - 57, 0 = b - 2*n - 0*n - 15. Let l = b - 6. Solve 2*a + s = l for a.
-2
Suppose 0 = -n - 2 + 4. Suppose 3 + 3 = n*a. Solve -z - 10 = -a*z for z.
5
Suppose -r + 15 - 11 = 0. Solve -s = -r + 2 for s.
2
Let m be (-21)/14 + 3/2. Suppose 2*c = -m*c + 8. Solve -c*g + 2 = 10 for g.
-2
Let r(b) = b**3 + 9*b**2 + 8*b + 10. Let p be r(-8). Suppose -t + p = t. Suppose 10 + 5 = t*d. Solve 0 = -d*u + u for u.
0
Let t = 18 + -15. Suppose 0 = t*m - 4*d - 15, -5*m + d = -12 - 13. Let x = 1 - 1. Solve -m*v + 7 - 22 = x for v.
-3
Suppose -3*y - 5*c = -1, 2*y = c - 4 + 9. Let j(s) = -5 + y - 4*s + 0 - s**2. Let k be j(-3). Solve k*o + 4*o = 0 for o.
0
Let n be (-4)/(4/5)*-1. Suppose -27 = -n*x + 123. Suppose -q = -4*w - 18, 3*w = -4*q + 5*w + x. Solve -3*a + 6*a = -q for a.
-2
Let i be (5/2)/((-7)/(-14)). Suppose 0*g = i*g + 3*z - 28, 2*g = -5*z + 15. Let r be (6/g)/(2/5). Solve 0 = 2*b - 3*b - r for b.
-3
Suppose -3*f + 4*l = -4 - 3, 0 = 3*f - 3*l - 9. Solve 0 = f*a + 1 - 11 for a.
2
Let v(f) be the third derivative of f**6/120 - 11*f**5/60 + 5*f**3/6 + 3*f**2. Let s be v(11). Solve -s*t - 9 - 6 = 0 for t.
-3
Suppose -5*u + 3*t + 6 = 5*t, -2*u + 3*t = 9. Suppose c - 4*c = u. Solve c = -0*x + 2*x for x.
0
Suppose 0 = -4*k - 16, -v + 6 = -5*k - 16. Solve 0*d = -v*d - 4 for d.
-2
Let i(p) = p + 2. Let c be i(-7). Let x be 2 + c/((-10)/4). Solve 4*l - 2*l = x for l.
2
Suppose 6*k - 2*j - 33 = k, 2*k - 5*j = 30. Suppose -k*r + 13 - 3 = 0. Solve -r*x = -7*x + 25 for x.
5
Suppose -l = -2*s - 4 - 2, 0 = 2*l - 8. Let f be 4 + s/(2 - 1). Solve w - 5 + f = 0 for w.
2
Suppose 0 = -0*f + 2*f. Solve -1 = a - f for a.
-1
Let q = -114 - -120. Solve -q = -3*a + 6 for a.
4
Let d be ((-138)/(-12))/((-3)/6). Let a = d + 33. Solve 3*m - a = m for m.
5
Suppose -f + 5*f - 16 = 0. Suppose q = -q + f. Solve q*z = z for z.
0
Suppose 0 = -2*u, 0 = -0*n + 5*n - u + 40. Let b be 7 + n + 1/1. Solve b*s - 5 = s for s.
-5
Let o = 7 - -4. Let z = -9 - -16. Let a be 130/35 - (-2)/z. Solve -a*v + 5 + o = 0 for v.
4
Suppose -15*d = -13*d - 10. Solve -d = -w + 2*w for w.
-5
Let h be 0/(-9) - (2 - 5). Solve h*c + 2*c = -5 for c.
-1
Let d(g) = -g**3 + 6*g**2 - 5*g - 1. Let h be d(5). Let u be (-7 + 1)/(-3)*h. Let v = 1 - u. Solve 0 = -v*y - 11 + 5 for y.
-2
Suppose -5 = 4*w + u, -w + 10 = 4*w - 2*u. Suppose -r - m + 0 + 2 = w, 5*m - 10 = -r. Solve r = 3*b - b + 8 for b.
-4
Suppose -5*a = 0, -5*j + 2*a + 24 + 1 = 0. Suppose -5*v + 5*k = -j, -2 = 2*v - 0*v - 3*k. Solve v*w - w = -8 for w.
-2
Let n = -7 + -5. Let u be (54/(-4))/(9/n). Suppose -28 = -2*r + 2*y - 4, 4*r = -2*y + u. Solve 2*t - 1 = r for t.
4
Suppose g + 1 = 4*m - 0, -4*g + 53 = 3*m. Solve 5*a = 14 + g for a.
5
Let s = 81 - 77. Solve -s*o + 5 = o for o.
1
Let h be (10/(-25))/((-2)/10). Suppose -7*x + 10 = -h*x. Solve -x*j = -5*j for j.
0
Let v(m) = -3*m + 9. Let c be v(5). Let y = 6 + c. Solve 0 = s - y*s for s.
0
Let k = 0 + 12. Solve -5*t + 2*t = k for t.
-4
Let k(s) be the first derivative of -s**3/3 + 7*s**2/2 + 8*s - 1. Let z be k(7). Let y(l) = 24*l + 1. Let r be y(1). Solve -3*x + r = -z*x for x.
-5
Suppose -5*r - 26 = -2*a, -1 = -4*a + a - 2*r. Suppose a*c - 6 = 3. Solve 2*i = -i - c for i.
-1
Let p be (-18)/(-8) + (-6)/24. Solve -8 + 2 = -p*z for z.
3
Suppose 0 = 2*n - 5*n + 9. Let c(z) = z**3 - 10*z**2 - 10*z - 6. Let x be c(11). Suppose -r + 57 = -v + x*v, -v = -4*r - 27. Solve v = 6*a - n*a for a.
5
Let q(j) = j**3 + 14*j**2 + 16*j + 44. Let o be q(-13). Solve -5*k = -o - 10 for k.
3
Let k be 12/(((-9)/(-2))/3). Solve 0 = o + 3*o + k for o.
-2
Let g(o) = o**2 + 4*o. Let u be g(-6). Solve y = -3*y - u for y.
-3
Let k be (1 + -2 - -1)/2. Solve -v - 2*v = k for v.
0
Let x(i) = 5*i + 1. Let k(t) = -9*t - 3. Let p(v) = 6*k(v) + 11*x(v). Let f be p(8). Solve 2*j - 1 - f = 0 for j.
1
Let i(v) = v**2 - 5*v - 2. Let w be i(6). Solve -5 = -w*o - 1 for o.
1
Suppose l - 3 + 17 = -5*z, -5*l - 2*z = -22. Let w = -3 + l. Suppose -1 - 8 = -w*n. Solve n*h + 0*h = -12 for h.
-4
Let j be (0/(-1))/(-2 - 0). Suppose j = -a + 1, 2*a - a - 4 = -3*y. Let x be y - -2*(-1)/2. Solve x = 2*f + 2*f - 4 for f.
1
Let f(j) = -j**3 + 6*j**2 + j. Suppose 0 = -2*l + 12. Let i be f(l). Let m be (-12)/8*(-20)/i. Solve 2*u = m*u - 12 for u.
4
Let z(h) = h**2 + 2. Let s be z(2). Let w(v) = -v**2 + 6*v + 3. Let x be w(s). Suppose 2*t + 3 = x*l, -5*t