q - 5*z + 4 = 0 for q.
4
Suppose -r = 4*r - r. Solve 4*p = r, -3*i + p - 12 = -0*p for i.
-4
Let x(j) = -2*j - 3. Let m(f) = f + 4. Let w be m(-6). Let b be x(w). Solve 3*g + 5 = -0*r + 2*r, 3*g = 4*r - b for g.
-3
Let m = -7 + 9. Let y = 1 + 3. Suppose -y*z - z + 45 = 0. Solve 4*v + z + 3 = -4*x, -5*v = -m*x + 29 for x.
2
Suppose -11 + 1 = -j. Let k be (j/(-5 - -4))/(-2). Solve -3*d = -2*p + 15, d + 5 + 0 = -k*p for d.
-5
Let m be (-10)/3 - (-6)/(-9). Let f = 4 + m. Solve 2*o = 2*s + 4, -2*o = -f*o + 6 for s.
-5
Let z = -7 + 13. Let n = -5 + 15. Let h = n - 8. Solve -2*k + 0*b = -h*b + 8, k + 4*b - z = 0 for k.
-2
Suppose -3*k + 27 - 3 = -3*f, 3*f + 16 = k. Solve -5*v + 7 = -3*y, 5*y + k*v = -v + 15 for y.
1
Let f(c) = -c. Let v be f(-7). Suppose v = 3*n + 2*a - 40, -a = -3*n + 44. Solve -3*u = n, -2*k - 12 = 2*u + 2*u for k.
4
Let r = 130 - 115. Solve -5*a + r = 2*h, -h - 10 = -a - 0*a for h.
-5
Suppose 4*u - 44 = -0*u. Solve 5*q + 2*o - 3 = 2, q = 2*o - u for q.
-1
Suppose 4 = -b + 8. Solve -5*i - 4*j = -b*i + 22, 4*i + j + 13 = 0 for i.
-2
Let t be (21/(-6))/(-7)*0. Suppose 5*r + t*r - 65 = 0. Solve 2*o = u + 3*u + 4, -4*o - r = -u for u.
-3
Let o be (-1 + -2)*10/(-6). Suppose -14*f - 68 = -18*f. Solve -2*h + o*i = h - f, 9 = 3*h - 3*i for h.
-1
Let h(q) = -8*q + 7*q - 1 + 0*q + 3. Let o be 1/(2/(6*-1)). Let i be h(o). Solve n + 0 = d + 5, -3*n = -i*d - 17 for d.
-1
Let n(a) = -2*a - 14. Let h be n(-7). Solve -2*r + 12 = -4*t, -4 = -3*r - t - h for r.
2
Suppose 25*s = 23*s + 4. Solve -4*j + s*v + 4 = 0, 11 = 5*j - 4*v + 3 for j.
0
Suppose -10*j + 18*j = 0. Solve 4*o - 2*v - 8 = 0, o - 2*o + 4*v + 2 = j for o.
2
Let p = -3 - -19. Suppose q + j - 5*j = 20, -2*q - 4*j = -p. Let h be (-4 + 2)*10/(-4). Solve 4*d - q = -2*k - 0*d, -h*d + 16 = 2*k for k.
-2
Let m(n) = -n - 45. Let u(g) = -1. Let x(k) = -m(k) + 5*u(k). Let q be x(0). Solve -a - 32 = -5*a - 3*p, -4*a + q = 5*p for a.
5
Let j = -15 + 17. Let g be 1/5 - (-139)/5. Solve 16 = -3*h - 5*d, h - j*d = 3*d + g for h.
3
Let k be 6/9 + 10/3. Let t be -2 - (-2 + 2 + -2). Solve -4*o + t*o = a - 15, -2*a + k*o - 30 = 0 for a.
-5
Let j(v) = 12*v. Let h be j(2). Suppose 2*n = 5*w - 1 - 27, 0 = -2*w + 4*n + h. Solve 3*c - 3 = 0, c = -w*u - 0 - 19 for u.
-5
Suppose -4*b - y + 6 = -2, 3*y = 0. Solve q + 2*q = -2*o + b, -5*q + 4 = 4*o for q.
0
Let m be (-3 - -1)*(-6 - -5). Let v = m + 1. Solve -k - v*z = 16, 5*z = 2*k + k - 8 for k.
-4
Suppose -5*r = -450 - 25. Suppose 0*d = 5*d - r. Solve 0 = 2*q - 3*h + h - 12, -4*q - h = -d for q.
5
Suppose 48 + 4 = 2*v. Let f be 1 - (0 + (-53 - 1)). Let i = f - v. Solve 3 - i = -g + 5*h, 0 = -2*g + 3*h + 17 for g.
1
Suppose 0 + 2 = b. Suppose b*m + m = 24. Let w(q) = q - 6. Let j be w(m). Solve -2 = y - 2*k, -j*k - 1 = 3*y - 3 for y.
0
Suppose 3*y = y - 76. Suppose 127 + 105 = 4*j. Let w = y + j. Solve 2*b + 3 - 38 = 5*s, w = s + 5*b for s.
-5
Let p = -8 + 12. Suppose -6 = 3*i - 5*i. Suppose p*j + 4 - 13 = -i*x, -4*j - x = -19. Solve 2*k + j = -4*s, -5*k + 12 = -3*s - 4*k for s.
-3
Let w(f) = 4*f**3 - f + 1. Let b be w(1). Suppose b*k - 24 - 24 = -4*s, -k + 12 = 3*s. Solve -3*d = 4*i - k, 9 = i + 2*i - 4*d for i.
3
Suppose 0 = 4*p - 5*p + 4. Solve 5*l - 4*v = -5, 2*l + p*v + 30 = -0*v for l.
-5
Let h(v) = v**3 - 3*v**2 - 3*v + 1. Let a be h(4). Solve 2*z - 4 = a*x - 5, -2*z - 7 = x for z.
-3
Let m = 10 + -2. Suppose 2 = -2*g + m. Let q = -1 - -1. Solve -g*s - 1 - 4 = -v, q = 3*s for v.
5
Suppose 20 = 3*g + 2. Let j be (-3)/9 - (-20)/g. Solve 6 = -5*u - j*l, -3*u - 15 = -4*l + 2*l for u.
-3
Let b(f) = -3*f**2 + 68*f + 25. Let u be b(23). Solve 6*l - 4*l = u*q - 4, 0 = 2*l for q.
2
Let f be (-9)/2*10*-1. Solve -5*r = -4*k - f, -5*k + 5*r + 1 = 51 for k.
-5
Let z = -3 - -8. Let x(u) = -u**3 - 8*u**2 + 9*u. Let r be x(-9). Let l(q) = -q**3 - 11*q**2 - 10*q. Let t be l(-10). Solve v + z = t, -5*c + r*v - v = 0 for c.
1
Let v = -176 + 188. Solve 2*i + 2*j = -20, -i - v = 2*j + 3 for i.
-5
Let i = -4 + 8. Let j be -1*(4 + -3) - -1. Suppose -5*b + 10*b = j. Solve -4*u - 24 = 2*r, b*u = 2*u - r + i for u.
-4
Suppose -2*f = -4 + 20. Let u be 2/4 - (-4)/f. Suppose 0 = o - 0*i + 4*i - 8, u = 3*i - 3. Solve -3*k = -q + o, -2*k - q + 3 = 4 for k.
-1
Let h = -10 + 18. Solve -4*l + 2*v - 7*v + 10 = 0, 0 = 4*v + h for l.
5
Let d be 3*(0 - 2/(-3)). Let z be (4 + 3 + -1)/d. Solve -3*m + 10 + 8 = -3*o, -z*m = -2*o - 15 for o.
-3
Suppose -6*u + 5*w + 48 = -2*u, 2*u + 2*w - 6 = 0. Suppose -32*v + 38*v - 18 = 0. Solve -1 - u = 2*d - v*n, 5*n - 12 = 2*d for d.
-1
Let v(b) = -b**3 - 11*b**2 - 11*b - 10. Let j be v(-10). Let h be (-3)/(-4) + 33/4. Solve 4*q - 2*c - 6 = j, 2*c + h = -3*q - c for q.
0
Let z be ((-4)/(-7))/(152/(-77) - -2). Solve 0 = 3*h - 5*q + 28, -h + 4*q = h + z for h.
-1
Let l(m) = -m**2 - 7*m + 6. Let b be l(-7). Let u = 17 - b. Solve 0 = -3*q + 4*k + u - 31, 4*q = 4*k - 20 for q.
0
Let m(h) = h - 4. Let q be m(4). Let v be q - 0*(-3)/6. Suppose v*x - 6 = -3*x. Solve -3*b - 9 = -5*d - 0*b, 3*d - 5 = x*b for d.
3
Let w(o) = -2*o**3 - o**2 - o. Let p be w(-1). Let t be 4 + -2*(3 - p). Suppose -4*z + 18 = t. Solve 2*j + 5 = 5*c, -8 - 3 = 3*c - z*j for c.
3
Suppose -14*f = -19*f + 45. Solve -4*q + 6 = -g + 3*g, 3*g = 3*q - f for g.
-1
Let a be 3/2 - 2/4. Let w be -1 + 8 - (0 + a). Solve 0 = -4*c + 2*d, 3*c = -2*c + d - w for c.
-2
Let k be 4 - (1 + 2 + -14). Solve v + 2*l - k = 6*v, -4*v = -2*l + 12 for v.
-3
Suppose 4*q = -3*t - 12, 3*q - 4*t = 4*q + 3. Let c = q + 5. Suppose -c*h - 3*h + 110 = 0. Solve 2*w - 5*m - 23 = -0*m, 4*m = -2*w - h for w.
-1
Let w(g) = g**3 - g - 2. Let z be (2 + 3/(-2))*4. Let i be w(z). Solve -4*v + 3*f - 7 = 0, -v + 3*f - i*f = 0 for v.
-1
Let u be 3/(-6) + 5/2. Suppose 3*g + u*a + 5 = 1, 0 = -4*g + 4*a + 8. Solve -2*s - q = 1, s + g*q + 13 = -3*q for s.
2
Let g be 2 - (9/(-3))/(-3). Let p be (g + 0)/1 - -7. Let m = p + -6. Solve 0 = 5*k - 5*d + 5, -m*k = 3*d - 7*d + 12 for k.
4
Let j be -1*4/8*-28. Solve 0 = 3*w + 5*o - 2, 3*w - o - j + 0 = 0 for w.
4
Let a(w) = 2*w**2 - 15*w + 18. Let h be a(6). Solve -2*c = -h*c + 4*b, -5*c + 3*b = 26 for c.
-4
Suppose -7*u + 45 = -32. Solve -g - n = -9, 2*n = -g + 5*n - u for g.
4
Let i(m) = -m + 11. Let w be i(5). Let c(k) = -k**2 + 15*k + 4. Let p be c(15). Solve 3*a + 3*j = -9, p*j = -5*a - w - 4 for a.
2
Let o = 5 + 0. Suppose -3 = 6*z - 3*z + o*s, 4*s = 4*z - 28. Solve 4*r - 2*v - 23 = -r, -z*r = -2*v - 18 for r.
5
Let g(h) = 21*h + 1. Let y be g(1). Let m = -22 + y. Solve 3*l - 3 = m, -2*i + 4*l = l + 13 for i.
-5
Let j = -234 + 254. Suppose 0*l - 24 = -4*l + a, 2*l + 2*a = 2. Solve i = l*u - 22, -4*u + 4*i = -u - j for u.
4
Suppose 0 = 3*f - 0*f + 6. Let y = -2 - f. Solve -g = 3*h + 12, 0 = -5*h - y*g - 4*g - 13 for h.
-5
Suppose 5 = 2*d - 5. Suppose 6*f - 38 + 8 = 0. Solve 5*t = -3*g - f - 16, -d*t - 15 = 0 for g.
-2
Let a(l) = 7*l - 5. Let k be a(2). Let t be (3/k)/((-1)/(-12)). Solve 5*r = -5*z - 30, r - 24 = t*r + 5*z for r.
-3
Let y = -9 - -16. Let m = -7 + y. Solve -z + 3 = -5*a, -a + 1 = -z - m*z for z.
-2
Let d(k) = k**3 + 7*k**2 - 11*k - 24. Let p be d(-8). Solve -3*g = 5*r - 4, 2*g + 3*r - 3 = -p for g.
3
Let a be (-2 - 4/(-5))/((-6)/20). Let b be -4*((-18)/8 - -1). Solve 2*h = a*y - 20, h + 2*y + b = 3*y for h.
0
Let h(q) = -q - 1. Let o be h(1). Let w = o - -2. Let g be 17/5 + (-4)/10. Solve 5*b - r + 4*r = 2, g*b + 4*r - 10 = w for b.
-2
Suppose -2*b - 10 = -7*b. Solve p = -s, 5*p - 4*p = -b*s + 4 for s.
4
Suppose -3*f + 6 = 0, 2*v + 2*v + 4*f = 64. Suppose -2*o - 3*u + 9 = o, -u - 1 = 0. Suppose 4*a - o = -0. Solve -2*l + v = 4*s, -l - s + 3 = -a for l.
1
Let t(j) be the second derivative of j**5/20 + j**4/4 - 2*j**3/3 + j**2 - 4*j. Let z be t(-4). Suppose 0 = z*u - 7 - 1. Solve m + 0*r = -4*r + u, 2 = 2*r for m.
0
Suppose -4 = -8*m + 28. Let g = 5 + 11. Solve 0*d + 5*c = -2*d + g, -2*d - m*c = -12 for d.
-2
Suppose 18 = 2*l + l. Solve r = -2*s - l, -s + 5*r = 8 + 17 for s.
-5
Let q = 3 - 1. Suppose 30 = 2*g + 24. Suppose 0 = g*o + q - 14. Solve 4*f + 0*i - 5*i = 2, -o*i = 2*f + 12 for f.
-2
Let k(r) = r**2 + 13*r + 27. Let g be k(-11). Suppose 0 = -2*w, w = -3*o + 3*w + 12. Solve o = -m - f, -4*m - g*f - 25 = -5 for m.
0
Let u = 5 - 3. Let n = 0 + 2. Let j(s) = s**2 + 2*s - 5. Let