 + v = -d, 4*d = 4*g - 24 for g.
3
Let f = -1 + 1. Let w be 6/4*(-22)/(-3). Suppose 0 = -5*s + 9 + w. Solve f*c - s*c + 14 = 2*p, 2*p - 6 = -2*c for c.
4
Let m = 3 - 5. Let s be (-12 - 0)*m/6. Solve 30 = -5*x - 2*l, -4*x - 39 + 3 = s*l for x.
-4
Suppose -4*y - 5 = 27. Let d = 8 + y. Solve 0 = 3*x - d*x + k + 18, 5*x + k + 28 = 0 for x.
-5
Let t(q) = -q**2 - 18*q + 20. Let d be t(-19). Solve d = j - h, -4*h - 8 = -j - 2*j for j.
-4
Let i = 11 + -15. Let m = 4 + i. Solve -2*l + 12 = 3*k, -k + 4 + m = 0 for l.
0
Let c = -16 + 26. Solve -2*z = a - 2*a - c, -2*a + 12 = 4*z for z.
4
Let p(l) = -l - 2. Let g be p(-6). Suppose g*w - 21 = w. Solve 0 = -v - d - 2, -v - w = -3*d - 17 for v.
1
Let y = 2 - -7. Let q = 13 - y. Solve q*w + 2*s = 6, -3*s - 4 = s for w.
2
Let a = 144 + -144. Solve 3*f + 25 = 4*w, 4*w = 2*f - a*f + 22 for f.
-3
Let y(f) = 11*f**3 - f**2 - f + 1. Let q be y(1). Suppose -9*p + q = -4*p. Solve -i - p*d + 11 = 0, i + 28 = 4*i + 5*d for i.
1
Let g = 8 - 5. Let h be 2 - g - (-3 - -2). Suppose h*j + 24 = j. Solve 0 = -3*o + 5*w + 8, 5*o - 2*o + 3*w = -j for o.
-4
Let w be (-6)/(-9)*6*1. Let u(q) = -5*q + 35. Let r be u(6). Solve -k - 5 = -0*y + w*y, r = -k + y for k.
-5
Suppose -l + 86 + 30 = 0. Suppose -u = 3*u - l. Solve 0 = m - 3*d + 21 - 7, -u = 4*m - 3*d for m.
-5
Let w be 65/10 - ((-1)/(-2) + -1). Solve -2*h - q + w = 3, 0 = h + 3*q + 8 for h.
4
Suppose -13*s + 24 = -7*s. Suppose -4*y - 16 = 2*l, -3*l - 9 = -4*y + 7*y. Solve -l*i - i - s*q + 13 = 0, -3*i + q = -8 for i.
3
Let q = 4 - 3. Let k be q - (-3 + 0 + -1). Solve -z = -5*u + 3, u = k*u for z.
-3
Suppose -3*h + 2*h + 5 = 0. Suppose h*z - 7 = 13. Suppose -z*u = -0*w - 2*w - 14, w = 3. Solve 2*t - 4 = -3*p, 4*t - u*t = -2 for p.
0
Let b(q) = -q + 6. Let a be b(5). Let l = -1 + a. Suppose 9 = -l*x + 3*x. Solve -2*g = -3*r + x*g + 4, 12 = -3*r - 3*g for r.
-2
Suppose 3*b - 2*q = 3, 3*b - q = -3 + 9. Let y be 2 - ((-2)/1)/2. Solve -b*g = 4*f - 0*f - 4, y*f = 3 for g.
0
Suppose 0 = -2*k - 2*k. Solve 2*w = k, -6*w = 5*j - 3*w for j.
0
Let y(u) = u - 7. Let k be y(11). Solve 5*s + 2*p + 17 = 0, k*p = 2*p + 8 for s.
-5
Let n(t) = 11 - t - 3 + 2*t. Let r be n(0). Solve 2*u - 2*z - r = 0, 0 = -u - 3*u + 3*z + 14 for u.
2
Let p be 0*(-2 - 10/(-4)). Let m = -53 - -57. Solve 16 = m*j - n, -5*n + 15 = -j - p*n for j.
5
Let j = 35 - 21. Solve -4*v = -4*o + 8, j - 4 = 5*v for o.
4
Suppose 0 = 5*d - 10*d + 25. Solve k - 3*k + d = 5*o, o = -5*k + 24 for k.
5
Let f(a) = -5*a**3 - a**2 + 1. Let l = 0 - 1. Let n be f(l). Solve 3*b + 5*c - 3 = 0, n*b + c - 4 - 1 = 0 for b.
1
Let g = -47 + 54. Solve -4*m - 4 - g = 5*p, -p = 3 for m.
1
Let s(v) = v**2 + 14*v + 6. Let z be s(-14). Let i = z + -3. Let h(x) = x**2 - 5*x + 9. Let a be h(6). Solve 4*m + d - i = -4*d, d = 4*m + a for m.
-3
Let a be 54/7 + (-10)/(-35). Suppose d + 0*d = a. Suppose -4*j = u - d, 2*j + 0 - 4 = -u. Solve -5*w + 6*w - 3*y - 2 = u, 5*w = -2*y - 7 for w.
-1
Let v(q) = -2*q - 7. Suppose -5*d - 37 = -7. Let y be v(d). Suppose 0*u + 3*u = -y*r, -2*r + 4*u = 0. Solve 3*n + 10 = -h + 5*n, -4*h - 5*n - 1 = r for h.
-4
Let c be (-25)/(-20) - (-6)/8. Solve d - c = 4*s, -2*s = -d - s - 1 for d.
-2
Let b be (-7)/((-98)/12)*-7. Let p be (-32)/b + (-2)/6. Let l(o) = o**2 - 5*o + 6. Let f be l(p). Solve 5*t = -3*m - 14, f*m - m - 3*t = 22 for m.
2
Let v(j) = -j**3 + 4*j**2 - 3*j + 1. Let y be v(3). Suppose 0*b + 2*b - 5*r = 5, 0 = 5*b - r - y. Solve b = -2*h + 3*t - 6, -2*t + 16 - 2 = 2*h for h.
3
Let p(f) = f**3 + 5*f**2 + f + 5. Let r be p(-5). Let b = r - 4. Let z be (-2)/(-6) + b/(-6). Solve l = -z, 0 = 3*d + l + 4*l + 8 for d.
-1
Suppose 0*l = -3*u + l + 13, 0 = 2*u + 2*l - 6. Suppose 2*m = u*m - 8. Solve 0 = q + m*q - 3*k + 24, -9 = 4*q + k for q.
-3
Let p = 4 - -4. Suppose q = 4*y - 19, -y - p = -2*q - 4. Suppose -l - 1 = -y. Solve -2*d + 2*r - 4 = -3*d, l*r = -5*d for d.
-4
Let k(v) = -v + 19. Let l be k(9). Let d be (2/5)/((-1)/(-35)). Let h = d - l. Solve -6*f + 4 = -c - 4*f, h*c + 2*f = -16 for c.
-4
Let b = 5 + -3. Let c(w) = 2*w**3 - 3*w**2 - w + 2. Let u be c(b). Solve -4*p - 16 = 0, 6*g = u*g + 5*p + 30 for g.
5
Let f be ((-6)/4)/(15/(-20)). Let h be (-82)/(-6) + f/6. Let p = h - 10. Solve -5*l - p*r + 29 = 0, -5*l + 5*r + 5 + 15 = 0 for l.
5
Let g = 118 + -113. Let i = 30 - 11. Solve 2*y - 18 = -4*k, 0*y + y - g*k = -i for y.
1
Suppose 2*x + 2 = -8. Let b be 3/15 + (-34)/x. Suppose 5*k + 0 = 2*z + 2, z - 4*k + b = 0. Solve 0 = -2*h - 2*h - 4*s - 12, 4*h + z = -3*s for h.
0
Suppose 0 = 5*j - 10, -4*f - 2 = -2*j - 6. Suppose -5*i + 18 = 4*v, 2*i - v - 3*v = 24. Solve f*p - 7 = 1, -5*r = 4*p - i for r.
-2
Let p be (15/4)/(2/8). Suppose 4*y + x - 20 = 0, -y = 2*y - 2*x - p. Solve 24 = 4*d - y*f, f + 2 = d - 3 for d.
1
Suppose 0 = c - 2, -59*n + 55*n - 3*c = -10. Let k = 6 - 1. Solve -2*b + n = -j - 4, -5*b - k*j = -50 for b.
5
Let v be (-3)/(-3) + 1 + 0. Suppose -4*d = -0*w - 3*w - 35, 25 = 3*d - w. Suppose x = -x + d. Solve 0*o - v*o + x = -r, 3*r + 6 = 4*o for o.
3
Let r = 13 + -7. Suppose r = 2*l + 2. Solve -c - 4 = -3*t, 0 = 4*c + l*t - 3*t - 17 for c.
5
Suppose 6 = -3*z + 4*z. Suppose 0 = j + 1 - z. Solve -3*a - 4*l + 25 = l, -j*a + 5*l + 15 = 0 for a.
5
Let n(f) = f**3 + 8*f**2 + 15*f + 2. Let a be n(-5). Solve o = 4*y - 3, -4*o + 3*o = -3*y + a for o.
1
Let a = 0 - -4. Suppose 1 = -a*d + 13. Let s = 37 - 9. Solve d*j = -3*q - 12, 5*j - 2*j - s = 5*q for j.
1
Suppose -6*h + 5*h = -4. Solve h*m + 0*f + 2 = -2*f, 4*m + f + 5 = 0 for m.
-2
Suppose 0 = -6*w + 2*w - 4, 4*w - 8 = -4*z. Suppose -3*d - 3*b + 48 = 0, -4*b - 47 + 6 = -d. Solve -3*x + c + 14 = 0, 3*c + d = x + z for x.
3
Let d(w) = w + 7. Let g be d(-3). Let m be (-2)/g*1*-10. Solve 2*v - m*z = 9, 1 + 0 = -2*v - 5*z for v.
2
Suppose -2*t + 3*g = t - 15, -15 = -5*t + 3*g. Let r(k) = t*k - k - 2 + 0*k. Let s be r(-2). Solve -3*v + 2*w - 7 - 7 = 0, s = -2*v + w - 8 for v.
-2
Let r = 7 - 5. Suppose 0 = j + r*c + 4, -14 = 4*c - 2. Let o = 6 - 4. Solve -o*i - 7*x - 16 = -3*x, -j*i - 1 = -x for i.
-2
Let i(t) be the third derivative of -t**5/60 - 5*t**4/24 - t**3/3 + t**2. Let r be i(-3). Let n = -1 + 6. Solve -4*s = -2*s + n*b + 17, -3*s - 15 = r*b for s.
-1
Suppose -5*q + 3*t + 0*t = -22, -2*q + 13 = 3*t. Solve 3*p = 2*p + 1, -q*p - 5 = 2*z for z.
-5
Let n be (1 - 4)*75/(-9). Suppose -n - 32 = -3*y. Solve 2 = 5*b - q - y, 2*q = 3*b - 14 for b.
4
Let o = -11 + 6. Let c = 8 + o. Solve -c*w + 4*v - 17 = -4, 3*w + 2*v = -7 for w.
-3
Suppose 9 = 5*f - 21. Let l be 0/(-4*(-3)/f). Solve -d - 3*d - 2*i - 8 = l, -2*d + i - 4 = 0 for d.
-2
Let c = 6 + -2. Suppose 3*s = -2*s + 20. Solve 4*x = -s*z - 16 - 0, c*z = 3*x + 5 for x.
-3
Let p = 13 - 10. Suppose 5*l - 34 = a, -2*l - 5*a + 10 = p*l. Solve -r + 4*b = -15, r - 5*b = l*r + 50 for r.
-5
Suppose 0 = f + 1 + 2, -2*o - 2*f - 6 = 0. Solve 2*z - 5*s = -o*z + 14, 5*s = 5*z - 20 for z.
2
Suppose -5*p + 5*c + 4 = 6*c, 20 = -4*p + 5*c. Solve -4*x - 3*d - 22 = x, x + 3*d + 2 = p for x.
-5
Suppose 4*u + 14 = 62. Solve -3*f + k + 30 = u, 0 = 3*f + 5*k for f.
5
Let t be (-7 - -3)/(1 - 3). Suppose 4*k - 38 - t = 0. Solve -5*x + 0*m - 1 = -3*m, 0 = 4*x + 3*m - k for x.
1
Let b(o) = o**2 - 6*o + 4. Let u be b(6). Solve -5*f = -u*g + 24, -2 + 20 = -5*f - 2*g for f.
-4
Suppose 2*j - 6 = -3*k, -12*j = -8*j - 4*k - 32. Solve -4*d - j = v, 5*v + 3*d = -d - 14 for v.
-2
Let a be (-3)/(-4)*(-1 + 13). Let z(n) = 11*n**3 + 2*n**2 - 1. Let b be ((-4)/(-6))/((-6)/(-9)). Let t be z(b). Solve t = 3*s + y, -5*s + 28 = 2*y + a for s.
5
Suppose -1 = 3*r - 4*r. Suppose 0*h + r = h, 4*h = z. Solve -15 = -q + z*i, -3*q + 3*i = q - 21 for q.
3
Suppose -21 = 3*s + 15. Let i be (s/(-9))/((-4)/(-6)). Let g(a) = a**2 - 3*a - 2. Let o be g(4). Solve -o*w + 2 = 0, -8 = -z - z + i*w for z.
5
Let f(n) = -n**2 - 6*n - 6. Let u be f(-3). Solve u*q + o + 10 = 0, -q = -4*q - 5*o - 26 for q.
-2
Let c = -4 - -12. Suppose 3*t - q = -0 + c, t + 4 = -3*q. Solve 4*g - 4*z = 0, t*z - 7 = 2*g + 7*z for g.
-1
Let j(k) = k**2 - 12*k + 16. Let s be j(11). Solve -s*y - 9 = h, -4*y + 7*h + 12 = 3*h for y.
-1
Let c = -27 + 30. Suppose c*g - 14 = 10. Solve -4*y - g = -l - 3*l, -2*l - y = 8 for l.
-2
Suppose 5 = -5*f - 5, -2*q = 3*f + 1006. Let t be 2/(-8) - q/16. Solve 3*p = 5*l + t,