x) = x**2 - x - 1. Suppose 0 = -2*p - 2*s - 2*s - 14, -4 = -3*p - s. Let o be h(p). Solve -o*b = -2*b + 15 for b.
-5
Suppose 0*f = f - 1. Solve 3*s - 2 = f for s.
1
Let l = -3 - 5. Let p(v) = -v - 5. Let g be p(l). Solve 0 = -g*t + 4*t + 1 for t.
-1
Let f(k) = 5*k**2 - k - 2. Let r be f(-2). Solve 0 = 6*j - j + r for j.
-4
Let g(d) = 4*d**2 + 4*d + 1. Let b be g(3). Suppose 3*m - 4*c = -2*c + b, -m - 5*c = -5. Solve 0 = 6*n - n + m for n.
-3
Suppose -4*p + 2*j + 1 = -11, -4*p + j + 10 = 0. Solve -p = -5*k - 12 for k.
-2
Let u(h) = h**3 + 6*h**2 + 4*h. Let v = -19 + 9. Let l(y) = 2*y + 15. Let m be l(v). Let c be u(m). Solve -6 = n - c for n.
-1
Let n be 0 - ((-6)/(-3) - 2). Let c(r) = -r**3 - r**2 + 2*r**3 + 2*r**2. Let l be c(0). Solve l*u - 5*u + 25 = n for u.
5
Suppose -3*y + y = -2*g + 10, -y - 17 = -5*g. Solve g*l + 2 - 17 = 0 for l.
5
Suppose -a + 20 = -2*a. Let d be (a/50)/((-2)/10). Solve d*y = -2*y - 20 for y.
-5
Let m = 6 + -3. Suppose 0 = 2*w - 2, 4*j + 0*j + m*w = 91. Solve -j = 4*r - 2 for r.
-5
Let p = 28 + -23. Solve 11*h - 10*h + p = 0 for h.
-5
Suppose -2 = 2*d - 4. Solve 3 + d = k for k.
4
Let m = 50 + -45. Solve -m*r + r = 20 for r.
-5
Let g(v) = -2*v**2 - 35*v - 17. Let f be g(-17). Solve f = 8*z - 3*z - 25 for z.
5
Let s = 27 - 24. Suppose f - 18 = 4*w, -5*f + 6*w + 22 = s*w. Solve -4*v + f = -5*v for v.
-2
Suppose 12 = 4*h - 12. Suppose 5*s + h = 7*s. Suppose 2 = -q + s*q. Solve u = -q - 1 for u.
-2
Let c be 6 + 5/(10/(-4)). Let r be 4/(-4 + 2) + c. Suppose 4*y = -3*g, -3*y + g - r*g = 0. Solve 2*s - 5*s + 12 = y for s.
4
Let y(h) be the first derivative of h**3/3 - 5*h**2/2 - 4*h + 4. Let b be y(6). Solve -6*l + b*l - 4 = 0 for l.
-1
Suppose -5 = h - 2*h. Suppose h*v - 11 = 4. Solve -2*n = n + v for n.
-1
Let x(l) = 5*l**2 + 4*l. Let q = -4 + 2. Let b(p) = 6*p**2 + 5*p + 1. Let m(y) = q*b(y) + 3*x(y). Let i be m(-2). Solve -d = -3*d - i for d.
-3
Suppose -t = -2*d, 5*d - t - 6 = -0*t. Suppose 5*y - 19 = 3*j, 5*j + 2 = -4*y - 5. Suppose -y*f = -2, -s - 2*f = -4*f - d. Solve 0 = s*g - 0*g - 4 for g.
1
Suppose 10*z + 65 = 5*z. Let p = 15 + z. Solve p*r - 1 = -5 for r.
-2
Let d be -3 - (4/10 + 243/(-45)). Solve -d = -r - 1 for r.
1
Suppose -5*o = h - 14, -4*o + 0 = -5*h + 12. Let a(z) = 3*z - 2. Let s be a(o). Solve s = -5*n + 29 for n.
5
Let f(j) = j**3 - 2*j**2 - 12*j - 10. Let g be f(5). Solve -b + 0 = g for b.
-5
Let t(v) = v**2 + 4*v + 7. Let y be t(-5). Suppose 0 = -p - 2*p + y. Solve 0*z + p*z + 20 = 0 for z.
-5
Suppose 5*w + 1 = -4. Let m = 1 - w. Let q be (-2 + m)/3*1. Solve -h + q*h = -2 for h.
2
Suppose -2 = -5*q + 4*q. Solve v + 1 = q for v.
1
Suppose -18*z + 7 = -11. Solve z = -v - 2 for v.
-3
Let w be (1 - 3)/(-4)*8. Solve -4 = -w*m + 12 for m.
4
Let q be (-1)/((-1 + -2)/36). Suppose 0 = -4*v + 5*i + 32, -v - 3 = 3*i + 6. Solve q = v*h + 3 for h.
3
Let l be (0 - -4) + 1 + -4. Let i = l + 3. Let b(m) = -m + 9. Let u be b(i). Solve d - 2 = -u for d.
-3
Let j(u) = 2*u + 10. Let f be j(-8). Let y(c) = -c**2 - 7*c - 3. Let r be y(f). Solve 2*h + r = -7 for h.
-5
Suppose 0 = 4*p - p - 9. Suppose 0 = -2*w - r - 5, p*r + 6 + 9 = -2*w. Solve w = v - 0 - 5 for v.
5
Let y(w) = w**2 + 7*w + 9. Let z be y(-6). Suppose 3*s - 18 = -4*j + z*j, -4*s = -4*j + 8. Suppose 0*c - j = -2*c. Solve -c*u = -u for u.
0
Let a = -7 - -5. Let y be 1*(4/(-1))/a. Suppose y*b + 4*x = -16, -4*b = -9*b + 2*x + 8. Solve b*n - 15 = 3*n for n.
-5
Suppose -c - i = c + 23, 47 = -3*c - 4*i. Let g(r) = r + 9. Let p be g(c). Let d(m) = -m**2 + m + 6. Let y be d(p). Solve -h + y = h for h.
3
Suppose -m - 8 = -17. Solve -m*q + 25 = -4*q for q.
5
Let v = -6 + 10. Let a(h) = -h**3 - 5*h**2 + h + 5. Let g be a(-5). Suppose -b - 3*b + 52 = g. Solve 3*w = -v + b for w.
3
Let d(u) = u**2 - 2*u - 5. Let p be d(7). Let w be -25*4*(-3)/p. Solve 7*c - 2*c = -w for c.
-2
Let c be -7 - -1*(-3 - -2). Let w be (0 - c)/(1 + 0). Solve -4*r - 8 = w for r.
-4
Let u be -3 - 1*(-2 - 1). Let w be (u - 0)/(9 + -10). Let d be (2 - 2)*1 - -4. Solve 2*r = -w + d for r.
2
Let g = -3 - -9. Let a(n) = -n**3 + 5*n**2 + 5*n + 7. Let o be a(g). Solve 2*j + 7 + o = 0 for j.
-4
Let k(l) = 1 - 1 - l + 3. Let o(m) = 5*m - 15. Let h(b) = -22*k(b) - 4*o(b). Let d be h(4). Solve -d*w + 4 = -6*w for w.
-1
Let l(n) = 4*n**2 + n. Let v be l(1). Solve v*x + 4 + 1 = 0 for x.
-1
Let l = 16 + -16. Solve -5*w + w + 20 = l for w.
5
Let a(b) = b**3 - 12*b**2 - 11*b - 21. Let x be a(13). Solve -x = -3*n + 7 for n.
4
Let j(h) = 2*h - 1. Let d be j(2). Suppose -4*w + 32 = 2*b, 2*w + w = d*b + 6. Let z(r) = r - 1. Let c be z(w). Solve 5 = c*s - 20 for s.
5
Let v = 23 + -19. Solve -3*l + l = -v for l.
2
Let t be 27/12*(-12)/(-9). Let b be 1*(t + 0 + 2). Solve 2*k - k = -b for k.
-5
Let p(n) = 11*n**2 - n + 2. Let d be p(1). Solve -d = 4*w + 4 for w.
-4
Let i = -6 - -13. Suppose 2*r - i - 3 = 0. Solve 2*t = 3*t + r for t.
-5
Suppose -3*t - 7 = -1. Let d(l) = -4*l - 2. Let p be d(t). Suppose 0 = -5*a + 3*k + 12, a + 0*a + 3*k - p = 0. Solve a*f - 7*f = -4 for f.
1
Let b(c) = -2*c**3 - c**2 + 2*c. Let s be b(2). Let m = s - 7. Let y = -16 - m. Solve -5 - y = 4*r for r.
-3
Suppose 4*t + h = 13, h = -2*t + 2*h - 1. Suppose 2*y = -t*y + 48. Solve 4*w - w = -y for w.
-4
Let v = 2 + -2. Let g(p) = -p**3 + 7*p**2 + 4*p - 8. Let o be 8 - 0 - (-1 - -2). Let k be g(o). Solve -2*z + 6*z + k = v for z.
-5
Let q(r) = -4*r - 14. Let n be q(-4). Solve 0 = y + n - 1 for y.
-1
Suppose 0 = 2*b + 3*b - 4*l - 162, 0 = 2*b + 5*l - 45. Suppose 5*y - 155 = -m, m - b = 2*y - 99. Suppose -4*h = -y + 4. Solve 5*z + 3 = -h for z.
-2
Suppose 0 = -2*w + 24. Let r = -19 + w. Let o(k) = k**3 + 8*k**2 + 6*k - 7. Let j be o(r). Solve 0*y + 4*y = j for y.
0
Let b(f) = -8*f + 10. Let j(x) = -7*x + 9. Let r(g) = 5*b(g) - 6*j(g). Let p be r(3). Suppose 4*s - p = -3*l, -1 = -4*l - 3*s + 4. Solve -m - l*m = -12 for m.
4
Let z = -22 + 27. Solve 0 = -a + 6*a + z for a.
-1
Let y be ((-18)/10)/((-27)/90). Suppose 2*h + y = -h. Let f(c) = -c**3 - 2*c**2 - 2*c - 2. Let z be f(h). Solve 3*p - z = 1 for p.
1
Suppose 0 = 2*r + 6, 5 = b - 5*r + 4*r. Solve -l = -0*l - b for l.
2
Let p(x) = 21*x**2 + x. Let m be p(-1). Suppose -m = -3*k - 2. Solve -12 = -2*l + k*l for l.
-3
Let p(v) = v**3 - 15*v**2 - 17*v + 20. Let b be p(16). Solve b*m = 2*m - 2 for m.
-1
Let d(f) = f**2 + 4*f + 1. Let k be d(-5). Suppose 3*n - 5*n = -k. Let c = n - 3. Solve 4*b + 0*b = c for b.
0
Let q(y) = 5*y + 20. Let f be q(-4). Solve f*i = -5*i for i.
0
Suppose 0 = -g - 0 + 3. Suppose -2*l + g = -1. Suppose d = 2*d - l. Solve b = -d*b - 9 for b.
-3
Let b(v) = 2*v + 18. Let d be b(-5). Solve -d = -2*s - 2*s for s.
2
Suppose 5*y = y + 60. Suppose 0 = -5*z - 4*s + 15, 0*s - y = -5*z + s. Solve 5*r - z*r = 0 for r.
0
Let j(c) = c**2 + 4*c - 3. Let o be j(-5). Suppose -7 = -2*f - 3. Suppose -f*y + 4*y = 3*i - o, 5*i = -4*y + 40. Solve -15 = -y*t + 2*t for t.
5
Let r(g) = g**2 - 6*g + 4. Let u be r(6). Let c = 8 - u. Solve -3 = -c*p + 1 for p.
1
Let m be (-368)/(-64) + 2/8. Solve m = 3*k - 0*k for k.
2
Let f(c) = -2*c + 27. Let y(v) = v - 13. Let t(q) = -6*f(q) - 13*y(q). Let o = -1 + 1. Let p be t(o). Solve p*a = 2*a for a.
0
Let s be 16/9 - 6/(-27). Solve -3*m = -s*m for m.
0
Let m(f) = 24*f - 4. Let c be m(3). Let i = 98 - c. Suppose -s - i = -6*s. Solve -15 = -11*h + s*h for h.
3
Let q be -4 - -2*2/4. Suppose 5 = -3*z - 2*d, 3*z - 3*d = 10 - 40. Let r be q/12 - z/4. Solve r = -3*g - 5 for g.
-2
Let w be ((-28)/(-8))/((3 + -4)/(-4)). Solve 4*x = w + 2 for x.
4
Let c = -2 + 5. Suppose -c*v - 30 + 7 = -y, 4*v = -16. Solve -3*a = y + 1 for a.
-4
Let g(m) = m**3 - 5*m**2 - 5*m - 5. Let i be g(6). Solve k - 5 = -i for k.
4
Suppose 3*h = -3*u - 9, -3*h = -8*h + 10. Let w be 6/2 - (u + 5). Solve -b + w = -0 for b.
3
Let k(m) = 3*m**2 - 3*m - 7. Let p be k(5). Let s = p + -38. Solve -5*a + 10 = -s for a.
5
Suppose 0 = -4*g + 36 + 32. Let a = 33 - g. Solve 2*w - a = -2*w for w.
4
Suppose -3*h - 9 = -6*h. Solve y = h*y + 4 for y.
-2
Let s(f) = -6*f + 10. Let u be s(-7). Suppose 4*h - u = -0*h. Let j = 5 + -3. Solve -j*z + 3 = h for z.
-5
Suppose -2*s + 20 = -0*s. Let d(n) = -n + 1. Let u be d(-1). Suppose 3*z - 13 = -0*t - u*t, 0 = 2*z + 3*t - 7. Solve -z = -3*l + s for l.
5
Let c = -32 + 40.