 of c**2/2 - c - 2. Let y be v(2). Solve -y + 4 = 3*h for h.
1
Suppose 3*q - 13 = -1. Let p = q - 4. Solve a - 4*a + 3 = p for a.
1
Let k = -7 + 9. Solve k*a + 2*a - 8 = 0 for a.
2
Suppose 6 - 18 = -2*y + 2*q, 5*y = -5*q. Solve -y*f + f = 0 for f.
0
Let t = 4 + -1. Let m = 8 - t. Solve -m*o + 0*o - 15 = 0 for o.
-3
Let v be -3*10/(-3)*-1. Let z(c) = c**2 + 9*c - 7. Let d be z(v). Solve d = f + 2 for f.
1
Suppose -5*w + 31 + 0 = -2*f, -5*w + f = -33. Suppose -w*u + 3*u = -8. Let v = 6 + -3. Solve v*a - u*a = -3 for a.
-3
Suppose 7*g - 24 = 3*g - 4*w, 3*g + 2*w - 17 = 0. Let f be -2*((-10)/4 - -1). Solve -g*u = -2*u + f for u.
-1
Let t be (-6)/15 + (-52)/(-5). Suppose k = -5*p + t - 1, -15 = -4*k + p. Let i(l) = -l**3 + 3*l**2 + 4*l. Let b be i(k). Solve b = -0*n + 2*n for n.
0
Suppose p - 4*s + 6 = 0, 5*p - p + 3*s + 5 = 0. Let c = 0 - p. Suppose -3*t + c*t = 0. Solve -2*o + t - 4 = 0 for o.
-2
Suppose -o + 0*o + 8 = 0. Solve -7*z + 3*z + o = 0 for z.
2
Suppose 0 = -6*d + 2*d + 24. Let y = d + -4. Solve -1 - 3 = -y*f for f.
2
Let q(n) be the first derivative of n**2/2 - 6*n - 3. Let a be q(6). Solve a = -4*z + 6*z + 8 for z.
-4
Let u be 1/2 + 1*6/4. Solve u = -h + 5 for h.
3
Let m be (-1 - -2)/((-2)/(-6)). Let t = 5 - 7. Let n = 4 + t. Solve 0 = s + n*s + m for s.
-1
Let x be (-2 - 5)*2/(-1 + -1). Solve 3*n - 4 = -x for n.
-1
Let w be (-48)/18*9/(-4). Let y(u) = u**2 - 6*u + 3. Let s be y(w). Suppose -s*a = -0*a - 6. Solve r + 2 = -a for r.
-4
Suppose -d - 6 = 5*r, 3*d + 0 - 12 = 0. Let a = -1 - r. Solve 0 = -b - a + 4 for b.
3
Let v = -11 + 15. Suppose 3*d - 5*p + p - 28 = 0, -v*d = -2*p - 24. Let h = -26 - -38. Solve -d*c = -c - h for c.
4
Suppose g = 12*g - 88. Let n(k) = 2*k + 0*k - 5 - 3*k. Let f be n(-5). Solve -2*i + 0*i + g = f for i.
4
Let l(k) = -k**2 - 9*k - 5. Let d be l(-8). Suppose 5*n + d*j - 23 = 2*j, -29 = -5*n - 3*j. Solve 0 = -3*u + n + 5 for u.
3
Suppose -2*c + 0*c = -2. Let r be -10*c*2/(-4). Solve p = r*p for p.
0
Suppose 3*v + 0*v + 7866 = 0. Let l be v/(-90) - 2/15. Let u(k) = 2*k - 3. Let f be u(4). Solve -f*j = -l + 9 for j.
4
Let m = -29 - -30. Solve i - m = 3 for i.
4
Suppose 0 = -4*g + 5*x - 2 - 5, 0 = 5*g - 2*x - 4. Solve -3*o + g*o = -2 for o.
2
Let m be (-1)/(-4) + 55/20. Suppose -m*f + 3 = -9. Solve 0 = -f*z - 4 - 0 for z.
-1
Suppose 0 = o + 2*o - 6. Suppose -3*y + 6*y + o*p = 14, 4*y - 2*p = 0. Let z be (6/(-4) + y)*0. Solve -c + 3 = -z for c.
3
Let v be 5 + ((-3)/1 - -3). Solve 0*b = 5*b + v for b.
-1
Let h be 3*26/12*4. Solve -h + 1 = 5*n for n.
-5
Let w(i) = -i**2 + 5*i + 2. Let y be w(5). Suppose -6 + 22 = -2*d. Let g be y/d + (-100)/(-16). Solve -4 = -2*v + g*v for v.
-1
Let f be -6*((1 - 1) + 1). Let r be (-2)/f + (-4)/(-6). Solve 5 - r = t for t.
4
Let p = 0 + 3. Suppose -16 = -p*k - k. Let o be ((-9)/4)/((-1)/k). Solve -2*t - o = t for t.
-3
Let c = 38 + -28. Solve 2*v + c = 2 for v.
-4
Let c be 0/(-1) + 1 + -3. Let r be ((-14)/c)/(0 - -1). Let m = 170 + -165. Solve -r*v + m = -2*v for v.
1
Let r be (-3 - 0/(-4)) + 5. Solve r = 2*x - 4*x for x.
-1
Let h(q) = q + 12. Let v be h(-9). Suppose -2*n + 4 = -f, -2*n - v*n = -f - 16. Solve n*z - 3 = 1 for z.
1
Suppose 4*a = 5*f - 67, -19 = -2*f - 0*a - a. Let k = f + -2. Solve 4*p - k = p for p.
3
Let u = -2 + 8. Suppose f + 3*f = 12. Solve -u = f*y - 0*y for y.
-2
Let k be (-76)/(-16) + (-3)/(-12). Let x be 3/15 - (-1)/(-5). Solve -k*p + x*p = 0 for p.
0
Let q(z) = -z**2 + 9*z - 8. Let j be q(7). Let o = -1 + j. Let b = -5 + o. Solve b = 4*a - 0*a - 12 for a.
3
Suppose a = -3*a + 60. Let q(o) = -o**2 - 6*o + 1. Let s be q(-6). Let l be (s/3)/((-6)/(-54)). Solve -l*f - a = 2*f for f.
-3
Suppose 5*h - 36 - 4 = 0. Solve -h*d + 4 = -7*d for d.
4
Let m be (4/6)/((-2)/(-3)). Let g be -1 + m + (7 - 3). Solve w = -g*w - 20 for w.
-4
Let y be ((-10)/(-8))/(2/8). Suppose 0 = y*f - 4*f. Solve -z = -f - 2 for z.
2
Let f be (3*-1)/(((-231)/(-14))/(-11)). Solve f*w - 4 = -0*w for w.
2
Let s(m) = m**2 - 7*m - 18. Let g be s(9). Solve g*u = 2*u - 10 for u.
5
Let h be -3*4*(-2)/6. Let o = -5 + 10. Solve o*v - 2 = h*v for v.
2
Suppose 3*l - 35 = -8. Let m be (-4 + l/2)*6. Solve -20 = a + m*a for a.
-5
Let g(x) = -x**3 + 2*x**2 + 2. Let m be g(2). Suppose -m*k + 1 = -3. Solve -3 = 5*l - k*l for l.
-1
Let x = -4 - -7. Let v be (1/(-3))/((-1)/x). Let w(z) = 5*z - 1. Let a be w(v). Solve -16 = a*n - 0*n for n.
-4
Suppose -16 = -2*u - h, -4*u + 3*h - 24 = -7*u. Solve u*m + 6 = 5*m for m.
-2
Let c(q) = q**2 - 10*q + 20. Let m(g) = -g**3 + 10*g**2 + 11*g + 8. Let p be m(11). Let d be c(p). Solve -u = -d*u for u.
0
Suppose -9*a = -12*a. Solve 0 = -a*j + 3*j + 15 for j.
-5
Let t = -8 + 8. Suppose 2*y + y = t. Solve y*u = -3*u + 9 for u.
3
Suppose 21 = -v - 5*c, 3*v = 2*c + 11 + 11. Suppose -5 = 2*h - 0*h - 5*q, v*q + 20 = 4*h. Solve h = -3*d + 4 for d.
-2
Let c = 10 - 8. Suppose -c*q = -q. Suppose 5*u - 26 = -3*x, -2*x + 4*u = 5*u - 8. Solve q = x*m - m for m.
0
Let z = 2 - 1. Let s = 14 - 5. Let w = s + -6. Solve -4*d = z + w for d.
-1
Suppose -5*v + 8 = -17. Let l(z) = -z**2 + 4*z + 5. Let u be l(v). Solve u*i + 15 = 3*i for i.
5
Suppose 4*g - 10 = -g. Let h = g - -4. Solve -h = k + k for k.
-3
Let h = 23 + -9. Let v = 14 - h. Solve 4*p - 8 + v = 0 for p.
2
Suppose 2 = -0*o + o. Suppose 0 = 2*p - 5*b + 4 + 1, 4*b = 3*p + 4. Suppose 2*w + t - 12 = -2*w, 5*t - 20 = p. Solve 10 = o*z + w for z.
4
Let q be 8/(-3)*(-6)/4. Let b be 1/3 - q/(-6). Let k be (-1 + 2/2)/b. Solve -7*g + 4*g + 6 = k for g.
2
Let s be (0 - 1)*(5 - 5). Solve z - 4 + 0 = s for z.
4
Let z = 14 + -9. Solve -z*q + 10*q = -20 for q.
-4
Suppose -12 = -2*j - 4. Solve -j*l + 3*l - 2 = 0 for l.
-2
Let u be (-8)/20 + (-12)/(-5). Solve u*g - 1 = 3 for g.
2
Let v be (3/3)/(1 + 1/(-2)). Solve 0*d = v*d - 10 for d.
5
Suppose 0 = x + l + 1, 5*x - 4 = -2*l - 3. Let s = x - -2. Solve s*b + 10 = b for b.
-5
Let x = -3 - -7. Solve -x*f + 20 = f for f.
4
Let o(v) = -v**3 + 12*v**2 - 10*v - 7. Let t be o(11). Solve -t = w + w for w.
-2
Suppose 0 = 19*r - 18*r. Solve -1 = -p - r*p for p.
1
Suppose -4*s + 4 = -0*s, 0 = -2*n - 3*s + 11. Let f be (-34)/(-6) + (-2)/3. Suppose -2*m - w + 7 = m, n*w = -m - f. Solve 0 = -m*j + j for j.
0
Suppose -4*k = 3*g - 190, 23 = 5*k - 5*g - 197. Suppose -5*f + k = 4*o - 6, 2*f = -5*o + 48. Solve -a - 3 = -o for a.
5
Let p = 27 + -14. Suppose -5*d = -p - 2. Solve v - d = -0 for v.
3
Let l(g) = g**2 + 15*g + 16. Let c be l(-14). Suppose 4*r = 5*t + 14, 0*r - 5*t - 13 = -3*r. Let o be r*(4/2 - 2). Solve -3*n + 4*n - c = o for n.
2
Let f be (-3)/(2 + -1) - -11. Suppose 0 = -4*v + f. Solve 7*u = v*u + 5 for u.
1
Suppose -21 - 11 = 4*o. Let v = -3 - o. Solve v - 11 = -2*j for j.
3
Suppose 8 = 2*b, -4*z - 2*b + 44 = b. Solve -3*r = -z*r for r.
0
Suppose 5*y - y + 6 = -g, -36 = -4*g + 4*y. Solve u = -g + 9 for u.
3
Let x(s) = s + 1. Let o be x(-6). Let k be 0 + 0 + (-3 - o). Solve k*f - 6*f = -4 for f.
1
Let j = 14 + -13. Solve -3*t - j = 5 for t.
-2
Suppose 19 = 5*g + 3*k, -g + 0*k + 9 = -2*k. Suppose g*x + 20 = 0, 0 = -4*t + x + 17 + 15. Solve 3*c - t*c + 8 = 0 for c.
2
Let g(h) = h**3 - 5*h**2 + 6*h - 5. Let l be g(4). Suppose 0 = 3*n + 3*c - 18, 4*n + c - 6 - 6 = 0. Solve -11 = -n*p - l for p.
4
Let a(x) be the first derivative of -x**3/3 - x**2/2 - 4. Suppose -4 = -j - 6*q + 5*q, 4 = -2*j + q. Let r be a(j). Solve r = -4*m - 13 + 1 for m.
-3
Let y be 1*(0 + 4 + -2). Let j = 123 - 123. Solve y*v + 10 - 4 = j for v.
-3
Let q = 2 - -3. Suppose 0 = 3*x + q*r, -3*x - 5*r = -2*x. Suppose -4*i + 8*i - 100 = 0. Solve i = -5*m - x*m for m.
-5
Let s = 31 - 19. Suppose -2*u + s = 2*u. Let r be -4*(-1 + 2)*-1. Solve u = r*i - 1 for i.
1
Let u be 1 + 3/((-9)/(-12)). Solve -u*m = -3 - 12 for m.
3
Suppose 0 = u - 6. Suppose u*f = 2*f. Let a be ((-3)/(-2))/(1/2). Solve f = -g + 4 - a for g.
1
Let l be 7/(21/6) + 1. Suppose -o - w + 1 = 0, -w - l*w - 20 = -4*o. Solve o = -s - 1 for s.
-4
Let d = 15 + -16. Suppose 5*y + 3*o - 16 = 4, 5*o = -4*y + 16. Let i = y + d. Solve i*x - 10 = 2 for x.
4
Let y(n) be the second derivative of -3*n**5/20 - n**4/12 + 2*n**2 + 3*n. Let x be y(3). Let k be 2/3 - x/6. Solve 0 = 4*f + f + k for f.
-3
Let j(u) = -4*u**2 - 4*u - 3. Let h(x) = -9*x**2 - 8*x - 6. Let k(p) = -3*h(p) + 7*j(p). Le