 = 5*s - 3*r for s.
0
Let y be (-14)/(-4) - (-2)/4. Suppose -y*m = -2*m - 10. Let x be (-592)/(-40) - (-1)/5. Solve -5 = 3*f - 2*j - x, -5*j = m*f - 25 for f.
4
Let o be (-7 + 6)/(2/(-28)). Let r be 1*(o - -1 - 0). Solve 5*c = -0*c - r, f - 5*c = 20 for f.
5
Suppose 2*r - 6 = -2. Solve -r*i + 7 = -l + 16, 5*i + 27 = 4*l for i.
-3
Let w(b) = b**2 + 8*b + 9. Suppose 5*a = 3 + 27. Suppose 2*f - 28 = a*f. Let i be w(f). Solve -s = 5*m + 6 + 11, 4*s - 4 = -i*m for m.
-4
Let s = 2 - 0. Solve -8*p = -3*p - 2*i + 20, 5*i = -s*p + 21 for p.
-2
Let r be (2/3)/((-4)/(-18)). Suppose -r*f = f - g - 6, f + 4*g - 10 = 0. Solve 12 = 2*s + f*s - 3*m, -3*s - 2*m - 8 = 0 for s.
0
Suppose 3*d + 11 = 5*y, -2*d + 5 = 3*y - 13. Suppose -r + d*p - p = -9, 2*r - 2 = -4*p. Solve -r*b - g - g - 27 = 0, 4*g = -3*b - 19 for b.
-5
Suppose 0 = -3*i + 3*w, -2*w - 18 = 5*i + 3. Let t = i - -3. Solve 4*g - 15 = -l, -3*g - l + 12 = -t*l for g.
3
Let p be (2 + -3)/(2/(-6)). Suppose -b - 2 = -0*b. Let d = b - -2. Solve p*q + q + j = d, -10 = 2*q + 3*j for q.
1
Suppose 10*x + 60 = 14*x. Solve -10 = 5*r - 3*g, 0 - x = 3*g for r.
-5
Let f(s) = -4*s. Let m be f(-2). Let g be (1/(-1) + 7)/(-1). Let p = g + m. Solve 8 = p*z, 0 = -5*r - 5*z - 0*z for r.
-4
Suppose -4*c + 5*b = -33, 4*c - 5*c - 2*b - 8 = 0. Solve -c*x = -2*u + 7*u + 16, 3*x + 19 = -5*u for u.
-2
Let u(d) = d**2 - 10*d + 3. Let f be u(10). Solve -4*c = m + 5 + 7, 6 = -3*m + f*c for m.
-4
Suppose 4*m - 2*t + 3*t - 6 = 0, -m + 3*t = -8. Solve q - 8 = 4*b - 3*b, m*b = 3*q - 21 for q.
5
Suppose v + 4 = -4*h, 4*v + 4*h = 1 + 7. Let r = -52 - -74. Suppose -2 = -v*m + r. Solve -4*q + m*b = b + 25, -q - 2*b = -10 for q.
0
Let c(w) = -2*w**2 + 5*w + 2. Let v be c(4). Let p be (6/(-5))/(4/v). Solve z + 2*y = -5, 4 = -z - p*y - 5 for z.
3
Suppose -6 = -4*g + g. Let l = 49 - 34. Solve 2*r + 3 = 3*q - g, r - 4*q = -l for r.
5
Suppose -t = -4*t + 48. Let z = -16 - -20. Solve -2*r = r, -r = z*x + t for x.
-4
Suppose 0 = -4*q + 4, 2*q - 23 = 4*y - 1. Let v = y + 9. Solve c - v = 3*c, 3*c - 6 = -3*p for p.
4
Suppose -15 = 4*w - 131. Solve h + 7 = -4*g, w = -3*g - 0*g + 4*h for g.
-3
Let x(a) = a + 2. Let q be x(-6). Let m be ((-6)/q)/((-24)/(-32)). Solve 3*f = -4*r + 28, 0*r - 5*f + 12 = -m*r for r.
4
Suppose 4*y = y + 15. Solve -2*j - 2*j + 12 = 0, -y*u + j - 18 = 0 for u.
-3
Suppose 3*v + v = 88. Let r = -20 + 22. Suppose 0 = r*l + l - 12. Solve -4*g = -5*h - 2*g - 16, -l*h = 3*g + v for h.
-4
Let f = 31 + -25. Solve 3*k - 2 = -r - 4, 4*k = 3*r + f for r.
-2
Let c(u) = -u. Let d be c(-6). Suppose -2*k - 4*z + 22 = 0, 0 = -4*k - 3*z + z + 20. Let i be k - 0*(-1)/2. Solve 0 = f - i*y + 17, -d*f + f - y - 21 = 0 for f.
-5
Suppose -2*u + 4 = -u. Let j be (2/(-6))/(12/(-108)). Solve -2*c + 14 = -x + 3*x, -x = -u*c + j for x.
5
Let x be (-1 + 3)*(-3)/3. Let y be -10*(-3)/6*4. Let u be (1/x)/((-5)/y). Solve -u*w = -5*w + 4*v, 2*w - v = 5 for w.
4
Let q(c) = -c**3 + 8*c**2 - 8*c + 2. Let u be q(7). Suppose -12*j + 11 = -11*j. Let o = u + j. Solve 2*z = -l - o + 2, 4*z - 4*l = 4 for z.
-1
Suppose -18 = 5*a + 5*x - 8, -3*x = -5*a + 14. Let f = 11 - a. Suppose -2*v + 4 = 2*h, -4*h - f = -9*h - v. Solve 3*g + 2*g - 15 = 2*k, -h*g = -4*k - 6 for k.
0
Suppose h - 6*h = -175. Solve 5*y - 4*u = -h, 3*y - u = -2*y - 20 for y.
-3
Let x(f) = f**3 + 1. Let g be -1 + 0 + -1 + -1. Let c = 4 + g. Let d be x(c). Solve -2*u = -9*m + 4*m + d, -4*m + 12 = u for m.
2
Suppose -l = -6*l + 215. Suppose l + 237 = 5*m. Suppose 0 = -3*p + 7*p - m. Solve -5*w = 5*f - p - 1, 0 = 2*f - w - 6 for f.
3
Let y = 3 - 1. Suppose 4*m + 59 = 5*r, 5*r = 4*r - y*m + 23. Let h = r + -10. Solve -3*s + h*s + 10 = -2*i, 5*i = 3*s - 1 for s.
-3
Suppose 2*o = 5 + 5. Suppose 0 = 6*y - 2*y + o*h - 63, -4*y + 60 = 4*h. Solve 0*a + 8 = -2*a, -2*a + y = 4*v for v.
5
Let q(a) = a**2 + 3*a. Let g be q(-4). Suppose 0*p + 16 = g*p. Solve 3*v + 9 = -2*f, -3*v = -p*f + v + 12 for f.
0
Suppose 2*a = 5*w - 1, 4*w = a + 6 - 4. Solve 5*q + 11 = -a*o + 3*o, 2*o - 5*q = 7 for o.
-4
Let q = -11 + 15. Suppose -4*d = -d - 4*t - 8, 0 = -3*d - 3*t - 6. Suppose -3*k - 2*k + 30 = d. Solve -q*b = 4*r - 12, -5*r + 6 = 2*b - k for r.
2
Let i = 21 + -16. Solve -i*h = -5*d, -5*h = 4*d + d + 50 for h.
-5
Let l = 19 - 15. Suppose 0 = l*o - 12 - 4. Solve -o*j - 2*w - 16 = 0, -2*j = -4*w - 3 + 1 for j.
-3
Suppose -3*k = k - 12. Suppose -k*q - 9 + 33 = 0. Let f = 13 - q. Solve -2*n - 4*d + 14 = 0, n - 4*d - 6 = -f*d for n.
5
Let c be (16/6 - 1)*-3. Suppose -2*q = -4*q + 20. Let w = q + c. Solve -4*r = -j + 9, -2*r - 13 = 2*r - w*j for r.
-2
Let d(v) be the first derivative of -5*v + 1/4*v**4 - 1 - 4/3*v**3 - 3/2*v**2. Let w be d(5). Solve -9 = -g + 4*b, 3*g + 0*b - w*b - 13 = 0 for g.
1
Let h(n) be the first derivative of n**4/4 - 13*n**3/3 + n**2/2 + 2*n - 3. Let w be h(13). Solve 5*g = -3*v + 7, 6*g = -4*v + 5*g + w for v.
4
Let f(b) = b - 9. Let y be f(7). Let z = 4 + y. Suppose d - 2*d = 3, -2*a = 2*d. Solve -3*x + z*o = 20, -4*o + 32 = -a*x + o for x.
-4
Let a(h) = -h - 2. Let d be a(-6). Suppose -q + 21 - 11 = 0. Solve -3*i + d = -s + 2*s, -3*i = -2*s - q for s.
-2
Let l = 13 + -13. Solve l = 2*a + 8, 11 = 3*y - 0*y - 2*a for y.
1
Suppose 0 = -0*z - 5*z - 4*m - 7, 0 = 4*m - 8. Let q be z/(-1) + (-133)/(-7). Solve 5 = 2*b + 3*r, 0*r + 2*r = 5*b - q for b.
4
Let x = -80 + 52. Let w be (-80)/x*(-28)/(-8). Solve 4*f = 3*a + 4 + w, -5*f + 21 = -2*a for f.
5
Suppose -u - 5*q + 13 = -4*q, 4*q - 12 = u. Let n(h) = -2*h + 2 - u + h + 3*h. Let k be n(4). Solve 3*v - 3*x + 2*x - 5 = 0, 0 = -k*v + 3*x + 1 for v.
2
Suppose -3*v = 2*v - 20. Solve -2*l + 0 = -5*k + 15, 0 = v*k - 5*l + 5 for k.
5
Suppose 0 = -n - 4, -5*n + 0 - 16 = a. Solve 4*z - 2*v = 10, 3*z + a*v - 40 = -z for z.
5
Suppose -2*i - 3 = 3*o - 5*i, 4*i = -5*o + 22. Suppose -o*l + 14 - 2 = 0. Solve f = -y + l, -4*f + y + 24 = f for f.
5
Let v(u) = 4*u - 2. Let b be v(4). Let n = -8 + b. Solve -5*s - 7 - 18 = 4*g, n = -2*g + 4*s for g.
-5
Suppose -4*i - 27 = -99. Suppose -2*g = -5*g + 15. Solve 5*f - g*h - i - 7 = 0, 4*f - 20 = -h for f.
5
Let l(d) = -d + 1. Let f be l(-1). Let s be 12/27*18/4. Solve -6 = s*v + f*g, -4*g = v - 2*g + 7 for v.
1
Let b(k) = k**2 + 6*k + 5. Let y be b(-5). Let v be 0 + 12/(3 - y). Let j be -4 + v + 0 + 0. Solve t + 1 = j, 4*m + t + 10 = -t for m.
-2
Let z be (10/(-15) + 0)*-3. Solve -5*f - 3*n - 24 = 0, -z*n = -3*n - 3 for f.
-3
Let l(g) = -g - 3. Let h be l(5). Let d(b) = 1 + 7*b**2 - 7*b - 4*b + 3*b**3 - 2*b**3. Let t be d(h). Solve 3*x - 14 = -4*v, -3*v = 4*x - 9*x - t for x.
-2
Let b = 3 + -3. Suppose b = -3*t - t + 16. Solve -15 = 5*h - x + 5, -4*x - 16 = t*h for h.
-4
Suppose -5*c - 3*b + 1 + 35 = 0, 0 = -c - 3*b. Solve -s + 0*s - c = 4*p, -25 = 5*s for p.
-1
Suppose 10 = 2*s - 4. Solve 4*j - 3*b - s = 0, 0 = 2*j - 5*b - 14 - 7 for j.
-2
Suppose 5*x = x. Suppose 2*b + b = 0. Solve x*n + 20 = -5*m - 3*n, b = -3*m - n - 8 for m.
-1
Let j be 2/(-4)*(-2 + 2). Solve -4*n - 5*x + 8 = 0, -4*n + 2*x + 8 = -j for n.
2
Suppose -2*d = -d - 4. Suppose 3*g + 8 = d*g. Let n = g - 5. Solve k + n*v + 12 = 0, -7 = v - 2 for k.
3
Let r be ((-4)/(-3))/((-4)/(-6)). Let p be (r/2)/((-3)/(-6)). Solve -p*z - o - 1 = 0, -o + 0 + 1 = 0 for z.
-1
Let v(z) = z**2 + 5*z - 9. Let o be v(-8). Solve 0 = 3*g - 15, -4 - o = -3*n - 2*g for n.
3
Let b be 1/2 + (-5)/(-2). Let w = b - 3. Solve w = 5*m - 5*o - 10, -3*m = -7*o + 2*o - 16 for m.
-3
Let d be 1/(-3) + (-66)/(-9). Let q = d - 5. Solve 0 = 6*l - l - 2*n + 10, -5 = -q*l - n for l.
0
Let u(y) = y + 7. Let t be u(-6). Let f be ((-1)/2)/(2/4). Let c(d) = -4*d**3 - d**2 + d + 1. Let b be c(f). Solve 24 = 4*i - b*a, -3*i - 5*a = t + 10 for i.
3
Let y = 59 - 49. Solve 3*x - 4*u + 17 = 0, -6*x = -x - 3*u + y for x.
1
Let u be (-3)/((-9)/(-6)) + 5 + 17. Solve -n - 5*b = -u, b + 3*b = -2*n + 22 for n.
5
Let r = -20 - -20. Solve r = -4*i - 2*o - 4, 3 = 3*i - 4*i - o for i.
1
Let r(x) = x**2 + 6*x. Let n be r(-6). Solve 5*w + 0*h - 2 = 4*h, -h - 3 = n for w.
-2
Suppose 8*k - 3 = 7*k. Solve -q + 5*d = -0*q + 8, 5*q + 18 = k*d for q.
-3
Let r = 14 - -9. Let h = -15 + r. Let o(s) = -s - 5. Let q be o(-5). Solve z + 6 = -4*t, q = -5*t + 5*z + h - 3 for t.
-1
Suppose 29 - 4 = 2*v - 3*m, -4*m - 45 = -5*v. Solve 18 = 4*t +