 + 2*z + 4*z**2 - 5*z**2. Let c be h(-2). Solve p + 1 = -c for p.
-5
Let s = 6 + 2. Let u(x) = -x**3 + 7*x**2 + 7*x + 11. Let f be u(s). Let k = 4 + 2. Solve f*i + 3 = k for i.
1
Suppose 10 = -0*u - 5*u. Let q be ((0/u)/2)/(-2). Let i = q - 0. Solve 4*a - 2 + 10 = i for a.
-2
Suppose 2*q = 5*f - 0*f - 28, 0 = 3*q + 12. Solve -f*o + 5 + 3 = 0 for o.
2
Suppose -10 + 1 = -3*l. Let p(b) = -9*b - 3. Let w be p(-1). Solve 3*r + l = -w for r.
-3
Let g be 27/(-5) + 4/10. Let d(p) = p**2 + 6*p + 7. Let m be d(g). Solve u - 6 = -m for u.
4
Suppose 0 = -2*i - 3*o + 21, 0 = -3*i + 4*o - 0*o - 11. Suppose -5*l - 13 = -5*z + 2*z, -5*z + 3*l = -11. Suppose c - z = i. Solve c*h - 3*h + 1 = 0 for h.
-1
Let s = -2 + 9. Let g(j) = 5 + j**3 - 4 - s*j + 4 - 6*j**2. Let n be g(7). Solve -p = -n*p for p.
0
Let t(p) = 2*p - 12. Let v be t(6). Solve -z = -v*z for z.
0
Suppose 2*t = 3*t - 7. Solve -3*d + t*d + 16 = 0 for d.
-4
Let w be ((-8)/(-4))/(-4)*-30. Solve -4*i = -5 - w for i.
5
Suppose -3*x = -x - 4. Solve -4 = 6*f - x*f for f.
-1
Suppose -2*b + 38 = 5*j - 0*j, -3*j + b + 14 = 0. Suppose 4*c - o = 27, 2*c + 32 = j*c + 4*o. Solve 0 = -2*t - 1 - c for t.
-4
Let b = 45 - 40. Solve 17 = b*p - 3 for p.
4
Suppose n + 2*q = -0*q - 13, -3*n + q - 18 = 0. Let p = -5 - n. Solve -5 + 3 = -p*r for r.
1
Let o(c) = -c + 9. Let f be o(5). Solve -f = s - 2 for s.
-2
Let n be 3 + (48/4)/3. Solve -n = 4*m + 5 for m.
-3
Let d be 4 - (-7)/((-28)/8). Solve 0*s = -d*s + 2 for s.
1
Let b(q) = -q**3 + q**2 + q - 2. Let l be b(-2). Let v = l + -3. Let k(i) = i**3 + 3*i**2 - 2*i + 2. Let w be k(-3). Solve v*c - 23 + w = 0 for c.
3
Suppose 0 = -3*l - 2*l + 5. Let z be (-2 - l) + (4 - -1). Solve 0 = 4*g - 5*g - z for g.
-2
Let z = -153 + 157. Solve -1 - z = 5*d for d.
-1
Let l = -1 - -3. Solve -w = l*w + 6 for w.
-2
Suppose 5*b + 15 = s, -5*s = -3*b - 35 - 40. Solve c - s = -2*c for c.
5
Let t = -4 + 4. Let h(w) = w - 4*w**2 - 2 + 4 + 5*w**2. Let n be h(t). Solve -n = -o - 0*o for o.
2
Suppose 4 - 10 = -k. Solve k = o + 2*o for o.
2
Let t(v) be the second derivative of -v**4/12 - v**3/3 - v**2/2 + 3*v. Let p be t(-1). Solve c = -p*c for c.
0
Let p(d) be the first derivative of -d**2/2 + 7*d + 2. Let b be (5/4)/((-2)/(-8)). Let o be p(b). Solve -c + 3 = -o for c.
5
Suppose -5 = -3*u - 5*o, -o - 3*o + 4 = 0. Suppose 4*x + 0*x - 16 = u. Solve -3*f = -x*f for f.
0
Let h(i) = 4*i - 1. Let a be h(1). Solve 3 = -0*f + a*f for f.
1
Let b be (6 + -9)/(9/(-60)). Suppose -5*t = -24 - 1. Solve t*n = -0*n + b for n.
4
Let l = -5 + 8. Let x be 3/(6 - l) - -3. Solve -4 = 2*f + x for f.
-4
Suppose -2*o = -3*o - 2, 2*j + 2*o = 0. Solve 0 = -0*n + 2*n + j for n.
-1
Let m(k) be the second derivative of -k**5/20 + k**4/6 - k**3/6 - 6*k. Let f be m(1). Let w(a) = a**3 - a**2 + a + 2. Let x be w(0). Solve f*q + 8 = -x*q for q.
-4
Let c(r) = -r**2 - 11*r - 12. Let s(o) = -o**2 - 4*o - 4. Let u be s(-5). Let f be c(u). Solve -12 = f*n - 2*n for n.
-3
Suppose -u = -d + 1, 1 = -3*u + 2*d + 2. Let a(z) = -3*z**2 + 5*z**u + z - 1 - 2*z**3 + z. Let y be a(2). Solve 4*x + x + y = 0 for x.
-3
Suppose 2*j + z + 4*z - 15 = 0, -6 = j - 2*z. Solve -s + 2*s + 5 = j for s.
-5
Suppose -v - 5 = 3. Let x = v - 7. Let u = -6 - x. Solve -4*b = u + 3 for b.
-3
Let u = 4 + -1. Solve -15 = -u*z - 2*z for z.
3
Let d = 12 + -10. Suppose 4*c - 20 = -4*v + c, v - d*c = -6. Solve 2*a - v + 10 = 0 for a.
-4
Let l(z) be the first derivative of -z**4/4 - z**3/3 + z**2/2 + z - 4. Let f be l(-2). Let v be (6/(-5))/((-2)/10). Solve f*i - i + v = 0 for i.
-3
Let a(l) = -11*l. Let p be a(-1). Let x = p + -7. Solve j + 3 - x = 0 for j.
1
Let h(u) = -4*u - 4. Let y be h(-1). Solve y*b = -3*b + 3 for b.
1
Suppose x - 10 = -x. Let y(f) be the third derivative of -f**5/60 - 7*f**4/24 - f**3 - 2*f**2. Let m be y(-5). Solve -x*p - m = -p for p.
-1
Let k(l) = -l**3 - 12*l**2 - 11*l + 12. Let n be k(-11). Let d = -7 + n. Suppose 0 = -5*o - d + 15. Solve -2*f = o*f + 20 for f.
-5
Let y(n) be the third derivative of n**5/30 + 5*n**4/24 - 2*n**2. Let x be y(-4). Solve 4*h + x = h for h.
-4
Let n(s) = -s**3 + s**2. Let y be n(1). Let u = y - 0. Solve 4*z = -u*z for z.
0
Let k be (10 - -1) + (-1)/1. Suppose -2*f = 3*f - k. Let x(u) = -u - 11. Let c be x(-11). Solve 0 = -c*v - f*v for v.
0
Let x be 2 - (-3 + -1)/4. Solve 2 = m - x*m for m.
-1
Let s be 4 + 0/(-1 - 2). Suppose -6 = -a + y, 7*a - 5*a - 12 = -s*y. Solve -a*c = -c for c.
0
Let a(k) be the second derivative of k**3/6 + k**2/2 - 2*k. Let c = -2 + 3. Let q be a(c). Solve 0 = -0*j + j - q for j.
2
Let q(f) = f**3 + 8*f**2 - 18*f + 22. Let u be q(-10). Solve -l + 3 = -u for l.
5
Suppose -n + 9 = -1. Let u be (0 + -3)*n/(-3). Suppose 3 = 2*k + 2*y + 13, 5*k + 2*y = -u. Solve 2*p + k*p - 10 = 0 for p.
5
Let a(s) = -s**2 - 18*s - 42. Let p be a(-15). Solve p*d + 0 = -9 for d.
-3
Suppose -5 = -5*v - 5*r, -5*r - 5 = 5. Solve v*j = 5*j for j.
0
Let v(a) = -5*a. Let t be v(-1). Suppose 0 = -2*y + 3*b - 2*b, -t*y + 22 = 3*b. Solve 0 = y*h + 5 + 3 for h.
-4
Let f be (24/10)/(4/10). Let r(a) = -a**2 + 5*a + 6. Let n be r(f). Solve 20 = 4*q - n*q for q.
5
Let u(y) = -y**3 + 2*y**2 + 3*y. Let f be u(3). Let v be 0 + f - (1 - 1). Let j = v - -2. Solve -i + 3 = j for i.
1
Suppose 3*d - 12 = -3*n, -5*d + 20 = -0*d. Suppose 4*j + x + n = 4, -5*j + 3*x = -5. Solve -2*v + j = -v for v.
1
Let k = -102 - -106. Solve 0 = -k*m + 4 for m.
1
Let q = -1 + 6. Solve -q*j = -5 - 0 for j.
1
Let p(x) = -x + 14. Let c be p(0). Suppose 4*k - 2*o = -o + c, -o = -2*k + 6. Solve 2*g - k = -0*g for g.
2
Let t = 18 - 20. Let n be 4/t - -2*1. Solve n = v + 4*v - 10 for v.
2
Let d be (-16)/7 + 2/7. Let w(f) = 2*f - 4. Let m(s) = -3*s + 4. Let i(t) = -3*m(t) - 4*w(t). Let y be i(d). Solve -6*v = -y*v for v.
0
Let d = 4 + -1. Let a = 2 - d. Let f = 3 + a. Solve -w = -3*w - f for w.
-1
Let c = -64 - -66. Solve c = -5*i - 3 for i.
-1
Let b(p) = -p**2 + 8*p - 8. Let w be b(8). Let v = 11 + w. Solve -1 = v*k + 8 for k.
-3
Suppose k + 3 = -2, -m = 2*k + 5. Let n(c) = c**2 + 11*c + 18. Let v be n(-14). Suppose r + v = m*r. Solve 2*j + j - r = 0 for j.
5
Let f(k) = k - 3. Let q be f(0). Let l(i) = i + 3. Let y be l(q). Solve y = -3*o - 5 - 4 for o.
-3
Let z = 59 - 55. Solve -l - 20 = z*l for l.
-4
Let k(m) = -m**2 + m + 2. Let w be k(0). Solve 0 = w*z - 7*z + 20 for z.
4
Suppose 0*q = -3*q + 3*k + 21, q - 10 = -2*k. Suppose 5*i - 2*m - 20 = -0*m, i + 2*m = -q. Solve z - i*z = 2 for z.
-2
Suppose -2*b = -16 + 112. Let k = 73 + b. Suppose -5*j + k = -10. Solve 3*v = -19 + j for v.
-4
Suppose 5*y - 3 - 7 = 0. Suppose -3*u + 17 = 2*q, 2*u + 0*q - y*q + 2 = 0. Suppose 2*v + 2*d - 3*d + 5 = 0, -10 = 3*v - 2*d. Solve u*m + 0*m - 9 = v for m.
3
Suppose -4*v + c + 8 = 0, -1 = -2*v + 4*c + 3. Solve -v*m = 1 - 11 for m.
5
Suppose 1 - 1 = 4*q. Solve -1 = y - q*y for y.
-1
Let m(c) = c - 3. Let z be m(5). Let h be -8 - -5 - -4*z. Solve -3*t + 4 + h = 0 for t.
3
Suppose 3*y = -5*p - 7 - 15, -12 = 3*y. Let i be p - (-3 + 2 + -1). Solve 0 = v - i*v - 5 for v.
5
Let z = 6 + -1. Solve -f = -0 + z for f.
-5
Suppose l + 2*l = k + 11, k - 24 = -4*l. Solve -l*t + 9 = -1 for t.
2
Let i = 41 - 25. Solve -4*l + i = -0*l for l.
4
Let x be -1 + 5 - (1 - -3). Solve x = -2*t - t + 9 for t.
3
Suppose -16 = -4*a + 4*o, -5*a - 3*o - 19 - 1 = 0. Let i be (16/(-6))/((-10)/15). Let d be -2 + 0 - a*i. Solve -d*u - 1 = 5 for u.
-3
Let n(x) = 13*x**2 - 1. Let h be n(-1). Let z(i) = i**2 - 2*i - 2. Let l be z(4). Let y = 8 - l. Solve -h = 2*d + y*d for d.
-3
Let s(v) = v**3 + 8*v**2 + 7*v + 9. Let z be s(-7). Suppose 4*w - z = -k + 46, -5*k = -w - 2. Solve -3*q - w = -4 for q.
-3
Suppose 1 - 6 = -o. Suppose -2*m - o + 17 = 0. Suppose 5*y = 21 - m. Solve 4 = -y*l - l for l.
-1
Suppose -4*a + 51 = 10*h - 5*h, a - 21 = -4*h. Let f be 1/1 + -5 + a. Let v be (1 - 0)*(-1 - -8). Solve 0 = f*n - 3 - v for n.
2
Suppose -6 = 3*q - 2*q. Let n(f) = f**2 + 5*f - 7. Let j be n(q). Let z be 5 + (-2)/2 - j. Solve m - z*m = 8 for m.
-2
Let a(l) = -l**2 + 8*l - 9. Let g be a(7). Let j be (3 - 4)/(g/30). Suppose -6*w + 2*w + 14 = k, 4*k - w = 5. Solve -j = k*n + n for n.
-5
Let v(x) = -2 + x - 2*x - 3*x + 3*x. Let u be v(-4). Solve -w + 3 + u = 0 for w.
5
Let c = -14 - -29. Suppose h + 4 = 0, -m + 7*h 