 0 = p*w + y + 5 for w.
-3
Suppose -5*c - 3*s + 35 = 0, 3*s - 4*s - 11 = -4*c. Suppose 21 = 3*u + 3*a, 2*u - c*a = u - 3. Solve u = -5*h + 25 for h.
4
Suppose -60 = -y - 3*y. Suppose -5*o - a - 2*a + 25 = 0, -5*a = -5*o - y. Let q = -1 + 4. Solve -5 = o*p + q for p.
-4
Suppose -2*v + 5*v - 2*u = 44, -2*v + 4 = 5*u. Suppose a = -3*a + v. Suppose 4*p - 1 = 15. Solve -2*d = -a*d + p for d.
4
Let r = 0 + 0. Let w be (3/(-18) - 46/(-60))*5. Solve -2*p + w - 13 = r for p.
-5
Suppose -3*s + 0 = -4*b - 22, 4*b + 8 = -4*s. Let q be (-1 + b)/(-1) + -2. Solve -20 = q*t + 2*t for t.
-4
Let i(k) = -k**3 + 3*k**2 + 4*k - 4. Let x be i(4). Let t be x/(-10) - (-48)/30. Suppose -t = -c - 0. Solve b = c*b for b.
0
Suppose 0 = -2*a + 5*b - 187, -b + 413 = -4*a - 4*b. Let v = -46 - a. Suppose 5*h = 5*j - v, -2*j - 5*h - 5 + 13 = 0. Solve 4*y - y = j for y.
3
Let x be (-5 + 3)/(-1) - 4. Let s be (-6 - -4)/(x/8). Solve v + s = -3*v for v.
-2
Let c(s) = 3*s - 9. Let r be c(5). Solve 2*i + 2 = r for i.
2
Let g be (15/6 + -2)*0. Let z be (-4)/(-14) - 40/(-7). Solve g = 5*u - 2*u - z for u.
2
Let a(r) = -5*r**2 - 3*r + 4. Let n(v) = 5*v**2 + 4*v - 5. Let l(f) = -6*a(f) - 5*n(f). Let h be l(1). Solve s + h*s = 0 for s.
0
Let i be (18/12)/(3/8). Suppose 0 = -3*a - i - 2. Let d be 0*a*2/(-8). Solve d = 5*n - 5 - 0 for n.
1
Suppose -4 = 12*i - 14*i. Solve -5 = -i*z - 3*z for z.
1
Let c(s) = s**3 + 6*s**2 + 4*s - 2. Let g be c(-5). Suppose 2*d - 1 = -3*y, -g*d = -y + 2*d + 23. Let k = y - 0. Solve 6 + 3 = k*w for w.
3
Let l = -12 + 17. Suppose -2*f = c + 3*f + 5, 3*c - l*f - 85 = 0. Solve -2*x = 3*x + c for x.
-4
Let g(f) = -f - 7. Let y be g(-10). Let s = -3 + y. Solve 4*v + 3 + 9 = s for v.
-3
Let o = -3 - -9. Solve -o = -3*w + 3 for w.
3
Suppose 0*f - 4*m = -3*f + 2, 5*f - 10 = 5*m. Solve -f - 3 = 3*i for i.
-3
Let w(u) = u**2 - 4*u + 2. Let f be w(4). Let h(b) = -1 + 3*b - 3*b**2 + f*b**2 + 3*b. Let k be h(4). Solve -5*n - k - 8 = 0 for n.
-3
Let k(j) = 2*j - 1. Let x be k(1). Let q be (x - 1)*(-1)/(-2). Solve 0 = 5*b - q*b - 25 for b.
5
Suppose 0*b + r = -b + 20, 0 = 4*b - 5*r - 71. Suppose -b = 4*q + o - 50, -3*o + 30 = 5*q. Solve 3 = -3*n - q for n.
-4
Let o(y) = y**3 - 4*y + 3. Let s be o(2). Let z be 1/(-1 + 4/s). Solve -2*m + z + 5 = 0 for m.
4
Suppose -6*f - 3 + 21 = 0. Solve 0 = -f*y + 2 + 7 for y.
3
Suppose -5*k = -9*r + 14*r + 5, -3*k + 5 = 5*r. Solve -r = -2*j - 2 for j.
1
Let r(s) = -s**3 + 6*s**2 - 5*s + 6. Let l be (-1 - 1)/(-2) + 4. Let m be r(l). Let p = 77 + -75. Solve i - m = -p*i for i.
2
Let a(v) = -8*v + 12. Let o be a(-11). Suppose -h - 3*h + o = 0. Solve -k - h = 4*k for k.
-5
Let l(g) = 2*g**2 + 25*g - 1 - 25*g + g**3. Let v be l(1). Suppose -v*y + 3*u + 7 = 2*u, 3*y = 3*u + 9. Solve -w + y = 2 for w.
2
Suppose -4*o - 2*u + 42 = -28, -3*u = 5*o - 87. Solve 6 - o = 4*h for h.
-3
Let p = -1 + 8. Let w = -4 + -1. Let a = p + w. Solve k + 0*k + a = 0 for k.
-2
Suppose 3 + 0 = l. Suppose -2*o = -2 - 8. Solve -2 + o = -l*i for i.
-1
Let q(v) = -v**3 - 15*v**2 - 15*v - 13. Let b be q(-14). Let m be 10/(-50) - b/(-5). Solve m = 4*s - 0*s for s.
0
Let q(t) = -t**3 + 6*t**2 + t - 5. Let j be q(6). Let u be (6/(-8))/(j/(-4)). Let g = 5 + -2. Solve -u*i + 0 = g for i.
-1
Suppose 0*j - j = -3. Solve -4 = f - j*f for f.
2
Let i be 44/10 - (-4)/(-10). Suppose 0 = -0*l + 3*l - 4*k + 12, i*l - 12 = -4*k. Solve -5*x + 14 + 1 = l for x.
3
Let q = 51 + -33. Suppose 4*x = 130 - q. Let i be (12/(-7))/((-4)/x). Solve -i = 3*u + u for u.
-3
Suppose 2 = -8*n + 9*n. Solve 3*y = 2*y - n for y.
-2
Let s(o) = -o**2 - 1. Let h(r) = -r**2. Let a(y) = 5*h(y) - 4*s(y). Let t be a(0). Solve t*b + 20 = -b for b.
-4
Let o(b) = -b**3 - 5*b**2 - 4*b + 2. Suppose -33 = 5*c - 13. Let i be o(c). Solve i = -p + 1 for p.
-1
Let h be (-5)/(-3) + (-2)/(-6). Suppose 0 = -3*f + 4*u + 21, 8*f - 2*u - 18 = 4*f. Suppose -f*o + 19 = -h*o. Solve 4*d + o = 3 for d.
-4
Suppose -5*o - y = -1, -4*o + y = -0*y + 1. Let r = 9 + o. Let l = 9 - r. Solve l = 3*h + 2*h for h.
0
Suppose -4*f + 5*k + 7 = 0, 0 = -0*f - 3*f - 5*k + 14. Suppose f*u + 5*x + 7 = 0, 4*u + x + 10 = -5. Let p = -3 - u. Solve t - 2 = -p for t.
1
Let l = -36 + 36. Let k(s) = -s**2 - 9*s + 6. Let g be k(-7). Suppose -6*v + v + g = l. Solve 2 = -2*p + v for p.
1
Let y(o) = o**2 - 7*o + 8. Let f be y(6). Solve 2*s + f*s - 8 = 0 for s.
2
Let b(w) = 2*w**2 - 1 - w - 2*w**2 + 3*w**2 - 2*w**2. Let n be b(2). Solve 0 = -2*g + 3 - n for g.
1
Suppose 0 = -4*h + 21 + 3. Suppose 8 = c + h. Suppose 1 = -3*n + 10. Solve n*s = c*s for s.
0
Let g(c) = -c**2 - 8*c + 2. Let s be g(-6). Solve 0 = 4*q - s - 6 for q.
5
Suppose 4*u + 3 = 5*u. Solve -4*j = -j + u for j.
-1
Let v(f) = -13*f - 5. Let a be v(-5). Suppose 0*c + a = -4*c. Let y be ((-6)/c)/((-2)/(-40)). Solve 3*o = 4 + y for o.
4
Let s be (-28)/(-10) - 4/(-20). Suppose -23 = -3*r + 4*b, -r + 4*b = s*r - 24. Suppose -m = -4*u + u - r, 4*u - 20 = -4*m. Solve 3*d + u - 4 = 0 for d.
1
Let h be 14/4 + (-1)/2. Solve 0 = -2*p + h*p + 2 for p.
-2
Suppose -5*d - 5 = -4*d. Let g(b) = -b - 5. Let v be g(d). Solve 0 = -v*c + 2*c + 8 for c.
-4
Suppose 2*f - 63 = -53. Solve -f = -4*m + 5*m for m.
-5
Suppose 0 = -3*z + 6 + 3. Solve 0 = -8*v + z*v for v.
0
Let q be (2 - 5)*(-2)/(-3). Let o be (q - -13 - 1)/2. Suppose i - o*i = -8. Solve i*p - 4 = 4*p for p.
-2
Let j(a) = 21*a**2 + 2*a + 5 - 1 - 3. Let q(m) = -m**3 - 6*m**2 - 1. Let u be q(-6). Let o be j(u). Solve -2*s - 2*s = -o for s.
5
Suppose 3 = -3*f + 6. Suppose 3*v - 5*w = -v + 69, -v = -4*w - 20. Let a = v - 9. Solve -4*u - a - f = 0 for u.
-2
Let y(x) = x**3 + 2*x**2 - 1. Let u be y(2). Let w = u - 11. Solve 0 = -g + w for g.
4
Let u = -8 + 4. Let o be u - (-9 + (3 - 2)). Solve g + o = -0*g for g.
-4
Let k(h) = -h**3 + h**2 + h + 31. Let t be k(0). Suppose -5*c + t = 1. Solve c = 4*m - 2*m for m.
3
Let d = -3 - -6. Suppose -d*a = -0*a. Solve 4*h + a*h + 4 = 0 for h.
-1
Suppose 3*t = 9*t. Solve 5*y + 2 + 3 = t for y.
-1
Let q(d) = -d - 1. Let v be q(2). Let h be (0/v)/(2 - 0). Solve 0*j + j = h for j.
0
Let q(b) = -b**3 + 4*b**2 - 3*b + 4. Let c be q(3). Suppose 2*z - 16 = -3*h, 0*h - h = -c. Solve z*x = -0*x for x.
0
Let z(j) be the first derivative of -j**2/2 + 5*j - 3. Let g be z(4). Suppose 5*n + g = 6*n. Solve 5 = -u + n for u.
-4
Let b be 2*14/(-2)*-1. Suppose 2*a + 9 = w, -3*a + 0*w + b = 4*w. Let f(g) = -g**2 - 4*g - 1. Let z be f(a). Solve 0 = -z*y + 7*y + 4 for y.
-1
Let k(n) = -2*n - 9. Let h be k(-8). Let o(x) = x**2 - 6*x + 3. Let q be o(h). Solve 0 = -3*y - 2 - q for y.
-4
Let i = -2 + 5. Suppose 0*q - i*q + 9 = 0. Let d be (1/2)/(q/18). Solve d*s = s - 10 for s.
-5
Let p(c) = -c + 3. Let m be p(0). Let l(r) = -r**3 + 3*r**2 - 2*r + 1. Let x be l(2). Let d = m - x. Solve 4*q + 10 + d = 0 for q.
-3
Let q(j) = -j**3 - 2*j**2 - 4*j - 3. Let r be q(-2). Solve 3*p + 1 + r = 0 for p.
-2
Let x = -47 - 79. Let n be x/(-26) - (-4)/26. Suppose z + 32 = n*z. Solve 2*d - z = 6*d for d.
-2
Let i = 11 + -9. Suppose i*v + 33 = 5*b - 38, 0 = 4*b - 5*v - 50. Solve 5*z - b = -5 for z.
2
Let h be (-3)/2*(-4)/1. Solve h*w = 10*w for w.
0
Let m(i) = i - 4. Let f be (0 - 1) + 8 + 1. Let v be m(f). Solve -6*y = -v*y - 4 for y.
2
Let n = -1 - -7. Let i(r) = r - 2. Let g be i(n). Solve -g*s - 24 + 4 = 0 for s.
-5
Let h(t) = t - 2. Let d be h(5). Solve d*q - q = -8 for q.
-4
Suppose 5*m - 52 = i, -5*m = 3*i - i - 46. Suppose 5*f - 5*t = -m, 2*f - 5*t + 2 = -5. Let v = f - -3. Solve 0*o = -2*o + v for o.
1
Suppose -5 = -2*q - 1. Suppose r = -4*w + q, 3*w + r = 5*r - 8. Solve 5*a + 20 = -w for a.
-4
Let f(g) = g**2 - 2*g - 8. Let p be f(4). Suppose -4*k - 25 + 105 = 0. Suppose i - k = -p*i. Solve -3*o = o + i for o.
-5
Suppose 2*i + 28 - 28 = 0. Solve i = -0*t + 4*t - 4 for t.
1
Let b be (-3)/(-1)*20/12. Suppose -2*t + b*f = -0*t + 10, 3*t - f + 2 = 0. Let u be 6 - (8 + -4 + -2). Solve -u = -4*c - t for c.
1
Let o(h) be the second derivative of h**4/12 - h**3 - 11*h**2/2 + 2*h. Let u be o(8). Suppose 5*z - 6*z = -2. Solve -3*v = z*v + u for v.
-1
Suppose -4*o + 29 = 5*k, 6*k + 2*o = 3*k + 17. Let t(x) = -2*x + 50. Let p be t(23). Solve p*i = -k - 7 for i.
-3
Let m = 0 + 3. Solve -b = m - 0 for b.
-3
Suppose -5 = -4*f + 15. Let w(z) = z + 1. Let p be w(f). Suppose