et n = 1 - 1. Solve 0*l + 3*l - b = n for l.
1
Let n = 28 + -21. Solve 4*k = 5 + n for k.
3
Let b(f) = f - 1. Let u be b(9). Solve 5*o - u*o - 15 = 0 for o.
-5
Let o be (-18)/15*20/3. Let y = o + 12. Let n(k) = k + 2. Let v be n(5). Solve -v*a = -3*a - y for a.
1
Let g be 1/(-2) - (-27)/18. Let z(j) = 5 - 3*j + 3*j + j. Let h be z(-3). Solve h*l = g - 3 for l.
-1
Let g be (26/91)/(2/28). Solve -7 = -g*f - 3 for f.
1
Let k = 10 - 4. Suppose -3*d = -k*d. Solve d*a = 3*a + 12 for a.
-4
Let d be 2*1 + -3 + 3. Suppose 14 = -d*j + 20. Solve c - j*c = 10 for c.
-5
Let u = 3 + 0. Let c be (-1 - 0)/(-1 - -2). Let j be (8 - 9) + (-1)/c. Solve j = -u*f - f + 20 for f.
5
Let z(q) be the first derivative of -29*q**2/2 - 2. Let l be z(-1). Suppose k - 130 = -5*v, l + 76 = 4*v + k. Solve 4*r + r = -v for r.
-5
Let j = -1 + 3. Let w = j - 4. Let f(z) = z**3 + 3*z**2 - 1. Let p be f(w). Solve p + 12 = -5*a for a.
-3
Let a be -2 + 0/(-2 + 3). Let y = a - -4. Solve y*u = u for u.
0
Let v(c) = 3 - 2*c + 2 - 1. Let k be v(-3). Suppose a - 3 + 1 = r, 0 = 5*a + r + 2. Solve -5*d - k - 5 = a for d.
-3
Suppose 5*r = 5*l + 130, -5*l = 9 - 4. Suppose 0 = -5*t - 5*v + r, 0*t = t - 4*v + 15. Solve -g + 1 = -t for g.
2
Let k(c) = c - 3. Let v be k(5). Let i = -138 + 138. Solve v*n + i = -2 for n.
-1
Suppose 5*j - 2 - 3 = 0. Let g = j + 4. Solve 3*p = -g - 4 for p.
-3
Let r(m) = -m. Let x be r(-5). Suppose 5*t - 4*i = 0, -i - 4*i = -5*t - 5. Solve y + t = x*y for y.
1
Let x(m) = 6 - 2 + m**2 + 0 + 4*m. Let l be x(-4). Let q = -13 - -15. Solve -q = l*y + 2 for y.
-1
Suppose 0 = -0*v + 3*v - 3. Let f = v - 0. Suppose 148*h + 4 = 150*h. Solve -y = f + h for y.
-3
Let o be 4/10 + (4 - 110/25). Suppose -l + 4*l = 15. Solve o = 4*j - 13 + l for j.
2
Let o(z) = 2*z**2 - 2*z - 2. Let h be o(2). Solve 3*l + h*l = 15 for l.
3
Let k(o) = o - 1. Let p(j) = 2*j - 6. Let w(v) = 3*k(v) - p(v). Let a be w(-3). Solve -8 = -4*l - a for l.
2
Suppose -3 = 6*h - 7*h - 2*n, 2*h + 5*n - 6 = 0. Let w be (-1)/h - (-1)/3. Suppose z + 2*f = 8, -z - 2*f = 3*f - 17. Solve w = -3*i - z*i for i.
0
Let p be 24/4*1/3. Let b(x) = x**3 - 2*x + 4. Let n be b(0). Suppose -v - p*r + 2 = 0, n = 2*v - 4*r - 16. Solve -v = -q + 4*q for q.
-2
Suppose -3*n + 4*d + 30 = 0, -45 + 12 = -3*n + 5*d. Suppose 4*i = n*i. Solve i = -0*p + 4*p - 12 for p.
3
Let l = -12 - -6. Let s be (l + (2 - 0))*-1. Suppose -3*a + 2 = 11, -w - s*a = 9. Solve 3*g - 6 = -w for g.
1
Let c(t) = t + 2. Let v be c(3). Suppose 0 = v*p - 23 + 3. Suppose -3*g = -5*r - 20, -8 + 28 = -4*g - 5*r. Solve g + p = k for k.
4
Let p be (((-8)/6)/(-4))/(17/204). Solve -p*j = 5 - 1 for j.
-1
Let j(z) = -z**3 - 2*z**2 - z - 2. Let x be j(-2). Let t = 11 - 6. Suppose d + 15 = 4*d - 5*m, 2*d + m = -3. Solve d = -x*g - t*g for g.
0
Suppose a = -0*a. Let u = 10 - 1. Suppose 5*r - 2*y = 12, 5*y = 3*r - r - u. Solve r*v + v = a for v.
0
Let o(q) = -q**3 + 4*q**2 - 2*q. Let l be o(3). Solve -l*v = -0*v for v.
0
Suppose -5*f - 3*s = -19, -s + 5 = 2*f - f. Suppose 0 = -3*d + 3*x, 5*d - f*x = -0*d + 9. Let c be ((-3)/2)/d*-4. Solve -4 = -c*h - 12 for h.
-4
Let z(n) = n + 7. Let q be z(-3). Let f be (2/(-4))/(1/(-4)). Suppose -f = v - q. Solve v*c + 4 + 2 = 0 for c.
-3
Let f = 8 + -5. Solve f*i - 20 = -i for i.
5
Let b(l) = -2*l**2 + 4*l - 2. Let t(j) = -3*j**2 + 5*j - 2. Let x(w) = 4*b(w) - 3*t(w). Let f be x(-2). Solve f = -2*d - 0*d for d.
0
Let r = 7 + -6. Solve -2*w = 3 - r for w.
-1
Suppose -3*s + 4*o + 8 - 1 = 0, 5*o = -5*s + 35. Solve 15 = 2*j - s*j for j.
-5
Suppose 0 = 2*k - 5*r - 15, 12 = k + r - 5*r. Let j(q) = -q**2 + q. Let b be j(k). Suppose 0 = t + c - 6, -3*t = -5*c - b*c + 14. Solve -t*i - i = 12 for i.
-4
Let d be 6 - 7/(7/3). Solve 2*q = -d + 1 for q.
-1
Suppose -2*z = 4*v + z + 15, 4*v + 4*z + 20 = 0. Suppose 0*k - 4*k + 12 = v. Solve -h = k*h - 8 for h.
2
Let k(y) = y**3 + 11*y**2 + 8*y - 16. Let r be k(-10). Solve 3*h = r*h - 3 for h.
3
Let a(w) = w**3 + 4*w**2 + 7*w + 12. Let o be a(-3). Solve 3*n + o*n = 3 for n.
1
Let m(s) = s**2 - 6*s. Suppose -2*l = -0*l - 12. Let x be m(l). Solve -5*r + 30 - 10 = x for r.
4
Let c(y) = y**3 - 5*y**2 + 2*y - 5. Let f = 11 + -6. Let a be c(f). Solve a*h = 3*h for h.
0
Let j = 2 + 4. Let z(o) = o**2 - 5*o - 6. Let b be z(j). Solve -q - 1 - 3 = b for q.
-4
Let y = 14 - 11. Suppose 3*a = -2*c - 12, 1 - 17 = y*c + 4*a. Solve c = 3*l + 2*l for l.
0
Let x = 47 - 43. Solve -x*h - 4 + 20 = 0 for h.
4
Let t be (2/(-6))/((-1)/57). Suppose -w = 5*d - t, -w - 16 + 3 = -3*d. Suppose -o + 5*i - 16 = o, d*i = 16. Solve -x = o*x for x.
0
Suppose -4 + 14 = 5*g. Let w be (-4 - g)/((-15)/10). Solve -5*j = -w*j for j.
0
Suppose 7*b + 0 = -0. Solve 4*m + b*m - 16 = 0 for m.
4
Let x be (9/(-18))/(1/(-12)). Solve -x*d - 8 = -2*d for d.
-2
Let n(l) = -l - 5. Let i be n(-4). Suppose 0 = -5*t - 0*t - 5. Let k = i - t. Solve 5*a = -k*a + 20 for a.
4
Let x = -4 - -2. Let s be (-24)/((3/x)/1). Solve -4*n - s = 4 for n.
-5
Let i be 2*(-6)/16 - 103/(-4). Solve -i = 5*k - 5 for k.
-4
Suppose 16 = 4*t - 0. Suppose 0*d + t*d + 4*o = -172, -5*d + 2*o = 229. Let u be (-10)/d - 7/(-9). Solve 5*m + 4 = -u for m.
-1
Let r = 121 - 118. Solve 3*t = 4*t + r for t.
-3
Let i be -4 + (-4 - (0 - 11)). Solve -i = -y + 2 for y.
5
Suppose -2*p + 0*a + 11 = -5*a, 0 = -3*p - 3*a + 6. Suppose 5*w = p*s + 25, 2*w + 0*w - 10 = s. Solve 9 = -s*g + 3*g for g.
3
Let l = -30 + 32. Solve 12 = -l*z - z for z.
-4
Let b = -33 - -46. Let o(p) = -p + 17. Let q be o(b). Solve 3*f + f = -q for f.
-1
Let k(q) = -q - 7. Let t be k(-7). Suppose -a - 16 = -5*i + 4, -5*a - 2*i = -35. Suppose -2*s = -a*o + 15, -8*s + 4*s + 40 = 4*o. Solve -o*j + t*j = 15 for j.
-3
Suppose 0*s + 18 = s. Let a be (-6)/s + 68/6. Solve 2*i = a - 3 for i.
4
Let m(z) = -2*z**2 + 33*z - 44. Let a be m(15). Let l = 8 + -4. Solve -l*h = -a + 9 for h.
-2
Suppose 4 = -3*o + 5*i, -4*o + 14 = i + 4. Solve -3*g = -o - 4 for g.
2
Suppose 2*b + d - 1 = 10, 5*b = -3*d + 26. Let k be 1 + ((-9)/1)/3. Let o be k/3*(-15)/10. Solve -3*v + b = o for v.
2
Let p be (-2)/8 - 36/(-16). Suppose 4*b - l - 27 = -b, -3*b + p*l + 19 = 0. Let u be (16/10)/(2/b). Solve x + u*x + 15 = 0 for x.
-3
Suppose -5*q + 3*k = -44, 5*q + 2*k - 16 = 38. Solve -q = -0*i + 5*i for i.
-2
Let w be (-3)/(-4) + (-26)/(-8). Solve 0 - 4 = -w*d for d.
1
Suppose -3*q + 8 = -7. Let z be 0/(6/45*5*3). Solve 0 = -z*n + 5*n - q for n.
1
Suppose -9 = -5*i - 2*c, 0 = -i + 3*i + 4*c + 6. Solve -13 = 4*q + i for q.
-4
Let y be (-2)/(-6) + -1 + 32/12. Let i = -3 - -7. Solve -m + i = -y*m for m.
-4
Suppose -2*m = -3*l - 4, l + 4*l + 2*m - 4 = 0. Solve -4 = f - l for f.
-4
Let b = -10 - -6. Let u be (-2)/b + (-99)/(-6). Suppose -7 = -5*f + 13. Solve 3 + u = -f*v for v.
-5
Let t(h) = h**3 + 4*h**2 + 3*h + 4. Let p(i) = 0 + 3 - 2 + 4*i. Let l be p(-1). Let m be t(l). Solve -15 = -q + m*q for q.
-5
Suppose 5*a = 2*j + 2*j, 5*a = -j. Solve -u - u = a for u.
0
Let k be (-36)/(-8) + (-2)/4. Let u(q) = -q**3 + 6*q**2 - 5*q + 4. Let v be u(5). Solve -v*a + k = -0 for a.
1
Let o(t) = t - 9. Let i(r) = -r + 8. Let l(c) = 4*i(c) + 3*o(c). Let n be l(0). Solve 0*k = k - n for k.
5
Suppose 0 = 4*g - g. Suppose 2*k = -2*t - 8, -4*t - 24 = -4*k - g*t. Solve 0 = -i - 0 + k for i.
1
Suppose -4*y - 3*h = -20, 0 = y - h + 2*h - 6. Suppose -y*r = -4*r - 2, -5*r = b + 3. Suppose -2*j + 2*v = 8, -j + 8 = b*j + v. Solve 5*q = 4*q + j for q.
1
Let a be 3/((-1)/(-6)*-2). Let t = 3 + a. Let x be (-1 + 2/4)*t. Solve x*z - z + 6 = 0 for z.
-3
Suppose -3*t - t = -8. Suppose -3*w = -8 - 1. Solve t*x + 9 = w for x.
-3
Let o(z) = 5*z - 30. Let c be o(6). Solve c*m - 3*m - 12 = 0 for m.
-4
Suppose 0 = -3*y - 3*y + 48. Solve y*l - 4*l = 8 for l.
2
Let y = -16 + 41. Let v = y + -10. Let k = v + -9. Solve -i - i = k for i.
-3
Suppose -3*m = -4*m. Solve 0 = -m*t - 5*t - 25 for t.
-5
Suppose 0 = -0*f - 3*f + 4*z - 35, 4*f = -z - 15. Let a = 8 + f. Suppose -3*h = -3*b - 6, -a*b - h + 9 = h. Solve 2*c + 11 - b = 0 for c.
-5
Suppose 4*i - 3*k - 64 = 6*i, 5*i - 4*k + 114 = 0. Let c = -18 - i. Solve -2*y - c = -2 for y.
-3
Let u(q) = -q - 1. Let f(n) = -3*n - 13. Let p(d) = f(d) - 5*u(d). Let w be p(6). Solve -w*v = -0 + 4 for v.
-1
Let y = 0 + 1. Let b(u) = u**3 - 5*u**2 + 4*u. Let q be ((-6)/(-9))/((-