4)*0/2. Solve 2 = i - g for i.
2
Suppose -d = -2*h - 3*d + 2, 3*h - d - 19 = 0. Suppose -30 - 5 = -h*y. Let m = -1 - -3. Solve 5*v + m = y for v.
1
Let n(j) = 2*j - 4. Let p be n(4). Let i be 9 + -4 - (-5 + 2). Let a(l) = l**3 - 8*l**2 + l - 8. Let t be a(i). Solve p = -t*f + f for f.
4
Let b(o) = -o**2 - 3*o - 1. Let z be b(-2). Let l be 0*(z - 1 - -1). Suppose -2*q + 54 = 2*s, s - 3*q - 43 = -l*q. Solve -5*p - s = -6 for p.
-5
Let r be 0*10/15*3/(-2). Solve 3*a - 3 + 15 = r for a.
-4
Let t(g) = -2*g + 12. Let i be t(8). Let y(z) = -z**2 - 6*z - 5. Let k be y(i). Let a be k/9 + 14/3. Solve -4 = -a*p + 1 for p.
1
Suppose -2*a - a + p + 19 = 0, 0 = -a - p + 1. Let f(k) = -k + 4. Let m be f(-6). Solve a*c - m = -0*c for c.
2
Let h = 31 + -27. Solve 0 = h*r - 5*r - 2 for r.
-2
Let w(t) = -t + 8. Let b be w(5). Suppose -4*a = a. Solve a = 4*c - b*c - 1 for c.
1
Suppose 0 = 9*j - j - 8. Solve -2*h = -3*h + j for h.
1
Suppose 2*n - 8 = 3*z, -3*z + z - 4 = -n. Let w(g) = 2*g - 8. Let l be w(n). Solve -5*b + b - 8 = l for b.
-2
Suppose -5*r + 25 = -2*h, -4*r + 2*h = 4*h - 20. Suppose 2*z - 5 = -3. Let a be 7 + z/(2/(-4)). Solve r = -a*m - 5 for m.
-2
Let q(d) = d - 3. Let i be q(2). Let n = i + 4. Solve -n*o + 2 = -1 for o.
1
Let p(a) = a**3 + 10*a**2 + 10*a + 12. Let d be p(-9). Let o(l) = -l + 4. Let t be o(-6). Solve d*s = s + t for s.
5
Let q = 70 - 70. Solve q*h + 5*h = 0 for h.
0
Let y = -15 + 17. Solve 0 = -w + y + 2 for w.
4
Let w be (3/(-3))/(-1)*0. Suppose 0 = 3*z - l - 6, 5*z + w*l = -2*l + 21. Solve 0 = -z*m + 10 + 2 for m.
4
Suppose 3*q = l - 0*l + 3, 0 = -2*q - l - 3. Solve 5*u + 32 - 7 = q for u.
-5
Suppose -2*h + 5*h = 24. Suppose 2*b - 4 - h = 0. Solve -14 = -4*p + b for p.
5
Suppose 2*a + 16 = 3*a + 2*x, a - 4*x + 2 = 0. Solve 4*i + 2 = -a for i.
-3
Let u be (-3 + -1)*(-1)/2. Suppose -u*o = -7*o. Suppose -2*v + o + 12 = 0. Solve 2 = -4*f - v for f.
-2
Let n(k) = -2*k**2 - 9*k - 4. Let b be n(-4). Solve 3*x - 9 = -b for x.
3
Let q be ((-1)/2)/((-4)/24). Suppose 4*v = 5*v - 11. Let l = v + 1. Solve 0*i = q*i - l for i.
4
Suppose -2*x - 6 = -3*z - 1, -10 = -2*z - 2*x. Solve z = 3*h - 0 for h.
1
Let k = 164 - 149. Solve k = -2*a + 7*a for a.
3
Let f(k) = -k**3 + 5*k**2 + k - 3. Let r be f(5). Let j be -26*(1 + r)/(-6). Suppose w - 10 = 2*c, 0 = 4*w + 4*c - j - 15. Solve 0*x + w = -2*x for x.
-4
Let i(d) = 2*d. Let b be i(1). Let o = -3 + b. Let y be o*(0 - 19/1). Solve 4*v + y + 1 = 0 for v.
-5
Let t(o) = o**2 - 7*o + 3. Let q(u) = 8*u**3 - 2*u**2 + 2*u - 1. Suppose -1 = -4*v + 3*v. Let c be q(v). Let m be t(c). Solve 1 = -2*j - m for j.
-2
Let y be -3*(2/(-3))/2. Let j be y/((3*-1)/(-6)). Let f(t) = t**2 + 3*t - 1. Let w be f(j). Solve -i - 2*i - w = 0 for i.
-3
Suppose 0 = -4*a + 9*a - 50. Suppose -a*f + 9*f = 0. Solve f*u = -3*u + 9 for u.
3
Suppose 2*z + 6 = -0*z. Let l be (-16)/6*z/2. Solve 0*a + 4*a + l = 0 for a.
-1
Suppose -5*a - 3 = -2*a, -3*a = 2*l - 27. Suppose 16 = n - l. Solve 5*b + 6 - n = 0 for b.
5
Suppose -12 = -2*v + 6. Solve -v*w + 4*w + 5 = 0 for w.
1
Let c be ((-132)/110)/(26/(-20) - -1). Solve -7 = -c*l + 1 for l.
2
Let x(b) = b**3 + 6*b**2 - 8*b + 1. Let d be x(-7). Let z = d - 6. Let k be z/(-3)*(-27)/6. Solve t + 0 + k = 0 for t.
-3
Let g = 14 - 10. Suppose -5*p + 5*y + 20 = -0*p, -4*y = 8. Suppose 5*o = -5*j, 3*j + p = -4*o + g. Solve 3*b = o*b for b.
0
Let k be -3 + 12/(-1 + 3). Suppose -k*r + 7 = 1. Solve 2*y + 8 = -r*y for y.
-2
Let j(q) = -q**3 + 8*q**2 - 8*q + 4. Let r be j(6). Suppose -6*k + r = -2*k. Solve 0 = 3*x - 5 - k for x.
4
Suppose s + 5 = -4. Let j be s/4*24/(-9). Solve 4 + j = -5*f for f.
-2
Let b be ((-13)/(-78))/((-2)/(-12)). Solve -g = -1 - b for g.
2
Let s(c) = c**3 + 7*c**2 + 9. Let m be s(-7). Let u = m + -6. Solve u = j + 2 for j.
1
Suppose -2*f = -2*d + 12, 6 = 5*d + 3*f - 8. Suppose m = d*l - 2*m, 5*m = 5*l + 5. Let v be -8 + 1 + 4 - -3. Solve v = -y - l*y - 12 for y.
-3
Let p be ((1 - 1) + 1)/(10/30). Solve -4*k - 5 = p for k.
-2
Let x(t) = t**3 + 4*t**2 - 7. Let n be x(-3). Solve 2 = h - n*h for h.
-2
Let u be (-1)/((-14)/6 - -2). Let i be -1 - 62/(-10) - 6/30. Solve -l + i - u = 0 for l.
2
Suppose -2*x = -2*t + 8, -4*x + 25 = x. Suppose 3*d - 3 = t. Let k = -11 - -26. Solve -d*j = j + k for j.
-3
Let u(n) = n**3 - 7*n**2 + 9*n + 7. Let s be u(5). Solve -s*f + 2 = 8 for f.
-3
Let u be (-2)/(-8) - 4/16. Let g be (u/(-1) - -16) + 0. Suppose 0 = 3*v + 4*s + g, 2*s = -v - 0*s - 8. Solve 2*a - 5*a = v for a.
0
Suppose 0 = t - 6*t. Suppose t = -2*g + 2. Solve 0 = -r + 4 - g for r.
3
Let z(c) = 4*c**3 - 2*c**2 + c. Let t be z(1). Suppose 0 = t*j + 9, 2*k - 5*j = 20 + 13. Let g = k + -5. Solve -h = h - g for h.
2
Let k = 22 - 18. Solve k*t - 10 = -t for t.
2
Let n = 13 + -8. Suppose -v + n = 2. Suppose -2*r - 1 = v*h - 2, r + 3*h = -1. Solve -3 = -j - r for j.
1
Let h be (-4)/(-6) + (-34)/(-3). Let l(o) = -o + 6. Let f be l(2). Solve f*j + h = -0 for j.
-3
Suppose f + 2*f + 40 = 4*v, 0 = 2*v + 5*f - 20. Suppose -v = -2*h - 0*h, 5*h - 25 = -4*y. Solve 0*c - 5*c - 25 = y for c.
-5
Let j(l) = 2*l**2 + 1. Let o be j(1). Solve f + 0*f + o = 0 for f.
-3
Let c(u) = 13*u - 1. Let t be c(1). Suppose 0 = -2*z - 2 + t. Suppose -3*q + 13 = z*m, 6*m - 2*m - 4*q = 36. Solve -m*a + 6 = 1 for a.
1
Suppose -2*d + 10 = 5*u + 3*d, -2*u = -2*d. Suppose 2*w - 2*n + 2 = 0, -4*w = n - 0*n - u. Solve f + w*f = 2 for f.
2
Let i(f) = f**2 - f + 3. Let r be i(-4). Solve -5*l + 8 = r for l.
-3
Suppose 39*u = 40*u. Solve u*a + a = -1 for a.
-1
Suppose 4*l - f = 4*f + 17, l + 5*f + 2 = 0. Solve -i + l = -0*i for i.
3
Let k be 4/16*(21 + -5). Solve k*f = -f + 25 for f.
5
Let r(i) = i**2 + 5*i - 6. Let m be r(-6). Solve -2*b - 2*b = m for b.
0
Suppose p = -1, 5*b - 12 - 1 = -2*p. Let z be b*1*30/18. Solve -z*s + 0 - 15 = 0 for s.
-3
Let h = 4 + 2. Let i = 16 - 5. Let b = i - h. Solve 3 + 7 = b*p for p.
2
Suppose 3*d = 5*d - 4. Suppose -5*k + 38 = d*z, -42 = -5*k + z + z. Solve -h - k = -5*h for h.
2
Let n(x) = -x**2 - 3*x + 2. Let u be n(-3). Suppose 0 = s + u - 8. Solve s = -2*b + 2 for b.
-2
Suppose -p - 30 = 5*o, 0 = 4*o - 6*p + 5*p + 15. Let u be 2/o - 12/(-5). Solve 5*b + 7 - u = 0 for b.
-1
Let p = 4 + -7. Let g be p/(-2)*4/3. Let k be 3/(-9)*0/g. Solve l = -k*l for l.
0
Suppose -3*q - 4*p + 22 = 0, -5*q + 3*q = -5*p + 16. Solve 0 = t + q*t + 12 for t.
-4
Let i(m) be the third derivative of m**4/24 + 3*m**3 + 6*m**2. Let g be i(-8). Solve -g = o + 4*o for o.
-2
Let k(m) = m + 1. Let o(i) = i**2 + 8*i + 11. Let u(c) = 5*k(c) + o(c). Let d be u(-12). Solve -7 = -d*h + 1 for h.
2
Let x = -3 - -5. Suppose -2*r + 1 + 3 = -h, 56 = -4*h - x*r. Let m = -7 - h. Solve m = -2*z + 15 for z.
5
Let x = 6 - 4. Let t be (-2)/(-4)*(x + -2). Let l be 2 - (-2)/(2/13). Solve 6*j - j + l = t for j.
-3
Let b(o) = -2*o + 8. Suppose 2*a = -0*a - 12. Let u be b(a). Solve -u = 5*k + 5 for k.
-5
Suppose 2*p + 8 = 3*r, -p - 2*p = 3*r - 33. Suppose 20 = -2*l + r*l. Solve l*c - 2 = -17 for c.
-3
Let f(p) = -4*p + 2. Let a be f(2). Let n = a + 8. Solve n - 5 = 3*q for q.
-1
Let z be 3 + -5 - -2*2. Suppose 4*q = 5*k - 1, 7*k - 3*q = z*k - 3. Let l(d) = -d + 2. Let n be l(k). Solve n = -4*a + 13 for a.
2
Let z = 7 - -12. Suppose 0 = d + 3 - 1. Let i(j) = j**2 + 2*j + 3. Let h be i(d). Solve h*q - z = -4 for q.
5
Let u = -17 - -17. Solve 3 + u = -3*o for o.
-1
Let t(o) = o**3 - 4*o**2 - 2*o + 3. Let w be t(3). Let z = -4 - w. Let b be (-5)/(-2) + (-4)/z. Solve -y + b = -0*y for y.
2
Suppose -3*r + 5*p = 14, 0 = -2*r + p + 2*p - 8. Solve -5 = -r*c - 1 for c.
2
Suppose 2*l - 12 = -l. Solve -13 = 3*i - l for i.
-3
Suppose -h + 8 = -0*h. Let m(l) be the second derivative of -l**5/20 + 7*l**4/12 + l**2 - 2*l. Let r be m(7). Solve 0 = r*q + 2 + h for q.
-5
Let y(l) = l**3 + 5*l**2 - l. Let g be y(-5). Let z(s) = -s**3 + 2*s. Let w be z(-2). Solve 0 = g*u + 1 + w for u.
-1
Let g(b) = 3*b - 1. Let x be g(-1). Let s(u) = -u**2 - 2*u + 2. Let i be s(x). Let a = i - -16. Solve -7*c = -2*c - a for c.
2
Let w = 8 + -6. Suppose w*o + 2*o = 4. Suppose 3 = 2*s - o. Solve b = s*b for b.
0
Let a be (-1)/4 + 2/8. Let o be (2 - 1)*(0 + a). Let f(k) = k**2 + k + 1. Let h be f(o). Solve -2*m - 7 = h for m.
-4
Let x(f) = -f**3 + f**2 + f - 1. Suppose -2*a + 4*a = 0. Let