6). Solve -o = c + 3 for c.
-5
Suppose -4*z = -5*l - 1, -2*l = 3*z - 0*l - 18. Suppose -z*r + 9 = t, -3*r + 2*r + t + 6 = 0. Solve -13 = -r*v + 2 for v.
5
Suppose i - 2*i = 0. Suppose i + 4 = 2*n. Solve -2*v = n*v - 16 for v.
4
Let j(a) be the first derivative of a**2/2 + 5*a - 1. Let t be j(-5). Suppose -2*v - 4*w = 4, -v + 5*w + 12 = -t*v. Solve 0 = 2*q - v for q.
1
Suppose 60 = 115*x - 111*x. Let l(r) = -r. Let v be l(-2). Solve -y = v*y + x for y.
-5
Suppose -29 = -8*z - 5. Solve f + 5 = z for f.
-2
Let x(f) = f**2 - 10*f + 2. Let b be x(10). Let j(t) = -3*t**3 + t**2 + 2*t + 1. Let d be j(-1). Solve 0 = b*c - c + d for c.
-3
Let k = -2 - -2. Let g be k*((-2)/4 + 1). Solve 5*j + 0*j = g for j.
0
Let o = 4 + -1. Let j be (-134)/(-10) + (-2)/5 - -2. Let v be -2 - (j/(-3) - o). Solve v*k + 25 = k for k.
-5
Suppose 10*c - 5*c = 0. Solve -3*j + 3 = -c for j.
1
Let c be (-2)/18*6*3/(-2). Solve -c = -w + 2 for w.
3
Suppose -4*d - 20 = -8*d. Suppose 2 = 5*w + 2*p, -2*w + w - 5 = -d*p. Solve a + 5 = -w*a for a.
-5
Let j(t) = -2*t**2 - t. Let z be j(-1). Let b be (8 + 0)/((-2)/z). Suppose 5*l = b*f - 6*f + 8, -f + 4*l = -17. Solve 0 = -5*g - 1 - f for g.
-2
Suppose 0 = -4*d - 3*p + 37, -4 = -2*p + 2. Let o = d + -4. Let b be ((-12)/(-9))/(2/o). Solve -2*j + b = -4 for j.
3
Let j be 2/2*2 - -5. Let o = j + 2. Solve 3*f = -0*f + o for f.
3
Suppose -4 = s - k, -6 = k + 2*k. Let x = s + 12. Solve x*g + 5 = g for g.
-1
Let j be (-2 + 1)/((-1)/1). Let k be -14 + -2*(0 + 1). Let g = -9 - k. Solve j = 2*i - g for i.
4
Let d(t) = 4*t - 3. Let r be d(2). Suppose -23 = r*n - 8. Let q = -3 - n. Solve q = m + m for m.
0
Let x(o) = o**2 + 7*o + 4. Let r be x(-5). Let n be (r/(-4))/((-24)/(-32)). Suppose 0 = p - n*p + 4, 2*p = 2*m + 8. Solve m = g + g + 6 for g.
-3
Let w(n) be the first derivative of -n**4/2 - 13*n**3/3 + 7*n**2/2 + 7*n + 3. Let s be w(-7). Solve 0 = -3*r + s + 8 for r.
5
Suppose 0 = 2*z - 0*z + 14. Let r = -27 - -16. Let s = z - r. Solve 2*o - s = o for o.
4
Suppose -3*q + 24 = -q. Let l be -2*(-3)/q*6. Suppose -l*a - 5*g + 36 = -9, 3*a - 4*g - 18 = 0. Solve 0 = -4*n + 6 + a for n.
4
Let j be (-1 - -1)*(19 + -20) + 9. Solve -j = g - 4*g for g.
3
Let f(i) = -2*i**3 - 3*i**2. Let a be f(-2). Suppose 8 = a*n - 20. Solve 20 = 2*j - n*j for j.
-4
Let v(s) = 4*s + 1 + 1 + 1. Let g be v(3). Solve 4*p + p = g for p.
3
Let t(k) = -k**2 + 11*k - 7. Let j be t(10). Let z(o) = 3*o + o**3 - 6 - o**2 - 2*o**3 + 3. Let x be z(-3). Solve j*s = s + x for s.
3
Suppose 0*g = -5*o - 2*g, 7 = -4*o - 3*g. Let t = 6 - o. Solve t*j - 2 = -10 for j.
-2
Let x(u) = -u**3 - u**2 - 2. Let j be x(-2). Solve -j*p + p = 3 for p.
-3
Let v(x) = -5*x + 12. Let n be v(2). Solve 0 = -2*k - n*k - 8 for k.
-2
Suppose -3*y - 7 - 2 = 0. Let i be (0/(-2))/(y/3). Suppose -3*b + 8 = b. Solve -b*u + 6 = -i*u for u.
3
Let f be 12/4 + (0 - 5). Let u = 0 - f. Solve -4*n + 2 = -u for n.
1
Suppose 18*g = 20*g - 10. Solve 7 = 3*l - g for l.
4
Suppose 4*a - 2*a = 6. Suppose 4*s - 8 = 0, -2*s - 26 = 4*x - 9*x. Solve 3 = x*i - a*i for i.
1
Suppose -48 = -7*a + 36. Solve 2*c - 6*c + a = 0 for c.
3
Let d be (-4)/(-10) - 5/((-25)/48). Solve d = r - 3*r for r.
-5
Let y(h) = h**2 - 11*h + 14. Suppose -2*t + 27 = t. Let g = 1 + t. Let s be y(g). Solve -3*x = -s - 2 for x.
2
Let x(p) = p**3 - 5*p**2 - 6*p + 4. Let g be x(6). Suppose g*h - 43 = -3*l + 5*h, -4*h = -20. Let q = 24 + -22. Solve -6*d + l = -q*d for d.
4
Let l(f) = 2*f + 3 + f**3 + f**2 + 2*f - 4*f. Let q be l(0). Solve -8 = q*w + w for w.
-2
Let z be 0/((-4)/(4/(-3))). Suppose 0 = 5*g + c - 19 - 1, 2*c = z. Solve -10 = -g*j - 2 for j.
2
Suppose s - 2*t = -14, 0 = -3*s + 4*t + 19 - 55. Let i be 32/4*(-10)/s. Suppose 3*h = 2*y - 10, -2*h + 6*h - 2*y = -i. Solve h = -5*b + 4*b + 2 for b.
2
Suppose 0 = -3*v + 3*x + 32 - 5, 4*x = -5*v. Let l(o) = -v*o**2 + 4 + o**2 - o**2 + o**3 + 0*o**2. Let f be l(4). Solve -f = 2*q + 2 for q.
-3
Suppose 3*a + u - 2 = 0, -4*a - u = 3*u - 8. Solve a = -3*x - 2 + 5 for x.
1
Let p be (-123)/117*-3 - (-6)/(-39). Solve -13 = -2*h - p for h.
5
Let x = -2 + 2. Let n be 3 + 0/(-1 - -2). Solve x = n*s - 8*s + 20 for s.
4
Let x = 0 - 0. Suppose 17 + 1 = 3*z + 3*u, -18 = -5*z - u. Suppose 3*j = 5*m + 21, 4*j - 45 = -2*m + z*m. Solve j = -3*k - x*k for k.
-4
Let a(w) be the first derivative of w**2/2 - 5*w + 4. Let h be a(7). Let y be (4/(-6))/(h/(-9)). Solve -y*z + 6*z = 0 for z.
0
Let v be (-2)/(-6) - (-32)/3. Let r = -3 + v. Solve 0*f + 2*f = r for f.
4
Let y(r) = -r**2 + 8*r + 6. Let i be y(8). Solve 14 + i = -5*p for p.
-4
Let k be ((-1)/2)/(2/(-16)). Let z = k - 1. Solve t + 0 - z = 0 for t.
3
Suppose 49*t - 42*t = 112. Solve t = 2*j + 2*j for j.
4
Let h be (5/(-4))/(1/(-4)). Let p = -29 - -44. Let d be ((-16)/(-6))/(h/p). Solve 2*g + 2*g + d = 0 for g.
-2
Let x = 0 - -1. Suppose g - 2*w - 3 = 0, g - 6*g = -3*w - 8. Let m = 2 + g. Solve r + m = x for r.
-2
Let d = 75 - 73. Solve 0 = -d*r - 0*r + 4 for r.
2
Let j(d) = d + 15. Let i be j(7). Let v = i - 21. Solve v - 6 = -a for a.
5
Suppose 0 = k + 1, -2*g - k - 7 = 8. Let z = -6 - g. Solve -4*p + z - 5 = 0 for p.
-1
Suppose 4*l = -4*s + 12, 5*s = -2*l + l + 3. Let m = 3 - 3. Solve l = x - m*x for x.
3
Suppose 4*o = -3*o + 2*o. Solve o = -7*h + 6*h for h.
0
Suppose -20*k = 3*k - 23. Solve 3*a = k + 8 for a.
3
Suppose 0 = i - 3*i - t - 3, 4*i + 21 = -5*t. Let m(l) = -l**2 + 8*l - 15. Let f be m(5). Solve -2*z + 5 + i = f for z.
3
Let s(c) = -5*c. Let b be s(-5). Let l be 2 - (-1 + -5 - -2). Solve 0 = p - l*p - b for p.
-5
Let c be -3 + (6 - (-2 - 1)). Let h be 6/((-1)/2*-2). Let s = h - c. Solve -4*j + 8 = -s*j for j.
2
Let x be 6/8*-2*(-2)/1. Solve -x = -2*i - 1 for i.
1
Suppose 3*w = 7*w + 80. Let j = w + 22. Solve q = j - 0 for q.
2
Let j(n) = n**3 - 8*n**2 + 8*n - 8. Let u be j(7). Let q be -3 - 1*(-4 - u). Solve 0*m - 3*m = q for m.
0
Let x(y) = -y**3 - 5*y**2 - 2*y. Let n be x(-5). Solve -v - n = -6*v for v.
2
Suppose -5*k = -20 - 0. Solve r + 5 - k = 0 for r.
-1
Let c(f) = -4*f - 5*f - 1 - 15*f + 3*f. Let y(l) = l**2 - 4*l - 1. Let t be y(4). Let u be c(t). Solve -4*k + u = 4 for k.
4
Let q be (0 - 0 - 16)/(-1). Suppose -z + 5 = -y, -5*z + q = -4*y - 8. Solve t = z*t for t.
0
Let q be (-138)/(-15) + 4/5. Solve 0 = -v + 3*v - q for v.
5
Let o be (0 + -8 + 2)/(-2). Suppose p = k + 6 - 4, -2*k = -4*p + 8. Solve -o = 5*c + p for c.
-1
Let t(b) = -b**2 + b + 3. Let i be t(3). Let o be 60/18 - (-1)/i. Solve 8 + 1 = -o*j for j.
-3
Let m be -1*(4/(-1) + 2). Suppose -m*c + 5*c + 5*j = 31, -2*c = 3*j - 20. Solve -c = 4*x + 13 for x.
-5
Suppose -m = -3*m + 4. Solve 0 = -4*l - m - 6 for l.
-2
Let z = 60 - 57. Solve -2*b = -z*b - 1 for b.
-1
Let d(w) = w**2 - w - 1. Let z be d(3). Suppose 5*p + z = 0, 5*r - 4 = r - 4*p. Let l be (-9)/(-15)*(6 + -1). Solve l = -u - r for u.
-5
Let b = -29 - -43. Suppose -a = 3*t + a - b, -2*t - 8 = -3*a. Solve 4*q = t*q for q.
0
Let g be 64/48*6/4. Solve 6*x = g*x - 8 for x.
-2
Let b(o) be the second derivative of -o**3/6 + o**2 + 3*o. Let x be b(2). Solve -k + 4*k = x for k.
0
Let f be 4 - (2 - 4 - -1). Solve 0*p - f = -p for p.
5
Let b(m) = -m - 2. Let w be b(-4). Suppose 0*k + w*k = 8. Suppose 2*u + 2 = -3*q, k = -5*q + 3*q - 4*u. Solve -2 + q = t for t.
-2
Suppose -o + 16 = 3*o. Solve m + o = -1 for m.
-5
Let k = 78 + -71. Solve 0 = -9*r + k*r + 4 for r.
2
Let h(z) = z**3 + 13*z**2 + 11*z - 6. Let p be h(-12). Suppose 2*i = -0*i + p. Solve -2*r = i*r - 5 for r.
1
Suppose 0 = 4*o + 3*x + 8, -7 = 2*o + 3*o + 3*x. Solve 5*v - 11 + o = 0 for v.
2
Let z = 2 + 1. Let m be 18/8 - (-4)/(-16). Let t be 3/(m/((-16)/(-6))). Solve z*a + t - 7 = 0 for a.
1
Suppose -5*f = -5*c, 2*f = -3*f + 2*c + 15. Let b = -4 + f. Let s = b - -1. Solve -11 = -3*r - s for r.
3
Let f be (-6)/(-24)*0/2. Solve f = n - 0*n for n.
0
Let t = 65 + -59. Solve -t = -n - 9 for n.
-3
Let t be (12/9)/(2/(-6)). Let s = 4 - -5. Let g = t + s. Solve -4*f - 3 = g for f.
-2
Suppose 5 = 3*t - 4. Solve t*l = -l for l.
0
Let g(c) = -2*c**3 - c - 1. Let r(j) = j**3 - 5*j**2 - j + 4. Let n be r(5). Let m be g(n). Suppose -6*o + m*o = 0. Solve o*b - 3 = -3*b for b.
1
Suppose -4*i + 16 = 2*k, -5*i - 2*k = -0*k - 20. Suppose 0 = i*f - f - 6. Suppose -f*q = 5*m + 19, 6 - 1 = 5*q + 2*m. Solve 