= 9 for i.
3
Let k(t) = -t**2 + 0 + 5 + 6*t + t - 3. Let s be k(6). Let i = -6 + s. Solve 0 = i*h + 14 - 4 for h.
-5
Let k be 3 - (3 + -6)*1. Solve 0 = -0*b + 2*b - k for b.
3
Let o = 29 + -18. Let m = o - 3. Solve -5*p = 7 + m for p.
-3
Let y be -3*(-4)/18 - 32/48. Solve 20 = -5*m - y*m for m.
-4
Let p(u) = u**3 + 3*u**2 - 6*u - 6. Let z be p(-4). Let r be z*(4/(-8) + 1). Solve -r = -k + 3 for k.
4
Suppose 8*i = 7*i. Solve 0 = 5*z - i - 5 for z.
1
Suppose 2*u - 5*i + 11 = -u, 0 = -4*u + i - 26. Let p(n) = n - 7 - 2*n + 3. Let r be p(u). Solve 2 = w - r for w.
5
Let c(s) = s**3 + 4*s**2 + s - 1. Let y be 3 + -3 - (1 - -2). Let u be c(y). Solve 4 = -u*l + 9 for l.
1
Let n(t) = t**3 - 2*t**2 - 3*t + 4. Suppose -k + 13 = 5*b + 35, 0 = 4*k + 5*b + 13. Let j be n(k). Solve 0 = -0*h + j*h - 16 for h.
4
Let b be 2/((-12)/2)*-6. Solve -7*y + 5*y = -b for y.
1
Let l(v) be the first derivative of -v**3/3 + 9*v**2/2 + 14*v + 4. Let f be l(10). Suppose 5*u - 3*u + f = 0, -5*g + 50 = -5*u. Solve 0 = p - g + 3 for p.
5
Suppose 5*p + 4*g = p + 20, -2*g = 0. Solve -p = -4*v + 11 for v.
4
Suppose 7 = 4*z - 5. Solve -z*n = 2*n for n.
0
Suppose 3 = 2*s - 7*k + 4*k, 4*k + 4 = 3*s. Solve 5*t - 3 - 2 = s for t.
1
Let x = -1 - -1. Solve x*m = m for m.
0
Let n(y) = 10*y - 18. Let x be n(2). Solve 6*f = x*f + 16 for f.
4
Let l be (-12)/(-42) - (-66)/14. Suppose -4*p + 49 = -l*n, -5*p = -0*p - 2*n - 40. Let g(a) = a. Let f be g(p). Solve -w + 4*w = -f for w.
-2
Suppose 0 = w - 3*w + 2*z + 8, -3*w + 2*z + 13 = 0. Solve w*i = -8 - 7 for i.
-3
Let w(m) = m + 20. Let p be w(-15). Solve -7 - p = 4*k for k.
-3
Suppose 6*j = 20 + 10. Solve 2*c - j*c = -6 for c.
2
Let d(t) = t**2 + 8*t. Let u be d(-6). Let w be ((-16)/u)/(4/6). Suppose 2*r = -w*x + 4, 2*r - 5*x - 32 = -0*r. Solve b - r*b = 20 for b.
-4
Suppose 0*v - 2*m = -v + 13, -4*v = 2*m - 2. Solve -v*w = -w - 2 for w.
1
Let q be (2/(-4))/((-3)/60). Suppose 6*g + 8 = q*g. Solve g*b - b + 2 = 0 for b.
-2
Let m be 2/(-3) - (-2)/((-18)/(-15)). Solve 0 = l - 0 + m for l.
-1
Let w be 16 - (5 + -2 + 1). Solve -w = -0*q + 4*q for q.
-3
Suppose -k = -6*k + 5. Solve o + 0*o = k for o.
1
Suppose -a = 3*s + 2, -3*a + 2 = -a + 3*s. Suppose -a*u = -6*u. Solve -b + 5*b - 4 = u for b.
1
Suppose 2*r + 14 = 4*k, -5*k + 12 = -4*r + 2. Let c be ((-2)/4)/(k/(-24)). Suppose -c*h - 6 = -5*h. Solve -3*s = -h*s for s.
0
Let b(u) = 6*u**2 + 0*u**2 - 3*u**2 + 3*u**2 + 1 - 3*u. Let d be b(1). Solve 3*q - 2 = d*q for q.
-2
Let g(o) = -2*o. Let a be g(-2). Let d be (-4)/12 + (-116)/(-6). Solve 0 = -a*v + 1 + d for v.
5
Suppose -5*s - 4*c + 8 = -5*c, -2*s = c - 6. Suppose 4*q - 6 = s*q. Suppose 0 = -2*t - 31 + 37. Solve -3*v - q = t for v.
-2
Let z(y) = -y + 4. Let g be z(3). Suppose 15 = 4*o + 5*s, -o + s = 4 - 10. Solve -o + g = 2*l for l.
-2
Suppose 4*v - 5*n - 21 = 0, 5*v - 2*v - 4*n - 16 = 0. Suppose 29 = v*z - 4*g + 5, 2*g = -5*z + 2. Suppose -i - 7 = 2*x, -z*x = 10 - 2. Solve 3 + i = l for l.
4
Let b = 0 + 4. Suppose 27 = 3*w - 3*l - 15, 58 = b*w - 5*l. Solve -r = 2*r - w for r.
4
Suppose 0*z + 24 = 8*z. Solve -z - 1 = 2*q for q.
-2
Suppose 5*f - 10 = -0*f. Suppose -3*y = -0*y - 12. Let a be 46/y - (-2)/4. Solve -f*u + 6*u - a = 0 for u.
3
Let n(v) = 2 - v**2 + 7*v + 3*v**2 - 4*v + 0. Let c be n(-2). Solve a - c*a = -3 for a.
1
Suppose 3*f - 4 = -10. Let o be 8*1 - (-2)/f. Solve 3 = z + o for z.
-4
Suppose 643 = 3*q + 10. Suppose q + 69 = 4*r. Suppose -3*k + r = 2*k. Solve 0 = 4*z - k - 2 for z.
4
Let g = 2 - -3. Let j(z) = z**2 + z + 6. Let h(p) = 3*p**2 + p + 12. Let u(l) = 2*h(l) - 5*j(l). Let t be u(g). Solve -m - t = m for m.
-2
Let o be (-5)/(((-63)/2)/9 - -1). Solve -a - o = -0*a for a.
-2
Let x be 1 + (5/(-5))/(-1 + 2). Let i(g) = -g**2 - 4*g. Let z be i(-4). Solve z = -x*u + 3*u for u.
0
Let q be 2/(-6) + 74/6. Suppose 10 - 6 = n. Solve -q - n = -4*m for m.
4
Let g = 4 - 1. Suppose -3*z + 6 = 4*k, 2*k - 3*z + 6 = -2*k. Solve 5*f - 4*f - g = k for f.
3
Let u = -5 + 6. Let d be (-3 - 4) + (-2)/u. Let x be 2/d + (-11)/(-9). Solve -b + x = -3 for b.
4
Let p(a) = a**2 + a - 1. Suppose -g + 7 = 1. Suppose q = 2*x - g, -13 = -x + 6*q - 3*q. Let o be p(x). Solve -o + 10 = -3*i for i.
-3
Let v(d) = -d**2 - d + 4. Let r be v(3). Let l = -2 - r. Let z = 7 + -5. Solve -z*b - l = -2 for b.
-2
Let t(c) = -c**3 - 2*c**2 + 2*c. Let q be t(-3). Suppose 0*n - q*n = -6. Solve 4*k = n*k for k.
0
Suppose -4*z + 4*h = -3*z - 3, 0 = 4*h. Let o(m) = m + 2. Let v be o(0). Solve -v*x + z*x = -5 for x.
-5
Suppose -3*p = -4*r - 0*r - 8, -5*p - 5*r = -25. Suppose b + 3*b + s - 25 = 0, p*b + 5*s = 45. Suppose -5*u + 11 = 1. Solve u*a = b*a - 9 for a.
3
Let k be ((-5)/15)/(3/(-9)). Suppose -f - 3*d = -3 - 2, 5*f - 4*d - 6 = 0. Solve -r - k = -f*r for r.
1
Suppose 74 = 4*o + 3*b, 3*b + b = 3*o - 68. Solve 2*z = -3*z - o for z.
-4
Let n(p) = 4*p**2 - 2*p - 2. Let k be 3*(6/9 + 0). Let c be n(k). Solve -c = -3*s - 2*s for s.
2
Let k(w) = -3*w**2 + 2*w + 4. Let l be k(4). Let p be ((-1)/3)/(3/l). Solve 15 = -p*g + 3 for g.
-3
Let d = 56 + -52. Let p be (-12)/(-2) + (-1)/1. Suppose -p*b = -4*b. Solve d*t = -b*t for t.
0
Let f(c) = 4*c - 6. Let s(y) = 3*y - 5. Let x be 1 + (-3)/1 + -3. Let r(n) = x*s(n) + 4*f(n). Let v be r(8). Solve -i = 2*i - v for i.
3
Let x(n) = n - 2. Suppose -2*l + 7*l + 45 = 0. Let q be (-16)/l - 4/(-18). Let v be x(q). Solve v = -3*t - t for t.
0
Let o = -92 - -92. Solve r + 3 = -o*r for r.
-3
Let t be 15 + 2 + -5 + 2. Solve -2*i - t = -4 for i.
-5
Let q = -6 - -9. Let l be -2 - -3 - q/(-1). Let p be l/2 + 2 - -1. Solve 0 = p*b - b + 16 for b.
-4
Let h(q) = -q**3 - 6*q**2 - 6*q - 5. Let r be h(-5). Let j be 3/6 + (-15)/(-6). Suppose -j*t - 11 = a, 2*a - 5*a + 7 = t. Solve a*p + r*p = 0 for p.
0
Suppose -3*l + 3*p = 9, -7*l = -3*l + p - 3. Suppose 3*m + j - 15 = 0, 2*m + j - 6 = 4. Solve -m*q + q = l for q.
0
Suppose 2*q - 2 = -g, -3*g + 3*q = -q + 4. Let b(n) = -n + 5. Let m be b(g). Solve w - m*w = -20 for w.
5
Let p(i) = -i**3 + 9*i**2 - 9*i + 10. Let z be p(8). Suppose 7*b - 6*b = z. Solve 1 + 1 = -b*a for a.
-1
Let k(g) be the second derivative of g**5/20 - g**4/4 - 2*g**3/3 + g. Let f be k(4). Suppose f = -d + 5*d. Solve x - 2 = -d for x.
2
Let n be 9/(-12)*8/(-3). Let o be (-2 - 2)/(n/(-5)). Solve 25 = -o*b + 5*b for b.
-5
Let h = 47 - 78. Let i = 43 + h. Solve -5*o = -o + i for o.
-3
Let b = 5 + 1. Solve i = 3*i - b for i.
3
Suppose -5*p = -23 + 3. Suppose 0 = -j - j + p. Solve -j*b = 3*b for b.
0
Suppose -4*x - u = -15, 2 = 2*x - u - 1. Suppose x*y - 2*w = 0, -4*w + 2 = -5*y - 0. Solve -y*l + 6*l = 8 for l.
2
Suppose 6 + 6 = 4*u. Let v be (0/(u/3))/(-1). Solve 5 = -v*j - j for j.
-5
Suppose 0 = -3*h - 6. Let n be (-10)/h - 4/4. Let g be 54/n + (-2)/4. Solve -4*m = -3 - g for m.
4
Suppose -s = 6*s + 7*s. Solve 5*j + 21 - 11 = s for j.
-2
Suppose 16*k - 18*k = -10. Solve 0 = -o + k*o for o.
0
Let p = 27 - 15. Solve -k = 3*k - p for k.
3
Let r be (10/(-6) - -1)*-3. Let l be 10/(-25) + (-77)/(-5). Solve -r*s = 3*s + l for s.
-3
Let a(j) = -j**2 + 5*j - 1. Let l be a(3). Suppose -2*z + l*z = 9. Suppose r + 20 = z*r. Solve -1 + r = 3*s for s.
3
Suppose -7*p - 20 = -2*p. Let h be ((-35)/14)/(2/p). Solve 15 + h = 5*r for r.
4
Suppose -4*d = -6 - 2. Let a be 16*(0 + (-3)/(-4)). Let x = -3 + 5. Solve d*o + x*o = a for o.
3
Let z be 50/(-8) + 6 + 2/8. Solve -4*y + 9 - 1 = z for y.
2
Suppose x - 2*l = 0, 5*x = l - 0*l. Let c = 10 - 8. Suppose x*f + c*f = 8. Solve -f*i - 25 = -5 for i.
-5
Let k = -3 + 0. Let t be ((-2)/(-1))/(k/3). Let z be (-2 - t) + 3 - -1. Solve -z*m = m for m.
0
Suppose -36*q = -14*q - 88. Let i be (0 - -1) + -1 + 1. Solve u - q + i = 0 for u.
3
Suppose -3*u + 29 = -1. Solve 4*b + b = -u for b.
-2
Suppose -3*g + 2*y = 14 - 7, 0 = 4*y - 20. Solve 0 = 4*r - g + 13 for r.
-3
Let f = -8 - -12. Let c = -7 - -8. Let s be c/(-4) - 13/(-4). Solve -f*m = -s*m for m.
0
Let q be (-3 + 2 + 1)*1. Let h be (q - (2 - 0))*-10. Solve -l + h = 4*l for l.
4
Let q = 47 + -45. Solve q*p - 6 = -p for p.
2
Suppose 10 = 6*a - a. Solve g - 2 = a for g.
4
Let r be ((-2)/(-6))/((-4)/(-24)). Let v be 6/3 + -2 + r. Suppose i = -v*i. Solve -p + 0*p = i for p.
0
Suppose 0 = -5*l + l + 48. Solve -4*z - 4 - l = 0 for z.
-4
Let b = 33 - 31. Solve 2*v + b*v = 4 