8*s**2 + s. Let j be g(1). Let c = j - -10. Suppose -2*p - o = -5*p + 6, -4*o = 4*p - 8. Solve -p*r = c*r + 20 for r.
-4
Let r = 15 + -15. Solve -i + r*i = -1 for i.
1
Let x be (25/(-30)*-3)/(2/4). Solve -x*m + 4 = -6 for m.
2
Suppose 0 = -3*y - 4*x + 20, 5*y = -5*x - 2 + 32. Solve 0*d - 4 = -y*d for d.
1
Let a(k) = k**2 + k + 5. Let l be a(0). Suppose 2*s - 4 = -0. Solve l*j - s*j = 15 for j.
5
Suppose -3*l - 4*w - 2 = 5, -w = 2*l + 3. Let r be l/2*(1 - 1). Solve r*x = -5*x + 5 for x.
1
Let j = 14 - 23. Let n(q) = -q - 5. Let o be n(j). Solve 6*z = o*z + 10 for z.
5
Let s = -20 + 29. Suppose 0 = -0*n + n + s. Let z = n + 13. Solve 0 = -r + z*r for r.
0
Let r = 13 + -8. Suppose -r*c - 3 = -8. Solve -4*w = -c - 11 for w.
3
Let q = -33 + 38. Solve q*c + 11 - 1 = 0 for c.
-2
Let i(j) = -j**3 - 6*j**2 + 7*j - 4. Let u be i(-7). Let x = u - -6. Suppose 2*t - 12 = -x*t. Solve 0 = t*v + 1 + 2 for v.
-1
Suppose -y + 2 = j, -j + 4*y + 1 = -1. Solve j*q = -q - 9 for q.
-3
Suppose 3*b = 37 - 10. Let j be (-3)/(1/((-6)/b)). Suppose 5*t - 4*k - 35 = 0, j*k - 9 = 3*t - 30. Solve 5 = -4*q - t for q.
-3
Suppose 0 - 9 = -q - 2*y, 4*y + 17 = 5*q. Solve -q*m - 5 = -0 for m.
-1
Suppose -4*p + 3*r + 2*r + 4 = 0, -p - 5*r + 1 = 0. Let t be (35/5)/(0 + p). Let z = t + -3. Solve z*o + 3 = o for o.
-1
Let x(a) = -a**3 + 6*a**2 + 8*a - 2. Let v be x(7). Suppose -d + v*k - k = -3, 4*d - 5*k = 12. Solve 5 = d*u + 14 for u.
-3
Let p = -14 - -16. Solve -7*t = -p*t for t.
0
Let y be ((-16)/8)/((-1)/2). Let b = 4 - y. Solve 0*h - 5*h - 10 = b for h.
-2
Let c be 0 - 0 - 0 - -3. Let l be 3/(-6)*(0 + 0). Solve -c*m = -l*m for m.
0
Suppose -2*v + 18 - 14 = 0. Solve -11 = v*r - 3 for r.
-4
Let l = -18 - -10. Let v be -2*(-4)/(l/(-3)). Solve -v*i + 5 = -2*i for i.
5
Let z(j) = j**2 + 7*j + 1. Let u be z(-8). Let o = u - 5. Solve o*h - 5 = -h for h.
1
Suppose 2*p - 20 = 3*o + o, 4*o = -12. Solve p*m = -m - 5 for m.
-1
Suppose -2*i + 10 = n, -14 = 4*i - 2*i - 5*n. Solve -a - 2 = i for a.
-5
Suppose 3*z + x - 16 = 0, -5*z + 10 = 4*x - 26. Solve r + z = 1 for r.
-3
Let d(t) = t + 6. Let y be d(-8). Let w = 0 + y. Let h be ((-12)/15)/(w/5). Solve -h*p + 6*p + 12 = 0 for p.
-3
Suppose -4 = -i + 1. Suppose -5*o + i*m = -15, -4 = 5*m + 11. Solve -3*z + o = -9 for z.
3
Let c = -31 - -35. Solve o + c = 2*o for o.
4
Let g be (1 - 2)*-2*2. Suppose j + 3*a = 4*a - g, 5*a = -4*j + 20. Solve -2*p - 3 + 1 = j for p.
-1
Let t(r) = r**3 + 3*r**2 + r. Let k be t(-2). Suppose 0 = -k*a - 4 + 6. Solve a = -4*y + 13 for y.
3
Suppose 0 = -2*j + 6. Suppose j = -5*n - 3*f - 12, 3*f = 3*n - 15. Solve n = 3*y - y for y.
0
Suppose -4*u - 14 = 2*h, h + 3*u - 8*u = 21. Solve -3*m = h + 8 for m.
-3
Let z be (1/(-3))/((-7)/21) - -4. Solve 25 = -0*r + z*r for r.
5
Let p = 40 + -38. Solve -3*c + 5 = -p*c for c.
5
Let q(f) = 6*f + 38. Let t be q(-6). Solve t*a = a for a.
0
Let h be (2 - 3)/((-2)/8). Solve 0*w - h = 4*w for w.
-1
Suppose -3*l = 5*i - 23, -5*l - 5*i - 2 = -37. Solve -3*x = -l*x + 6 for x.
2
Suppose -2*x = 2 + 22. Let l = x - -22. Solve 3*n - l = -4 for n.
2
Suppose -22 = -10*m - 2. Solve -3*b + m + 10 = 0 for b.
4
Suppose 2*i = 2 + 2. Let s = 2 - i. Solve s*h - 15 = 5*h for h.
-3
Let j = 14 + -4. Solve -j = -o - o for o.
5
Let w(g) = -g**3 - 8*g**2 - g - 4. Let y be w(-8). Solve 0*i - y*i = 0 for i.
0
Let q be 52/2 + (-2 - -1). Suppose -3*z = -4*z. Suppose -f + 3*a - 11 = z, 2*a - 29 = -f - 3*a. Solve f*h = 9*h + q for h.
-5
Let v = 1 - -4. Suppose 3*m = n + 1 + 1, v*n + 29 = -4*m. Let j = 5 + n. Solve j = -2*b + b - 2 for b.
-2
Let k be (2/(-4))/(7/(-42)). Let i be 1*9/k - 0. Solve 0 = g - i*g - 2 for g.
-1
Let q = -4 + 4. Let z = q + 0. Solve -4*d + 6 + 6 = z for d.
3
Let p = 41 + -33. Solve r = -r - p for r.
-4
Suppose 2*x + 8 = -4*v + 5*x, 0 = 4*x. Let k(b) = -b**3 - 2*b - 2. Let m be k(v). Solve 2*o + m = -0*o for o.
-5
Suppose -4*u - 16 = -2*q, 0 = 3*q + 4*u + u + 9. Let p = 35 - 25. Solve 2*j + p = q for j.
-4
Let d(o) be the second derivative of 17*o**5/20 - o**3/3 + o**2/2 - o. Let s be d(1). Suppose -3*v + s = 1. Solve p - 4 = v*p for p.
-1
Let w be 0/(-4 - (-2 - -1)). Solve w = -5*v - 1 - 4 for v.
-1
Suppose -23 = 5*w - 53. Solve -2*y + w = y for y.
2
Suppose 21 = 5*c + 1. Solve 3*o - c*o = 5 for o.
-5
Let g = -2 - -5. Suppose -z = -g*z + 16. Let u be z*(6/4 - 1). Solve -15 = a + u*a for a.
-3
Let h(u) = -u - 3. Let w be h(3). Let z be w/4*(-10)/3. Suppose 3*d + 0*d - 5 = -k, -5*k - z = 0. Solve 0 = p + d*p for p.
0
Let q(u) = -u + 12. Let o be q(3). Solve -o*m + 4 = -5*m for m.
1
Suppose 0 = 3*z - 5*z + 24. Suppose -k - 2*i + 8 = 2*i, 4*i = 4*k - z. Solve -6 + 2 = k*g for g.
-1
Suppose -2*z = 5*w + 16, 6*w = 2*w - z - 14. Let q be 0/(w - -3 - 2). Solve q = 5*m + 33 - 8 for m.
-5
Suppose 0 = 4*r + 16, 2*l - 24 = -2*l + 2*r. Suppose -3*m + 5 = l*z, m + 7 = 2*z + z. Solve -z*p - 8 = 2 for p.
-5
Let h be 0 - ((-24)/4)/2. Solve -3*l + 3 + h = 0 for l.
2
Suppose 0 = 3*n + 2*n - 20. Suppose k + 5*j = 18, k - 6 = 3*k - 4*j. Suppose -k*a = -9, 0*x - a = -4*x + 29. Solve 4*m + x = -n for m.
-3
Let v be 1*2 + (-10)/35*-7. Solve -v = d - 3 for d.
-1
Suppose 9 = -z - 4*v - 3, 3*z - 2*v = 20. Solve -z = -4*w - 0 for w.
1
Let r(c) = -c + 1. Let h be r(7). Let l = h + 10. Solve -i + l = i for i.
2
Suppose i + 60 = 5*t - i, -2*t = i - 33. Solve 0 = -2*u - t + 6 for u.
-4
Let g(z) = -3*z - 7. Let a be g(-7). Solve 4*n + a = 2 for n.
-3
Suppose 7*s = 5*s + 24. Solve -2*y + 5*y + s = 0 for y.
-4
Let j(w) = w**3 - 25*w**2 + 22*w + 51. Let c be j(24). Solve 13 = c*k + 4 for k.
3
Let g be 1/(2/30)*1. Suppose -g = 4*j - j + 3*b, 20 = -2*j - 4*b. Solve -p - p = j for p.
0
Let y(m) = m**3 + 17*m**2 - 19*m - 18. Let l be y(-18). Solve x = -l + 4 for x.
4
Let s(y) = -7*y + 0 + 0*y**3 - y**3 - 3 + 9*y**2 + 0*y**3. Let v be s(8). Solve -5 = v*g + 5 for g.
-2
Let o = 7 - 2. Let w(j) = -j**2 + 8*j + 9. Let l be w(9). Suppose l = 4*x - 0*x. Solve -o*a + x*a - 15 = 0 for a.
-3
Let w be (-106)/(-14) - 39/(-91). Solve 2*s + 0 = w for s.
4
Let a(o) = o + 16. Let d be a(-16). Suppose -5*h + 3 + 7 = d. Solve 2*b + h*b - 8 = 0 for b.
2
Suppose w = -3*f, 0 = 2*f + 3*w - 6*w. Solve f = -d - 1 for d.
-1
Let j(l) = l**2 - l - 1. Suppose -1 = 2*q - 5. Let r be j(q). Solve 1 + r = t for t.
2
Let a(w) = -17*w**2 - 1. Let z be a(1). Let o be 4/z - (-40)/18. Solve 4*v - 10 = o for v.
3
Let c be -3*1*(-6)/(-9). Let i = c + 5. Suppose -i*m + 12 = 0, 0 = 5*j - 3*j + 3*m - 22. Solve 0 = -3*z + j - 20 for z.
-5
Let x = -10 + 20. Solve 3*l - l = x for l.
5
Let m(f) = -f**3 + 7*f**2 + f + 10. Let k be m(7). Let j = 15 + k. Suppose 0 = -5*s + d + 27, 2*d - 8 = 4*s - j. Solve -2*p = -s*p - 12 for p.
-4
Suppose -5*i + 9 = -1. Let p(a) = 1 + 7*a - a**2 + a**3 - 18*a + 10*a. Let d be p(i). Solve 0 = -d*k - 0 + 6 for k.
2
Suppose -2*r = 1 - 7. Solve r - 11 = -2*g for g.
4
Let r = -5 - -3. Let y be r/(-4) + 93/(-6). Let d = -11 - y. Solve 0 = -3*u - 11 - d for u.
-5
Let s be 1/((-35)/(-15) - 2). Solve -5 = s*a + 1 for a.
-2
Let t be (2 - (2 + 1)) + 3. Suppose t*s = 5*s - 30. Solve 2*c - 2 + s = 0 for c.
-4
Let v(o) = 8 + 5 + 2*o**2 - 3*o**2 + 0*o**2 + 12*o. Let u be v(13). Solve -z + 2 = -u for z.
2
Let q = -80 - -80. Solve 2*b + 0*b + 6 = q for b.
-3
Suppose -4*u + 6 = -v - v, 5*u = 3*v + 7. Solve 0*q = q + v for q.
-1
Let q = -67 + 71. Solve -r + q*r - 15 = 0 for r.
5
Let u(o) = o**2 - 5*o + 6. Let w be u(4). Suppose -w*x + 2 + 0 = 0. Let b be x/3 + 8/(-24). Solve b = 4*v + 9 - 1 for v.
-2
Let z(d) = 3*d**2 - 2*d - 2. Let u be z(2). Solve u = b - 3*b for b.
-3
Let u be 1 - (4/(-2) + -2) - 0. Let s be -1 + (-1)/(-1*1). Solve s = u*k - 15 - 0 for k.
3
Let m = -20 + 22. Solve m = -3*h + h for h.
-1
Let u = -47 + 49. Let v(p) = -p + 2. Let g be v(-3). Solve -u = q - g for q.
3
Let c(b) = b**3 - 3*b**2 + 2*b + 2. Suppose -5*q + 0*t - 4*t + 6 = 0, 0 = q + t - 1. Let u be c(q). Solve 7 = 5*r + u for r.
1
Let g(f) = -f + 1. Let j(n) = -2*n + 4. Let c(d) = -g(d) + j(d). Let t(h) = -h**3 + h**2. Let k be t(1). Let l be c(k). Solve x + l = 2 for x.
-1
Suppose -2*h + 0*k = 3*k + 1, h + k = 0. Suppose h + 9 = 5*r. Suppose -4*b = -r*b. Solve b*v - 4 = -4*v for v.
1
Suppose 0*q - 16 = -4*i + 5*q, 2*i - 3*q = 8. Suppose -2*v + 12 - 2 = -o, -i*v + 20 = -4*o. So