 g = k for k.
-3
Suppose 7 + 7 = -n. Let y = -6 - n. Solve -y + 3 = g for g.
-5
Let q be 14/5 + (-12)/15. Let x be (-3)/(-1 - 0) + q. Solve 4*s = 5*s - x for s.
5
Let j = -70 - -77. Solve 0 = 4*h - 15 + j for h.
2
Let n be 13 - 4/((-4)/3). Let h be 0/(-1)*-1 - 0. Let x(s) = s**2 - 6*s + 13. Let p be x(4). Solve h = z - p*z - n for z.
-4
Suppose 1 = -3*z + 7. Solve 0 = z*a - 6*a + 12 for a.
3
Suppose 0 = -5*v + 15 - 15. Solve v = j - 2 - 2 for j.
4
Suppose 5*m = 3*s + 2 + 2, 5*s + 5*m - 60 = 0. Solve s + 2 = -3*n for n.
-3
Let i(j) = -j**3 - 9*j**2 + 8*j - 3. Let c be i(-10). Solve 7 = 2*y + c for y.
-5
Let q be 1 + 1 - 6/(-6). Let i(a) = -a**2 + 15*a + 4. Let d be i(15). Solve d*c = c + q for c.
1
Let s(v) = -v - 4. Let c be s(-4). Solve a - 4*a = c for a.
0
Let w(j) = -j**2 - 7*j. Let h be w(-6). Let u(a) = a**2 - 5*a - 6. Let n be u(h). Solve n = -3*g - 2*g for g.
0
Let o be (-2)/(-3 - -4 - -1). Let l(x) = 6*x**2 + x. Let m be l(o). Solve -m*w = 7 + 18 for w.
-5
Let u = -6 - -11. Suppose -4*y + u*y - 1 = -2*z, 0 = 3*z. Solve 3*i - 4 + y = 0 for i.
1
Let v(t) = -t. Let g(l) = 7*l + 9. Let n(m) = g(m) + 6*v(m). Suppose -3*a = -3*d - 8*a - 8, -5*d = a + 28. Let j be n(d). Solve q - 4 = -j*q for q.
1
Suppose -3*w + 5 = -4. Suppose 0 = -5*o - b + 31, 0 = o - w*b + b - 4. Solve 3*h + 9 = -o for h.
-5
Suppose 0*q + 5*z = 5*q - 35, -2*q - 5*z = 7. Suppose 1 = q*f - 5*l - 0, 3*f = l + 9. Suppose 3*u = f*u - 15. Solve 4*a + a + u = 0 for a.
-3
Let y(r) = -10*r - 42. Let q be y(-5). Solve -v + q - 6 = 0 for v.
2
Suppose 9 + 0 = -3*v. Let t be -38*v/(-9)*3. Let s = t - -63. Solve -3*a - 2*a = s for a.
-5
Let t(w) = w**3 + w**2. Let k be t(0). Suppose 3*d - 3 = -k*d. Let f be (0*(-1)/(-2))/d. Solve f = -4*g - g for g.
0
Let t(j) = -j**3 + 2*j**2 - 1. Let w be t(1). Suppose w = -2*r - 0*r + 4. Let q = 6 - 4. Solve q*c - 4 = -r*c for c.
1
Let l(n) = 3*n**2. Let z be l(-1). Let g(s) = -2*s - 5. Let j be g(-5). Suppose -j*o = -0*o. Solve o = -3*c - z for c.
-1
Let g = 2 + -1. Suppose -4*x + 14 = -h, -h = x - 2*x + 2. Solve -g = 3*t + h for t.
-1
Let r(l) = l**3 - 9*l**2 + 10*l - 16. Let p be r(8). Solve p = -o - o - 2 for o.
-1
Let h be (0/(0 - -3))/3. Suppose 0 = -4*c - 16 - h. Let x be 56/16*c/(-7). Solve -4*p - 18 = -x for p.
-4
Let f(h) = 3*h**3 - h**2 - h. Let i be f(2). Let n be (-4)/i + (-266)/(-63). Solve -6*z = -2*z + n for z.
-1
Let s(j) = j + 5 - j**2 - j - j. Let w be s(0). Suppose 0 = w*r - 5. Solve -5*g = r + 4 for g.
-1
Suppose 2*p + 36 = v, -31 = 2*p - 4*v - 1. Let s = p + 28. Solve 4*l - s = 3 for l.
3
Suppose l + 14 = 2*x, -45 = 3*l - 0*x - 5*x. Let o be 17/5 + 8/l. Solve -2*t - 10 = o*t for t.
-2
Let g(i) = i**2 + 2. Let c be g(2). Suppose -5 = -o + c*o. Let s be 3/(-2)*o*2. Solve 8*h - 20 = s*h for h.
4
Suppose 3*m = 9 - 0. Suppose -a = 5*w - 63, -2*a = 3*w - m*a - 33. Let t be 5/(5/w) - 1. Solve t + 14 = -5*x for x.
-5
Suppose -3*t + 3*z = 15, 5*t = -3*z + 19 - 4. Solve 2*g + 2 + 4 = t for g.
-3
Let c be 2/((-8)/(-12)) - -2. Solve 1 = 2*o + c for o.
-2
Suppose c + 1 = 3*k, -1 = -4*k + 3. Solve c*l - 8 = -2*l for l.
2
Let j = -6 - -10. Let r = 11 - j. Let o be r - 4 - (0 + -1). Solve -d + o*d = 0 for d.
0
Suppose 0 = -0*w + w - 2. Let y be 1 - w - (-1 + -1). Solve -3*a - y + 10 = 0 for a.
3
Let j(b) = 5*b**2 - b**2 - b - 2*b**2. Let x be j(3). Suppose -4*i - 20 = 0, 2*k - x = 3*k + 3*i. Solve v + k*v = 4 for v.
4
Let d be (-3*1)/((-8)/16). Suppose -d*y - y = 0. Solve q + 2*q - 12 = y for q.
4
Let j be (-15)/20 + 54/8. Solve 0 = 3*s - j - 9 for s.
5
Let a(m) = -6*m - 1. Let g(i) = 7*i + 1. Let s(j) = -4*a(j) - 3*g(j). Let p be s(1). Suppose -2*b = -4*r - 20, 5*b - 2*b - 24 = p*r. Solve b = -4*v + 5*v for v.
4
Suppose 1 + 5 = 2*j. Suppose 0 = j*w - 5 + 2. Let v = -1 + w. Solve 2*s - 5*s - 6 = v for s.
-2
Let t(c) = -c**2 + 5*c + 3. Let g be t(5). Let u(k) = k**2 + k - 1. Let h be u(2). Solve -h = -4*l + g for l.
2
Let x = -176 - -120. Let l = -40 - x. Solve s + 3*s = -l for s.
-4
Suppose -10 = 2*z - 5*m, -5*z + 21 + 8 = m. Solve o = z*o for o.
0
Let h(c) = c**2 + c - 12. Let x be h(-5). Solve 2*k + 2*k = x for k.
2
Let c(z) = 4*z - 11. Let p be c(4). Solve -2*m + p - 3 = 0 for m.
1
Let o be (1/(-3))/(2/(-12)). Solve 0 = -o*a - 2*a - 20 for a.
-5
Suppose -2*j = -7*j + 15. Solve -g = 2 + j for g.
-5
Let f be ((-18)/8)/(2/(-8)). Let j(k) = -k**2 - 9*k - 17. Let i be j(-5). Solve i*u + 0*u - f = 0 for u.
3
Suppose -3*c + 35 + 13 = 0. Suppose -p = 4*u - c, 2*u = 2*p - 7*p + 8. Solve -j + p = -4 for j.
4
Let d(l) be the third derivative of -l**8/2240 + l**4/12 + 2*l**2. Let x(p) be the second derivative of d(p). Let u be x(-1). Solve 4 = u*b - 5 for b.
3
Suppose -5*o = -4*a + 23, -2*a + 2*o + 1 = -13. Solve 0*w - a = 3*w for w.
-4
Suppose -y = -4*x + 8, -2*y + 22 = 2*x + 2*y. Let p be 2 - (-5)/((-20)/(-12)). Suppose -p*j = -x*j. Solve j = 2*v + 3*v for v.
0
Suppose 0*q - 99 = -5*q + f, -2*q + 37 = -3*f. Solve -2*p + 6*p + q = 0 for p.
-5
Suppose -3*s = 3*p, 4*p + s - 6*s - 36 = 0. Suppose -5*d + 0 = -q + p, d = -q + 4. Solve 16 = 5*u - q for u.
4
Suppose 2*b = b + 2. Solve 0*d - 8 = b*d for d.
-4
Let c = -44 - -24. Let z be (-2)/(-5) + 8/c. Suppose z*x - v = -x, -5*v = x. Solve -i = -x*i + 4 for i.
-4
Let c(j) = -j**2 - 7*j - 2. Let z be c(-9). Let g be (-36)/(-15)*z/(-6). Suppose 2*b + 6*u = u + g, 16 = 4*b - 2*u. Solve -n + 20 = b*n for n.
4
Let n = 4 + -3. Solve 0*s = s - n for s.
1
Let i(h) = h**3 - 5*h**2 - h + 1. Let p be i(5). Let y be p/(-26) - (-296)/104. Solve 3*b + 0 = -y for b.
-1
Suppose -5*j - 5*j = -40. Solve 12 = -j*g - 0 for g.
-3
Suppose 3*z - 18 = -6. Let f = -4 + z. Solve 5*g + 21 + 4 = f for g.
-5
Suppose 3*s = -2*s + 15. Solve c = s*c - 8 for c.
4
Suppose -n - 3*n = 0. Let a be (n - 1) + (-1)/(-1). Solve -3*h + 3 = -a for h.
1
Let i = 40 + -37. Solve -6*d = -i*d for d.
0
Let k(t) = t + 11. Let j be k(-11). Solve o = -4 - j for o.
-4
Let b(l) = -l**2 - 5*l + 4. Let g be b(-5). Suppose -4*o - g*h = o - 6, 2*h = -2. Solve o*q - 1 - 1 = 0 for q.
1
Suppose -2*y = -0*y + 10. Let h be (-18)/y - 4/(-10). Solve l - 9 = h*l for l.
-3
Let b = 7 + -7. Solve 0*k - 4*k - 12 = b for k.
-3
Let d(g) = -3*g - 5. Let v be d(-4). Let a = 45 - 43. Solve -v = -a*q - 1 for q.
3
Suppose 94 = -4*d - 6. Let t = -5 - d. Solve -w - 3*w = t for w.
-5
Let i be 0 + 10 + 3 + 2. Solve i = -0*z - 3*z for z.
-5
Let d(v) = -v**3 + 11*v**2 - 10*v + 3. Let a be d(10). Solve a*i = -0*i for i.
0
Let w(b) = -b**3 - 2*b**2 + 1. Let y be w(1). Let j be (-1)/(-2)*y + 5. Solve 9 - 1 = j*z for z.
2
Let d be (1 + -3)/((-6)/75). Solve 5*v - d = -0*v for v.
5
Let p(a) = -4*a + 4. Let u be p(-3). Let g = -11 + u. Solve -g*f - 30 + 10 = 0 for f.
-4
Let c = -66 + 119. Suppose 5*h - 26 = x + c, -3*h - 4*x + 52 = 0. Suppose -2*i + h = -4. Solve -3*k + i = 4 for k.
2
Let p(c) = 2*c**3 - 4*c**2 - c - 1. Let n be p(3). Let u(w) = w**2 - 5*w - 10. Let i be u(7). Let g = 1 - -1. Solve i = -g*o + n for o.
5
Let k(w) = -w. Let r be k(0). Let s(l) = 2*l - 9. Suppose 5*v - 7 = -2*g, 5*v + 15 = 3*g - 8. Let i be s(g). Solve i = -3*x - r for x.
-1
Let g be ((-10)/3)/(4/(-6)). Let d = g + -4. Solve m = -d - 2 for m.
-3
Suppose -2*w = 2*w - 20. Solve -4*o + w + 11 = 0 for o.
4
Suppose -2*s + 45 = 2*s + 5*d, d - 1 = 0. Suppose 2*z + 0 = s. Let q = 11 - z. Solve q = 3*y - 3 for y.
3
Let t be ((-4)/(-3))/(2/6). Let z = t - 2. Let m(j) = j. Let l be m(4). Solve z*f - 2 = -l for f.
-1
Let z be (9/12)/(1/4). Suppose 5*o - 109 = -24. Let x = 5 + 0. Solve -o + x = z*t for t.
-4
Let v(a) = 2*a + 27. Let u(b) = b + 13. Let z(p) = 13*u(p) - 6*v(p). Let j be z(0). Suppose 28 = 2*i - i - 5*d, -j = i + 2*d. Solve 12 + 0 = -i*r for r.
-4
Suppose -9*q + 24 = -7*q. Suppose -2*n + 30 = q. Solve 0*w - 3*w + n = 0 for w.
3
Let a(u) = 10*u - 18. Let r(q) = 7*q - 12. Let j(f) = -5*a(f) + 7*r(f). Let i be j(5). Solve 5*x + i + 4 = 0 for x.
-1
Suppose 1 = 5*h - 9. Let f be (-20)/(-90) - 52/(-9). Let o be 15/f - h/4. Solve 2*j = 3*j - o for j.
2
Let p be 4 + -1 + (1 - 0). Suppose -p = -0*k - 2*k. Solve 0 = 5*x + k + 3 for x.
-1
Suppose 0 = l + 3*l - 16. Let q(p) = 2*p + 1. Let k be q(1). Suppose k*f = -f + 40. Solve 2*m + l = f for m.
3
Let q(o) = 11*o**3 + 2*o**2 - o. Let r be 6/4*6/9. Let l be q(r). Solve 3*