for x.
-2
Let u(z) be the second derivative of 7*z**4/12 - 5*z**3/6 + 111*z. Let t be u(1). Solve -2*j + 2 = -t for j.
2
Suppose -3*v = -0*v + 5*n - 13, v + 3*n - 3 = 0. Suppose v*a = 2*a + 32. Suppose 3*z - 1 = 2*b - 3, -6 = -2*b + z. Solve -q - b = -a for q.
4
Let z be 0 + (-1)/((-2)/6). Let j = -390 + 396. Let v be j/4*(4 - 4 - -2). Solve 12 = v*s - z for s.
5
Suppose a = -5*a + 30. Suppose 5*p - 12 = -l, l - a*l = 3*p - 48. Solve l*o + 4 = 16*o for o.
1
Let h be ((-8)/(-12))/(-1) + (-25)/3. Let j be 6/4*(-222)/h. Suppose -2*f + 22 = 4*u, 5*f + 4*u - j = -0*u. Solve -7 = -f*k + 3 for k.
2
Suppose 12 = 378*u - 382*u. Let g be (0*(-4 - u))/2. Solve g = -3*t - t - 8 for t.
-2
Let d = 5097 + -4998. Solve 3 = d*l - 96*l for l.
1
Let o be 52/(-8) - 91/(-14). Solve -10*u - 100 + 60 = o for u.
-4
Suppose -90 = -22*y - 442. Let a(z) = z**3 + 16*z**2 + 2*z + 35. Let l be a(y). Solve l*s + 0*s = -3 for s.
-1
Let v(a) = 10*a**2 + 5*a - 3*a**2 - 6 - 6*a**2. Let m be v(-7). Suppose 3*c + 10 = m*c. Solve -c*w + 0*w = -4 for w.
2
Suppose -59*r = -13877 - 3469. Solve 297*l = r*l - 12 for l.
-4
Let q = 1835 + -1826. Solve q = 5*x - 6 for x.
3
Suppose 0 = -4*q + 6*q - 6. Let a = 5 - q. Let w(b) = -b**2 - 3*b + 14. Let v be w(-5). Solve -a*l + 2 = v for l.
-1
Let o(r) = -r**3 - 19*r**2 - 17*r + 40. Let f be o(-18). Suppose -f*i = -18*i. Solve i*p - 5*p = 20 for p.
-4
Let v = -106 + 106. Suppose v = -10*f + f + 90. Solve -f*o + 9*o - 2 = 0 for o.
-2
Suppose -3*z = 7*z - 110. Suppose 0*o + 77 = z*o. Let j = -3 - -7. Solve j*u - 6 = o*u for u.
-2
Let x(w) = -w**3 - 6*w**2 + 6*w - 7. Let b be x(-7). Suppose r - 17 = -r - 3*z, -5*r + z = 0. Solve b = -3*o + 5 + r for o.
2
Let f = 59 - 27. Suppose -2*j - 3*d + f = 3*j, 5*j - d - 16 = 0. Let m(a) = 2*a + 3. Let y be m(j). Solve 3*c - y - 1 = 0 for c.
4
Let b(s) = 17*s**2 - 12*s - 15. Let m be b(-2). Let v be (-3 - 1)/(2/(-5)). Suppose v*o = -o + m. Solve 9 = 4*h - o for h.
4
Let c = 362 - 376. Let a be 7/c*10 - -85. Solve 0 = 81*k - a*k for k.
0
Suppose 4*c + 4*z = -1340, -c - 2*z - 335 = -5*z. Let h = 336 + c. Let s be (-24)/(-4)*(-4)/(-6). Solve -k + h = s for k.
-3
Let a(v) = 3*v + 2. Let d be a(1). Suppose -5*g + 5 + 0 = -4*t, 0 = -g - d*t + 1. Let z be 2/10 + g/(-5). Solve z*i = 2*i + 2 for i.
-1
Let k = -3491 - -3498. Solve 10*c - k*c = 18 for c.
6
Suppose -36*z + 406 = 154. Let v = 19 + 24. Let d = v + -38. Solve 2 = d*i + z for i.
-1
Suppose -5*v - 99*q + 101*q = -66, -2*q + 14 = 0. Solve 42*a - 104 = v*a for a.
4
Let z be (-19)/(4 + 0 + -3). Let q = 32 - z. Let c = 55 - q. Solve 0*x - c = x for x.
-4
Let y = -69 + 99. Let w(m) = -31*m + 343. Let b be w(11). Solve 8*x = -b*x - y for x.
-3
Let f = -142 - -127. Let u be ((-5)/(-3))/(3 + 40/f). Solve -u*y + 20 = -0*y for y.
4
Let c = 63134 - 63129. Let m be (-1 - -2)/(2/4). Solve -c*k = -m*k + 12 for k.
-4
Let l = 1 + -1. Let n = -188 + 199. Let y be -5 + (9 - (-7 + n)). Solve y = -4*t - l - 8 for t.
-2
Suppose 0 = 3*b + 5*a - 20, -2*a = -3*b + a + 12. Suppose -6*g = -b*g. Suppose 2*l = -4*n + 16, g*n - n = 3*l - 9. Solve 0 = -3*h + l*h for h.
0
Let m = -1672 - -1695. Solve -m = -57*q + 34 for q.
1
Let h = 113 + -83. Solve 6*f + h = -0*f for f.
-5
Let q be 1 + ((-74)/4)/(8/32). Let g = -71 - q. Suppose 2*y - 4*w = 12, 2*w - 4*w = g*y - 6. Solve v = -3*v + y for v.
1
Let o be (-6)/(-1)*(-15 + 1875/90). Solve o = 23*j + 12 for j.
1
Suppose -5*g - 93 - 120 = -m, 192 = m + 2*g. Solve -183 + m = 5*w for w.
3
Suppose 4*k - 151 = 113. Let y = k + -46. Solve 4*b = 9*b - y for b.
4
Suppose -q - 2*h + 10 = 0, 0*q - q + 2*h = 2. Suppose 2 = -10*c + 13*c + 2*u, -q*c - 5*u + 5 = 0. Solve c = 5*j - 12 - 3 for j.
3
Let p(g) be the first derivative of 43*g**2/2 + 89*g + 146. Let x be p(-2). Solve 4 = x*s + 1 for s.
1
Suppose -23*j = -29*j - 42. Let r(d) = -d - 7. Let f be r(j). Solve 8*s + 6*s - 28 = f for s.
2
Suppose -3*q + 95 - 80 = 0. Suppose -q*x = -y - 6 - 15, 0 = -5*x - y + 29. Solve -x = t - 9 for t.
4
Let j be 13734/3270 + (-2)/10. Solve 36*f - 32 = j for f.
1
Suppose 66*o + 950 = -26*o - 890. Suppose 4*j = 2*j - 5*i - 37, -13 = 3*j - i. Let w be 5/(o/j)*(-8)/(-6). Solve 0 = -w*u - 2*u + 4 for u.
1
Let a(h) = h**3 - 2*h**2 + h + 1. Let u be -10 + 10 + (-1 - -2) + 1. Suppose u*r = r - 2*j + 12, -5*j = -25. Let t be a(r). Solve 0 = -4*y + t + 1 for y.
1
Suppose 0*c + 2*c = 30. Let a = -30 + -10. Let l = -36 - a. Solve -r + l*r - c = 0 for r.
5
Let d(w) = -w. Let y be d(-3). Suppose y*m - 27 = -4*a, 2*a - 11 = -3*m + 2*m. Suppose m*b = 6*q - q, 3*q - 12 = 0. Solve -2 = 3*n - b*n for n.
2
Let m = 43 + -136. Let w be (-360)/(-27)*252/35. Let l = w + m. Solve -l*q - 8 = -q for q.
-4
Let a(i) = i**3 + 9*i**2 + 5*i - 24. Let s be a(-8). Suppose -6*g + 4*g + 8 = s. Let r be (-4 + 0)*(-2)/g. Solve -4*b = -r - 2 for b.
1
Let q(m) = -m**3 + 9*m**2 + 14*m - 17. Let p be q(10). Let s = 7 + -3. Suppose s*d + p = 31. Solve v = d*v - 3 for v.
3
Let x = 9 + -9. Suppose 0*k = 3*k - 4*m - 17, x = -4*m - 8. Let h(z) = z**3 + 3*z**2 - 127*z - 28. Let l be h(10). Solve -k*t + l - 14 = 0 for t.
-4
Suppose -13*b - 1520 = -9*b. Let r = 380 + b. Solve 2*v = -8 - r for v.
-4
Suppose 2*n - 67 = -0*g + g, -167 = -5*n + 2*g. Let b = -30 + n. Suppose 6 = q - b*a + 1, 3*a = 5*q - 25. Solve -q*m = -m for m.
0
Let g(t) = 4*t**3 - 23*t**2 - 4*t + 2. Let a be g(6). Solve 12*c = 19*c + a for c.
-2
Let c(w) = w**3 - 6*w**2 + 5*w + 3. Let k be c(5). Let q(g) = g**2 + 30*g - 1369. Let z be q(-55). Solve -4*t = -k*t - z*t for t.
0
Let m = 382 - 310. Solve 0 = 40*a - 22*a + m for a.
-4
Let m = -33 - -39. Solve -17*g - 10*g = -m*g for g.
0
Let k(c) = -c**3 - 6*c**2 - 6*c - 5. Let a be k(-5). Suppose 2*r - 2*y = 20, -703*y = 4*r - 706*y - 41. Solve r*v = -a*v + 55 for v.
5
Let t = -44 + 46. Suppose -3*m - w = 19 - 20, 3*m + t*w = -4. Solve -7*a + 5 = -m*a for a.
1
Let k = 355 - 351. Solve -5*g = -k*g + 1 for g.
-1
Let h(f) = f**3 + 9*f**2 - 20*f - 100. Let y be h(-10). Suppose 89*g - 54*g - 140 = y. Let p(q) = -q - 5. Let l be p(-5). Solve g*j - 12 = -l*j for j.
3
Suppose -33*t + 35*t + 5*x = 136, 4*t = 5*x + 362. Solve -t*y = -73*y - 40 for y.
4
Let t be 7*(4/5)/((-7)/(-5)). Suppose 3*d - 4*j = -0 + 4, 2*d = -t*j - 24. Let x be (31/2 - 0) + 2/d. Solve k = -2*k - x for k.
-5
Suppose -4*a = 2*b - 28, 2*b - 4*b + 4*a = -36. Solve b = 54*w - 38*w for w.
1
Let u be 363/11*(0 - 1). Let b be 100/(-15)*u/55. Solve -11*y + 13*y = -b for y.
-2
Suppose -4*g + 15*m - 20*m = -30, -5*g + m + 23 = 0. Suppose -5*b + 24 = -2*c, -5*b - 2*c - 2 + 38 = 0. Let j = b - -11. Solve -g*r - j = -2 for r.
-3
Suppose 15*v + v = 112. Let f(z) = -3*z + 1 + 11 + z**2 - 7 - v. Let q be f(-3). Solve 4*n = -0*n - q for n.
-4
Suppose 83*j - 603 = -11*j + 1465. Solve -63 + 151 = j*m for m.
4
Suppose 0*v + 3*d - 98 = 5*v, 4*v + d = -75. Let y = 24 + v. Suppose 0 = -y*i, -i + 4 = 3*s - s. Solve 0*b - 8 = s*b for b.
-4
Let o = 56 - 34. Suppose -2*l = 4*j - 32, o = 3*j - 3*l - 2. Solve 0 = 7*w + w - j for w.
1
Suppose -q - 2*h + 63 = 0, -5*q - 18*h = -23*h - 360. Solve 33*i - 3 + q = 0 for i.
-2
Let n(d) = -d**3 - 9*d**2 + 25*d - 26. Let q be n(-12). Let z be 8/(-32) - q/(-8). Solve -8 = -5*x - z for x.
-1
Suppose 2*x + 4*r + 60 = 0, 2*x + r + 68 = -r. Let y be -10*(-1)/((-15)/54). Let b = y - x. Solve -b*g = g + 9 for g.
-3
Suppose 127 = -3*x + 6*x + l, -5*x + 3*l + 235 = 0. Suppose -6*v - 46 = -15*v + 107. Solve -v*z = -6*z - x for z.
4
Let q(h) = 89*h + 356. Let n be q(-4). Solve n = -10*l + 16*l + 36 for l.
-6
Let x be ((-138)/115*200/(-108))/(10/45). Solve 0 = -z + x*z - 45 for z.
5
Let j = 29 - 22. Let l(h) = h**3 - 19*h**2 + 2. Let b = 16 + 3. Let m be l(b). Solve -3*n = -j - m for n.
3
Suppose -5*t - 11 = 6*t. Let g be (-162)/(-90) + 1*t/(-5). Solve -b = -g*b for b.
0
Let m = 71 + -55. Suppose 17 = -3*r + 5, -4*a + 4*r = -m. Let k(h) = 4*h**3 - 21*h**2 + 8*h - 10. Let z be k(5). Solve a = -z*i - 5 - 0 for i.
-1
Let r be ((-267)/1)/(3 + -6). Let w = r - -2. Let d = -90 + w. Solve -d = -3*v + 4*v for v.
-1
Let v(l) = -l**3 + 33*l**2 - 85*l - 150. Let t be v(30). Solve 4*o - 9*o + 20 = t for o.
4
Let b(k) = 29 + 4*k - 6*k + 0. Let o be b(8). Suppose -o*s + 85 = -32. Solve s = 2*v + v for v.
3
Suppose -2*r + 66 = -2*p, 78 = -2*p - 3*r + 27. L