h = 0. Solve 0 = 3*z - 8*z + w for z.
3
Let x(r) = r**3 + 15*r**2 - 45*r - 716. Let c be x(-14). Solve 2*n - 118 = -c for n.
4
Suppose -123*o + 214167 = 681*o + 46935. Solve 0 = 154*g - 50*g + o for g.
-2
Suppose -408*y - 98 = -415*y. Solve -23*x = -y + 37 for x.
-1
Let u = 15 + -9. Let m(j) = -4*j**3 - 42*j**2 + 83*j + 137. Let o be m(-12). Suppose -x = -5*x + 16. Solve u*g - x = o*g for g.
4
Suppose -5*h - 9 + 111 = 3*s, -h + 2*s + 10 = 0. Suppose -l = 4*m - 0*m + h, -2*m = 5*l. Solve -8*z = l - 26 for z.
3
Let u(n) = -105*n - 28. Let h be u(-4). Let j = h + -372. Solve -3*q - j = q for q.
-5
Suppose -7*i - 20 = -11*i. Suppose 0 = i*q + 5*m - 155, 0 = q + 4*m - 5*m - 27. Let t = 29 - q. Solve t = 3*o - o for o.
0
Let u(d) = -2*d**2 + 43*d + 82. Let n be u(23). Suppose n*l - 7*l = -7*l. Solve 5*g = 10 - l for g.
2
Suppose 28*o - 237 = -181. Suppose -2*n + 11 = 5. Solve -n*a - o = -8 for a.
2
Let y = 320 - 317. Solve -10*m = -y - 47 for m.
5
Suppose -106 + 8 - 38 = -68*d. Solve 158*q - 157*q - d = 0 for q.
2
Let z be ((-1)/(((-2)/(-3))/2))/((-45)/4095). Solve 41*d - 2*d = -z for d.
-7
Let k be ((-2)/(-34)*17)/(2/64). Solve 0 = -8*a + 8 + k for a.
5
Let a = 5164 - 4959. Solve -a = -40*m - 45 for m.
4
Suppose -50*p = -53*p + 3*m, 0 = -p - 2*m + 3. Solve -s - p + 6 = 0 for s.
5
Let t be -3 + (1 - -1) - -1 - (-3 + 3). Solve 73*s - 64*s - 9 = t for s.
1
Let s(x) = -2*x**3 - 7*x**2 - 6*x - 3. Let k be s(-3). Let w be (-174)/(-58)*(-2 + 32/k). Solve 13*c - w = 11*c for c.
5
Let w = -6369 + 6369. Solve -36 + w = 6*n for n.
-6
Let n be (-310)/30 + (-2)/(-6). Suppose -5*i - 15 = -6*i. Let c = n + i. Solve c - 8 = -a for a.
3
Let s(d) = -d**3 + 13*d**2 - 14*d + 22. Let g be s(12). Let r be (g - (-6 - -4))/(-2 - 1). Solve 2*n = -r*n - 8 for n.
-4
Let c be (-5 + 5 - -4) + -6. Let u(j) = -2*j**3 - j**2 + 3*j - 1. Let f be u(c). Solve 4*r - f*r = 0 for r.
0
Suppose -3*i - 78 = 2*i - p, -87 = 5*i - 4*p. Let t be (-2)/(10/i) - (-9 - -7). Suppose 2*b - 4*b = 0. Solve -20 + b = t*z for z.
-4
Let r = 9 + -3. Let b = -6 + 8. Suppose -b*n + r*n = 2*n. Solve w - 5*w - 16 = n for w.
-4
Let l = 66 - 61. Suppose -10*x + l*x = 4*y - 17, -x - 4*y = 3. Solve 10*z = x*z for z.
0
Suppose -8*v = -583 + 103. Suppose a - 1 = r, v = -5*a + r + 61. Solve -5*g + 5 = -a for g.
1
Let g = 4 - -2. Let u = 115 - 185. Let i = u - -76. Solve 9*s = i*s - g for s.
-2
Let q be (798/(-35))/(6/(-40)). Solve 159*t = q*t + 14 for t.
2
Let m be (-2)/12 + (-124)/(-24). Let h be (6 + -6)/(m - 2). Solve 2*r + h*r = -6 for r.
-3
Let i(q) = -26*q + 11. Let v be i(-2). Let h = v + -51. Suppose 3*y + y + h = 2*w, -4*w + 6 = -2*y. Solve w = 4*k - 0*k - 4 for k.
1
Let c be (-8)/(-5) - 2 - 170/(-50). Let u = -132 - -134. Solve 0 = -o + c - u for o.
1
Let q(n) = n**3 - 3*n**2 + 7*n - 18. Let s be q(3). Solve -s*c + 3*c = -c for c.
0
Let s = -1067 - -1072. Solve 3 - s = -i for i.
2
Let x be 3/(6/10) - -83. Let s = x + -87. Let b be (3/6*0)/s. Solve b*i = i for i.
0
Suppose 7*f - 3*f - 758 = -3*s, -3*s = 3*f - 570. Let i = -186 + f. Solve 4 = -4*n + i*n for n.
-2
Let q(s) = 19*s - 66. Let o be q(-3). Let u = o - -123. Solve 17*a - 15*a - 6 = u for a.
3
Let z = -14356 - -14370. Solve -2*j - z = -20 for j.
3
Let i(x) be the third derivative of -71*x**4/24 + 16*x**3/3 + 28*x**2 + 3*x. Let y be i(0). Solve 0 = y*s - 27*s + 20 for s.
-4
Suppose y + 637 - 154 = 5*b, 3*y + 393 = 4*b. Let z = b - 52. Suppose 0 = -k - 43 + z. Solve -3 - k = -h for h.
4
Let f be 42/(-483) + 41747/23. Solve 1811 = u + f for u.
-4
Let k(c) = -2*c**2 - 14*c + 161. Let w be k(6). Let i(y) = y**2 - 18*y + 20. Let r be i(17). Solve -w*z + 7 = -r for z.
2
Let a(g) = -9*g + 84. Let u be a(7). Solve 17 - 38 = -u*k for k.
1
Suppose 5*l - 349 = -5*w + 8*l, -2*w = 7*l - 156. Solve -67*a + 12 = -w*a for a.
-3
Suppose 0 = 24*n - 42 - 6. Let j be ((-8)/20)/(n/(-120)*2). Solve 5*v = 8 + j for v.
4
Let r(v) be the third derivative of -v**6/120 - 2*v**5/15 + v**4/24 - 16*v**2. Let b be r(-8). Let l be (b/(-20) + (-2)/5)/2. Solve -5*i + 0*i = l for i.
0
Let x be 574/6 - (3 - 21/63). Solve x*h - 4*h - 445 = 0 for h.
5
Suppose 0*x + 2*x - q = 13, x + 4*q + 7 = 0. Suppose 5*g = x + 5. Let i(p) = 2*p**2 - 12*p + 6. Let d be i(6). Solve d*k - g*k = 20 for k.
5
Let k(t) = t**2 - 8*t - 51. Let n be k(-5). Let m(f) = 6*f - 78. Let j be m(n). Solve 8*w - j*w = -6 for w.
-3
Suppose 496*y - 132 = 485*y. Solve -27*r = -23*r + y for r.
-3
Suppose -4*t = -61 - 79. Suppose -27*g - 64 = -t*g. Solve -g = 5*j + 7 for j.
-3
Suppose -51*g + 47*g = -20. Suppose -d = -4*h + 28, -3*h + g*d = d - 8. Solve 3*l + l + h = 0 for l.
-2
Suppose 0 = -11*a + 567 - 6. Let o = -48 + a. Suppose -o*g = 3*u + 6, -g - 4 = -2. Solve u = n - 2*n - 2 for n.
-2
Let m = 8279 + -8081. Solve -m = -9*f - 126 for f.
8
Suppose 4*o - 2*b = 8, b - 28 = -4*o - 20. Suppose 2*j = o, -d - 3*d + 3*j = -29. Solve d*k + 6 = 6*k for k.
-3
Suppose 0 = -30*j - 42*j - 19*j. Solve 6*h - 68 + 74 = j for h.
-1
Let x be (-2)/(-14) + (-960)/56. Let r(k) = -k**2 - 22*k - 82. Let a be r(x). Solve -8 = -a*o + 4 for o.
4
Let x(q) = -q - 8. Let p be x(20). Let s = 9 + -33. Let f = s - p. Solve t + f = -0 for t.
-4
Suppose -80*m + 155*m + 114 = 81*m. Solve -19 = m*j + 19 for j.
-2
Suppose 0 = 5*o - 17*o + 180. Suppose -2*m + o - 11 = 0. Solve -m = 2*s - 4*s for s.
1
Let s be 168/1092 + 2/(-13). Solve -34*m + 36*m + 16 = s for m.
-8
Let v(y) = y**2 - 75*y - 1023. Let h be v(-12). Solve -h*i + 225 = 24*i for i.
5
Suppose 1 - 78 = -11*u. Suppose -u + 4 = -q - 2*s, 0 = -3*q + 5*s + 53. Solve 13 = -6*w - q for w.
-4
Let q = -248 + 251. Suppose 0 = t - n + 1, t = 5*t + 3*n - 24. Suppose q*w = t*w + 2*w. Solve -3*y + 4*y - 3 = w for y.
3
Suppose 5*h + 994 = v, -2*h = -47*v + 36*v + 10669. Solve 4*m - v + 973 = 0 for m.
-1
Let v = -111 + 111. Suppose v = 62*t - 67*t. Solve t = 2*c - 2 - 4 for c.
3
Let c(p) = 4*p**3 + 3*p**2 - 8*p. Let s(k) = -k**3 + 1. Let t(a) = -c(a) - 3*s(a). Let z be t(-5). Solve -u - z = -10 for u.
3
Let g = 45 - 40. Suppose -8 = -2*a - d, g*a - d - 31 = 2*d. Suppose 0 = a*y - 3 - 7. Solve 5*k - 3*k - y = 0 for k.
1
Let d(o) = 8*o + 207. Let b be d(-24). Suppose 2*m - 16 = -l, 0 = 5*m + 2*l + b - 56. Solve m*g + 23 = -22 for g.
-5
Let o = 7151 + -7151. Solve 21*f + 11*f - 64 = o for f.
2
Let p = -5 + 5. Let a(z) = z**3 + 27*z**2 + 33*z + 93. Let w be a(-26). Let b = 90 + w. Solve p*t + t = b for t.
1
Let l be ((-22 - -2)/4)/(-1). Let b = 1676 - 1666. Solve -l*a + b*a = 0 for a.
0
Suppose 2*x + a - 1 = 0, -4*a = 1 - 5. Let n = 2 - x. Let k(q) = 9*q**2 - 58*q + 27. Let g be k(6). Solve 0 = -n*j + g - 5 for j.
-1
Suppose 4*d - 41*s = -38*s + 7070, -3*s - 3532 = -2*d. Let r be d/549 + 2/(-9). Solve 94 - 79 = r*c for c.
5
Suppose 10 = -5*b - 4*z, 4*z - 7 + 19 = -4*b. Suppose -7*o = -b*o - 2*p - 45, 2*p - 11 = -3*o. Let t = -7 + o. Solve t = 3*j + 2*j for j.
0
Suppose -4*v - 26 = -178. Suppose 4*g + v = 3*u, -2*u = -u - g - 12. Suppose -u*q = 1 - 41. Solve b + 5 = -q*b for b.
-1
Let l(m) = 2*m**2 - 11*m - 54. Let j be l(-7). Solve j*y + 216 = 67*y for y.
-4
Suppose 4*f - 758 = 2*c - 630, c = -2*f + 76. Solve f = q + 31 for q.
4
Let b(j) = 120*j + 603. Let y be b(-5). Solve y*d + 24 = -3*d for d.
-4
Let n = -17286 + 17323. Solve 44 + 67 = n*x for x.
3
Let f(p) = -465*p + 2106. Let r be f(4). Solve 0 = 9*z + 255 - r for z.
-1
Suppose -119 = -64*k + 1187 + 230. Solve -201 + 33 = -k*d for d.
7
Let u be 0*(26/(-91) + (-5)/7). Suppose u = -w + 2*h - 2, 3*h - 4 - 2 = 0. Solve -w*q + 15 = 9 for q.
3
Suppose 14*y = 6*y - 728. Let d = y + 88. Let w be (d*(-5)/3)/(2/6). Solve -w = 3*c - 3 for c.
-4
Let q(j) = -j**3 + 176*j**2 + 716*j + 744. Let a be q(180). Solve 16*o + 16 = a*o for o.
2
Let c = 607 + -583. Solve 0 = 29*z - 23*z + c for z.
-4
Let i(c) be the third derivative of c**5/60 - c**4/12 - 4*c**3/3 + 46*c**2 + c. Let o be i(5). Solve -o + 1 = -2*k for k.
3
Let d(s) = s**2 - 35*s - 35. Let a be d(-9). Let q = a + -359. Solve 0 = q*h - 9 - 1 for h.
5
Let i(d) = d**2 - 11*d - 136. Let r be i(19). Let q be 6 - 765/136 - (-1050)/r. Solve q*s = 62*s for s.
0
Let d = -2 + 97. Suppose n + 5*p + 0*p - 19 = 0, 5*n + 4*p = d. Suppose -2 = 17*l - n*l. Solve 5*r + 4 = -l for r.
-1
Let c(o) = -o**2 + 85*o - 814. Let z be c(11)