 = -3*s for s.
-3
Suppose 0 = 113*i - 116*i, -2*d = -2*i - 160. Solve -65*x - d = -49*x for x.
-5
Suppose -4*r = -4*d - 8, -4*r = -2*d - 0 - 8. Let y(k) = 34*k - 4. Let l be y(1). Suppose 0 = -o + 27*p - l*p - 8, 5*p + 15 = 0. Solve 0 = -q - r - o for q.
-3
Let o be -5 + (18/6 - -5). Suppose -21*n = -2 - 40. Solve -n*k = o - 9 for k.
3
Let c(d) = 145 - 4*d + 5*d + 19*d. Let l be c(-7). Solve l*j = j for j.
0
Let n(z) = 3*z**2 + 5*z - 4. Let j be n(-3). Suppose 0*f - 3*f = -4*v, 0 = 5*f - 4*v - j. Suppose -f*x + 4 + 36 = 0. Solve 5*b - 5 - x = 0 for b.
3
Let a(t) = 206*t - 7292. Let v be a(37). Solve -24*j - 42*j = -v for j.
5
Let a be (4 + -4 + -1)/((-1)/4). Suppose q - 2 = i - a, 4*q = 2*i + 2. Solve -4 = -3*f + i*f for f.
-2
Let c be 478 + -93 + 85/5. Solve -406 = -2*l - c for l.
2
Let i(a) = -a + 9. Let o be 24/(-10) + 2 + 132/30. Let v be i(o). Let z be (4/(-10))/(v/(-125)). Solve 0 = 2*l - z for l.
5
Suppose -250 = -11*l + 147 - 89. Solve -313 + l = -57*d for d.
5
Let r(q) = -7*q**2 + 274*q - 126. Let d be r(30). Solve 1797*x - d*x - 6 = 0 for x.
2
Suppose 0 = -3*m + t + 583, -2*m + 3*t + 366 = -18. Solve -56*r = m + 197 for r.
-7
Suppose 308 = 64*w + 52. Solve -w*r = 263 - 267 for r.
1
Let o(u) = u**3 + 8*u**2 - 9*u + 17. Let q be o(-9). Suppose -25*a = -q*a - 120. Solve 2*i - a = -i for i.
5
Let x be (-2)/(-8) + 1/(-4). Suppose -83 = -2*k - 71. Suppose k*v + 10 = 58. Solve x*z + v = -2*z for z.
-4
Let s = -265 + 499. Let q = -231 + s. Solve -5*w + 8 - q = 0 for w.
1
Let h(f) = f**2 + 52*f - 447. Let j be h(8). Solve 29 = -j*z - 70 for z.
-3
Suppose -4*p - 10 = -30. Suppose -3*c + 2*u - 5*u + 6 = 0, 4*u = -16. Suppose 6 - c = o. Solve o*f - p*f + 10 = 0 for f.
2
Suppose -173*c - 859 + 2217 = -3832. Solve -g = -7*g + c for g.
5
Let j(f) = -15*f**3 - f**2 + f - 1. Let m be j(1). Let k(x) = 2*x**2 + 32*x + 7. Let i be k(m). Solve 0 = i*r - 2*r for r.
0
Let f(j) be the first derivative of -j**3/3 - 13*j**2/2 - 25*j - 34. Let g be f(-10). Solve -15 = 2*o - g for o.
-5
Let a(c) = 8*c**2 - 57*c + 10. Let p be a(7). Let x be p*4/(-3) + (-60)/(-3). Solve -5*k - x = -9*k for k.
4
Let r be (-2)/(-8) - (-23)/4. Let a = 68 + -53. Suppose 3*i - a = -c - 2, -2*c = 2*i - r. Solve -3*w - 17 = -i for w.
-4
Suppose -5*z - 11*r + 7*r + 134 = 0, -5*r = 4*z - 91. Solve 0 = -75*g + 58*g - z for g.
-2
Let z(v) = 2*v**2 - 12*v - 130. Let o be z(-7). Solve 11*n - o = -41 for n.
1
Suppose -1398 = -87*k + 690. Solve k*m = 28*m - 12 for m.
3
Let r be (-1 + 0)/((-4)/12). Suppose 70 = -31*c + 24*c. Let s = c - -29. Solve -s = r*y - 4 for y.
-5
Let v(x) = -x**3 + 65*x**2 + 136*x - 92. Let n be v(67). Solve 2*s - 32 = -n for s.
-5
Suppose 12*p = 14*p - 10. Let k(u) = u**3 - 7*u**2 + 2*u - 6. Let s be k(p). Let a be 9/(-12) + s/(-8). Solve a*h - h = 8 for h.
2
Let r be 372/8 + (-369)/82. Solve -63*h + 56*h = -r for h.
6
Let c(j) = j**2 - 6*j - 16. Let h be c(-3). Suppose -3 + 25 = h*s. Suppose s*p = -4*g + 2, 15 = -2*p + 5. Solve g*w = -0 - 6 for w.
-2
Suppose -39*u - 25*u + 768 = 0. Solve -u*h = 29 - 89 for h.
5
Let f(u) be the first derivative of 8*u**2 - 108*u + 94. Let d be f(7). Solve d*n + 24 = -4*n for n.
-3
Let l(k) = 2249*k - 23. Let v be l(1). Let r be (-1)/13 + v/546. Solve r*h = 2*h for h.
0
Suppose 200 = 10*g - 70. Suppose -6*n + 117 - g = 0. Suppose 6*i - 3*t - 3 = 4*i, 3*t - 27 = -3*i. Solve 0 = i*y - y + n for y.
-3
Suppose -21368 - 51607 + 4035 = -383*u. Solve -36*x - u = 9*x for x.
-4
Suppose -19 - 212 = -21*o. Suppose -o*v - 11 = -33. Solve 28 = v*b + 30 for b.
-1
Suppose -18 = -4*x + 2*x + 2*t, -2*x + 3*t + 16 = 0. Suppose 4*v - 3*b = -9, v + 5 = 2*b - 1. Solve -a - 15 + x = v for a.
-4
Let q be (-1)/(-2)*0/2. Let g be 1/(-8) + (-115)/40 + -3 - -10. Solve 3*o + g - 1 = q for o.
-1
Let w(k) = -k**3 - 10*k**2 - 13*k - 10. Let n be w(-9). Let y = 26 - n. Suppose -3*v = v - 4*l - 48, y = -5*v - l + 36. Solve -8 - v = 4*i for i.
-4
Let t = 52 - 50. Suppose 3*x + 9 = t*k - 5*k, -4*x + 2*k = 18. Let w be -3 - (-11)/3 - x/12. Solve -w = -4*z - 5 for z.
-1
Let b = 38 - -12. Solve b*i - 36 = 14*i for i.
1
Suppose -1804 = 10*b + 1236. Let r = b - -306. Solve 10 = 2*a + r for a.
4
Let j(d) = -d**2 + 21*d - 115. Let i be j(10). Let b(r) = -r**3 - 3*r**2 + 3*r - 2. Let h be b(-3). Let z be 5 - (-5)/(i/h). Solve 0*s = -4*s - z for s.
-4
Let w(j) = 57*j - 1457. Let d be w(26). Solve z + 4*z = d for z.
5
Suppose -101*c = -81 - 222. Let p be (-3)/12 + 3/12. Suppose p = -4*i - 0*i. Solve 5*v + 23 - c = i for v.
-4
Suppose 0 = 4*d - 5*b - 1464, -3*d - 3*b + 1830 = 2*d. Let q be d/24 - (-2)/(-8). Solve 0 = -2*n + q - 23 for n.
-4
Suppose -5 = -l + 2*k, -2*k = 2*l - 0 - 4. Let w(m) = -5*m**2 + 86*m - 28. Let j be w(17). Let x be (-4)/(-8)*(j + 11). Solve x*u = -u - l for u.
-3
Suppose -12*p = -15*p - 11*p + 126. Solve p*l - 69 = -24 for l.
5
Let t(f) = -f**3 + 10*f**2 + 329*f - 38. Let p be t(-14). Solve p*g = -3*g - 63 for g.
-1
Suppose -293*s = -294*s + 3*n + 11, 0 = 3*s - 2*n - 75. Solve -s*z - 140 = -9*z for z.
-7
Suppose -4*n = 6 + 10, -2*q + 2*n = 160. Let o = q + 86. Solve -5 = -o*g + 3*g for g.
-5
Let q(s) be the second derivative of s**5/20 - 13*s**4/12 + 13*s**3/6 - 9*s**2/2 + 9*s. Let w be q(12). Suppose -w*c = 2*c - 25. Solve -c*y + 6 = -4 for y.
2
Let u be (-3 + 1)*(451/(-22) + 13). Let i be (-1 - 0) + 2 + 31. Suppose i*v - u = 29*v. Solve 2*k + v = -3 for k.
-4
Let x = 3242 - 3216. Solve 12*k - x = -k for k.
2
Let f(c) = -6*c - 46. Let p be f(-8). Suppose 0 = -t + 5*a + 2 - 1, -58 = -4*t + p*a. Solve 0 - t = -4*k for k.
4
Let t(v) = -16*v - 24. Let r be t(3). Let f be (r/(-60))/(1 + (-3)/5). Suppose 2*g - 5*g = n + 1, 4*n = g - 4. Solve g = -f*s + 9 + 6 for s.
5
Suppose p + 0 = -4. Suppose 4*y = -5*o - 47, -4*o + y + 0*y = 46. Let h = p - o. Solve 3*u + 20 = h*u for u.
5
Let j(z) = -79*z + 336. Let b be j(4). Solve -b = 3*s - 32 for s.
4
Let j = -19 + -33. Let f = -50 - j. Suppose -a - f*a = 0. Solve a = 5*w + 1 - 16 for w.
3
Let c be 2 + ((-10)/5 - 6). Let y = 7 + c. Let d be (-1)/2*-6 - y. Solve -v + d + 1 = 0 for v.
3
Let l(s) = s**3 - 28*s**2 - 61*s + 2. Let w be l(-2). Solve -47*n + 102 = w*n for n.
2
Suppose -30*u + 36 = -144. Solve u*d + 7 = 37 for d.
5
Let u = 140 - 83. Suppose 55*j = u*j - 20. Solve 3*b - b = -j for b.
-5
Let g = 237 + -233. Let l be 19 + -3 + 0 - g. Solve 9*r - l = 6*r for r.
4
Suppose -2*r - 1 = 7. Let i be 4/((16/(-6))/r). Let t(y) = y + 1. Let q be t(5). Solve -i = 3*h + q for h.
-4
Let u = 852 - 753. Solve 8*p - u = -131 for p.
-4
Suppose -4*s - 3 = z + 1, 0 = -s - 2*z - 8. Suppose -6*k = 7*k. Suppose 4*x = p - k + 13, 2*p + 10 = s. Solve y = -y - x for y.
-1
Let i(a) = -2*a**2 + 31*a - 92. Let u be i(9). Solve -32*t + 28 = -u*t for t.
4
Let t(s) = -s**3 - 9*s**2 - 26*s - 26. Let p be t(-6). Solve -6*v + 2 = -p for v.
4
Let v be (-1 - -17) + (-2 - (3 - 8)). Solve 14*r = v*r - 10 for r.
2
Suppose b + 5*a - 57 = -44, 0 = 3*b - 3*a - 3. Solve -b*u - 34 = -20*u for u.
2
Let m(n) = -n - 33. Let j be m(-19). Let i = j - 20. Let o = -28 - i. Solve 0 = 2*s - 5*s + o for s.
2
Let h(p) = p**3 - 10*p**2 + 9*p. Suppose 3*u + 3*c = 27, -3*u + 5 + 28 = 5*c. Suppose -5*s - 9 = -u*s. Let w be h(s). Solve 4 = -w*n + 2*n for n.
2
Let s(z) = -380*z + 2660. Let b be s(7). Solve b = -5*i + 969 - 934 for i.
7
Let y(s) = -1786*s - 19643. Let u be y(-11). Suppose -4*p - 50 = p. Let d = -6 - p. Solve 0 = -d*i + u*i for i.
0
Let p = -45 - -54. Let w be 0/(-1) - (13 - p). Let k(n) = -n**3 - 2*n**2 + 7*n + 1. Let x be k(w). Solve x = 2*f - 1 for f.
3
Let y = -7158 - -7180. Solve -y*s + 18 = -25*s for s.
-6
Suppose -4*m + m = -15. Suppose c - 4 = 2*l, -m*c - 3 = l - 45. Solve -12*p = -c*p for p.
0
Let z = 2406 + -1824. Solve -28*q + z = 69*q for q.
6
Suppose -r - 46 = -19*v + 15*v, 86 = -v - 16*r. Solve -1271*t = -1276*t + v for t.
2
Suppose 36 + 60 = 8*l. Let u be 25/(-5) + -3 + l. Solve 2*s = u*s - 8 for s.
4
Suppose -2*a + 18 = -4*y, -4*a - 5*y - 55 = -9*a. Solve -a*x = -5*x for x.
0
Suppose 7*i - 80 = -3*y + 2*i, -5*y = -4*i - 84. Suppose -h - y = -5*h. Solve -6 = -h*j - 16 for j.
-2
Suppose -d + 16*d = 0. Suppose d = -x - 0*x + 14. Solve -4*b + x = -6 for b.
5
Let x = -22955 - -22955. Solve 468*m - 474*m + 18 = x for m.
3
Let h be (-99)/(-22)*(-8)