for h.
-4
Let m = 2 + 2. Suppose -4*o + 4 = m*a, -6*o + 12 = -10*o. Solve 13 - a = -3*i for i.
-3
Suppose 3*p + 1 - 16 = -4*w, -2*w = -5*p + 25. Let z(n) = 3*n + 5 - 2*n + 0*n. Let t be z(-5). Solve 0*h - h - p = t for h.
-5
Let m = 12218 + -12218. Solve m = 30*c - 27*c - 3 for c.
1
Let x be ((-661)/(-6))/(-1) + 16/96. Let z = x + 110. Solve 0 = -z*h + 5*h + 15 for h.
-3
Let a = -4053 + 4085. Solve a*i - 7 = 39*i for i.
-1
Let u(g) = -g**2 + 8*g + 4. Let v be u(8). Suppose v = -2*d + 4*d. Solve -d*x - 16 = -6*x for x.
4
Let r = -10806 - -10849. Solve 52*z - r*z = -63 for z.
-7
Let o = 13988 + -13973. Solve -37 - o = -13*z for z.
4
Suppose 68 = -38*i + 21*i. Let l(w) = -w**3 - 8*w**2 - 2*w - 12. Let t be l(-8). Let x be 4 - t/i - 1. Solve x*p = -p - 5 for p.
-1
Let n = -54 + 52. Let f be (-34)/6*-6*(-3)/n. Suppose -3*o - f = -144. Solve -o + 6 = -5*z for z.
5
Let p(k) be the third derivative of k**6/120 + 3*k**5/20 - 11*k**4/12 + 4*k**3 + 28*k**2. Let m be p(-11). Suppose -m = d - 5*d. Solve -4*h - d = -2*h for h.
-3
Let v(n) = 6*n + 238. Suppose 0 = 3*p + 5*o + 137, 4*p - 2*o + 100 = -48. Let z be v(p). Solve 0 = -z*a + 5 + 3 for a.
2
Let s be (1/(-3) - 0)/((-8)/(-5352)). Let v = s + 223. Solve -3*m - 3 = -v*m for m.
-1
Suppose -3*r + 3*x + 65 = -454, 0 = -r - 5*x + 185. Solve r*z - 169*z - 18 = 0 for z.
3
Let z = -8718 - -8802. Solve 70*g - z*g - 56 = 0 for g.
-4
Suppose -45*l = -17*l + 14*l. Suppose -12*s + 549 - 441 = l. Solve z + s*z - 40 = 0 for z.
4
Suppose -3*h + 8*h - 39 = 3*q, -2*h + 3*q + 21 = 0. Suppose h = -5*m - 3*x + 37, x - 21 = -3*m. Solve z - m + 3 = 0 for z.
5
Let k = 6950 + -6852. Solve 5*n = -k + 83 for n.
-3
Let b(o) be the third derivative of o**4/24 - o**3/6 + 25*o**2. Let r be b(6). Suppose 2*q + 3*g = r*q + 6, -3*q + 5*g = 16. Solve -q - 3 = -2*n for n.
3
Suppose 18*l - 378 = -9*l. Solve l*j - 20 = 9*j for j.
4
Let n be (1 - 0) + (30 + -19 - 10). Let m = -44 + 66. Solve m + n = -6*h for h.
-4
Suppose 0 = -3*h + 5*z + 24 + 61, -5*h - 5*z = -115. Solve 43*x - h = 38*x for x.
5
Let l be (25254/63 - 11) + (-2)/(-14). Suppose 267 = -387*o + l*o. Solve 80 = 3*h + o for h.
-3
Let f = -33 - -33. Suppose f*z + 4*r = -z - 31, -3*z - 61 = 4*r. Let x be 45/z + 4 + 1/(-1). Solve x = 4*h + h for h.
0
Suppose -5*l + 4*t = -244, t + 241 = -460*l + 465*l. Solve -3*x = -9*x - l for x.
-8
Suppose 13*c - 8*c - 60 = 0. Let j be (-2 - -35)*(-3)/c*-4. Suppose -2*f = l - j, 3*l + 62 = 5*f - 4. Solve -3*h - 2*h = f for h.
-3
Let t be (1 - 0) + 125*(-10)/(-50). Suppose t*w - 32*w = 0. Solve -2*i + 2 - 8 = w for i.
-3
Let o be ((-20)/14)/((-4)/28). Suppose -t = -v + 1, 5*v = -2*t + o + 2. Let s be 42/98 + 22/14. Solve -v*n - s*n = 16 for n.
-4
Let n(a) = 57*a**2 + 173*a + 10. Let u be n(-3). Solve 0 = -17*s - u*s + 63 for s.
3
Let p(i) = 3*i**2 - 190*i - 495. Let t be p(66). Solve 10*l + t = 21*l for l.
3
Suppose 0 = -2*l + 4, 3*l + 48 = 3*b - 36. Solve 27 = -19*i - b for i.
-3
Suppose 2*w + 0*x - 133 = 3*x, w = 3*x + 68. Suppose 0 = 8*l - w + 41. Solve 6*g = l*g - 9 for g.
-3
Let i = -34 - -36. Suppose 5*p + i*f = f + 11, -2*p + 18 = -3*f. Suppose p*s - 2*s = 8. Solve o - s = -3 for o.
5
Let n(f) = -49*f - 4799. Let a be n(-98). Let t be ((-30)/(-35))/((-2)/(-14)). Solve 6*g = a*g - t for g.
-2
Let s(o) = -o**2 + 11*o - 14. Let c be s(9). Suppose 5*t - a = 2*t + 25, -c*a = -3*t + 28. Solve t*u = 11*u for u.
0
Suppose 233 - 282 = -7*j. Solve -j + 8 = h for h.
1
Suppose -6*f - 175*k + 561 = -172*k, -k = -5. Solve -14*p - 231 = -f*p for p.
3
Suppose -d + 6 = -17. Suppose d*y = 20*y + 9. Solve y - 1 = -f for f.
-2
Let y be 50/325 - (-2414)/26. Suppose 91*n - y*n + 6 = 0. Solve 0 = -t - n - 1 for t.
-4
Let a(c) = 2*c**2 + 15*c + 36. Let g(s) = 5*s + 101. Let x be g(-21). Let q be a(x). Solve 0 = 7*j - q*j + 5 for j.
5
Let d = -144174 - -144174. Let w = 6 + 0. Suppose w*t - 2*t = 16. Solve -4*n - t + 12 = d for n.
2
Suppose -3*i = -44 + 17. Suppose -8*q - 4 = -i*q. Let t(x) = x**2 - 2*x - 6. Let y be t(q). Solve -c = -y*c for c.
0
Let i(n) = -9*n + 4. Let q(t) = 1. Let u(b) = -i(b) + q(b). Let h = 14 - 13. Let k be u(h). Solve g = -g + k for g.
3
Let b(x) = -x**3 - 15*x**2 - 3*x - 43. Let g be b(-15). Let k(p) = p**3 - p**2 + 26*p - 47. Let u be k(g). Solve -d = -u*d + 8 for d.
1
Suppose 15*g - 7*g = 216. Suppose g*i - 52 = 23*i. Suppose -5 = -2*u - i, -3*u = 3*d + 12. Solve d = -0*y - 3*y for y.
0
Let g be -9 + (-186)/12*2. Let i be (g/14)/5 - 32/(-7). Solve -i*w - 49 = -29 for w.
-5
Let w(a) = -3*a**3 - 7*a**2 - 3*a + 17. Let b be w(-4). Let v = 119 - b. Let m = -3 + 5. Solve 0 = -0*x + m*x - v for x.
5
Let t(v) = -v**2 - 6*v - 4. Let p be t(-5). Let l = 128 + -92. Suppose -46 + l = -5*w. Solve -j + w*j = -p for j.
-1
Let f = 414 + -414. Suppose 2*k - 9 = -m + 5*k, m - 5*k - 7 = f. Solve -m*u - 20 = -17*u for u.
4
Let c(o) = o**3 - 6*o**2 - 7*o + 3. Let y be c(7). Suppose -3*n + 3*i + y = 0, 0*n - 5*i = 4*n - 4. Solve -2*j - 5 - n = 0 for j.
-3
Let x be (-10)/(-4)*130/25. Suppose -x = -2*a + 7. Suppose 2*o + 3*o - a = 0. Solve -o*t + 1 = 3 for t.
-1
Let v(n) = -n**2 - 5*n. Let g be 2/(-14) - (-27)/(-7). Let c be v(g). Suppose -4*y = 4*i - 8, i + 6 + c = y. Solve y = 7*t - 5*t for t.
3
Suppose -3*z - 3 = 0, z = 4*v + 6*z + 5. Suppose 4*d + 67 - 83 = v. Solve -2*k - 8 = -d for k.
-2
Let j(i) = -i**2 - 69*i + 1909. Let t be j(21). Solve -7*g - 12 = -t for g.
1
Let q = 12 + -35. Let l = q + 27. Suppose 0*z - l = -z. Solve z*y = y - 12 for y.
-4
Let q(t) = t**2 - 2*t - 5. Let p be q(-5). Suppose 5*u = -u + p. Let x be ((-6)/(-8))/(u/40). Solve 4*l - x*l = -8 for l.
4
Let y be 7 - (6/1 - 2 - 1)*-1. Solve 31 = -y*a + 11 for a.
-2
Let p = 202 - 198. Suppose p*i = -4*i + 32. Solve 0*y = i*y for y.
0
Let m be (-1 - -4) + 1 + 0. Suppose -3*c = 5*h - 1579, 0*h - 5*c + 1575 = 5*h. Let a = h + -313. Solve a*q - m = 8*q for q.
-1
Let o = 404 - 399. Suppose 4*a = -o*l - 1, -a = -4*a - 3*l. Solve -u = -a + 1 for u.
0
Let f be (1 - 0)/6 + 1649/(-102). Let h be 2/(2/1)*(f - -18). Solve 4*u + h = -2 for u.
-1
Suppose 2*s + 10*q - 8*q - 16 = 0, -3*s - 8 = -5*q. Suppose 2*x = a + 12 - 7, 4*x - 16 = s*a. Solve -19 = -4*o + x for o.
5
Suppose 5*u + l = 411, -5*u + 387 = -29*l + 26*l. Solve 22*o + u = -29 for o.
-5
Let w(p) = 1090*p - 1031. Let d be w(1). Solve -102*o + d*o + 344 = 0 for o.
8
Suppose 2*f - 4*j = -2*f + 4, 4*f + 3*j - 18 = 0. Let y = 392 - 368. Suppose 295*h = 299*h - y. Solve 3*q + h - f = 0 for q.
-1
Let r(k) = -2*k**2 - 7 + 4*k**2 - 1 - 7*k - 3*k. Let h be r(6). Suppose -4*v + 4 = -h*n, 0 = -3*n + v - 2 + 1. Solve n*j - j = 0 for j.
0
Suppose 0 = -9*t + 232 + 362. Suppose -1421*b = -1427*b + t. Solve 0 = 12*k - k - b for k.
1
Let s = 502 - 478. Suppose -2*x = -8, 5*x + 18 = 2*p - s. Solve 13 = -6*d + p for d.
3
Let y(k) = -k**3 + 25*k**2 + k + 56. Let m be y(25). Solve 18*i - m = 9 for i.
5
Let i = 19176 - 19055. Solve -3*n - 97 = -i for n.
8
Let g be 4*(-2)/(-4) - 0. Let f(k) = -47*k**3 - 7*k**2 + 7*k - 2. Let d be f(4). Let t be 4/(-18) + d/(-153). Solve 6*o = g*o + t for o.
5
Let p be 4/(-5) - (178/(-10) - 3). Solve 25*t = p*t + 5 for t.
1
Suppose 5*r = r + 116. Suppose -4*u + 3*j - 112 = -30, -u + 5*j = r. Let a = u + 34. Solve -a = 4*h + h for h.
-3
Suppose 42*z - 37*z = 2*x + 214, 5*x + 35 = 0. Solve 0 = 13*w - 14 + z for w.
-2
Let g be -66 + -3 + 6/6. Let z be ((-51)/g)/(87/84 - 1). Solve -7*n = -14*n + z for n.
3
Let u be 3 - (2 - (1 - -1)*2). Suppose 3*j + 5*l = 0, u*l + 15 = -j + 5. Solve 0*t - 15 = -j*t for t.
3
Suppose -49*x + 51*x = p + 16, 2*x - 5*p = 40. Solve x*h = 10*h + 20 for h.
-4
Let x(o) = 96*o - 474. Let c be x(5). Let q(t) = -3*t**2 - 18*t. Let f be q(-3). Solve -c*m - f = 3 for m.
-5
Let a = 26162 - 26058. Solve a = 108*i - 121*i for i.
-8
Suppose 6 = 5*g - 2*g. Suppose -g*m + 12 = 4*m. Let q be (-9)/(-6)*((-32)/(-12))/m. Solve q*p + 1 = p for p.
-1
Let g(t) = -t - 11. Let c be g(-11). Let n = 15 - 9. Suppose c*d - 24 = -n*d. Solve 0 = -i - i + d for i.
2
Let k(x) = -69*x - 9. Let q(r) = -29*r - 4. Let n(t) = -5*k(t) + 12*q(t). Let v = -8 + 3. Let y be n(v). Solve -y = a - 4*a for a.
4
Let v(m) = -106*m - 1466. Let z be v(-14). Solve 15 = z*b - 21 for b.
2
Suppose -106 = w - 1. Let y = w + 108. Solve -11*s + y = -8*s for s.
