- w, 0 = 5*f - 2*k + b for f.
-3
Suppose 0 = -13*y - 45 + 110. Solve -5*d = h, -10*d + h = -y*d for d.
0
Let a be (55/(-10) - -5)*-8. Solve 4 = x, 5*t + x = a*x - 2 for t.
2
Let a(f) = -8*f + 14. Let p be a(6). Let d = p + 57. Suppose -5*j + 12 = -d. Solve 2*s - 4*i + 21 = j*s, -11 = -3*s - 4*i for s.
5
Let h = 199 + -197. Solve 0 = -5*p + 4*p + 3, 0 = -2*k + h*p - 14 for k.
-4
Suppose 55*m - 300 = 43*m. Solve -5*r + 9*s = 6*s - m, 3 = 4*r + s for r.
2
Suppose 28*w - 33*w + 20 = 0. Solve -20 = 5*s + 2*l, s - l + w = 3*l for s.
-4
Let k = -4 + 7. Suppose k*m + 2*u + 6 = -1, -u = 5. Solve 5*b = 3*n + 16, -n + m + 5 = 4*b for n.
-2
Let u be 2/2 + 2 + -1. Let b(h) = h**3 - 3*h**2 + h. Let w be b(u). Let a = w - -4. Solve 5*m + 3*v = -14, -a*m - 26 = 2*m - 5*v for m.
-4
Suppose 9*b - 4*o = 4*b + 38, 0 = -b + 5*o - 5. Let r be (168/35)/(-1 - (-13)/b). Suppose -3*l + 18 = -75. Solve -4*v - r = -2*z, -4*v = 2*z + l - 7 for z.
-2
Let c = 12 + -9. Suppose -c*y - z + 44 = -y, -y - 2*z + 16 = 0. Suppose 5*q - y = -q. Solve -2*d - 14 = -q*g + 2, 4*g - 5*d = 22 for g.
3
Suppose 2*f - 3*p + 22 = -5, -13 = f - p. Let x = f + 14. Solve 2*y + x = -0*n - 2*n, 3*n = 2*y - 8 for y.
1
Suppose -2*x - 4*n + 6 = -7*x, -3*x + 2*n - 2 = 0. Solve -x*u + 1 = -1, -l = -u + 6 for l.
-5
Let q be 1 + 5 + -8 - 2*-2. Solve 2*g + q*g = -n - 16, -4*n + 5*g - 1 = 0 for n.
-4
Let n be 436/(-8) + 3/(-6). Let x = n + 35. Let s be -2*(-2)/((-16)/x). Solve -s*k = -2*g - 12, 3*k - 7 = 3*g + k for g.
-1
Let m(d) = 3*d - 2. Let r be m(2). Let a be (r/16)/(3/24). Solve a*x + 7 = -5*w, -2*w + 3 = w + 3*x for w.
-3
Suppose -63*n = -72*n. Solve n*l + 3*l - 12 = 0, 4*u = 3*l + 8 for u.
5
Let b(d) = -3*d**2 - d - 4. Let y be b(-4). Let l be (4 - 10/3)/(1/108). Let g = l + y. Solve 5*n = v + 32 - 4, -3*n + g = -3*v for v.
-3
Let y = 5 + -3. Let n(z) = -z**3 + 6*z**2 + 10*z - 60. Let f be n(6). Solve f = u + y*u - 9, 3*x + 5*u = 18 for x.
1
Let g(j) = -1 + 0*j**2 - j**2 - 1 - j**3 - j**2 - j. Let q be g(-2). Solve -s + 0*s + 5*f - 8 = q, -3*f + 6 = -s for s.
-3
Suppose 0 = -4*v + 16 - 0. Let c(t) = -t**3 + 5*t**2 - 12. Let j be c(v). Solve 5*y - y = 4, -4*y + 4 = -j*r for r.
0
Let h be 12*(8 + (-329)/42). Solve 3*n = -p - 0*p - 2, h*p = n + 10 for p.
4
Suppose 3*t = -2*t. Let p = t + 2. Suppose 0 = -3*k - 5*r + 17, 2*r - 4*r + 10 = p*k. Solve k*j + b = 4, 5*b - 29 = 2*j - 9 for j.
0
Let d(u) = -u - 1. Let y be d(-10). Suppose -y*w = -12*w. Suppose -2*g + 8 = w, c + 3 = 5*g - 3. Solve -3*z + c = -s, -s + 0*s - 5*z = -18 for s.
-2
Let f be (-15)/(-9) + (-20)/30. Solve 5*m - 21 = 2*i - f, m - 4 = i for m.
4
Suppose 0 = 12*j - 14*j + 10, 4*m - 2*j + 6 = 0. Solve m = 5*k + 4*c, k = 5*k + 4*c for k.
1
Let s = -128 + 132. Solve l + 13 = -5*n + 30, s*l + n + 8 = 0 for l.
-3
Suppose -4*v = 2*k - 61 - 25, 5*k + 73 = 2*v. Suppose 3*o + o + v = 0. Let t = o + 8. Solve -2*g - 16 = t*n, 3*g + 0*g - n + 12 = 0 for g.
-5
Suppose 0 = r - 2*r + 4. Let m(g) = g - 3*g + g + 2*g. Let j be m(2). Solve 0*p - 2*p = 2*d - j, 4*d = -5*p + r for p.
0
Let k(u) = 2*u**2 - u - 7. Let x be k(5). Let f = x - 34. Suppose 0 = -5*d + 3*w + 65, -4*d + 52 = -2*w - w. Solve -f*b + d = 3*t, -4*b + 2 + 2 = 0 for t.
3
Let d be (24/5)/((-6)/(-15)). Suppose 2*i = 4*i + d. Let h(j) = j**2 + 4*j - 7. Let s be h(i). Solve 25 = s*o + 4*m, o - m + 25 = 6*o for o.
5
Suppose 188*x + 132 = 254*x. Let s be 3*(-1 - (-3 + 1)). Solve 4*m - x*r + 4 = 0, 0*m + 6 = -3*m + s*r for m.
0
Let y(w) = -2*w**3 + 5*w**2 - 2*w + 1. Let p be y(0). Solve p = -3*n + 6*n + x, 0 = n + 4*x + 7 for n.
1
Let g(q) = -25*q - 20. Let h be g(4). Let w = 123 + h. Solve -5 = -b - 4*c, -w*b - c = 2*b - 6 for b.
1
Let n = -4 + 35. Let p = n - 19. Solve -a = -2*x + 2, 5*x = -3*a + 2*a + p for a.
2
Suppose -5*a = -3*a - 5*n - 19, 15 = 3*n. Solve 2*c = -3*w + 4*w + 11, -5*c + a = 3*w for c.
5
Suppose -4*v + 2*s = -20, 4*v + 5*s + 30 = 9*v. Solve -5*z - 20 = 3*n - 4, 0 = -z + v*n + 6 for z.
-2
Let l(q) = -q**3 + 5*q**2 + 2*q - 11. Let h be l(5). Let j(s) = -2*s - 2. Let o be j(h). Solve -3*w + 22 = -o*w - 5*x, -4*x = -4*w + 24 for w.
4
Suppose -3*x = 2*f - 21, 5*f - 13 - 2 = 0. Suppose -x*k - 12 = -32. Let d be (-1)/k - 13/(-4). Solve 2*t = 3*n, -5 + 6 = d*t - 5*n for t.
-3
Suppose 0 = -2*s - 4*l - 6 - 0, -5*s + 55 = -4*l. Suppose -8 - s = -5*m. Solve -5 = -5*v - 3*y - 1, -2*v + m*y = -10 for v.
2
Let y be 2/8 + (-4)/16. Suppose y*f + 51 = 3*f. Suppose 2*k - 14 = -0*k. Solve o = -4*x + k, -4*o + 5 - f = -4*x for o.
-1
Suppose -279*j + 28 = -272*j. Solve -k + j*k + 5*a = -8, 0 = 2*k + 2*a + 4 for k.
-1
Let l be (4 + -3)/(-1 + 46/47). Let i = l + 49. Solve 0 = v - i*w + 3*w + 7, 2*v + 23 = -5*w for v.
-4
Let u = -27 - 10. Let o = u + 41. Solve g + r + 3 = 0, 0*r + r = -o*g + 3 for g.
2
Let q(f) = f**3 + 3*f**2 - 18*f + 4. Let v be q(-6). Solve v*j - 3*j - 2*a + 5 = 0, 4*j + 10 = -2*a for j.
-3
Let m be 692/28 + 10/35. Solve 0*a + 3*l = 5*a + m, 0 = -a - 5*l + 23 for a.
-2
Suppose 4*y = 3*n + 51, -y = 17*n - 15*n - 21. Solve l + 3*w = -y, -8*l + 3*l - 2*w - 10 = 0 for l.
0
Let o(g) = 4*g**2 + 4*g - 2. Let f be o(-2). Let q = -2 + f. Solve -3*n + q*y - 12 = 0, 0 = -5*n - 3*y + 2*y - 20 for n.
-4
Suppose 0 = 2*g - 0*g + 110. Let s = -52 - g. Solve -4*x = -s*m + 5*m + 2, -2*m = -x + 12 for m.
-5
Suppose -54 = -2*s + 4*w, -2*w - 3 = -w. Solve 2*z - 3*n - 19 = 0, 2*z - 2*n - s = -z for z.
5
Let x = -9 - -11. Suppose 5*o - 63 = -3*i, o + 21 = -x*i + 3*i. Solve 2*d = 5*r + 23, -4*d + 5*d + 4*r + i = 0 for d.
-1
Let v = 639 + -634. Solve -5*b - 6*x = -2*x + v, 3*b + 35 = 4*x for b.
-5
Let m be 11 + (0/(-3))/2. Suppose 6*z = 32 + 34. Let f = m - z. Solve 5*n + 10 = f, -n + 6*n = 5*y - 10 for y.
0
Let t be 0 + 2 + (-12 - -15) - 0. Let k be -9*(0 - (-2)/(-6)). Suppose -2*u + 4 = -3*j - 15, 0 = -u - 4*j - 7. Solve u*d = 5*g + 3*d + t, -k*d + 1 = -g for g.
-1
Let o(l) = l**2 - 3*l - 8. Let w be (10/(-7))/((-22)/77). Let b be o(w). Solve 6*m + 3*d - 3 = 3*m, 0 = -4*m + b*d + 28 for m.
5
Suppose 0*d = d - 5. Solve 2*g = 3*r + 5, -d*g = -4*r - r for r.
-5
Let l be 108/26 - 10/65. Suppose -3*v = l*v - 35. Solve -5 = -0*g - v*g + 3*c, 2*g = 5*c + 21 for g.
-2
Let t = -119 - -121. Suppose -15 + 3 = -p. Suppose -3*x + 6*x - p = 0. Solve 4*l + 22 = -t*z, 0*l - 23 = x*z + l for z.
-5
Let p = -283 + 284. Solve 2 = -w - 2*j, w - p + 0 = j for w.
0
Let r(o) = 11*o - 43. Let h(i) = -4*i + 14. Let j(s) = -7*h(s) - 2*r(s). Let d be j(3). Solve -3*n + d*w = 5*w + 10, 0 = n - 2*w + 10 for n.
-2
Let d be (-220)/(-13) - (-155)/2015. Solve 4*a = 3*m - 11, m - 13*a = -d*a - 23 for m.
-3
Let k be 6 - (-7)/((-7)/(-6)). Solve 22 = -5*n + z, 1 = -5*n + 4*z - k for n.
-5
Let o(j) = j**2 + j + 1. Suppose 4*t + 6 = -b, t = -b - 3 - 0. Let d be o(b). Suppose d - 17 = -2*k. Solve 2*w = 2, -i + 3*i = -w - k for i.
-4
Suppose 0 = 5*m - 4*a - 12, 309*a - 10 = -2*m + 308*a. Solve 2*w - 5*u + m = 18, -5*w = -2*u - 14 for w.
2
Let o(q) = -q**2 + 6*q - 14. Let s be o(7). Let i = s + 23. Solve i*t + x + 6 = 2*x, 8 = t + 5*x for t.
-2
Let k(y) = -4*y + 13*y - 8*y + 9. Let v be k(-9). Solve -2*x + 2 = v, -u - 4 = -3*u + 4*x for u.
4
Suppose -5*n + 7 + 19 = 2*r, r - 11 = -2*n. Suppose -47 + 155 = 27*c. Solve -r*m - 2 = -h, -28 = -5*h + m - c for h.
5
Let g(w) = -w**3 - 25*w**2 + 12. Let c be g(-25). Let n be 3/12 + 9/c. Solve 2*p + i - 2*i = -n, -3*p + 1 = -i for p.
2
Let z be -5*1*8/140*-7. Solve y = -l - 0*l + 3, 5*l - z*y = -6 for l.
0
Suppose 0 = -3*s - 5*t - 5, -4*s - 2*t - 2 = s. Suppose -3*o + s*o - 5 = 5*g, 14 = 2*g - 2*o. Solve 3*q - 4*c = 22, -g*q - 3*c = -4*c - 8 for q.
2
Suppose 2*b = 2*l + 40, 0 = 2*b - l - 11 - 28. Let y = 23 - b. Solve 5*d - 35 = 5*u, -u + y = -3*d - 3*u for d.
2
Let l(n) = -n**3 + n + 3. Suppose -3*k + 1 = -2*k. Suppose 2*z + 2*u + 10 = 0, 0 = -u - 6 + k. Let o be l(z). Solve -9 = o*h, 3*d - h - 13 = d for d.
5
Let m(o) = 3*o**3 + o**2 - o. Let z be m(1). Suppose -11 = -4*d - z. Solve -d*b + b - 2*l = -8, -4 = -3*b + 4*l for b.
4
Let d(x) = 2*x**2 - 5*x - 6. Let q be d(-1). Solve 3*h = 2*o + 4, -o + 2 = -3*h + q for o.
-5
Let x = 7 + -4. Let v = -112 + 117. Suppose 0 = -6*r + v*r + x. Solve -2*u + 5 = r*o, u - 2*u - 10 = -o for o.
5
Suppose -39 = 4*b + 8*z - 3*z, -3*z = b + 1. Let r be ((-3)/6)/(4/b)