 = -2*u + 16 for u.
-4
Let a be 153/17 - (0 + 2). Suppose 5*d - a = 2*c - 3, 0 = 2*d - 2*c - 4. Solve d = -0*k + 2*k - 10 for k.
5
Let n = -1 + 5. Suppose -n*v = v - 40. Suppose j = 2*j - v. Solve 3*f - 1 = j for f.
3
Suppose -20*n + 71*n - 255 = 0. Solve -24 = n*h - 11*h for h.
4
Let l be (-1 + 2)*3 - -1. Let g(s) = s**2 + 5*s - 13. Let j be g(-7). Let a be ((-8 - 1) + j)/2 - -5. Solve 11 = l*x - a for x.
3
Let z be (-408)/42 + (-4)/14. Let v be (1 + -1)/(z/5). Suppose v = 2*k - 4*j + 16, -4*k + 2*k - 5*j = -20. Solve k*m = 2*m for m.
0
Let r(c) be the first derivative of -7*c**2/2 - 2*c - 2. Let h be r(-2). Suppose h + 4 = 4*a. Solve 7*n + 15 = a*n for n.
-5
Suppose d - 16*d + 60 = 0. Solve -9 = -d*u - 1 for u.
2
Let i(u) = -u**3 - 30*u**2 - 26*u + 92. Let p be i(-29). Solve -4*k = -p*k for k.
0
Let m = 32 + -29. Suppose -5*f = m*f. Solve f*t = -t for t.
0
Let c(l) = 2*l + 10. Let f be c(-4). Suppose 0*d - 37 = -f*d - 3*v, 3*d = -4*v + 53. Solve -3*m - 4 - d = 0 for m.
-5
Suppose 51 - 30 = -l. Let m = -18 - l. Solve m*c = c - 10 for c.
-5
Suppose -p - 3*v = -5, 11 = 2*p + 6*v - v. Suppose p*l + 0 = 8. Solve 3*y - 2 = l for y.
1
Let x = -8 - -9. Suppose n + 0 - 5 = 0. Let j = n - 3. Solve p - j = x for p.
3
Suppose 52 = 13*y - 13. Solve q + y - 2 = 0 for q.
-3
Suppose -4*g + 6 + 3 = 5*d, 0 = -4*d - 5*g. Suppose -2*x - 27 = -d*x. Solve -2*r - x - 1 = 0 for r.
-5
Suppose -2 = -3*f + q, 2*f + 0 = 4*q + 8. Suppose 3*y = 3*j, 5 = -f*j + 2*j + 3*y. Suppose 12 - 2 = 5*c. Solve c = s + j for s.
1
Suppose -4*g = 4*g - 6*g. Solve 2*v + v = g for v.
0
Suppose 0 = 4*l - 7 - 29. Suppose l*n = 4*n + 15. Suppose 3*r - n = 2*r. Solve -4 = -r*g + 4*g for g.
-4
Suppose -2*b + 11 = -3*c, -2*b + 8*c = 6*c - 8. Solve -b = 9*w - 19 for w.
2
Let r = -207 - -209. Solve -r = 5*g - 22 for g.
4
Suppose -2*a = -5*u + 21, 24*u - 27*u + 15 = 0. Solve -a*m = -7 - 3 for m.
5
Suppose 2*q = -3*q + 25. Let p = -14 + 13. Let c be (-6)/(-4) - p/2. Solve -q*o + 3 = -c for o.
1
Let c = -2467 - -2488. Solve 0 = 19*s - c*s - 4 for s.
-2
Suppose 3*d + 2*z = 6*z + 25, 2*d - 18 = 3*z. Suppose p + 6 = -2*p, -d*w = -2*p - 13. Suppose y = -b, 6 = -w*y - 4*b + 2. Solve -y*g - 12 = -0*g for g.
-3
Suppose 13*q + 53 = 12*q. Let z = q + 58. Solve -5 = -10*b + z*b for b.
1
Suppose 158*d - 24 = 155*d. Solve -d*a = -3*a for a.
0
Let f(o) = -o**2 + 19*o + 27. Suppose 8*k = -0*k + 160. Let n be f(k). Solve 0 = -2*b + n*b for b.
0
Let i(a) = 20*a + 2. Let m be i(-1). Let y = m + 15. Let f(r) = r**3 + 3*r**2 - r. Let b be f(y). Solve 0*g = -b*g for g.
0
Let q be 194/10 - (-4)/(-10). Suppose -23 = -2*l - q. Solve 0*n - 4 = l*n for n.
-2
Let j(r) = r**3 + 9*r**2 + 9*r + 12. Let i be j(-8). Let f = -169 + 172. Solve 0 = u + f*u - i for u.
1
Suppose -4*y + 22 + 10 = 0. Solve 15*i - 13*i + y = 0 for i.
-4
Let b = -597 - -639. Solve b*a - 28*a = 42 for a.
3
Suppose -3*t = 8*t + 5*t. Solve t = 5*p + 5 for p.
-1
Let l(s) = -2*s - 18. Suppose -4*t + 9*t = 0. Let y be l(t). Let a = 20 + y. Solve x + 0*x + a = 0 for x.
-2
Suppose -5*h + 47 = c - 2, 3*h - 2*c - 32 = 0. Let j be (-12)/h*(-2 + (1 - 4)). Solve 3*o = j - 3 for o.
1
Let w(d) = -d**3 - 8*d**2 + 8*d - 6. Let l be w(-9). Suppose z + 0*z = -4*j - 3, -l*j + z + 3 = 0. Solve j = -3*c - 1 + 7 for c.
2
Suppose 27 = -6*m + 3. Let j = m + 7. Let s = j + -3. Solve s*p + 5*p = 0 for p.
0
Let x = 0 + 0. Let l = -210 - -212. Solve l*n + x*n = -4 for n.
-2
Let u be ((-162)/(-36))/(1 + (-7)/10). Solve -6*j + u + 9 = 0 for j.
4
Let n(j) = j + 5. Let u be n(-2). Let v(c) = -u*c - 5*c + 9*c + 1. Let b be v(4). Solve -b*p = -p - 4 for p.
1
Let y = 147 - 143. Solve 0*k = -k - y for k.
-4
Let n(w) = -w**3 + 3*w + 1. Let h be n(-2). Suppose 4*l - 6 = -3*x, 7*l - 4*x - 20 = h*l. Suppose 0 = k - l*k. Solve k = -c - c + 6 for c.
3
Suppose 30*f - 34*f + 32 = 2*j, -5*j = -f + 19. Solve -4*q = 1 - f for q.
2
Let p = -47 - -39. Let c be (2 + p/3)/(2/(-12)). Solve -4 = -0*i - c*i for i.
1
Suppose 126 = 4*j - 3*b, 6*j + 5*b - 109 = 3*j. Suppose -2*s + 13*s = j. Solve w + 2 = -s for w.
-5
Suppose 2*f - 44 - 25 = -5*r, 4*f = 8. Suppose r = 4*w + 9. Solve 2*o = 7 + w for o.
4
Let b(c) = c + c**2 - 3*c - 2 + 0. Let i be b(-2). Let g(y) = y**2 + 8*y - 7. Let n be g(-9). Solve 0 = n*x - i*x for x.
0
Let o(y) = -7*y**3 - y**2 - y. Let d be o(-1). Suppose 0 = g + 3*s - 15, 5*g - 2*s - 25 = -d*s. Let r be 0 - g/(-4 - -3). Solve r*t + 5 = 5*t for t.
1
Suppose 3*k - 5*m + 185 = 7*k, -105 = -3*k + 3*m. Let u be k/22 + (-2)/(-11). Let j be u/(-6)*0 - -2. Solve -j*i + 3*i = 3 for i.
3
Let g be -10*(-9)/(-135)*3*-1. Let b(a) = -3*a**3 + 2*a**2 + 2*a + 1. Let m be b(-1). Suppose 0 = 4*r + 2*n - 16, -5*r - n = m*n - 30. Solve 4*y = -g - r for y.
-1
Suppose 0 = 2*r + r - x - 35, r = 5*x + 35. Solve r = -40*f + 35*f for f.
-2
Suppose -5*u = -4*h - 6 - 11, -2*u = -4*h - 2. Let r be 0 + 1 + (-1)/(-1). Suppose -r*v + 33 = -g, -3*v = -2*g + 3*g - 47. Solve 0 = -c + u*c - v for c.
4
Suppose -5*b - m = -0*m - 10, 4*m + 20 = 0. Suppose -b*x + 3*l - 19 = 20, 0 = 2*x + 2*l + 38. Let p = -9 - x. Solve 0 = -4*d + 1 + p for d.
2
Let j be (-19 - -18)/(((-3)/1)/12). Solve 3*z + 35 = -j*z for z.
-5
Let a = 36 + -25. Let t = 14 - a. Suppose 3 = -t*c + 6, -2*k + 8 = 4*c. Solve 6 = k*l + 2 for l.
2
Let s be (3 + -5)/(8/132). Let w = -31 - s. Solve -5*h + w*h = -9 for h.
3
Let n = 35 - 32. Suppose -3*l - 21 = -7*l - n*w, -9 = -3*w. Solve 0 = -2*b - l*b + 25 for b.
5
Let p be 11*(-2 - 9/(-3)). Suppose b = 15 + p. Solve 0 = 5*x - 11 + b for x.
-3
Let w = 5 + 23. Suppose 2*q - 3*u - w = -2*q, 3*q - 34 = -u. Let l(c) = -c**3 + 10*c**2 + 2*c + 9. Let v be l(q). Solve v = 5*o + 4 for o.
5
Let i be ((-2)/(-4))/(67/268). Let z = 37 - 25. Let o = z + -7. Solve -i + 12 = -o*p for p.
-2
Let p(r) = r - 8. Let k(y) = 2*y - 17. Let u(z) = -6*k(z) + 14*p(z). Let g be u(7). Solve q = -g*q for q.
0
Let h = 44 + -40. Solve 0 = -3*s + 2 + h for s.
2
Suppose 7*z + 0*z = 0. Let d be (72/30)/2*5. Solve z = -3*q - 0 + d for q.
2
Let v(j) = j**2 - 3*j - 8. Let x be v(6). Suppose -5*m + 4*m - x = 0. Let k be (4 - 6)/(2/m). Solve k + 2 = 4*a for a.
3
Let x be (-1)/9 - (2 - (-252)/(-81)). Solve 2*a + x = 9 for a.
4
Suppose 3*d - 12 = -3*r, -5*r + 20 = 4*d - 3*r. Solve -6*x = d + 12 for x.
-3
Let p be (-3)/6 + (-71)/(-2). Suppose -4*z - 1 = -4*g + 3, 5*z - p = -3*g. Solve -z*a - 16 = -0*a for a.
-4
Let h(k) = 8*k**2 + 21. Let y be h(4). Let q = y - 144. Solve -7*n + q*n = -10 for n.
5
Suppose 5*x - 6*a = -3*a + 16, x = 2*a - 1. Suppose 0 = 5*o - 17*i + 15*i + 10, i = 5*o + 5. Let u be 7 - (-2 - -4 - 0). Solve -u = -o*j - x*j for j.
1
Let t be 8/(-6)*1*27/(-6). Solve -k + t = 3 for k.
3
Suppose -3*t + 5*t - 64 = 0. Suppose 26 = -3*x + t. Let w(s) = 3*s**3 - s**2 - s + 1. Let l be w(1). Solve -8 = -x*z + l for z.
5
Let c be 96/19 + 2/(-38). Solve -3*n + c*n = n for n.
0
Let r(t) = 3*t**2. Let m be r(1). Suppose -3*n - 15 = m*g, 5*n - 3*n + 18 = -3*g. Let a(l) = -l - 7. Let s be a(g). Solve -s + 11 = -2*k for k.
-5
Suppose 0 = 6*j + 2*j - 360. Let w = j - 41. Solve 4 = -2*o - w for o.
-4
Suppose v + 3*v - 16 = 0. Suppose -3*y + 6*y = -3*p + 3, v*y + 3*p - 3 = 0. Suppose y = 4*m - 5*d - 89, 2*m + d - 2 = 39. Solve 4*i = m - 5 for i.
4
Suppose -o + 0*o = 0. Suppose -6*g + 0*g + 120 = o. Solve 8*d - 3*d = g for d.
4
Let l = 1 - 1. Let v be -1 + (-13)/(-11) + (-371)/(-77). Suppose -q - 12 = -v*q. Solve l = -4*m + q*m + 5 for m.
5
Suppose -2*w - 25 = 4*f + w, 2*f = 3*w - 35. Let m(p) = -p**2 - 12*p - 20. Let q be m(f). Solve q = t + 3*t for t.
0
Let r(b) = b**3 + 14*b**2 + 17*b - 2. Let w be r(-12). Let k = w - 77. Solve 2*f = k*f for f.
0
Let g be -3*5/15 - -4. Suppose -3*t - 5*z + 3 = -4*z, 5*t - z = -g. Solve -4 = -t*b - b for b.
4
Suppose -24 = -6*h + 12. Suppose 4*b - 40 = -h*b. Solve -21 = b*p - 5 for p.
-4
Let h be (4/3)/(32/72). Let u(f) = f**3 + 14*f**2 - 17*f - 17. Let w be u(-15). Suppose -w = 5*l - 73. Solve -j - h*j = -l for j.
3
Let r(l) = -l**2 + 17. Let w be r(-6). Let t = 23 + w. Solve -t*d + 10 = -9*d for d.
-2
Let h = -33 + 34. Suppose 5*p = 26 - h. Solve p = -r + 3 for r.
-2
Let w(p) = -2*p**3 + 21*p**2 - 8*p - 9. Let k be w(10). Solve 3*l - 4 = k for l.
5
Suppose 0 = -3*y + 7*y. Suppose y = -l - 3*p + 9, 5*l + p - 17 = 0. Solve 