lve b + 1 = -2*l for l.
-3
Suppose 50 = -8*n + 3*n. Let a be 2/n + (-48)/(-15). Solve -y + 16 = a*y for y.
4
Suppose 5742 = 15*f + 5652. Solve -f*v - 5 + 23 = 0 for v.
3
Let o = 103 + -99. Suppose 4*u + 12 = 0, o*v + u - 10 = -u. Solve -2*n + v*n + 6 = 0 for n.
-3
Let d(t) = t**3 + t**2 - 2*t + 6. Let r be d(0). Let y = -11 + 20. Suppose -y*s + 10 = -4*s. Solve s*c - r = -c for c.
2
Suppose 117 = -6*l + 141. Solve 16 + l = -4*m for m.
-5
Let x = 11 + -6. Suppose 9*m = 10*m. Suppose x*s - 2*c + 5*c - 15 = m, -3*c = -3*s + 9. Solve i = s*i for i.
0
Suppose -5*p = -3*z - z + 18, 4*p = -4*z. Let k = 35 + -19. Suppose k = 2*j + 2*j. Solve -z*w = -j*w - 10 for w.
-5
Let p = 70 - 68. Solve 6*r = 7*r - p for r.
2
Let s = 74 + -52. Suppose 0 = 3*w - 14 - s. Let r = 16 - w. Solve -h = -r*h + 9 for h.
3
Suppose -3*w - 29 = -4*j, -21*w - 54 = -4*j - 23*w. Solve -21 = j*c - 4*c for c.
-3
Suppose -f = 3*j - 6 - 6, 4*f = j + 9. Solve -j*a - 4 = -4*a for a.
4
Let t = 1 - 1. Let w(j) be the first derivative of -3*j**2 + 98*j - 20. Let c be w(16). Solve -r - c*r = t for r.
0
Let w = 50 + -47. Solve 12 - 27 = -w*o for o.
5
Let h be (-2)/3 + (-8)/(-3). Let v be 11*-10*8/(-440) + 4/1. Solve -h*c + 0 + v = 0 for c.
3
Let n(d) = -d**3 - 6*d**2. Let w = 38 + -44. Let c be n(w). Let i = 4 + c. Solve i*m + 3 = 5*m for m.
3
Suppose 4*a - 12 = 5*g - g, 2*a - 6 = g. Solve 12*q - 18 + 66 = g for q.
-4
Let z = -31 - -3. Let b = z - -40. Let i(q) = q + 13. Let o be i(-7). Solve o*y + b = 3*y for y.
-4
Let s = 48 + -40. Let m be (s/6)/(8/12). Solve 3 = -5*x - m for x.
-1
Let u = -15 + 47. Let v(a) = -7*a - 79. Let b be v(-12). Suppose d - u = -4*w - 3*d, b*w - 4*d + 5 = 0. Solve 4*j - w*j - 1 = 0 for j.
1
Suppose 0 = -4*a + 2*a + 8. Suppose 0*b = 5*d + 3*b - a, -3*b = -2*d + 10. Let k = -17 - -17. Solve 2*f + k = d for f.
1
Let j(i) = -i**3 - 6*i**2 + 2*i - 1. Let h be j(-6). Let m = -11 - h. Let l be (m - (0 + 3))*0. Solve l = -n + 4 - 8 for n.
-4
Suppose 0 + 4 = 2*x. Suppose -5*v + 47 = 3*w, x*w - 3 = 5. Solve 0 = 3*t - 4 + v for t.
-1
Suppose -5*i = -l - i - 14, 0 = -i + 4. Solve 0*m + l*m - 2 = 0 for m.
1
Let m(u) = -u**2 - 23*u - 31. Let r be m(-22). Let v(j) = -j**3 - 7*j**2 + 16*j - 8. Let h be v(r). Solve -z = z - h for z.
5
Let g be (12/16)/(2/(-8)) - -5. Solve -7 = 5*c + g*c for c.
-1
Let y = -110 + 114. Solve -6 = g - y for g.
-2
Let z be 1 + -1*2 - -16. Suppose t - 1 = 2. Suppose 3*h + 5*x - 5 = 4*x, -h + 3*x + 5 = 0. Solve t*y - z = -h*y for y.
3
Suppose -r = 6*c - 8*c + 12, -24 = -4*c + 3*r. Solve 5 = -k + c for k.
1
Let h be (36/(-10) - -4) + (-47)/5. Let r be (48/h*-2)/(12/18). Solve r = 4*t - 0*t for t.
4
Let o(u) = u**3 + 16*u**2 + 13*u - 27. Let k be o(-15). Let g(s) = -s**3 - 2*s**2 - s. Let z be g(-2). Solve z = j + k for j.
-1
Suppose -4*j - 4*y = -20, 5*j - 27 = 12*y - 15*y. Solve -2*p - j + 2 = 0 for p.
-2
Suppose 0 = 10*h - 43 + 3. Suppose -4*z + 4*s = -16, 0 = -h*z - 2*s + 18 + 4. Solve 14 = -z*c - 6 for c.
-4
Suppose -y = 4*d - 0 - 2, d = 2*y - 13. Suppose 2*u + u = y. Solve -q - u = 1 for q.
-3
Let t be (-1 - -2) + 2 - 18. Let v = 10 + t. Let g be 24/60 - 38/v. Solve -5*c = 18 - g for c.
-2
Let o(m) = 17*m**2 - 9*m - 9. Let x be o(-1). Solve 23 = 3*b + x for b.
2
Suppose 0 = 5*i - 0*q - 3*q, 3*i - 3*q + 6 = 0. Let z(l) = l + 2. Suppose -6 = 2*h + h. Let c be z(h). Solve -i*u + 10 + 2 = c for u.
4
Suppose -y - 2*y - 4*x = 3, x = -y. Let z(b) = -b**2 - 4*b - 4. Let v be z(-4). Let o be -3 + (v - -6) + 11. Solve o = -y*n + 1 for n.
-3
Suppose 10*d + 781 = 21*d. Let u = 77 - d. Solve -u*f - 25 = -f for f.
-5
Let c = -480 + 484. Solve -c*b + 2 = -3*b for b.
2
Suppose -5*w - i = -7, 5*w - 2 + 4 = -4*i. Suppose -2 = 3*x - w*k, 4*k - 12 = 3*x - x. Suppose 11 = 3*o + 2. Solve -x*t = o*t + 15 for t.
-3
Let l be (0 - -1) + (-2)/2. Let m(r) = r**3 + 7*r**2 - 78*r + 3. Let s be m(-13). Solve 5*c - s*c + 4 = l for c.
-2
Suppose 0*a - 4*q - 56 = 2*a, 4*a - 3*q + 57 = 0. Let r(l) = -l**2 - 19*l - 14. Let t be r(a). Suppose -m + 2 = -1. Solve -m*i - 1 = -t for i.
1
Let d(n) = -n**3 - n**2. Let y be d(-1). Suppose 2*a - p - 33 = -y*a, a - 2*p - 21 = 0. Solve -z = -4*z - a for z.
-5
Suppose -2*x - 9 = -m, 9*m - 6*m - 4*x = 31. Solve -28 = -6*o + m*o for o.
-4
Suppose -5*m + 328 = -12*m + 48*m. Let x = -3 + 6. Solve 1 = x*u - m for u.
3
Suppose -2*d - 108 = 7*d. Let o be 56/d*(-12)/14. Solve 6*w = o*w - 8 for w.
-4
Let d = -199 + 200. Solve -5*z = -d - 9 for z.
2
Let r be 63/45 - 4/10. Let i be 4 - ((r - 0) + -2). Solve -2*x = -x - i for x.
5
Let j(a) = a**3 - 2*a - 13. Let r be j(3). Solve -5*v + r + 2 = 0 for v.
2
Let r = 1700 - 1652. Solve -16*s + 4*s - r = 0 for s.
-4
Suppose -3*q - 5*n = -6*q - 26, 41 = -3*q + 2*n. Let h = q + 25. Let t = 14 + -14. Solve t = -r - 3*r + h for r.
2
Let v = 39 - 23. Let u = v + -11. Let n = -4 + u. Solve 2*z - n = z for z.
1
Suppose 0 = 4*n + x + 456, x + 1 + 3 = 0. Let l = -104 - n. Solve l*d = 4*d + 5 for d.
1
Let j be 3/(-18)*-4 + 396/54. Solve 4*o = 2*o - j for o.
-4
Let r(c) = c**2 - 3*c + 12. Let o be r(4). Suppose -4*t + 4 = -o. Suppose 2*x = t + 5. Solve -4 = x*f - 24 for f.
4
Suppose -2*v + v + 14 = k, -2*k + 3*v + 33 = 0. Solve k*f = 12*f + 12 for f.
4
Let i be ((-6)/(-4))/((-15)/(-20)). Suppose -h - 13 = o - 0*h, -3*o - i*h = 35. Let n be -1 + 1 - (o - -6). Solve k + n = -2 for k.
-5
Let m(g) = 2*g + 19. Let t be m(-9). Suppose -2*k = t - 5. Solve -5*b + 17 - k = 0 for b.
3
Let o = 5 - 5. Let n be (-9)/18*(-1 + 1). Suppose n = -o*y + y - 20. Solve q = 6*q + y for q.
-4
Suppose 18*g - 10 = 26. Solve 0 = 7*d - g*d - 10 for d.
2
Suppose 0 = 2*p + k + 2*k + 65, 0 = -3*k + 3. Let j be 0 - (p/4 - 8/(-16)). Solve -o = -j + 9 for o.
-1
Let i be 3 + ((-20)/(-6) - 3)*-3. Suppose 2 = i*j + u - 19, -14 = -j - 4*u. Solve -6*g = -j*g - 16 for g.
-4
Suppose -3*l + 4*s = -433 + 435, -2*s - 2 = -3*l. Suppose -4 = -2*h + 10. Solve -h*f = -l*f for f.
0
Suppose r = -0*r + 19. Suppose -r*q = -14*q. Solve 4*d + d - 5 = q for d.
1
Suppose -18*q + 208 = -20*q. Let l = 106 + q. Solve 6 = l*b + b for b.
2
Suppose 3*r + 5*f = 18, f + 3*f = r + 11. Let l = r - -10. Solve 0 = 4*o + 3 - l for o.
2
Suppose -q - 25 = -6*q. Suppose 0 = -4*y - l + 21, 4*y - 3*y = l - 1. Let z be y/q - (-3)/15. Solve 0*a - a = z for a.
-1
Let d be 0 - 9 - -2 - -3. Let s be (d/(-2))/((-5)/(-10)). Suppose 0 = -s*z - 0*z + 12. Solve 0 = 2*r + z*r + 10 for r.
-2
Suppose -128*u = -177*u + 539. Solve 0 = -u*h + 10*h + 3 for h.
3
Let v be (-3 + 4 + -1)/(18 - 16). Solve v = -0*i - 8*i - 32 for i.
-4
Suppose 3*j + 18 = -0*r + 4*r, 5*j - 2 = -4*r. Let g be (-183)/6 + (135/(-6))/9. Let c be (r + g/9)*-3. Solve c*q = -0 - 8 for q.
-4
Let r(p) = 3*p**2 - p - 2. Suppose 4*h = 3*g + 3, -3*h = -3*g + 1 - 4. Let f be r(g). Solve -c - f = 1 for c.
-3
Suppose 3*t - 6 = 2*r, 3*t + 9 = 5*r - 3. Suppose -3*p - 4 = -22. Suppose 0 = 3*a - 0*a - p. Solve -s - a*s + t = 0 for s.
2
Suppose 4*b - 3 = 3*b. Suppose 4*k - b*a + 3 = 2*k, -14 = 5*k - a. Let r be k/((-1)/(-2 - -3)). Solve -4*p = -r + 7 for p.
-1
Let i(f) = 27*f + 88. Let j be i(-3). Solve 4*g - j*g = 6 for g.
-2
Suppose -2*d + 5*f = 41, d - 3*f + 26 = 8. Let b = d - -36. Solve b*t - 8 = -t for t.
2
Let c = 136 - 136. Solve c = n + 18 - 21 for n.
3
Let l(d) = -3*d - 14. Let q be l(-6). Suppose -2*a = -0 + 4, -q*f + 2 = -a. Solve f = 8*s - 4*s + 12 for s.
-3
Let v be (-8)/10*45/2. Let j = -14 - v. Suppose -j*u = -5*u + h + 6, -3*u = -4*h - 20. Solve 0 + 4 = u*a for a.
1
Let a(o) = -o + 3. Let p be a(-6). Let j = -307 - -313. Let w = j + p. Solve 2*s = -s + w for s.
5
Suppose -3*x - 9 = 36. Let h be (-5)/(x/(-63)) - 3. Let w = h - -26. Solve -w*t + 5 = -t for t.
5
Suppose 2*h = 2, -5*j + 2*j + 9 = 3*h. Solve v = j + 1 for v.
3
Let w(x) = 11*x**3 - 29*x**2 - 35*x + 56. Let p(m) = 4*m**3 - 10*m**2 - 12*m + 19. Let v(h) = -8*p(h) + 3*w(h). Let o be v(8). Solve -20 = -4*z + o*z for z.
-5
Let o be ((-2)/(-5) - 81/90)*12. Let l(u) = -2*u**2 - 13*u - 4. Let i be l(o). Let z(a) = -a + 7. Let j be z(3). Solve -i*n + j = -3*n for n.
-4
Suppose -4*i - 6*i = -20. Solve -i*v = -4*v - 4 for v.
-2
Let t = -128 - -131. Let p = 5 - -6. Suppose 5*o + 0*l = t*l + p, -5*l = -2*o + 12. Solve 3*s = -o - 5 for s.
-2
Suppose 142*f - 148*f + 72 = 0. Solve -6*g =