 for h.
-2
Let a(m) = 22*m**3 - m**2 - m + 2. Let q be a(1). Let x = q - -12. Let o be -1 + x/10 + 6/(-15). Solve -o - 3 = h for h.
-5
Let w = 265 + -254. Suppose 4*j = -5*t + w, -2*j - 8 + 14 = 2*t. Solve -7*x + j*x - 9 = 0 for x.
-3
Let b(i) = -52*i + 437. Let h be b(-13). Solve -7*m = -1134 + h for m.
3
Let o be ((-2)/4)/(2/(-56)). Suppose 8*g = -g + o*g. Solve g = 5*j - 4*j + 3 for j.
-3
Let r = -1219 + 1255. Solve -10*z = 26 - r for z.
1
Let n = 9536 - 9192. Solve -n*a = -335*a + 45 for a.
-5
Let i(z) = z**3 + 19*z**2 + 49*z + 19. Let h be (10 - (-54)/(-5))/((-2)/(-40)). Let o be i(h). Solve o = -21*x + 20*x for x.
-3
Suppose -5*n = -q - 0*n - 21, -4*n + 40 = 5*q. Suppose 23 = q*p - 41. Suppose -4*y + 6*y = p. Solve w - y = -w for w.
4
Let h(j) be the second derivative of 0*j**2 - 8*j + 0 + 0*j**3 + 2/3*j**4. Let k be h(1). Solve -4*z + k - 28 = 0 for z.
-5
Let u(q) = -q**3 + 4*q**2 - 10*q + 3. Let k be u(3). Let d be (-4)/(-1)*(-9)/k. Solve -l - 3 = d*l for l.
-1
Let s = 38 - -19. Let o be 16/(-6)*s/(-38). Suppose w = o*w - 3*x - 12, 0 = 4*w - 3*x - 16. Solve -w*n = -n - 15 for n.
5
Let w(p) = p**3 - 3*p - 2. Suppose -38 = 19*h - 19. Let v be w(h). Solve -r = -v*r + 1 for r.
-1
Let p(b) = 4*b + 25. Let h be p(-6). Suppose 3*z = z + 5*f + h, -3*f = -9. Solve 3*y - 1 - z = 0 for y.
3
Let s = 7645 - 7586. Solve s = 4*o + 71 for o.
-3
Let k be (2 - 1) + -3 + -3. Suppose -12*r = -13*r - 2. Let w be r/(-4) + k/(-2). Solve -w*f + 16 = f for f.
4
Let k(f) = f**3 + 14*f**2 - 3*f - 32. Let q = -88 - -74. Let t be k(q). Suppose 5*r - 73 = 2. Solve t = -5*u - r for u.
-5
Let u = 58 + -53. Suppose 0 = -2*t - 3*t - q + 5, 0 = 2*t - u*q + 25. Solve -y + 2*y + 3 = t for y.
-3
Let b(n) = 3*n**3 + 108*n**2 - 3*n - 79. Let x be b(-36). Solve -11*c = -20*c + x*c for c.
0
Let n(l) = -3*l**2 + 13*l + 21. Let k(g) = 11*g**2 - 38*g - 63. Let o(x) = 2*k(x) + 7*n(x). Let f be 21/(3*(-3)/6). Let v be o(f). Solve 2*u + v = 3 for u.
-2
Let p(m) = 4*m**3 + 14*m**2 - 5*m - 45. Let v be p(-6). Let r = -374 - v. Solve 15*z - r = 14*z for z.
1
Let y be ((-18)/(-3))/((-2)/(-2 - 0)). Suppose -3*j + 3*a = -y, -j - a + 28 - 20 = 0. Solve 0*r = j*r + 5 for r.
-1
Let o = 155 + -77. Suppose 4*j + 2*u = -312, 0 = 26*j - 24*j - 4*u + 126. Let s = o + j. Solve -2*b + s = b for b.
1
Let k be (-7 - 25)/(3 + -1). Let h be k/(-56)*(-3 + 10). Solve 0 = h*j - 49 + 49 for j.
0
Let s be (-66 + 42)/(3/(-20)). Solve -26*t + 58*t = s for t.
5
Let m = -59 - -59. Suppose m = -6*d + d + 2*u + 25, 0 = 2*d + 4*u + 14. Let z be ((-9)/(-3))/21 - 91/(-49). Solve -x - d = -z for x.
-1
Suppose -5*m - 29 = 4*c, 4*c = 4*m - 7*m - 19. Let d be 15 + c + 2 + -10. Solve d*k - 5 = -17 for k.
-2
Let y = -191 + -75. Let z = 266 + y. Solve z = -x + 4 - 8 for x.
-4
Suppose 0 = -10*u - 62 + 92. Suppose 2*b - 5*v = -3*v + 14, 4*b + v - 18 = 0. Let t be 0*(-3 + b/2). Solve t*q + 12 = -u*q for q.
-4
Let f be (-2)/(((-18)/45)/((-16)/(-5))). Let u(a) = 14*a + 3. Let t be u(4). Suppose t = 8*b + 19. Solve 0 = -w + b*w - f for w.
4
Suppose 2*z + 51*z - 1785 = 2*z. Solve -30*c + 85 + z = 0 for c.
4
Let v be 10 - (4/(-18) - 112/63). Let a be 0/(-6 + 2/(8/v)). Let p be (-2 + a)*((-21)/6 + 3). Solve 5*k + 4 = -p for k.
-1
Suppose -4*p + 6*p = -184. Let i = p - -83. Let a be 80/12 + 6/i. Solve -s + a = -3*s for s.
-3
Let t(v) = -2*v + 83. Let z be t(36). Solve 6 + z = 17*j for j.
1
Let y = 475 + -459. Suppose 2*x + 0*x + 8 = 3*u, 4*u - 4*x = y. Solve -3*j = 6 - u for j.
-2
Suppose 10*y - 7*y + 2*l - 145 = 0, 0 = 4*y - 5*l - 155. Solve -y = 38*u - 7 for u.
-1
Suppose -2*r + 3 = 9, 12*y - r - 315 = 0. Solve 0 = -36*a + y*a + 10 for a.
1
Let v(y) = 47*y + 141. Let s be v(-3). Let h = 437 + -428. Solve 11*a + h + 13 = s for a.
-2
Let b(i) = 2*i**2 + 5*i + 4. Let f(q) = -q + 46. Let x be f(46). Let p be b(x). Solve 23 = p*a + 11 for a.
3
Let j be ((1 - (-1)/(-2))*0)/(-2). Suppose j*t - t = -3*c - 9, -3*c + 27 = 2*t. Solve -10*f - t = 38 for f.
-5
Suppose 3*p = 6, 0 = -4*c - p - 4 + 186. Suppose -2*u = u - c. Suppose -3*v + 42 = 3*j, 0 = 356*v - 359*v + 27. Solve 0*k - u = j*k for k.
-3
Suppose -2*a = 3*i - 3225, -223*i + 222*i + 3*a = -1053. Solve -51*c + 170*c + i = 0 for c.
-9
Let v(z) = 53*z**2 + 18*z + 17. Let s be v(-1). Solve s = -18*f - 2 for f.
-3
Let x(i) = -2*i - 4. Let c be x(-4). Let f = 44 + -50. Let y be (12/(c + -8))/(f/4). Solve y*t = -t for t.
0
Suppose 3*s - 395 = t - 1237, 4*s + 1116 = 3*t. Let p = -258 - s. Solve 3*q + 3*q = p for q.
4
Let j = 351 + -351. Suppose j = -2*d + 40 - 30. Solve -3*h = -d - 1 for h.
2
Suppose 2*l + 185 = j, -4*l - 81 = -5*j + 286. Suppose a + 46 = -47. Let d = l - a. Solve d*y = 4*y for y.
0
Let w = 46470 + -46418. Solve 58*x - 36 = w*x for x.
6
Suppose -4*d + 3*c - 481 = 0, -3*d - 357 = -0*c - 3*c. Let v be 186/d*(1 + -1 + -2). Solve -v*f - 8 = -5 for f.
-1
Suppose 10*w = -9 + 29. Suppose -2*m + 3 = 5*o + 15, w*o = 5*m - 28. Suppose -m*v = -20 - 0. Solve 0 + v = i for i.
5
Suppose 24*q - 20*q - 5*h - 34 = 0, 4*q + 2*h - 20 = 0. Solve -4*m = 26 - q for m.
-5
Suppose 0 = 112*x - 110*x. Solve -88*z + 74*z + 84 = x for z.
6
Let i be 0 + 2 + 16/8. Let c be 6/(-3) + i + (-4)/(-2). Suppose 4*k + c*m - 1 = 11, -2*m = -4. Solve 0 = 5*b - 4*b - k for b.
1
Let d(c) = c - 21. Let r = 178 - 157. Let t be d(r). Solve t = x - 4*x + 9 for x.
3
Suppose -69*c = -31*c - 988. Solve -19 + c = -7*d for d.
-1
Let v = 17558 - 17551. Solve -v*j + 6 = -8 for j.
2
Let z be (171/(-6))/(6/(-8)). Suppose -5*u = -3*k + 29, 5*u + z = 5*k - 7. Let w be 14/4*340/238. Solve -v - k = -w for v.
-3
Suppose 4*n = 5*l - 1624, 30*l - 644 = 28*l - 4*n. Solve 348 = -4*w + l for w.
-6
Let f = 1516 + -1512. Solve -o = -4*o - f*o for o.
0
Let o be (177/(-12))/(2/16*-2). Let x = 59 - o. Solve x*g = g for g.
0
Let i = 313 + -291. Suppose -i*o + 91 + 349 = 0. Solve -o*q + 21*q = -2 for q.
-2
Let o = 74 - 43. Let r(s) = -s**3 - 8*s + 29. Let w be r(2). Solve 0 = w*b + 11 - o for b.
4
Let r = 97 - 89. Suppose -5*u + r*f + 18 = 4*f, 5*f - 27 = -2*u. Solve 0*y + u = 2*y for y.
3
Suppose 619 = 2*m - 5*z + 623, -m + 2*z = 0. Solve 263*q = 255*q - m for q.
-1
Let s(h) = 5*h**2 + 25*h + 32. Let f be s(-3). Solve 31*u = 32*u - f for u.
2
Let y = -10689 - -10714. Solve 0 = -37*b + y*b - 84 for b.
-7
Let j(l) = -l**3 - 4*l**2 + 6*l - 6. Let p(f) = -6*f**2 + f + 2. Let b be p(-1). Let a be j(b). Let x = a - -14. Solve 10 = -x*u - 5 for u.
-5
Let b(s) = 7*s + 0*s - 3*s - 31 + 7*s. Let c be b(3). Solve -c*a = 12*a - 4*a for a.
0
Suppose -3*r - 19*z + 15*z + 172 = 0, -5*r - 4*z + 284 = 0. Solve -r = -10*v - 4*v for v.
4
Suppose j - l = -6, -3*j + 20*l - 24*l + 24 = 0. Solve -27*v + 30*v - 15 = j for v.
5
Let j(x) = x**2 - x + 9. Let f be j(0). Suppose -2*m + f*m = 21. Let r = m + -3. Solve 3*p - 2*p = r for p.
0
Suppose 168*v + 28 = 364. Solve -v*r + 3146 = 3158 for r.
-6
Let t = -2525 + 2532. Solve t*y - 8 = 9*y for y.
-4
Suppose 5 = -i + 5*y, -2*i + 8 - 11 = -3*y. Suppose i = 2*d - 4 - 10. Solve 0 = 9*m - 2*m + d for m.
-1
Let p be (-3*1/3 - 125) + -4. Let z be -1*((-37)/13 + 20/p). Suppose 2*j - z*c = -0*j + 31, -j + 3*c + 23 = 0. Solve -2 = 6*r - j*r for r.
1
Let l be (-99 + 99)/(-2 + 0). Let k(u) = -u**3 + 7*u**2 - 3*u - 14. Let g be k(6). Solve -16 = g*d - l*d for d.
-4
Suppose 3*q = -3*q + q. Suppose -3*a - o + 16 = -8, q = 2*a - 4*o - 30. Solve -a*m - 23 = 4 for m.
-3
Let m(v) = 953*v**2 + 1710*v - 1. Let j be m(-2). Solve -56*o + j = -57 for o.
8
Suppose -22*v + 24*v - 3*y = 35, -5*v + y = -146. Solve 55*q = v*q + 144 for q.
6
Suppose 0 = -4*y + 2*y + w + 9, 2*w + 23 = 5*y. Let u be -1 + 4 + y - (-1)/(-1). Solve 2*s + 17 = u for s.
-5
Let x(b) = -b**3 + 48*b**2 + 321*b + 162. Let n be x(54). Solve -42*f + 178 + 116 = n for f.
7
Suppose 121*j = 232*j - 115*j + 8. Solve 0 = j*m - 256 + 242 for m.
7
Let c be (-72)/(-24) - ((2 - 2) + -13). Suppose 0 = 3*i + 2*l + 1, 5 = 2*i - 3*l - c. Solve -i*o + 4*o - 4 = 0 for o.
4
Suppose 14*g - 396 = -184*g. Solve g*a - 15 = -13 for a.
1
Let g = 49 + -45. Suppose g - 4 = -m. Solve m = 11*n - 7*n for n.
0
Let s = 13713 - 13610. Solve -68 = -57*a + s for a.
3
Suppose 5*o + 5*z + 1100 = 0, 230 + 395 = -3*o + 4*z. Let g = o + 217. Solve 1 = r - g*r for r.
-1
Suppose -3*m - o = -1297, -15*m - 10*o = -2