-163. Let r be (-2 + -1)*(b/(-3) - 0). Solve 2 = r*t - t for t.
2
Let n = 265558 - 265546. Let p be 19 - -2*(-1 + 0). Solve -p*j + n = -21*j for j.
-3
Let s be (-2 - (0 + -1))*25. Let f be -4 - ((-28 - 3) + 2). Let t = f + s. Solve t = -g + 6*g + 20 for g.
-4
Suppose -2*s + 35 = 5*p, 0 = 2*p + s + 4*s - 35. Suppose 169 = p*n + 144. Solve n = u - 0 for u.
5
Let p(q) = -7*q**3 - 148*q**2 - 26*q - 33. Let w be p(-21). Solve 8*j - w = 26*j for j.
-4
Let j be (1 + (-10 - -9))/3*2/4. Solve j = 1139*z - 1144*z + 40 for z.
8
Let t = 131 - 23. Suppose 32*s - 41*s + t = 0. Solve 4*q + s = q for q.
-4
Suppose -5*n + 6*a = 8*a - 269, 0 = -4*a + 8. Solve 50*x - 3 = n*x for x.
-1
Let y be 4/((-1 - -2)*-1). Let d = -1 - y. Suppose 46*k + 2450 - 2634 = 0. Solve -k = 4*t - d*t for t.
-4
Suppose 0 = 10*a + 141 - 771. Suppose 3*o = -5*f + 23, 4*o = o + 3*f + a. Solve 17*s = 13*s - o for s.
-4
Let u(x) = 13*x - 65. Let d be u(5). Let j be (d/(2 + -3))/(24/(-12)). Solve j = -5*z + 2 + 18 for z.
4
Suppose 12*c - 8*c + 15 = -5*f, 0 = -5*f - 2*c - 5. Let x(d) = -10*d + 14. Let z be x(f). Solve -b = z*b + 5 for b.
-1
Let v(s) = s**3 + 7*s**2 + 76. Let c be v(-8). Solve -100 = c*q - 76 for q.
-2
Let u be ((-32)/(-20))/((-1)/75). Let w = u + 120. Solve w*q + 10 = -2*q for q.
-5
Let k(y) = y**2 - 8*y + 2. Let l be k(7). Let f be l*4*(-17)/68. Solve f*b - 2 + 17 = 0 for b.
-3
Let q be (-1)/((-82)/(-42) + -2). Suppose 36 = 8*v - 11*v. Let l = v + q. Solve -5*f = -6 - l for f.
3
Suppose 5*t = 17 + 28. Suppose 6*y = t + 3. Let w(x) = 2*x - 10. Let q be w(10). Solve 3*j - q = -y*j for j.
2
Suppose v - 7 = -2*h, 5*h - v + 6 = 6*h. Solve -12*m - 47 = h for m.
-4
Let p(w) = -w**2 - 11*w + 14. Let l be p(-12). Suppose -o + 6*c = l*c, -3*c = 2*o - 11. Suppose -45 = a - o*a. Solve -a = 3*s - 6*s for s.
5
Suppose 3*c - 34 = -4*z, -25*z + 30*z = 3*c + 2. Let h(o) = -o + 3. Let m be h(5). Let t be -1 + -1 + (-20)/m. Solve 2*k - c*k - t = 0 for k.
-2
Let s = 143 + -83. Suppose 2*o = -3*o + s. Let k be -2 + 1 + -1 + 2 + 4. Solve -o = v - k*v for v.
4
Let l = 33 - -144. Suppose -4*w - 177 + l = 0. Solve w = 4*q - 8*q + 4 for q.
1
Let y = 23684 + -23684. Solve y = -12*x + 27 + 69 for x.
8
Let m be ((-5)/(-2))/(23 - (-31521)/(-1372)). Solve -43*x + m = -160 for x.
6
Let c(g) be the first derivative of -g**4/4 - 10*g**3 + 14*g**2 - 75*g + 206. Let a be c(-31). Solve 2*z = 11*z - a for z.
2
Let w be (-314)/(-8) + 3*1/(-12). Let h = -43 + w. Let j = h - -10. Solve -m + j = m for m.
3
Suppose -n + 2*o - 9 = -0*o, 0 = 3*n + 4*o - 3. Let y be n/2*(-2)/(-1). Let p(j) = -5*j - 10. Let c be p(y). Solve -c*v - 1 + 21 = 0 for v.
4
Let z be (-240 - -223) + (-34)/(-2). Solve 107*c - 82*c - 25 = z for c.
1
Suppose 2*d - 3 = d + 3*r, -d + 3 = -5*r. Let b(w) = 2*w**3 - 12*w**2 - 5. Let m be b(5). Let s = -53 - m. Solve s + d = x for x.
5
Suppose 8 = 2*x - r - 31, 0 = 4*x - 3*r - 79. Suppose x*k + 10 = 21*k. Solve 0*y - y = k for y.
-5
Let m = -299 - -362. Solve 27*a - m = -36 for a.
1
Let b = -13686 - -13716. Solve 210 = b*d - 60*d for d.
-7
Let q(v) = 4*v - 1 - 14 + 1804*v**2 + 0*v - 1803*v**2. Let o be q(-7). Solve o*i + 10 = 8*i for i.
5
Let n = 201 + -163. Let r be n/7 + (-4)/(-7). Solve -r*p = -2*p for p.
0
Let a(b) = 4*b**2 - 3*b + 2. Let l be a(1). Suppose -2*x - 15 = x, -l*h + 2*x = -22. Solve 5 = -f - h*f for f.
-1
Suppose 344 - 302 = 3*q + 2*p, -2*q = 4*p - 28. Solve 5 - q = -9*o for o.
1
Let k = -247 + 250. Suppose 11 = -v + 3*l, -k*v - 6*l = -9*l + 3. Solve 0 = v*o - 0*o for o.
0
Let k(a) be the first derivative of 7*a**2/2 - 50*a + 7. Let g be k(8). Suppose -g = -n - 3*x - 1, 5 = 5*x. Solve p - n - 3 = 0 for p.
5
Let a = -61 - -84. Let m = -19 + a. Suppose 3*g = o + 34, -g - m*o - 6 = -0*g. Solve f = -4*f - g for f.
-2
Let z be ((-20)/(-16))/(600/80) + 2333/6. Solve -4*w + 385 = z for w.
-1
Let w(t) = t**2 + 7*t - 65. Let r be w(-13). Suppose 3*g - 64 = -r*g. Solve -g*m - 4 = -12 for m.
2
Let m(n) = -5 - 5 + 4 + n**3 - 6*n - 6*n**2. Let y(u) = 3*u**2 - 6*u - 2. Let x be y(-1). Let z be m(x). Solve -2*s = -3*s - z for s.
-1
Suppose 12*o = 14*o + 32. Let g = o + 28. Suppose -20 = -u + 4*r, -u = 3*r - 4 + g. Solve -u*j + 2 = -2*j for j.
1
Let k(t) = 42*t**2 + 19*t + 74. Let x be k(-6). Let b be (-4)/22 + x/352. Solve 0 = -0*c - b*c - 16 for c.
-4
Let g = -263 + 261. Let m be 0/((-1 + 0/(-2))*g). Solve -4 = -2*n - m for n.
2
Suppose 2*r = -4*u + 42, r + 0*u - 3*u = 6. Suppose 4*w + 5 = -7, 0 = 3*k + 2*w - r. Solve 11*q - k*q = 16 for q.
4
Let v(k) = 162*k - 51. Let j be v(-2). Let o = j - -377. Solve 3*d - d + o = 0 for d.
-1
Let y(x) = -x**3 + 21*x**2 + 74*x - 24. Let w be y(24). Solve -20*v - 4 = -w*v for v.
1
Let a(t) = -433*t - 41568. Let k be a(-96). Let n(g) = -g**2 - 4*g - 6. Let r be n(-4). Let p be -2 - (2 + -3 + r). Solve 0 = -z - p - k for z.
-5
Suppose 2*a = 3*u + 62, 2*u + a + 35 + 18 = 0. Let k(r) = 4*r + 108. Let o be k(u). Solve o*y - 9 = 9*y for y.
3
Let h be (0 + -2 - -3) + 0 + -2. Let d be (-16)/6*(h/(-4) + -1). Solve d*w = w - 5 for w.
-5
Let v = 107 - 101. Let q(t) = 4 - v - 6 + 2 + 3*t. Let m be q(3). Solve 0 = 3*d - 9 - m for d.
4
Let j(t) = 16*t + 4. Let x be j(-12). Let a = 192 + x. Solve 0 = -3*i - 8 - a for i.
-4
Suppose 13*w = 40 + 80 - 29. Solve 0 = 40*g - w*g - 132 for g.
4
Suppose 3988*i = 3972*i + 768. Solve 6*u = i - 12 for u.
6
Suppose -d + 19 = 5*p, 4*p + 38*d = 36*d + 14. Solve 103*j - 102*j = -p for j.
-4
Let c = -2 + -1. Let h be (4 - 3)*(c + -4). Let r be (-4 - -2) + (-5 - h). Solve 3*d + 15 = -r*d for d.
-5
Let q = 8960 + -8703. Solve 263*s - 18 = q*s for s.
3
Let p be -4*8/24 - 1540/(-30). Solve 6*h + p = -4*h for h.
-5
Let h = -2296 + 2301. Solve -h*b - 846 = -836 for b.
-2
Let k = -12 - -20. Suppose 329 - 329 = 18*v. Solve -k*s + 4 + 12 = v for s.
2
Let u = 1674 + -1666. Solve 4*x + u*x = -84 for x.
-7
Suppose 0 = -4*t - 61 + 193. Suppose 0 = -4*q - 4*n + 68, 3*n = 3*q - 2*q - t. Solve 17*l - q*l - 20 = 0 for l.
-5
Let g = 1591 + -1492. Solve 30*z - 19*z = -g for z.
-9
Let z(m) = -m**3 - 10*m**2 - 10*m - 9. Let w be z(-9). Suppose w = 32*h + 56 - 184. Solve -h = a - 0 for a.
-4
Let q(g) be the first derivative of g**4/4 - 2*g**3 - 3*g**2 + 10*g + 15. Let p be q(7). Suppose p*d - 16*d = 3. Solve 0*a - d = -3*a for a.
1
Suppose 30*a - 832 = -22*a. Solve 6*p = a*p + 50 for p.
-5
Let m = -73 + 71. Let b be (0/(-3 - -2))/m. Suppose -5*a - 3*o + 40 = b, -5*a - 2*o + 35 = -0*o. Solve a*f - 3*f = 10 for f.
5
Suppose 137*o - 143*o = -228. Suppose 36*u - o*u = 0. Solve -2*p - 16 + 12 = u for p.
-2
Suppose -5*r + 5*x - 7 + 12 = 0, -4*r - x = 1. Suppose -5*d = -i - 96, r*i - 2*i - 32 = -2*d. Solve w = 6*w - d for w.
4
Suppose 928*g - 932*g - 2*d + 22 = 0, -2*g - 2*d + 6 = 0. Solve -12*v = -g*v + 16 for v.
-4
Suppose -u + 4*i = -5*u + 4, 3*u - 5*i - 19 = 0. Suppose 25*h - 12 = 22*h - u*v, -4*v + 4 = 0. Let t(c) = 3*c**2. Let d be t(1). Solve 0 = h*o - d for o.
1
Let j be 29 - (-6 + 3 - 2). Suppose -j = 4*u - 74. Solve 0 = -8*m + u*m - 2 for m.
1
Suppose 6*f = 2*f + 2*w + 26, f + 7 = 5*w. Let h = 90 + -90. Solve 2*u + f - 14 = h for u.
3
Suppose 5*j + 0 = 2*n - 29, -3*j - 7 = 4*n. Let z(t) = -410*t - 1636. Let c be z(-4). Solve n*x - c*x = 10 for x.
-5
Let c = -512 + 496. Let a(u) = u**3 + 14*u**2 - 34*u - 32. Let w be a(c). Solve w = -2*b + 5 - 13 for b.
-4
Suppose -4*v + 2*v + 136 = 0. Suppose -v = 3*x - 20*x. Solve -6*f = -5*f + x for f.
-4
Let u(w) = -46*w + 460. Let x be u(10). Solve x = -2*h - 10*h for h.
0
Let c(q) = 2*q**3 + 13*q**2 - 30*q - 3. Let h be c(2). Let s = 38 + -27. Solve 9 + s = -h*u for u.
-4
Let n = -10 + 25. Let w(v) = v - 6. Let p be w(8). Suppose -p*a - n = -5*d + 3, 0 = 3*d - a - 11. Solve -u - 5 = -d for u.
-1
Let q(h) = -2*h + 36. Let c be q(15). Suppose -4*b + 5*b = c. Suppose 8 = 7*z - b. Solve -3*l + 5 = z*l for l.
1
Let i = -101 + 132. Suppose 0*d - d = 2*f + i, 0 = -2*f - 4*d - 22. Let a(n) = -n**3 - 18*n**2 - 19*n - 28. Let k be a(f). Solve -k*o = -o + 25 for o.
-5
Suppose -81*o + 93 = 71 - 221. Solve -32*s - 116 = -o*s for s.
-4
Let d(u) = 2*u**2 + 26*u - 42. Let i(s) = -s**2 - 25*s + 41. Let k(f) = -2*d(f) - 3*i(f). Let c be k(21). Solve -4*a - c - 17 = 0 for a.
-5
Suppose -142*m + 6419 = -11*m. Solve 2299*w - m = 2292*w for w.