= -v + 2. Let z be x(-2). Let b(c) = 2*c + 7. Let p be b(9). Solve z*r = -r - p for r.
-5
Let z(d) = -d**3 + 4*d**2 + d - 1. Let c be z(4). Let h = 6 - -10. Solve h = c*j + j for j.
4
Let u be 2/(6 - 4) + -1. Solve u = -4*o - 6 + 2 for o.
-1
Let d(k) = k + 12. Let f be d(-9). Solve o = -f - 0 for o.
-3
Suppose d = 6*d - 10. Suppose 3*c = 6*c - 3*o - 18, -2*c + 5*o + 27 = 0. Suppose -c + 7 = d*i. Solve -8 = i*j + 7 for j.
-5
Suppose 5*n - 36 = 2*m, 0*n = -4*m - 5*n - 12. Let q(l) be the second derivative of l**4/12 + 7*l**3/6 - 2*l. Let h be q(m). Solve -s - 3*s = h for s.
-2
Suppose -u + 0*u - 5*m = -17, -4*u + 20 = 4*m. Solve -x + u = 6 for x.
-4
Suppose 2*b = -3*r + 8, b + 2*b = 3*r - 3. Let j = b + 2. Solve 6*s - j*s = -6 for s.
-2
Suppose 6 = -2*a, -3*a - 19 = -2*w - 0*w. Solve w*u - 6 = 9 for u.
3
Let o(z) = z**3 + 6*z**2 - 9*z - 10. Let q be o(-7). Let d be 2/7 - q/14. Solve d = -p - 4 for p.
-4
Let f = 0 + 4. Let h(z) = -z**2 + 4*z - 3. Let k be h(f). Let i be 2/k - (-8)/12. Solve 5*x + 2 - 7 = i for x.
1
Let b be -6*(-1)/15 - 56/(-10). Solve 0 = b*r - 3*r + 9 for r.
-3
Suppose -s - 25 = -27. Solve 2*w - 10 + s = 0 for w.
4
Let p = 97 - 96. Solve -p = -2*u + 3 for u.
2
Let p be 5*(-1 + 3 + -1). Solve 4*y = 3 + p for y.
2
Suppose 2*c + 3*d - 3 = -19, -c - 9 = 2*d. Let v = c + 6. Suppose -2*a + 3 = -v. Solve -16 = 6*o - a*o for o.
-4
Let b = -2 - -4. Suppose -1 = -b*d + 6*p - 3*p, -2*p = -3*d - 6. Let r be 1/d - (-9)/4. Solve 1 = -m + r*m for m.
1
Suppose -2*y - 10 = 0, 2*h = 4*y + 6 + 12. Let x be h/(-2) - 9/(-2). Suppose 2*w - 16 = -2*w. Solve -o = -x*o - w for o.
-1
Suppose -20 = -4*h - 4. Solve -m + 1 = h for m.
-3
Suppose q + 6*q = 5*q. Solve 2*i - i = q for i.
0
Let a be (-5)/25 - 46/(-5). Suppose -5 = -n - 1. Solve -n*g + 1 = a for g.
-2
Let l(z) = -z**2 + 11*z + 3. Let i be l(11). Solve i*a = -a - 4 for a.
-1
Suppose 0 = 2*j - 2*f - 4, j - 19 - 13 = -5*f. Solve 3*b + 2 + j = 0 for b.
-3
Let l = 41 + -32. Solve 4*v + l + 11 = 0 for v.
-5
Let y be (-2)/(4/10*-1). Let o = 4 - 2. Let v = 2 - o. Solve v = -3*t - y - 4 for t.
-3
Suppose 2*s - 20 = -2*s. Solve 25 - 5 = s*l for l.
4
Let s(k) = -k**2 - 2*k - 1. Let l be s(-2). Let p be ((-3)/(9/6))/l. Suppose -p*x + 3*n = -n + 12, -5*x + 2*n - 6 = 0. Solve x*r = r for r.
0
Let w(f) = -f**2 - 16*f + 10. Let o be w(-16). Solve 4*i = -2 - o for i.
-3
Let t = 14 + 9. Suppose -2*o - 5*i + 5 = 4, 5*i + t = o. Solve -3*a = -o*a + 20 for a.
4
Let x be 9/(-27)*90/(-2). Solve u + 2*u = x for u.
5
Suppose -6*u - v + 1 = -11*u, 3*u + 3*v + 15 = 0. Let m be 4/10*u*-5. Solve 0 = -m*s - 7 - 1 for s.
-4
Let a(b) = -b**2 - 6*b - 2. Let i be a(-5). Suppose -10 = -4*q + i*q. Suppose 3*r = 4*r - q. Solve -y = -3*y + r for y.
5
Let v(y) = 16*y**2 - 1. Let j be v(1). Suppose 5*q = -0*q + j. Solve -2*z = -z + q for z.
-3
Suppose -5*h + 2*l + 0*l = -135, -3*l + 35 = 2*h. Solve 4*q + q = -h for q.
-5
Let q(x) = -x + 1. Let n be q(-3). Suppose n*o - 2*o + 4*w = 12, 2*w - 12 = -4*o. Solve 0*j - o = -j for j.
2
Let p = -3 + 7. Solve -p*q = -8*q - 8 for q.
-2
Let v be (6/(-4))/(1/(-6)). Let b = 7 - 3. Let i = b - 1. Solve v = i*s - 0*s for s.
3
Let s(d) = d**3 + 14*d**2 - d - 14. Let l be s(-14). Solve l = -5*y - 11 + 1 for y.
-2
Let f be 3/(-6)*(-24)/3. Solve -q + f = -0*q for q.
4
Suppose 7*g = -12*g + 18*g. Solve -3 = -g*t - t for t.
3
Suppose 2*y - y = -5*l - 483, y - 285 = 3*l. Let w be 1/(4/l*-3). Solve -5*x - w - 2 = 0 for x.
-2
Suppose -3*j + 8 = 26. Let t(y) = -y - 6. Let k be t(j). Solve 2*s + k*s = -8 for s.
-4
Let w be ((-16)/(-10))/(3*(-12)/(-90)). Solve 0 = -4*b + 8 - w for b.
1
Suppose 0 = 2*g - 4*l - 22, -3*g + 2*g + 23 = -5*l. Suppose -2*d - 3*d = 0. Suppose 0 = -d*b - g*b. Solve b = -q - q for q.
0
Suppose 4*p + 1 = 3*x, -7*p = -2*p - 5*x + 5. Solve p = 3*j + 11 for j.
-3
Suppose 2 = 3*j - j. Let g be (2 - 3)/j*-6. Solve 2*b = g*b for b.
0
Let g(p) = p + 17. Let l be g(-15). Solve 3*h + l = -4 for h.
-2
Let v(o) = 3*o**2 + 4*o + o - 3 + o - o**3. Let s be v(4). Solve -3*t = 4 + s for t.
-3
Let w be 21/49 - (-6)/(-14). Solve w = -4*r - 3 - 9 for r.
-3
Let w = 4 - 2. Suppose c + 2 + w = 0. Let i be ((-10)/c)/((-2)/(-4)). Solve 0 = -i*l + 28 - 8 for l.
4
Let j(s) be the first derivative of s**2 - 18*s - 2. Let u = 10 - -2. Let b be j(u). Solve 3*f = b*f - 6 for f.
2
Let y(d) = d**3 - 2*d**2 + 4*d - 2. Let c be 2/4*0/(-4). Suppose -5*g + 8*g - 6 = c. Let o be y(g). Solve 0 = -f - o + 1 for f.
-5
Let h(f) = -f**2 - 7*f + 10. Let b be h(-7). Solve -5 = 5*t + b for t.
-3
Suppose -4 = -l + o, -l + 2*l + 3*o = 0. Let m = -17 - -20. Solve 3*x + l = -m for x.
-2
Suppose 3*g + 2*i - 2 = 0, 6*g - 5*i - 16 = 3*g. Solve -g - 8 = 5*v for v.
-2
Suppose -3*j - 2*j = 0. Suppose -4*s - 13 + 1 = j. Let g(w) = w**2 + w - 3. Let f be g(s). Solve -2*v - 1 = -f*v for v.
1
Suppose -s + 5*o + 5 = 0, s + 3*o + 11 = 2*s. Suppose 5 = -3*q + s. Suppose -q*w + 18 = -5*a + 58, a + 22 = -5*w. Solve a - 7 = -m for m.
4
Let g(k) be the third derivative of 0*k - 4/3*k**3 + 0 - 2*k**2 - 1/24*k**4. Let f be g(-8). Solve 0*x + 2*x - 6 = f for x.
3
Let p(n) = 3*n**2 - 1. Let l be p(1). Suppose 0 = -2*q - l*q + 12. Let u = 3 - q. Solve -3*b + 0*b - 3 = u for b.
-1
Let r = 2 - -1. Suppose 4*q = -5*z + 21, z + 12 = 4*q - r. Solve 4*d + q = -0*d for d.
-1
Let l be 3/(-5) - 21/(-35). Solve l = -4*j + 4 + 12 for j.
4
Suppose 2*u = 7*u - r - 74, 4*r - 4 = 0. Suppose 2*y = 5*y - u. Solve y*h + 5 = 6*h for h.
5
Suppose 8*a - 10*a + 8 = 0. Solve -4 = -a*l - 12 for l.
-2
Let i(d) = -3*d - 9. Let c be i(-8). Let m(t) = -4*t + 4. Let v(w) = 5*w - 5. Let o(p) = 6*m(p) + 5*v(p). Let q be o(5). Solve -j = q*j - c for j.
3
Let b = -1 - -3. Let p be 8/3 + b/6. Let l be 0/((-1)/((-1)/1)). Solve a = -l*a - p for a.
-3
Let o be -1 - (-3 - (-4 - -5)). Solve -4*v + o = -1 for v.
1
Suppose 5*m - 20 = -3*b + 8, -2*m = -10. Let q be b - 9/(1/(-1)). Let f be 1*(q + 4/(-2)). Solve 0 = -3*u + 7*u + f for u.
-2
Let t(y) be the second derivative of y**4/12 - y**3/6 + 4*y. Let q be t(4). Solve 0 = 4*f + q for f.
-3
Let k be 2/(-6) + 1 - (-126)/54. Solve 6*a - k*a = -6 for a.
-2
Suppose 2*m = -2*m. Let d = 51 + -49. Solve m = -4*f + d - 6 for f.
-1
Let j = -74 - -76. Solve c + j = 2*c for c.
2
Let t be ((-6)/5)/((-6)/15). Let p = t + 7. Suppose 2*m = -3*m + p. Solve 2*i - m = 8 for i.
5
Let z be 3/(-1) - 20/(-5). Suppose 0 = r - 6*r. Solve g + r = -z for g.
-1
Let u(z) = z + 5. Let s = 2 - 5. Let k be u(s). Solve 3*p = -k*p + 10 for p.
2
Let w = 3 - -1. Suppose -w*x + 25 = x, -4*n + 2*x + 6 = 0. Suppose 7 = m - 2*j, -4*m - 5*j + 11 = -n. Solve -25 + 5 = -m*l for l.
4
Let g(t) = -3*t. Let f be g(-5). Let y be (-52)/(-5) + (-6)/f. Solve -m - y = 4*m for m.
-2
Let m be -3*(-1)/6*4. Solve m - 3 = f for f.
-1
Let t be -1 + -3 + (2 - -2). Let n be 2/(-5) - (-44)/10. Let j be 2/((n/5)/2). Solve -2*g + 5 + j = t for g.
5
Let f(w) = w**3 + 6*w**2 + 8*w - 7. Let p(u) = -u**3 - 5*u**2 - 8*u + 8. Let n(t) = -4*f(t) - 3*p(t). Let l be n(-8). Solve -l + 14 = -2*r for r.
-5
Let g(v) = -v**2 + 4*v + 1. Let w be g(3). Suppose -l - 9 = w*p, 3*p + 3 = -l - 1. Let f = l - -5. Solve -f = r - 5*r for r.
4
Let b = -6 - -9. Solve b*v + 1 = -2 for v.
-1
Let s(a) = -a**3 + 2*a**2 + 2*a + 3. Let h be s(-2). Let l(g) = -g**3 + 16*g**2 - 15*g + 4. Let f be l(h). Solve 0 = v - 3*v - f for v.
-2
Suppose 5*m - 3*v + v + 4 = 0, 2 = 5*m + v. Let b be -1 - -1 - (-1 - 1). Solve m*z = b*z + 4 for z.
-2
Let u be (-20)/(-2 - 2) + -2. Solve -u = -5*g - 18 for g.
-3
Suppose 9 + 8 = o. Suppose o = 4*k + 5*x, -2*k - 3*k + 10 = -5*x. Solve 0 = -u - 0 + k for u.
3
Let n be 2 + 2 - (1 + 1). Let t = n - -1. Solve 17 - 5 = -t*m for m.
-4
Let f(r) = r**3 - 13*r**2 + 13*r - 10. Let o be f(12). Solve 0 = -3*c + o*c for c.
0
Let i be -1 - (-1 - 7 - 1). Suppose -5*w + w - i = 0, 6 = 2*f + w. Let o be (-2)/8 + 17/f. Solve -p = 3*p + o for p.
-1
Let n = 149 - 147. Solve 0 = t + n*t for t.
0
Suppose -2*b - 26 = -5*r - 7, 5*b - 40 = -5*r. Let k = -2 - 0. Let m = r + k. Solve -m*d + 2 = -4 for d.
2
Let q = -9 - -15. Let o(p) = -p**3 + 7*p**2 - 5*p - 6. Let k be o(q). Solve k = -m + 3*m - 10 for m.
5
Let d = -70 - -83. Solve -d + 1 = 4*f for f.
-3
Suppose 0 = 2*n - n - 2*p - 3, -2*n + 3*p + 6 = 0. Suppose -w + 4*w - n = 0. So