Solve 3*r + 2*r + 20 = x for r.
-4
Suppose 4 - 16 = -4*p. Solve 0 = -p*s + s for s.
0
Suppose -9*n = -10*n. Solve 3*h + n*h - 3 = 0 for h.
1
Suppose 21*j = 22*j. Suppose 4*t = -j*t. Solve t*y = -2*y + 8 for y.
4
Let b(g) = g - 9. Let a be b(8). Let z(s) = s**3 + s**2 + s. Let l be z(a). Let p = l - -3. Solve 6*j - 5*j - p = 0 for j.
2
Let x(o) = o**3 + 5*o**2 - 3*o - 12. Let c be x(-5). Solve c*m + 16 = -m for m.
-4
Let r(i) = -i**3 - 10*i**2 - 9*i + 4. Let k be r(-9). Solve -3*f = -k*f - 1 for f.
-1
Let k = -6 - -10. Solve k = -2*u + 6 for u.
1
Let w = -8 + 11. Suppose 9 = -3*i + 5*h, 0 = i - 5*h + 10 + w. Suppose -r + 6 = i*y, 3*r = -5*y + r + 17. Solve -y*g + 22 + 3 = 0 for g.
5
Let g be (6*-1)/((-6)/4). Suppose g = c + c. Suppose -15*r + 92 = 8*r. Solve -c*a - r = 2*a for a.
-1
Suppose 55 - 11 = 4*j. Let x = 4 - 4. Let f = 4 - x. Solve -1 = f*o + j for o.
-3
Let i(d) = -d. Let p be i(0). Solve x + p = 2 for x.
2
Let k be -2 + (-4)/(-2*1). Suppose -3*y + y + 4 = 0. Suppose -2*t - y*d = -6, -4 = -5*t + 3*d + 11. Solve 6 + k = t*f for f.
2
Suppose 2*t = 4*t - 40. Let n(u) = -u - 3. Let q be n(-5). Solve -q*c = 2*c + t for c.
-5
Suppose 0*s - 21 = -3*r + 3*s, 4*r - 24 = 2*s. Suppose 0 = 2*g - 3*y + 5 - 2, 0 = 4*g + 2*y - 2. Solve 0 = c - g*c + r for c.
-5
Let c be 112/20 + (-4)/(-10). Suppose 16 = c*k - 38. Solve -k = 2*i - 5*i for i.
3
Suppose -3*v - 8 = -4*v. Solve 2*z - v = -2*z for z.
2
Suppose -4*g - 31 = -3. Let i(m) = -m**2 - 7*m + 4. Let q be i(g). Let p be -1 + q/(4/3). Solve -p*f = 3*f - 20 for f.
4
Let m be (0 - 18)*2/(-6). Let z be (m/(-3))/(1/(-10)). Solve -l - z = 4*l for l.
-4
Let o = 8 - 11. Let x(p) = 71*p - 35*p - 4 - 38*p. Let v be x(o). Solve v*h + h - 6 = 0 for h.
2
Suppose -1 = -2*b - 13. Let o = b + 7. Solve -2*y + o = 7 for y.
-3
Suppose 2*t - 6*t + 12 = 0. Solve -d - t = 2*d for d.
-1
Let w(g) = -2 + g**3 - 9*g**2 - 4 + 11*g + 2 + 0. Let s be w(8). Solve 10*v - 5*v = -s for v.
-4
Suppose 0 = 2*u - 3*i - 16, 4*i - 2 = -18. Solve -u*p - 12 = p for p.
-4
Suppose 4 + 8 = 4*l. Let o(n) = -n**3 - 4*n**2 + 7*n - 1. Let c be o(-5). Let p = 12 + c. Solve p = -l*v + 4 for v.
1
Let f = 76 + -70. Solve f*n + 5 = n for n.
-1
Suppose f = 3*f + 3*r - 8, 2*f + 4*r = 10. Let o(k) = -k - 1. Let m(t) = -t**2 - 6*t - 5. Let b(x) = m(x) - 6*o(x). Let u be b(f). Solve u*h = -h for h.
0
Suppose -3*w + 12 = w. Suppose 4*f - 6 = 2*u + w*u, -4*u = -2*f + 6. Let j be 0/f - (1 + -1). Solve j = 2*l - 0 - 2 for l.
1
Suppose -5*q + 598 - 115 = 4*k, -477 = -4*k - 3*q. Suppose -4*r = -5*y + k, 0*r = 2*y - 2*r - 46. Solve -o = 4*o + y for o.
-5
Suppose -q + 0*q + 12 = 0. Solve 15 = 7*u - q*u for u.
-3
Let s(y) = -2*y**2 + y + 4*y**2 - y**2 - 2. Let h be s(-3). Suppose h*m = -5*z - 3 - 1, m - 4*z = 20. Solve 4 = -2*p - m for p.
-4
Suppose -11 = d - 2*k - 2*k, 2*k = 10. Let h = 11 - d. Solve -h*m - 3 = -1 for m.
-1
Suppose -2*x = 2*w + x - 47, -3*w = 4*x - 68. Suppose 0*n - 1 = n - 3*u, 4*u = -n - 8. Let p = 37 - n. Solve -5*h - w = -p for h.
5
Suppose -4*z - 23 = -g, 3*g + 0*g - z = 47. Solve -u = 4*u - g for u.
3
Suppose 9*i - 13*i + 16 = 0. Solve -7 - 5 = i*d for d.
-3
Suppose -39 - 42 = -9*u. Solve 0 = -3*s + u for s.
3
Let g be 1 + (-2 - -7) + -2. Let i = g + -2. Solve -i*f = -5*f + 3 for f.
1
Suppose -27 = -5*z - 7. Let a(h) = -h + 4. Let i be a(z). Solve -5*f - 10 = -i*f for f.
-2
Suppose -6*a + 6 = -4*a. Let v be 8/1 - (1 + 3). Solve a*i + v = -2 for i.
-2
Let y(w) = -w. Let x be y(-4). Suppose m + 4 = -x*t + 22, 0 = -t - 2*m + 1. Solve -t = -o - 1 for o.
4
Let k(m) = m**2 + 11*m + 6. Let t be k(-11). Solve 0 = -2*b - 2 + t for b.
2
Let x(i) = -i**2 + 6*i. Let b be x(5). Let t(w) = -3*w**2 + w - 1. Let a be t(2). Let h = a + 15. Solve -h*q + 3 = -b*q for q.
-3
Let r be 0/(-1) - 1*-3. Let o = 5 - r. Solve 4*v - 2 = o for v.
1
Let z(b) = 3*b + 20. Let n be z(0). Let f = n - 14. Solve 0 = -2*t + f*t + 8 for t.
-2
Let j(r) = r**2 + r + 2. Suppose 2*f = -4*u - 8, -f + 2*u = f - 4. Let z be j(f). Solve -l = -0 + z for l.
-2
Let b(f) = 2*f + 10. Let y be b(-9). Let p = -4 - y. Solve p*n = n for n.
0
Let f(y) = 5*y**2 + 2*y + 1. Let k be f(-1). Let r = -3 + k. Solve 3 - r = s for s.
2
Let t(l) = l + 7. Let q be t(-7). Suppose k + q*k = 18. Suppose 0 = -2*u - u + k. Solve 0*m + u = -2*m for m.
-3
Suppose 3*g - 6 = 0, 0 = 5*b - 4*g - 0*g - 12. Solve b*y = -y for y.
0
Let i = -12 - -17. Let n(a) = 8*a - a**2 - i - a**2 + 1 + a**2. Let v be n(7). Solve 5 = v*m - 1 for m.
2
Suppose -y - 4*o = 17, -2*y + 5*y = -o + 4. Solve 0 = -2*a + y - 13 for a.
-5
Let j = 13 + -15. Let v(l) = -l**2 - 5*l - 6. Let o be v(-4). Let f = j - o. Solve f = -2*w + 13 - 5 for w.
4
Let b(c) = -c**3 + 7*c**2 - c + 9. Let g be b(7). Suppose g*o = o. Let l(k) = 4*k - 1. Let z be l(2). Solve o = 4*r + z - 3 for r.
-1
Let m(g) = -3*g - 8. Let n be m(-4). Solve -9 = -k + n*k for k.
-3
Suppose -4*z + 6 = -z. Let t(g) = -g**3 - 3*g**2 - 3*g - 2. Let b be t(-2). Solve z*d - 4*d = b for d.
0
Let l(h) = -h**2 - 4*h**2 - h**3 - 2*h**3 - 4 - 5*h + 4*h**3. Let q be l(6). Suppose 2*o = -q*o. Solve -3*p + 6 = -o*p for p.
2
Let o be (-7)/21 - 16/6. Let w be 0 - (o - -2) - -1. Solve -3*q = w*q for q.
0
Suppose -2*a + 11 = -3*x, 3*a - 2*x - 13 = 1. Suppose t + p - 4 = 9, -2*t - 4*p + 30 = 0. Solve -5*r + t = -a for r.
3
Let r be (-1 + 2)*(24 - -1). Suppose 3*z + 2*z - r = 0. Let k = 95 + -88. Solve -k - 3 = z*b for b.
-2
Let j be (0 + (-1)/(-2))*(6 + 0). Solve -j*z = 2*z for z.
0
Let d(q) = -q**3 + 8*q**2 + q - 7. Let r = 2 + 6. Let a be d(r). Solve 4*j = -21 + a for j.
-5
Suppose 12 - 4 = 2*r. Solve 0 = -r*y + 4 for y.
1
Suppose -r + 30 = -5*y, -10 - 15 = 5*y. Solve -10 = r*w + 10 for w.
-4
Let t(g) = g**3 + 5*g**2 - 6*g - 3. Let k be t(-6). Let r(z) = -z**3 - 3*z**2 + z + 3. Let a be r(k). Let q = a + 1. Solve 0 = 4*w - 5*w - q for w.
-1
Let h be ((-15)/(-1) - 5)*2/5. Solve -12 = h*o - 4 for o.
-2
Let r = -8 - -13. Let m = 9 + -4. Suppose -m*q + 112 = 17. Solve r*k = -q - 1 for k.
-4
Suppose 10 = b + b. Suppose 0 = -3*y + r + 53, y = b*y - 3*r - 69. Solve -3*u - 3 + y = 0 for u.
5
Let g(j) = -j - 8. Let m be 92/(-8) + (-3)/(-6). Let h be g(m). Solve -h*t - 8 - 1 = 0 for t.
-3
Suppose u - 4*u + 15 = 0. Suppose -5 = -x - 2*v + 5, -u*x + 5 = v. Solve 6 = -2*w - x for w.
-3
Suppose 2*d - 13 - 15 = 0. Let q = -10 + d. Let r be q - (2 + -1 + 1). Solve h - r*h = 0 for h.
0
Let m(s) = -s**3 + 6*s**2 + 4. Let v be m(6). Suppose 4 = v*o - 2*o. Solve 3*j - 17 = -o for j.
5
Let k = 39 + -36. Let z be 24/14 - (-2)/7. Let s = z + -1. Solve s = -v - k for v.
-4
Let z be -1*(3 + -1) + 6/3. Solve 5*q + 5 = -z for q.
-1
Let y be (-186)/(-10) - 16/(-40). Solve -12 = y*v - 15*v for v.
-3
Suppose -1 = s - 0. Let a be (-6)/3 - s*2. Solve 0 = 5*r - a*r + 5 for r.
-1
Let n(q) = -q**2 + 7*q + 10. Let b be n(8). Solve -b = -2*u - 0 for u.
1
Suppose -4*t + 12 = -0, -10 = -4*b + 2*t. Solve -b*j = j for j.
0
Let z(w) = -w**3 - 10*w**2 + 12*w + 1. Let i be z(-11). Let j be i/45 - (-47)/9. Suppose 17 = j*l - 8. Solve -1 = -l*k - 11 for k.
-2
Suppose 6*g = g + 10. Let x = -1 + 6. Let t = x + -4. Solve -3*q - g = t for q.
-1
Suppose -x + 8 = x. Suppose 0*t = t - 8. Let c = t + -5. Solve c - x = -j for j.
1
Let u(j) be the second derivative of j**7/1260 + j**6/360 + j**4/6 - 2*j. Let t(d) be the third derivative of u(d). Let q be t(-2). Solve -q*m + 20 = m for m.
4
Let t(r) = r**2 - 6*r + 4. Let s be t(6). Solve -2 = -s*k - 6 for k.
-1
Suppose -5*z + 10*z = 0. Suppose 0 = -f - 0*f + 5. Solve z*m - m = f for m.
-5
Let x be (-1 + -2)/(-1 + -2). Suppose 0*h - x = h, 5*r = -4*h + 6. Solve -c + r = -3*c for c.
-1
Let l be (-1 - (-6)/9)*120/(-5). Solve -p = p + l for p.
-4
Let p(s) = -s**2 - 13*s - 2. Let a be p(-13). Let t be ((a/(-1))/1)/2. Solve -y + t = -2 for y.
3
Suppose -5*u = -5*s, 0 = s + 4*u - 22 - 3. Suppose l = n + 2, 35 = s*n + l + 3*l. Solve 5 = 2*f + n*f for f.
1
Let z(r) be the third derivative of r**6/120 - r**5/5 - r**4/24 + 13*r**3/6 + 3*r**2. Let m be z(12). Solve 5 = -4*t + m for t.
-1
Suppose 2*p = 4 + 2. Solve 0 + p = k for k.
3
Let l(p) = 6*p + 18. Let h(g) = 4*g + 12. Let m(o) = -8*h(o) + 5*l(o). Let a be m(-3). Solve 3*z = -a*z + 6 for z.
2
Let z be -2*(-2 + (-1)/2). Suppose -7 = -5*f + 8. Let n = -5 - -7. S