 + h for x.
4
Let a be (69/(-115))/(1/(-50)). Solve -7*d - 5 - a = 0 for d.
-5
Let d be 13/4 + (-3)/(9 - -3). Suppose -8 = -d*q - 4*p, 3 = -q + p + 1. Suppose 0 = 3*n - 7*n + 16. Solve -v = -q*v - n for v.
4
Suppose 93*g - 95*g = -c + 15, 0 = -5*c - 3*g + 10. Solve c*s - 14 + 4 = 0 for s.
2
Let f(m) = 2*m**3 - 9*m + 17. Let a be f(2). Solve -2*t + a = t for t.
5
Suppose 0 = 7*l - 9*l. Suppose -2*q = -0*d - 4*d + 14, 3*d - q - 10 = l. Solve -4*g = -g - d for g.
1
Let v(k) = k**2 - 6*k + 7. Let b be v(5). Suppose 4*r - 7*p = -b*p - 6, 4*p = -r + 9. Suppose -r = -h + f + 2, 2*h = -2*f + 18. Solve -d + h = 2*d for d.
2
Suppose 3*y = -5*n + 31, 0*n = y - n + 3. Let v be (y/4)/(3/30). Solve v*l = l for l.
0
Suppose 5*f = 2*f - 39. Let j = -13 - f. Let d = 5 - j. Solve -d*r = -r - 8 for r.
2
Let f = -337 + 354. Solve f - 13 = 2*j for j.
2
Let w be (-8320)/45 + 4/(-36). Let x be 2/(-12) - w/30. Solve -x*d + 12 = -2*d for d.
3
Suppose 2 = 4*l - 2*l. Let h be 0 + l/(-4) + (-45)/(-20). Solve 5*y - h*y = 15 for y.
5
Suppose 5*q + 3*u + 15 = 7*q, q = 4*u + 15. Solve -4*w = q*w + 14 for w.
-2
Suppose 9*z - 20 = 4*z. Suppose r - 13 = -z*u, 4*u + 2*r = 15 - 1. Solve -u*l - 2*l + 10 = 0 for l.
2
Let h be -3 - (4 + -3 - -1). Let v = 27 - h. Solve -5*x + v = 7 for x.
5
Let s be 11 + -34 - 2*-1. Let d be (-27)/s - 10/35. Solve 0 = h - d - 2 for h.
3
Suppose 2*x + 604 = -4*d - 0*x, -x = 5*d + 749. Let c = 153 + d. Solve 0*a = -a + c for a.
4
Let m(z) = z**3 + 6*z**2 + 2*z. Let p be m(-6). Let l = p + 14. Solve -l*f + 12 = 2*f for f.
3
Let b(k) = -2*k**2 + 31*k + 17. Let j be b(16). Let s be -1 - (-1 - 1 - -1). Let x be 2 - -1*(2 - s). Solve j - x = -w for w.
3
Let d(s) = 5*s**3 + 4*s**2 - 6*s. Let g(l) = 4*l**3 + 4*l**2 - 6*l - 1. Let z(i) = -3*d(i) + 4*g(i). Let x be z(-5). Solve 9 + x = 5*a for a.
2
Suppose -5*m = -6*m. Suppose 3*l - 4*i = m, -2*l = 2*l + i. Solve 8*t - 5*t = l for t.
0
Suppose -6*r + 3 = -r + h, 3*h - 9 = r. Solve j - 2 + 6 = r for j.
-4
Let x(t) = -2*t + 30. Let p be x(13). Solve p*m - 85 = -73 for m.
3
Let t be (-10)/35*-5*7. Let x = t + -8. Solve y = -x*y for y.
0
Let n(x) be the second derivative of x**4/12 - 7*x**3/3 - 5*x**2 - 2*x. Let f be n(15). Solve 5*j + f = -5 for j.
-2
Suppose 5*m = -4*s + 95, -4*m + 95 = m - 4*s. Suppose 0 = 5*c + 15, -4*c - m = -p + c. Suppose -6*w = -p*w - 6. Solve -w*j - 4 = -j for j.
-2
Suppose 0 = 6*d - 12*d + 66. Suppose d*o - 12 = 5*o. Solve -o*q = -5 - 3 for q.
4
Suppose 67*l + 24 = 73*l. Solve -11*j - 26 = -l for j.
-2
Let l = 1799 - 1790. Solve -6 = l*s + 39 for s.
-5
Let k = -38 + 41. Suppose 88 = 5*r - 2*u, -k*u - 42 - 50 = -5*r. Let z be (-15)/(-2)*(-6)/(-9). Solve -z*b + 6 = r for b.
-2
Let g(c) = -c**3 + 2*c**2 + c - 9. Let w be g(-2). Solve 0 = w*i + 27 - 12 for i.
-3
Let r = 60 + -62. Let j(n) = -n - 1. Let z(g) = 6*g + 6. Let d(f) = -3*j(f) - z(f). Let v be d(r). Solve -v*h = 4 + 5 for h.
-3
Suppose 4*g - 12 = -0. Suppose 6 = -v + 11. Suppose -4*x - o + 2 + 33 = 0, v*x = 2*o + 34. Solve s = g*s - x for s.
4
Let f = -230 + 230. Solve 5*r + 0 + 5 = f for r.
-1
Let i = 35 + -47. Let n be 44/24 - 2/i. Solve 0 = n*c - 0 + 6 for c.
-3
Let y be (-95)/(-15) + 1/(-3). Let u = 10 - y. Suppose 3*x = -2*k + 4, u*x + 2 = 5*k + 15. Solve -x*h = -h - 1 for h.
1
Let z(m) = -m**2 + 8*m + 3. Let f be (1 - -9) + (-6)/3. Let o be z(f). Suppose -o*g = -5*g. Solve y - 5 + g = 0 for y.
5
Suppose 0 = -h - 4 + 3. Let k be h/(2 + 15/(-6)) - -2. Solve -l + 9 = -k*l for l.
-3
Let s = -10 + 25. Let n be 12/54 + (-2)/9. Solve 4*p - p - s = n for p.
5
Let v = 42 + -18. Let s be (v/9)/(8/12). Solve -s*g + 10 = g for g.
2
Let g = -61 + 41. Let w = -11 - g. Suppose 0 = 10*b - w*b - 16. Solve 5*a = a + b for a.
4
Suppose -46*s = -40*s - 132. Solve 6*r + 4 = s for r.
3
Let d(w) = 6*w**3 + 96*w**2 - w - 11. Let v be d(-16). Solve 0 = -3*n + v - 2 for n.
1
Let l = 3 + 0. Let o = 575 + -555. Solve 2*j - o = -l*j for j.
4
Let s be (4 - (9 + 1))/(6/(-22)). Solve -24*o - 8 = -s*o for o.
-4
Suppose 0 = -3*s + 7 - 1. Suppose 0 = -2*n + 6, 5*x + 3*n - 8 - 26 = 0. Suppose 2 - 11 = 4*c - x*g, 0 = c - g + 1. Solve -s*q - 14 = -c for q.
-5
Suppose 1 = -2*q - 9, 0 = -3*f - q + 13. Solve -16 = -2*a + f*a for a.
-4
Let v(p) = 5*p + 171. Let q be v(-34). Solve -2*b - 5 - q = 0 for b.
-3
Let a(t) = -t**2 - 22*t - 18. Suppose 3*n - 16 = -79. Let u be a(n). Solve 2*l - 25 = -u*l for l.
5
Let j be (20/(-25))/((-3)/15). Suppose j*s - 13 = -1. Solve s*o = -0*o + 12 for o.
4
Let o be -119*(-2 - 39/(-21)) - -7. Solve -25 = -m - o for m.
1
Let f(o) = o**3 - 8*o**2 - 7*o + 14. Let t be f(10). Suppose t = x + 2*x. Suppose 0 = 5*k - p - 3*p - 15, -4*k - 4*p = -x. Solve -2*r + k = 3 for r.
2
Let c(j) = -2*j**3 - 13*j**2 - 3*j + 23. Let i be c(-6). Solve 4*r - i = 7 for r.
3
Suppose 2*d = -t + 16, -4*t - 5*d + 55 = t. Suppose t = -3*b + 6*b - i, 0 = 2*i. Let o(p) = 2*p - 36. Let w be o(21). Solve w = -b*z - z for z.
-2
Suppose 4 = 3*n - 2*n. Let p(c) = -c**2 - 5*c. Let i be p(-4). Let z(m) = -m**3 + 5*m**2 - 5*m + 6. Let u be z(i). Solve -2*o = u - n for o.
1
Suppose 0 = -38*b + 110 + 80. Suppose 92 = 8*j + 12. Solve b + j = 3*d for d.
5
Let w = -23 - -43. Solve g = -3*g + w for g.
5
Let q = 6653 + -6648. Suppose 2*p = -2*p + 12. Solve -10 = -p*k + q for k.
5
Let k = -114 - -118. Solve k*l + 3 = 3*l for l.
-3
Suppose -83 = -4*g - 3*d, 4*d - 87 + 16 = -3*g. Solve 3*h = g*h - 28 for h.
2
Let w(f) = -f**3 - 6*f**2 + 17*f + 112. Let b be w(-6). Solve 17*t - 28 = b*t for t.
4
Suppose 0 = 4*b, 50 = 5*t - 0*t - 2*b. Let a be -2 - (-2*(5 - (-36)/(-6)) + -4). Solve t = -2*g - a*g for g.
-5
Suppose 3 = 4*p - 7*p. Let i be (-80)/(-15) - p/(-3). Suppose -3*q + 0 + 10 = -d, -i*d = 3*q - 40. Solve 2*h - q + 1 = 0 for h.
2
Suppose 33*h - 11*h = 66. Solve 0 = h*y - 7 + 4 for y.
1
Let n be (5/3)/(-3 + 50/15). Suppose 5*v = 2*y + 2*y - 28, n*v = 3*y - 26. Solve c + 3 = y for c.
-1
Let y be ((-3)/2)/((-3)/4). Suppose 5*k - u = 6, -k + 25*u - 20*u = -6. Solve 0 = -l - y + k for l.
-1
Suppose -64*v - 4 = -68*v. Solve -8 = 9*k + v for k.
-1
Let y be (-14)/49 + (-114)/(-7). Suppose -y = 5*i + 4*r - 56, 3*r - 3 = 3*i. Solve -2*z + 4*z - i = 0 for z.
2
Suppose -5*a - 6*d - 45 = -2*d, 2*d - 75 = 5*a. Let u = a - -17. Suppose 5 = n + u. Solve -2*f + 9 - n = 0 for f.
4
Let k(w) = -2*w + 38. Let p be k(17). Suppose 0 = -p*y + 7*y - 60. Solve 2*m + y = 7*m for m.
4
Let a = 1184 - 1149. Solve a - 10 = 5*g for g.
5
Let w(u) = u**2 + u. Let h be w(0). Solve h = -4*f - 8 + 20 for f.
3
Suppose 2*v = 4*m - 2*v - 268, -308 = -4*m - 4*v. Let p = -69 + m. Solve -1 + p = -q for q.
-2
Suppose 0 = 5*i - 21 - 9. Suppose 0*p - 5*p - 20 = 0. Let n = i + p. Solve 0 = y - n*y for y.
0
Suppose 11*a - 134 + 2 = 0. Solve 2*g = -g + a for g.
4
Let n(z) = -3*z**2 - 9 - 11*z + 12 + 5*z**2. Let o be n(5). Let r be 28/2 - (o - 2). Solve 0 = 3*i + 3 - r for i.
5
Let r be -1 + -3*11/(-3). Suppose -12*z + r*z = 0. Suppose 4 = -4*u + 20. Solve -y + z = u for y.
-4
Suppose -4*p = z - 17, -5*p - 3*z + 30 = -0*p. Solve 2*d + 3 = -p for d.
-3
Suppose 3*c = 2*c + 1. Let w = c + 1. Solve -2*q + w = -q for q.
2
Suppose 5*f = -4*o + 45, 5*f - 62 + 32 = -o. Solve -3*c + o + 1 = 0 for c.
2
Let g be (3/6)/((-14)/(-140)). Solve -g*w = -14 + 24 for w.
-2
Suppose -10*f + 5*f + 20 = 0. Suppose -h = f, 2*j + 2*h = -6 - 4. Let q be (-32)/(4*j) - -1. Solve 3*r = -6 - q for r.
-5
Let x be (20/(-12))/(7 - (-86)/(-12)). Solve -3*p + x = 7 for p.
1
Suppose 128*f - 35 = 121*f. Solve 293 = f*j + 293 for j.
0
Let m(s) be the third derivative of s**5/20 - s**4/6 + s**3/6 - 2*s**2 + 12. Let l be m(2). Solve l*i = -0*i - 10 for i.
-2
Suppose 3*r - 123*y - 177 = -120*y, 4*r - 196 = -4*y. Solve 55 - r = t for t.
1
Suppose i = -2*t - 10, 5*i + 10 = 2*i - 2*t. Let s(m) = m**3 - 5*m**2 + 5*m + 8. Let w be s(3). Solve i = x + w - 4 for x.
-1
Let s = 68 - -80. Solve 0 = -s*t + 143*t + 10 for t.
2
Let g be (-2106)/(-27)*24*6/27. Solve g = 2*x + 414 for x.
1
Let q = -929 - -961. Solve -4*v + q = 24 for v.
2
Let c(s) = -s**3 + 7*s**2 - 4*s - 11. Let g be c(5). Solve 4*f + 3 = g for f.
4
Let c be (-2)/48*-4 - 2/12. Solve 2*n = -c*n + n for n.
0
Let c be ((-1)/(-1))/(5 - 4). Let u = -6 - -14. Let s = -8 + u. Solve s = p + c for p.
-1
Suppose -45*j + 44 =