+ ((-474)/395)/((-9)/105). Solve k*h + 31 = 1 for h.
-3
Suppose -14*j = 18*j - 46*j. Solve a - 11 + 11 = j for a.
0
Let x(d) = -d**3 + 5*d**2 - 2*d + 2. Let t be x(2). Let b be (0 - t)*12/(-10). Suppose 5*c - 3*z + b = 41, 4*c - z = 19. Solve -c*k - k = -20 for k.
4
Let o(w) = w**3 - 3*w**2 + 2*w + 1. Let n be o(3). Let m be 49/21*(-5328)/(-777). Solve 0 = n*c + c - m for c.
2
Suppose -6*b + 2*f = -b - 10, 0 = -5*b + 4*f. Suppose 3*r - 1 = k, k - 2 = -b*r + 3*k. Solve -2*h + r*h = -2 for h.
1
Suppose -q = q - 6. Let j be 8*q*3/18. Let c be (0 - -1) + j + 0. Solve 3 = -c*m - 22 for m.
-5
Suppose 78 = -8*n + 310. Suppose n = 2*y + t, -y + 3*t = -0*y + 3. Suppose d - y = -8. Solve 0*k - 12 = -d*k for k.
3
Suppose -105*k = 397 - 397. Solve 2*j - 10 + 14 = k for j.
-2
Let n = -20325 - -20737. Solve -415 = -3*f - n for f.
1
Suppose -26*w - 393 = -81. Let d be (8/16)/(1/(-24)). Let m = w - d. Solve 1 + m = -n for n.
-1
Let y(s) = -288*s - 2876. Let v be y(-10). Solve 493 - 509 = -v*a for a.
4
Let k(u) = u**3 - 2*u**2 - u + 4. Let q be k(0). Suppose -q*m + 17 = 1. Solve -m = -5*t + 1 for t.
1
Suppose -g + 2*s - 10 = 0, -5*g + s - 14 = -0*s. Let p be 3/24*g*-4. Solve 3*o = 2*o - p for o.
-1
Let l = 6177 + -6246. Let m(j) = 13*j - 9. Let q be m(6). Let n = q + l. Solve n = -d + 4 - 2 for d.
2
Suppose 4*l - 32*a - 10 = -34*a, -4*l = -5*a - 45. Let x be 4 + -1*(1 + 1). Solve x*r - l = r for r.
5
Suppose 27*k - 28*k = -2, 0 = 3*t - 5*k + 1. Let f(z) = -19*z + 64. Let g be f(t). Suppose 11 = 3*w - 7. Solve -g*r = -4*r + w for r.
-2
Suppose d + 113 = 2*k + 20, 0 = 5*k + 2*d - 228. Solve k*b - 47*b + 1 = 0 for b.
1
Let n = 786 - 606. Suppose -n = -23*p + 13*p. Solve p = 5*c - 7 for c.
5
Let l(p) = 68*p - 132. Let x be l(2). Suppose 12 + 8 = 2*n. Let c be n/x + (-11)/22. Solve 3*g - c = -5 for g.
-1
Let k = -8338 - -8639. Solve -6*s + k = 337 for s.
-6
Let h = -19650 + 19666. Solve 126 = h*o + 30 for o.
6
Suppose -230 - 778 = 16*u. Let p = 69 + u. Suppose p*y + 8 = 20. Solve 0 = y*b - 3*b + 2 for b.
2
Let j(d) = 23*d**2 + 179*d - 4. Let p be j(-8). Suppose 129*q = 141*q - p. Let y = -34 + 50. Solve q*o + y - 1 = 0 for o.
-5
Let v(y) = -25*y + 11*y + 19 + 19*y + 18 - 30. Let q = 1 + -2. Let o be v(q). Solve o*b - 5*b + 9 = 0 for b.
3
Suppose -69*u + 680 - 128 = 0. Solve -20 = 6*d - u for d.
-2
Let u = -32180 - -32203. Solve -24*c + 6 = -u*c for c.
6
Let w(m) = 4*m + 52. Let t be w(20). Suppose 130*h + 20 = t*h. Solve 11*d + h = 6*d for d.
-2
Let r(j) = -j + 15. Suppose 7*v - 190 = 342. Let q = 91 - v. Let c be r(q). Solve c*d + 4*d = 0 for d.
0
Suppose 903*b + 1452 = 915*b. Solve -2*r = b - 127 for r.
3
Suppose -z - 4 = -4*a + z, 2*z = 5*a - 7. Suppose 2*d - 4 = -23*x + 27*x, 0 = -d + 2. Solve x*u + a*u = -6 for u.
-2
Suppose -4*i - 14 = -14. Suppose -5*o - 5 + 30 = 5*t, i = -4*o + 2*t + 14. Solve -o*n - 1 - 15 = 0 for n.
-4
Let g be 5 + (-17)/4 + (-949)/(-52). Let z = 0 + 5. Suppose -g = -12*h + z. Solve 2*n = -h*n for n.
0
Let v(f) = -f**2 + 8*f - 12. Let g be v(5). Let j(u) = -11 + 1 - 2*u + g + 1. Let d be j(-5). Solve 0 = d*n + 7 - 3 for n.
-1
Suppose 0 = 27*k - 1086 + 573. Solve -24*u = -k*u + 5 for u.
-1
Let n = 36 + -36. Let u = -1744 + 1749. Solve n = -u*w - 1 - 4 for w.
-1
Suppose -798 = -2*f - p, 185*p - 189*p = -4*f + 1596. Solve f*o + 28 = 406*o for o.
4
Let v(s) = -6*s**2 - 7. Let d(p) = -p**2 - 2*p + 2. Let b(n) = -5*d(n) + v(n). Let t be b(7). Solve -2*l + t = 8 for l.
-2
Suppose -8*n = 26*n - 6*n - 7504. Solve -n*j = -272*j + 8 for j.
2
Let l = 1 - 0. Suppose -5*v + 27*f = 31*f - 27, 0 = 4*v - f - 9. Solve -4*p - l = v for p.
-1
Let g(d) = 17*d**2 - 3*d + 5. Let n be g(1). Solve n*p - p - 72 = 0 for p.
4
Let t be 1254/8 - 6/8. Suppose 4*h = 4*y + t, 0*h - y = h - 47. Suppose 4*w - 59 = -h. Solve -3*l + w = 1 for l.
1
Let a = -38 - -44. Let b be (-20)/8*a/(-5). Suppose b*w + 4*i + 3 = 6, 4*w - 26 = 2*i. Solve -t - w = 4*t for t.
-1
Suppose 3*l = -419 + 2. Let q = l - -152. Let k = -11 + q. Solve 0*w = k*w for w.
0
Let h be 306/21 + (-36)/63. Let r(w) = -w**2 + 21*w - 93. Let l be r(h). Solve l*v = 2*v for v.
0
Suppose 13*h = 11*h + 44. Let j(z) = -z**3 - z**2 - z - 20. Let i be j(0). Let q be h/10 + (-16)/i. Solve -2*t = q - 9 for t.
3
Let x be ((-2)/(-4))/(((-4)/64)/1). Let h be x/(-10) + (-24)/5. Let t be h/(-20)*0*2/(-8). Solve t = r - 3 for r.
3
Suppose 76 = 80*m - 74*m - 416. Solve 99*x - m*x = -51 for x.
-3
Let f(s) = 10*s - 96. Let v be f(10). Let z be (-90)/(-270) - (v/(-6) - 0). Solve -z = r - 2*r for r.
1
Let w = 18 + -13. Let l be 10/(-4)*(-12)/15. Suppose 0 = -x + o + 11, l*x - x = 5*o + 15. Solve 0*r - w*r = x for r.
-2
Let k(f) = -134*f - 1374. Let z be k(-11). Solve 15*m + z - 25 = 0 for m.
-5
Suppose -134*y + 486 = -107*y. Solve 0 = 51*k - y - 135 for k.
3
Suppose 5*s - 3 = 22, -s = -2*c + 5. Suppose 103*v - 96 = 105*v - 5*b, 5*v - 5*b = -90. Solve c*u + v*u - 35 = 0 for u.
5
Suppose -6 = o, -2*c + 7*o + 40 = 3*o. Solve -z + c*z = 28 for z.
4
Let j(o) = -92*o + 293. Let p be j(3). Solve 25*s - 8*s = p for s.
1
Let j = -9260 + 9463. Solve 191*s + 36 = j*s for s.
3
Let o(b) = 10*b - 22. Suppose -3*w - 4*m = 4, -2*w - 3*w = 5*m. Let t be o(w). Suppose t = 7*k + 4. Solve 0 = k*s + 5 + 5 for s.
-5
Let y(x) = -x**2 + 9*x - 9. Suppose -14*g + 19*g = 10. Let m be y(g). Solve -c - 6 = m*c for c.
-1
Let z be 1 - 1 - 5*(6 + -7). Suppose 2*b = -3*q - 3, 8 = 4*q - z*b - 11. Solve 5*m - 6 = -q for m.
1
Let z be -7 - ((-10 + -160)/17)/(1/2). Solve -d - 12 + z = 0 for d.
1
Let y(d) be the second derivative of d**4/12 - 5*d**3/3 + 13*d**2 + 3*d. Let q be y(4). Let l = -2 - -4. Solve q*b = -l*b - 16 for b.
-4
Let n be ((-15)/(-20))/((-5)/(-632)) - (-18)/90. Solve -3*b + n = 89 for b.
2
Let w be (-1)/12 + (-33691)/(-84). Let h = -392 + w. Solve -h = 2*z - 9 for z.
0
Let k be 13 + (6/2)/1. Let h be 20/(-140) - k/(-14). Solve 0 = j + h + 4 for j.
-5
Let b be (-14348)/(-22) + 54/(-297). Solve -5*a + 622 = b for a.
-6
Suppose -5*q = -102 - 73. Suppose -14*l + 7 = -q. Solve 3 = -3*v - l for v.
-2
Suppose -361*c + 13056 = -259*c. Solve -12*z + 44*z = c for z.
4
Let q = 73 + -74. Let z(p) = -10*p**3 + 2*p**2 + 5*p + 3. Let y be z(q). Solve -5*d + y = -0 for d.
2
Let w = -12310 + 12377. Solve w*h - 51*h = 80 for h.
5
Suppose 0 = 58*n + 3039 - 3271. Solve -n*w + 1738 - 1758 = 0 for w.
-5
Let a = -44 + 69. Let l(c) = c**2 - 149*c + 3410. Let w be l(28). Solve a = j + w for j.
3
Suppose 0 = 3*z + l + 3*l + 139, 78 = -2*z + l. Let a be 1 + z + 5/(11 - 6). Let c = a + 39. Solve -4*f + 6 + 6 = c for f.
3
Let r = 677 + -645. Suppose 70*u - r = 62*u. Solve 46 = u*a + 54 for a.
-2
Let q be 15*1*14/35. Suppose q*b = 7*b - 4. Suppose -11 = -b*d + 1. Solve -f + d = -2*f for f.
-3
Let t(h) = 24*h - 1040. Let u be t(44). Solve 26*x = 30*x + u for x.
-4
Suppose 0 = -2*d - 3*u + 737, -5*d + 6*u - 4*u = -1795. Solve d*q - 355*q + 6 = 0 for q.
-1
Suppose 3*u + m - 725 = 0, -1049 = -3*u - 4*m - 336. Let p = 246 - u. Solve a + 4 - p = 0 for a.
-1
Let z(t) be the first derivative of -t**4/4 + t**3/3 - t**2 + 28*t + 45. Let k be z(3). Solve m = k*m for m.
0
Let h(m) = m**2 + 12*m - 25. Let s(v) = 3*v**2 + 23*v - 50. Let k(z) = -5*h(z) + 2*s(z). Let c be k(12). Solve -j - 2 = -c for j.
-1
Let y be (6/(-4))/(12/(-96)). Let b be 2 + 5 + (y/(-6) - 2). Solve 0 = b*z + z for z.
0
Let j be 17/(850/(-60))*(-5 - (-60)/(-8)). Solve -10*b + 15 = -j*b for b.
-3
Suppose -46*a = -28594 - 39256. Solve -3 = a*f - 1472*f for f.
-1
Let s = 15371 + -15156. Solve s*o = 232*o - 34 for o.
2
Let y(t) = -2*t + 4. Let d be y(1). Suppose d = -0*m + m. Suppose h + m*u = -4*h + 19, -5*h - 4*u = -13. Solve h*q - 33 = -13 for q.
4
Let z = -5782 - -5884. Solve z*v = 104*v - 6 for v.
3
Let l(c) = c**2 + 8*c + 9. Let m be l(-7). Let y(f) = f**2 + f - 4. Let n be y(3). Suppose -r + n*r - 77 = 0. Solve -1 = m*h - r for h.
5
Let n = 0 - 2. Let w be (5/2 + n)*10. Let m be (297/33 + -10)/(2/(-14)). Solve w*i + m = -3 for i.
-2
Suppose -m + 40 = -5*d, -3*m + 6*d + 92 = 5*d. Solve m = -4*y + 34 for y.
1
Let p be (84/(-20))/((-6)/10). Suppose -15 = -5*i, p*i + 6 = -5*b + 9*i. Solve b*k = 2*k + 6 for k.
-3
Suppose 0 = -8*j + 40 + 16. Solve j*u + 40 = -u for u.
-5
Let k be ((-40)/(-3))/((-12)/(-18)). Suppose 0*u + 