 b**2 + 1. Let o(r) = -8*r**3 - 2*r**2 - 2. Let z(u) = -2*f(u) - o(u). Let a be z(1). Solve -2 = 2*x - a for x.
4
Let r be (1 + (-2)/(-2))*1. Suppose 0*c = 3*c + 3. Let x = c + r. Solve 2*o + x = 3*o for o.
1
Let g(f) = -2*f - 3. Let m be g(-4). Let z(j) = -j**3 - 2*j**2 + 3. Let w be z(-4). Suppose m*x + w = 5*p, -2*p - x = 2*x + 6. Solve p*v - 11 = 1 for v.
4
Suppose -3*y + 5 = 2*f - 28, -5*f - 2*y + 55 = 0. Suppose -8*u - 5 = -f*u. Solve -u*r - 7 + 2 = 0 for r.
-1
Let s(w) = -w**2 + w + 2. Let u be s(2). Suppose -3*k + 51 + 13 = -5*i, 2*k = -4*i + 6. Let z = k + -3. Solve u = -0*g - 2*g + z for g.
5
Let d(x) = 103*x + 1. Let q be d(1). Suppose -2*l - 3*l = 2*y - 45, 5*y - q = -4*l. Solve w + 4*w = -y for w.
-4
Let b = 7 - 4. Suppose -4*r = -3*r - 25. Suppose -r = 2*m + m + 5*h, 0 = 4*m + h + 5. Solve -4*l + b*l + 5 = m for l.
5
Let l be 664/40 + (-3)/5. Suppose -m - l = -5*m. Solve 15 = -9*c + m*c for c.
-3
Let m(h) = 8*h - 5. Let f(o) = 7*o - 4. Let q = 7 - 0. Let k(j) = q*f(j) - 6*m(j). Let b be k(-2). Solve -8*x + 4*x + 4 = b for x.
1
Let v(n) = -n**2 + 6. Let b be -1*0/(-5 + 2). Let o be v(b). Let z be 3/o*0 - -2. Solve -u + 5 = z for u.
3
Suppose -q + 3 = 0, z = -z - 2*q + 18. Let v = 6 - z. Suppose 2*s + 3*x - 16 = 0, 4*s - s + 5*x - 26 = 0. Solve v = -5*j + s*j + 6 for j.
2
Let r = 3 + 3. Let l(x) = -x**2 + 9*x - 3. Let w be l(r). Let j be (5*(2 - 3))/(-1). Solve j*c + w = -5 for c.
-4
Let j = 0 - -1. Let i be (j/(-3))/(1/(-9)). Suppose -i*u = -3 - 3. Solve b + u = 1 for b.
-1
Suppose 3*w - 2 = 10. Suppose -3*n = -0*n. Solve -w*h + n = 8 for h.
-2
Let t = -2 + 6. Suppose -j + 1 = 0, 0 = t*k - 0*k + 3*j - 59. Solve 4*u + k = -6 for u.
-5
Let o(v) = 11*v + 5. Let u be o(5). Suppose 2*y = 3*y. Suppose y = -a - 3*i + 8, 0*a + 2*a - 5*i = u. Solve p - a = 6*p for p.
-4
Suppose 3*r + o = 5*r - 18, 0 = r + 2*o - 14. Solve -4*m + 2*m - r = 0 for m.
-5
Let f be 32/7 - (-8)/(-14). Solve -f*h = -h for h.
0
Suppose 0 = 4*v - 4*y - 4, -5*v + 2*y = y - 9. Suppose 0*q + 29 = q. Suppose -h + 2*x = -19, -4*h + q = -5*x - 59. Solve 5*r = h - v for r.
5
Let g = -6 - -8. Solve g*r + 0*r = -6 for r.
-3
Let v = 75 + -69. Solve j - 15 = v*j for j.
-3
Let l = 3 - -4. Let v be (4/(-7))/((-2)/l). Solve 1 = -v*p - 3 for p.
-2
Suppose 7*v - 5 = 2*v. Let r(b) = 10*b**3 - b**2 + 2*b - 1. Let m be r(v). Let z be 15/6 + (-2)/(-4). Solve y - m = z*y for y.
-5
Let h(x) = 3*x**2 + 1. Let s be h(1). Suppose 0*y - s*y - 12 = -4*v, 2*y = 4*v - 10. Solve -v*a - 2*a + 16 = 0 for a.
4
Let h(m) = 10*m**3 - 2*m**2 + m. Let i be h(1). Let a = i + -5. Solve -4*u = -a - 12 for u.
4
Let x be 2/6*(-1 + 3 + -2). Solve 0*g - g = x for g.
0
Let t be (-4)/(-3) + 2/3. Suppose -10*f + 15 = -145. Solve f = t*x + 6 for x.
5
Let m be (30/(-1))/(-3) - 2. Let v be ((-36)/16)/((-3)/m). Solve 5*h - 4 = v*h for h.
-4
Suppose 3*o + 5*k + 3 = 2*k, -2*o + 4*k + 28 = 0. Suppose -2*c = 3*u - 18, 0 = -u - o*c - 10 + 26. Solve -3*n - u = 2 for n.
-2
Suppose -l + 0*r = 3*r - 9, 0 = 4*l + r - 25. Suppose -3*n + 4 = -n. Solve -4*t = n + l for t.
-2
Let l be (-1)/3 + 48/(-18). Let s be 3*3*l/(-9). Solve -1 = 2*m - s for m.
1
Let y = -16 - -11. Let i = 7 + y. Suppose 5*m - 15 = 4*b - 0, -i*m + 6 = -5*b. Solve -1 = v - b for v.
-1
Let m be (-1)/(2/12*-3). Solve 3*f + 5 = m for f.
-1
Let j = 2 + 1. Let v(l) = -l + 12. Let d be v(13). Let p = d + j. Solve 0 = -3*c + 1 + p for c.
1
Let c = -2 + 2. Let n(s) = -s**3 - 4*s**2. Let w be n(-4). Suppose 5*t - t = w. Solve t = r - c*r for r.
0
Let g = 73 - 48. Solve 6*x + g = x for x.
-5
Let z be 1*2*(-1)/(-2). Let d(l) = 1 + 3 + 2*l - z. Let w be d(3). Solve -3*i + w = -0*i for i.
3
Let a be 18/10 + 3/15. Let v(j) = -j + 2. Let k be v(-5). Let u = -3 + k. Solve -3*n + a*n = u for n.
-4
Let p = 37 - 35. Solve p*o - 8 = -0*o for o.
4
Suppose 21 + 39 = 3*y. Suppose y = 2*i + 3*i. Suppose -v - 3*o = o + 9, 0 = -i*o - 12. Solve 0 = h + v*h for h.
0
Suppose -4*v = -5*m + 8, 4*v + 2*m + 48 = -3*m. Let t be -6*4/(12/v). Solve t = 3*z - 1 for z.
5
Let r = -68 - -68. Solve a = -r*a for a.
0
Suppose 6*x - 51 + 3 = 0. Solve -4*c - 4 = x for c.
-3
Suppose 4*x - 5 = -13. Suppose -2*h + h + 2 = 0. Let d = h - x. Solve 4 + 0 = d*c for c.
1
Let x(m) = m**3 + 6*m**2 - 8*m - 1. Let u be x(-7). Solve -3*k = -0 - u for k.
2
Suppose 3*f = -3*c, c = 2*c - f - 10. Solve -c*l - 3 = -4*l for l.
-3
Let q = -40 - -50. Solve -2*g - q = 3*g for g.
-2
Suppose -4*q + 5*q - 20 = 0. Solve -2*f - q = -10 for f.
-5
Let x(l) = 5*l**2 - l - 1. Let f be x(-1). Suppose -f*o = -4*w - 27, 4*o - o + 2*w = 3. Solve o*i = -i - 4 for i.
-1
Let x(h) = -h**2 + 9*h + 14. Let l be x(10). Suppose -l*v = -2 - 6. Solve -v*d + 0*d = -10 for d.
5
Let c(y) be the second derivative of y**3/6 - 3*y**2/2 - 3*y. Let j be c(8). Let u(t) = -t + 8. Let i be u(4). Solve j*a - i = 16 for a.
4
Let r = 5 + -3. Suppose r*d + d = 6. Solve -d*y = y for y.
0
Let a(f) = f**2 + 2*f - 1. Let o be a(-3). Solve o - 4 = -2*w for w.
1
Let q be (1/(-2))/((-1)/2). Let f(t) = 5*t**3 + t**2 - 1. Let j be f(q). Solve -2*d + 3 = j for d.
-1
Let l = 37 + -35. Solve p - l = 3 for p.
5
Suppose -u = -5*u + 12. Suppose 0 = -5*k + 3*o - 15, -3*k - 4*o + 12 + 8 = 0. Solve k*y = -u*y + 12 for y.
4
Let d be -1 - (-7)/9 - 47/(-9). Solve d*o - 1 = -21 for o.
-4
Let j be 23 + 0 - 9/3. Solve 0 + j = 5*c for c.
4
Let c(a) = -a**3 + 7*a**2 + 8*a + 2. Let m be c(8). Suppose 5*g - 2*j = 66, 8*g - 3*g + m*j - 54 = 0. Suppose 5*q + 0*q = 30. Solve -3*w = -q*w + g for w.
4
Suppose 4*g - 2*y - 3 = 3*g, -4*g = -5*y - 12. Suppose 0 = -o - g*o - 20. Let n be o + 3 + 6/1. Solve n*b - 8 = -0*b for b.
2
Let n = -16 + 28. Let y(f) = 8*f + 0 + 0 - f**3 + 11*f**2 + 2 + 4*f. Let q be y(n). Solve 4*v - 6 = q for v.
2
Suppose 6 = 8*m - 5*m. Solve -3*l + 5 = m*l for l.
1
Suppose d - 5*w - 11 = 0, 4*w = 5*d - 7 - 6. Solve 0 = -a + 3 + d for a.
4
Let n(t) = -3*t - 8. Let x = -28 + 17. Let m be n(x). Solve 0*u - m = -5*u for u.
5
Suppose -2*m - 14 = -3*m + 3*q, -m + 10 = -2*q. Suppose -v = -0*v + 1. Let l = 1 + v. Solve 5*y - 3*y - m = l for y.
1
Let i(k) = -k**3 + 12*k**2 - 10*k - 7. Let w(p) = p**2 - 8*p + 11. Let a be w(8). Let m be i(a). Solve 0 = m*o - 7 - 5 for o.
3
Let j = 99 + -99. Solve j = d + 3*d for d.
0
Let v(d) = d**3 - 7*d**2 + 6*d + 3. Let z be v(6). Suppose c - 120 = -z*c. Suppose 6*b = b + c. Solve b*m + 20 = m for m.
-4
Let j be -4 + -3 + 15/1. Solve w + w = -j for w.
-4
Let d(m) = m**2 - m + 3. Let x be d(0). Suppose 3*v - 50 = -4*i + 29, -2*v = 3*i - 58. Suppose 29 + i = 5*k. Solve 0*j = x*j - k for j.
3
Let w(s) = s**2 + s - 1. Let l be w(1). Let k(r) = 6*r - 1. Let z be k(l). Suppose -15 = 4*i - 0*i + z*c, i - 3*c - 9 = 0. Solve -4*u + 1 + 7 = i for u.
2
Let h = -42 - -44. Solve 1 + 3 = h*s for s.
2
Let l be 46*(2 + (-12)/8). Solve -5*q - l = 2 for q.
-5
Let r = -10 - -15. Solve 0 = -3*w - r - 10 for w.
-5
Let f be (-14)/(-3)*(-3)/2. Let p(m) = -3*m - 15. Let s be p(f). Solve -2*g + s = -0*g for g.
3
Let g be 125/5*(1 + 0). Solve 0 = 4*o + o + g for o.
-5
Let i = 3 - -14. Let g = -15 + i. Solve -g*q + 0 = 6 for q.
-3
Let y(k) = -k**2 - k - 7. Let p be y(0). Let c = p + 10. Solve 2 = s + c for s.
-1
Suppose 5*x - 4*f = x + 88, x - 2*f - 24 = 0. Solve -v = -6*v - x for v.
-4
Let n(q) = q**2 - 8*q + 7. Suppose -2*v - 13 = -v - 5*l, -3*l = 5*v - 47. Let k be n(v). Solve 4*b + k*b = 8 for b.
2
Suppose 28*x - 25*x = 3. Suppose 0 = 2*p - 6*p + 24. Solve -v - p = -x for v.
-5
Suppose -4*i - 2 = -2*i, 4*l + 2*i - 10 = 0. Solve g + l*g + 4 = 0 for g.
-1
Suppose -4*n + 20 = -n - 5*l, 0 = -n + 4*l + 9. Solve -6 = n*q + 4 for q.
-2
Let f(y) = -y**3 - 3*y**2 - y - 2. Let u be f(-3). Solve -11 = 5*g - u for g.
-2
Let v be 6/27 + (-68)/(-18). Suppose -30 = -s - 4*s. Let n = s - v. Solve g - n = -1 for g.
1
Let b(f) = f**3 - 10*f**2 + 4. Let w be b(10). Solve 12 = -w*l - 0 for l.
-3
Suppose -5*j + 21 = -0*u + 3*u, 3*u = -4*j + 18. Suppose -9 = u*o + o. Let r = o + 6. Solve 7*i = r*i - 4 for i.
-1
Suppose 12 = 2*h + 4*m, -h - m + 3 = -2*m. Suppose -i - 18 = -h*z + 2*i, z - 2*i - 7 = 0. Let p = -14 - -26. Solve -z*j = -0*j + p for j.
-4
Suppose -8 = -5*w + 3*j, -2*w + j - 8 = -3*j. Let m be (w/(-7))/(5/(-35)). Solve m*t = 8*t + 20 for t.
-5
Let f(j) = -4*j**2 - 13*j - 7. Let 