r c.
2
Let y = -74 - -89. Suppose 5*h - 20 - y = 0. Solve 2*v = h*v for v.
0
Suppose -4*p - 2*p + 24 = 0. Let z(s) = s**2 - 5*s + 9. Let i be z(p). Solve i*w - 5 = 4*w for w.
5
Suppose -2*s + 2*c + 8 = 0, -11 = 3*s - 4*c - 27. Let m be (4 + s + -3)*-3 + 7. Solve -m*r = -r + 12 for r.
-4
Suppose -7 - 1 = -h - 3*r, -5*r = -5*h - 40. Let l = 8 - h. Solve 0 = -2*g - 2*g - l for g.
-3
Suppose 5*h - 4 = 3*r, -r - 7*h = -8*h. Suppose -2*s = -2*g, 0 = g + s - 2 - 2. Solve 0 = w - g*w + r for w.
2
Suppose -p = -5*r - 18, p + 2*r + 22 = -3*r. Let m be p - (1 - (4 + 4)). Solve -m*f + 7 + 8 = 0 for f.
3
Let h = 32 - 11. Let r be 75/h + 56/(-98). Solve n = 2*n - r for n.
3
Let x(l) = -l**3 + 2*l**2 + 8*l + 3. Let j be x(4). Suppose -2*a - a + 18 = 2*z, 0 = j*z + 2*a - 17. Solve 0*n = z*n - 12 for n.
4
Let n = 505 + -501. Solve -4 + 16 = n*z for z.
3
Suppose 0*o + 2*d - 2 = -3*o, 0 = -o - 3*d + 3. Suppose 6*r - 3*r = o. Suppose -20 = -4*v, 0*n + 3*v - 12 = 3*n. Solve z + r*z = n for z.
1
Suppose 0 = 97*g - 102*g - 100. Let x = g + 35. Solve -p - x = 2*p for p.
-5
Let w(z) = -132*z**3 + 2*z**2 + 15*z + 14. Let v be w(-1). Solve v*h = 129*h for h.
0
Let n(l) be the third derivative of -l**5/60 - l**4/3 - 5*l**3/6 + 2*l**2. Let q(c) be the first derivative of n(c). Let h be q(-6). Solve -h*a + 10 = a for a.
2
Let t = -6131 - -6139. Suppose -4*k + 159 = -k. Let u = 78 - k. Solve -u = 3*n - t*n for n.
5
Suppose 3*g - 5*p = 5*g, 4*g + 4*p = 0. Solve g = -b + 29 - 31 for b.
-2
Suppose -3*m = n + 2*n - 396, 4*m - n = 518. Let r = 136 - m. Solve -r*k = -5*k for k.
0
Let f(x) = x**3 - 15*x**2 + 57*x - 3. Let w be f(7). Solve 26 = w*m + 10 for m.
4
Let m(v) = -5*v**3 + 1. Let y be m(1). Let a = y + 6. Solve a*b + 8 = -0*b for b.
-4
Let q(s) be the first derivative of s**3/3 + 8*s**2 + 18*s + 9. Let z be q(-15). Solve 2*j = -z - 3 for j.
-3
Let u = -16 - -19. Let g be ((-1)/u)/((-1)/6). Let i = 2 - g. Solve -5*t = -i*t for t.
0
Let a = -583 + 631. Solve 10 = -a*g + 43*g for g.
-2
Let j be 1*(3 + 0 - 3). Suppose -2*n - 5*t + 37 = j, -2*n - t - 1 + 18 = 0. Solve u = 3*u + n for u.
-3
Let o be 2/8 + (-123)/12. Let l = 12 + o. Let u = l + 0. Solve 0 = u*z - 7*z for z.
0
Suppose 2*q - 10 = 2*c, 5*c = 2*q + c - 16. Solve -q = 2*p - p for p.
-2
Let d be (-29)/87*12/(-2). Suppose -3*q - 13 = -4*s, q - 2*s - d*s = -15. Solve y - 4 = -q for y.
3
Let r(c) = -2*c**3 + 2*c**2 - 1. Let q be r(1). Let a = -1 - q. Solve a = 4*n + n for n.
0
Let t(i) = 6*i - 55. Let o be t(10). Let z(v) = -v**3 - 7*v**2 + 8*v - 3. Let c be z(-8). Let q = c + o. Solve -u = q*u for u.
0
Let c(z) = -5*z**3 - 2*z**2 + 4*z. Let h(i) = -i**3 + i**2 - i - 1. Let p(u) = -c(u) + 4*h(u). Let a be p(-7). Solve 0 = -a*n - 2*n + 15 for n.
3
Let u = -521 + 536. Solve 9*r - 6 = u*r for r.
-1
Let l = -16 - -17. Let i be l/(4*(-1)/(-20)). Solve 4*b + b = -i for b.
-1
Let f be 2740/25 + 0 + 4/10. Solve -112 = -z - f for z.
2
Let a(d) = d**2 + 4*d - 3. Let h be 66/(-14) + (-6)/21. Let l be a(h). Solve l = -5*r + 4*r for r.
-2
Let k be ((-3)/(-2))/((-2)/4). Let b = 6 + k. Suppose -4 = -b*w + w. Solve -6*t = -w*t for t.
0
Let a(s) = -s**3 - 4*s**2 - s - 1. Let b be a(-4). Let l(u) be the second derivative of u**3/6 - 70*u - 1. Let k be l(b). Solve 2*o = k*o for o.
0
Let k be 2 + 1 + 120/4. Suppose 0 = -34*d + k*d + 2. Solve 0*j = d*j - 6 for j.
3
Let d be (-15)/(-9) + (-5)/((-15)/(-2)). Let n be (-1)/(-4)*(-84)/(-7). Solve 0 = w - d - n for w.
4
Let t be 8 + (3 - 23)/5. Suppose t*h = 4*b - 28, 2*b + 6 = 2*h - 5*h. Solve -2*d + 5*d = -b for d.
-1
Let u be (-2)/(4*5/(-40)). Solve -u*h = 11 - 3 for h.
-2
Suppose 23*y - 378 + 10 = 0. Solve 5*i - y = 9 for i.
5
Let t(n) = -n**3 + 4*n**2 - 5. Let j be (12/8)/(-2*5/(-20)). Let b be t(j). Solve -12 + 32 = b*f for f.
5
Suppose 63 = 39*k - 32*k. Solve 5*c = 2*c - k for c.
-3
Let d(h) = -h**2 - 18*h + 2. Suppose -29 = -6*y - 137. Let q be d(y). Solve 4 = 2*m - q for m.
3
Suppose 3*c - 5*s + 14 = -2, -5*c = 3*s + 4. Let r be (28/(-16) - c)*12. Solve -r*h = -9 + 3 for h.
2
Suppose 0 = -2*m + 4 + 2. Suppose -1 = -m*c + 8. Suppose c*u - 6 = -0*v - 3*v, -2*u + 2 = 0. Solve 3 - v = 2*o for o.
1
Suppose 492*h - 487*h = 25. Solve 15*q = 20*q + h for q.
-1
Let a be 37/3 - 2/(-3). Let c = -11 - -16. Solve -c*l - 2 = a for l.
-3
Let d(s) = s**2 - 16*s**3 + 4*s**3 + 13*s**3 + 2 - s. Let f be d(0). Solve f*b - 25 = -3*b for b.
5
Suppose -28*l + 57*l = 1740. Solve 0 = -9*w - l + 42 for w.
-2
Let k = -139 + 139. Solve -x + 5 + k = 0 for x.
5
Suppose -8*p + 23 = -9. Solve 5*o + p = -11 for o.
-3
Let j(k) = -k + 2. Let z be j(-3). Suppose -z*p + p + 8 = 0. Let s(g) = g**3 - 2*g**2 + 2. Let d be s(p). Solve d*i - 8 = 6*i for i.
-2
Let v be (-3 - (-764)/48) + 5/60. Solve -v*x - 6*x = 38 for x.
-2
Let u(p) = p**2 - 63*p + 416. Let s be u(56). Solve s*v - 38*v + 42 = 0 for v.
3
Let y(f) = -f + 11. Let o be y(9). Let v be 6/15 + 16/10 + 7. Solve -o*a + 5*a = v for a.
3
Let w = -5 + 4. Let f be w/(-6)*-2*0. Suppose 4 = 2*r + 2. Solve f = p - 0 - r for p.
1
Let c be 3/(-6) + 39/6 + -1. Solve -21 = c*i - 1 for i.
-4
Suppose 3*a = -4*g + 21, -a = -2*g - 0*a + 3. Let t be (g/(-6))/(95/(-30) - -3). Solve 0 = -r + 2 + t for r.
5
Let p(t) = -t - 1. Let x = -74 + 47. Let o = x - -18. Let i be p(o). Solve -4*k = -i*k for k.
0
Suppose -9 = -19*p + 29. Solve p*k - 3*k + 3*k = 0 for k.
0
Suppose 3*r = -0*r + 2*r. Let h be (-2 - -4)*(-1 - -2). Solve r + 4 = h*j for j.
2
Let x = 17 - 18. Let f be ((-6)/(-4))/(x/(-2)). Suppose -f*w - 2 = -14. Solve 5*d + 11 = -w for d.
-3
Let a(q) = -5*q**3 - 11*q**2 - 10*q. Let l(c) = 4*c**3 + 11*c**2 + 10*c. Let z(v) = -3*a(v) - 4*l(v). Let t be z(-10). Solve -o = -t*o + 5 for o.
-5
Let l be ((-32)/(-128))/(2/688). Solve 0 = 5*x - l + 61 for x.
5
Let s(v) = 21*v + 87. Let t be s(-4). Solve 0 = -2*y + 9 - t for y.
3
Let w(l) = -3*l**3 - 56*l**2 + 18*l - 11. Let r be w(-19). Solve 29*f - r*f - 84 = 0 for f.
4
Suppose -t = -p - 2, -2*p + 5*t - 7 = 3. Suppose 6*q - 8*q + 4 = p. Solve -6 = n + q*n for n.
-2
Let x(p) = 13*p + 236. Let g be x(-18). Solve 5*r = g - 17 for r.
-3
Suppose 0 = 4*h + 3*n + 17, -2*h + 2 = 3*n + 9. Let q be 1*3*26/6. Let g = q + h. Solve x = 3*x - g for x.
4
Suppose 4*f - 1 = 3*m, -3 = -m - 2*f + 10. Suppose -m*p = -5*z - 105, -z - 17 = -p - 2*z. Suppose p = 2*n + 5. Solve 5*q + 3 + n = 0 for q.
-2
Suppose 2*w = 5*j - w - 225, -15 = 3*w. Let u = j + -15. Let v = 35 - u. Solve 3*q = v*q for q.
0
Suppose 0*p + 16 = -4*p. Let d be p - -6 - (0 - 0). Suppose 5*y = 0, 5*n = -0*y + d*y + 15. Solve -4*t + 4 = -n*t for t.
4
Let u(g) = -2*g**2 + 31*g - 38. Let b be u(14). Let d = -3 + 8. Suppose -3*o + 6*i = 3*i + 6, -2*i = d*o - b. Solve 7*v - 2*v = o for v.
0
Let s(h) = h**3 + 11*h**2 + 9*h - 8. Let c be s(-10). Solve -4*n = -5*n + c for n.
2
Suppose -5*u - 9 = 4*n + 11, 3*n + 15 = -2*u. Suppose -14 = -2*g - 4. Solve 0 = i - u - g for i.
5
Let b(r) be the first derivative of -r**3/3 - 4*r**2 - 7*r + 6. Let y be b(-5). Solve -y = 2*f - 0*f for f.
-4
Let v be 0*(-2 + 5/2). Suppose v = -10*m + m + 9. Let n = 1 + 1. Solve -n*j + m = -j for j.
1
Let i be (-1)/((-6)/(0 - 36)). Let s(y) = y**3 + 8*y**2 + 10*y - 9. Let j be s(i). Suppose 0*r = -5*w - 2*r, 0 = -4*w + 4*r + 28. Solve j = -w*o - o for o.
-1
Let t(m) = m + 13. Let j be t(-7). Let w be 12/(-15)*-2*15/j. Solve -w*b = -b for b.
0
Suppose -13*i + 27 = -25. Solve 0 = 8*x + 4 + i for x.
-1
Let c be (-369)/4 + (-10)/((-120)/(-9)). Let s = c - -95. Solve 0 = 2*k + s*k for k.
0
Suppose 2*u + m - 2 - 5 = 0, 3*u - 5 = 4*m. Suppose 2*p + 0*p = -26. Let w = 18 + p. Solve -w*b = -u - 2 for b.
1
Suppose 3*u = 5*g - 16, 4*u + 2 = -6. Suppose -792 = g*p - 6*p. Let j be 8/10 - p/(-15). Solve -4*d - j = -2 for d.
-3
Let k(j) = -3*j**3 - 2*j - 1. Let a(x) = -x + 1. Let i be a(-1). Suppose -b - 8 = 4*o, i*b - 11 = -o + 5*b. Let n be k(o). Solve -6*c = -2*c - n for c.
1
Suppose -12 = -6*o + 3*o - i, -4*i = 5*o - 13. Solve -o*f = -1 - 24 for f.
5
Suppose -2*p + 72 + 162 = 0. Let o = p + -115. Let s = -3 + 7. Solve s*y = o - 10 for y.
-2
Let x(s) = -s**2 + 6*s + 2. Suppose 2*o - 3 = 3*v, -3*v = 6*o - 3*o - 27. Let a be x(o). Solve 5*q = -a - 3 for q.
-1
Let i be (-4)/1 + 154/11. Suppose -4*j - 5*m + 30 = -i, -j + 9 = m. Solve 3*x = j*x + 