 - f for y.
-2
Let m(y) = 0*y + 0*y + 4 - y. Let k(h) = 3*h**3 + 2*h**2 - 2*h + 1. Let i be k(1). Let v be m(i). Solve v*r - 12 = 4*f - 5*r, -12 = 4*f - 2*r for f.
-3
Suppose -5*j + 3 = -17. Suppose -7 = -2*c - 5*n, -j*c + 3*n - 49 = -8*c. Solve -f - 9 - 4 = -4*i, -c = 4*f + 2*i for f.
-5
Suppose 243*c = 244*c. Solve c = -h + g - 0*g - 6, -5*h = -2*g + 27 for h.
-5
Let w = 125 - 111. Suppose -2*i - 5*i = -w. Solve 4*p - 12 = 4*h + 20, -h = i*p - 4 for h.
-4
Suppose 4*p - 86 + 6 = 0. Let q be (-1 - -5) + 1 + p. Suppose 0*w = -3*w + 5*h + 34, -w + h = -8. Solve -w*v = -v, q = 5*n + v for n.
5
Let k be -2 + 0 + 5 - 1. Let q(f) = 8*f - 35. Let x be q(5). Suppose -x*b + 13 = -k. Solve b*n - 4*n = 2*z + 10, 0 = -3*z + 4*n + 7 for z.
-3
Let y be 54*(9/6)/3. Suppose -2*v = -4, 2*v = 3*g + y + 247. Let z be 86/30 + (-12)/g. Solve -30 = 5*a - 5*i, z*a - 5*i = 6 - 34 for a.
-1
Let w(y) = 3*y**2 - 3*y - 4. Let r be w(-2). Suppose r*k = 2*k + 48. Solve 8*j + 22 = -3*l + 4*j, 2*j + 16 = -k*l for l.
-2
Let a be (-40 - -4)/(-6) + 1. Solve p + 5*z = a, -5*z + 1 + 9 = 0 for p.
-3
Suppose -12 = 53*f - 56*f. Solve -f*p = -3*p + 2*a + 1, p + 4 = -3*a for p.
5
Let t(f) = -f**2 - f + 45. Let h be t(-7). Suppose -3*v + j = -37, -4*j = -9*j + 10. Solve 2*l = h*n + n - 14, -v = n + 5*l for n.
2
Let j(m) = -2*m**2 + 22*m - 15. Let l be j(10). Let n be 20/(15/3)*l. Solve -4*z + n = -3*s + 1, -6 = -z + 2*s for z.
4
Suppose -2683*y = -2684*y + 15. Solve 0 = 3*c - w - y, w = 4*c - w - 22 for c.
4
Suppose -648 = -33*a - 21*a. Solve -v + l = 5*l - 12, 0 = -4*v + 4*l - a for v.
0
Suppose 0 = 3*t - 4*p - 8, 2*t - 3*p = -3*t + 6. Let v be 2 - 2 - (-18)/(6 + t). Solve 2*w + 10 = 0, -v*w - 6 = -2*x + 9 for x.
0
Let k be (28 - 0) + 33/11. Let l = k + -31. Solve l = 3*s - 3*a - 6, 0 = -2*s + 4*s + 5*a - 25 for s.
5
Suppose -n = -45 + 45. Solve 3 = -k + j, -j - 6 = 2*k - n*j for k.
-3
Suppose 3*j - s - 52 = -2*j, 4*s - 2 = -j. Suppose 5*l - j*l = -10. Solve 0 = 2*q + c - 11, l*q + 13 = 3*c + 4 for q.
3
Let w = 13 + -11. Suppose 3*r - 8 = -2. Solve 0 = 5*d - 4*j + 4, 0*d - w*j + r = 4*d for d.
0
Let v be ((-8)/(-6) - 2)*-3*3. Suppose -d - d = -v. Solve -20 = 5*y + 2*p, -d*p + 1 + 7 = -2*y for y.
-4
Suppose 4*t + 2*w = 16, -t + 18 = 7*w - 3*w. Let n be 0 - -3 - (0 - -1). Let p be -1 - ((-9 - -1) + n). Solve 3*g = 3*k + t*k - 14, p*k = -g + 2 for k.
1
Let p(z) = -z - 9. Let o be p(-7). Let b be (0 + 0 - -1) + o. Let x be ((-2)/4)/(b/4). Solve -x*c - 8 = -t + 2, -2*t + c + 11 = 0 for t.
4
Let x = 0 + 5. Solve -4*j + 5*t = 54 - 17, -x*j = 5*t - 10 for j.
-3
Let i be ((70/(-25))/7)/((-3)/15). Suppose -4*l = -2*d + 36, 4*d - i*d - 1 = -3*l. Solve x + 4*n - d = 0, -3*x - 4*n + 24 = -6*x for x.
-4
Let x = 604 + -601. Solve -5*i = -3*m - x*i + 3, -m - 2*i + 9 = 0 for m.
3
Let z(u) = 4*u + 16. Let r be z(0). Suppose -5*a = d + d - r, -26 = -4*a + 5*d. Solve 5*n + x = -15, n + 3 = 7*x - a*x for n.
-3
Let w be (-24)/(5/(-5) - -2). Let d = w + 26. Solve d*f - 17 = -5*g - 0*f, 12 = 5*g - 3*f for g.
3
Suppose -6*k + 33 = 9. Let w(i) = i**2 + i - 2. Let b be w(-3). Suppose 2*q = 2*a - 34, -a = -0*a + b*q - 2. Solve -k*y = h - y - a, 4*y = 2*h + 12 for h.
2
Suppose -16*y - 660 = -14*y. Let j be 2/17 - y/85. Solve -4*s = d + 3 - 12, -d = -s - j for d.
5
Suppose 7*j - 1179 + 1151 = 0. Solve -15 = 3*u, u + 9 = -5*t + j*t for t.
-4
Suppose 0*v + 5*v = 15. Suppose 3*b = -15, -v*c + 14 = -4*b - 33. Solve -3*r - g - 6 = -0*r, -2*g = 5*r + c for r.
-3
Let g be 3 - 0/(0 - 3). Suppose -d + 0 + g = 0. Let b = 530 - 530. Solve 4*a - d*a + 1 = -m, 5*a - 3*m - 3 = b for a.
0
Suppose -5*t - t + 18 = 0. Suppose -2*y = 2*y - 4*m - 64, t*y = 5*m + 56. Solve -3*n = 4*s + 2 - 7, 4*n = y for s.
-1
Let y = -1636 + 1636. Suppose -2*p + 2 = -p. Solve 5*l = -y*l + 4*n + 1, -3*n = -p*l + 6 for l.
-3
Suppose j - 2*y + 11 = 0, 2*j - y + 2*y - 3 = 0. Let r be j + 11 - (-6 - -10). Suppose u - 14 = -r*u. Solve -2 = 3*d - x, u*d - 5*x - 3 + 13 = 0 for d.
0
Let b = 15 - -9. Let w(p) = -p**3 - 1. Let m be w(-2). Suppose m*q - q - b = 0. Solve -s = 3*f - 0*s + 14, q*f - 13 = 5*s for f.
-3
Suppose 3*c - 4*x = 2 - 4, 3*x = 15. Suppose c*h = 10 + 50. Solve 0 = -g - 4*p + h, 4*p = 3*g + g for g.
2
Let d be 2/(-7) + 16/7. Suppose 41*c = 45*c + 2*w - 108, 5*c = 3*w + 124. Solve 3*l = -t - 5, -5*t - c + 1 = -d*l for l.
0
Suppose 10*w = 12*w + 38. Let z be (5 - w/(-2))*-2*1. Solve -a + 2*q - 2 = -2*q, 5*a = q + z for a.
2
Let z be (1 - -1 - 3)*2. Suppose 8*v - 34 = -10. Let t = v - z. Solve 4*p + 16 = t*g - 4, -p - 12 = -3*g for p.
0
Let o be 4 - (1 + (-4 - -3)). Suppose -o*y = -6*z + 2*z + 24, 0 = -3*z - 5*y + 10. Solve q + q = 3*t - z, 30 = 3*q + 3*t for q.
5
Suppose -p + 2 = -13. Suppose p = 3*w, -y - 5 - 9 = -4*w. Solve 0 = 2*k - y*k - c + 6, -c = -k - 1 for k.
1
Let u be 5 + 2 + (12*-1 - -5). Solve u = -4*a + w + 5, -w = -4*w - 15 for a.
0
Let a(g) = -g**2 - 13*g + 16. Let r be a(-14). Suppose -4*k + 6*k - 8 = -c, 3*k - 3*c = -6. Suppose k*y - 7 = 3. Solve 0 = -u + 1, 2*u - r + y = f for f.
5
Let a be 8 + 6/12*-10. Solve -13 = 5*l - 4*y, -a*y - 28 = 4*l + 1 for l.
-5
Suppose -4*s = -3 + 15. Let j be 18/3 - (s + 7). Solve -4*u + j*a = -2, -u + 0*u = 3*a - 4 for u.
1
Let n be (-3)/18 + 259/42. Let p = n + -2. Solve -4*t + 2*q = 4, -2*t + p*q = -6 + 2 for t.
-2
Let h = -314 + 316. Solve -2*l = -2*y - 4*l + 12, h*y - 2*l = 4 for y.
4
Suppose 5*d = -4*n + 4, 8 - 4 = -n. Let v = d + 1. Suppose -i = -v*k + 75, -i - 2*i - 17 = -2*k. Solve -5*q + k = 2*h + 2, 0 = h + 3*q - 8 for h.
2
Let x(t) = -t - 8. Let y be x(-3). Let u be (15/y)/((-3)/5). Suppose -5*z + u = -m - 10, -5*z + 30 = 2*m. Solve 2*d - 2*r = 0, -r + 8 = -m*d + 2*r for d.
-4
Let c = 34 + -31. Suppose -c*j = -o - 11, o - 7 = j + 6*o. Solve 4*w - 28 = 4*k, j*k = 6*k - 4*w + 26 for k.
-2
Let k be 7 + (-1 + -1)*(-66)/(-44). Solve -k*g - 29 = -5*x - 3*g, -4*x - g + 16 = 0 for x.
5
Let g(u) = u**3 - 20*u**2 - 2*u + 42. Let w be g(20). Suppose 15 = -3*l, 0*q + w*l = 5*q - 30. Solve q*t + 11 = 3*n, -n - 2*n = -3 for t.
-2
Suppose -3*l + 3*b - 83 = 184, -3*l = -b + 257. Let k = l + 54. Let n = k + 35. Solve 0 = -m + 3*y - n, 0*y = -m - y + 3 for m.
1
Let k be (-329)/(-35) - (-6)/(-15). Suppose 6*o - 9*o + k = 0. Solve -2*n - 11 = 3*s, 3*s - 17 = o*n + 8*s for n.
-4
Suppose 0 = -8*y + 58 - 2. Solve -y = 3*x + 5*g - g, -x - 3 = g for x.
-5
Let a(c) = -14*c + 313. Let s be a(22). Solve 5*z = -s*g + 2*g + 5, 0 = -3*z + 5*g + 3 for z.
1
Suppose 4*d + m = 2*m + 17, 5*m - 15 = 0. Let p = -5 + 5. Suppose 4*z - 2*y = p, 2*y - y = 0. Solve d*l - 5*a + 10 = -z, 5*l = -a + 20 for l.
3
Let l be (-2)/(-5) - (-18)/30. Let i be 34/10 + l + 6/(-15). Solve -5*r = -i*n - 6, r + 6 = 4*n + 2*r for n.
1
Let h be 2/(-24)*-33 - 1/(-4). Suppose -18 = -h*s - 0*s - 3*v, -4*s + 5*v = 12. Suppose -5*q + 12 = -3. Solve 0 = n - 2*i - 0*i + 6, -s = q*n - 2*i for n.
2
Let d = -31 - -28. Let g = d - -6. Solve -3*y + 5*j - g = 0, 3*y + j - 4*j = 3 for y.
4
Suppose 0 = 4*g - 3*g - 12. Suppose -3*k - 135 = 3*j, 7*k - 33 = j + 4*k. Let d be 62/g + 7/j. Solve o - 1 - 2 = -4*h, 3*o - 9 = d*h for o.
3
Let o = 732 + -729. Solve 13 = -3*r - 2*r - o*v, -4*v + 26 = -2*r for r.
-5
Suppose -9 = 5*w - 34. Let x(m) = -23*m + 5*m + 1 - 3. Let o be x(-2). Solve w*p + o = 3*i, 2*i + 0*i = 2*p + 16 for p.
-5
Let b = -512 - -516. Solve 5*t = -b*q + 1 - 28, -t + 5*q + 12 = 0 for t.
-3
Suppose 0 = -x - 183 + 185. Solve -j - x*o - 2 = -3*j, 0 = -3*j + 4*o + 7 for j.
-3
Let w(n) = 8*n**2 - 9*n**2 + 15*n - 9 + 0*n**2. Let o be w(11). Suppose 5*x + 3*a - 12 = 2*x, -x = 5*a. Solve -o = -0*s - x*s - 3*i, 5*s - 15 = i for s.
4
Let m = 12 + -11. Solve 5*q = -g, 4*q + 5*g - 20 = m for q.
-1
Let p(z) = z - 21. Let k be p(11). Let g = k - -14. Solve 0 = -5*a - g*m - 21, 3*m + 24 = -5*a + 2 for a.
-5
Suppose -8 = -4*x - 0. Let g = 58 - 94. Let q be (g/(-20) - 2)*-5. Solve -x*z + 0*b = -3*b - q, b = -5*z + 11 for z.
2
Let v(i) = i**3 + i**2 - 24*i - 16. Let x be v(-5). Solve d + x*n + 0*n = -7, -n = 2*d for d.
1
Suppose -2*m + 26 = 3*t, 5*m + t - 5*t = 42. Suppose 9*u - m = -1. Solve 3*x - u = j - 5, 5*j = 4*x + 20 for j.
4
Suppose 11*g - 36 = -g. Solve 3*j + g*v = -24, j - 2*v - 9 = -2 for j.
-3
Suppose -5*v + 0*o - o + 22 = 0, 0 = 5*v + 3*o - 26. Solve v