u + 3 + 4 = 0, -f = u + i for f.
-4
Let p(k) = k + 3. Let n be p(0). Suppose -2*s - z - 1 = 0, -5*s = n*z - 8*z - 35. Solve -2*x = 4*v + s, 3*v + 20 - 1 = -5*x for x.
-5
Suppose 3*n = 5*o - 2, 2*o + 6 = 3*n - 4. Solve 2*z - t - 4*t + n = 0, -2*t + 12 = 4*z for z.
2
Suppose -3*n + 5*n = 4. Let i = 4 + -3. Let r(a) = 2*a. Let z be r(i). Solve f = n*c + z, 5*c - 4*c - 6 = -3*f for f.
2
Let n(o) = o**3 - 7*o**2 - o + 11. Let c be n(7). Solve 0 = 4*j + 3*q + 13, 5*q + 3 = c*j + 24 for j.
-4
Let h = 24 - 24. Suppose -2*b - 2*q = -24, 3*b - 28 + h = -5*q. Solve -2*y = 4*p - b, 5*y - p + 25 = 2*p for y.
-2
Suppose -4*k + 2*k + 3*j + 16 = 0, 5*k + 3*j = 19. Solve -4*r + 4 = 0, 0 = k*y - 2*r - 3*r - 20 for y.
5
Suppose 2*b = -2*j + 26, 0*b + 4*b - 5*j = 88. Let g = b + -12. Suppose 0 = g*n - 3*h - h - 4, 4*n - h = 12. Solve -4 = 2*p, 3*p + 15 - n = a for a.
5
Suppose -c + 4*c = 3. Let r = -1 + c. Let x = 2 + r. Solve 5*f + 2*b = 11, -4*f = -x*f - 5*b - 16 for f.
3
Let w be (-176)/(-56) - 2/14. Solve -u - w*h = -2*u - 13, 3*h - 5 = 5*u for u.
2
Suppose 12 = u + 3*v, 5*u - 3*v + 14 - 2 = 0. Solve o = -5*w + 2, 3*w = o - u*w - 2 for o.
2
Let g = 27 + -23. Let n be (-20 - 0)*g/(-16). Solve -5*b + 2*v = -18, -7*v + 2 = -n*v for b.
4
Let y(v) = -3*v - 4. Let l be y(-4). Solve b - 10 = 4*c, -5*c - l = -c for b.
2
Let s(n) = -n**2 - n - 1. Let t be s(-1). Let k = 3 + t. Suppose 3*m = 4*i - 5, m = -2*i - k*m + 25. Solve v = -i*j - 12, 4*j + 3 = -v + 2*j for v.
3
Let a = 31 - 29. Solve 3*g + y - a = -0, -4*g - 4*y = 8 for g.
2
Let f be 1/(-4) - (-4)/16. Let p be 1 - (-1 + -1 - f). Solve l + 4*j = j - 12, p*l - 2*j = -3 for l.
-3
Let t(h) = -3*h - 2. Let m = -5 + 3. Let u be t(m). Solve 0 = 5*d + 2*s, 3*d - s = -u*s for d.
0
Let q be (-1309)/(-99) - 4/18. Solve -3*u + 2*u - q = -5*n, 2*u - 16 = -4*n for n.
3
Let z = 17 - 9. Let o = z + -7. Solve m + m + o = s, m = -3*s - 11 for s.
-3
Suppose 16 + 9 = 5*s. Solve 4*y + 15 = 3*u, -2*u + 10 = s*y - 0 for y.
0
Suppose 0*b = 2*b. Let a = b - -3. Solve l - 1 = a*i - 16, -5*i = -5*l - 35 for i.
4
Let z be 8/(-28) - 10/14. Let b be (z - (-16)/6)*3. Suppose b*m - 32 = 18. Solve 3*r + m + 10 = -5*i, -20 = 5*i - r for i.
-4
Let z(q) = q**3 - q**2 - q - 2. Let n = -20 - -13. Let f = n - -9. Let h be z(f). Solve 3*s + 12 = -h*v + v, 4*s + 17 = v for v.
-3
Suppose 3*l = -3*v - 6, -v - 2*v = 12. Solve 21 = -t - 5*z, l*t + 7 = -z + 1 for t.
-1
Let h = -8 - -10. Suppose -4*z + 0*k + 5*k = -22, h = -k. Solve -3*m + 8 = 4*o, z*o - 4*o = 1 for m.
4
Let m be (-26)/(-7) - 2/(-7). Suppose 0 = 4*s - 0*s - 20. Suppose -s*v + 11 = -4. Solve 4*a + x + 0*x = -11, m*a + 1 = -v*x for a.
-4
Let q be 3/9 + (-112)/(-24). Solve -o + 6 = o, -4*u = q*o - 11 for u.
-1
Suppose 5 = 4*v + v. Let c = -1 + v. Solve c = 5*f - d + 3*d - 12, 4*d - 12 = -4*f for f.
2
Let b(q) = 4*q**3 - q**2 + q - 1. Let j = -7 - -5. Let k = j + 3. Let y be b(k). Solve 4*p - 3*u - 17 = 0, 4*u - y = -3*p + 3*u for p.
2
Let r be 0*(-2 + 1)/2. Solve g - 3 = r, 0*w = w - 4*g + 17 for w.
-5
Let s be (0 - -1)*(2 + -8). Let b(q) = 10*q**2 - 9*q**2 - 2*q + 3 + 8*q. Let h be b(s). Solve -5*d = -4*d + 3*k + 8, 3*k = -h*d - 6 for d.
1
Let q(l) = l**3 + l**2 - 2. Let y be q(2). Let k be 2/9 + 301/63. Let r = k + 0. Solve j - r*w + y = -4*j, 0 = w - 5 for j.
3
Let c(q) = 3*q + 12. Let x be c(-4). Solve 3*p = 4*o + 13, x*o = o - 5*p - 1 for o.
-4
Let u(t) = -t**3 + 5*t**2 + 6*t + 5. Let h be u(6). Solve 0 = 4*a + h*x - 4, 3*x + x = -3*a + 4 for a.
-4
Let y(b) be the third derivative of -b**6/120 - b**5/15 + b**4/6 - 8*b**2. Let z be y(-5). Solve 0 = z*r - 10*r + 3*l - 5, -5 = 5*r + 4*l for r.
-1
Suppose -8*l + 5*l = 0. Solve l = 3*s - 3*j - 3, 0*j + 1 = s - 4*j for s.
1
Let u(c) = -c**2 + 6*c + 7. Let d be u(6). Solve 2*h - 11 = -0*h - 3*f, 5*h = 4*f - d for h.
1
Let c be -4 + 0 + 4 - -25. Solve -5*u + 0*u - 2*w = c, -2*u + 5*w = 10 for u.
-5
Suppose 5*i = m + 6, 5*m - i + 2*i - 100 = 0. Suppose -5*y - 1 - m = 0. Let c = -2 - y. Solve 3*a = -q - c*a - 6, 3*q - 10 = -a for q.
4
Let k be (26/10)/((-2)/(-10)). Solve 0 = -r + 4*b - k, -7*r + 4*r - 25 = -5*b for r.
-5
Let o = -9 + 23. Solve c - 4*d - o = -7*d, -c = -2*d + 11 for c.
-1
Let l(n) = 3*n**2. Let b be l(1). Suppose 3*o = 2*o - b. Let u = o + 6. Solve -3*v = a - 1, u*a - 3*v + 1 = 4 for a.
1
Suppose -4*f + 5 + 3 = 0. Solve 2 - 3 = f*u + 5*j, 4*u = -j - 11 for u.
-3
Let h be (-1 - -3)*(-1 - -2). Suppose 6 = h*x + x. Suppose -x*c + f + 41 = 0, -f + 5*f + 3 = c. Solve -2 = 2*v + 2*d, v - 5*d = -0*v + c for v.
3
Let j = 13 - 13. Solve 0 = 3*l + 3*h + 27, -5*l - 4*h - 1 - 40 = j for l.
-5
Let l = -3 + 5. Let g be 2 - (l - (3 - -1)). Solve 2*f - g + 0 = 2*p, 11 = -4*p + 5*f for p.
1
Suppose 0 = -8*k + 5*k. Solve 5*c + y + 29 = k, 0*y - 3 = -c + 2*y for c.
-5
Let p be ((-2)/(-6))/(2/18). Suppose 0 = -4*i + o + 9, 2*o = 4*i - p - 3. Let u = -1 + 3. Solve 2*n - 2*a - 4 = 0, a + 8 = -i*n + u*n for n.
-3
Suppose -29*u + 18*u + 55 = 0. Suppose -2*v + 11 = 5*f - 9, -5*v + 4 = f. Solve -r + 24 = -u*y - 2*r, 0 = -5*y + f*r - 29 for y.
-5
Let n(i) = i**3 + 4*i**2 + 2*i. Let p be n(-3). Solve h + 2*b = -4, -6 = -2*h + p*b + 7 for h.
2
Let g(f) = 2*f + 5 - 5 + f - f**2. Let b be g(3). Solve o - 2*o - 5 = b, -w - o = 3 for w.
2
Let s(r) = 2*r - 12. Let g be s(10). Suppose -k - k = -g. Solve 0 = d + a + k - 1, -2*d = -4*a - 18 for d.
1
Suppose -5*d - 45 = -5*b, 5*b + 2*d = 1 + 9. Let s = -27 - -33. Solve 0 = -2*q - 3*m - s, b*q + 17 - 5 = -m for q.
-3
Let x(o) = -o**3 - 12*o**2 + o + 14. Suppose g = -g - 24. Let m be x(g). Solve 0 = -2*s + s + q + 1, 0 = -m*s + 4*q - 2 for s.
3
Suppose 3*a + 5 = 17. Suppose -a*u - 3*y + 15 = 0, -y + 6 + 1 = 2*u. Solve 0 = -2*b, 2*i - b + 5 = -u for i.
-4
Suppose -9*l = -3*l. Solve l = g - 5*t + 9, g + t = 3*g for g.
1
Let h = -8 + 20. Suppose -4*s + h = -s. Solve -g - 5 = -z, z - s*z = 4*g - 8 for z.
4
Suppose 5*n - 40 = -5*p - 15, -p = 5*n - 13. Solve u + u - p*m - 5 = 0, 2*m + 35 = -5*u for u.
-5
Let k(t) = -3*t - 8. Let v be k(-6). Suppose 8*s + v = 3*s. Let j = s - -7. Solve -2*b + 5*d = 24, -4*b = -j*b + 5*d - 22 for b.
-2
Let a = 50 + -46. Solve 0 = -t + m + a*m - 10, -m + 11 = -2*t for t.
-5
Let k(w) = -w**3 - 19*w**2 - w - 17. Let l be k(-19). Solve 0*r + 4*r = 4*m + 28, 3*m = -l*r - 1 for r.
4
Suppose -40 = -5*u - 20. Solve 4*d + 2 = -2*m, m - 7 = u*d - 2*d for d.
-2
Let j = 7 + -5. Suppose s - 5 - 2 = -j*v, v + 9 = 2*s. Solve -x = 2*m - 3*x + 4, -s*x - 6 = 3*m for m.
-2
Let v = -24 - -39. Let z be 4/30 - (-43)/v. Solve 3*g - 15 = -2*g - 2*k, g - z = -3*k for g.
3
Let m(o) = o**3 - 7*o**2 + 2*o - 10. Let r be 3/4 + (-175)/(-28). Let p be m(r). Solve -p*g - 5*f = 4, f - 1 + 5 = -4*g for g.
-1
Let p = 2 - -1. Suppose -w - 5 = 0, -5*m - p*w + 1 + 9 = 0. Solve -5*v + m*l = -15, v - 3*l - 9 + 0 = 0 for v.
0
Let m(k) = k - 19. Let o be m(13). Let d be 3*(1 - 2)*o. Solve 4*g + 1 = 3*j, -4*j - d = 2 for g.
-4
Let r(d) = d**3 - 10*d**2 + 10*d - 9. Let a be r(9). Let h(f) = 3*f**2 - 4*f + 1 + f**2 - 5*f**2. Let c be h(-2). Solve -v + c*b = -18, a*v + b = 3*v + 2 for v.
-2
Let w(y) = -y**3 - 4*y**2 + 4*y. Let s be w(-5). Suppose -s*d = -3*t + 7, 5*t - 5*d - 5 = 10. Solve -t*j + 4*b + 8 = 0, -2*b + 4 = 5*j - 13 for j.
3
Let h(y) = -y**2 - 5*y. Let n be h(-3). Let g(j) = 3*j + 5. Let o be g(6). Let q = o - 3. Solve -5*w = 2*s - q, 3*w + 12 = -s + n*w for s.
0
Suppose -5*p = -35 + 125. Let f be (492/p)/((-4)/6). Solve 3*n = -n + 5*s - f, n - 16 = -4*s for n.
-4
Let q be (-6)/(-2)*24/9. Let z(o) = o**2 - 8*o + 3. Let g be z(q). Let j be g/6*(-1 - -15). Solve 4*p - j = r, 3*p - r - 2*r - 3 = 0 for p.
2
Let i(s) = -s**3 - 12*s**2 - 13*s - 4. Let w be i(-11). Suppose -w = -d - 0*d. Solve -3*c = c + k - d, -k - 17 = -3*c for c.
5
Let k(v) = -v**3 + 6*v**2 + 8*v - 2. Let g = -9 - -13. Let b be (2/g)/(6/84). Let n be k(b). Solve -3*s + 3*j - 6 - 9 = 0, n*j - 17 = s for s.
-2
Let z be (-3)/(-30)*5*28. Solve 2*c + 5*a + 1 = -z, -3*c - 12 = -3*a for c.
-5
Let l = -18 - -20. Suppose l*q = 3*q - 6. Solve -3*t = w - q, w - 2*t = -3*t for w.
-3
Suppose -4*g + 14 = -2. Solve 13 = g*x - 4*b + 1, 2*x + 5*b - 13 = 0 for x.
4
Let a be ((-64)/(-48))/((-1)/(-3)). Solve 0 = -5*g - 2*k - 18, 0 = -a*g - 3*k - 20 for g.
-2
Let z(r) = -r**2 - r + 