2 + 3. Let t be o(0). Suppose 3*y - t - 9 = 0. Suppose 2*h = h. Solve 2*u - 10 = h, -5*u = -y*r - 36 + 11 for r.
0
Let b(q) = -q**3 - 2*q**2 + q - 1. Let d be b(-3). Solve -n - 1 = 4*w + d, 5*w - 1 = 3*n for w.
-1
Let c(z) = -z**3 - 5*z**2 - 5*z + 2. Let b be c(-4). Let t be ((-5)/3)/((-2)/b). Let h be 4/3 - (-9)/(-27). Solve -4*u - t*j = -h + 13, 5*j - 3 = u for u.
-3
Suppose 30 = 4*h + 2*s, s + 4*s = -3*h + 40. Solve -b + 6*b - 4 = 2*r, -5*b = -5*r + h for b.
2
Suppose 7*k + 8 = 9*k. Solve 3*s = -0*s - k*u + 19, -3*u + 13 = 2*s for s.
5
Suppose 0 = 7*z - 2*z - 10. Solve -3*o - 5*q = 15, o + z*q - 10 = 3*o for o.
-5
Suppose -4*f = -f - 51. Solve -3*w = -2*g + f, 0*w - 5*w - 5*g + 5 = 0 for w.
-3
Let a(g) = -14*g + 24*g - 11*g. Let i be a(0). Solve 3*z - 2*p - 5 = i, -22 = -2*z - 3*p + 3 for z.
5
Suppose -3*g + 7 + 8 = 0. Solve 35 = -3*w + 8*w - 4*j, 0 = g*w + j - 10 for w.
3
Suppose 5*v = 5*j - 165, v + 17 = j + 4*v. Solve -3*p - 4*u + j = 0, 20 = -0*u + 4*u for p.
3
Suppose -3*f = 5*h - 18, -2*f - 10 = -2*h - 6*f. Suppose -6 + h = -l. Let p(u) = -u**2 - 17*u - 39. Let q be p(-14). Solve 3*w = q*b - 18, -b + l = w - 1 for b.
5
Suppose -2*u - 3*u = -z + 13, 2*z + 5*u + 4 = 0. Solve 0 = 5*m + z*s - 1, 6*m - 5*m - 3*s - 11 = 0 for m.
2
Let p be (24/18)/((-4)/(-6)). Solve 18 = -2*j + 4*q, -8 = -4*j - p*q + 6 for j.
1
Let u be 0 + (2/6)/((-9)/(-54)). Let p(s) = s**2 + 5*s + 6. Let v be p(-4). Solve u*c - 3*q - 4 = 0, -v*c - q + 12 = -0*q for c.
5
Let x(r) = r**2 + r + 4. Let j be x(0). Let b be (-2)/5 + 160/25. Solve -5*c = 3*v + b, 24 = -4*c + j*v - 0*v for c.
-3
Let l(k) = k**3 + k**2 - 4*k - 3. Let c be l(-2). Let g = 26 - c. Solve u - 16 = 4*t - 0*u, 4*u = 3*t + g for t.
-3
Let y(s) = -4*s**3 + s**2. Let c be y(-1). Let n(v) = v - 9. Let z be n(9). Solve z = 3*m + c*a + 5, -a = 3*m + 3*a + 7 for m.
-5
Suppose -4*n = -2*b - 0*b - 34, 3*n + 5*b - 58 = 0. Solve -3*t = 5*i - 8 + 42, 0 = 2*t + i + n for t.
-3
Suppose 8 = -8*g + 40. Solve s + 24 = 5*o, s = -g*o - 4*s + 25 for o.
5
Let h be 777/63 - (-1)/(-3). Solve 2*z + h = 5*s - 0*z, 3*s = -2*z + 20 for s.
4
Suppose -j = 2*j - 60. Suppose -q - 3*q = -j. Solve -q*n + 4*u = -11, 7*n + 3*u = 3*n + 15 for n.
3
Let p = 46 + -30. Let r be 3*(p/3)/2. Let m = -15 + 15. Solve -2*n - r = n + 4*z, m = 5*z + 25 for n.
4
Suppose -2*y - y = 0. Let q(k) = 5*k - 4*k + y + 0. Let b be q(4). Solve b*g = 5*x + 21, -x + 4*x = -15 for g.
-1
Suppose 5*y + 0 = 3*h - 3, -5 = 2*h - y. Let r = 14 + h. Let k = 15 - r. Solve 6*d = 3*z + d + 12, 4*z = k*d - 16 for z.
-4
Let q be ((-1)/(-2))/(4/24). Solve 0 = q*y + 15, 3*y - 1 = -4*a + 4 for a.
5
Let u be (2/(-4))/(87/18 + -5). Solve 9 = -2*z - y, u*z + 3*y = -8 - 10 for z.
-3
Let i be ((-15)/(-6))/(1/2). Let d = -4 + i. Suppose h + d + 54 = 2*g, 131 = 5*g + 4*h. Solve -5*p - 5*z - 35 = 0, 2*z + g = -3*p - 3*z for p.
-4
Suppose -12*w = -7*w - 125. Solve w = -5*h + 5*c, h + 0*h - 5*c = -21 for h.
-1
Let a = 2 + 4. Let l be 1/(-3) - (-2)/a. Suppose 3*v + 25 = 5*x - 0*v, -3*x - v + 15 = l. Solve -5*o + 1 = 3*y + 23, -x*y + 5*o = 10 for y.
-4
Let v be (-2 - (1 - 2)*0) + 4. Solve 23 = -v*d + 5*f, -2 = -3*f + 7 for d.
-4
Suppose -4*h + 3 = c, -h + 5 = 2*c - 1. Solve 2*y - y + 17 = -5*o, h = -2*o - 4*y + 4 for o.
-4
Let d(f) = f**3 - 7*f**2 + 11*f + 8. Let g be d(4). Solve 3*x = 4*a, -6*a + 3*a - 25 = g*x for x.
-4
Let x = 41 - 36. Solve -3*u + 14 = -6*u + f, x*f - 6 = -u for u.
-4
Let q be (-3)/(12/(-14))*-2. Let y be (-73)/q - (-18)/(-42). Solve -2*i - 2*i = 3*r - 6, y = -5*r for i.
3
Let a(r) = r**2 - 18*r + 45. Let w be a(15). Solve -5*p = 5*v - v + 13, -5*v + 15 = w for p.
-5
Let c(d) = d**2 + 2*d + 5. Let n be c(-2). Solve -3*w - 12 = -4*a - n*w, 0 = 3*w - 6 for a.
2
Suppose -6 + 23 = 4*c - 5*v, 2 = c + v. Solve c*a = 0, -2*a - a + 10 = -5*k for k.
-2
Suppose -2*f + 31 = k, 4*k - f - 79 = -0*k. Suppose -2*w + 5 = -15. Let p = w - 5. Solve p*n = 25, k = 3*z + 4*n - 8 for z.
3
Let i(j) be the second derivative of 10*j**2 + 1/6*j**3 + 0 + 3*j + 0*j**4 - 1/20*j**5. Let x be i(0). Solve 7 = -2*v + o, 0*o = -5*v + 3*o - x for v.
-1
Let j(z) = z**3 + 3*z**2 - 5*z - 4. Let h be j(-3). Suppose -m + 2*k + 3*k = 0, -4*k = -3*m + h. Solve -6*w + 4*w + 7 = m*b, 11 = -2*w + b for w.
-4
Suppose 0 = 4*r + 4*o - 20, 2*r - 4*r - 5*o = -10. Let l = r + -2. Let s = 2 - 0. Solve 0 = -3*h - l*f + 9, h - 3 = 4*f - s*f for h.
3
Let h = 65 - 43. Solve 4*t - h = 3*q - t, t + 10 = -3*q for q.
-4
Suppose -5*x = 25, 106 = 4*m - 3*x + 31. Solve 4*i = -5*o - 12, 9*i + 2*o + m = 4*i for i.
-3
Suppose -5*d + 8 = -b, 2*b + 2 = -d + 4*d. Suppose -d*t = 3*t. Suppose h = -h, 0 = -5*v - h + 20. Solve -4 = -2*u - 2*a, -8 = -3*u - t*u - v*a for u.
0
Suppose 12 = -0*s + 2*s. Suppose 0 = 2*a + 4*u - 84, 8 - 46 = -a - u. Solve -s*x + 3*x + 4*l = -29, 5*l + a = 3*x for x.
3
Let v(f) = 36*f**3 + 2*f + 1. Let j be v(-1). Let i = -19 - j. Solve 2*h + 6 + 5 = -q, -3*h - 2*q = i for h.
-4
Let u = -5 + 0. Let m = -5 - u. Suppose -b + 5*b - 24 = 0. Solve -3*z + g - 4 = 0, m = -5*z - b*g + g for z.
-1
Let t be -1 - (-2 - 4/(-1)). Let k be (t/3 - -3) + 1. Solve -5*a = -0*q - 5*q - 20, -4*a + 16 = k*q for a.
4
Let a(g) = g**3 - 7*g**2 + 6*g + 4. Let t be a(6). Solve 5*o - 2 = t*w - 0*o, -1 = -3*w + 5*o for w.
-3
Let d(s) = s + 8. Let t be d(-6). Suppose t*x - 144 = -2*x. Let a(z) = 3*z + 1. Let g be a(1). Solve x = -g*h - 5*v, -20 = h + 2*h + 2*v for h.
-4
Suppose 2 = 2*r - 4. Let v be r + -5 + 23/1. Solve -y - 5*t = -v - 3, -y = 3*t - 16 for y.
4
Let n(m) = m**3 + 9*m**2 - 12*m - 20. Let q be n(-10). Solve q = 4*i + i + 3*w, -4*i = 4*w for i.
0
Let q = 26 - 10. Solve 2*i + q = -3*x - 4, -8 = 2*i for x.
-4
Suppose 14*q - 6 = 11*q. Suppose -s + 8 = -0*s. Suppose -x + 5*x - 16 = 0. Solve 2*c - 2*i - 18 = 0, c = -q*c - x*i - s for c.
4
Let r = -24 - -26. Suppose -4*h - 5*g + 32 = 0, 0*h + 4*g = r*h + 10. Solve 2*m + 9 = -5*i, 2*m + h*i + 2 + 1 = 0 for m.
3
Let f(l) = 2*l**2 - 4*l + 2. Let i be f(2). Solve -i*m = 0, -4*g + m - 3 = -7 for g.
1
Let p(m) = 4*m**2 - m - 1. Let t be p(-1). Let d be 0*((-3)/(-2) - 1). Solve -5*v + t*s + 5 = 0, 2*v = -d*v - 4*s + 2 for v.
1
Suppose 0 = -4*d + 28 - 20. Solve 2*z + 4*q - 14 = 0, 0 = 2*q + d*q - 4 for z.
5
Let z = 13 + -13. Solve -r + z = -v + 4, -2*r - 8 = 2*v for v.
0
Let m be (-52)/(-12) - (-10)/15. Solve 3*t - 5*x - 5 = 0, 0 = 2*t - t - 5*x - m for t.
0
Let o(s) = -s**3 + 4*s. Let v be o(-3). Suppose m + 2 = v. Suppose w + 5*t = 19, -m = -3*w + 4*t + 6. Solve 2*r + n - w = 0, 0 = -4*r - r + 4*n + 16 for r.
4
Suppose -22 - 4 = -13*q. Solve -6*b + q*b - 4*d = 4, 4*b - 3*d - 17 = 0 for b.
2
Let x be -1 - (2 - 1) - (-15)/3. Solve -j + 3*j = x*g + 22, 0 = j - 4*g - 21 for j.
5
Suppose -3*v + 15 = 5*h, -3*v + 4 = 3*h - 11. Solve -5*d = 2*i - 4 - 0, -v*d - 8 = -4*i for d.
0
Let s(v) = -v**3 - 8*v**2 - 8*v + 3. Let j be s(-7). Solve 2*l - 4*i - j = 0, -3 = -4*l + 4*i + 9 for l.
1
Let u(g) = -22*g**3 + g**2 + g + 1. Let t be u(-1). Suppose -6*o = -5*o - t. Let b = 58 - o. Solve 3*x + b = 5*z, -3*x + 8*x = -25 for z.
4
Let h be (8/10)/((-6)/(-150)). Suppose -y - y = -h. Solve p + 4*p - y = 0, 5*p = -2*b + 8 for b.
-1
Let m(w) = -7*w**2 + 6*w. Let k(q) = -q**2 + 1. Let t(f) = 6*k(f) - m(f). Let d be t(5). Solve 5 = -4*r - 5*n, r + d = -n - 0 for r.
0
Suppose 2*b = x - 12 + 1, 3*x + 39 = -3*b. Let k be (10/1)/(b/(-16)). Solve d + k = 3*j, -4*d - 5*j + 7 = 2 for d.
-5
Suppose -8*m + 23 = -17. Solve -m*g = 2*d + 2, 3*g + 5 + 5 = d for d.
4
Suppose 26*a = 25*a + 4. Solve -h = a*h + 5*c - 5, 3 = -h + 3*c for h.
0
Let q = 12 + -7. Solve -q*g + 2 = -3, -2*n + 3 = -5*g for n.
4
Let q = 164 + -152. Solve 6 = 2*p + l - 3*l, 2*p = 5*l + q for p.
1
Let i(c) = 5*c**3 - 3*c - 2. Let y be i(2). Solve y = 4*p - 4*s, 5*s + 0*s + 13 = -4*p for p.
3
Suppose 3*j + 24 = 30. Solve j*y = 3*u - 2, 0 = 5*y - 2*u - 2*u - 2 for y.
2
Let w = 8 - 5. Suppose 4*g = -w*z - 0*z + 23, 0 = -g + z - 3. Suppose -7*j = -5*a - 2*j, -3*a + g*j = -3. Solve -3*u - 2*u = -a*o + 11, 0 = -o + 2*u + 4 for o.
2
Let u(b) = b**3 + 11*b**2 - 25*b + 16. Let x be u(-13). Solve c + x*c = 0, c - 12 = 4*r for r.
-3
Let v be (-28)/(-9) - (-1)/(-9). Solve 5*p - 27 = v*w, -p = 3*w - 0*p + 9 for w.
-4
Let q(l) = -l + 6. Let b be q(7). Let v be 3 - (3 + b