1. Let u be y(-1). Suppose 0 = -j + 5 - u. Solve 11 = -j*z - 4 for z.
-5
Let p be ((-2)/4)/((-3)/12). Suppose -4*s = 8, -8*m + 3*m + p*s = -74. Let q = -10 + m. Solve 0 = -q*i - 4 for i.
-1
Let q be 10/(2 - (0 - 0)). Suppose -z - z = -q*s - 31, 30 = 5*z - 3*s. Solve 1 = z*b - 2 for b.
1
Suppose 4*n - 12 = -0*n. Suppose -2*v = n*v - 35. Solve -3 = 4*q - v for q.
1
Let q(s) = -s**3 - 4*s**2 + 5*s + 2. Let w(m) = m - 12. Let c be w(7). Let j be q(c). Let d be 2 + 2/(-4)*-2. Solve 0 = -b + j*b - d for b.
3
Let g = -10 + 16. Let a be 3*(1 - g/(-9)). Solve -y + 16 = -a*y for y.
-4
Let d(o) = -o**3 - o**2 - 1. Let s be d(-2). Solve -11 = -s*h + 4 for h.
5
Let z(l) = 3*l**3 + 2*l**2 - 1. Let o be z(1). Suppose -c - o = -8. Suppose 5*h + c*f + 3 = 6, -3*f = -4*h + 21. Solve h*r = -0*r + 9 for r.
3
Let t(q) = -q**2 - 2*q. Let p be t(-2). Let j = p - -4. Solve j*v = v for v.
0
Let g be ((-14)/4)/((-1)/8). Let p be (-2)/(-7) - (-300)/g. Solve 0 = -4*r + 5 + p for r.
4
Let q be (-6)/(1/(6/(-4))). Let w(o) = 2*o**3 + o**2 - o + 1. Let d be w(-2). Let p = d + q. Solve p = 2*z + 1 + 7 for z.
-4
Let a(d) = -3*d - 3. Let o be a(-2). Solve -o - 1 = -4*r for r.
1
Let n be ((76/5)/4 - 3)*10. Solve 0*s = 2*s - n for s.
4
Suppose 6*u - 10 - 2 = 0. Solve -u*s + 3 = s for s.
1
Suppose 3*q - 3 = 2*q. Let k = 13 - 11. Suppose -5*m + 27 = -2*p - q, k*p + 6 = 2*m. Solve 3*z - m = -2 for z.
2
Let t(f) = f**3 + f**2 - f + 2. Let d be t(0). Let x be (-46)/(-8) - d/(-8). Suppose 10 = x*k - k. Solve k*h - 2 = 3*h for h.
-2
Suppose -5*d - j = j - 27, -2*j = 3*d - 17. Suppose -d = 4*w + 7. Let c(b) = -2*b - 3. Let s be c(w). Solve s*v - 9 = 6*v for v.
-3
Let y be (-7)/(-1)*(-6)/(-14). Let k be (0*y/(-9))/2. Solve k*a - a = 0 for a.
0
Let s(v) = v. Let d(k) = -k**2 + 8*k + 3. Let b(i) = d(i) - 5*s(i). Let n be b(3). Solve -n*y + 8 = 2 for y.
2
Let q = -2 + 4. Solve -n - q = -1 for n.
-1
Suppose -2*g - 3 = -3*u - g, 8 = -2*u + 4*g. Solve 3*y = -7 - u for y.
-3
Let c(g) be the second derivative of 5*g**4/12 - g**2/2 + 3*g. Let x be c(-1). Solve 0 = x*w - 9*w for w.
0
Let z = 5 - 3. Suppose 4*l - z*k = -32, 2*l + 20 = -0*k + 2*k. Let a be (-10)/4*l/5. Solve a*b = -b + 16 for b.
4
Let w be -4*(-3 + 4) + 4. Suppose -2*j + 4*j = w. Solve -4*u + 0*u + 8 = j for u.
2
Let n(l) = 5*l**2 + 8*l - 5*l**2 + l**3 + 9 + 8*l**2. Let q be n(-7). Solve -q*h - 1 = 1 for h.
-1
Let n be ((-1)/(-3))/1*15. Suppose n*s = 8 + 52. Suppose 0*q + 28 = 5*p + 2*q, 0 = -5*p + 2*q + 32. Solve 0 = 2*j - p*j - s for j.
-3
Let a(h) = -h**3 + 6*h**2. Let t be a(6). Let r be (-4)/(-14) - (-61)/7. Let k = r - 4. Solve k*z + 5 + 0 = t for z.
-1
Let x(v) = -2*v + 21. Let t be x(0). Let w = t - 19. Solve -w*a = -3*a - 2 for a.
-2
Let m(v) = -v**3 + 12*v**2 - v + 15. Let z be m(12). Solve -z*o - o = -8 for o.
2
Suppose l + 2*c - 3 = 3*c, -3*l + 15 = -c. Let d be -3 + (-3)/(-6)*l. Solve r - 3*r + 10 = d for r.
5
Suppose -2*o + 195 = -5*y, 0 = 5*o - 0*y - 3*y - 478. Let k = o - 65. Let g be k/(3*(-2)/(-3)). Solve z - g = -2*z for z.
5
Suppose 6 - 4 = p. Suppose 2*b + 5*l - 11 = 28, 4*b = -4*l + 48. Solve -3*n + b = -p for n.
3
Let a = -19 + 20. Solve -2*t + 5 - a = 0 for t.
2
Suppose -2*c = -4*c + 3*d - 27, 4*d - 32 = 2*c. Let g = -6 - c. Solve -v - 3 = -g*v for v.
-3
Let p(n) = 4*n**2 + 3*n + 2. Let r be p(-1). Suppose r*u - 4*d - 75 = 0, 5*u - 2*u - d = 75. Solve 0 = -y - 4*y + u for y.
5
Suppose -3*v + 12 = -4*f, 3*v - f - f - 12 = 0. Solve v - 12 = -2*k for k.
4
Let z be 6/21 + (-36)/(-21). Suppose -z*y = -0*y - 4. Solve -c - y*c = -6 for c.
2
Suppose -3*s - 4*p + 28 = 0, 3*s - 4*p + 2 = -2. Let b(l) = -l**2 - 4*l + 7. Let w be b(-5). Let x be (w/2 - -5)/2. Solve x*m + s = -m for m.
-1
Let p(d) = 0*d - 2*d + d - 6. Let a be p(-6). Solve 0 = -a*n - n for n.
0
Let l = -33 + 37. Solve -l*c + 2 = 14 for c.
-3
Suppose 0*p + 8 = 2*p + z, 3*z - 16 = -4*p. Let o = 0 + p. Solve 6*n = o*n + 10 for n.
5
Suppose 3*z + 2*d + 2 - 11 = 0, 2*d + 16 = 2*z. Suppose 4*m - 3 = z. Solve -1 - 5 = -m*c for c.
3
Suppose 1 + 3 = 2*l. Solve -5*k + l = -3*k for k.
1
Suppose 8 = d - 3*r, -6*r + 3*r + 2 = 4*d. Let i = d + -1. Solve -5*t = -i - 4 for t.
1
Suppose n = -0*n. Solve n = -5*q + 4*q + 1 for q.
1
Suppose -3*o + l = -2*o - 3, -o + 3 = -2*l. Solve -o*n + 3 = -3 for n.
2
Suppose 7*l = 2*l + 15. Solve -2*t = -3*t + l for t.
3
Suppose 4*j = r - 4*r - 3, 2 = -5*j - 2*r. Suppose -12 = -4*w - j*w. Solve 0 = -2*n + w + 1 for n.
2
Let x(g) = g. Suppose 3*k + 3*c - 15 = 3, 0 = -k - 2*c + 8. Let h be x(k). Solve 3 = h*i + 11 for i.
-2
Let b = -70 - -95. Solve -3*u + b = 2*u for u.
5
Suppose 3 - 1 = v. Let b(j) = j**2 + 3*j + 2. Let r be b(-4). Solve -v*i = i - r for i.
2
Let d be 51/7 - 6/21. Suppose 0 = 5*y - 17 + d. Let z = y - 0. Solve -z*t + 4 = -0 for t.
2
Suppose 3*x - 38 = 4. Suppose -5*r + 11 = -x. Solve -3*a + r = 2*a for a.
1
Suppose 0 = 4*n - f - 14, -3*n - 4*f = 1 - 2. Let g = -121 + 121. Solve -8*h + n*h + 20 = g for h.
4
Let x be 9*4/12*1. Solve x*j - 6*j = 0 for j.
0
Let b = 0 + 0. Suppose 1 = -i - b. Let j be (2*i/1)/(-1). Solve -11 = j*k - 1 for k.
-5
Suppose -y = -8*y + 182. Solve -y + 6 = -5*g for g.
4
Let r = -12 + 15. Solve 0 = -0*l + l - r for l.
3
Let g(a) = a**2 + 7*a - 4. Let c be g(-7). Let r be (-20)/(-12) + c/6. Solve 0 = -4*v - r - 15 for v.
-4
Let v(n) = 0*n - n + 2*n. Let o be v(3). Solve -o*r - r = -20 for r.
5
Let c be 3/(-3*(-4)/16). Let n(m) = -m**2 + 8*m + 4. Let v be n(c). Solve -w - 3*w = -v for w.
5
Let a be 365/15 + (-2)/6. Let c be (a/10)/((-12)/(-30)). Let z(y) = -y**2 + 4*y. Let i be z(4). Solve -3*p + i - c = 0 for p.
-2
Let h = 3 - 1. Suppose b = -4*x + 16, -2*x + 0*b + 14 = -b. Suppose -2*d = -5*s - 4, 4*s + d - x + 3 = 0. Solve -2*z + 6 - h = s for z.
2
Let n(f) = f**2 + 12*f + 14. Let w be n(-11). Suppose -t + 0*t = -w. Solve -t*h + 2 = -1 for h.
1
Let h be (-4)/3*18/4. Let j = -2 - h. Suppose 0*w = -2*w + j. Solve w*b - 12 = -2*b for b.
3
Let g(p) = -p + 5. Let j(d) = 1. Let t(w) = -g(w) + 6*j(w). Let a be t(4). Suppose -5*q + 10 = -5*u, a*u = 2*q + q - 2. Solve 2*r - 2 = u for r.
2
Let b(y) = -y**2 - 12*y - 15. Let a be b(-10). Suppose -s = 3, 0*z + 26 = a*z - 2*s. Suppose 2*p + h = 10, 0 = -z*p + 5*h - 1 + 21. Solve 3*t = p*t for t.
0
Let m(a) = 3*a**2 - 1. Let v be m(1). Suppose 0 = -v*k + 5 - 1. Solve -5*l + 3 + k = 0 for l.
1
Let i = -6 - -10. Solve -7 = i*t + 1 for t.
-2
Let l(i) = -i**3 + 2*i**2 + 4*i - 3. Let n be l(3). Solve n + 10 = 2*x for x.
5
Let d(x) = -2*x + 3. Let u be d(-1). Solve n - u + 1 = 0 for n.
4
Let d = -70 - -76. Solve -10*o - d = -7*o for o.
-2
Let p(k) = -8*k - 20. Let m be p(-5). Solve -m = -6*d + d for d.
4
Suppose 0 = -4*c - 6 + 18. Solve c*t - 2 = t for t.
1
Let n = 32 - 29. Solve -6 = -n*u + u for u.
3
Let j = 19 + -14. Let z = 23 - 8. Solve j = -5*w - z for w.
-4
Let v(t) = 5*t - 2. Let b be v(1). Suppose 3*x = -0*x + b*d, -5*d = 5*x - 30. Solve x*o = 7*o for o.
0
Let n(o) = o**2 + 7*o + 8. Let b be n(-6). Let u(i) = i**3 - 2*i**2 + 2*i + 1. Let c be u(b). Solve 0 = -j + c*j for j.
0
Suppose 0*o - 3*o - 21 = 0. Let g(s) = s**3 + 8*s**2 + 6*s - 3. Let v be g(o). Suppose 3*d + 2 = -4, 0 = -5*c + v*d + 13. Solve -3*b - c = 5 for b.
-2
Suppose -7*b - 4 + 11 = 0. Solve -3*h + 5 = -b for h.
2
Suppose 3*q - 4*q - 24 = 0. Let m be (q/20)/(2/(-5)). Solve m*k - 9 = -0*k for k.
3
Suppose -3*o = o - 16. Let v = -13 - -18. Suppose -3*q - 19 = -2*q + v*m, 3*m - 15 = -5*q. Solve 2*h = o*h + q for h.
-3
Suppose 5 = -3*f + 8. Solve -2 + f = -m for m.
1
Suppose -4*b = -j + 102, -5*b - 36 = -j + 91. Let d = 29 + b. Solve -d*k = k + 15 for k.
-3
Suppose -3*m = -5*o + 2 + 8, -4*m = 4*o - 8. Suppose -5*b = -3*b + 2, y + 3*b + 1 = 0. Solve y*f + f + 15 = m for f.
-5
Let x(b) = -b**2 - 9*b - 12. Let p be x(-7). Solve 2*q + p - 4 = 0 for q.
1
Suppose 12 = 5*c - c. Solve -2*q = -c*q for q.
0
Let y = -66 - -75. Solve 4*o + 25 = y for o.
-4
Let u = -8 - -17. Let y = u + 1. Solve -5*t = -0*t + y for t.
-2
Let j be (-14)/(-2)*(0 + 1). Suppose 139 = 37*f - 46. Solve 3 = f*a - j for a.
2
Let n(s) = s**3 - 7*s**2 - 17*s - 5. Let u be n(9). Solve -y + u*y - 15 = 0 for y.
5
Suppose -y = 4*r - 16 - 0, 3*y + 2*r = 8. Solve y*d = d + 5 for d.
-5
Suppose -3*a = -5*i + 19, 0 = -0*a + 2*a - 4. Suppose 2*m