= -y + s for y.
1
Suppose -3*h - h - 4 = 0, 2*w + 5*h - 7 = 0. Let c(q) = q - 1. Let k be c(3). Let o be 7 + (-2)/(1 - k). Solve o = 3*r - w for r.
5
Let x be 2/(1 - -1)*3. Solve -x - 5 = -2*w for w.
4
Let v = 19 + -17. Solve -5*x - 15 = -v*x for x.
-5
Suppose h - 4*b = 22, 1 + 4 = -5*h - 3*b. Let g be (-7)/((-8)/(-8)) + 10. Solve 5*k + h = -g for k.
-1
Let l(j) = j + 7. Let h be l(-5). Solve 3*n = 5*n + h for n.
-1
Suppose 4*i = 19 - 3. Solve -v + 3 - i = 0 for v.
-1
Suppose -2*s = -5*c + s + 97, -c + 23 = 3*s. Suppose -c = -t - 4*t. Solve u - t = 2*u for u.
-4
Let v = -32 + 57. Suppose m - 6*n - 10 = -4*n, 0 = 5*m + 5*n + v. Solve 0 = -m*x - x - 5 for x.
-5
Suppose 3*c = 3 - 18. Let b(q) = 217*q**2 - 2 - 1 - 218*q**2 - 6*q. Let u be b(c). Solve h = -4 + u for h.
-2
Suppose 3*x - 14 = x + 2*b, 3*x = -b + 1. Suppose -x*m + 20 = 3*m. Suppose -m + 2 = -y. Solve 0 = -y*q + 4*q - 8 for q.
4
Suppose -5*i - 2 = -22. Suppose 3*x + i*p - 22 = 0, 5*p - 6 - 10 = 2*x. Solve 0*v + x = v for v.
2
Let d(y) = y**2 + 8*y + 10. Let z be d(-8). Let v be 0/((-5)/(z/(-4))). Suppose v = 4*g - 5*x - 27, 0 = -2*x + 3*x + 3. Solve j - g = -0*j for j.
3
Let h(o) = 4*o + 1 + 0 - 4. Let p be h(2). Suppose -20 = -5*z - 5*s, 0 = -5*z + p*s - 13 + 33. Solve z = 5*y - 1 for y.
1
Let j(h) = 0*h - 3 + 3*h**2 + 4 - 2*h. Let d be j(2). Suppose 5*b = 2*q - d, 3*b - 29 = -2*q + 4. Solve -2*v + 4 - q = 0 for v.
-4
Let v be (-1 + 4)*(4 - (-10)/(-3)). Solve -3*s + v*s = -3 for s.
3
Let m = 7 - 3. Suppose -3*v + 9 = 5*g, 2 = m*v - 5*v. Suppose -g*j - a - 1 = 0, -4*j + 3*j - 19 = 5*a. Solve 2*x = j - 3 for x.
-1
Suppose -3*w = 2*d - 13, -8 = -3*d + d + 2*w. Suppose d = -j - g - 3*g, 8 = -4*g. Solve 0*m - j*m + 15 = 0 for m.
5
Suppose 0 = 5*w - 19 - 6. Solve -15 = -8*q + w*q for q.
5
Let t = -118 - -120. Solve 0 = -l - t*l for l.
0
Suppose -4*c = r + 4*r, -3*c = 5*r. Solve -2*f + f - 1 = c for f.
-1
Let k = 68 - 44. Let b be 174/k - 2/8. Solve -b - 13 = -5*g for g.
4
Let r = 24 + -16. Let y be (r/10)/(6/15). Solve -2*j - y*j = -16 for j.
4
Let i(z) = z + 6. Suppose -n + 5*h - 13 = 0, 0*h = -5*h + 10. Let s be i(n). Solve s = w + 4 for w.
-1
Let a be 1/(-1*(-2)/2). Let p be ((-7)/2)/(2/(-12)). Let v be ((-6)/p)/((-4)/28). Solve 0 = v*m + 7 + a for m.
-4
Let w be ((3 + -4)*3)/(-1). Solve -3*m + 9 = w for m.
2
Let a = 8 - 11. Let o = 4 + a. Solve -3 = 2*n + o for n.
-2
Let d(t) be the third derivative of -1/120*t**6 + 0*t + 0 + 1/2*t**3 - 1/15*t**5 - 1/12*t**4 + t**2. Let z be d(-3). Solve z = 2*v - 1 - 1 for v.
1
Let k = 32 + -22. Let z = 17 - k. Solve -3*n - z = 2 for n.
-3
Let q(x) = 5*x**3 + 12*x**2 + 21*x + 3. Let b(p) = -3*p**3 - 6*p**2 - 11*p - 2. Let c(o) = -7*b(o) - 4*q(o). Let z be c(7). Solve -6 - z = 4*j for j.
-2
Let d(y) = y - 5. Let h be d(7). Let q be 0 - -1 - (-3 + h). Solve v = q*v - 3 for v.
3
Suppose -2*x + x - 14 = -3*m, 0 = 4*x - 4*m + 40. Let q be (3 + 42/(-8))*x. Let b = -12 + q. Solve -2*k = -b*k + 16 for k.
4
Suppose -5*s + 4*s = 0. Solve 7*p - 3*p + 4 = s for p.
-1
Suppose -4*i = 5*w - 11, w + w + 10 = 2*i. Suppose z + i = 3*a - 22, -2*a = -5*z - 39. Solve -5*u + 2 = a for u.
-1
Suppose 6*y - 4*y - 6 = 0, 2*a + 9 = 5*y. Suppose 4 = l - 3*v, 6*l - 3*v = 3*l + 6. Suppose -3*u + 2 = -l. Solve 0 = -a*h + 4*h - u for h.
1
Suppose 3*z - 4*r - 16 = 0, 4*r - 8 = -4*z + z. Solve 2*q - q + z = 0 for q.
-4
Let k(n) = -3*n - 12. Let m be k(-5). Suppose 4*c = m*c. Solve d + c = -3 for d.
-3
Suppose -j = -3*j + 12. Solve j + 4 = 2*y for y.
5
Let c = -30 + 19. Let d = c + 15. Solve 0 = -3*b - b + d for b.
1
Let f = -41 - -41. Let b(a) be the first derivative of 3*a**4/2 - a**2 + a - 1. Let d be b(1). Solve d*k = -f*k + 25 for k.
5
Let o be (-1)/1*3 + -7. Let y = 15 + o. Solve 3*t + y = -4 for t.
-3
Let o(y) = -y**3 - 2*y**2 - y. Let d be o(-3). Let q(s) = -2*s - 7. Let k be q(-5). Suppose -d = -k*c - c. Solve a - 1 = -c for a.
-2
Suppose -z = -0*w + 2*w - 11, 2*w - 6 = -2*z. Suppose 5*d - w = d. Solve 2*x + d*x = 12 for x.
3
Let h be (-4)/(4/(-2)) - 0. Let u(v) = 2*v**2 + 2*v - 1. Let z be u(-2). Suppose z - 39 = -3*s. Solve h*y + 2 = s for y.
5
Suppose 2*c - 21 = -3*i, -2*c - 4 = -3*i + 5. Solve c = -2*q + 3*q for q.
3
Suppose -c = -2*c + 2. Suppose -5*a = 33 - 3. Let i be (-3)/1 - 30/a. Solve 0 = c*y + i for y.
-1
Let v be (-2)/(-8) - 5/20. Solve v*c = c for c.
0
Suppose 2*j - 3 = -2*n - 27, 15 = -2*n + j. Let l = n + 21. Solve 2*t - l = -t for t.
4
Let h(y) = -y**3 + 6*y**2 + 8*y - 5. Let o be h(7). Solve -o*p + 6*p = 0 for p.
0
Let t(y) = 4*y - 24. Let a be t(7). Solve 2*f - a + 12 = 0 for f.
-4
Let r be (-3)/3 + 1/(-1). Let y = -2 - r. Solve 5*d - 32 + 7 = y for d.
5
Let t = 31 + -26. Solve -v + t = 3 for v.
2
Let h(l) = -l**3 - 7*l**2 - 6*l - 1. Let v be h(-6). Let u(d) = -4*d**3 - 2*d**2 - 2*d - 1. Let i be u(v). Solve 0 = 3*y - i for y.
1
Suppose 3*y - 12 = 5*t, -y - y + 8 = -4*t. Suppose t = -3*j - 6*v + 3*v + 9, 27 = 5*j - v. Let s = -39 - -44. Solve -j = -4*x + s*x for x.
-5
Suppose -2*s = 5*o - 35, 15 = 4*o + 3*s - 4*s. Suppose i - 3*m - 3 = -11, -2*i - o*m = -39. Let v(y) = 2*y - 9. Let x be v(i). Solve -2*z = -x*z for z.
0
Suppose 0 = -3*d + 4*x + 67, 6*x + 20 = x. Let c(i) = -9*i + 3. Let b(m) = -3*m + 1. Let v(h) = d*b(h) - 6*c(h). Let o be v(1). Solve j - o = 2*j for j.
-2
Let g = 12 - 12. Let y(j) = j**3 - 3*j**2 + j - 3. Let f be y(3). Solve g*n + n = f for n.
0
Suppose 3*q - 10 - 8 = 0. Suppose 3*y = q*y - 30. Solve 0*d - 2*d = y for d.
-5
Suppose -d - 3*p = p + 6, d = 5*p + 12. Let s be 3/(6/4*1). Suppose 0 = -3*x + d*l + 3 - 1, s*l - 8 = -2*x. Solve -x*y + 1 = 5 for y.
-2
Suppose 4*d + 21 = c, -4*c + 29 = c - d. Solve c*o - 8*o + 15 = 0 for o.
5
Suppose 0 = -4*i + 5 - 1. Let m be i + 1 + -3 - -5. Let y be (-7)/(-28) - (-7)/m. Solve y*j = 2 + 4 for j.
3
Let l(x) = 7*x**2 + x - 1. Let y be l(-2). Suppose 2*m + y = 7*m. Solve 0 = -0*p - m*p for p.
0
Let r(j) = j + 0*j - 4 + 1. Let m be r(6). Let v = 0 + m. Solve -4 = -v*h - 1 for h.
1
Let y = 8 - 4. Suppose 3*h - 12 = a, 4*a - h + 13 = y*h. Solve -a*q = -6 - 6 for q.
4
Suppose 4*c - 2*h = -2, 3*h + h = -5*c + 17. Solve -3*x + c = 16 for x.
-5
Let u(j) = -3*j**2 + j - 6 - j**3 + 2*j**2 + 7*j**2. Let y be u(6). Suppose w + w - 6 = y. Solve -6*l = -w*l for l.
0
Let k = -710 - -710. Let z(r) = 15*r**2 + r + 1. Let f be z(-1). Solve -5*u + k*u - f = 0 for u.
-3
Let b be 20/70 - 60/14. Let z be (-14)/b + 3/(-2). Solve z*l + l = -6 for l.
-2
Let v be (9/(-15))/(6/(-30)). Solve -v*l = -2*l - 1 for l.
1
Suppose -2*u = -9 - 11. Let h = -3 + u. Let i(o) = -o**2 + 7*o + 4. Let f be i(h). Solve 9 = -f*a - 7 for a.
-4
Let d(f) be the third derivative of f**6/120 + f**5/15 - f**4/4 - f**3/2 + f**2. Let t be d(-5). Solve -t*q - 2 - 4 = 0 for q.
-3
Let l(z) = -3*z - 42. Let u be l(-14). Solve -m - 2*m + 12 = u for m.
4
Let r(k) = k**3 - 5*k**2 - 6*k. Let i be r(6). Solve -2*j + i*j = -8 for j.
4
Suppose h = -h. Suppose 6 = 2*s - h. Solve s*z = -z - 4 for z.
-1
Suppose 3*q = -2*q + 15. Solve -8 = -q*w + w for w.
4
Let i be (0/2)/(-12 + 13). Solve 0*g - 2*g = i for g.
0
Let g = -13 - -21. Let j = g + -4. Solve -j*b - 5 = -1 for b.
-1
Let q be 5*((-1 - -3) + (1 - 0)). Solve 9*f = 4*f - q for f.
-3
Let g be -2 - -1 - 1*-1. Suppose -2*f + f = g. Solve -15 = 5*h - f*h for h.
-3
Suppose -5*l = 2*s + 10, 0 = 3*s - s + l + 2. Solve h = -s*h - 3 for h.
-3
Let r = 8 + 2. Solve 4*g - 26 = -r for g.
4
Suppose -3*h = -4*h + 1. Solve -r + 0*r - h = 0 for r.
-1
Suppose -5 + 17 = 3*o. Solve 0 = 4*m - o for m.
1
Let z(f) = -f**2 - 8*f - 4. Let k be z(-6). Suppose 2*q = -8 - 2. Let m be (-8)/(-5) + (-2)/q. Solve m*x = -2 + k for x.
3
Suppose -49 = -d + 76. Suppose 0*o = -5*o + d. Solve -2*t - o = 3*t for t.
-5
Let i(b) = -b + 4. Let m be i(-4). Solve -f = -5*f + m for f.
2
Suppose -7 + 3 = 4*u - 3*a, 0 = 2*u - a. Solve 3*v + u*v - 10 = 0 for v.
2
Let j(m) = 2*m**3 - 2*m - 1. Let u be j(-1). Let t be 2 - u/(-2 - -3). Solve -t*o + 2*o = 4 for o.
-4
Suppose 5 = 4*b - 2*k - 19, -2*b + 2*k = -16. Suppose -3*u - 2 = -p, 2*u - 3*u = -b*p + 41. Solve 0 = -5*a + 4 + p for a.
3
Suppose -5*w + 3 = -6*w. Let r be -1 + -1 + 1 - w. Suppose o = 2*o - s - 3, 4*s = r*o - 8. Solve d + 2 = o*d for d.
2
Let z = -7 - -9. Solve -z*w - 8 = 2*w for w.
-2
Let j b