Solve 4*s = t*s for s.
0
Suppose 17*v + 488 = 488. Solve v = 3*w - 4*w - 9*w for w.
0
Suppose -18*w - 25 = -19*w. Let m = -69 - -73. Solve -m*v + w = 9 for v.
4
Let j(o) = -2*o**2 + 7*o + 17. Let u = 286 + -281. Let s be j(u). Solve -2*n = s*n - 8 for n.
2
Let n(y) be the second derivative of y**5/10 - y**4/6 + y**3/2 - y**2/2 - 26*y. Let w be n(1). Let f be ((-8)/6)/(w/(-6)). Solve x = -f*x for x.
0
Let y(c) = -c**3 + 12*c**2 + 5*c + 48. Let k be y(11). Suppose -k*h - 35 = -225*h. Solve d + h = 31 for d.
-4
Let a(s) = -s**3 + 15*s**2 + 18*s - 5. Let z be a(16). Suppose k + 24 - z = 0. Solve 0 = k*v - 0 + 6 for v.
-2
Suppose 4 = m - 5*m. Let t be -1 - 0/3 - (-2 + m). Suppose 0 = -4*f + 14 - t. Solve 3*r - 6*r + f = 0 for r.
1
Let r = 12 + 44. Suppose 2*o - 2*j + r = 4*o, -56 = -2*o + 4*j. Solve -o = 4*q - 11*q for q.
4
Suppose -r = r. Suppose 2 = 2*l - 5*q - 16, l + 3*q = -2. Suppose -42 = 4*f - 6*f + l*j, 4*j + 72 = 4*f. Solve r = -4*b - b + f for b.
3
Let h(u) be the second derivative of -u**4/6 - 11*u**3/3 - 13*u**2/2 + 4*u - 14. Let w be h(-10). Solve 0 = -6*r + w - 1 for r.
1
Let h(j) = -2*j**3 - j**2 + j - 2. Let q be h(1). Let t be (2/5 - 0)/(q/(-80)). Let k(w) = -8*w - 29. Let u be k(-4). Solve -t*m + u*m = 25 for m.
-5
Suppose -2*j = -12 + 6. Suppose j*r - 5*a = 19, -a + 17 = 3*r - 5*a. Let c = 464 - 464. Solve 5*s - 12 - r = c for s.
3
Let z(x) = x + 7. Let d be z(-5). Suppose -4*l - 80 = -4*o, 2*l - 20 = -2*o - 0*l. Suppose v - m = -5, -v + 6*v + 3*m = o. Solve 0 = -v*n - d*n - 2 for n.
-1
Suppose -q = -190 + 154. Solve -2*o = 30 - q for o.
3
Let w(b) = 31*b**2 + b + 20. Let h be w(4). Suppose -33*f + 25*f = -h. Solve -12*y - y + f = 0 for y.
5
Let w be (-12)/(-18) - 40/(-12). Suppose 3*r - 27 = -3*a, -3*a + 13 = -w*r - 0*r. Solve a*x + 25 = 2*x for x.
-5
Suppose 2*f + 3*n + 3 = 0, -4*f + 9 = 4*n - 3*n. Let i(z) be the second derivative of -z**4/6 + 4*z**3/3 - 2*z**2 - 3*z. Let s be i(f). Solve 0 = s*k + k for k.
0
Let b(t) = t**2 + 3*t - 54. Let m be b(-10). Suppose 2*r - w = 59, -17*r = -m*r + w - 22. Solve r = -n + 26 for n.
-1
Let q = 2875 + -2875. Solve q = -73*c + 68*c - 25 for c.
-5
Let l = 14364 + -14344. Solve 138*q - l = 134*q for q.
5
Let o be 3*4*(-12)/18. Let i be 12*(-16)/(-12)*(-2)/o. Solve -i*c - 7 = -11 for c.
1
Suppose 14*w = -12*w + 2*w. Solve 87*y - 76*y - 11 = w for y.
1
Suppose 7 + 1 = 2*w. Suppose 7*y = 6*y - 2*b, -5*b - 36 = -2*y. Let q(j) = j**3 - 7*j**2 - 18*j + 80. Let r be q(y). Solve 4*c = -r*c + w for c.
1
Let w(o) = 4*o + 35. Let i be w(-8). Suppose 3*q - i*c + 4*c = 4, 0 = 5*q - 5*c. Suppose 5 = 2*a + q. Solve s + 0 = -a for s.
-2
Let x(t) = 124*t - 3707. Let o be x(30). Solve 0 = -o*h - 89 - 15 for h.
-8
Suppose -5*n + 6 = -2*x, -n - 6 = -3*x - x. Solve -x*j = 11*j - 26 for j.
2
Let x = 3238 + -3237. Suppose -27 + 127 = 4*b. Suppose 5*r - b - 8 = -4*s, 3*s = r + x. Solve -s = 5*i + 3 for i.
-1
Let j(w) = 133*w**2 + 14*w - 3. Let x be j(-1). Solve -132*s - x - 412 = 0 for s.
-4
Let n = 33 - 31. Suppose -2*y - 6 = j + 8, 2*y = -n*j - 16. Let d be ((-9)/y - 1)*(5 - 5). Solve d*r = 2*r for r.
0
Let j(u) = -8*u - 383. Let h be j(-48). Suppose -9*p - 10 = -14*p. Solve -m + h = -p for m.
3
Suppose -5*s + 48 = -4*m, -5*m = s + 3*s - 22. Let k = 1645 + -1642. Solve s = -k*p + 2 for p.
-2
Let a(t) = t**2 + 3*t - 63. Let b(h) = -9*h - 173. Let r be b(-20). Let q be a(r). Solve q*y - 12 - 16 = 0 for y.
4
Suppose 18*b + 14 = 374. Solve 23*r - 28*r + b = 0 for r.
4
Let r(t) = -48*t - 43. Let j be r(-1). Suppose j*d - 48 = 2*q, q - 9 + 5 = -d. Solve 4 = -d*l + 36 for l.
4
Let n be (6 - 3)/(12/12). Let s be (-36)/(-4)*10/6. Suppose 0 = -5*o + 5*y + s, 3*y = 2*o - 3*o + 23. Solve f = n*f + o for f.
-4
Let b be 7/21 + -9 + ((-4)/3 - -12). Let z(v) = v**2 + v + 1. Let k be z(-1). Suppose 0 = -2*f - w + 14, -k + 10 = 5*f - 4*w. Solve 3*u = -b*u + f for u.
1
Let i be 147/(-196)*(-28)/3. Suppose -55 = -i*v + 2*v - 3*k, -4*v + 5*k = -81. Solve 13*h + 4 = v*h for h.
4
Let s = -199 - -417. Let q = s + -213. Solve 3*r - q*r = 4 for r.
-2
Let p = -21 - -31. Let g be ((-54)/10)/((-2)/(-30)). Let x = g - -96. Solve p + x = 5*l for l.
5
Suppose -37*k - 104 = -3*r - 33*k, 0 = -5*r + 3*k + 188. Let u be 126/30 - r/(-50). Let b be -2*(17/(-2) + 1). Solve u*a + b = -0*a for a.
-3
Suppose -45 = -5*w - r + 5*r, -2*r + 10 = 4*w. Let d be 52/6*15/10. Suppose a = d - 1. Solve -a - 8 = -w*m for m.
4
Suppose -4*x - 96 = -10*x. Suppose -12*k + x*k - 18 = -2*h, -2*k = -h - 19. Solve k*c - 3*c = 12 for c.
3
Suppose 68*l - 72*l = -44. Suppose -2*d + 3*r + 12 = -2*r, -3*r = -5*d + l. Solve -3*t - d - 11 = 0 for t.
-4
Let d be 9 - (-15)/(75/(-70)). Let q be ((-2)/(-8))/(d/(-20)). Let x(p) = p**2 - 3*p. Let v be x(4). Solve -q = -v*j + 3 for j.
1
Let d(f) = f**3 + 10*f**2 - 5*f - 45. Let x be d(-10). Suppose 0 = x*t - 5*m - 135, -3*t + 2*m = -34 - 44. Solve 0 = -10*a + 4*a - t for a.
-4
Suppose 0 = 4*v + 3*j - 46, 6*j - 3*j = 5*v - 44. Let a(h) = h**3 - 8*h**2 - 21*h + 15. Let g be a(v). Solve g*x + 3*x + 8 = 0 for x.
-1
Suppose 3*b - 2583 + 2413 = -5*r, -5*b + 3*r + 204 = 0. Solve 0 = 16*h - b*h - 232 for h.
-8
Let c be (-3)/(-9) + 48/18. Suppose c*r - 128 = -4*x, -4 = 3*r + 8. Solve 2*q + 5*q = x for q.
5
Suppose -u = 2*i - 60, 419*u - 5*i + 246 = 423*u. Solve 0 = 5*c + u - 54 for c.
-2
Let z(p) be the first derivative of p**3/3 - 27*p**2/2 + 78*p + 140. Let g be z(3). Solve -g*l = -0*l - 18 for l.
3
Suppose 5*d - d + 4*p - 32 = 0, 5*d - p = 28. Let j(c) = c**2 - 7*c + 26. Let u be j(d). Solve 9*y - u = 13*y for y.
-5
Suppose 15 = 4*t - 1. Suppose 122 = f - t*f + c, -4*c - 32 = f. Let m = 43 + f. Solve 18 = -3*a + m for a.
-5
Let o(d) = -4*d**3 - 8*d**2 - 11*d + 3. Let t be o(-2). Suppose 99 = -4*y - 5*z, -3*y - z - 2*z - 72 = 0. Let n = y + t. Solve 5*k - n*k - 2 = 0 for k.
2
Suppose 19 = -31*s + 918. Suppose -5*z + 16 = o, o - 31*z = -s*z + 9. Solve -28 = 4*r - o*r for r.
4
Let x(h) = -7*h - 5 - 15 - 13*h + 18*h. Let o be x(0). Let t be ((-1)/((-6)/o))/((-66)/99). Solve -3*d + 17 = t for d.
4
Let z(i) = -i**3 - i**2 + 7*i + 15. Let a(s) = -s**2 + 15*s - 38. Let o be a(3). Let n be z(o). Solve 14*p - n = 19*p for p.
-1
Suppose 140 = 22*b - 18*b. Suppose -4*o + b = -l, -4*o = -6*o - 3*l + 7. Solve 7*s - 5*s = o for s.
4
Suppose 5*w - 5 = -3*c, -1 = c - 0*w - w. Let d(b) be the first derivative of b**4/4 + b**3/3 - b**2/2 + 8*b - 187. Let p be d(c). Solve 0 = h + h - p for h.
4
Let w(z) = -z**2 + 12*z - 20. Let h be w(10). Let s = 6 + -4. Suppose p + 5*d - 10 = -2*p, h = s*p - 2*d - 28. Solve -p = -5*f + 10 for f.
4
Let g(b) = b**2 + 9*b + 16. Let t = 17 - 24. Let q be g(t). Suppose 4*m - 22 = -q. Solve -4*j + 1 = m for j.
-1
Suppose 0 = -m - m, m = 3*q + 18. Let b be (32/q)/((-50)/75). Solve 5*k - 12 = b for k.
4
Let n(s) = -5*s**2 + 36*s - 16. Let r be n(3). Solve 36*h = r*h - 55 for h.
5
Let g = -25 + 41. Let j be (2 - g/4)*18/(-4). Solve 3*h + 0 = -j for h.
-3
Suppose -103*j - 20*j - 3708 = -14532. Solve j = -47*y - 53 for y.
-3
Suppose -2*n + k + 18 = 3*k, n - 3*k = -11. Suppose 5*f + 5 = -3*v + 11, v = n*f - 15. Solve 2*t + 2 = f*t for t.
2
Let h(a) = a**2 + 3*a - 28. Let q = 602 - 610. Let b be h(q). Solve 0 = -8*m + 11*m - b for m.
4
Let y(f) = -95*f - 2076. Let x be y(-22). Solve 0 = -x*q + 16*q - 12 for q.
6
Suppose 0 = -22*r - 23*r + 3285. Solve -r*b + 65*b = -48 for b.
6
Let o(f) = -7*f**2 + 104*f - 329. Let u be o(9). Solve -u*s - 80 = -50*s for s.
8
Suppose 2*j + 1 = 13. Suppose -87*a + 90*a - 135 = 0. Suppose -24*m + 15*m + a = 0. Solve -j*c + c - m = 0 for c.
-1
Suppose 15*l = -143 + 218. Suppose 2*o - 12 = -o, 5*x - l*o = 0. Solve -8 = -0*i + x*i for i.
-2
Let z be ((-4)/(-6))/((-13)/(-78)). Suppose 228 = -z*h - 3*j - 0*j, 3*j = -3*h - 171. Let v = -53 - h. Solve 4 = -v*g - 0 for g.
-1
Suppose -2*m = -0*m. Let v(s) be the first derivative of -41*s**2/2 + 44*s + 85. Let x be v(1). Solve m*u + x = -u for u.
-3
Let s(u) = 3*u**3 + 63*u**2 + 7*u + 170. Let d be s(-21). Solve -38 = 5*p - d for p.
-3
Let h be 359/9 + 4/36. Let u be (-4)/(32/h) - (-18)/2. Solve u*q + 19 = 7 for q.
-3
Let g(c) = 12*c + 69. Let j be g(-6). Let x be (-3 - -1) + -44 - j. Let f = x + 47. Solve -3*z = z - f for z.
1
Let l = 47 - 45. Let t be 112/24*l/8*6