s for s.
2
Let x(b) = -b - 5. Let k be x(-5). Let n = -251 + 254. Suppose -9 = -n*w - k. Solve -w*r = r for r.
0
Let p(q) = -q**3 + 6*q**2 + 4. Suppose 24 = 4*a - 0. Let u be p(a). Let i = -1 + 4. Solve -i*o = -5 - u for o.
3
Let q(z) be the third derivative of z**5/60 - z**4/3 + z**3/3 - 5*z**2. Let t be q(8). Let b be (-22)/(-6) - (-16)/(-24). Solve -l = -b - t for l.
5
Suppose 5*w = 2*z + 2*z - 51, 2*w = z - 9. Solve 16 = -7*r - z for r.
-5
Let u be 8/(-4) - (15 + -17). Solve 11*v - 4*v + 35 = u for v.
-5
Suppose 18*o + 8*o = 0. Solve 4*c - 11*c - 21 = o for c.
-3
Let a = -55 - -60. Suppose -5*r + 4 = -2*z + 14, -a*z + 63 = -3*r. Solve 3*d - z = -3 for d.
4
Let b = -115 - -113. Let c(p) be the second derivative of p**4/4 + 2*p. Let f be c(b). Solve -32 = -4*r - f for r.
5
Let u = -1921 + 1946. Solve -u = 13*z - 38 for z.
1
Let q = 6 + 3. Suppose -11*s + 9*s = -8. Solve -g - q = -s*g for g.
3
Suppose -5*h - 15 = -10*h. Suppose -v + 18 - 13 = 0. Suppose -4*t + 11 + 5 = 0. Solve -v*g + h*g = -t for g.
2
Suppose 4*v = -0*o + 4*o + 92, -2*o - 21 = -v. Let l(u) = -6*u. Let b be l(-1). Solve -b*a + v = -a for a.
5
Let y(z) = 17*z - 2. Suppose 0 = 8*s - 1 - 7. Let w be y(s). Solve -3*f - w = 2*f for f.
-3
Let o(n) = n - 1. Let a be o(7). Let q be 1 + (1 + -1)/1. Suppose q - a = -d. Solve -3*f + 4 = -d for f.
3
Let b(w) = w**2 + 12*w - 11. Let k be b(-14). Suppose 5*z - 8 = 4*u + k, u + z = 5. Suppose p + 5 - 10 = u. Solve -p*t = -0*t - 25 for t.
5
Let x be (-2)/4*-7*(-2)/7. Let a(z) = -z**2 - 8*z + 5. Let n be a(-9). Let r be (2 + x)*(n + 8). Solve 0 = -r*m - m - 5 for m.
-1
Suppose -3*i = -3*r - i + 85, 4*r + 3*i = 85. Solve r*o - 23*o - 8 = 0 for o.
4
Suppose -4*d + 23 + 101 = 0. Let t = d + -26. Solve -t*c + 10 = 30 for c.
-4
Suppose 39*z - 13 = -13. Solve 16 = -4*v - z*v for v.
-4
Let h be 2 + -1 - (-1 - 0). Let g(i) = -3*i + 25. Let r = 50 + -42. Let s be g(r). Solve -3 = h*j + s for j.
-2
Let a = -102 - -102. Solve a*r = r for r.
0
Let y(r) = 48*r + 2116. Let d be y(-44). Suppose 3*t - 40 = -t. Suppose -5*f = -t*f. Solve k + f = d for k.
4
Let z be (20/(-6))/(18/(-27)). Solve -z*t + 65 = 70 for t.
-1
Let p(a) = a**3 - 7*a**2 + 3*a + 18. Let z = 37 + -31. Let q be p(z). Solve 5 + q = -m for m.
-5
Let q(t) be the first derivative of -9*t**2/2 - 1. Let a be q(2). Let p = a + 21. Solve 0 = -p*j - 7 - 2 for j.
-3
Suppose 6*s - s = 20. Let q = 1412 - 1409. Solve g + s = -q*g for g.
-1
Suppose -y + 4*w + 25 = 0, 0 = -0*y - 5*y + 2*w + 35. Solve 4*z + 11 + y = 0 for z.
-4
Let m(r) = -r + 3. Suppose s + 3*b = -3 + 12, 5*s + 45 = 3*b. Let l be m(s). Suppose 0 = c - 4*f - l, 4*c - 3 = 5*f + 22. Solve -2*j = -c*j + 12 for j.
4
Let v(u) = -u**3 + 22*u**2 - 23*u + 46. Let d be v(21). Solve -d*s - 6 = -2 for s.
-1
Let w = 353 + -348. Suppose 4*b + 6 = 2*f - 5*f, -5*f = -2*b - 16. Let r = f - -2. Solve -h + r - w = 0 for h.
-1
Let v = -14 + 12. Let w be (v/3)/(4/(-30)). Suppose 1 = -w*t + 2*j + 6, -5 = -5*t + 5*j. Solve 0 = s + t for s.
-1
Suppose -3*s + 7*s - 2 = 5*w, -w - 7 = -3*s. Let i be -2 + 1 + 12/(48/8). Solve -s*p - 8 - i = 0 for p.
-3
Let v = 455 + -485. Let j = -33 + 63. Let o = j + v. Solve o*r + 3 = r for r.
3
Let g be (-231)/(-6) - (-5)/((-10)/(-3)). Solve 0 = y + 44 - g for y.
-4
Let z(f) = 2*f + 19. Suppose -16*n - 8 = -15*n. Let m be z(n). Solve 7 = -2*j - m for j.
-5
Let p = 18 - 2. Let g(l) = -2*l**2 - 6*l + 2. Let x be g(-3). Suppose -6 = -q - x*q. Solve -q*c + p = 2*c for c.
4
Let r(y) = -31*y + 101. Let q be r(3). Solve -13*x - q = 31 for x.
-3
Suppose -2*t = -2*j + 60, 177 = -39*j + 44*j + 4*t. Solve -j - 30 = -21*x for x.
3
Let s(m) = m**2 - 1. Let a be s(2). Let n be 60/18*a/2. Suppose 3*p + n*c = 31, -3*c + 1 = -4*p - 6. Solve -p*v + 7*v = -25 for v.
-5
Let i = -24 - -28. Suppose -2*x = -0*x - i. Let n(s) = -s**2 - 8*s - 8. Let o be n(-6). Solve -2*c = -o*c - x for c.
-1
Suppose 0 = -129*p + 124*p + 110. Solve p = 6*a - 2 for a.
4
Let i = -1658 + 1687. Solve 0 = -s + i - 24 for s.
5
Suppose -k = 2*k - 60. Let w = k - 12. Suppose -5*c - 6 = -w*c. Solve -2 = -m + c*m for m.
-2
Let d(a) = a**3 - 3*a**2 + 3*a - 7. Let o be d(3). Let p be ((-7)/o + 2)/(3/(-8)). Solve 5*h + 6 + p = 0 for h.
-2
Let h be 2/10*-2 + 54/10. Solve -h*y + 15 = -0 for y.
3
Suppose -5*a = -3*u - 178, -4*a - 2*u = -73 - 87. Let p = a - 30. Let q be 2 + 5 + (-1)/1. Solve 4*n - p = q*n for n.
-4
Suppose -56 = 4*g + 52. Let h be (g/4)/(6/(-16)). Let o = -11 + h. Solve o*d = 3*d for d.
0
Suppose -3*h + 16 = -y, -7 - 13 = -4*h + y. Solve 2*j = 2 - h for j.
-1
Let t be (-968)/(-60) + (-2)/15. Solve -5*o = 1 - t for o.
3
Let q be (-32)/(-6)*(-2 + 5). Suppose 4*n + 4 - q = 0. Let p = -118 - -118. Solve p = v + 1 - n for v.
2
Let l(u) = 7*u + 105. Let i be l(-11). Solve 0 = i*f - 3*f - 25 for f.
1
Let c be 1 - 3/((-9)/(-12)). Let g = -3 - c. Suppose 4*m - 2*m = k + 6, g = k. Solve -m = 5*t + 7 for t.
-2
Suppose -2*c + 3*c = 5*p + 24, -c - 12 = 4*p. Let x(j) = -2*j**3 + j**2 - 2. Let d be x(-1). Solve c*t + d = -3 for t.
-1
Suppose 6*y - 15*y = -36. Solve 6*z - 2 = y*z for z.
1
Let i(s) = s**3 + 14*s**2 + 13*s + 4. Let k be i(-13). Solve -k*t - 15 = -7*t for t.
5
Let t(r) be the second derivative of r**5/20 - 3*r**4/4 + r**3/6 + r**2/2 + r. Let a be t(9). Let x be (6/(-4))/((-5)/a). Solve -x*h = h - 4 for h.
1
Suppose 162*m - 154*m - 40 = 0. Solve -m + 11 = -6*y for y.
-1
Let s(f) = -f**2 + 6*f - 14. Let y be s(6). Let t be (8/y)/((-4)/14). Solve -k + t = k for k.
1
Let t be 6/(-5)*(-9 + -1). Suppose -18 = -2*d - 4*i, 3*d + t - 31 = 2*i. Solve 0 = 5*k + d - 22 for k.
3
Let q = 50 - 44. Let o be q + 0 + 10/(-5). Let f(v) = v + 3. Let c be f(-3). Solve -4*k = o - c for k.
-1
Let w be (12/(-4))/((-1)/(-3)). Let o be 18*((-30)/w + -3). Suppose o = -6*d + 18. Solve 0 = d*m - 2 + 10 for m.
-4
Suppose 2*g + 4 = 20. Suppose -6 + g = j. Let a be ((-3)/(-2))/((-6)/(-16)). Solve -2*k - a = -j for k.
-1
Let j(g) = -7*g - 178. Let k be j(-26). Solve 0 = -4*b - k - 8 for b.
-3
Let u(i) = i**2 + 56*i. Let p be u(0). Let x = 59 + -42. Suppose 2*n + 3*g - 1 = -2*n, -3*n - g + 2 = 0. Solve -4*a + n - x = p for a.
-4
Let w(m) = -m**3 + m**2 + 3*m + 3. Let s be w(0). Solve -27*f = -26*f - s for f.
3
Let p(v) = v**2 + 4*v + 1. Let u be p(-5). Suppose 3*y - 2*y + 5*c + 7 = 0, 3*y = -5*c - 1. Solve k = u - y for k.
3
Let b be (2 - 1 - 2) + -19. Let t be (1 - 7)/(b/30). Let m = t + -6. Solve m*k = -5 + 2 for k.
-1
Suppose -g + 3*g + 56 = -4*v, 3*g - v + 98 = 0. Let s = g + 34. Solve s*b + b = -9 for b.
-3
Let k(h) = 3*h - 31. Let t be k(13). Suppose 0 = -t*d + 3*d. Solve s - 1 + 0 = d for s.
1
Let l(x) = -5*x**2 + 0*x**2 + 5*x - 1 + x**2 + 3*x**2. Let o be l(3). Suppose 4*s - 2*z - 22 = 0, -o*z + 3 = -2. Solve -m - m = s for m.
-3
Let k = -2294 - -2301. Solve 7*q + k*q = -8*q for q.
0
Let n be (12 - 8) + -1*0/(-2). Suppose -10 = -3*z - n. Solve v + 4 = z*v for v.
4
Suppose 5*n - 13*f + 17*f = 322, 338 = 5*n - 4*f. Solve 3 = -67*a + n*a for a.
-3
Let k = -1717 + 1720. Solve k*n + 157 - 142 = 0 for n.
-5
Let t(i) = -i**2 + 9*i - 10. Let g be t(7). Let n be (g - 4)/(-1) + 4. Suppose 0*b + 3*w = 2*b - 18, -5*b + w = -45. Solve -n*r + 7*r = -b for r.
-3
Let u be (-4)/(-20) - (4/(-5) - 3). Solve -u*k + k + 12 = 0 for k.
4
Let v(h) = -2*h**3 - 16*h**2 + 18*h + 1. Let z be v(-9). Solve z = -14*o + 15*o for o.
1
Suppose -4*l + 14 = 2*q, 0 = q + 6*l - 5*l - 6. Solve 2 + 13 = -q*t for t.
-3
Suppose -4*a - 3*k + 35 = 0, -5*a = -a + 5*k - 29. Solve j + 13 = a for j.
-2
Let f(c) = -3*c**3 - 10*c**2 + 27*c + 10. Let h be f(-5). Suppose 2*a = 5*a. Solve h = 3*z - a - 6 for z.
2
Let f be (-4)/(-18) - 2/9. Suppose 469*h - 491*h = -330. Solve f = -u - 2*u + h for u.
5
Suppose x = 6*x - 20. Let n be 6/(6*(-3)/(-6)). Let l be n + -3 - (-2 + 1). Solve l = -x*h - 20 for h.
-5
Let x = -26 - -29. Solve x*o + 1 + 2 = 0 for o.
-1
Suppose 5*m = 16 - 1. Let q = -1446 + 1447. Solve m + q = -4*v for v.
-1
Suppose -101*b = -93*b - 56. Solve -14*j = -b*j + 28 for j.
-4
Let r = -19 + 15. Let y be r + 2 - (-3 + 7/7). Solve 14*o - 16*o + 4 = y for o.
2
Let c be 9 + 0 - (-45)/(-15). Let z(s) = 2*s**2 - s + 1. Let k be z(1). Suppose -i - k + c = 0. Solve i*l + l = 20 for l.
4
Let z(q) = -7*q + 10. Let u be z(0). Let f(w) = 2*w - 1