 = -p - 0*v, -v + g = 0 for p.
4
Suppose 3*k - 36 = -v, 3*k - v - 24 = k. Let h be ((-8)/(-24))/(1/k). Solve -2*s - 5*j = -h*s + 13, 5*j = -s - 1 for s.
4
Let z(i) = i**2 + 1. Let b be z(1). Suppose -2 = -4*u + b. Let l be 14 + u - (-5 + 8). Solve 0 = 2*f + 4*c + l, -2*c + 4*c - 18 = 5*f for f.
-4
Let g(k) = k**2 - 3. Let z be g(0). Let v be z*((-160)/6)/5. Suppose -4*p + 4*o = -v, p + o - 5*o - 4 = 0. Solve -4*x - x = d - 30, 0 = -d + p*x - 15 for d.
5
Suppose 0 = -3*n - 24 + 36. Solve -n*c + o - 10 = -o, 0 = 2*c - 5*o + 1 for c.
-3
Let w be (-1 - (-1 + -1))/((-10)/(-30)). Solve -5*d + w*j + j + 13 = 0, -4*d - 2 = 3*j for d.
1
Let a(o) = o + 11. Let n be a(-7). Suppose -3*s - 5*v + 5 = 0, s - 5*s - n*v = -12. Solve 0 = -2*j - 5*d - s, -2*d = -2*j + 4 - 2 for j.
0
Suppose -2*f = -3*f + 18. Let r = -13 + f. Solve 15 = -r*o + 4*p, -3*p = p - 20 for o.
1
Suppose -o + 2 = -4. Solve -4*g - 4*f - o = g, 4*g = -2*f for g.
2
Let y be 54/135 - 23/(-5). Solve 3*j + y = -5*b - 9, 22 = -5*b + j for b.
-4
Let d(r) = -7*r**2 + 7*r + r**3 - 11 + 8 + 0*r**3. Suppose 5*f - 3*f = 12. Let y be d(f). Solve 0*l = -2*b + y*l - 20, -b = 4*l - 12 for b.
-4
Let b = -19 + 23. Solve -5*x + 0*f = f, -b*f = 0 for x.
0
Suppose -2*i = 3*i - 30. Let r be 1*2*15/i. Let x(g) = -2*g - 3. Let w be x(-9). Solve u - 7*b - 15 = -2*b, 0 = r*u + 5*b - w for u.
5
Suppose 12*u - 58 = -10. Solve 4*i = -4*h - u, -4 - 2 = -4*h - 2*i for h.
4
Suppose 5*v + 3*m - 34 = 0, -v - 2*m = -5*v + 14. Solve -4*w = 3*g + v, -2 - 2 = 2*w + 2*g for w.
1
Let y be 0 + (-16)/(-20)*5. Solve 4 = o + y*f - 3, 0 = 3*f - 6 for o.
-1
Let y be (-3)/(-4) + (-1)/(-4). Let w(t) = 13*t - 1. Let j be w(y). Suppose 3*m - o - 31 - 1 = 0, 2*m = 3*o + j. Solve 4*b = -m, s + s = -b - 11 for s.
-4
Suppose -f + 1 + 2 = 0. Solve q = 3*c - 8*c + 30, -2*c + 25 = f*q for c.
5
Let c(v) be the first derivative of -v**4/4 - 5*v**3/3 - v**2 + v - 1. Let j be c(-3). Let z = j - -20. Solve f + 2*d - 3 = -6, z = -f + 4*d for f.
-5
Let z = -22 + 24. Let x(c) = -c**2 - c + 4. Let i be x(0). Solve -z*k - s = -2 - 4, i*s = -k - 11 for k.
5
Let d = -4 - -6. Let x(v) = v**2 - 10*v + 12. Let p be x(9). Suppose 0 = -o + 3*b + 5, 3*b - 2 + 13 = 4*o. Solve u - p = o*j, 3*j + d*j = -4*u - 1 for u.
1
Let h = -11 + 3. Let m = 4 - h. Suppose 0*b - 4*b + m = 0. Solve b*n = 2*n - 3*s - 2, 5*s - 2 = n for n.
-2
Let t(x) = x - 8. Let i be t(11). Solve -17 = -2*s - s - 5*v, 4*s - i*v + 16 = 0 for s.
-1
Let q(i) = i**3 + 7*i**2 - 8*i + 2. Let p be q(-8). Suppose 2*s = -p*s + 24. Solve -s = -5*f - 4*l - 23, 0 = -3*f + 4*l + 9 for f.
-1
Let t be ((-5)/15)/((-2)/30). Suppose 2 = -n + t*i + 1, 0 = -2*n + i - 2. Let q = 2 - n. Solve 0 = -k - q*s - 14, -3*s + 12 = -2*k - 5*s for k.
-2
Let x(v) = 10*v - 81. Let c(p) = -2*p + 16. Let z(y) = -11*c(y) - 2*x(y). Let s be z(7). Solve s*b = 4*h - 2*b, 5*b = -h - 11 for h.
-1
Let s = 185 - 180. Solve 2*l = -3*j - 2 + 12, -4*j = -s*l - 21 for j.
4
Suppose 3*a - 4*t + 2 = 0, -3*a - 3*t + 9 + 3 = 0. Let u = 1 - -1. Solve 4*x - 18 = p, -x + a = -u for p.
-2
Suppose -48 = -4*v + v. Suppose -2*k + 2*n - v = 2*k, 2*k + 12 = -n. Let b = 7 + k. Solve -21 = 5*m - h, -2*m - 16 = b*m - h for m.
-5
Suppose 5*z + 8 = 7*z. Suppose 0 = -2*v - 2*v - 44. Let a = -8 - v. Solve 4*s + 19 - z = -g, -3*s - a = -2*g for g.
-3
Let v be 4 + 0 - (-2)/1. Let d be (-2)/(-4) + 3/v. Let r = -9 - -9. Solve a + d = -k - 1, 2*a - 5*k - 31 = r for a.
3
Let b(v) = -2*v + 14. Let o be b(5). Let c(p) = -4*p + 1. Let h be c(-1). Solve 4*k - 8 = 4*f - o, 5*f - 4*k = -h for f.
-1
Let t be 6 - 2 - 3/(-3). Solve 3*g = 4*n + 24, -4*g = t*n - 2 + 1 for g.
4
Let j(p) be the first derivative of p**4/4 - 7*p**3/3 + 5*p**2/2 + 10*p + 10. Let s be j(6). Solve -s*k + 14 = -5*g, 0*g = 3*k - g - 5 for k.
1
Let i = 6 - 6. Suppose -5*h = -13 + 3. Solve -b = 2*y + h*y + 15, i = -y - 3 for b.
-3
Suppose -b + d + 5 = -2, 3*b = 2*d + 19. Let c = b + 2. Solve 0 = 4*r + 2*i + 24, 0 = -0*r + r + i + c for r.
-5
Suppose k - 6 = -k. Suppose r - 1 + 0 = -k*a, -2*a + 6 = -2*r. Let n be r/3 - (-28)/6. Solve 2*i - 5 = -0*y + y, 0 = -n*y + 3*i - 20 for y.
-5
Let p(q) = -q - 6. Let i be p(-6). Let n = i - 4. Let h = -2 - n. Solve 6*t - h*t = l + 19, 0 = -2*l + 3*t - 18 for l.
-3
Suppose -4*c - s + 48 = 6, 4*c = 4*s + 52. Suppose -4*h + 3*p + c = -0, p + 7 = 2*h. Solve -2*i - 13 = 3*n, 0*i + 2*n = -h*i - 5 for i.
1
Let r(h) = h + 8. Let i be r(-8). Suppose 5*p + 45 = f, -3*f - 3*p + 65 - 20 = i. Let o = -3 - -7. Solve -a - f = u - 5*u, 4*a = -o*u for u.
4
Let q(g) = 2*g**3 - 9*g**2 + 12*g - 5. Let b(k) = k**3 - 4*k**2 + 6*k - 3. Let i(n) = 5*b(n) - 3*q(n). Let y be i(5). Solve -5*j - o = 0, o + 3*o = y for j.
-1
Let a(p) = 2*p - 2. Let r be a(3). Suppose -4*u = -5*u - 4. Let i be u/10 + (-396)/(-90). Solve g + 2*z = -14 + i, -r*z = 4*g + 24 for g.
-2
Let t(l) = -l + 2. Let r be t(-3). Solve 3*p = a + 2, -r*a + a = 20 for p.
-1
Let h(l) = -4*l**2 + 3*l. Let i be h(2). Let r = -7 - i. Solve -2*c - 3 = q + r, 3*q + 10 = 2*c for c.
-1
Suppose 8 = 2*t + 2*t. Suppose -6 = t*m, 0*j + 2*m + 3 = -j. Suppose -2*a + 5*w = -21, -a + 9 = a - w. Solve -a*r + 5*r = -i, -3*i = -j*r for i.
0
Suppose n - 3 - 4 = 3*r, -r + 15 = 4*n. Let y be 0 - -1 - (5 - 4). Solve 32 = -4*b + 4*o, 2*o - 24 = n*b - y*o for b.
-4
Let d be 1/((-2)/3 - -1). Suppose 2*s = -d*y - 23, 4*s + 2*y + 25 + 9 = 0. Let a be (s/2 - -3)*-4. Solve 3*l = a*f - 4 + 14, -3*l + 15 = -3*f for f.
-5
Let i be (-9)/(-6)*(-6)/(-3). Solve 40 = -i*g - 2*g - 5*h, -3 = h for g.
-5
Suppose -4*a + 3 = -3*a. Let u be -9*(1*-4)/4. Let y be ((-12)/u - -2)*6. Solve 2*h = -h + o + 8, y*h - a*o - 19 = 0 for h.
1
Let f = 19 + -15. Suppose -j = 2*u - 3*u + 5, -5*u + f*j + 25 = 0. Solve -u*g + n + 15 = 0, 0 = -3*g + 2*n + n - 3 for g.
4
Let c = -7 + 8. Suppose 0 = -2*r + 5*r - 6. Suppose -12 = -2*h - r*a, -5*h + 4*a + 1 + 11 = 0. Solve 5*l = u - h + c, -u + 3 = 2*l for l.
0
Suppose 4*u = u + 12. Let g be (6/u)/((-3)/(-4)). Solve 4*r - 3*z = g*r + 25, -5*r = 5*z for r.
5
Suppose 2*p + 15 = 3*p. Suppose 2*i = -3*i + p. Suppose 8*q - i*q = 55. Solve -6*z = -z + x + q, 4*z = 3*x - 5 for z.
-2
Let t(x) = -x**3 + 6*x**2 - 6*x + 2. Let j(o) = -o**3 + 4*o**2 - 2*o + 1. Let g be j(3). Let h be t(g). Solve -h = 3*v - 2*f, -v - 2 = f + 3 for v.
-4
Suppose 5*g = 10, g + 46 = -5*a + 2*a. Let b = -11 - a. Solve 0 = 5*x - j + 4*j - 3, 4*x - 32 = b*j for x.
3
Let p(b) be the first derivative of b**4/4 - b**3 - 5*b**2/2 + 4*b - 2. Let i be p(4). Solve -5*x + 15 = i, -2*l - 5 = 2*l + 5*x for l.
-5
Let v = 24 - 8. Suppose -g - 5*r = -3*g - v, -r + 4 = 0. Solve t + g*n = -2*n - 3, -t + n = -7 for t.
5
Let o be -9 - ((-4)/(-2) - 3). Let g = -1 - o. Let r = g + -7. Solve 0 = -2*n - r*m - 3*m - 9, 2*m + 22 = 4*n for n.
3
Suppose -b - 2*b + 15 = 0. Let q be -5*2/(-60) - (-167)/6. Suppose -b*n + 2*o + q = 0, -3*n = 2*n + 5*o. Solve -n*j - 4 = 8, 0 = 5*c + 4*j + 12 for c.
0
Suppose -11*w = -4*w - 21. Solve -4*y = -w*x - 14, 0 = -x + 5*x - 5*y + 17 for x.
2
Let p be ((-1)/2)/((-1)/8). Let r be (1 + 1)*21/6. Suppose 0 = -2*k + 4*d, 2*d - 9 = -1. Solve b - h + k = -p*b, r = -b + 2*h for b.
-1
Let c(l) = -l**2 - 17*l - 17. Let p be c(-16). Let y be p*(4 - 0)*-1. Solve -2*z + 5*v - 27 = 0, 5*z + y*v = 17 - 2 for z.
-1
Let t(n) = n**2 - 6*n - 5. Let d be t(7). Suppose -7*p + 3 = -6*p. Solve 0*m - d*l + 3 = p*m, 5*l + 4 = 4*m for m.
1
Let u(s) = -s**2 - 10*s + 14. Let d be u(-11). Suppose -d = -o + 2. Solve 5*r = 4*g + 1 - 3, o*r + 12 = -g for r.
-2
Let y be -3*(-4 + 0 + 3). Solve 0 = 3*t, 4*u - y*t = -0*u + 20 for u.
5
Let s be (-12)/(-8) - (-7)/(-14). Solve 5*q + s = -2*o, 5*q + 5*o + 8 = -2 for q.
1
Suppose 2*m + 0*m + 12 = 0. Let y = 9 + m. Suppose y*d - 6 = 9. Solve -5*x - 5*u = -d, -5*u = -3*x + 5*x - 8 for x.
-1
Let j = -7 + 9. Suppose j*p - 22 + 6 = 0. Solve -b - 2*x = -5, -2*b - b + p = -x for b.
3
Let x be 16/(-56) + 107/7. Solve x = -5*g + 2*d, -2*g + 2*d - 4*d = 20 for g.
-5
Suppose 3*s + 0 + 19 = 5*v, -2*s = -4*v + 14. Let q = v - 4. Let p be (1 + q)/(-1)*0. Solve p = -5*r + 5*n - 15 - 5, 0 = -4*r + 5*n - 18 for r.
-2
Let u(r) = 2 + 1 - r**2 - 1 + 6*r. Let t be u(6). Let b = -2 + t. Solve -4*q - y + 13 = 0, -1 + b = 2*q - y for q.
2
Let p be 1/(198/(-50) - -4). Suppose 3*i - p