 s = -p + t for p.
-2
Let c be (-4)/3 - 3/(-9). Let k(z) = -26*z**2 + 16*z - 9. Let t(s) = 12*s**2 - 7*s + 4. Let o(f) = 4*k(f) + 9*t(f). Let d be o(c). Solve v + d + 2 = 0 for v.
-5
Let f = 89 + -64. Suppose 4*w + w + 20 = 4*r, -5*r + f = 4*w. Solve 8 = -4*k - w*k for k.
-2
Suppose -23*m - 5 = -74. Solve m*x + 2 = 5*x for x.
1
Suppose -2*z + 25 = -13. Suppose -z = -0*o + o. Let f = o + 21. Solve -f*l = l - 15 for l.
5
Let a(w) = -2*w**3 + 17*w**2 + 5*w - 78. Let f be a(8). Solve -j + 31 - f = 0 for j.
5
Suppose -4*y - 22 = -66. Suppose y + 9 = 4*d. Solve 0*v - d = 5*v for v.
-1
Suppose -2*k = -3*b - 30 - 29, -3*k - b = -72. Solve k*q - 1 = 26*q for q.
-1
Let t = 253 + -249. Solve 5*q = 6*q - t for q.
4
Suppose -464*y + 454*y + 10 = 0. Solve a - 5 = -y for a.
4
Let n = 258 - 253. Solve -11 = n*u + 14 for u.
-5
Suppose 8*k - 10*k = -12. Suppose l + 3 = -5*c + 5, k = 3*l + 5*c. Solve -2*f - 12 = l*f for f.
-3
Let o(k) = k**2 + 5*k + 1. Let i be o(-6). Suppose i - 62 = -5*b. Let l = 74 - 43. Solve 5*a - b = -l for a.
-4
Let i = 1026 - 1026. Solve -12*o + o = i for o.
0
Let a = -48 + 20. Let w = -27 - a. Solve -o - w = -0 for o.
-1
Let b(f) = -f**2 - 4*f + 35. Suppose 0 = -80*m + 74*m - 48. Let w be b(m). Solve w*v + 16 = -v for v.
-4
Let p = 88 + -85. Solve 3*w + p = 2*w for w.
-3
Let g(q) = -5*q - 2. Let h(w) = -w - 20. Let r be h(-19). Let p be g(r). Solve 0*i + 3 = -p*i for i.
-1
Let j = 345 - 337. Solve -2*q + 0*q = j for q.
-4
Suppose 5*x - 27 = -3*l + 2*l, -3*x + 15 = 0. Let w be ((-18)/(-8))/(l/8). Let s be (w/15)/(4/40). Solve 3 + s = -3*y for y.
-3
Let w(q) = -2*q - 7. Let o be w(-6). Suppose 0 = -16*a + 49 + 11 - 28. Solve o = -3*c - a*c for c.
-1
Suppose 5*f - 41 = -2*v - 2*v, 0 = 3*f + 4*v - 31. Solve -f*h + 24 = h for h.
4
Let x(k) = 3*k**2 - 17*k - 2. Let r be x(6). Suppose -6 = -v - 2*f, -r*v - 5*f + 13 = -17. Solve -v - 5 = 5*b for b.
-3
Suppose 0 = w + 5*t - 27, 2*w + 16 = -0*t + 4*t. Solve 28 - 22 = -w*f for f.
-3
Suppose -5*p = -15, 42 = 4*z + 4*p - 6. Solve 4*m = -z - 3 for m.
-3
Suppose -4*c - 20 = -8*c. Solve 0 = c*d - 1 - 4 for d.
1
Let l(o) = 3*o - 51. Let x be l(17). Solve x = -5*g - 1 - 4 for g.
-1
Let q be (1 + -1)*3/9. Suppose q = 5*l - 3*l - c + 5, -5*c = -5*l - 25. Let d = 4 + l. Solve -3*w + 5 + d = 0 for w.
3
Suppose -3*j - 4*g + 89 = 0, -71 = 190*j - 192*j - 5*g. Solve 10*i = j + 27 for i.
5
Suppose -h = -2*q + 5, 13*h - 8*h + 2*q - 23 = 0. Suppose -4*y + 0*k + 4*k + 12 = 0, 3*y = -5*k + 49. Suppose n - y = -n. Solve -8 = h*z + n for z.
-4
Let t(x) be the third derivative of x**5/60 + 5*x**4/12 - 11*x**3/3 - 12*x**2. Let z be t(-12). Solve z*l + l = 0 for l.
0
Let u(a) = 76*a - 454. Let y be u(6). Solve f = -y*f + 15 for f.
5
Let x be 78/(-104)*(-2)/9*30. Solve -16 = x*w - 21 for w.
1
Let c be 15/1 - ((2 - -1) + -2). Suppose -c*q = -7*q. Solve q + 4 = r for r.
4
Suppose 11*p = 14*p - 108. Suppose 0 = 4*q - 5*y - p, -7*y = 5*q - 5*y - 12. Solve 0 = q*m - 6*m + 2 for m.
1
Suppose 4*k - 30 = -2*t, 21 = 3*k + k - t. Solve k = -15*s + 17*s for s.
3
Suppose s - 318 = 100. Let i be s/18 - (-32)/(-144). Let a = i + -20. Solve -o + 1 = a for o.
-2
Let m be 0 - (-64)/14 - (-12)/(-21). Suppose -4*a + m*a = 4*a. Solve 3*c + 12 + 0 = a for c.
-4
Let q(k) = 15*k**3 - 31*k**2 + 15*k + 9. Let t(b) = 7*b**3 - 15*b**2 + 8*b + 4. Let z(m) = 6*q(m) - 13*t(m). Let n be z(7). Solve -5*c + n = -3 for c.
1
Let k(h) = 3*h**2 + 59*h - 174. Let u be k(3). Solve -u = 2*z - 32 for z.
1
Let t(n) = -n**2 - 7*n - 10. Let j be t(-4). Suppose v + 14 = 2*v - 3*o, 10 = v - j*o. Suppose 7*z = v*z. Solve z = 2*p - 4*p for p.
0
Let m(p) = p + 18. Let h be m(-14). Suppose -20 = 2*r - 3*r - h*o, 4*o = -3*r + 28. Solve r*b + 3 = -13 for b.
-4
Let j(s) = 2*s + 3. Let m be j(-4). Let v be m/(-1) + -2 - 0. Suppose 82 - 19 = 7*i. Solve -4*l + i = -v for l.
3
Suppose l - 3 = 0, 39 = 4*x - 0*l + 5*l. Let h be x*4/(-6) + 9. Solve 6 = h*k + 1 for k.
1
Suppose -9*n + 13 = 13. Solve 4*z - 12 + 24 = n for z.
-3
Let z(j) = -j**3 - 13*j**2 + 12*j - 22. Suppose -32 = 4*u + 24. Let t be z(u). Solve -2*r + 4 = t for r.
-1
Let b = 21 - 13. Let f = 39 - 43. Let o = f + b. Solve 5 = o*y + 25 for y.
-5
Let p(k) = -k**3 + 12*k**2 - 24*k - 5. Let f be p(9). Solve j + f = 27 for j.
5
Let h = 21 - 18. Let w(z) = 2*z - 2. Let y be w(h). Solve -y*t = -t for t.
0
Suppose 0 = -3*b + 2*h + 56, -6*h - 12 = -3*h. Solve -5*d = b - 6 for d.
-2
Let k be 56/16*(4 - 2). Solve k*f + 6 = f for f.
-1
Suppose 0 = 4*s + 5*f - 23, 8*s = 12*s + 2*f - 26. Solve -s*t = -8*t + 5 for t.
5
Let x be (-3)/(-27) + (-16)/(-18). Let n(g) = 2*g. Let j be n(x). Solve -w + 3*w = j for w.
1
Let v = 14 + -14. Suppose -3*s - 3 = v, 3*s + 37 = r + s. Let a = 58 - r. Solve -5*q - a = -3 for q.
-4
Suppose 3*s - 2 = -3*o + 5*o, -5*o = -4*s - 2. Solve o*k - 10*k = -40 for k.
5
Suppose 3*c - 43 = -4*s - 0*s, 3*s = c + 16. Solve s*j - 15 = 6 for j.
3
Let r = 2 - 2. Let x(g) = 31*g - 3. Let l be x(1). Let d = l - 26. Solve r = -d*f - 4 for f.
-2
Let z(a) be the second derivative of a**5/20 - 3*a**4/4 - 3*a**3/2 - 3*a**2 + 21*a. Let k be z(10). Solve -k*g = -g for g.
0
Suppose c = 5*f - 9*f - 4, 0 = -4*c - 5*f - 5. Solve c = -2*w + w for w.
0
Let m be (-2)/22 + (-665)/(-55) + -9. Solve 8*o - 5 = m*o for o.
1
Let m(c) = c**2 - 8*c + 4. Suppose -3*i + 15 = -2*b + 5*b, -2*b = -i + 11. Let o be m(i). Let g be 2/(-9)*6*o. Solve -3*r = 16 - g for r.
-4
Suppose 3*c = w + 5*c - 3, 0 = 3*w - 3*c - 9. Let m(k) = k**3 + 8*k**2 - 11*k - 17. Let o be m(-9). Solve -o + w = i for i.
2
Suppose 0 = k - 21 + 18. Let w(b) = -b**3 + 3*b**2 - 2*b + 2. Let v be w(2). Solve -v*u = 7 + k for u.
-5
Let y = 472 - 468. Solve -y*l - 15 = -9*l for l.
3
Suppose 3*q = -q + 640. Suppose -12*k + q = -2*k. Let o = -3 + 6. Solve -o*g - g = -k for g.
4
Let f(d) = -d**2 + 10*d + 13. Let g be f(11). Suppose 5*q = -g*y + 55, -4*y = -0*y + q - 65. Solve -4*h + 5 = -y for h.
5
Let w = 175 + -171. Solve 0 = -2*h + h - w for h.
-4
Let l(g) = g**2 + 8 - 10*g - 14 + 7. Let c be l(9). Let p = c - -11. Solve j - 12 = -p*j for j.
3
Let k(d) = d**2 - 16*d + 10. Let a be k(16). Let l be 2/a*12 + 57/95. Solve 4*n + 7 = l for n.
-1
Let x(q) = -q**3 - 3*q**2 - 2*q - 3. Let l = 74 - 77. Let w be x(l). Solve w*s + 1 = -14 for s.
-5
Let p be ((-20)/6)/((-2)/15). Let z(r) = 8*r**3 - 56*r**2 + 5*r - 35. Let a be z(7). Solve a = -8*j + 3*j + p for j.
5
Let x(f) = -f**3 - 5*f**2 - 2*f. Let m = -2 + -3. Let t be x(m). Suppose 4*o - t = 2*o. Solve -11 + 1 = o*q for q.
-2
Let m = 44 - -16. Suppose -2*f + 8*f - m = 0. Solve -f = -3*w + w for w.
5
Let z(q) = q**2 - 13*q + 12. Let g be z(12). Suppose 2*p - 10 = -g*p. Let o be 2/(-3 - -1) + 17. Solve p*c - 1 + o = 0 for c.
-3
Let r be 1/(4 + (-140)/36). Let x = r - -1. Let d = -4 + 6. Solve 0 = d*f - x for f.
5
Let t be -39*4/(-28) - (-21)/49. Solve -k + t = -4*k for k.
-2
Suppose -4*j + 6*j = 3*s - 11, j + 13 = 4*s. Let p(o) = -2*o**2 + 7*o + 2. Let d be p(s). Solve 0 = 3*k - 2*k - d for k.
5
Suppose -l - 256 = -271. Solve -20*f = -l*f - 25 for f.
5
Let i be 20/6 + (-1)/3. Suppose i = -3*n + 5*y, 2*n - 7 = y - 2. Let s(q) = -10*q**2 + 38*q + 8. Let k be s(4). Solve f + n + 1 = k for f.
-5
Suppose -m = 2*v - 5*m - 60, -134 = -5*v + 2*m. Solve -v + 24 = c for c.
-2
Let r = 1300 - 1287. Solve -8*x = 19 + r for x.
-4
Let u(s) = -12*s + 4 + 10*s**2 + 17*s**2 - 26*s**2. Let l be u(12). Solve 0 = -3*a - l - 11 for a.
-5
Let r be ((3 - -1) + 1)/1. Let t(u) = u**2 + 13*u + 20. Let a be t(-12). Solve -r*n = -n - a for n.
2
Suppose -241*j = -207*j - 2924. Solve j = u + 87 for u.
-1
Let s(b) = b**3 - 8*b**2 + 7*b + 2. Let k be s(7). Let r(x) = -x**2 + 7. Let u be r(0). Let o = 7 - u. Solve o = 2*t - k + 12 for t.
-5
Let z be (-4 - 3) + -1 - -8. Solve z = -7*t - 28 + 14 for t.
-2
Let f = -7 + 15. Let m = 8 - f. Let s(n) = -n**2 + 6*n + 2. Let h be s(6). Solve m = -h*j + 6*j for j.
0
Let f(q) = -4*q + 19. Let v be f(4). Suppose -4*h = d - 11, h = v*h + 4*d - 2. Solve -17 = -5*g + h for g.
4
Suppose -4*q + 82 - 138 = 0. Suppose 2*y + 6 = c - 2, -2*y - 2*c - 14 = 0. Let v be y/(-20) - q/8. Solve 3*a + 25 = -v*a for a.
-5
Suppose d + 4*m = -10, 3*m = -3*d - 2 - 1. Let c(j) = -j + 1 + 3 + d*j - 5. Let i be c(5). Solve -n - i*n = 15 for n.
-3
Suppose