for y.
-5
Let y be (-3 + 2 - -2) + 0. Let d = -4 + -2. Let t = d + 10. Solve -y = m - t for m.
3
Let l be (-1)/(-3)*(-36)/4. Let v be (1 - -2)/l*-25. Suppose 5*q - v = -3*n, -n - 2*n = -2*q - 11. Solve -2 = -q*k - 4 for k.
-1
Let h be 0 + -1 + (14 - 1). Let l be (h/4)/(3/2). Suppose y - 3*c = 11, 5*y + 8*c = 4*c - l. Solve y = -n - 0 for n.
-2
Suppose 1 = 2*j - 1. Let q(s) = -s**2 - 4*s + 4. Let z be q(-4). Suppose -2*g - 8 = -4*f, 5*f - z*g = -4 + 8. Solve f*w - 13 + j = 0 for w.
3
Let f be 0 + -3 - (0 - 5). Let t be f/(-10)*2*-10. Solve t*n = 3*n + 3 for n.
3
Let z(w) = -w + 7. Suppose 0 = 3*q + q - 24. Let b be z(q). Let t = 25 + -22. Solve -t*s + b = -5 for s.
2
Let k(t) = t**3 + 11*t**2 + 2*t + 24. Let n be k(-11). Solve 2*z + n = 6 for z.
2
Suppose -2*t - 3 = 1. Let s = t + 2. Solve 5*g = -s*g - 15 for g.
-3
Let u = -26 + 18. Let x be u/12 - 34/(-6). Solve -2*r + 1 = x for r.
-2
Let l(t) = t**2 + 9*t - 10. Let z be l(-10). Let p(r) = -r**2 + r - 9. Let n be p(z). Let u(d) = -d**2 - 8*d + 11. Let h be u(n). Solve 10 + 0 = -h*v for v.
-5
Suppose 36 = 14*t - 8*t. Solve m - t*m = 20 for m.
-4
Suppose 4 = 5*z - 6. Solve 5*k + 7 = z for k.
-1
Let a(j) = 3*j**2 + 0*j**2 + 2 - j**2 + 0*j**2 + j. Let c be a(-2). Solve -f + c = f for f.
4
Let q(c) = c**3 + 6*c**2 + 2. Let o be q(-6). Let z be (0*o/(-4))/(-1). Solve 3*n + 13 - 4 = z for n.
-3
Let p(a) = a**2 - 3*a - 4. Let i be (-1 - (-2)/1)*3. Let h be p(i). Let u = 7 + h. Solve -u*r + 5 + 4 = 0 for r.
3
Let w(y) = y**3 - 8*y**2. Let i be (6/5)/(9/60). Let v be w(i). Let j be (-2)/3 + (-17)/(-3). Solve v = -q + j*q - 8 for q.
2
Let k = -5 + 5. Suppose 3*h + 2*z + 2 = k, -z - 4*z - 5 = -3*h. Solve -4*s + 20 = -h*s for s.
5
Let a be 0 + -3 + (-30)/(-6). Solve -5*x + 12 = -a*x for x.
4
Let m(h) = h**3 - 7*h**2 + 8*h - 9. Let r be m(6). Suppose x - 14 = -9. Solve 7 = r*q - x for q.
4
Let t be 1 + 16 + -4 - 1. Solve -t = -4*o - 0*o for o.
3
Let r = -7 - -8. Let l = 3 + 1. Suppose -4*u + 5*v - r = 0, 22 = 2*u + l*v - 2*v. Solve -2*c + 0*c = u for c.
-3
Let o(x) = -1 - 3 + 0*x + 3*x - 4*x. Let j be o(-6). Solve -3*g = -5*g - j for g.
-1
Let h be (-40)/6 - 4/(-6). Let i = h + 8. Solve -4*u = -i*u for u.
0
Let u(j) = -j**2 + j. Suppose 0 = -0*g - g. Let i be u(g). Suppose 2*x - 4*x + 10 = i. Solve x*w + 17 = -3 for w.
-4
Let s = -11 - -15. Suppose -3*m = m + s*b - 24, m = b + 2. Suppose -4*f - m = a, -5*a - 4 = 2*f + 16. Solve -2*l - 3*l + 5 = f for l.
1
Let n be (2 + 3/(-2))*2. Solve -d + n - 2 = 0 for d.
-1
Let u be (1 - -1 - 1)*1. Let b(x) = x - 8. Let w be b(9). Let o be (w + 0 - -2) + u. Solve o*y - 2 = 3*y for y.
2
Let m(x) = 2*x - 4. Let f(w) = -3*w**3 - w**2 - 2*w - 1. Let v be f(-1). Let g be m(v). Solve -g*c + 3*c = 4 for c.
4
Let l(q) = -3*q**2 - 9*q - 6. Let b(m) = -4*m**2 - 10*m - 7. Let z(n) = -4*b(n) + 5*l(n). Let g be z(6). Solve -g*r + 6 = 18 for r.
-3
Let g(r) = r + 1. Let l be g(2). Let u be 2/(-2)*11 + l. Let x be -8 - -11 - (0 + u). Solve -4*k - 3 = -x for k.
2
Let h(m) = 4*m - 4. Let p be h(2). Let q be p/(-22) + 455/143. Solve q + 2 = -x for x.
-5
Let b be 8/16 + 18/4. Suppose -k - 4*k + b = l, -2*k = l - 8. Solve l = -4*a - 6 for a.
-4
Suppose 11*c - 26 = 29. Solve -c*t = 8 - 33 for t.
5
Let t(d) = d**2 - 6*d + 7. Let s be t(5). Suppose x - 3 = 12. Solve a = -s*a - x for a.
-5
Let m(d) be the first derivative of 14*d**3/3 + d + 2. Suppose 0 = -u - 5 + 4. Let n be m(u). Solve -5 + n = 5*h for h.
2
Let k(p) = 6*p - 24. Let b be k(5). Solve -3*u = -18 + b for u.
4
Let y(n) be the second derivative of n**3/6 - n**2/2 - 3*n. Let z be y(5). Solve 3*l - 1 = -z for l.
-1
Let x(w) = -12 + 3*w - 5*w + 5. Let q be x(-5). Solve 3*a - 4*a = -q for a.
3
Suppose 45 = -c + 6*c. Suppose 0*o = -3*o + c. Solve 0 = -o*x - 2*x - 25 for x.
-5
Let x be (-1 + 1)*4/8. Solve 0*g - 2*g + 4 = x for g.
2
Let v be (-10)/(-2) - (1 - 5/5). Solve -v*d = 17 + 8 for d.
-5
Let v be 0 + (3/(-9) - 3/(-9)). Solve v = 11*k - 6*k for k.
0
Let y be (-3 + 27/6)*2. Let t = -16 + 22. Solve y*j = 3 + t for j.
3
Let q = -14 - -25. Solve 1 = 4*t - q for t.
3
Let r be (-19)/7 + (-6)/21. Let j be 4/((9/r)/(-15)). Let o be (6/(-4))/(2/(-4)). Solve -o*k - k - j = 0 for k.
-5
Let a = 0 + 3. Let h = 31 - 21. Solve a*j = -h - 2 for j.
-4
Suppose o = 5*k + 5 - 18, 4*o + 22 = 5*k. Suppose -5*i + j = 6*j, 5*i - 3*j + 40 = 0. Let u = -2 - i. Solve -k*s + u*s = 0 for s.
0
Let v(k) = 2*k + 2 + 2 - 6. Let m be v(4). Solve -2*s + 2 = m for s.
-2
Let g = 16 + -16. Solve 2*l + l = g for l.
0
Suppose 8 = 5*x - 2*v, x + 4*x + 5*v = -20. Solve x = -y + 2*y for y.
0
Let d = -85 + 87. Solve -z = -d*z + 5 for z.
5
Let t = -89 - -94. Solve 0 = -6*o + t*o - 3 for o.
-3
Let z(f) be the first derivative of -f**3/3 - f**2/2 - 1. Let m be (-1*(4 - 3))/1. Let j be z(m). Solve 3*q + q = j for q.
0
Suppose 3*l - 5*f - 5 = 0, 2*f = -4*l - f - 3. Suppose 2*d - 6*d = l. Solve d = -q - 1 - 0 for q.
-1
Suppose 5*j = -4*h + 39, 0*h + 5*h - 15 = 5*j. Solve 0 = -3*w - h + 18 for w.
4
Suppose -3*q + 8*q - 5 = 0. Let r be q*((-1 - -2) + 2). Solve -3*l + r = 15 for l.
-4
Suppose -3*g = -4 - 2. Solve g*l - 12 = 6*l for l.
-3
Let u(i) = i - 4. Let q be u(7). Let t = 3 - 6. Let g be (-2)/6*t*0. Solve -p + q + g = 0 for p.
3
Let t be 36/6 - -2*1. Let q = t + -2. Solve 3*p - q = p for p.
3
Let w = 157 + -155. Solve -w*l = -0*l for l.
0
Suppose 0 = -b - 5*b. Solve s + b*s = 0 for s.
0
Let k be (-3)/12 - 2/(-8). Suppose -w = -k*w. Solve w = -2*y - 2*y for y.
0
Let p = 63 - 38. Suppose 0 = -4*k + 14 + 14. Solve 2*z + p = k*z for z.
5
Let r be 12/8*(3 + -1). Solve s = -0*s - r for s.
-3
Let w(c) = c**2 + 4*c + 3. Let g be w(-4). Solve -g*i + 4*i = 5 for i.
5
Suppose 2*d - 4 = 8. Let a be (-2)/d + 217/21. Solve 4*v = a - 30 for v.
-5
Let l be (16/5 - 4)*-5. Solve -d - l*d = 25 for d.
-5
Let w be (-2)/5 - 132/(-30). Let p = 7 + w. Solve -2*o - p = -1 for o.
-5
Suppose 20 = 4*x - 4*p, -3*x + 4*p + 17 = -0*x. Solve -2*i + x*i = 1 for i.
1
Let w(t) be the second derivative of -t**4/12 - 4*t**3/3 - 3*t**2 + 4*t. Let i be w(-6). Solve 25 = -a + i*a for a.
5
Suppose -2*h + 4*h + 3*i = -7, -4*i = 5*h. Suppose -h*l = 7 - 27. Solve 0 = -0*p + l*p + 25 for p.
-5
Let y(d) = -2*d - 10. Let s be y(-5). Solve -3*g + g = s for g.
0
Let z be (-2)/(5 - 1)*2. Let h be z/(-2) - (-46)/4. Solve 0*s - h = -3*s for s.
4
Let c(l) = 2*l + 29. Let b be c(-12). Let s be (-2)/5*(-5)/2. Solve 4*a - b*a = -s for a.
1
Suppose 0 = -4*i - 3*q + 29, i = -0*i - 2*q + 11. Suppose 3 = i*p - 12. Suppose 0 = -p*n + 5*n. Solve -4 = -n*d + 4*d for d.
-1
Let o = 44 - 41. Solve -o*i = -7*i - 20 for i.
-5
Suppose 17 + 31 = 6*w. Solve -q = q + w for q.
-4
Let j be 2 - 5/((-15)/(-12)). Let g be -6 - -5 - 2/j. Solve 4*h - 3*h + 4 = g for h.
-4
Let a(x) = x**3 + 14*x**2 + 2. Let m be a(-14). Solve 2*f + m = 12 for f.
5
Suppose -19 = -5*l + j, 3*l + 3*j + 1 = -2. Suppose 2*k + 22 = -5*g, k + 5*g = -4*k - 25. Let x(f) = -6*f**3 - f. Let r be x(k). Solve -l*q - 4 = -r*q for q.
1
Suppose -70*i + 10 = -60*i. Let q = 6 - 1. Solve i - q = -4*j for j.
1
Suppose -2*j = -0*j - 10. Let s(y) be the third derivative of -y**6/120 - 7*y**5/60 + y**4/4 + y**3/2 - y**2. Let p be s(-8). Solve -j*h - p = 1 for h.
-4
Suppose 3*y - 5*m - 4 = -23, -m + 9 = 2*y. Solve 3 = y*d - 1 for d.
2
Suppose -5*z = 3*u - 22, 0 = 2*z + 3*z - 5*u - 30. Let t = -2 + z. Solve -t*g + 8 = g for g.
2
Suppose -7*d + 1 = -20. Solve -5 = d*y + 7 for y.
-4
Suppose g + 4*g = 0. Suppose 10*r - 20*r = -20. Solve r*m + g*m = 0 for m.
0
Let t be -1*(1 + 4) + -1. Let k be t/((-3)/1) + 6. Let u be 18/k + 3/(-12). Solve u*o - 5 = 3*o for o.
-5
Suppose 3*a - a = 0. Suppose 0 = 5*t + p + 27, 3*t + p + a = -17. Let o = t - -8. Solve -2*v + o = v for v.
1
Let n = -36 + 41. Solve x = n*x for x.
0
Suppose 5*h = h. Suppose h*t + 2*t = -10. Let k be (t + 2)/(-3) + 3. Solve -k*c = 7 - 23 for c.
4
Let l be (-1 - 0) + (-3 - -8). Let w = 5 + -3. Let u = w - -1. Solve u = -l*d - 5 for d.
-2
Let h be (-6)/(-4)*(0 + -2). Let p = h - -5. Solve p*f + 9 = -f for f.
-3
Suppose -18 - 7 = -5*m - 2*w, 4*w = 5*m + 5. Suppose 2 = u - k - m, -5 = u + k. Solve u = -6*h + 3*h for h.
0
Let k = -44 - -49. Let x be 10/6 - 4/6. Suppose 5*h = k*d + 20, 0 = -2*d - x - 3. Solve -g + 0 = h for g.
-2
Let r be ((-