 + i + 3 for v.
-3
Suppose 0 = -o - 6 + 7. Let r(j) = -j**2 + 9*j - 18. Let z be r(3). Solve v + z = o for v.
1
Let f be (-2)/(-3) - (-28)/3. Suppose 3*z - 2 + 14 = -3*l, 2*l - 1 = z. Let k be (3 + l)/(f/55). Solve -4 - k = -3*b for b.
5
Let g = -14 - -13. Let c be g + 1 - 0/2. Suppose 0 = 5*a + h - 9 - 9, a - 4*h - 12 = c. Solve 25 = l + a*l for l.
5
Suppose 134 = 4*r + h - 2*h, -3*r = 2*h - 95. Let u be (-6)/r + 4/22. Solve 0 = -u*j + 2*j - 6 for j.
3
Let i(a) = -5*a**3 - 87*a**2 + 51*a. Let k be i(-18). Solve -8*n + k = 14 for n.
5
Suppose -j = 2*n + 7, j - 11*n - 23 = -7*n. Suppose 20 = 5*t + 3*i, 0 = t - 5*i + 1 - 5. Solve t*m + j = m for m.
-1
Let s = 2081 + -2054. Solve -s = -2*i - 37 for i.
-5
Let v = 92 + -43. Let p = -49 + v. Solve 2 = 2*a - p*a for a.
1
Let n(w) = -w**3 + 5*w**2 + 24*w + 3. Let x be n(8). Solve -6*b = -x*b + 9 for b.
-3
Let v be (-6)/12*-2*0/(-2). Solve v = 6*m + 2*m + 8 for m.
-1
Let q be (9 + -1)*(-4)/(-4). Solve 6*j = j - q*j for j.
0
Suppose -m = -4*x, -39*m = -35*m - 2*x - 14. Solve 7*k - 6*k = -m for k.
-4
Suppose 3*o = b - 6, 0 = -3*b - o - 3*o + 18. Suppose 14 - b = 4*x. Solve 3*w + 5 - x = 0 for w.
-1
Suppose -4*k - 4 = 0, -8*s - 2*k = -4*s - 10. Solve -9 = -s*y + 3 for y.
4
Let z(y) = -y**2 + 3*y + 5. Let c be z(3). Solve 2*q + 1 = c for q.
2
Let b(q) = q**2 + 8*q - 6. Let h(s) = -s - 23. Let f be h(-14). Let t be b(f). Solve 15 = t*n + 2*n for n.
3
Suppose -t = -3*t. Let x(u) = -u**3 + u. Let a(h) = -5*h**3 + 5*h. Let m(q) = -a(q) + 6*x(q). Let r be m(t). Solve r*g = g for g.
0
Let a = 313 + -309. Solve 0 = 4*i - a for i.
1
Let g be (-1 - 16/4)*-1. Suppose 2*a - 11 = g. Solve -a*h + 3*h + 10 = 0 for h.
2
Let x = -33 - -49. Suppose x = d + 3*d. Solve d*r + r + 10 = 0 for r.
-2
Let r(h) = h**3 - 4*h**2 + 6*h - 6. Let w be r(4). Suppose -4*v = 5*j - 91 + 24, -31 = -2*v - 3*j. Suppose -w + v = g. Solve -g*q + 1 = -4 for q.
1
Suppose 3*a + 4*c + 3 = 0, -2*c - c = -5*a + 24. Suppose 2*i = 4*f + 21 + a, -3*f - 7 = 4*i. Solve -i*d = 2*d + 16 for d.
-4
Let o(k) be the third derivative of k**4/24 + 11*k**3/6 + 9*k**2. Let t be o(-7). Solve t = h + h for h.
2
Suppose t + 2*t = 0. Let r = 321 + -319. Solve y + r - 6 = t for y.
4
Suppose 3*q - 2*f = 2*q + 24, -5*q + f + 84 = 0. Suppose -q + 6 = -2*h. Solve -a + h*a - 16 = 0 for a.
4
Let g(h) = h**2 - 2*h + 1. Let o be g(1). Suppose -p + 2 = o, -3*p + 43 = 3*m - 11. Let q = 19 - m. Solve -3*t - q - 3 = 0 for t.
-2
Let r be (-14)/4*(-4)/14*5. Let l(p) = 2*p**3 - 10*p**2 + p - 3. Let u be l(r). Solve -u*c + 0*c = 0 for c.
0
Suppose 2*a = 14*a - 36. Let f = 0 - 6. Let b be ((-27)/6 - -2)*f. Solve 3*q = -a + b for q.
4
Suppose 5*j = 4*o - 0 - 3, 1 = 2*o - 3*j. Solve -1 = o*x + 1 for x.
-1
Suppose 8*j = 6*j. Solve j = -3*p - 2*p for p.
0
Let m(u) = -u**2 + 20*u + 302. Let v be m(-10). Solve v*o - 3*o - 1 = 0 for o.
-1
Let r be 0 - (-3)/(-1) - -13. Let n be (1 + -11)*4/r. Let x(b) = -b**3 - 5*b**2 - 7*b - 10. Let f be x(n). Solve f = 5*c - 3 for c.
1
Let k = 0 + -1. Let y be 15*5/(-15)*(k + -4). Solve 6*a - y = a for a.
5
Suppose 8*z - 4*z = 60. Let i(p) = -2*p**2 + 21*p + 17. Let r be i(11). Solve c = r*c + z for c.
-3
Suppose 0 = 2*p + 2*p - 16. Let w = -252 - -257. Solve p = -w*a + a for a.
-1
Let d(j) = 2*j**2 + 3*j - 3. Let c be d(-3). Let a be (-20)/(-15) + (-2)/c. Let i be (2 - a)*2/1. Solve 0 = -i*y - 5 - 3 for y.
-4
Suppose 2*w + 3*d - 13 = 0, -5*w = -5*d + 2 + 3. Solve c = -w*c for c.
0
Let w = -87 + 90. Solve -s + 0 + w = 0 for s.
3
Let b be 12/(-1) - (-969)/57. Let f = 0 + 0. Solve -b*n + 27 - 2 = f for n.
5
Let a be 88/(-10)*(-15)/6. Suppose 2 = -4*p + a. Solve z = p*z for z.
0
Let k(x) = 5*x**2 + x - 2. Let v = -6 + 14. Let t = v + -6. Let l be k(t). Solve 3*i = -i + l for i.
5
Let w(h) = -h**2 + 10*h - 1. Let a be w(8). Let m = -10 + a. Solve 0 = m*r - 4*r + 1 for r.
-1
Let a(b) be the second derivative of -3*b**5/10 + b**4/12 + b**3/6 + b**2/2 + 9*b. Let h be a(-1). Solve -h*t + 3*t = 0 for t.
0
Let s be -1 + (5 - 3) + 1. Suppose 5*o = z - 3, -3*o - 3 = -z - s*o. Suppose 3*u + z = f + 7, u = f. Solve -a + 9 = f*a for a.
3
Let v(s) = -s**3 - 7*s**2 + 9*s + 5. Let g be v(-8). Let a be (g + (-45)/(-12))*4. Suppose 0 = 4*y - a*z - 7, -z = -y - 2*z. Solve i = y - 6 for i.
-5
Suppose 3*p - 2 = -5*u + 105, u = 2*p + 11. Solve -3 = -4*t - u for t.
-4
Let u = -801 - -826. Solve 4*c = -45 + u for c.
-5
Let r(a) = -a**2 + 23*a + 573. Let p be r(-15). Solve w = p*w + 5*w for w.
0
Let c(v) = 2*v + 18. Let q be c(-22). Let a = q + 29. Solve -a*y = -9 - 0 for y.
3
Suppose 3*q = -o - 1, -5*o + 2*q = 3*q - 9. Solve -4*s - o = 2 for s.
-1
Suppose -3*f = -14 + 5. Suppose 0 = -5*m + 5*a + 145, 3*a + 35 = -11*m + 12*m. Suppose m*d + 2 = 27*d. Solve c - d = f*c for c.
-1
Suppose -10*a = -59 - 141. Solve -24*h + a*h = 0 for h.
0
Let o = 13 + -11. Suppose o*r - 4 = 40. Let k = r - 18. Solve -k*d = -0*d + 8 for d.
-2
Suppose 0 = -11*v + 7*v + 8. Suppose -10 = -v*f - 3*u + 7, 0 = -f + 2*u - 2. Suppose 0 = f*m - 3*m - 6. Solve -h - 2 = -m for h.
4
Suppose 10*i + 18 = 128. Solve -i*r + 15*r = 0 for r.
0
Suppose 0*j + 58 = j - 2*w, -4*j + 297 = 5*w. Let a = -55 + j. Solve 5 - a = -2*n for n.
4
Let r(z) = -6*z - 194. Let d be r(-33). Solve -5*p - 36 = d*p for p.
-4
Let z = 35 - 30. Suppose 8*q - s - 5 = z*q, -3*q + 5*s + 1 = 0. Solve q*b - 25 = -3*b for b.
5
Let z = 5 + -2. Suppose -6 = 2*c + 5*b, -3*c + 5 + 3 = -b. Suppose -3*k + 24 = -0*k + c*w, 3 = 2*k - 3*w. Solve -k = -z*l - 0 for l.
2
Let g(j) = -j**3 - 18*j**2 - 17*j + 2. Let d = 12 - 29. Let y be g(d). Suppose 9*a - 4*a + 4*m = 8, -m + y = -a. Solve 0*n - 2*n = a for n.
0
Suppose 2*k + 1 = 5*w, -4*k = 5*w - 0*w - 13. Let m(l) = -l - 1. Let h be m(-3). Let p = h + -2. Solve o + p*o = w for o.
1
Suppose 4*u = -2*c + 20, -2*u + 4 = -2*c + 2*u. Let x be (5/c)/(8/32). Solve y - 20 = x*y for y.
-5
Let o = 20 + -11. Let m = 363 + -360. Solve -m*u - o = -0*u for u.
-3
Let u(z) = -4*z - 18. Let o be u(-7). Let i be (-15)/o - 11/(-2). Solve 0 = i*q - 8*q + 4 for q.
1
Suppose 6*c = 3*c - 3*w - 42, 0 = c + 3*w + 24. Let d = c + 13. Solve 2*p + d = -2 for p.
-3
Let i(z) = -z**2 - 19*z - 9. Let a(y) = -y. Let m(w) = -4*a(w) + i(w). Let u be m(-14). Suppose -u*g = -4*g. Solve 4*d - 3 - 5 = g for d.
2
Let p(n) = n**3 - 5*n**2 - n - 3. Let u be p(5). Let i be 0/(-3 - (u - -2)). Suppose i = -4*d - d. Solve 2*g + 0*g = d for g.
0
Let q = -341 - -342. Solve -s = q + 1 for s.
-2
Let a be (1 - 2)*(-4 - -5)*-2. Solve -a = y - 3 for y.
1
Suppose -2*m = -9 + 3. Suppose k - 14 - 19 = -2*y, 5*y - k - 93 = 0. Solve -3*w - y = -m for w.
-5
Let c = -115 - -118. Solve 12*h - 9*h = -c for h.
-1
Suppose -2*s - 20 = -7*s, 2*q - 14 = 2*s. Suppose -q*m + 8 = -7*m. Solve m*y + 7 + 3 = 0 for y.
-5
Let q(c) be the third derivative of c**5/60 + c**4/6 - c**3 + 2*c**2. Let d be q(-5). Let v(p) = 2*p**2 - p. Let x be v(d). Solve 2*h - x*h - 5 = 0 for h.
-5
Suppose -b - 5 = -4*g + 11, g - 4 = 2*b. Solve 0 = -b*y - y for y.
0
Suppose 4*w - 16 + 0 = 0. Suppose -2*q - 3*q - 33 = -2*u, 21 = w*u + 5*q. Let j be 8/(-12)*u/(-2). Solve -j*r + 16 = r for r.
4
Suppose 11 + 13 = 6*s. Solve s = 6*j - 7*j for j.
-4
Let c = -1341 + 1345. Solve o = -c*o for o.
0
Suppose 3*d + 5 = 14. Suppose -14 = d*s - 4*c, 0 = -4*c - 2 + 22. Suppose -s*m = -3*m + 4. Solve m*y + 7 + 5 = 0 for y.
-3
Let o(m) = 16*m**2 + 2*m - 1. Let u be o(1). Suppose 0 = -6*k + u + 1. Solve 0 = k*t + 10 + 2 for t.
-4
Let l be 0 + 8/(-8) - -3. Solve -l*w + 5 = -3*w for w.
-5
Let f(a) = 2*a**2 + a + 2. Let g be f(-2). Suppose -2*n + 12 - g = 0. Let o be (6 - 1)*1/1. Solve -w = -n*w - o for w.
-5
Suppose -9*w + 26 = 4*w. Solve -b - w*b = 6 for b.
-2
Suppose 5*k = -l + 103, 4*k + 52 = 6*k - 5*l. Solve -k = 8*p - p for p.
-3
Let b(m) be the third derivative of m**4/6 + m**3/6 - 13*m**2. Let l be b(0). Solve -h - l = -0 for h.
-1
Let t(l) = -l**3 - 3*l**2 + 5*l + 4. Suppose 7 = 5*d - 3. Suppose 4 - 2 = -2*j + 2*a, -d*a = 3*j + 18. Let x be t(j). Solve -3*s + 0 - 6 = x for s.
-2
Suppose 5*b = 8 + 2. Suppose 35 + 15 = b*r. Let x be (-15)/r + 166/10. Solve -2*h - 6 + x = 0 for h.
5
Let g be (-1)/3 + (-64)/(-12). Suppose -3*z + 31 = -g. Suppose -4*y + 5*n - z = n, 0 = 5*y - 3*n + 5. Solve 0 = y*t - 4*t + 4 for t.
2
Let v(z) 