t v be 6*-3*20/(-6). Suppose v = 2*w + 3*w. Let k = -9 + w. Solve 0 = -k*y + 2*y - 4 for y.
-4
Let n = 18 + 4. Suppose -n*u + 67 = 23. Solve 0 = 8*j - 7*j + u for j.
-2
Let t be ((-60)/24)/((-2)/12). Let p = t - -5. Let s = -14 + p. Solve -3*l - 15 = -s for l.
-3
Let d be ((-15)/(-9))/((-20)/(-72)). Suppose 2*c = 35 - 3. Suppose 0 = 4*j - 2*s - c, 4*s = -12 + 4. Solve d = -w + j for w.
-3
Suppose m + 0*g = -2*g - 20, -g + 89 = -5*m. Let k be (-8)/36 + (-94)/m. Solve -k*f = -3*f for f.
0
Suppose -2*n + 3*n = 3. Suppose 0 = -5*v + 2*b + 101, 15 + 40 = n*v - 4*b. Let s be v/((-6)/(-2)) - 3. Solve -f - s = f for f.
-2
Let k = -67 - -70. Suppose 8*h - 15 = k*h. Solve -15 = -h*t - 2*t for t.
3
Let u(p) = -3*p**2 - 5 + 12*p**2 + 3*p + 2*p**2 + 7. Let z be u(-1). Solve -x = x + z for x.
-5
Let d = 409 + -405. Solve 0*j = -d*j - 12 for j.
-3
Let f be 1/(128/42 - 3). Suppose -22*m = -f*m. Solve 3 = -l - m for l.
-3
Let f = -1433 + 1481. Solve 0 = 10*i - 28 + f for i.
-2
Let y = -1037 + 1094. Solve 32 = 5*p + y for p.
-5
Let u be 8/3*18/12. Let k(d) = d - 2. Let a be k(u). Solve 0 = a*v + 2*v - 12 for v.
3
Let k(o) = 3 + 2*o + 12 - 2*o + 4*o. Let n be k(-3). Solve -b - 4 + n = 0 for b.
-1
Let g be (20/(-14) - -1) + (-681)/(-21). Let w be (5/4)/(2/g). Solve 2*l + 2*l = w for l.
5
Suppose 11*i - 33 = -5*h + 13*i, 5*h - i = 29. Solve 14*f + h = 19*f for f.
1
Let j be 1284/15 - (-2 + (-24)/(-15)). Suppose 0 = -2*c - 5*s + 16 + 13, 5*c - s - j = 0. Solve 5*a + c = 7 for a.
-2
Suppose -208 = 7*x - 292. Solve -x = -61*r + 58*r for r.
4
Let t = 294 - 282. Solve -5*f - t = -8*f for f.
4
Suppose -m = 3*t + m, 8 = t - 2*m. Solve 0 = 4*l - t*l for l.
0
Let o(l) = -l**3 + 5*l**2 + l - 6. Let s be o(5). Let n be (-7 - (s + -1))/1. Let f(q) = -4*q - 12. Let y be f(n). Solve x = 5*x - y for x.
2
Let s be (7 - (-93)/(-9))*(-6)/4. Solve 3*r = -2*r - s for r.
-1
Let t(w) be the third derivative of w**6/120 + w**5/20 - w**4/12 + w**3/3 + 18*w**2. Let g be t(-3). Solve 3*d + g = -d for d.
-2
Let j(g) = g**3 - 9*g**2 - 12*g + 23. Let f be j(10). Let w(l) = 3*l + 1. Let t be w(1). Suppose -t*a + 2 = -2*b, 2*b + 2 + 0 = 0. Solve -s + f*s + 4 = a for s.
-2
Let x be -9 - (-26 + (12 - 7)). Solve -23*q + 17*q = -x for q.
2
Let f = -57 - -87. Suppose -20 - f = -10*m. Solve 0 = -m*h + 2*h - 9 for h.
-3
Suppose 0 = s - 0*s - 15. Let i be 1 - s - (-2 - -2). Let j = 15 + i. Solve j = 5*w - 14 for w.
3
Let o(v) be the first derivative of v**3/3 - v**2/2 + v - 31. Let m be o(2). Solve -m*u + 20 = u for u.
5
Let m be 1 + (5 - (3 + -2)). Solve 1 + 14 = -m*a for a.
-3
Let w(u) = -5*u - 3*u + 4 + 3 + u**2. Suppose 3*d - 8*d + 35 = 0. Let j be w(d). Solve 4 = -j*f + f for f.
4
Let r(a) = a**3 + 5*a**2 + 2*a + 10. Let w be (-40)/12*15/10. Let x be r(w). Solve -2*o + x - 2 = 0 for o.
-1
Suppose -3*o = -o - 10. Let g(v) = 2*v + 1. Let d(m) = m. Let y(i) = -5*d(i) + 3*g(i). Let h be y(3). Solve -h = -o*b + 9 for b.
3
Suppose 0 = -5*d - 10*d + 75. Solve d = 15*a - 10*a for a.
1
Let c(i) = i**3 + 2*i**2 - 33*i + 16. Let q be c(-7). Solve -q*z - 4 = 2*z for z.
-1
Let m(i) = -9*i + 34. Let x(r) = 4*r - 17. Let u(q) = -3*m(q) - 7*x(q). Let n be u(7). Solve 3*p = 5*p + n for p.
-5
Let z = 2034 + -2031. Solve 13 = z*u + 19 for u.
-2
Suppose -7*r + 4*v = -5*r - 12, -2*r - 2*v - 6 = 0. Suppose 5*b = -12 + 57. Solve r = -y + 4*y - b for y.
3
Let w(s) = -s**3 - 30*s**2 + 33*s + 66. Let a(x) = 4*x - 95. Let j be a(16). Let z be w(j). Suppose f - 2*f = 0. Solve z*y - 6 + 26 = f for y.
-5
Let w be (8/(-6))/(68/(-408)). Solve 13 = t + w for t.
5
Let l = -10 + 33. Suppose -q = -0*q - 4, -l = 3*h - 5*q. Let c be h*(-1 - -3) - -7. Solve -i - 4*i + c = 0 for i.
1
Let a = -54 - -82. Suppose -2*w - 5*w = -a. Solve w*k + 25 = -k for k.
-5
Let z = -102 - -132. Let y be 14 - (-3 - 1*-2). Let k = z - y. Solve 0*x - k = -5*x for x.
3
Suppose 0 = 5*n - 2*p - 389, 3*p - 8*p = 10. Suppose k - n = 8*k. Let u(y) = y**2 + 9*y - 10. Let i be u(k). Solve -5*t - i = -t for t.
-3
Suppose 0 = -7*r + 11*r. Suppose 5*a - 25 = 0, -2*d + 2*a - 6 + 32 = r. Solve d = 4*k + 2 for k.
4
Let m be 8/(-3)*-10*21/56. Solve 0 = 8*o - m + 2 for o.
1
Let x be (3 + -2)*-1*(-1 + 1). Suppose 4*a - 2*k + 5*k = 3, -3*a = -3*k + 3. Suppose 2*j - 2*s = 10 - x, a = -5*j - 3*s + 33. Solve -4*h = -2*h + j for h.
-3
Let w = -24 - -42. Suppose d - w = -2. Let f = -13 + d. Solve u = f*u + 8 for u.
-4
Let n(v) = v**2 - 18*v - 402. Let w be n(-13). Solve 5 = 2*m - w for m.
3
Let t(a) = a**3 - 2*a**2 + 3*a - 2. Let k = 62 - 60. Let v be t(k). Solve h + v*h - 25 = 0 for h.
5
Suppose 4*m + 3*k = 13 + 6, 0 = -3*k - 9. Let d be 0 + -4 + (-1 - -4). Let a = m + d. Solve 0 = a*s - 3*s - 9 for s.
3
Suppose 52 = -h + 5*h. Let u = h + -13. Solve u = 2*c - 0 - 2 for c.
1
Let f = 240 - 218. Solve 0 = 3*g - 37 + f for g.
5
Suppose -2*f - 2*f = -20. Suppose 7*k - 4 = -4*u + 3*k, f*k = -4*u + 5. Suppose u*x - 4*x = -8. Solve 0 = 2*s - s - x for s.
2
Let q = 12 - 6. Let m = 9 - q. Suppose -4 = -m*c - 1. Solve 5 = -4*u + c for u.
-1
Let z(w) = -43*w - 385. Let f be z(-9). Solve 0 = -a + f - 3 for a.
-1
Let c = -2163 - -2166. Let o(p) = -p**3 + 6*p**2 - 5*p + 5. Let l be o(5). Solve c*z = l*z - 6 for z.
3
Suppose 2*m = -3*k - 3, -2*m + 2*k + 14 = 2. Suppose -m*q = -5*w + 24, -4*q - q = 4*w + 3. Solve -w*h + h = 0 for h.
0
Let u = 55 - 55. Solve -2*h - 15 + 13 = u for h.
-1
Suppose 20*g - 197 - 103 = 0. Solve -8 + 38 = -g*t for t.
-2
Suppose 0 = -18*r - 50 + 410. Solve -r*a = -21*a - 5 for a.
-5
Let f be 10/(-20)*1*-20. Let o be (f/(-25))/((-3)/30)*4. Solve 0 = -0*j - 4*j + o for j.
4
Let h(k) = k**2 + 1. Let s be h(-1). Suppose -s*p = -15 - 13. Let q = p + -11. Solve 14 - 5 = -q*u for u.
-3
Suppose 4*p + t = 29, 0*t = -5*p + 3*t + 49. Let j(q) = 3*q - 17. Let g be j(7). Let a be (2 + -3)*(g - p). Solve -l = -a*l for l.
0
Let k be -15*4*4/(-6). Let m be ((-1)/(-4))/(2/k). Let j be m + -1 + 2 + -2. Solve 0*l - j*l = 12 for l.
-3
Suppose -10*s + 9 = -9*s. Solve 0 = -s*x + 8*x for x.
0
Let c = -14 + 16. Let a be (15/c)/(6/16). Suppose o = -4*z + 17, -2*o + 6*o = a. Solve -z = -v - 2 for v.
1
Let r be (2 - (-1 - (5 - 2))) + -2. Solve r + 11 = 3*i for i.
5
Let d = 47 - 46. Solve 0 = -4*f - 3 - d for f.
-1
Let u(q) = q**3 - q**2 - 4*q - 2. Let d = 4 - 1. Let g be u(d). Solve 0 = 3*p - 2 - g for p.
2
Let u(v) be the third derivative of -v**6/120 + v**5/12 - v**4/4 + v**3 + 3*v**2. Let z be u(3). Solve 3*p - z = -0*p for p.
2
Suppose 0 = 55*x - 48*x - 49. Solve 3*n - x = -10 for n.
-1
Suppose -29*q = -31*q + 4. Solve 9*l + q*l = -11 for l.
-1
Suppose 3*c - 3 = 9. Suppose -3*y = -5*n - 181, 3*n - 28 + 148 = 2*y. Let f = 59 - y. Solve -f + 18 = c*h for h.
4
Let j = 23 - 7. Suppose 2*r + s - 7 = 0, 3*r - 4*s - 39 + 1 = 0. Suppose r*i - 5*i - 3 = 0. Solve -7*g + i*g = -j for g.
4
Let d be ((-1)/2 - (-5)/2) + 1. Let s be (-2)/4*(-8 + 0). Solve -s*n = -d*n + 2 for n.
-2
Let y = -7 - 3. Let k = 14 + y. Let f be 7/(21/(-6)) + k. Solve f = -5*h + 17 for h.
3
Let t be 0 - -4 - 2 - (-2 + -1). Let n = 3 + -1. Let g be n/6 + (-1)/3. Solve g = t*z - 7 - 18 for z.
5
Suppose 4*c = c + 6. Let x be (c/3)/((-14)/(-105)). Suppose 10 + 0 = x*i. Solve i*k + 5 = k for k.
-5
Let a = -168 + 170. Suppose -5*u = -5*q + 20, -a*u + 20 = 5*q - 3*u. Solve -q*j + 10 = j for j.
2
Let k be (-171)/(-17) + 39/(-663). Solve -13*p + 15*p + k = 0 for p.
-5
Suppose -5*x = -3*i - 79, x + 4*x - 4*i - 77 = 0. Suppose -27*v = -x*v - 80. Solve -b - v = b for b.
-4
Let g = 185 + -174. Solve 5*f + g = 21 for f.
2
Suppose 4*w + 4 = 5*a + 16, -w + 4*a = 8. Suppose q + w*q = -3*q. Solve -3*m - 3*m = q for m.
0
Let t = 25 - 17. Let r(i) = -i**3 + i**2 + 7. Let q be r(0). Suppose 11*f = q*f. Solve f = -4*u - t - 4 for u.
-3
Let n = -373 - 209. Let w be (-3)/(-7) - n/14. Let y be 7/w - 11/(-6). Solve y*u - 4 = 4 for u.
4
Suppose -42*o + 0 = -126. Solve -31 + 40 = o*l for l.
3
Let m be 6 - (-6 + 4 + 5). Solve -5 = -f - m for f.
2
Let k(a) = a**2 + 21*a + 24. Let l be k(-18). Let n = 32 + l. Solve -n*j = 8 - 4 for j.
-2
Let y(i) be the first derivative of -i**3 + 18*i**2 + 4*i - 10. Let u be y(12). Solve 0 = z + 8 - u for z.
-4
Let r(u) = u**2 + u - 9. Let k be r(-4). Let s = 6 - 4. Suppose -k*v + c + 9 = -2*c, -11 = -s*v - 3*c. Solve -3*i 