 53. Solve -s = 5*t + 6 for t.
-5
Let b be (2 + 1)*130/78. Solve 3 = 2*d + b for d.
-1
Let f(o) = 4*o**2 - 39*o - 11. Let r be f(12). Solve -r*n - 9 = -94*n for n.
-3
Let c = 20 - 24. Let z be (c/6)/(6/(-45)). Let y be z*((-3)/(-5) - 0). Solve 15 = -y*v - 2*v for v.
-3
Suppose 25 - 11 = 7*s. Let g(p) = -p**3 + 4*p**2 + 6*p + 3. Let v be g(5). Suppose 0 = n + 3, -3*n + 9 = -3*c - v*n. Solve s*o + c*o = -12 for o.
-3
Suppose -s + 0*s = -6. Let q(j) = j**2 - 3*j - 1. Let o be q(s). Suppose 3*a + 31 = 5*d, -5*d + 2*d = 4*a - 7. Solve d = -4*n + o for n.
3
Suppose 3*k + 2*k = 25. Suppose -2*j - 5*c + 20 = 3*j, k*j + 3*c - 30 = 0. Let f = -45 - -48. Solve -f = 3*r + j for r.
-4
Suppose 0 = 4*b + 4*y + 8, 6 = -y + 5. Let a be 2/b + (9 - 11). Let k be -3 - (a - -2) - -2. Solve -2 = 3*z + k for z.
-1
Suppose -140 = -4*k - 6*p + 3*p, 3*p + 12 = 0. Let i = 22 - k. Let d be ((-3)/(-6))/((-2)/i). Solve t = d*t for t.
0
Suppose 0*z - 2*z = -70. Let f = -31 + z. Solve -2*t + 2 = -f for t.
3
Let i = 361 + -348. Solve -2 = 5*r + i for r.
-3
Let i(q) = -q**2 - 5*q. Let x be i(-5). Suppose x = 3*d - 5 - 10. Solve -d + 3 = -a for a.
2
Suppose 0 = -f + 6*f - 60. Let b be 0 - 1/(1/f). Let h = -10 - b. Solve h*a - 3*a = -4 for a.
4
Suppose 5*w + 2*u - 29 = 4*w, -3 = -3*u. Suppose -5*t + 23 + w = 0. Solve -3*z + 5 = -t for z.
5
Let v be (-512)/1152 + 224/18. Solve 6*a + 36 - v = 0 for a.
-4
Suppose 0*h = 12*h - 12. Let x be h/(-2)*(-6 + 2). Solve 0 = f + x - 6 for f.
4
Let d(l) = l**3 - 7*l**2 + 9*l - 9. Let x be d(6). Let p(c) = 9*c**2 - 10*c - 22. Let g be p(-2). Solve x = -5*w + g for w.
5
Let l(b) be the second derivative of -b**4/12 - b**3/6 + 3*b**2 + 2*b. Let y be l(-3). Suppose 3*q - 4*q + 1 = y. Solve 2*p - 3 - q = 0 for p.
2
Let a(x) = -x**3 - 10*x**2 + 4. Let t be a(-10). Suppose 0 = -s - 4*p + t, -3*p + 5 = s - 2. Solve -o + 5*o = -s for o.
-4
Let d be (8/20)/(-4 - (-372)/90). Solve d*u - 13 = -4 for u.
3
Let o = 4 - -1. Let x be ((-24)/(-15))/(2/o). Suppose -x*u - 3 = -4*w - 23, -17 = -5*u - 3*w. Solve 0 = u*c + 2 + 14 for c.
-4
Suppose -30 + 9 = 7*f. Let g be 3 + 2 + f + 0. Solve 4 + 2 = g*v for v.
3
Let d = 22 + -17. Suppose -36 = b + 2*i - 26, -4*b + 5 = -i. Solve -d*p - 9 - 6 = b for p.
-3
Suppose 0 = v - 3*o - 5 + 6, 3*v - 5*o + 19 = 0. Let z = -12 - v. Let c(h) = 5*h - 1. Let b be c(z). Solve b*j + 26 = 6 for j.
-5
Let z(m) = -2*m + 17. Let r be z(6). Suppose 2*s - 3 = 5*i + 4, r = -5*i. Solve -a - s + 2 = 0 for a.
1
Let q(d) = 4*d**2 + d - 4. Let u be q(2). Solve 3*o - 29 + u = 0 for o.
5
Let i(a) = a**3 - 12*a**2 + 5. Suppose 3*l + 0*l - 66 = -5*o, 2*o - 4*l - 16 = 0. Let d be i(o). Solve 5*h - 5 = d for h.
2
Let u(i) = 2*i**2 - 20*i + 24. Let x be u(9). Solve 3*k = x*k for k.
0
Let y(k) = k + 13. Let a be y(-11). Suppose 5*c = -a*v - 132 + 52, 2*v - 60 = 5*c. Let x be (-44)/(-22) - (c + -1). Solve 5*j - x = 3 for j.
4
Let b(w) = -w**2 - 13*w - 15. Let d be b(-13). Let o = d + 20. Suppose 2*n + 12 = -2*t - t, -o*t = 5*n + 20. Solve -3*p = -n*p + 3 for p.
-1
Let i be 11/4 + (-3)/(-12). Suppose -5*j = i*j. Solve j = o + 3*o for o.
0
Let o = -39 - -58. Let v = o + -5. Solve 5*d = 6 + v for d.
4
Suppose -3*a - 3 = -4*a + s, -4*s = 2*a + 12. Let y(r) = r**2 + 3*r + 1. Let z be y(-3). Suppose 3*o = 4*u - 4, 4*o - 5 = 3*u - z. Solve a = -o*m - 0*m for m.
0
Suppose 4*b = -4 - 8. Let j be (0 + 2/b)/(32/(-528)). Solve 3*g + 4 + j = 0 for g.
-5
Let p(w) = -w**3 + w**2 + 8*w - 7. Let r be p(3). Let t be ((r - -1) + -17)/(-1). Solve -3*i = 2 - t for i.
5
Let o(m) = 7 - 2 + 7 - 3 - m. Let t be o(9). Suppose t = 3*k + 2*k - 40. Solve 0 = -2*q - k + 4 for q.
-2
Suppose -p + 2 = 0, -p - 2 - 2 = -c. Suppose 0 = 3*q + c - 9. Solve -3*t = -2 - q for t.
1
Let x(v) = -6 + 2*v + 5 - 3*v - 1. Let d(u) = u**2 - 9*u + 9. Let z be d(6). Let t be x(z). Solve 3*h - t*h + 16 = 0 for h.
4
Let u(d) = -d**3 - 12*d**2 + 44*d - 15. Let z be u(-15). Let q = -1 - -6. Solve z = -0*x + q*x for x.
0
Suppose 221 = -3*j - 49. Let c = -86 - j. Solve -i - c = -5 for i.
1
Suppose 5*j - 35 = m + 4*m, 2*m - 5*j + 26 = 0. Let r(v) = v**3 + 2*v**2 + v - 2. Let l be r(m). Let w = 23 + l. Solve 6*p - 3*p = -w for p.
-3
Let c(l) = 6*l**3 + 17*l**2 + 20*l - 20. Let a(u) = -7*u**3 - 17*u**2 - 21*u + 20. Let k(w) = -5*a(w) - 6*c(w). Let d be k(-16). Solve -d*b - 11 = -3 for b.
-2
Suppose -4*t - t = 2*m - 9, -2 = -3*m + 4*t. Suppose 0 = -2*n - 0*n + 4. Solve 0 = -m*a - n*a - 8 for a.
-2
Let f be (-5)/(-3)*-2*-3. Suppose -3*q = -x - 4, -7*q + 2*q + f = 0. Let k be (-2)/2 + (-78)/(-6) + -3. Solve -x*t + k = 1 for t.
4
Let c = 12 + -8. Solve -7*d = -c*d + 3 for d.
-1
Let b = 17 - 25. Let n = 12 + b. Solve -10 = n*x - 2 for x.
-2
Let h(a) be the first derivative of 7*a + 4 - 1/4*a**4 - 2*a**3 - 3/2*a**2. Let c be h(-6). Solve w = -4*w + c for w.
5
Let g(v) = -v**2 - 6*v - 1. Let z be g(-5). Suppose -z*t - 2 = -3*t. Let a be -2 + (9 - -1) - t. Solve a = -5*j - 5 for j.
-3
Let z be 14 + (-8)/((-8)/3). Suppose 10 - z = -p. Solve 3*u - p*u - 8 = 0 for u.
-2
Let r(m) = -2*m + 7. Let q be ((-8)/(-12) + -1)*-18. Let b be r(q). Let n(t) = -4*t - 17. Let c be n(b). Solve -c = -2*v - 5 for v.
-1
Let b(f) = -f**3 - 10*f**2 + 12*f - 1. Let u be b(-11). Let p(o) = -o**2 - 13*o - 4. Let q be p(u). Suppose 0 = 4*i - q*i. Solve 2*x + 2*x - 4 = i for x.
1
Let r be 1*(-3)/((-12)/28). Let g(x) = x - 7. Let k be g(r). Let u be (-20)/(-9) + (-4)/18. Solve -f - u + 3 = k for f.
1
Let i be 10 - 8/(8/4). Let y(n) = 3*n**2 + n - 7. Let f be y(-3). Let u = 19 - f. Solve -p = i - u for p.
-4
Let w be (-16 - -19)*(-1)/(-3)*-92. Let a = 94 + w. Solve a*k = 4 - 0 for k.
2
Suppose -3*z = 12*z. Solve 2*f - 3*f + 4 = z for f.
4
Suppose -n + 130 = 9*n. Let v be -2 + n/4 + 1/(-4). Solve -s = -6 + v for s.
5
Let n be 4 + -3 + (2 - 0). Suppose -w - 16 = -3*f - 3*w, n*w + 14 = 5*f. Suppose 4*i - 8 = f*z, z + 3*z - 12 = -i. Solve 5 = -z*j - 5 for j.
-5
Let x = 327 - 312. Solve 0 = x*d + 39 - 9 for d.
-2
Let l be 25/(-15)*(-30)/25. Suppose -i = 4*i - 10. Suppose 5*a - 3*x - 19 = 0, 0 = -5*a - x - i*x + 1. Solve -a*c - 20 = l*c for c.
-5
Let a = 6 + -1. Let b be (-45)/60*1/(-2)*8. Solve -n + b = a for n.
-2
Let i(j) = -8 + j**2 + 2*j**2 + 0*j**2 - 4*j**2 - 12*j. Let n be i(-11). Solve t = n*t + 8 for t.
-4
Suppose 0 = 6*t - 3*t + 24. Let k = t + 11. Suppose w = k*w. Solve 4*v = -w*v for v.
0
Let o = 9 + -5. Suppose -3*g = 4*h - 2*h - 19, -7 = 4*h - 3*g. Solve h*k - o*k - 2 = 0 for k.
-1
Let w = -237 + 247. Solve 11*n + 5 = w*n for n.
-5
Let v(u) = -u**2 + 9*u - 6. Let p(t) = -2*t**2 + 19*t - 12. Let n(f) = -3*p(f) + 7*v(f). Let m = -5 - -9. Let r be n(m). Solve l - 5 = r*l for l.
-5
Let n be ((-82)/(-6) - 24/36) + -2. Solve 0 = 2*r - n + 21 for r.
-5
Suppose -3*a - 2*a = -15, -f + 3*a - 39 = 0. Let z = -30 - f. Solve 2*u + 0*u - 10 = z for u.
5
Suppose 4*o + r - 21 - 14 = 0, -2*r + 40 = 5*o. Suppose 23*b + o = 28*b. Solve -4*p - b = -14 for p.
3
Let z be (-2 + 1)/((-2)/6). Let j = 85 - 120. Let q = j - -43. Solve -2 + q = -z*a for a.
-2
Suppose -3*n + 33 = -2*n + 5*b, 5*n = -4*b + 60. Solve -4*j = -2*j - n for j.
4
Let g be (2/(-3))/((-2)/27). Let x = 61 + -49. Let i = x - g. Solve 2*f = 3*f + i for f.
-3
Suppose -5*v + 22 = -8. Let g = 5 - v. Let y be (-2 - -1) + (-6)/g. Solve 0 = y*f + 5 + 10 for f.
-3
Suppose 10*k - 8*k = -4*y + 172, 0 = -4*k - 2*y + 344. Solve k*z = 90*z - 16 for z.
4
Suppose 5*z + 17 = 4*o, -3*o - 4*z = -o + 24. Let a be (0*3/6)/o. Suppose 4*p - 33 = -5*y, -p + 4*y - 10 = 4*p. Solve -p*r = -a*r + 6 for r.
-3
Let c(w) = 2*w - 1. Let r be c(2). Let t = -1 + 8. Suppose 15 = 4*g + t. Solve -r*h = -g*h - 1 for h.
1
Suppose 50*n - 54*n = -48. Let h be -3 + (-1 - -2) + 0 + n. Solve 5*y = -0*y + h for y.
2
Let t(m) = m + 2. Let k(s) = s + 3. Let p(g) = -5*k(g) + 4*t(g). Let h be p(-9). Solve -h*o - 8 = -2 for o.
-3
Let d(a) = -a**2 - 14*a + 7. Let j be d(-14). Let t be j/3 + 2/3. Suppose 0*u + 3*u = t. Solve 0 = -5*b - u - 4 for b.
-1
Let t(r) = -r**3 + 10*r**2 + 5*r - 23. Let g be t(10). Suppose -m - 4*m + g = 3*v, 5*v - 20 = 0. Solve -m*i = 2*i for i.
0
Suppose 626 = 4*a - 3*b, 12*a - 7*a = -6*b + 802. Solve -a*k + 16 = -162*k for k.
-4
Let p = 179 - 96. Let a = p + -79. Solve -3*t + 19 = a for t.
5
Suppose -4 = 15*h - 11*h.