-w*l - 5*q + 3. Let h be (7/l - 5)*-4. Solve -9*k = -h*k for k.
0
Suppose 0 = r + 3*d - 105, -4*d = 2*r + r - 315. Solve -3*g - 96 = -r for g.
3
Let w = -18223 - -18301. Solve -19*v - 40 + w = 0 for v.
2
Let i be 1/(-6)*-3*(4 - 6). Let g be (4 - i) + (-10 - -9). Suppose -g*f = 5*a + 17, -6*f + 2*f = 2*a + 2. Solve -5*w + 12 = f for w.
2
Let d(c) = c**2 + 38*c + 77. Let k(v) = -11*v - 3. Let m be k(3). Let z be d(m). Solve 0 = 5*r + z - 30 for r.
5
Let b = 1375 + -1367. Solve 16*c + b*c - 144 = 0 for c.
6
Let z(b) = -b**2 - 6*b + 75. Let d be z(6). Let r = -27 - -30. Let o be (-25)/(-3) - r/9. Solve c - o = -d*c for c.
2
Let j = 36 + -9. Let z = -1552 - -1555. Suppose 12*c = -z + j. Solve -m = -3*m - c for m.
-1
Let g = -338 - -345. Let o(p) = p**3 - 6*p**2 + p - 31. Let i be o(g). Solve 4*a + i = 9 for a.
-4
Let x = -23712 - -23712. Solve -8*n + 38 + 26 = x for n.
8
Let a(d) = -6*d**3 - 2*d**2 + 13*d**2 + 14*d**3 - 7*d**3 + 25 + 12*d. Let t be a(-10). Suppose x - u = -0 + 5, 2*u + 10 = -3*x. Solve x = -m - 4*m - t for m.
-1
Suppose 0 = -14*o - 6*o + 1040. Suppose 53*w - o*w - 43 = 0. Solve -8 = -7*h - w for h.
-5
Let q = -10421 - -10424. Solve 315 = q*k + 312 for k.
1
Let t = -4895 - -4925. Solve -37*d - t = -22*d for d.
-2
Let l(w) = -91*w - 1 + 2*w**2 + 94*w + w**2. Let c be l(1). Suppose 5*f - i = -5*i + 6, i = -3*f + c. Solve 0 = f*b - 10 for b.
5
Let l be (-90)/12*(-2)/5. Suppose -19 + 1 = -l*s. Suppose p - 3*i + 4 = 0, -5*i + 11 = 4*p - 7. Solve 0 = p*z - s - 2 for z.
4
Suppose 4*i - 3*n + 1062 = 0, -4*n + 230 + 29 = -i. Let m = 271 + i. Solve -m = -0*o - o for o.
4
Let x(h) = -h**2 - 33*h + 150. Let g be x(-37). Suppose -5*l + 24 = 3*r + 3, -g*l - r = -8. Solve l*m + 4*m = m for m.
0
Suppose 0 = 3*g + 3*o - 2*o - 429, o = -2*g + 286. Let b = -147 + g. Let t be 1 + (-4)/6*(-6)/b. Solve t = -3*r - 2*r - 20 for r.
-4
Let x = -12017 + 12017. Solve -3*a + 8*a - 10 = x for a.
2
Let w = 2178 + -2169. Solve 187*s - w = 196*s for s.
-1
Let o(m) = 43*m + 144. Let v be o(-7). Let w = -137 - v. Solve -2*f - 2*f = -w for f.
5
Let v = -9 - -13. Let l(q) = 2*q**3 - 2*q**2 - 4*q + 11. Let k be l(2). Solve v*b + k = 3 for b.
-2
Suppose 6 = 3*i - 5*w, 3*i - 7*w + 12*w - 36 = 0. Suppose g - 5*z + 5 = 0, 0 + 2 = g + 2*z. Let q = g + 1. Solve 2*k = q - i for k.
-3
Let a = -5 + 9. Let s(i) = i**3 - 7*i**2 - 5*i - 19. Suppose 27 = -5*m - 5*r + 77, 3*r = 4*m - 26. Let w be s(m). Solve a*h + 1 = w for h.
1
Let a be (-1 - (-30)/(-40))/(1/(-124)). Let m = a + -205. Solve -6*r = -6 - m for r.
3
Let x(t) = 60*t**2 - 23*t + 11. Let a(l) = -21*l**2 + 8*l - 4. Let s(q) = 17*a(q) + 6*x(q). Let g be s(-1). Solve g*j = -j for j.
0
Suppose 5*r - 258 = 2*a + 1104, -5*r = 3*a - 1332. Solve 58*w - 4*w = r for w.
5
Suppose 31*g - 3 = 28. Let t be (g - 7)*10/(-30). Solve 6*n = -t + 20 for n.
3
Let f(s) = 178*s + 3974. Let c be f(-20). Solve 409*k = c*k + 30 for k.
-6
Let l be (0 + 2)*-24*8/(-16). Solve -l = 40*p - 44*p for p.
6
Suppose -2*f + 5*j = -206, 65 - 491 = -4*f + 3*j. Suppose -r - f = -5*n, 3*n + 2*r + 0*r = 57. Let l(c) = 2*c - 39. Let x be l(n). Solve -2*w - x*w = -5 for w.
1
Suppose 26*b - 747 - 1045 = -76. Solve 0 = -37*j + 48*j + b for j.
-6
Let y = -1 - -4. Let q = 1715 - 1712. Solve -2*j - y*j - q*j = 0 for j.
0
Suppose 5*f = -4*p + 1235, 0 = -2*p - 3*p - 11*f + 1539. Solve -304*d + p*d + 30 = 0 for d.
-5
Suppose -5*m + 14 - 5 = -11. Solve -4 + 0 = -m*i for i.
1
Let x(c) = -13 - 28*c**2 + 12*c + 27*c**2 + 1. Let t be x(4). Solve -4*q = q - t for q.
4
Let j = -4648 - -4652. Solve -j*a - 15*a - 114 = 0 for a.
-6
Let y(i) = i**3 - 11*i**2 + 12*i - 20. Let j be y(10). Solve 16*z - 12*z - 20 = j for z.
5
Let b(s) = 5*s - 61. Suppose 3*a + 9 = 2*u - 11, 3*u = 3*a + 33. Let q be b(u). Solve 9*d - q*d - 15 = 0 for d.
3
Suppose w = -4*p + 5*p + 8, 0 = 5*w - 20. Let b(v) = -v**2 - 2*v + 12. Let f be b(p). Suppose -f*l + 5*u = u - 32, -3*l + 5*u = -32. Solve l*s = -s for s.
0
Let h = 18 + 27. Let u = h - 43. Suppose 9*b = 4*b. Solve -2*a + u = -b*a for a.
1
Let n = -204 - -404. Let m = 206 - n. Solve 1 - 7 = -m*p for p.
1
Let h(n) = -n**3 - 9*n**2 + 12*n + 24. Suppose 44 = -15*m - 106. Let g be h(m). Solve -f + g - 2 = 0 for f.
2
Let l(m) = 9*m - 11. Let k(g) = g + 13. Let q(i) = -3*i - 41. Let f(h) = 7*k(h) + 2*q(h). Let j be f(-7). Let c be l(j). Solve c + 18 = 5*t for t.
5
Let h be -21 - -39 - (-728)/13. Solve -66*i - 8 = -h*i for i.
1
Let k(t) = t**2 + 8*t - 80. Let g be k(8). Solve -24*p + 48*p = g for p.
2
Suppose 0 = 64*n - 63*n - 4. Suppose k - 3 = x, -n*x - 3*k + 2*k + 3 = 0. Solve -56*j + 54*j = x for j.
0
Suppose -15*r = -0*r - 2580. Solve -102 = -189*n + r*n for n.
6
Let u be (((-855)/(-38))/45)/(3/114). Solve 17*m = 138 - u for m.
7
Suppose -2*x + 2*n = -38, 5*n - 38 = -4*x + 38. Solve x*a + 8 = 122 for a.
6
Let k(q) = -q**2 + 14*q - 3. Let z be k(14). Let s be (-12)/(-8)*((-35)/z - 5). Solve -19*o - s = -21*o for o.
5
Suppose 0 = -3*n + 5*o + 72 - 9, -5*n = o - 105. Solve -n*c - 140 + 35 = 0 for c.
-5
Suppose -26*i + 182 = 43*i + 22*i. Let h = -2 - -5. Let a(s) = 2*s**2 - 2*s. Let l be a(h). Solve 2*p + i*p = -l for p.
-3
Let g be (-29 - -25)*(-1)/2. Let d be (-1 - g)*-1 - -11. Let b = 16 - d. Solve 9 = b*u - 5*u for u.
-3
Let y(t) = 15*t**2 + 13*t + 16. Let d be y(-2). Solve -618*s - d = -608*s for s.
-5
Let i = -319 + 323. Let s be 0/(i*(-2)/4). Solve s = x - 3*x + 6 for x.
3
Let l be (0/(13 - 8))/(5*9/(-45)). Solve 10*s + 4*s + 28 = l for s.
-2
Let t(v) = -v**3 - 2*v**2 + 4*v + 3. Let x be t(-3). Suppose -4*k = 2*u - 19 - 5, -k + 5*u + 17 = x. Let h be 29/k + 2 - (-1)/(-7). Solve h = i + 3 for i.
3
Suppose -2*q - 17 + 44 = 5*c, 20 = 2*q - 2*c. Suppose -3*x = -x - 14. Solve x*y = q*y + 12 for y.
-3
Let r = 3053 - 2916. Solve -h - r = -131 for h.
-6
Suppose 12*y = 133*y. Solve y*x - 8 = -4*x for x.
2
Let g be (-58)/(-8) - ((-86)/8 - -10). Suppose 20*d - g*d = 120. Solve 2*i - 14 + d = 0 for i.
2
Let n(h) = -h**2 + 1. Let m(x) = -15*x**3 + 3*x**2 - x - 3. Let i(b) = m(b) + 3*n(b). Let k be i(-1). Suppose -1 = -9*d + 17. Solve 0 = -d*s + 6*s + k for s.
-4
Let i = -88 + 91. Let j = -75 + 107. Let w = 37 - j. Solve i*q = w*q + 8 for q.
-4
Let a(v) = 5*v**3 - 2*v - 4. Let g be a(-2). Let b = g + 55. Solve -8 = 13*o - b*o for o.
4
Let f(n) = -23*n**3 - 5*n - 5. Let i be f(-2). Suppose 7*o + 2*o - i = 0. Let w = o - 16. Solve 0 = -w*h - 4 - 6 for h.
-2
Suppose -2*l + l = 2*l. Suppose l*y = 6*y - 12. Suppose b = -b - y*b. Solve b*z - 5*z = 15 for z.
-3
Let v be -12 - (-430 + (10 - 11)). Solve -v = -7*o - 454 for o.
-5
Let s = 9236 - 9234. Solve -5 = n - s*n for n.
5
Let p = -4530 + 4539. Solve -66 + 12 = -p*k for k.
6
Let r(q) = -2*q - 15. Let v be ((-20)/(-14))/(2/14). Suppose 4*c - 3*a + 40 = -7*a, a - v = c. Let o be r(c). Solve 1 + o = -3*i for i.
-2
Let f = -39290 + 39290. Solve c - 48*c = f for c.
0
Suppose 0 = -5*p + 177*u - 179*u + 200, -61 = -2*p + 3*u. Solve p*i = 358 - 92 for i.
7
Let t(g) be the second derivative of -g**4/12 - 5*g**3/3 - 5*g**2/2 - 12*g. Let m = -108 + 103. Let p be t(m). Solve p = z + 3*z for z.
5
Suppose -14*h + 2118 + 402 = 0. Suppose 2*l - 4 = 0, 4*m + 142 - h = -3*l. Solve a + m = -a for a.
-4
Suppose -6*r = 4*o - 2*r - 92, -r = -4*o + 97. Let k be 3/o + (-248)/(-64). Solve -l + k = 9 for l.
-5
Suppose 22 + 34 = 4*d. Suppose 4*r + 5*k = r + 178, 64 = r + 4*k. Suppose 0*g + r = d*g. Solve -g*w = -w for w.
0
Suppose -12*r + 1528 = -4*s, 12*s + 16 = 8*s. Solve l = 19*l + r for l.
-7
Suppose 38 = -4*t + 46, -4*a + 490 = 5*t. Solve -15*i - 120 = -a for i.
0
Suppose -3*h - 3*w = -417, -4*w = -h + 3*h - 268. Let g = 240 - h. Let m = 98 - g. Solve 2*d - m = 3*d for d.
-2
Let r be -4 + 14/(-7)*(-279)/6. Suppose -9 = 10*j - r. Solve -j*v + 3*v = 0 for v.
0
Let a be (-58968)/(-1001) - (-60)/55. Solve -62*c = -a*c for c.
0
Let v be ((-187)/(-51))/(33/54). Solve -m = 2*m + v for m.
-2
Let b(l) = 3*l + 17. Let v be b(11). Suppose -10 = 10*r - v. Solve 2 = r*g + 6 for g.
-1
Let p(j) = -j**3 + 5*j + 5. Let b = -228 - -226. Let w be p(b). Solve w*r + 2 = -7 for r.
-3
Let r be (-4)/(-3 + 7)*-2. Let f = 195 + -187. Suppose 6*v = -4*u + 8*v + f, 0 = 4*v + 8. Solve r*d + u = -3 for d.
-2
Suppose 26 = 4*u + 14. Suppose 2*w + i - 3*i + 84 = 0, 2*w +