- 2*f = 14 for s.
4
Suppose -2*k - 56 = -62. Solve -5*y - 26 = -x, -k*y + 0*x - 16 = -x for y.
-5
Let d be (-1)/(0 - (-1)/(-2)). Let s be 27/18*(-8)/(-6). Let o be (20/(-15))/(s/(-21)). Solve n - x - 1 = 0, 0 = -2*n + 3*n + d*x + o for n.
-4
Let s(b) = -123*b - 489. Let l be s(-4). Solve -3*w - 2 - 4 = 0, l*t = -5*w + 5 for t.
5
Suppose 2 - 17 = -3*d. Suppose 3*s + 13 = d*i + 53, 0 = -s + 5*i + 10. Solve -5*m + 40 = -0*m - 3*z, 3*z = -s for m.
5
Let j be 3/(4 + -1)*-1. Let h be (j + 5)/((-5)/(-15)). Suppose 6 = -h*d + 13*d. Solve -3*l = -5*i - d - 3, -5*i - 12 = -4*l for i.
0
Let x = 945 - 939. Solve 0 = 3*a + 5*y - x, 5*y = -2*a - 3*a for a.
-3
Let x(g) = g**3 + 6*g**2 + 3*g - 7. Let h be x(-5). Suppose -3*s + 10 = 4*u, h*s + 3 = -u + 1. Solve u*i - 18 = 5*t - 2, 0 = -5*t + 5*i - 15 for t.
-4
Let b be (-8)/(-32) - (2 + 449/4). Let h = -109 - b. Solve -7 = -h*o - 3*x + 7, -2*o = 4*x for o.
4
Suppose -2*d + r = -29, -r - 27 = -2*d - 2*r. Let a = -1 + d. Suppose -4*w - o + a = -0*w, 2*o = -2*w + 2. Solve -2*s = 5*g - 25, -3*g + 2*s - s = -w for g.
3
Suppose 16 - 271 = 17*a. Let f be ((-6)/a)/(5/50). Solve -2*v + f*r - 18 = -3*v, 0 = -5*v + 4*r - 30 for v.
-2
Let v(z) = z**2 + 5*z - 4. Let p be -2 - (8 - (3 + 1)). Let h be v(p). Solve 3*j - 12 = -w + 4, -h*j - 4*w = -14 for j.
5
Let n(a) = 2*a - 3. Let r be n(4). Solve -3*l = 0, -10*l = -4*v - r*l - 16 for v.
-4
Let u = 10 + 7. Suppose 0 = -4*n + 5*n + 3. Let i = 10 + n. Solve -3*j - m - i + u = 0, 4*m = 3*j - 5 for j.
3
Suppose -2*x - 23 = -5*z, 0*x - 20 = 5*x. Solve 0 = 5*i - 2*i + 9, -5*i = -z*l for l.
-5
Let t(a) = -6*a - 6. Let o be t(-7). Let q = o + -27. Let r = -9 + q. Solve r = -4*i + 5*s + 3, 5 = 3*s + 2 for i.
2
Suppose -s = d - 10, -s - 76 + 2 = -5*d. Solve 2*w = 4*g - 6, -2*w - 3*g - g = d for w.
-5
Let x(z) = -2*z**2 - 2*z - 7. Let q(n) = n**2 + 1. Let d(o) = 5*q(o) + x(o). Let g be d(-2). Solve -13 = -i - 5*a + 8, -2*i + 4*a = g for i.
1
Let p = 26 - 18. Let u be 12 - 4/(p/4). Let r = u + -9. Solve -2 = -6*n + 4*n, 3*z + r = -2*n for z.
-1
Let n = 44 - 35. Suppose -3*x = -n - 0. Solve 5*b + 25 = x*q + 2*q, 0 = -q + 1 for b.
-4
Suppose 5*r + 3*j = -51, 0 = 4*r - 2*r - 5*j + 8. Let k(n) = n**3 + 9*n**2 + 1. Let p be k(r). Solve 3*d - 2*t = -2*d - p, 0 = 3*d - 5*t - 7 for d.
-1
Let c = 5372 + -5367. Let w = 10 + -6. Solve -q + 4*q - f + w = 0, 0 = 5*q - c*f + 20 for q.
0
Let x be (3 - 9 - -3)/((-27)/18). Solve 3*i = -4*s - 9 - 2, 6 = x*i - 4*s for i.
-1
Suppose -2*k + 99 - 101 = 3*h, -1 = 3*h + k. Solve 0 = -2*i + 2*b, 3*i + 3*b - 8*b - 10 = h for i.
-5
Suppose 5*b + 2*a - 10 = 0, 4*b + 5*a = 5*b - 29. Solve 4*v - 8 = -4*p, b*p - 32 = -0*p + 4*v for p.
5
Let a be (15 + -16)/((-2)/102*3). Solve -4*j - 2*k = j - 19, 4*k - a = -3*j for j.
3
Let a = 361 - 358. Solve -a*v - 5*w + 41 = v, 0 = -5*w + 25 for v.
4
Let l(p) = -4*p - 17. Suppose 0 = -0*k + 4*k + 5*c, k = -3*c + 7. Let z be l(k). Solve h = z*h + 6, 3*y - 3*h - 3 = 0 for y.
-2
Let t(y) = 0*y + 2*y + 10*y**2 + 3 - 2. Let j be t(-1). Let k be 0 - j/(-3) - -19. Solve 0 = -3*l - 4*o + 10, -3*o = -2*l - k + 6 for l.
-2
Let r = 388 - 378. Solve -2*j = -5*i + 7, r = 3*i - 3*j + 4 for i.
1
Let a be (0 - -4) + (-15 - -19). Suppose 2*y = -3*m + 13, 4*m - 2*y = -0*m + a. Solve 7 = m*t + s, -t - 36 = -5*t + 4*s for t.
4
Suppose 190 + 965 = -11*m. Let j = m + 112. Solve -4*s + 7 = -2*c + 7*c, -3*s = 2*c - j for s.
3
Let f(m) = -m**2 + 17*m + 113. Let c be f(22). Solve 0 = -3*n - a - 5, a - 7 - c = 2*n for n.
-3
Suppose -4*u + p + 0*p + 33 = 0, -30 = -4*u + 2*p. Let a(n) = n**3 - 9*n**2 + 2. Let m be a(u). Solve 2*o + 4*s + 16 = 0, -m*o - 3*o - 16 = -2*s for o.
-4
Let f = -51 + 79. Suppose y + 13 = 3*u, -y + 5 - f = -5*u. Let n be 0/(0 - (y + 0)). Solve 0 = 4*p - n*k + 3*k + 19, 28 = -3*p - 5*k for p.
-1
Suppose 2*h - 12 = 4*n, 2*h + 2*n + 10 = 4*h. Let t = 1 + h. Suppose 0 = -t*w, -5*w = b - 0*w. Solve -17 = -4*j + l, b = 3*l - 10 + 1 for j.
5
Suppose 3*w + 0 - 6 = 0. Let d be (-66)/(-12) + (-1)/w. Suppose -d*x + 16 = -x. Solve -s + x*s - 5*k - 4 = 0, -k = 3*s + 8 for s.
-2
Let l(m) = -2*m**2 + 16*m + 2. Let x(s) = s**3 - s**2 + 8. Let u be x(0). Let r be l(u). Let y = 21 - 13. Solve -11 = -5*i + 9, -r*f = -3*i + y for f.
2
Let j = 5 - 0. Suppose 0 = 2*u - u - j. Suppose u*s + 4*q = 40, 26 = 4*s - q + 3*q. Solve x - 5*k = s*x + 35, -20 = 5*k for x.
-5
Let u be (2 - 1)*-1*-4. Let n(j) = -j**3 + 5*j**2 - 3*j - 4. Let h be n(u). Let m be -4*10/(-16) + 3/(-6). Solve h = x + 3*a + 20, m*a = x + a for x.
-5
Let t(b) = b**2 - 11*b + 6. Let w be t(11). Suppose 0 = -8*g + w*g. Solve 27 = -3*s + 5*z, 5*z - 9 - 6 = g for s.
-4
Let w be -3 - 4/(-10)*(32 + 68). Solve -4*a - 20 = 0, 6*v - 5*a = 3*v + w for v.
4
Let k(b) = -b + 2*b**2 - b - 7 - 4*b**2 - 7*b. Let r be k(-3). Solve -2*t - 18 = -4*o, 3*o + r*t - t = 16 for o.
5
Suppose -4*o = 4*z - 72, -5*z + 16*o + 110 = 11*o. Solve z = -5*r, r + 3*r + 8 = -4*f for f.
2
Let a = 10 + -2. Suppose -k = -5*k + a. Let m = 0 + k. Solve -4*f = 4*y - 20, 3*f + m*y - 4 = 7*f for f.
1
Suppose f + 2*o - 9 = -0*o, -3*f + 15 = 2*o. Let w be 10/((-70)/21) - -3*3. Suppose w = f*y - 0*y. Solve -c = -r + y - 0, -4*c = -2*r + 8 for r.
0
Suppose -5*x + 0*b - 2*b = -11, -5*b - 7 = x. Solve 2*g - 2*y - 1 = 19, x*g - 10 = -y for g.
5
Suppose 0 - 96 = -4*m - 5*j, 4*m - j = 120. Let k = m + -29. Solve k = -2*y - 3*d - 10, -5*d = 5*y + 9 + 6 for y.
1
Let g(k) = -k**3 + 4*k**2 + 12*k + 3. Let r be g(6). Solve -z = 5*b + 26, 16 = 6*z - 7*z - r*b for z.
-1
Suppose -26 = l - 90. Let n = 67 - l. Solve w = y - 5, -y + 2*y - n*w - 15 = 0 for y.
0
Let x = 2779 - 2777. Solve -s - 6 = 4*d, x*d = 2*s - 3*d - 14 for s.
2
Suppose 3*y = 4*f - 20 - 20, 4*y + 51 = 5*f. Solve 2*l + 2*l + 5*g - f = 0, 5*l - 3*g = 18 for l.
3
Let a = -160 - -164. Solve 5*s - 10 = 9*x - a*x, 35 = 4*s + 5*x for s.
5
Suppose 6*u - 8*u + 8 = 0. Let j be (-1 - 2)/((-6)/u). Let s(c) = c**2 - 11*c - 89. Let p be s(17). Solve 3*i = j*x - p, -2*i - 3*x - 2*x + 4 = 0 for i.
-3
Suppose 0*l = -3*l + 24. Let q = 0 - l. Let o = q - -11. Solve -9 = -3*s + 3*a, -7*s + o*s + 24 = 2*a for s.
5
Suppose 5*g + 37 - 77 = 0. Suppose -7*x - 24 = -g*x. Suppose 0 = i + 1 - 4. Solve 0*v + 4*r = -v + x, -2*v = i*r - 23 for v.
4
Let z be (((-90)/63)/(-5))/(2/14). Solve -3*i + 4 = 5*c, -c + 3*i = -6 - z for c.
2
Suppose -10*y - 2*z = -14*y + 22, 3*z = -4*y + 17. Solve y*n - 5*g = 0, 3*g = 3*n + g + 2 for n.
-2
Let u be (-4)/6 - (-11)/3. Let f be 3 - (-8 + 4 + 2). Suppose 0 = 4*l - 4*v - 28, -24 - 1 = 5*v. Solve 4*p - l - 3 = -u*w, 0 = 3*p + 4*w + f for p.
5
Let u be 8 - (4/(-8)*6 + 6). Let f be (1 - -9)/(10/u). Solve -2*z - j = -4, f*z + 6 = -2*j + 14 for z.
0
Let f(k) = k**2 + 2*k - 45. Let m be f(-8). Solve 4*n - 4*x - 12 = 0, -x = -n + m*x + 9 for n.
1
Suppose -100*u - 14 = -102*u. Solve -3*h + 20 = 4*k, 3*h + 2 - u = -k for k.
5
Suppose 0 = y + 402 - 405. Solve 0 = -r + 4*j - 3, 3 = y*r - 4*r - 4*j for r.
-3
Suppose -7*d = -4*y - 10*d + 92, 5*d = 0. Solve 5*n + y = 4*x, -2*n + 5*x - 25 = 3*n for n.
-3
Let u(g) = -12*g + 3 + 5 + 5 + g**2. Let r be u(12). Let d = 5 - 2. Solve d*h + 1 = -2*o, -5*o - 18 - r = -2*h for o.
-5
Let c(w) = -6*w**3 + 5*w + 5. Let u be c(-2). Let s = 45 - u. Suppose 6 + 14 = 4*n. Solve -n*p - 45 = -5*g, -5*p = 3*g + s*g - 5 for p.
-4
Let o = 264 + -254. Solve v - 29 + o = 3*r, -3*r = 3*v + 3 for v.
4
Suppose 80 - 25 = 11*o. Solve -p + 4 = -i, -3*p - 20 = -5*p + o*i for p.
0
Suppose -2*d = 2 - 12. Suppose 4*s = 3*k - 0*k - 7, -s + 27 = d*k. Solve -s*x - 15 = -3*r, 4*x - 3*x = -r for x.
-3
Let v(c) be the first derivative of c**4/4 - c**3/3 - 3*c**2/2 - 4*c - 3. Let w be v(3). Solve -3*b + 2*b = w*j + 25, -b = -3*j - 15 for j.
-5
Suppose -10*y - 5 = -7*y + 4*s, 2*y = -4*s - 10. Solve -4*a - y*m + 15 = 0, 12 = -a - a + 4*m for a.
0
Let p = -55 - -46. Let t = -7 - p. Solve 2*n - 3*r = -13, 21 = -3*n + 3*r + t*r for n.
-2
Let o(z) = z + 1. Let s be o(3). Let y = -2 + s. Suppose -y*f + 2 = -12. Solve i + i + f = -v, i = -v - 5 for i.
-2
Suppose 0 = -64*c - 24*c + 1232. Solve -4*o + 45 = 5*p, -c*p = 5*o - 10*p - 45 for o.
5
Let i be ((-1)/(-12) + 5/20)*15. Solve i*n = -q + 5, -3*q + 3 - 1 = 2*n for n.
1
Let u = -59 - -61. Let l(r) = 2*r**2 + 1. Let t be l(-1). Suppose -8 = n