-6*x for x.
1
Suppose h - 1 = -0. Let r(z) = -z**3 - 5*z**2 - 6*z - 3. Let a be r(-4). Let s(g) = 3*g + 87. Let t be s(-29). Solve -a*m - 14 - h = t for m.
-3
Let a be 10449/(-54)*(2/3 - (-16)/(-12)). Solve 27 + a = -39*z for z.
-4
Let a be (5 - (-148)/8) + (-33)/(-22). Suppose 4*j = 5*g - 71, 0 = -5*g - 0*j + 2*j + 63. Suppose 5*w - 4*i - a = 0, -g = 3*i + 4. Solve -9 + w = -4*t for t.
2
Let k(a) = -a**2 + 5*a + 6. Let m be k(-1). Suppose -91 = -g + 4*o, o - 2 - 3 = m. Let y = 114 - g. Solve v + y*v = 0 for v.
0
Let f = -814 - -528. Let q = -276 - f. Solve -5*o = -3*o - q for o.
5
Let f(h) = -h**3 - h**2 + 14*h + 24. Let p be f(-3). Solve p = 23*l - 13*l + 30 for l.
-3
Suppose m - 6 = 4*s, -8*m + 10*m = -2*s + 32. Suppose 10*h + 24 = m*h. Solve 4*u - h*u = 10 for u.
-5
Let j(s) = -2*s**2 + 58*s - 93. Suppose -3*u + 11*u = 216. Let g be j(u). Solve -4*l = l - g for l.
3
Let v = -80 - -93. Suppose 0 = -v*s + 9*s + 16. Suppose -70 + 46 = -s*d. Solve -h + d*h = 15 for h.
3
Let u be (5 + 15/(-1))*-4. Solve u*c + 8 = 36*c for c.
-2
Let c(s) = 4*s**3 - 7*s**2 + 16*s - 40. Let v be c(4). Suppose 0 = 28*h - v + 56. Solve -h + 12 = -2*k for k.
-4
Let y be (-2)/20 - (6 + 234/60). Let o be (-1 - -11) + 30/y. Solve 0 = -o*k + 13*k + 12 for k.
-2
Let p be (2 + 1 + -15)/(-2)*530/60. Solve -15 = 56*k - p*k for k.
-5
Let d be -2 - -12*(40/15 - 3). Let p be 15 + d/(-36)*0. Solve 6*u - u = -p for u.
-3
Let g = -16039 + 16050. Solve 375 - 474 = g*c for c.
-9
Suppose 5*o - 8 = 7, r = 3*o - 7. Suppose -3*s + 15 = -r*d, 2*s - 1 - 1 = 4*d. Let x = s + -5. Solve 0 = 2*v - 0 + x for v.
-1
Let r(s) = -2*s**2 + 2*s + 3. Let i be r(0). Let w = -544 - -546. Solve -w = -i*p - 11 for p.
-3
Suppose 2*k - 177 = -3*b + 171, -228 = -2*b - 2*k. Solve -48*t + b = -168 for t.
6
Let y be 2*(-8)/104 - (-2 + 84/(-39)). Suppose 8*l = 3*l + 60. Let w be (-3)/(l/y)*(-3 - -1). Solve -3*z - 15 = w*z for z.
-3
Suppose -4*m = 24, 207*n - 3*m = 202*n + 88. Solve -26 = -3*z - n for z.
4
Suppose 4*s - 50 + 73 = 5*j, s + 5 = j. Solve -j = 9*v + 24 for v.
-3
Let c(r) be the third derivative of -1/30*r**5 - 1/12*r**4 - 1/12*r**6 - 23*r**2 + 0*r - 1/6*r**3 + 0. Let o be c(-1). Solve 3*p + 21 = o for p.
-4
Let y = -109 - -250. Let d = y - 137. Solve -d*j - 6 = -j for j.
-2
Let y(s) = s**3 + 2*s**2 - 5*s + 2. Let c = 45 - 44. Let a be y(c). Solve 0 = -u + 4 - a for u.
4
Suppose -57 = -65*v + 73. Suppose o = -3 + 1. Let f be -4*(-1 - o/4). Solve v*u + 6 + f = 0 for u.
-4
Let g(u) = -32*u + 111. Let f be g(10). Let k = f - -210. Solve 0 = -2*i - k - 3 for i.
-2
Suppose 0 = 5*n - 149 + 29. Suppose -33*b + 5*b = 0. Suppose b = 5*l + 4*g - 84, 5*g + 76 = 4*l - n. Solve 3*i - l = -2*i for i.
4
Let t = 170 - 165. Let h = 2424 + -2412. Solve h = -l + t*l for l.
3
Let t be (2 - -6)*(18/3)/12. Let g = 42 + -150. Let y = g + 108. Solve -j + 1 + t = y for j.
5
Let q(z) = 7*z - 2*z**2 + 117 - 59 - 56. Let n = 12 - 9. Let j be q(n). Solve -2*r + 3 = -j*r for r.
-1
Let z be (32 + -30)*(3 - (1 + -1)). Suppose 279 = -z*s + 279. Solve 28*b - 29*b + 1 = s for b.
1
Suppose 3*z - 378 = 10*z. Let r = -35 - 20. Let b = z - r. Solve v = -b - 3 for v.
-4
Let u(j) = -j**2 - j + 18. Let p be u(-5). Let q be 9/p*(-10)/15. Suppose b + q*b = 20, -3*b + 31 = 4*w. Solve -w*m = m - 5 for m.
1
Suppose -403 = -50*z + 2797. Solve -18*p - z = -10 for p.
-3
Let x = 147 + -143. Let n be (-82)/328*-1*x*2. Let r(f) = f**3 - 4*f**2 - 4*f + 1. Let y be r(5). Solve n*g + 0*g = -y for g.
-3
Let m = -2367 - -8051. Solve m = -8*z + 5676 for z.
-1
Suppose -2*i - 2*v + 2 = 0, 5*i - 2*v - 3 = 23. Suppose i*a = -2*q + 26, 3*a + 22 = 8*a - q. Let u be 2/8 - 1/4. Solve u*p = -p - a for p.
-5
Suppose 3*b - 3*h - 39 = -0*b, -5*h = -b + 33. Let v(y) = -y**2 + 6*y + 3. Let u be v(6). Solve -b*d = -u*d + 20 for d.
-4
Let a be (-5)/((-4)/16 - 1) - 4. Suppose -5*v = 5*m - m - 46, a = -m + 4. Solve 3 + 9 = -v*o for o.
-2
Suppose -132*f + 154*f - 2816 = 0. Solve 300*y = 316*y + f for y.
-8
Let k be 5*4 - (-41 + 50). Solve -k*n - 30 + 41 = 0 for n.
1
Suppose 5*n - 2*r = -4*r + 30, -18 = -2*n - 2*r. Let m = -105 + 105. Suppose -6*v = -4*h - 3*v + 21, n*h - 2*v - 18 = m. Solve -2*o - 5 = h*o for o.
-1
Suppose 5*v - 9*v = 8. Let m(g) = -6*g - 8. Let b be m(v). Let a(k) = -k**3 - 5*k**2 + 6*k + 2. Let x be a(-6). Solve -2*p - b = x*p for p.
-1
Suppose -248*i = -0*i - 4464. Solve 53*o - 35*o = i for o.
1
Suppose 0 = -11*w - 448 + 921. Solve 47*p = w*p + 4 for p.
1
Suppose 1000 = 6*o + 44*o. Suppose -3*a = 2*l - 2*a - 8, 5 = 3*l - 2*a. Solve 0 = -l*i + 7*i + o for i.
-5
Let u be 18/(-171) + 13904/(-38). Let i = -366 - u. Solve -k + 4 = -i for k.
4
Let c = -63 - -164. Suppose -2*s - 97 = -c. Solve 4*w - 6 = -s*w for w.
1
Let d be 5/(-30)*-6 + 216. Let j = d - 212. Solve b = j*b + 12 for b.
-3
Let a(s) = -s + 1. Let z(x) = x**3 - 7*x**2 + 13*x - 2. Let m(o) = -5*a(o) - z(o). Let w be m(6). Let i = w - -20. Solve 0 = -i*k + k + 4 for k.
1
Let l(v) = 21*v + 5. Let j be l(-4). Suppose d - 4*y + 58 = 0, -d + 0*y = 2*y + 88. Let k = d - j. Solve -f = -2*f + k for f.
1
Suppose 0 = i - 5*i + 48. Let v be 3885/444 - ((-2)/(-10) - (-22)/40). Solve -i*k - 20 = -v*k for k.
-5
Let s(f) = -f**3 - 35*f**2 - 67*f - 33. Let d be s(-33). Suppose 0*v = 5*g + v - 140, 0 = 3*g - 5*v - 84. Solve d = -g*k + 23*k for k.
0
Let v be -2 + 55/11 + 6. Solve 69 - 51 = v*z for z.
2
Suppose -13*l = -6*l - 3*l - 3*l. Solve -6*p + 12*p + 18 = l for p.
-3
Let v(f) = f**3 + f**2 - 1. Let q be v(3). Suppose 7*x - 2*x = q. Solve -x = -4*n + 13 for n.
5
Let j be ((6 - 2)*(-22)/11)/(2/(-3)). Solve j*y - 40 = -4 for y.
3
Let u be 1/(-2) - (-22)/4. Suppose -2*y - 2*t + 11 = -7*t, 5*t = -5. Suppose -y*m + 3*z + 24 = -0*m, -u*z = 0. Solve 0 = -0*c + 2*c + m for c.
-4
Let a(o) = -10*o + 15. Let v be a(2). Let w be ((-3 + 3)/2)/v. Let j be -2*(1 + 15/(-6)). Solve -j*g + 14 - 2 = w for g.
4
Suppose -2*s - s - g + 1662 = 0, 0 = -3*s + 5*g + 1680. Suppose -5*y = 5*t - 4*y - s, 0 = 4*t + 4*y - 460. Solve -t*i + 112*i - 4 = 0 for i.
2
Let k(g) = 3*g - 2. Let d(u) = -4 - 1 + 7*u + 2 - 3*u. Let b(l) = 5*d(l) - 7*k(l). Let s be b(-6). Solve -4 = -s*m + 1 for m.
1
Let i(n) = n - 1. Suppose 5*w + 5 = 4*k, 0*w - 40 = 5*k + 3*w. Let h(p) = p**2 - 2*p - 11. Let m(f) = k*i(f) - h(f). Let u be m(0). Solve 4*j = 8*j - u for j.
4
Let o(d) be the third derivative of 5*d**4/24 - 19*d**3/3 - 53*d**2. Let u be o(8). Solve 3*b - u = 1 for b.
1
Let o(b) = -2*b**2 + 75*b + 3. Let n be o(37). Suppose 18*p - 20*p = 2*a - n, -44 = -4*p + 5*a. Solve -10*x + 24 = -p for x.
4
Let u(n) = -37*n - 2910. Let t be u(-79). Solve -t*c + 6*c + 21 = 0 for c.
3
Let s(x) = 277*x + 2221. Let d be s(-8). Solve 0 = d*t + 27 - 57 for t.
6
Suppose -3*h - 4*j - 136 = -138, 0 = -2*h + 2*j + 6. Solve h*c + 304 = 298 for c.
-3
Suppose 73*z - 50*z = 12420. Let k = -522 + z. Solve -7*q - 10 = k for q.
-4
Let a(r) = -r**2 + 3*r + 66. Let j be a(-6). Let o be 3 - (0 + 1) - -2. Suppose q = o*q. Solve -j = -q*c + 4*c for c.
-3
Suppose 4240 = 84*k + 1300. Solve -26*y - k = -33*y for y.
5
Let g be (4/(-8) + (-25)/10)*-5. Suppose -55 = -5*j - g. Solve n + j = 9 for n.
1
Let u be (148 + -5)/11 + -8. Solve 547 = u*x + 542 for x.
1
Suppose 5*s + c - 4 = 0, -4*s - 296 = 3*c - 308. Suppose v - 5 = -4*v, -v + 1 = 3*r. Let k = 78 - 76. Solve r*o - o - k = s for o.
-2
Suppose -l + 75 = 4*l - 5*b, 5*b = 3*l - 51. Suppose -2*u - 2*c = -l, c - 22 = -8*u + 3*u. Solve 3*v = u*v + 1 for v.
-1
Suppose 21*s - 2 = 19*s. Let c be 50*(8/(-6) + s)*-3. Suppose c = 19*y - 9*y. Solve -2*q - y = 3*q for q.
-1
Let k be (-29760)/(-175) - (-60)/(-1050). Solve -k*l - 3 = -167*l for l.
-1
Suppose f - 4*c = -32 - 36, -f + 2*c = 74. Let t = f + 101. Solve t - 22 = m for m.
-1
Let j = 33 + -63. Let y be (-15)/35 + -3*(-908)/84. Let i = y + j. Solve 4*r - i = -14 for r.
-3
Let i(u) = 11*u - 7 - 6 - 3*u - u**2. Let a(c) = -4*c - 28. Let x be a(-8). Let j be i(x). Solve 8*t - j*t = 0 for t.
0
Let j = -14 + 24. Suppose 10*f = -3 + 13. Suppose -4*i = 5*k - j, f = -i - 2*k + 5. Solve -3*s - 3 = -i for s.
-1
Let b(s) = -18*s - 138. Let i be b(-8). Let p = -14 + 16. Suppose 3*f + 3*z + 12 = 0, -i*f + 12 = -p*f - 3*z. Solve -5 = -5*q - f*q for q.
1
Let r = -4687 - -4693. Solve -82 = -r*j - 100 for j.
-3
Le