a = 5*s + 1 for s.
-2
Let u(i) = 9*i - 13. Let b be u(2). Let s = -24 - -47. Let l = 27 - s. Solve l = -3*k - b for k.
-3
Let o be ((-3147760)/(-96))/73 + (-1)/6. Solve 441*k - o*k - 40 = 0 for k.
-5
Let r(d) = 10*d + 18. Let k be r(8). Let h = -93 + k. Solve -8 = -u + h*u for u.
-2
Suppose -102*x + 2405 = -37*x. Solve 0 = -3*f + x - 25 for f.
4
Let j = -812 + 820. Solve j*p = 16 - 8 for p.
1
Let w = 174 - 122. Let z = 54 - w. Solve 6 - z = -4*o for o.
-1
Let n(j) = 2*j**2 + 16*j + 33. Let c be n(-3). Suppose -2*w + 8 = -5*z, w - 4*z - 28 = -c*w. Solve 5 = -w*b + 4*b for b.
-1
Let d be ((0/(4 + -3))/(-2))/(12/6). Solve o + 255 - 256 = d for o.
1
Let o(n) = -n**3 + 2*n**2 - 9*n - 1. Let h be o(0). Let p(q) = -11*q**3 + 7*q**2 + 9*q + 2. Let s be p(h). Solve -s*u = -2*u for u.
0
Let s = -263 + 266. Suppose 2*p - 10 = -2*q, s*q = -2*q - 3*p + 35. Solve -5*j + 10*j = -q for j.
-2
Suppose 0 = 5*o + 5, -2*j - 2*o = -3*j + 4. Suppose 2*r = 3*a + j*a - 4, -a + 2 = 0. Solve -p + r = -2*p for p.
-3
Let y be 28 - (20 - 4)/(-8). Let m(a) = 9*a - 260. Let c be m(y). Solve 25 = -5*w + c for w.
-3
Let d = 4039 + -4024. Solve -d*j - 34*j + 196 = 0 for j.
4
Suppose -2*z = -3*s + 28, 0 = -5*s - 4*z + 253 - 243. Solve s*m + 72 = 24*m for m.
4
Suppose -h + 86 + 184 = 5*z, 4*h + 192 = 4*z. Solve -z*f + 45*f = -40 for f.
5
Let a = -227 - -231. Let l be (a - (-38)/(-4))*(-2 + 0). Solve -8*z + l = 43 for z.
-4
Let t be -13 + 14 + -4 + -4 + 10. Let l(q) = -3*q**2 - 2*q + 9. Let p(c) = -c**2. Let g(a) = l(a) - 4*p(a). Let d be g(t). Solve -d = -0*j + 3*j for j.
-4
Let o(u) = 7*u - 1. Let n be o(3). Let v(h) = -h**3 + 19*h**2 + 462*h + 4. Let x be v(33). Suppose x*c - n = -12. Solve -3*j + c*j = 0 for j.
0
Let h = -696 + 786. Solve -3*m - 102 = -h for m.
-4
Suppose -5*w - y + 17 = 0, -w + y - 3 = -16. Solve -139 = w*l - 104 for l.
-7
Suppose 0*o + 2*t = -5*o + 119, 3*o = -4*t + 77. Suppose -4*u + 35 - o = 0. Solve -u = 4*k - 7 for k.
1
Let p = -24424 - -25261. Solve -p*o + 821*o = 96 for o.
-6
Let y = -5341 - -5356. Solve 8 = -13*u + y*u for u.
4
Suppose -48*s + 13 = 3*j - 46*s, j - 3*s = 8. Solve j*y + 24 = y for y.
-6
Suppose -2*h - n = 1504, 5*h + 59*n + 3790 = 64*n. Let y = h - -757. Solve -4*p + 1 = -y*p for p.
1
Let j be (1/(-2))/((-1)/4). Suppose 0 = -12*b + 13*b. Let g(s) = -3*s**2 - 2*s. Let y be g(b). Solve k - j*k + 2 = y for k.
2
Let f be ((-150)/(-20))/((-5)/(-10)). Suppose -3*k = -k + 2*p + 10, 3*k - 3*p - f = 0. Solve k = 3*l - 8 + 2 for l.
2
Let m = -7161 - -7229. Solve g = -m*g for g.
0
Let w(r) = -r + 1. Let n be w(-6). Suppose n*y - 12 = 4*y. Suppose 55 = 5*x - 5*t, -2*x - 10*t - 13 = -5*t. Solve x*s = 5*s + y for s.
4
Let l be (-552)/(-156) + (-12)/(-26). Let z = -3 - -8. Let v = z - -15. Solve v = -0*y + l*y for y.
5
Suppose 4*i - 3*t - 96 = 0, 3*i + 3*t + 27 = 78. Solve i - 85 = 8*l for l.
-8
Let v = 249 + -245. Suppose 0 = -y - 0*y - v*z + 22, 4*y - 5*z = -17. Let h = -1 + 1. Solve -y*x = -h*x - 6 for x.
3
Suppose v = 2*v, -2*g = -5*v - 124. Suppose m + 5*b = 34, 4*m - g = 3*m + 2*b. Suppose -m = w - 62. Solve -8 = w*q - 6*q for q.
-4
Let c be (-1 - -5)*185/10 - (20 + -19). Solve 11*p + c = 117 for p.
4
Suppose -234*j + 239*j = 6840. Let s be 4/(-14) + j/133. Solve 5*w = -s - 15 for w.
-5
Let q = -257 - -296. Suppose -20*l + q = -121. Solve -t + 28 = -l*t for t.
-4
Let x(b) = 2*b - 9. Let o be x(7). Let h be (-1)/o + 63/15. Suppose -218*u + 21 = -211*u. Solve y - h = -u for y.
1
Suppose 3*a - 75 = -3*s, 0 = 7*s - 3*s + 16. Let g = a - 28. Let o be 1/g - (0 - -1). Solve -2*k + 5 + 3 = o for k.
4
Let t be -1 - (-5)/(30/66). Let v(w) = -7*w + 70. Let m be v(t). Solve m = -o - 1 - 4 for o.
-5
Let c = -132 + 152. Let d(o) = 3*o - 52. Let j be d(c). Solve j*g + 10 = 3*g for g.
-2
Let q(d) = 3*d + 60. Let p be q(-19). Suppose p*a - 3*h = -6, 13 = 5*a + h - 1. Solve a*f = -0*f for f.
0
Suppose -2*c + 2844 - 1022 = 5*r, -4*c + 716 = 2*r. Solve 20 = 361*t - r*t for t.
-4
Let d be ((-3 - -3)/3 - 2)*-1. Let g be 15/(-10)*d/3. Let u = 2 - g. Solve u*v = 16 - 1 for v.
5
Let v(j) = 2*j + 39. Let n be v(-16). Let t(k) = 0*k**2 - 10 - n*k - 2*k**2 - 9*k + k**2. Let w be t(-15). Solve -19 = -w*p - 4 for p.
3
Let k(s) = -s**2 + 23*s + 376. Let g be k(0). Solve g*w = 400*w + 168 for w.
-7
Suppose 41*u - 94 - 83 = -13. Solve 0 = 28*h - 32 + u for h.
1
Let l be ((-5)/(-2))/(120/96). Let j be (-120)/(-65) + l/13. Solve j*t + t = 12 for t.
4
Let q(z) = z**2 - 10*z + 20. Let m be q(8). Suppose -2*y + 16 = 2*f, -m*f - 10 + 38 = 3*y. Suppose f*o = 14*o - 60. Solve 2*h - 4*h - o = 0 for h.
-3
Let l = 180 - 91. Suppose -93*u + l*u = -4. Solve -17 = 4*z - u for z.
-4
Let t = -284 + 228. Let p be ((-3)/(-7))/(2*(-4)/t). Solve -p*v + 19 - 10 = 0 for v.
3
Let y(w) be the first derivative of w**4/4 - 11*w**3/3 + w**2/2 + 3*w + 27. Let l be y(11). Let o be l + (-2 - (-12)/4). Solve x - o = 4*x for x.
-5
Suppose -9*a + 43 = 7. Let x = -88 + 105. Suppose -2*p = -5 - x. Solve p - 27 = -a*g for g.
4
Let o = -27 + 30. Suppose 0 = o*v - 5 - 1, 28 = 2*j + 5*v. Let r(a) = 3*a + 43. Let n be r(-14). Solve 5*i + n = -j for i.
-2
Let i(p) = 39*p - 3. Let j be i(3). Suppose -5*f - b = -240, 2*b + 2*b - j = -2*f. Let r = f - 45. Solve -3*v = r*v for v.
0
Let u(d) = -d + 70. Let z be u(55). Solve 15*m - z = 20*m for m.
-3
Let y = 90 + -61. Suppose -39 = -0*x - 5*x + r, -3*x - 5*r + y = 0. Solve 3 = -x*c + 5*c for c.
-1
Let c be -6*(0 + -11)/22. Solve 27*b + 150 = -c*b for b.
-5
Suppose 5*t - 55 = -4*a - 5, 0 = 4*t - 3*a - 40. Suppose -2*p - u + 15 = 0, -p - 5*u = -2 - t. Solve 0 = 2*h + h - p*h for h.
0
Let q = 2695 + -2656. Solve -46*u + 21 = -q*u for u.
3
Let j be 25 + (3 - (4 - -1)). Let d = j - 58. Let k = d - -43. Solve 3*l - k = l for l.
4
Let j(o) = -o**2 - 44*o + 54. Let u be j(-45). Let w be 17/u - (-1)/9. Solve -9 = -w*b - 1 for b.
4
Let o(y) = -y**3 - 9*y**2 - 5*y + 28. Let r be o(-8). Suppose r = -3*g + 6*g - 2*f, -3*g - 2*f = 4. Solve 3*d + 2*d = g for d.
0
Let o(f) = 3*f**3 - f. Let p be o(1). Suppose -24 - 6 = -p*n. Suppose -3*j + 3*s + n = 0, -5*j = 2*s + 1 + 9. Solve j = -2*u + 5*u for u.
0
Let u = 195 - 192. Suppose 0 = 5*l - u*g - 100, 0 = 4*l + 4*g - 2*g - 102. Solve -l = -3*j - 8 for j.
5
Let h = -12879 - -12885. Solve 14*x - h*x = -24 for x.
-3
Let n = -58 - -66. Suppose 0 = 20*v - 16*v - n. Solve v*g + 4 = -4 for g.
-4
Suppose -6*p + 452 = -592. Let q = p + -170. Solve 0*h + 4 = -q*h for h.
-1
Let l = 1671 - 1672. Let q be (-6)/((1 + 1)/l). Let f be 1*(-1)/((-1)/2). Solve u = -f*u + q for u.
1
Let p be 10*155/10 - 15/(-3). Solve j - p = 21*j for j.
-8
Let c = 69 + -51. Let z(a) = -31 + c + 0*a + a. Let j be z(13). Solve j = -0*h - h for h.
0
Let v be -9 - (-27)/45*15. Let p = -46 - -51. Solve -i + p - 2 = v for i.
3
Suppose 4*q = -3*x + 51, -5*x - 13*q = -12*q - 68. Suppose -6*g = x*g - 22*g. Solve -2*k = -g*k for k.
0
Let r(v) = v**2 + 7*v - 5. Let w be r(-6). Let a(i) = -3*i + 14. Let u(s) = -8*s + 40. Let q(z) = 11*a(z) - 4*u(z). Let y be q(w). Solve -7*c + 2 = -y*c for c.
1
Let b = 339 + 390. Let y = b + -727. Solve -y*z = 6 - 16 for z.
5
Let f(u) = -3*u + 5. Let s be f(-7). Suppose -3*o = s - 53. Suppose 2*t + t - o = 0. Solve 11 - 2 = t*p for p.
3
Suppose 3*l - 3 = 6*l, 4*u + 12 = -4*l. Let i be (-60)/(-24)*(-12)/(-10). Let c be u - 20/(1 - i). Solve -2 = 2*n + c for n.
-5
Let y be 7 + (-5 - -4) + -1. Suppose 20 = i + 4*o, -10*i = -y*i + o - 43. Solve 0 = -3*b + i - 2 for b.
2
Let b be 104 + -1 - (-208)/(-13). Solve -20*x + 7 = b for x.
-4
Suppose -32*k - 1500 = -1628. Solve 36 = 8*c - k for c.
5
Suppose 0 = 92*t - 95*t + 189. Let s be (-4)/3*t/(-6). Solve -6 = -5*o + s for o.
4
Let d be (-6)/9*(78/(-12) + 5). Let o be -3 - (8 + -19 + d). Solve -o*r = -10*r - 3 for r.
-1
Let t(r) = r**3 - r**2 + 18*r - 34. Let n be t(2). Solve -2*x + n - 12 = 0 for x.
-3
Suppose 17*c = -36674 + 36776. Solve -c*o = -1983 + 1935 for o.
8
Let r(p) = 4*p**2 - 47*p - 8. Let h be r(12). Let t(g) = 58 - 25 - 3*g - h*g. Let q be t(4). Solve q*l - 10*l = -25 for l.
5
Let p(c) = -55*c - 328. Let k be p(-6). Let a = 1 + 0. Solve a = -k*j - 7 for j.
-4
Let f = -42 + 75. Let m = 33 - f. Solve -3*h = -m*h - 3 for h.
1
Suppose -2*d + d + 2*k + 9 = 0, -2*d + 5*k + 16 = 0. Suppose -2*v + d*v - 3