.
-3
Suppose -2*x + k + 162 = 0, -11*k + 6*k = x - 114. Solve -67*t - x = -25*t for t.
-2
Let r = -789 + 1106. Suppose 273 + r = 59*f. Solve f*d - d = 36 for d.
4
Let c be (-32)/(-6)*414/92. Solve 24*j - c = 72 for j.
4
Suppose -5*u - 3*s = -9, 7 = -u - s + 8. Let q(z) = -z + 9. Let r = 12 + -5. Let h be q(r). Solve h*j = -u - 1 for j.
-2
Suppose -2*k = x, k = 5*k + 5*x + 6. Let r be (106/34)/k - (-38)/(-323). Solve -r*v - 20 = 2*v for v.
-4
Suppose 2*j + 16 = -2*h, 2*h + 2*h = 3*j - 4. Let s(q) = -q + 1. Let l be s(j). Suppose -3*b + 4*f = 14, -b + l*f = 4*b + 15. Solve -3*t = b*t + 25 for t.
-5
Suppose c = -3*s + s + 22, 0 = 5*c - 3*s - 84. Solve 12*y = 9*y - c for y.
-6
Let s(r) = -135*r + 6217. Let j be s(46). Solve -j = -10*h + 23 for h.
3
Suppose 3*l + 4*h + 13 = 8, 5*h = 2*l + 34. Let t be (16/4)/((-7)/l). Solve -118*w + t = -119*w for w.
-4
Let r be 1*(1/(-2) + 468/(-24)). Let i be (4/r)/((-5)/25). Solve -2 - i = -a for a.
3
Let r be 5*1 + (20/4)/(-5). Let h be (-5 + 4)/((-1)/2). Suppose -j + 3*s - h = 0, 5*j + 5*s - 66 = s. Solve -y = r*y + j for y.
-2
Suppose -4*v + 26 = -2*z, 3*z + 17 = 3*v + 4*z. Let k(h) = -6*h + 42. Let a be k(v). Solve -r = -a*r for r.
0
Let q(y) = 3*y**2 + 11*y. Let h be q(-4). Suppose h*g - 1 - 3 = 0. Let v be 7 - (1 + (-7 - -10)). Solve v*c - g = 2 for c.
1
Let r be -1 + 4/(2 + 0). Suppose -9*g - 2829 = -2883. Solve g*v - r = 5*v for v.
1
Suppose 5*i + q = 17, q - 5 = -4*i + 2*i. Suppose j + j + 3*g = 15, g = i*j + 5. Solve 3*y + 3 = -j for y.
-1
Let d = 7372 + -7367. Solve -21*p + d = -58 for p.
3
Let l(q) = q**3 + 30*q**2 + 18*q - 287. Let u be l(-29). Solve 0 = -u*b + 39*b + 7 for b.
-1
Suppose 5*g - 346 = -3*c, 21*c = -3*g + 25*c + 254. Solve 86*a - 49*a = -g for a.
-2
Let u = 2891 - 2887. Solve -23*q + u = -19*q for q.
1
Let o(c) = -58 - 63 + 37 - 11308*c + 11305*c. Let u be o(-29). Let d be (-1)/(8/(-6) + 1). Solve u = d*z - 2*z for z.
3
Let q(z) = -297*z - 247. Let c be q(-1). Solve 13*r - c*r = -185 for r.
5
Let w(k) = -k**3 + 13*k**2 - 16*k + 157. Let a be w(11). Solve -41*r = -a - 23 for r.
6
Let r be 4/2 + -1*(-3)/3. Suppose 6*p - 4*p = -r*b, -2*b = 3*p. Suppose 0*a - 3*a + 4*t + 43 = 0, -3*a - 4*t = -11. Solve p*o - a = -3*o for o.
3
Let z(t) = 17*t + 123. Let x be z(-7). Suppose -7 = -x*b - 3*d, -3*d = 2*b + 2*d + 7. Suppose -2*w = -5*r + 41, -4*w = -2*r + 5 + 21. Solve b*j - 9 = r for j.
4
Suppose 0 = 16*u - 77*u + 671. Let h(c) = -c**2 - 9*c + 12. Let j be h(-10). Suppose 2*b - 2*n = -j, 2*n = -4*b + n + u. Solve -4*v = -b*v - 2 for v.
1
Let m be 40/6*(-11916)/(-6620). Let a be 1 - (-2 - -5)*-1. Solve 8*q - a*q = -m for q.
-3
Suppose -3*k = -2*k + 2, 216 = -4*s - 4*k. Let i = s - -50. Let t be i/10 + (-30)/(-25). Solve d = -t + 2 for d.
1
Suppose 0 = 8*b - 7703 + 7623. Solve 134*u + b = 136*u for u.
5
Suppose -2295 = -14390*s + 14345*s. Solve 6*z = -99 + s for z.
-8
Let u(k) = 218*k**3 - 10*k**2 - 13*k - 4. Let n be u(-1). Let a be (1 - n/(-15))/(56/(-140)). Solve -3*c - a = -28 for c.
-2
Let v be (-118)/8 - 3/12. Suppose -47 = -3*a - 2*g + 22, -46 = -2*a + g. Let k = v + a. Solve -3*x = 4 + k for x.
-4
Suppose -2*r - 2*t = t + 155, 0 = -2*r + 2*t - 150. Let d be (r/24*-3)/(10/20). Solve -d*y + 15*y = -4 for y.
1
Suppose 2*f = 2*z, -5*f + 3*z + 4 = -0*f. Let c(p) = 6*p + 42. Let o(y) = y**2 + 2*y - 30. Let b be o(-6). Let a be c(b). Solve 0*m + a = f*m for m.
3
Let p(y) = -y**3 + 5*y**2 + 9*y - 13. Let o(k) = -k**2 + 13*k - 16. Let h be o(11). Let i be p(h). Let s be 6/30 - 1/i. Solve -3*w + 8*w + 15 = s for w.
-3
Let a be 30/14 + (-2)/14. Suppose 0 = 5*d + a - 22. Let g(t) = -2*t + 12. Let w be g(d). Solve -s - w = 1 for s.
-5
Let p = 407 + -717. Let g = p - -311. Solve -6*w = 25 - g for w.
-4
Suppose 1 = -3*z + q, 1 = 274*q - 273*q. Solve z = 51*m - 50*m + 3 for m.
-3
Let m(b) = b - 54. Let z be m(61). Solve z*x = -6*x + 39 for x.
3
Let w be ((-3969)/(-735))/((-3)/(-15)). Solve -3*a + 42 = w for a.
5
Let s be (140/(-15))/(-1)*(-72)/(-32). Solve -18*j = -11*j + s for j.
-3
Let k(v) = -3*v - 60. Let z be k(26). Let d be z/(-9) - (28/12 + -2). Suppose j + d = 27. Solve -3*x = -6*x + j for x.
4
Suppose 0 = -5*m - 4*y + 18, 2*y + 3 = -m - y. Suppose -m*g + 48 = -12. Solve -9*o + g = -4*o for o.
2
Let h be 27/45 - (4 - 616/40). Let q be (-2 - -36)/(-2)*-1. Suppose -h*b = -q*b. Solve u + b = -1 for u.
-1
Suppose 0 = 24*o - 546 + 66. Solve -6*g = 32 - o for g.
-2
Let c(n) = n - 5. Let x be c(8). Let y(j) = 2*j**3 - 2*j**2 + 4*j - 3. Let t be y(x). Suppose 2*f - 11*f + t = 0. Solve d + f = -0*d for d.
-5
Let h = 164 - 161. Let w be (-3 + h + -2)/((-4)/8). Solve w*a - 2 = -10 for a.
-2
Let x = 865 - 860. Suppose 5*r - 5 = -j, 0*j = -j + x*r + 15. Solve 0 = -55*n + 50*n + j for n.
2
Let s = -6123 - -6123. Solve m + 28 - 26 = s for m.
-2
Suppose -5*h - 15 = -s, -29*h - 23 = -5*s - 30*h. Solve 1009 = -s*o + 1024 for o.
3
Let u(k) = k**2 - 7658*k - 92031. Let m be u(-12). Suppose 0 = -v - 3*v - p, 5*v + 4*p = 0. Solve 3*y + m = -v*y for y.
-3
Let f(q) = -q**3 - q - 14. Let d be f(0). Let t be 0 + (4/(-14) - 60/d). Solve w + t*w + 5 = 0 for w.
-1
Let s be -5 + -248*(-2)/16. Solve -s = -11*o - 2*o for o.
2
Suppose -5 - 8 = -n. Suppose 5*j + 2*q - 29 = 0, 4*j - 2*q - 2*q = 40. Suppose 2*b - 3*d = -6, 0 = 5*d - j*d + 4. Solve b = 4*l - n + 5 for l.
2
Let w(x) = 2*x**3 + 2*x**2 + 4. Let t be w(-2). Let z be (-1)/((12/16)/(6/t)). Solve -z*l + 4 = -6 for l.
5
Let m(r) = -r**2 - 8*r - 5. Suppose -y - 12 = x, -2*x + 3*y = x + 6. Let a be m(x). Solve 1 = a*i - 3 for i.
2
Let q = -91 - -127. Let b = 38 - q. Suppose b*a = -2*a. Solve w + a = -4 for w.
-4
Let w be 0/(0 + 4 - 5). Suppose 3*g + 2*q = 47, w = -4*g - 4*q - 0*q + 68. Let b be (-1 + 4)/(-9) + g/3. Solve -3*o + b = 19 for o.
-5
Let s be 110/(-1375) + 248/(-25). Let w = -22 - -40. Let k = s + w. Solve -3*c - 5 = -k*c for c.
1
Suppose -3*d = d - 48. Let b be 110/(-15)*246/(-451). Solve -l = -b*l + d for l.
4
Let w be (-2)/(-8) + 38/8. Suppose -263 - 338 + 50 = -29*p. Suppose -4*v + 4*k = w*k - p, 4*k + 20 = 0. Solve -2*n - v = n for n.
-2
Let s be (462/504)/((-6)/(-216)). Solve 40*r = s*r + 42 for r.
6
Suppose -2*n = -c - 37, 3*n - 34 = -0*c + c. Let m = 42 + c. Let d = 2 - m. Solve d + 13 = 4*u for u.
4
Let a be 0/(-3)*(23 + -27 - 25/(-5)). Solve -8 = -2*r - a for r.
4
Suppose -b = 5*y + 71, 2*b - b + 2*y = -86. Let r = b + 98. Suppose 4*q + 8 = 2*z + 68, z + r = 0. Solve q = 5*p - 6 for p.
4
Let g = 36 + -37. Let y be (-2 - (0 - 5))/(g/(-2)). Let b be 323/57 + 2/y. Solve -l + b*l = 10 for l.
2
Let u = -2306 - -2309. Let h(v) = v**2 + 6 - 5*v - 3 + v. Let q be h(u). Solve q*o = -4*o for o.
0
Let w = -64 - -66. Let p = 234 + -233. Solve 3 = w*y - p for y.
2
Let n be 10*(4/10 + 88/80). Let v = 176 + -160. Suppose -8*i = -4*i - v. Solve l + n = -i*l for l.
-3
Suppose -4*c - 4*n + 6801 - 1925 = 0, 8 = 4*n. Solve -5*y = c - 1247 for y.
6
Let d be (64 + -64)/(-2 + 15). Solve d = -55*w + 62*w for w.
0
Let y(a) = a**2 + 11*a - 6. Suppose 0 = 4*d + 44. Let j be y(d). Let q(z) = -5*z - 27. Let c be q(j). Solve 0*g - c*g + 15 = 0 for g.
5
Let s = -44 + 43. Let o be 1*(-8)/(-8)*(s - -1). Suppose -5*t + 10 = -o. Solve -3*h = t*h for h.
0
Suppose -39 = -6*t - 9. Suppose 0 = -5*l - 5*u + 160, -5*l = -t*u + 21 - 181. Solve -2 = -34*c + l*c for c.
1
Let t be (-17 + 2)*(-1)/6*2. Let r = 212 + -208. Solve -3*b - r = -t*b for b.
2
Let v = 60 - 56. Suppose 16*r - 14*r = -v*u + 14, -u = 2. Solve -2*h + 3*h = r*h for h.
0
Let k = 6967 - 6967. Solve k = -27*v + 19*v - 40 for v.
-5
Let j = 23 + -19. Suppose -5*g = -j*g + 2. Let t be (-5 - -7) + 4/g. Solve t = -3*b + 2*b for b.
0
Suppose -53 = -13*i - 14. Suppose i*l + 9 = -6*l. Let n be (24/(-3))/4*l + -2. Solve n = -3*r + 21 - 6 for r.
5
Let b = -23 - -15. Let d(s) = s**3 + 9*s**2 + 8*s + 4. Let z be d(b). Suppose 5*k = -0*k - 3*f, -z*f - 35 = -5*k. Solve 6 = k*g + 3 for g.
1
Suppose 0 = -5*r - 2*c + 465 - 96, 0 = -4*r - 4*c + 288. Let s = r + -75. Let x be 2 - (0 - s - (-12 - -12)). Solve 12 = x*a + a for a.
4
Suppose 4*h = m + 160 + 233, -3*h - m + 300 = 0. Suppose 0 = 5*p, 5*p - 9 = -2*q + h. Solve -64 + q = -2*v for v.
5
Let a(l) = -4*l + 90. Let v be a(23). Let y be (-190)/v*(-10)/(750/(-45)). Solve 0 = 54*f - y*f + 3 for f