b + b + l = 0 for b.
-3
Let t(q) be the first derivative of 17*q**2/2 - q - 1. Let a be t(1). Suppose d + a = 5*d. Solve -2 - d = -2*u for u.
3
Let g = -6 + 15. Let u(t) = t**3 - 9*t**2 + 3. Let i be u(g). Solve -i = -3*x + 3 for x.
2
Suppose -11 - 9 = -2*n. Suppose 3*f = f + n. Let i be 1/2*(3 + -3). Solve -b - f + 0 = i for b.
-5
Suppose 4*t + 16 = 4. Let w be (t/1)/(12/(-8)). Solve -2*a - 4 = w*a for a.
-1
Let d = -26 + 24. Let z be (-3 + 3 - d)*1. Solve 3 + z = k for k.
5
Suppose 0*g = 6*g - 12. Solve g = v - 2 for v.
4
Let r = 10 + -7. Suppose 3*z - 3 = 2*z. Suppose s = -z*s. Solve -r*f + s*f + 9 = 0 for f.
3
Let o(n) = -n**3 + 8*n**2 - 8*n + 12. Let s be o(7). Suppose 1 - s = -g. Solve 1 + g = -j for j.
-5
Suppose 3*d = f + 16 + 13, -2*f - 18 = -d. Let h be (6/5)/(d/20). Solve 4*a - 3 = h*a for a.
3
Suppose -853 = -5*x - y, -x = x - y - 344. Let a be 3/5 - x/(-15). Solve 3*d + d - a = 0 for d.
3
Let n = 0 + 0. Let v be 2/9 - (-4)/(-18). Let f = n - v. Solve f*u + 5 = u for u.
5
Suppose h - y = 2*y - 4, -4*y = -4. Let o = h + 9. Solve 2*v = 6*v + o for v.
-2
Let o be 16/(-12)*9/(-2). Solve -2*n + o*n - 12 = 0 for n.
3
Suppose -2 - 6 = -2*c. Suppose -3*z + 6 = 3*a, -a = 3*a + 2*z - 10. Solve -w - c = -a for w.
-1
Let i(f) = 6*f**3 + f**2 - f + 1. Let y be i(1). Solve 5*r - y = -22 for r.
-3
Let u = 10 + -7. Suppose 22 = 16*w - 26. Solve w*r = -12 - u for r.
-5
Let y(d) = d**2 + 6*d + 8. Let k be y(-4). Solve -2*w + w - 2 = k for w.
-2
Let r(m) = m**3 - 12*m**2 + 12*m - 8. Let h be r(11). Solve h*d + 18 = 6 for d.
-4
Let a be -2*(-2 + (-2)/8*-2). Solve 0 = 3*u + 9 + a for u.
-4
Let x(s) = -s**2 - 2*s + 3. Let t be x(-3). Suppose -7 = v - 3*l, -l + 3*l - 10 = t. Suppose 0 = 4*u - 2*p - v, -4*u + 0*u = -4*p. Solve n = -n + u for n.
2
Suppose 7 = 9*x - 20. Solve -2*t - x*t = -5 for t.
1
Suppose 4*a = -2*o + 8, 0*o + 20 = 3*o - 2*a. Solve 4*k - o*k = 8 for k.
-4
Suppose -2*d = p - 61, 2*d = 3*d - 4*p - 8. Let f = 6 + -2. Suppose f*a + 4 = d. Solve 1 - a = r for r.
-5
Let k be 48/(-40)*10/(-4). Suppose k*d - 3 = 15. Let v(g) = g**2 + 4*g + 2. Let w be v(-4). Solve -d*q + 4 = -w*q for q.
1
Let u = 37 - 20. Let o = u - 12. Solve 29 = -o*k + 4 for k.
-5
Let f(a) = a + 9. Let l = -11 - -4. Let i be f(l). Solve -i*u + 5*u = 0 for u.
0
Suppose -38 = -7*a - 17. Solve -a*b = 2*b for b.
0
Suppose 2*f + 3*r = 5*r + 62, -4*f + 129 = r. Suppose 4*h + 0*h - f = 4*m, 2*h = -m + 13. Solve 0 = -4*v + 5 + h for v.
3
Let d = -1 + 6. Let v = -9 - -15. Suppose 2*m + 32 = v*m. Solve -m = -d*a + 2 for a.
2
Let d = 179 + -175. Solve -d*c - 10 - 6 = 0 for c.
-4
Let q(d) = d**3 - 4*d**2 - 5*d + 4. Let x be q(5). Suppose -13 = 3*t - x. Let k(l) = -2*l - 4. Let w be k(t). Solve -2*m = -m - w for m.
2
Let h(d) = d**2 + 7*d + 1. Let r be h(-5). Let n(j) = -j**3 + 6*j**2 - 2*j + 8. Let q be n(6). Let v = q - r. Solve 15 = v*l - 2*l for l.
5
Let t(a) = a - 3. Let s(u) = u**3 + 9*u**2 + 7*u - 4. Let c be s(-8). Let m be t(c). Let n = m - -1. Solve -n*y = 2 - 10 for y.
4
Suppose 0*v + 12 = 2*v. Let f = -17 - -33. Suppose f = 4*w, -v*w + w = 3*b - 26. Solve b*o = 6*o for o.
0
Let m be 12/18*15/2. Solve 5*f - 4*f = m for f.
5
Suppose -y + 19 + 13 = 2*c, 0 = c - 4*y - 16. Let z be (c/6)/(1/9). Suppose z = 3*x - 0. Solve 4*r = x*r + 4 for r.
-1
Suppose -2*m = 1 - 3. Let n be (-711)/(-81) - 2/(-9). Solve -4*a = -n + m for a.
2
Let y be 4/(-6) + 42/9. Let z be 0 - (1 - 3) - -1. Suppose 16 = v - z*c - 1, 0 = 4*c - 12. Solve y*q - v = -6 for q.
5
Let x be 2/4 - (-6)/4. Let w = 19 - 18. Suppose x*u - 7 = -w. Solve u*o - 15 = -0 for o.
5
Let l be (2/3)/(4/30). Let w(v) = -v - 1. Let t(r) = r - 7. Let h(i) = t(i) - 2*w(i). Let j be h(l). Solve 0 = -0*d - 5*d + j for d.
2
Let o = -6 - -10. Let y(h) = 0 - 4*h - 2*h**3 + 1 + 2 - 3*h**2 + 3*h**3. Let s be y(4). Solve -j + s*j = -o for j.
-2
Let w = 64 + -43. Let p be 10/35 + 36/w. Solve 6*z - 4 = p*z for z.
1
Let g be -5 - (-5 - (-5)/(-1)). Solve -5*j + g = 10 for j.
-1
Let u be (-40)/(-12)*12/10. Suppose v + 0 = 2*x + 3, 5*v + x = u. Let s = 7 - v. Solve -j + s = j for j.
3
Let r(y) = y**3 + 4*y**2 - 6*y - 5. Let i be (3 - (-3 - -1))*-1. Let b be r(i). Solve b = 2*o + o - 12 for o.
4
Let c = -9 + 6. Let p be (4 - 1)/c + 16. Suppose -5*s - 5*g + 15 + p = 0, 5*s - 12 = 4*g. Solve -s*o = o + 15 for o.
-3
Suppose 0 = -0*y - y - 5. Let t be y/10 - (-15)/2. Solve 25 = -t*r + 2*r for r.
-5
Let d be -1 + 0 - (-7 - -1). Let c = -91 - -92. Solve -s + c = d for s.
-4
Let c(y) = -y**3 - y**2 - y. Let s be c(0). Solve 3*q + 4 - 7 = s for q.
1
Let u = -10 + 10. Suppose -c - 21 = -10. Let g = -5 - c. Solve 5*t - 9 - g = u for t.
3
Suppose -g - 3*v = -6*g + 13, 0 = 2*g + 4*v. Suppose 20 = 4*x + 8. Suppose 5*s = x + 2. Solve g*a - 1 - s = 0 for a.
1
Let k(f) = 2*f**2 + 5*f + 4. Let m = -1 + -1. Let z be k(m). Solve -3*r + z*r = 2 for r.
-2
Suppose -5*i + 35 = -5*p, 3*i + 3 = 15. Let o be 8/12 - (-2)/p. Suppose -6*r - 5*h = -r - 40, o = 2*h. Solve r = 5*c - 2 for c.
2
Let u be 5 + (-1 + 7)/3. Suppose 0 = 4*t - u*t + 60. Let f(l) = l - 6. Let b be f(6). Solve b = w + 4*w - t for w.
4
Suppose -3 = -3*y, -2*k - y + 1 = -4*y. Let b be (-22)/(2/(-2) - 1). Suppose -k = s - b. Solve -x + s = 2*x for x.
3
Let z(y) = -4*y + 1. Let g be z(-1). Suppose -17 = -5*a + c, 2*a - 2*c + 5 = g*a. Let w = 1 + 3. Solve f = a*f + w for f.
-2
Let d be (18/(-3))/2 - (1 + -14). Solve 0 = -6*u + u - d for u.
-2
Let m(w) = w**3 + 2*w**2 + w + 2. Let p be m(-2). Suppose x = -p*x + 1. Let h be 0/(0/3 - x). Solve h = 2*b + 3 + 1 for b.
-2
Suppose -r = 2*r - 3*v + 9, 0 = 5*v + 25. Let a = r + 10. Solve -7*h = -5*h + a for h.
-1
Suppose 0 = -5*b + 14 + 6. Solve 0 = b*k - 8*k + 16 for k.
4
Suppose 4*u - k - 2 = -1, 0 = 2*u - 3*k + 7. Let y be ((-3)/2 - 0)*-2. Let o be (-1 - 1) + u + y. Solve o*b - 4 - 2 = 0 for b.
3
Suppose 5 = -5*r, 5*j + 2*r + 2 = j. Solve j = -2*x + 9 - 1 for x.
4
Let x(q) = q**2 + 12*q + 6. Let g be x(-12). Let b be (-4)/(-2) + 1 + -1. Solve 0 = b*s - 5*s + g for s.
2
Let c = -43 + 46. Solve 5 = 2*k - c for k.
4
Let j be 8/3 + (-2)/(-6). Let s be ((-3)/3 - -4) + 3. Solve j*a = s*a for a.
0
Let c be (-2)/3 - (-8)/12. Suppose 5*l = -c + 5. Solve 3*j + 5 = -l for j.
-2
Let p(w) = -w**2 + 6*w + 3. Let h be p(3). Solve -3*t - h = t for t.
-3
Let j be 4/(-22) + (-106)/22. Let t be 20/(-8)*4/j. Suppose -t*d + 16 - 2 = 0. Solve 0 = -d*a + 4*a - 12 for a.
-4
Suppose 0 = 5*d - 21 + 1. Let y = -16 - -17. Solve -3*v = -d*v + y for v.
1
Suppose w + 10 = 3*w. Solve 2*y - 15 = w*y for y.
-5
Let u(b) = b**3 - 3*b + 2. Let z be u(2). Suppose -20 = -z*t - 0*t. Solve -2*j = -7*j - t for j.
-1
Suppose 0*h - 10 = -5*h. Suppose 0 = -i - h*i. Solve m + i = -2 for m.
-2
Suppose 2 = -2*o + 4*d, -7*o + 2 = -3*o - 5*d. Solve 1 = q + o for q.
-2
Let g(o) = -5*o - 1. Let n be g(-1). Let m be (0 + 2)*5/2. Let k be (-2)/(-6) + m/(-15). Solve k = -3*l - 8 - n for l.
-4
Suppose -5*r - 3*k = -64, -3*r + 0*r - 2*k = -39. Solve -3*i - r + 2 = 0 for i.
-3
Let f = 4 + 1. Solve -f*r = -4 + 24 for r.
-4
Let j = -76 + 86. Solve w - 3*w = -j for w.
5
Let j be ((-6)/4)/(3/(-10)). Suppose 0 = l + 4*l + j. Let b be 0 - (0 - (l + 1)). Solve 0*o - 5*o + 5 = b for o.
1
Let s be 18/27 - (-1)/3. Solve 0 = -2*v + 3 + s for v.
2
Suppose -2 = -k - 1. Let p(a) = a**3 - a**2 + a - 1. Let c be p(k). Solve c*n = 5*n - 5 for n.
1
Let a(b) = -b**2 - 4*b - 1. Let p be a(-5). Let c = p + 3. Let j be (-4)/6 - 11/c. Solve -j*y + 2*y + 1 = 0 for y.
1
Let g be ((-8)/10)/((-2)/10). Let y = -22 - -24. Let p be (y - 4/6)*6. Solve 0*r + g*r = -p for r.
-2
Suppose 2*b - 10 = -3*i + 6, 2*i - 4*b = 0. Solve -w + 3 = i for w.
-1
Let z = -7 + 13. Suppose -z*u + 2*u + 12 = 0. Solve -5*o - u = 7 for o.
-2
Suppose 3*v + 3 = -3. Let u = v + 7. Suppose -5*g + 4*x + 40 = 0, 3*g - u*x + 37 = 4*g. Solve 0 = -o + 4*o - g for o.
4
Let u be 7 + 2 + 2 + -3. Solve 3*n - u*n = 20 for n.
-4
Let i = -7 + 6. Let j = i + 4. Solve -j*o + 25 = 2*o for o.
5
Let a = 3 - 3. Let i = -2 + 5. Let x = -40 - -43. Solve x*b + a*b = -i for b.
-1
Suppose 0 = -7*q + 6*q + 7. Solve q*m - 16 = 3*m for m.
4
Let q = 43 - 41. Solve 0 = 4*i - q*i + 6 for i.
-3
Let m be (5/2)/(1/2). Let i be (3/45*5)/((-1)/(-9)). Suppose 0 = 3*g + 4*x - 20, -g - 2*x + 12 = 2*x. Solve -g*z = i 