3*h = x for h.
0
Let x(d) = -d**2 - 48*d - 5. Let o be x(-20). Let w = o - 553. Solve -c = w*c for c.
0
Let p(u) = -8*u - 40. Let m be p(-6). Let k be m/(-3 - -5) + -2. Solve 0 = k*s + 5*s - 0*s for s.
0
Let f(s) = -s**3 + 20*s**2 - 21*s + 7. Suppose -100 + 28 = -4*x. Let l be f(x). Suppose -6*g = -l + 109. Solve 0 = -5*m - 8 + g for m.
4
Let d(w) = 50*w + 751. Let t be d(-15). Suppose 0 = -4*q - 5 + 17. Solve -16 = -q*b - t for b.
5
Let u(l) = l**2 + 8*l + 15. Let b(v) = -20*v - 58 - 60 - 3*v**2 + 123. Let w be b(-7). Let f be u(w). Solve -6*r + f*r - 15 = 0 for r.
-5
Let b = -4 - -8. Suppose -2*u = b*l - 12, -u - 10 = -2*l - 4. Suppose 0 = -12*p + 26*p - 84. Solve l*c = p*c for c.
0
Let f = -279 + 280. Suppose -3*l + 4*l + 5 = -5*z, -z = l + f. Solve l = 5*o - 6 - 14 for o.
4
Let s = -10547 - -10761. Solve 199 = -5*o + s for o.
3
Let d(j) = 2*j + 5. Suppose 4*t + 2*t - 12 = 0. Let x be d(t). Suppose -4*s = h + 16, s = h - 0*h - x. Solve -3 = -3*u + h*u for u.
-3
Suppose -1110*j = 4*r - 1106*j - 16, j = 5*r - 8. Let x = -3 + 4. Solve -5 - x = r*y for y.
-3
Suppose -67 = 3*u + 3*m - 298, 3*u - 236 = -2*m. Let y = -49 + u. Let k = y - 18. Solve -o + 4*o + k = 0 for o.
-5
Let y be ((-3)/(-2) + -1)/((-23)/(-138)). Let m = -1 + y. Suppose 0*s - m*s - s = 0. Solve 0 = -s*p - 5*p for p.
0
Suppose 123*o - 118*o - 3220 = 0. Suppose o - 658 = -p. Solve 5*n = p - 9 for n.
1
Let r be 3/10 - (-1232)/160. Solve r*q - 14 = -54 for q.
-5
Let v(j) = -2*j**2 - 16*j - 26. Let t(g) = 4*g - 21. Let k be t(4). Let r be v(k). Solve 5*n = 7*n + r for n.
-2
Let r = 3391 + -3331. Solve 4*g + 48 - r = 0 for g.
3
Let i(r) = -51*r + 209. Let n be i(4). Solve 0 = -n*x - 227 + 212 for x.
-3
Suppose 4*y - 28 = -4*s, -14*s - 14 = -2*y - 11*s. Solve -228 = -y*o + 45*o for o.
-6
Suppose 13*w - 20 = -5*p, 11*w + p = 10*w + 4. Solve w = 7*b - 257 + 243 for b.
2
Let a = -37 + 55. Suppose 0 = -7*z + z + a. Suppose v = b + 5*v - 16, z*b - 28 = -2*v. Solve -c = c + b for c.
-4
Let c = -70 + 73. Let w(d) = -2*d**3 - 3*d**2 - 3*d + 2. Let g = -45 + 43. Let i be w(g). Solve c*o + i = 3 for o.
-3
Suppose 82*j + 143*j - 8546 - 15079 = 0. Solve -129 + j = 3*a for a.
-8
Suppose -c - s = -13 - 32, 96 = 2*c + 4*s. Let m = 44 - c. Solve 5*h + 3 = m*h for h.
-1
Let f(i) = 2*i**3 + 54*i**2 - 8*i - 213. Let l be f(-27). Solve 0 = l*k + 8 - 17 for k.
3
Let a(k) = 693*k - 9051. Let b be a(17). Solve 7*n - b = -2751 for n.
-3
Let a = 4189 - 4185. Let d be ((-9)/(-21))/((-4)/(-28)). Solve -a*o - 5 = -d*o for o.
-5
Let q = 18179 - 18136. Solve q*w = -21*w - 448 for w.
-7
Let k = -4078 - -4078. Let u be ((-2)/4)/((-2)/12). Let s be ((-2)/(-2)*-2)/(-1). Solve -l + s*l + u = k for l.
-3
Suppose -15*r + 130 - 62 + 7 = 0. Solve 385 = -r*t + 360 for t.
-5
Let a = -1010 + 1039. Solve -28*l = -a*l + 5 for l.
5
Let d be (-5)/((-40)/(-6))*-4. Suppose d*o = -q + 93, -3*o - 6*q + 99 = -7*q. Solve o*a - 30*a = 10 for a.
5
Let r(w) = w - 9. Let j(t) be the first derivative of -t**2/2 + 8*t - 18. Let g(l) = -2*j(l) - 3*r(l). Let p be g(9). Solve -k = p*k for k.
0
Let m be 8075/(-20) + 1/(-4) + -5. Let j = m - -413. Suppose 0 = b - 0*b. Solve -p + 0*p + j = b for p.
4
Suppose -f + 4*d - 4 + 1 = 0, 0 = 3*f - 5*d + 9. Let m(w) = w**3 + 2*w**2 - 10*w - 19. Let s be m(f). Solve -5*v = -s*v + 15 for v.
-5
Let f(v) = 39*v**3 - 23*v**2 + 29*v - 6. Let m be f(1). Solve -20*t - 76 = -m*t for t.
4
Let y = 5387 - 5359. Solve -23*g = -y*g + 30 for g.
6
Let j = 28 + -24. Suppose j*c - 2 = 22. Suppose 151 = 4*i + 135. Solve i*f - c*f = 8 for f.
-4
Let w be 6/21 - (-54)/7. Let r(m) = -m**2 + m**3 - w + 0*m - 7*m**2 - 7*m. Let b be r(9). Solve -o = o - b for o.
5
Let p be (6/(-8))/(3*(-5)/1560). Solve 4*b = -9*b - p for b.
-6
Let w(b) = -39*b + 169. Let k be w(4). Suppose -4*c - 24 = -y, -4*y + 97 - k = -4*c. Solve y = -5*m + 35 for m.
3
Let h = 19913 + -19849. Solve -3*s = -h + 61 for s.
1
Let n(g) = g - 1. Let l(t) = 30*t - 20. Let p(c) = 2*l(c) - 44*n(c). Let a be p(0). Solve -a*s = 6 - 2 for s.
-1
Suppose -3*s = 0, -3*s = 8*w - 6*w - 42. Suppose 0*n + n = 5, -y = -5*n + w. Solve 0 = 5*h - y + 24 for h.
-4
Let i = -25274 - -25280. Solve 271 = -i*h + 313 for h.
7
Let a be ((14 - 15) + (-34)/(-2))/2. Suppose a*r + 14*r = 110. Suppose 0*t + t = 0. Solve z + t = -r for z.
-5
Let c(o) = 6*o + 79. Let f be c(-5). Suppose -11*r = -18*r + f. Solve -r*w + 3*w = -4 for w.
1
Let d be 32/(-120)*-9651 - (-7)/(105/(-9)). Solve d*h - 42 = 2579*h for h.
-7
Let f(z) = 38*z**2 + 112*z + 2. Let i be f(-3). Solve 10 = -i*t + 10*t for t.
5
Let v(r) = -18*r + 159. Let c be v(9). Let g be -9*(c - 40/(-18)). Solve -3*u = -22 + g for u.
5
Let k be 8 + (5/1 - 48/16). Let z(r) = r**2 - 15*r + 54. Let g be z(k). Solve 0 = 9*f - 7*f + g for f.
-2
Let s = 429 + -451. Let a(f) = f**2 + 27*f + 114. Let o be a(s). Solve -o*q + 9 = -3 for q.
3
Suppose 2*f = 2*v + 10, 3*f + 3*v - 31 = 2*v. Let t(z) = -z**2 - 2*z - 423. Let l be t(0). Let u = -421 - l. Solve -u*n - f = -5*n for n.
3
Let l be 1104/1472 + (-165)/(-4). Solve -8 = 50*h - l*h for h.
-1
Let i be (-24 + -2)/(2 - (6 - 3)). Let l = i + 23. Let t = l - 45. Solve 6*n = t*n + 8 for n.
4
Let f(y) = -2*y**3 + 14*y**2 - y + 10. Let n be f(7). Let v(h) = -18*h + 57. Let q be v(n). Solve 17 = -q*x + 5 for x.
-4
Let w = -35 - -63. Suppose -5*q - 4*g = -q - w, 3*q + g - 15 = 0. Let f = -9 + 13. Solve -f*n = 16 + q for n.
-5
Let f = 375 + 348. Solve -727*l - 12 = -f*l for l.
-3
Suppose -392*q = -642*q. Solve q = 113*z - 103*z - 70 for z.
7
Let y be 4/(-8) + -1*3/(-6). Let b be y/5*11/22. Solve 0 = d - b + 4 for d.
-4
Suppose 6*h = 3*h + 279. Let w = h + -93. Let q be 13/52 - (2/8 + w). Solve q = -3*o - o - 20 for o.
-5
Let z be 0/((-1 - 1)*(-8)/(-80)*-5). Solve 18*l - 41*l + 92 = z for l.
4
Let p(w) = 8*w**2 + 4*w - 5. Let s be p(2). Let y = 45 - s. Suppose -65*n = -336 + 11. Solve 0*u - n*u = y for u.
-2
Let p(m) = -410*m**2 - 3*m - 3*m + 409*m**2 + 97. Let s be p(7). Solve 8 = s*r + 20 for r.
-2
Suppose 2*w - 5*b - 26 = -2*w, -3*w + 2*b = -16. Suppose -18*j = -w*j - 70. Solve -12 = m - j*m for m.
3
Suppose -3*o = 3*m - 243, -4*m + 83*o + 294 = 81*o. Solve -m*j + 87*j = -55 for j.
-5
Let x = 395 + -226. Let q = x + -153. Let f(r) = r. Let a be f(2). Solve -a*o = 2*o + q for o.
-4
Suppose 2*o = n - 21 + 6, 0 = 3*n - 5*o - 42. Let p be (0/1)/(n/((-45)/20)). Solve p = 3*j - 15 for j.
5
Let v be 54/(-81) - 231/(-9). Suppose -a - 4*w + v = -15, 0 = -3*a + w + 55. Let u(x) = x - 5. Let o be u(8). Solve 2*b - a = -o*b for b.
4
Suppose -3*f - 3*c = -27, 2*f = -5*c + c + 26. Let u(j) = -f*j + j**2 - 196 + 196. Let k be u(-4). Solve -5*z + k = 11 for z.
5
Let k be 8 + 1 + (0 - 0). Let t = k + -9. Let r be (-1)/14 + (-15621)/(-1722). Solve 3*v = -t*v + r for v.
3
Let d = -756 - -772. Suppose d*f = 19*f - 4*u + 11, -f - 4*u + 23 = 0. Solve 0 = f*i + 2 - 11 for i.
3
Let p = 4535 - 4510. Solve -28*k = -p*k + 3 for k.
-1
Suppose 208 - 631 = -13*m + 357. Solve 24*x = 34*x - m for x.
6
Let t(k) = -3*k**2 + 21*k - 14. Let f be t(6). Suppose 42 = -14*i + 21*i. Solve f = -10*o + i*o for o.
-1
Let d be (4/(-7))/(-9 - 2057/(-231)). Solve d*q - 54 = 24*q for q.
-3
Let d(v) be the second derivative of v**3/2 - 5*v**2/2 - 39*v. Let k be d(3). Solve k*r = -3*r + 21 for r.
3
Suppose -o = -0 - 5. Suppose 33*b + b - 824 - 264 = 0. Suppose -o*f = 3*f - b. Solve 8 = -0*i + f*i for i.
2
Let p(b) = -b**2 + 76 + 2*b**3 - 2*b**2 - b**3 - 86. Let u be p(6). Let n = 106 - u. Solve -n = g - 3*g for g.
4
Let m = -384 + 387. Let k be 2/m - 57/(-9). Solve 0 = 3*y + 16 - k for y.
-3
Suppose 0 = -1078*j + 1069*j. Solve -42 + j = 14*f for f.
-3
Let p(o) = -4*o - 23. Let t be p(-8). Let k be (-2 - -5) + 0/t. Suppose 0 = 2*j - 3*n - 21, -k*j + 0*n + 14 = -n. Solve j*g - 2 = 2*g for g.
2
Let m = -291 + 330. Suppose -m = 20*b - 139. Solve 0 = w - b*w + 12 for w.
3
Let g(d) = d**3 - 7*d**2 + d + 36. Let f be g(6). Suppose -15*s = -17*s. Suppose 3*i - 1 = -4*n, -2*n + n + 4*i + 24 = s. Solve -f*t = -2*t + n for t.
-1
Let o(u) = -u**3 + 21*u**2 + 43*u - 457. Let g be o(22). Solve -33*n - 266 = g*n for n.
-7
Suppose 0 = 3*t - 12, z + t + 3*t - 240 = 0. Solve -z = -u - 218 for u.
6
Let u = -44997 + 45001. Let y be -1*(1*-2 + 1). Solve -11 = u*l + y for l.
-3
Let 