*c + c for c.
1
Let i(j) = j**2 - 5*j + 4. Let r be i(4). Solve 5 = -n - r*n for n.
-5
Suppose -2*i - 2*i = -8, -3*h - 21 = -3*i. Let l = h - -13. Solve 4*z - l = 4 for z.
3
Let b(i) = -i - 16. Let j be b(0). Let s = j + 23. Solve 0 = 2*w - s*w + 20 for w.
4
Suppose -5*b + 67 - 27 = 0. Let k = b - 3. Solve -k*p = -12 + 2 for p.
2
Let o be -1*(2 - 6) - (0 - -4). Solve h + 0*h + 1 = o for h.
-1
Suppose 3*i - 5*i + 2 = -4*a, -a + 2 = 2*i. Suppose a*u = 4*u - 12. Solve -u*q - 6 = -5*q for q.
3
Let q(i) = -i**2 - i + 6. Let s be q(0). Suppose s*m - m = 20. Solve -2 = -b - m for b.
-2
Let z = -11 - -18. Let d(y) = 3*y - 17. Let s be d(z). Solve 3*n = s*n + 3 for n.
-3
Suppose -3*f + 17 = -2*v, 3*f - 11 = 5*v + 18. Solve 2*h + 1 = -f for h.
-2
Let n be (0/(0 + 2))/1. Suppose n = 5*y - 2*y - 3. Suppose s - 4 - y = u, 0 = 3*s - 4*u - 10. Solve 0 = -5*i - s for i.
-2
Let h(u) = 2*u**3 - 2*u**2 - 2*u. Let s be h(2). Suppose 4 + 4 = 3*m + s*r, 5 = -5*r. Solve 0*o + m = -2*o for o.
-2
Suppose -5*p = 2*j + j - 11, 4*j + 3*p - 11 = 0. Let q be (9/(-6))/((-2)/4). Suppose -10 = -2*y - q*y. Solve 0 = j*h - y for h.
1
Let h(q) = 19 - 2*q - 6 + 3*q. Let a be h(-8). Solve -a = n - 0*n for n.
-5
Suppose 2*z + 2*j - 14 = -0, -5*z + 8 = -4*j. Solve 0 = -z*h + 16 for h.
4
Let a(l) = -l**2 + 5*l. Let q be a(5). Solve q = -n + 2*n for n.
0
Let b be 0 + 0 - 6/(-3). Let h(x) = -x**2 - 2*x - 1. Let j be h(-1). Solve b*m - 3*m = j for m.
0
Let s be 6/21 + ((-8)/28 - 0). Solve s = 3*j + 3 - 0 for j.
-1
Let x = 2 + -1. Let v = x - 11. Let j = 17 + v. Solve 2*f + 15 = j*f for f.
3
Let j be ((-15)/2 + 3)*2. Let s be (-1)/((-26)/j - 3). Solve 2*w = 3 - s for w.
-3
Let m(n) = -n**3 + 6*n**2 + n - 2. Let c be m(6). Solve 6*h = c*h for h.
0
Suppose 4*o + c - 26 = 0, 2*o - 5*o = 2*c - 22. Solve 0 = 3*j - o + 15 for j.
-3
Let z(c) = c**2 + 7*c + 5. Let j be z(-5). Suppose -2*l + 16 = -0*l. Let t be j/20 - (-26)/l. Solve -t = 2*f - 1 for f.
-1
Suppose 3*k - 2 = 2*k. Solve k*j = -3*j for j.
0
Let m = 17 - 15. Suppose -4*t = -0 - 12. Solve -t*d - 10 = m*d for d.
-2
Suppose 0 = -2*k + 4*k. Solve k = n - 5*n for n.
0
Let o be (-39)/(-12) + ((-7)/(-4))/(-7). Solve n - o*n - 4 = 0 for n.
-2
Suppose -9 = -2*o + 23. Suppose -u = 5, -u + 3*u = -f - 5. Solve -f*i = -i - o for i.
4
Let w be 26 + (-4)/(-8)*-4. Let s = w + -13. Solve -5*n = s - 1 for n.
-2
Let v(m) = m**2 - 2*m + 1. Let u be v(1). Solve -f + 3 - 7 = u for f.
-4
Let c be (12/(-10))/(-3) - 2067/(-195). Solve 5 = -4*h - c for h.
-4
Let w = 9 - 0. Solve 4*d = d + w for d.
3
Suppose -3*l - 8 = -5*l, -24 = -3*j - 3*l. Suppose 4*f + q - 15 = 0, 3*q + 2*q = -5*f + 15. Solve 5*o = f*o - j for o.
-4
Suppose -4*p - 2*u = -6, 0*u - 3 = -p - 2*u. Let c(d) = -d**3 + d**2 - d + 5. Let z be c(0). Suppose 0 = 3*h - 51 - 6. Solve h = z*j - p for j.
4
Suppose 12 = 2*z + z. Suppose -z*h = -2*h + c - 20, -4 = -h + c. Suppose 4*u - 4 = h. Solve -5*b - 8 = -u*b for b.
-4
Let t be 10*(-2 + 12/5). Solve 2*q - t = -0*q for q.
2
Let i(a) = -a**2 + 5*a + 3. Let x be i(5). Suppose x*g = -0*g. Let w be (-2)/(10/(-4) + 2). Solve g = 8*t - w*t - 8 for t.
2
Let g be (2/5)/((-3)/(-45)). Solve 2*f - g*f + 20 = 0 for f.
5
Suppose h + 2*f + 4 = 9, -f - 11 = -4*h. Solve h = 4*u + 15 for u.
-3
Let b(f) = -f**2 - 5*f + 3. Let q be b(-5). Let l be (-1*18)/(-3) - q. Solve 3*x + 0 = -l for x.
-1
Let q = 20 - 20. Solve 0 = -q*a - 4*a for a.
0
Let n(z) = -2*z - 3. Let v be n(-3). Suppose -2*h + 21 = 5*l, 0 = 4*h - v*l - 3 - 0. Solve h*b = -6 + 15 for b.
3
Let n(x) = -2*x + 7. Let h(d) = -d**3 + 4*d**2 - 3*d + 3. Let t be h(4). Let r be n(t). Solve c + r = 6*c for c.
5
Suppose -2*t - 4 = -20. Let u be -3*-3*t/18. Solve i = -i - u for i.
-2
Let r(n) = 2*n**2 + 4*n - 1. Let k be 7 + 2*(-3)/2. Let i be 3/(1 + k/(-2)). Let u be r(i). Solve 10 + 0 = -u*z for z.
-2
Suppose -37 - 13 = -5*o - 3*r, -3*o - 4 = -5*r. Let t = -5 + o. Suppose -t*n = -n. Solve 5*p + 0*p = n for p.
0
Suppose 3 = 4*f - f. Solve -6 = n - f for n.
-5
Let p be 1/(-4) + (-308)/(-16). Suppose 4*i = -2*z + 26, 2*z - p = i - 8. Solve -5 - z = -3*f for f.
4
Let t(m) = -m - 3. Let z be t(-6). Suppose 0 = -0*d + z*d. Solve 0*r - 2*r = d for r.
0
Suppose -o = 3*o + 2*g, 0 = -3*g. Let k(y) = -y + 17. Let j be k(o). Solve 3*m + 5 = j for m.
4
Let d(p) = p**2 + 7*p - 8. Let t be d(-7). Let g = t - -8. Solve 7*n - 4*n = g for n.
0
Let w be (11 - -2) + -3 - -2. Suppose -28 = -3*b + n, 4*n - 8 = w. Solve 4*t + b = 3 for t.
-2
Suppose 12 - 28 = -4*t. Let z be t/14 - 12/42. Solve -u + z = -3 for u.
3
Suppose -4*p - 9 = v, -2*v + 4*p + 31 + 11 = 0. Suppose 6*a + 10 = v*a. Solve m - a = -1 for m.
1
Suppose 6*x = 3*x. Suppose 25 = a - x. Suppose 4*z - 83 = a. Solve z - 7 = 4*c for c.
5
Suppose -2*d + 10*d = -4*d. Solve 11*a - 16*a + 15 = d for a.
3
Suppose -4*m = -2*m - 6. Let n(k) = -k**2 + 4*k + 2. Let i be n(4). Solve i*z = m*z - 5 for z.
5
Let q(r) = -r**3 - 5*r**2 - 4*r + 3. Let g be q(-4). Suppose -k + 6 = -3*k. Let v = g + k. Solve 2*m = -4 - v for m.
-2
Suppose m - 5*l = -10, -4*m - l + 27 = 4. Solve -2 = m*q - 27 for q.
5
Let x be (5/(-10))/((-3)/54). Solve x*d = 4*d + 15 for d.
3
Suppose -y = k - 10, 3*k - 3*y - 2*y = -2. Suppose g - u - k = 1, 0 = -4*u - 8. Let q = -3 + g. Solve 6 = 2*v - q for v.
4
Suppose -2 = -2*n + n. Solve n*p = p + 2 for p.
2
Let c be 1/(-3) + 130/30. Solve 0 = -0*j - c*j for j.
0
Let k = -67 + 69. Solve 6*f = k*f for f.
0
Let g(u) = -u**2 - 19*u + 23. Let h be g(-20). Solve -h = -q + 4*q for q.
-1
Let u = 28 - 20. Let p = 11 - u. Let z be p/(-3) - -1*2. Solve z = -a - 2 for a.
-3
Suppose 16 = 9*s - s. Suppose s*c - 3 = 3. Solve c*x - 4 = 2 for x.
2
Let o = -11 + 13. Solve 3*q + o*q = 0 for q.
0
Suppose 6*d + 6 = 24. Solve -3*o + 9 - d = 0 for o.
2
Let t(r) be the first derivative of -r**3/3 - 9*r**2/2 - 3. Let g be t(-8). Solve h + g = -h for h.
-4
Suppose 4*w + 6 = 6*w. Let t be 0 - (w/3 + -4). Solve f - t = -0 for f.
3
Suppose -3*s + 8*s - 5*c - 50 = 0, c = -4*s + 50. Let z = s + -8. Solve 3*j - 2*j + z = 0 for j.
-4
Suppose 3*a = 5 + 1. Let x be 2/a + 15/3. Solve -i + x - 2 = 0 for i.
4
Let i(a) = -a**2 - 6*a - 5. Let s be i(-4). Solve s*j + 1 = 4 for j.
1
Let n(s) = -s**3 - 3*s**2 + 2*s + 5. Let a = -7 + 3. Let q be n(a). Suppose -9 = -5*o - w, o = -0*w - 4*w - 2. Solve o = -5*i - q for i.
-3
Let k be (-50)/18 + (-2)/9. Let a = k - -5. Let r = 2 - a. Solve 3*s + 7 - 1 = r for s.
-2
Let a = -57 + 69. Solve -x + 4*x - a = 0 for x.
4
Let p = -13 - -22. Suppose 4*g - 5*l = -24, g = -l + 3 - p. Let o be (0 - 1)*1*g. Solve 0 = k - o*k for k.
0
Suppose 3*x - 4 = 2. Suppose x*q = -2*q. Suppose 3*h - y + 6*y + 3 = q, 5*h + 3*y = 11. Solve -h*l = 2 - 10 for l.
2
Let a = 61 + -59. Solve 4*w - 2 = a for w.
1
Suppose 3*j - 4*h - 65 = 0, 5*j = 2*j + 2*h + 61. Let l be (1 + 1/(-2))*-2. Let m be l - (1 + -2)*5. Solve m = 3*i + j for i.
-5
Let b be ((-115)/46)/((-1)/2). Solve -i = -b*i for i.
0
Suppose p = -4*l + 17, l - 22 + 11 = -p. Solve 11 = -5*q - p for q.
-4
Suppose 0 = -4*t - 5*r + 20, 5*r - 30 = -t - 4*t. Solve j = -j + t for j.
5
Let b be -2 - (2 - 3 - 3). Solve -b*c + 1 = 11 for c.
-5
Suppose 52 = -4*h + 52. Solve -4*b + h = 4 for b.
-1
Suppose -18 + 3 = -p. Solve -3*s + p = 2*s for s.
3
Let s(v) = -4*v - 3*v - 5*v**2 + 4*v**2 + 3. Let m be s(-7). Suppose y + 0*z = 3*z + 10, -m*z = y + 8. Solve 3*h + y = 10 for h.
3
Let q(t) = 6*t - 1. Let z be q(1). Solve 4*l + z = -3 for l.
-2
Suppose -2*z = 2*z - 8. Suppose z*t + 8 = 4*t. Solve t*r + 16 = -4 for r.
-5
Let q(m) = -2*m - 12. Let f be (-14)/(-21) + 4/(-6). Suppose -2*t - 3*t - 40 = f. Let w be q(t). Solve w*o = -14 + 34 for o.
5
Let o = -124 + 189. Let m be 10/(-45) + o/9. Let d(q) = q**3 - 6*q**2 - 6*q - 4. Let z be d(m). Solve -1 = -l - z for l.
-2
Let y = 4 - -2. Let k be 6/y*(4 - -1). Solve -3*j + 4 = -k for j.
3
Let r = 90 + -77. Solve 0 = -5*i - r - 2 for i.
-3
Let h(b) be the first derivative of -b**4/4 - 3*b**3 + 9*b**2/2 - 7*b - 3. Let f be h(-10). Solve f*o = 5*o - 2 for o.
1
Suppose -41*b - 10 = -46*b. Solve 16 = -b*u - 2*u for u.
-4
Let g be 1 + 4 - (6 - 6). Suppose -y - 3 = g*s - 23, -3*s + 12 = y. Solve -w = s*w - 15 for w.
3
Let u be 3/(-6) - 2/4. Let h = u - -5. Let v(t) = 2*t - 5. Let s be v(h). Solve 0*y = -s*y for y.
0
Let y