. Solve -k*x + 16*x = 28 for x.
4
Let b = -10 + 17. Suppose 0 = 52*g - 33 - 123. Suppose 0 = b*t + g*t - 250. Solve 3*o = -2*o - t for o.
-5
Let v(x) be the second derivative of 13/6*x**3 - 29*x + 0 + 7*x**2 + 1/12*x**4. Let w be v(-12). Solve w*r + 0*r = -6 for r.
-3
Let y be 22 + -9*2*(-4)/(-24). Let z be 2/7 - 363/21. Let x = z + y. Solve -2*p = -x + 6 for p.
-2
Let p = 508380 - 508377. Let l be 2/(-4)*(1 - 3). Solve l = -p*m - 2 for m.
-1
Let h = 2174 - 2168. Solve 7*n + h = 10*n for n.
2
Let d = -185 + 141. Let h be (-4 - 404/d) + (-2)/11. Solve h*u = 2*u for u.
0
Let v(w) = -w**3 - 8*w**2 - 7*w + 10. Let k be v(-7). Let d = 34 - k. Suppose 6*m - d = 2*m. Solve 2*s = m*s for s.
0
Let t = -375 + 217. Let d = t + 173. Solve -d = 4*o + o for o.
-3
Let g = -1926 - -2810. Let n = -816 + g. Solve -n*l = -64*l + 20 for l.
-5
Let s be ((-2)/2)/(3 + (-250)/84). Let h = -32 - s. Solve 12*p = h*p + 8 for p.
4
Let l = -7871 + 8178. Solve -l*a = -298*a + 72 for a.
-8
Let i be 6/(-6)*-18*4/6. Suppose -i + 4 = p. Let x(y) = y + 8. Let a be x(p). Solve 9 = 3*j - a*j for j.
3
Suppose -5*n = -2*u - 6, -2*u - 14*n + 10*n + 30 = 0. Solve -22*g - u*g = 58 for g.
-2
Let w = 10120 - 10010. Solve 78*n = 23*n - w for n.
-2
Let m(x) = -x - 4. Let j be m(-7). Let p be 3 - (-3 + 126/j). Let h = 48 + p. Solve 0*s + 3*s = h for s.
4
Let y be (2/3)/(3/9). Suppose 26*f = f + 199 - 49. Solve -4*v = -y*v + f for v.
-3
Suppose 6 = 2*q, 5*n - 458 = -q + 370. Solve 0 = 48*t - n - 75 for t.
5
Let l be ((280/(-4))/1)/(-1). Let o be 252/l - 3/5. Solve -30 = -o*m + 9*m for m.
-5
Suppose -2*x + 68 = 4*f, 147*x + 2*f = 149*x - 92. Solve 21*u + x = 35*u for u.
3
Suppose -142*b + 138*b = -8. Suppose -8*v = -3*v - 20. Suppose 1 = v*q - 3*q. Solve -3 = -b*p + q for p.
2
Let m be ((-1177227)/(-11682) + (-3)/11)/(3/2). Solve -m*r + 152 = -29*r for r.
4
Suppose -10*a = -28*a + 360. Solve 9*u + u = a for u.
2
Let g(l) = 89*l**2 - 108*l - 3. Let n be g(2). Solve -6*s + 167 = n for s.
5
Let c(o) = -48*o - 4. Let j be c(-2). Suppose 2*w + j + 15 = 3*a, -w = 2*a - 76. Let x = 39 - a. Solve x - 14 = -3*b for b.
4
Suppose 0 = 3*l - 4*l - 4*s - 2, -5*s + 3 = 4*l. Suppose -5*t + 30 = -l*t. Suppose -2*p - t = -14. Solve 0 = -2*k - p*k - 8 for k.
-2
Let w = -23381 + 23389. Suppose -3*m = -28 + 10. Solve -m*j - 22 = w for j.
-5
Let h(l) = -l**3 + 17*l**2 - 63*l + 44. Let p be h(12). Solve -36*w = p*w - 176 for w.
4
Let w be -421*(14/(-7) + 3 + -2). Suppose 188 = 29*s - w. Solve 5 = 4*f + s for f.
-4
Let a(u) = -u**3 + 6*u**2 - 8*u + 3. Let s(k) = -k**2 - 7*k - 2. Let l be s(-6). Let f be a(l). Suppose 0 = f*w - w. Solve 2 = 2*b - w*b for b.
1
Let c be ((-2)/(-6))/(8/(-96)*-2). Let p be c/3 - (-2)/6. Suppose -3*l - p + 4 = 0. Solve -z + l = -2*z for z.
-1
Suppose -4*w - 67 = -4*y - w, 3*w + 41 = 2*y. Suppose 0 = -4*s + y + 27. Solve -5*o - 5 = -s*o for o.
1
Let n(j) = 6*j**2 + 11*j. Let t(i) = 5*i**2 + 4*i - 7. Let c be t(2). Suppose -5*p - 31 = -c. Let z be n(p). Solve 2*s - 4 = -z*s for s.
1
Let o be (-2254)/(-42) + 2/6. Suppose -o*s + 45*s = -36. Solve 10 = -2*b + s*b for b.
5
Let r be (4/(-16))/((-4)/208). Let q(o) = -o**3 + 12*o**2 + 11*o + 19. Let u be q(r). Let p(c) = -2*c - 11. Let j be p(u). Solve k + j = 4 for k.
1
Suppose 117 = 4*y + 3*n, -y - y + 4*n = -64. Suppose 0 = 13*t - 18*t + y. Solve k = t - 3 for k.
3
Let g be (117/(-9) + 11)*(-30)/12. Solve -g*y = 30*y - 245 for y.
7
Suppose 0 = -41*p + 13*p + 420. Solve -p = 5*y + 10 for y.
-5
Let s(x) = x**2 - 6*x + 10. Let f be s(3). Suppose 4*i - 31 = -3*t, 4*t - 11 = 2*i + f. Let l be -2 - (0 + -1 + -3). Solve -l*j + i*j = -2 for j.
-1
Let m(n) = 14*n + n**3 - 40 + 47 + 20*n**2 - 64. Let b be m(-19). Solve -35*q = -b*q - 12 for q.
-4
Let o(s) = s**2 - 11*s - 145. Let d be o(20). Solve -d*n - 60 = 115 for n.
-5
Let v = -452 + 452. Suppose 0*a + 6*a = v. Solve 5*u + a*u = 5 for u.
1
Let z = -48 + 224. Let t = 179 - z. Solve 0 = 2*k - t*k - 1 for k.
-1
Let s = 2786 + -2773. Solve 18*o = s*o for o.
0
Suppose 230 = 3*o + 13*i, 628*o - 4*i = 624*o + 136. Let v = -13 + 23. Solve 40*u - o*u = -v for u.
5
Let g = 238 + -249. Let i be (g + 355/35)/((-6)/56). Solve 0 = 11*y - 9*y + i for y.
-4
Let o = 121 - 156. Let y be (-8)/(2*1) + o + 50. Solve -2*i + 3 = y for i.
-4
Let y be (1/3)/((-2)/(-12)). Let l(m) = 336*m**3 - 2*m**2 + 2*m. Let t be l(1). Suppose -5*w = t - 346. Solve y*v + 4 = -w*v for v.
-1
Suppose 0 = 3*s - r - 248, 66*s - 2*r + 395 = 71*s. Solve 80*i + 3 = s*i for i.
3
Let h = -41 - -44. Let c(x) = 6*x - 4. Let a be c(h). Let p(i) = i**3 - 15*i**2 + 13*i + 21. Let w be p(a). Solve 8 = -3*z - w for z.
-5
Let y(i) = 8*i - 438. Let s be y(56). Let j be (-2)/((-3)/1*s/60). Solve -j*x = -3 - 17 for x.
5
Let y be (80/14)/((-178)/(-3115)). Solve -19*c + y = 6*c for c.
4
Suppose -9*n - 56 = -146. Suppose n*d = -18*d + 140. Let w = 18 + -3. Solve -w = -d*p - 5 for p.
2
Let t = 890 - 824. Let a be 526/(-8) - 4/16. Let v = t + a. Solve 6 = 3*n - v*n for n.
2
Let i = 24782 - 24781. Let o = 1 - -1. Let l(d) = d**2 + 7*d + 9. Let w be l(-6). Solve w*y - o = i for y.
1
Let g be (-3)/(45/(-62)) - (-4)/(-30). Suppose 6 = -n + 4*f, 2*f - 30 = -3*n - 2*f. Suppose 0 = -n*c + g*c + 8. Solve 3*r - r = c for r.
2
Suppose 4*x = -m + 205, -13*m + 11*m = 3*x - 150. Let j = -56 + x. Let h(f) = f**2 + 6*f + 10. Let g be h(j). Solve -n = g*n + 9 for n.
-3
Let r = -391 + 1109. Let t = 743 - r. Solve -29*l + 4 = -t*l for l.
1
Suppose 0 = -5*r + 10 - 30, 8 = 2*b + 4*r. Solve -14 + b = q for q.
-2
Suppose 0 = -2*o + t + 4*t - 221, 482 = -4*o + 2*t. Let b = o + 168. Solve 51 = -3*p + b for p.
-2
Suppose 9*r - 477 - 410 = 2*y, -2*r + 3*y + 192 = 0. Solve 7*m = -26*m - r for m.
-3
Let n be ((-14)/(-7))/((-17)/(-19) + -1). Let k be n/(-17) + 32/(-272). Solve 9 = -4*m + k for m.
-2
Let k be 365/25 - (-4)/10. Suppose -30 = -3*d + 2*q, -35*d + 18 = -33*d - q. Solve -k = d*f - f for f.
-3
Let n(z) = 24*z**3 - z**2 + z. Let w be n(1). Let g be 36/w*4/3. Suppose 107*s - 267 = 18*s. Solve -l + g = -s for l.
5
Suppose 21 - 24 = -3*l. Let k be -6*(l/3 + -1). Suppose 0 = c + x - 6*x, -k*c = 4*x. Solve -5*z - 4 - 6 = c for z.
-2
Suppose 0 = 2*i + j - 169, 49*j + 390 = 5*i + 45*j. Solve -10*p + 32 = i for p.
-5
Let x be 15/4 + (-2)/(-8). Let b be (-2)/x*(4 - 8). Let j be (5 - (7 + -4)) + 4/b. Solve 4*m + j + 0 = 0 for m.
-1
Suppose -z - 34 = -r + 4*z, 2*r - z = 104. Let l = 12 - r. Let y = 42 + l. Solve y = m - 0 - 2 for m.
2
Let x be ((-26)/(-12))/13*21*2. Let b(z) = -9*z + 35. Let a(c) = -8*c + 35. Let v(y) = 4*a(y) - 3*b(y). Let l be v(x). Solve l = -0*d - d - 5 for d.
-5
Let y be 5*((-92)/20 + 5). Let x(u) = -u**y - 1 + 4*u + 2 - u**3 + 2*u + 2. Let w be x(-3). Solve -3*m + 2*m - w = 0 for m.
-3
Let j be 9/12 - 340/(-80). Suppose 0 = -j*x + 2*x + 3*a - 12, 4*x + 6 = 2*a. Solve -x = -3*q + 2 for q.
1
Let d = -232 + 236. Suppose 0 = j + 4*p - 5*p - 8, 3*p = 5*j - 36. Solve 0 = d*i + j*i for i.
0
Suppose -4526 - 3984 = -442*x + 3776 - 794. Let z = -2 - -2. Solve -9*j - x - 10 = z for j.
-4
Let f(n) = -45*n - 175. Let m be f(-4). Suppose 35 = m*o + b - 18, -3*b + 59 = 5*o. Solve -o*a + 34 = -6 for a.
4
Let a(v) = -23*v**2 - 465*v + 13. Let c be a(-20). Solve 11*i - c = -168 for i.
-5
Let r(p) = -p**3 - p**2 - 3*p + 3. Let f be r(0). Let x be ((-6)/(-15) + 6/(-15))/f. Solve 3*n + n + 8 = x for n.
-2
Let m be 7/(112/572) - (-1)/4. Solve 0 = -3*v + 27 - m for v.
-3
Let q(l) = l**2 - 579*l - 5709. Let f be q(-10). Solve -10*y - 141 = -f for y.
4
Let t = -12702 - -12711. Solve -3*z - 12 = t*z for z.
-1
Let o(c) = c**3 - 3*c**2 - 5*c + 6. Let z be o(4). Let h be 14 + -1 + -4 + 6 + -4. Solve 9 = z*i + h for i.
-1
Let y be (0 - 3) + 13 + -4. Let i be (-9)/y + 18/4. Solve 2*o - 7 = i for o.
5
Suppose 3*c = -2*j + 84 - 4, -3*j = 2*c - 55. Let x = c + -30. Let p be (0*2/8)/x. Solve p = -m - 3 for m.
-3
Let l(x) = 267*x + 4055. Let b be l(-15). Solve 27 = -23*a + b for a.
1
Suppose 48 = 17*h + 14. Suppose -h*d - 486 = -492. Solve -9 = -d*u + 3 for u.
4
Let t(u) = u**3 + 13*u**2 + 28*u + 194. Let a be t(-12). Solve -66 = -a*f - 68 for f.
-1
Let b be (-3)/6 - (-11)/2. Suppose 12 = 4*g + b*f, 2*g - 6 = 4*f - f. Let o be 90/570 + (-24)/152. Solve g*a = -o*a + 3 for a.
1
Let x be -2*(0/4 - -46). L