y - n for y.
-5
Let l = 124 - 124. Solve l = -s + 11 - 7 for s.
4
Suppose 2*u - 12 = 6*u. Let b be (-1)/(u/6*1). Solve -b*y = -6*y - 4 for y.
-1
Let c be 2/3 - 28/(-3). Suppose -2*s + c = -12. Suppose i - u - 2*u = s, 2*u + 9 = i. Solve -i*z = -z - 20 for z.
5
Let u(j) = -2*j. Let o be 2/5 - (-36)/(-15). Let r be u(o). Let z(g) = -g**2 - 6*g + 8. Let v be z(-6). Solve r*s = 24 - v for s.
4
Let w be 1 - (-1 + 2)*-10. Suppose 5*a - 2*r = w, 5*a - 12 + 3 = 3*r. Solve 0 = a*t + 2*t for t.
0
Let i = 7 - 2. Let n(m) be the first derivative of m**3/3 - 3*m**2/2 - 4*m + 1. Let j be n(i). Solve -3*r = j + 3 for r.
-3
Let t = 32 + -23. Let x = t - 5. Suppose 0 = r + x*r - 10. Solve -r*h + 2 = -8 for h.
5
Suppose -g + 4*o - 16 = 0, -19 = -5*g - 3*o + 16. Solve m - g*m = -9 for m.
3
Let z(y) = -3*y**3 + 3*y - 1. Let o(a) = a**3 - a - 1. Let p(h) = -4*o(h) - z(h). Let k be p(0). Let v be (6/(-15))/((-1)/k). Solve 1 + v = -b for b.
-3
Suppose y = x, 15 = 4*x + x - 2*y. Solve -x*b - 26 = -1 for b.
-5
Let b = 100 - 100. Solve 2*p - 9 + 11 = b for p.
-1
Let p(m) = -m**2 + 5*m + 8. Let h be p(6). Suppose -2*z - 2*z = 0. Solve z*a + 8 = -h*a for a.
-4
Suppose 3*i - 9 = 6, -f - i = -10. Solve b - 6*b = f for b.
-1
Let y(p) = 2*p**2 - 2*p + 2. Let r be y(2). Suppose -r*b + 5*b = 0. Suppose b = 4*o - 7 - 9, 0 = -4*k - o + 24. Solve k*g + 14 = -11 for g.
-5
Suppose -r = -4*x - x + 14, -4 = -2*x. Let i = 4 + r. Suppose i*g + g = 0. Solve -b + g = 4 for b.
-4
Let z(a) = a**2 - 2*a - 3. Let u be z(-2). Suppose 30 = -0*l + u*l. Solve -l = 4*i - 22 for i.
4
Let o(u) be the first derivative of -3*u**2/2 + 6*u - 5. Let x be o(2). Solve -s + x*s = -2 for s.
2
Let a be 4/26 + 1246/182. Solve -5*o - a = 18 for o.
-5
Let v(u) = 5 + u**2 - 6*u + 2*u - 8. Let d be v(5). Solve 5*n + d - 17 = 0 for n.
3
Let l be (7/(-4))/(2/(-16)). Suppose 0 = -h + 3*h + 5*b + 8, l = 4*h - 5*b. Solve -k + 4 - h = 0 for k.
3
Suppose -2*t - 19 = -7. Let d = t + 8. Suppose 5 = -5*l - 3*c - 2*c, d = -2*c. Solve -3*v + 4*v - 3 = l for v.
3
Let p(t) = 2*t**3 - 2*t**2 - 2*t. Let x be p(2). Solve v = -x*v - 5 for v.
-1
Let p be (-22)/(-4)*(-1 + 3). Suppose -5*y = -p - 4. Solve 5*n - 6 = y*n for n.
3
Suppose -4*n = -5*n + 4*s - 19, 57 = -4*n - 3*s. Let t = 19 + n. Solve 0 = -t*m - 2 + 10 for m.
2
Suppose -2*t + 12 = 4. Suppose t*b - 2*o - 1 = 11, 0 = o + 2. Suppose 0 = -a - 1 + b. Solve -a - 3 = -4*u for u.
1
Let g be ((2 + -2)/(-1))/(-3). Let y be (-2)/7 - 46/(-14). Solve g = -y*l - l + 8 for l.
2
Let i(b) = -b**2 - b - 6. Let a be i(0). Let j = 11 + a. Solve -q = -j*q - 8 for q.
-2
Let m be 9*((-10)/(-6))/(-5). Let t be (5/4 + m)*-4. Suppose -6*y + t*y = 5. Solve 20 + 5 = -y*w for w.
-5
Let n be (-356)/(-18) + (-6)/(-27). Suppose -5*w - n = -4*i, 56 + 0 = 4*i + 4*w. Let f = i + 4. Solve -3*m + f = 2 for m.
4
Let w(h) = h. Let n be w(-5). Let c be n/(-2)*(-2 + 4). Suppose 1 = -t - 0*t, -5*t - c = -l. Solve l = 7*s - 2*s + 5 for s.
-1
Suppose 0*n = -n + 38. Let i be n/4 - (-1)/(-2). Let v be 3/i - 33/(-9). Solve 0 = 2*t - v*t + 8 for t.
4
Let b(l) = l - 6. Let c be b(8). Solve -7*v = -c*v - 20 for v.
4
Let d(v) = v**2 + 3*v + 5. Let y be d(-2). Solve -7*p = -y*p for p.
0
Let j(u) = 4*u**2 + u - 1. Suppose 2*r = 4 + 6, 2*c - 11 = -3*r. Let s = c - -3. Let p be j(s). Solve -n + 8 = p for n.
4
Let u(x) = 7 - 3 - x + 8. Let n(a) = 1. Let o(s) = -3*n(s) + u(s). Let w be o(7). Solve -w*d - 2*d = 0 for d.
0
Suppose 0 = 2*h - 9 + 5. Let f be (1 - 1 - -1)*1. Solve -h - f = b for b.
-3
Let b(t) = t**2 - 8*t + 4. Let s be b(8). Suppose -4*q + 21 = s*o - 55, -3*q = 5*o - 101. Solve -5*w - o = -7 for w.
-3
Let q = -39 - -40. Solve -2*l + 5 = q for l.
2
Let h(n) be the second derivative of n**4/12 + n**3/2 + n**2 + 3*n. Let k be h(-3). Solve -20 = -k*m + 7*m for m.
-4
Suppose -4*n = -2*g + 50, -2*n - 11 + 3 = 0. Solve g*a = 12*a + 10 for a.
2
Suppose 5*m - 36 = 4. Solve -m*a = -3*a for a.
0
Suppose -4*y - f = y + 29, 3*y - 1 = 4*f. Let z = y - -9. Solve z*v - 3*v = -4 for v.
-4
Let g(f) = f**3 + f**2 + 3. Let q be g(0). Solve u + q*u = 4 for u.
1
Let d(k) = 4*k**2 - k - 1. Let v be d(-1). Solve v*i = i - 6 for i.
-2
Suppose -35 = -5*c - q, 3*c - 3*q - 35 = -2*c. Let t be (-2)/5 - (-4)/10. Suppose -2*v + 5*n - 23 = t, 5*v - 2*n - 30 = -c*n. Solve -2*k + v = 11 for k.
-5
Let b be (9/(-5))/(9/(-30)). Let l(q) = -q**3 + 7*q**2 - 5*q - 4. Let u be l(b). Solve -u*z = z - 3 for z.
1
Let m(w) = -w**2 + 11*w + 3. Let f be m(11). Suppose 16 = f*o + 2*c, -3*o + c = 2*o - 5. Suppose -3 = k - h, 4*k - 1 - 5 = -o*h. Solve k*d = -d + 4 for d.
4
Suppose 5*p - 9 = t - 0*p, 2*t - 5*p + 8 = 0. Let q = 1 - t. Suppose q*s = -2*s + 8. Solve f = -f + s for f.
2
Let o(b) = b - 2 - 2 + 3 + 0*b. Suppose 3*n - 2*g - 18 = 0, -5*g - 9 = -2*n + 3. Let k be o(n). Solve -k*q = -19 + 4 for q.
3
Let j(c) = 0*c**3 - 3*c**3 + 7*c - 5*c**2 + 8 + 2*c**3. Let x be j(-6). Let d be (9/(-6))/((-1)/x). Solve k = -d*k + 8 for k.
2
Let y(z) = 2*z - 4. Let r be y(8). Suppose -4*n = r, -4*h = -4*n - 0*n - 20. Solve -h*g = -3 + 5 for g.
-1
Suppose -17 = -j - 3*j - g, -2*g + 9 = 3*j. Suppose -4*o = -2*y - 2*o, 0 = -y - j*o. Solve 0 = 5*r - y*r - 15 for r.
3
Let r be 2/(-2) + 1 + 3. Let o be r + (1 - (3 + -3)). Suppose 2*s = -2*s - f + 20, f - o = 0. Solve h = -6 + s for h.
-2
Suppose 4*k = 3*v + 6 + 5, 0 = 2*k - 4. Let z be 0 - 1 - 1*v. Solve z = 4*i - 5*i - 3 for i.
-3
Let c = -6 - -22. Suppose 0*t - 4*t - 4*i + 32 = 0, 3*t = 5*i - c. Suppose -4*g + 2*k + 34 = 0, -t*g + 25 = -0*g - k. Solve o + o = -g for o.
-4
Suppose 2 = c - 7. Solve 0 = 2*q + c + 1 for q.
-5
Let t be 630/147 - 3/((-63)/(-6)). Let c be (-60)/(-9)*(-24)/(-10). Suppose -f = 3*f. Solve t*l - c = -f for l.
4
Let b(q) be the first derivative of q**4/4 + 5*q**3/3 + 2*q**2 + 1. Let d be b(-4). Suppose 4*c - 5 = 11. Solve j + d*j = c for j.
4
Suppose 0 = -5*f - 4*i + 67, -2*i = -f + 3*i + 25. Let y(x) = -7*x - 7. Let w be y(-1). Solve 3*h + w = -f for h.
-5
Suppose f - z = -5, 1 + 1 = 2*z. Let o(d) = d**3 + 5*d**2 + 3*d + 2. Let y be o(f). Suppose -5*v + 2*p = 5*p, -v + 3*p = -18. Solve v*u + y = u for u.
-3
Suppose -16*u + 20*u - 8 = 0. Solve l + u*l = 0 for l.
0
Suppose 0 = 2*p - 5*p + 15. Suppose -p*f = 3*x - x - 9, 5*x + 2*f = 12. Solve x*a = -a for a.
0
Let o(h) = h**2 + 10*h + 3. Let l be o(-10). Solve -l = -f + 2 for f.
5
Let c(a) = a**3 - 2*a**2 - 4. Let v be c(3). Let f be 3 + -1 + (v - 3). Suppose -f*p = -24 + 4. Solve -p*u = -13 - 12 for u.
5
Let m(q) = -2*q**2 - 54*q + 60. Let s be m(-28). Solve s*r + 0*r - 8 = 0 for r.
2
Let d(j) = j**3 + 3*j**2 - 6*j - 6. Let n be d(-4). Solve -1 - n = k for k.
-3
Let d(c) = -c**2 + 3*c + 1. Let f be d(3). Let p be (1 + 1 - f)*3. Solve 4 = -p*a + 5*a for a.
2
Let d be 13/3 - 3/9. Let c = -1 + 4. Suppose d*o = c*o. Solve 3*x + 0 - 3 = o for x.
1
Let t be 111/9 + 2/(-6). Suppose w - t = -2*r, -2*r + 2*w + 2*w = -2. Solve -3*x = -1 - r for x.
2
Let v be 104/10 + (-49)/35 + 1. Solve k - v = 3*k for k.
-5
Let c = 19 - 16. Solve c*y - 4 = -19 for y.
-5
Let v be 26/5 + (-10)/50. Suppose 0 = -2*s - 2*s - j + 11, -2*s + 19 = v*j. Solve k = -s*k - 3 for k.
-1
Let g = 1 + -1. Let d be (18/21)/(2/14). Solve -3*x + x + d = g for x.
3
Suppose -j + 15 = -4*j. Let c be (j + 3)*(2 - 1). Let y be 3 + -1 - (3 + c). Solve 9 = 4*r + y for r.
2
Suppose 5 = -b, b = 4*p + 5*b - 20. Let i = p + -2. Suppose 2*s - i = -0*s. Solve s*u + 3 = -1 for u.
-1
Let l(i) = -i**2 - 6*i - 2. Suppose 0*p + 64 = -4*p. Let v = p - -11. Let c be l(v). Solve 0 = -0*m + m - c for m.
3
Let v(n) = n + 1. Let g be v(2). Let k = -452 - -458. Solve 0 = -g*a + 3 + k for a.
3
Let g(d) = d**2 - 5*d - 4. Let h be g(6). Solve -7*q + h*q = 0 for q.
0
Suppose -2*g - 5*w + 10 = 0, 2*g - 4 + 0 = -2*w. Solve z + 0*z + 5 = g for z.
-5
Suppose g + 36 = 4*n + 5*g, -3*g + 22 = 2*n. Let k = 2 + 1. Let l be k + (-1 - (-1 + -1)). Solve n = -5*z + l*z for z.
-5
Suppose 3*t = 2*t. Let d be -2*(1 + -2) + 0. Suppose 3*f - 4*f + d = 0. Solve -f*p = -t*p + 8 for p.
-4
Suppose -75 - 9 = -3*g. Suppose 2*v - g = -0*v - 5*c, -c = -4. Solve -v*b + 4 = 12 for b.
-2
Let k be -2 + 0/(-1) + 4. Let o be (k + 3)*2/2. Suppose 0 = 3*q - o*q. Solve -3*h + q = -9 for h.
3
Let r = -47 + 47. Solve 5*y + r*y = 0 for y.
0
Suppose 0*m - 3*m + 6 