g = b + 4. Solve 4*u - 3 - 5 = g for u.
2
Let w = -4 - -4. Suppose -i - 2*d - 5 = d, w = 5*d + 10. Solve 5 = 3*h - i for h.
2
Let l(v) = -v**3 + 2*v**2 + 4*v + 3. Let a be l(-3). Let n = a - 14. Suppose -5*i + n = -8. Solve -s = 2*s + i for s.
-2
Suppose 5*m = 4*m + 5*c + 56, -5*c + 130 = 5*m. Solve 6 = -5*x + m for x.
5
Let j = 74 + -65. Solve -j - 3 = -4*u for u.
3
Suppose 5*n = -3*s - 55, s - 6*s - 65 = -5*n. Let j be 2/((-21)/s - 1). Solve -j = -2*h - 1 for h.
2
Suppose 2*d - 5*d = -6. Solve -d*h + 3 = h for h.
1
Let g(n) = n**3 + n**2 + n + 12. Let i be g(0). Solve -i = -3*j + 7*j for j.
-3
Let q = -3 - -5. Let w = -5 + 8. Solve -w*l - 5 = -q*l for l.
-5
Let f = -43 + 46. Solve f*b + 1 + 5 = 0 for b.
-2
Let p be (-3)/12 - 14/8. Let i be ((-10)/2)/(2/p). Let x be 25/9 + (-2)/(-9). Solve x*t - i*t - 6 = 0 for t.
-3
Let c(u) = -u - 10. Let o be c(-9). Let v be (11/(-5))/(o/5). Solve 5*g = -4 - v for g.
-3
Let n be 1 + 2*6*1. Let c be 1/2 + n/(-2). Let i(s) = 2*s**2 + 9*s + 7. Let y be i(c). Solve -2*p - y = 3*p for p.
-5
Let u be -1 + 2*(-1 + 0). Let s(m) = m**3 + 4*m**2 + 4*m. Let b be s(u). Let n be b/12 + 202/8. Solve -w - 4*w - n = 0 for w.
-5
Let m = 4 - 0. Let u = -24 - -40. Suppose 44 = 7*x + u. Solve -x*b + m = -16 for b.
5
Let r = -7 + 15. Let o be (1 - 2)/(2/(-6)). Solve r*x = o*x - 25 for x.
-5
Let r = 5 - 3. Suppose r*a + 3*a - 10 = 0. Solve -4*m = -10 - a for m.
3
Suppose 8 = -t + c - 10, 2*c - 96 = 5*t. Let w be (-8)/t*10/4. Solve p - 4 = w for p.
5
Let n = 6 + -5. Suppose -4*i + 23 = -3*r, 3*i + 0*r = -r + n. Suppose i*s + 0*s = z, s + 3*z = 0. Solve s*f - 8 = 2*f for f.
-4
Let u be -3 - -8 - 2 - -2. Suppose -9 = -3*s + u*d, 0*s - 5*d + 31 = 2*s. Solve -2*o - s = -6*o for o.
2
Let j(l) = l**2 - l + 1. Suppose 0 = -4*f + 8, 2*t + 5*f = -2*t + 14. Let x be j(t). Suppose -5 - x = -3*w. Solve -o = w*o + 3 for o.
-1
Let n be (2/4)/((-2)/(-20)). Let g = 11 - n. Solve 0*i = -2*i - g for i.
-3
Suppose p - 33 = 2*j, 0 = -3*j + j - 2*p - 24. Let g = j + 23. Suppose g + 2 = c. Solve 0 + c = -2*v for v.
-5
Let g be ((-12)/15)/((-2)/10). Suppose j - 95 = -g*j. Solve 1 = 4*y - j for y.
5
Let g(o) = -5*o**2 - 3*o - 13 - 5*o + o**2 + 5*o**2. Let q be g(10). Solve 1 = 2*p - q for p.
4
Suppose -3*a + 0*a + 8 = x, 7 = 3*a + 2*x. Solve 15 = -a*q - 0 for q.
-5
Suppose 23 = 5*l + 8, -2*l = -5*s + 64. Let m = 20 - s. Suppose 4*y + 3*i + 2 = 3, 2*y - 33 = 5*i. Solve -y*n = -2 + m for n.
-1
Let b be (-8)/(-2) + (-9 - -8). Solve -r = -4*r - b for r.
-1
Let y(j) = j**3 - 6*j**2 + 4*j + 5. Let x be y(5). Solve 2*g - 3*g - 5 = x for g.
-5
Suppose 0 = -c + 7*c. Solve -r - 4 = -c*r for r.
-4
Let q = 35 + -27. Suppose -3*o = -4*o. Solve -4*x + q = -o*x for x.
2
Let w(n) = -n. Let q(a) = 2*a + 8. Let l be q(-6). Let t be w(l). Solve 0*i - 4*i = -t for i.
1
Let j be 44/(-55) - 44/(-5). Solve j = -n - n for n.
-4
Let s = 10 + -10. Suppose s*m = -5*m + 75. Solve m = q + 2*q for q.
5
Suppose -4*l = v + 39, 0*v + 36 = -4*l - 4*v. Let t = l + 13. Solve t = -3*s + 6 for s.
1
Suppose -5*m - 6 = 2*y, 0*y - 5*y = -5*m + 15. Suppose -20 = -4*h - v, -3*h + v - 2*v + 16 = m. Solve 5*t + 6 + h = 0 for t.
-2
Let b(v) = -v + 3. Let o be b(0). Let s(z) = -9 - 2*z - z + 5*z. Let k be s(6). Solve 0 = -o*p - 0 - k for p.
-1
Suppose 2*b + 3*b = -35. Let q = b + 11. Solve -z + q = z for z.
2
Let l(m) = -m**2 - 1. Let y(b) = -7*b**2 - 2. Let t(k) = 2*l(k) - y(k). Let s be t(1). Solve -s*o + 1 = -9 for o.
2
Let w be (36/(-14))/((-3)/56). Suppose 0*d + 4*d - w = 0. Solve 3*n - d = 3 for n.
5
Let p be (-2)/(-4)*0*(-4)/24. Solve -c - 4 = -p*c for c.
-4
Suppose 24 = 3*g + 18. Solve g*o - 7*o = 25 for o.
-5
Suppose -7*o + 10*o - 9 = 0. Solve -5*v - 23 = -o for v.
-4
Let v = -16 + 20. Suppose s = 8 - v. Suppose -3*g = -6*g + 5*t - 4, -g + 3*t = 8. Solve 9 = s*l - g for l.
4
Let j(x) = x**3 + x**2 - 6*x + 2. Let a be j(-3). Solve z + a = -0 for z.
-2
Let p(k) = -k**3 - 8*k**2 - 8*k - 5. Let h(a) = a. Let d be h(-7). Let l be p(d). Suppose -s + 2 + 1 = 0. Solve s*w + 8 = l for w.
-2
Let y(x) = x + 3. Suppose 0*w = 3*w - 9. Let h be y(w). Solve -h*s = -2*s - 16 for s.
4
Let q be (-8 + 10)/((-2)/(-5)). Solve q*k = k + 12 for k.
3
Let d(u) = -u**3 - 11*u**2 + 2*u + 22. Let y be d(-11). Solve 0 = 5*c - y*c + 5 for c.
-1
Let o(d) = -d - 1. Let v be o(-4). Suppose -2*j = -3*z - 7, -23 = -v*z - j - 3*j. Solve -4*h = z + 3 for h.
-1
Let k(v) = v + 8. Let n be k(-6). Suppose -3*d - n*d - 5 = 0. Let l = d - -3. Solve l*y + 5 = -3 for y.
-4
Let q = -1 + 2. Let t be (q + (-1 - 0))/3. Solve t = -o - 5 + 3 for o.
-2
Let d(h) = -4*h + 1. Let u be d(-1). Solve -u*a = 3 + 2 for a.
-1
Let k be 0 - -3 - (-1 - 5). Solve 16 = -5*l - k for l.
-5
Suppose 3*h - 1 = 2*c - 8, 2*h + 3*c = -9. Let t be (2 + 0 - 21) + h. Let f = -16 - t. Solve -p = -4*p + f for p.
2
Suppose 0 = t - 2*j - 4, 4*j - 7 = -5*t - 1. Solve -o + 7 = t for o.
5
Let f be 6/15 + (-46)/(-10). Suppose -5*p + 45 = f. Let m(d) = -d + 10. Let w be m(p). Solve 3 = w*y - 1 for y.
2
Let y(s) = 5 - 6 - s**2 + 8 + 4*s + 2*s. Let w be y(5). Solve -w = 2*a + a for a.
-4
Let m(x) = -x**2 - 7*x - 5. Let f be m(-6). Let v(t) = -t**2 + 6*t - 3. Let w be v(2). Suppose 4*q + 6 = -w*o + 17, o = -3*q + 11. Solve 5*y = -f - q for y.
-1
Let i be (-19)/(-4) - 9/(-36). Solve -5*z - 10 = i for z.
-3
Let r(g) be the first derivative of -g**2/2 - 10*g + 1. Let h be r(-8). Let p = 14 + h. Solve n = -2*n + p for n.
4
Suppose 15 = -4*m - 5. Let o(v) = v + 4. Let s be o(m). Let a be (-26 - s)*(0 + -1). Solve -6*i = -i - a for i.
5
Let y(n) = 5*n - 33. Let c be y(7). Let a(r) = 2 - 6*r + 4 - 4. Let b be a(-3). Solve c*u + 3*u = -b for u.
-4
Let d be (6/(-4)*1)/((-30)/40). Solve d*m + 2 = -0*m for m.
-1
Let t(x) = -2*x - 2 - x + 2*x. Let h be t(-7). Suppose 3*u = -0*r + h*r - 43, 0 = 2*r + 3*u - 13. Solve -c - r = c for c.
-4
Let w be (32/(-6))/((-3)/9). Let j be ((-10)/3)/(w/(-24)). Solve 0*a - j*a = 0 for a.
0
Let r be 4 + -2 + -1 - 1. Let q be (-2)/3 + 14/3. Solve x + q - 5 = r for x.
1
Suppose -k = -4*j + 7, -4*j - 3*k + 6 + 5 = 0. Let t = 14 - j. Let q be ((-6)/4 - -2)*0. Solve q = 3*l - 0*l - t for l.
4
Let v(k) = 2 + 6 + 4*k - 3*k. Let h be v(0). Suppose 0 = -s - s + h. Solve 21 = -s*x + 9 for x.
-3
Let z = 1 + -2. Let p = z - -3. Solve 0 = p*q - 6 + 2 for q.
2
Let h be (-1 + 0 + 31)*(-3)/(-9). Solve 35 = -5*x + h for x.
-5
Let r be (0 + (-4)/(-6))*3. Solve 2*g - 4 = -r*g for g.
1
Let i(q) = q**2 - 2*q - 5. Let p be i(4). Suppose 5 = -p*h + 4*h. Solve h*a = -0*a for a.
0
Suppose 3*t + 2*a = 17, -5*t + 4*a = a - 3. Solve -t*b = 2*b + 20 for b.
-4
Let n(q) = -5*q - 32. Let d be n(-7). Solve -4 = 5*z - d*z for z.
-2
Suppose -5*j - 31 = 4. Let k = 4 - j. Let q(t) = -t**3 - 2*t**2 + 3*t + 4. Let o be q(-3). Solve k = 5*n - o for n.
3
Let t(g) = -3*g + 11. Let u(v) = -4*v + 16. Let p(k) = 7*t(k) - 5*u(k). Let d be p(-9). Solve 2 = 2*y - d for y.
4
Let c = 29 + -24. Solve 0 = -c*p + 18 + 2 for p.
4
Let o be -1 + (4 - -2 - (-5 - -7)). Solve -10 = o*v - 5*v for v.
5
Let o(f) be the third derivative of -f**4/24 - f**2. Let b be o(0). Let p = 42 - 39. Solve w + p = -b*w for w.
-3
Let f = 4 + -4. Suppose f*y = 3*y - 12. Solve 0*t - y*t = 20 for t.
-5
Let i(l) = -l**3 - l**2 - l + 3. Let n be i(0). Let d = n - 1. Solve -4*j + 10 = -d*j for j.
5
Let f(r) = -r + 2. Let z be f(-2). Let b = 40 + 20. Suppose 4*o + b = 8*o. Solve z*t - o = -t for t.
3
Let u be -2*(50/(-4))/5. Suppose -4 = i - u*i. Solve -5 + i = 4*h for h.
-1
Suppose 2*u + 25 = 3*u. Suppose -7*t = -2*t - u. Suppose -42 = -2*l + 3*k, -5*l + 3*k = k - 83. Solve t*q + l = -0 for q.
-3
Suppose -4*c = -2*i - i + 8, 4 = 4*c. Solve 2 = i*u - 10 for u.
3
Let i(c) be the second derivative of 2*c + 0 - 3/2*c**2 - 1/3*c**3. Let k be i(-3). Solve k*u + 20 = -u for u.
-5
Let a(g) = g - g + g + 8. Let r be a(-6). Let s(x) = 9*x - 3. Let i be s(2). Solve -7*d = -r*d + i for d.
-3
Suppose 0 = 3*r - 8*r + 20. Suppose -f + 15 = 5*x, -6 = r*f - 7*x + 5*x. Suppose -i - 3*q = 0, 2*q + 0*q + 2 = f. Solve -i*o = -o + 6 for o.
-3
Suppose 3*g - 3*a + 1 = g, 0 = -4*g - 5*a + 9. Let z = -1 + g. Suppose 3*j - 2 = 3*b + 1, z = -b - 3*j + 15. Solve 2*o = -b*o + 5 for o.
1
Let r = -15 - -18. Solve 1 = r*q - 8 for q.
3
Suppose 0 = 3*l - 2*l. Let f = 