ve 3 = -z*n - s for n.
-3
Let y be 25 + ((-6)/(-9))/(26/(-351)). Solve 7*k + y = 37 for k.
3
Let a = -11 + 15. Suppose -10*f = -9*f. Suppose 2*z + h = f, -4*h - 12 = 2*z - 0*z. Solve a*g - z = 6*g for g.
-1
Let t = 132 + -129. Let l be 25 - 24 - (t - 5). Solve 19 - 7 = -l*d for d.
-4
Let h = -18680 + 19070. Solve 381*p = h*p - 45 for p.
5
Let i(t) = -t**3 - 6*t**2 - 7*t - 39. Let g be i(-6). Let c be ((-15)/3 + 5)/g. Solve c*w - 2 = w for w.
-2
Let c(f) be the first derivative of -f**2 + 35*f + 69. Let z be c(15). Solve -4*p - z = -5*p for p.
5
Let t(l) = l**2 + 5*l - 1. Let b be t(-6). Suppose -29*v + 34*v + b = 0. Let f be 3/1*v + 9 + 10. Solve -h = -5*h - f for h.
-4
Let r = -5 + 10. Let g be (-4)/(8/(-22)) + -9. Solve g*s - r*s = 0 for s.
0
Let w(q) = 2*q**3 + 5*q**2 + 3*q + 20. Let d be w(-5). Let y = 127 + d. Solve 4*v - y - 9 = 0 for v.
4
Suppose 3*s - 116*f - 6150 = -112*f, -3*f = 2*s - 4083. Solve 0 = -m + 2039 - s for m.
-7
Let n(j) = j**2 - 36*j - 344. Let m be n(-9). Solve 8*i - 13 = -m for i.
-6
Let x be ((-1)/(-2))/((-2)/12) + 2. Let l be 17*x/2*-2. Solve 3*k = l - 8 for k.
3
Suppose -b = -2*x - 52, -5*b = 3*x - 4983 + 4775. Solve 41*i - b*i = 27 for i.
-9
Suppose 0 = 3*u - 2*m - 2, 3*m - 6 = 5*u - 9. Solve 6*r + 8 + 22 = u for r.
-5
Let h be (495/(-25))/(24/(-40)). Solve 1188*w - 1177*w = -h for w.
-3
Let m be ((-4)/(-2))/(-2 + (-23)/(-12)). Let f = -49 - m. Let w be f/(-5) + 1 + -4. Solve -2*d + w = -6 for d.
4
Let x = -669 - -687. Solve -x*t - 45 = -135 for t.
5
Let n(w) = w**3 + 16*w**2 + 35*w + 147. Let b be n(-14). Solve -201 + b = 38*q for q.
-4
Let b(q) = 70 - 32 - 19*q - 31 - 27. Let v be b(-2). Solve -v = 3*w - 27 for w.
3
Let a(w) = w**2 - 6*w. Let y be a(6). Suppose y = p - 8 + 6. Let h be p/(-5) + (18/(-5) - -4). Solve -4*u + h*u = 0 for u.
0
Let k(q) = q**3 - 6*q**2 - 14*q + 52. Let h be k(7). Let y be h/12 + (-7)/28. Solve y = -0*g + 4*g - 8 for g.
2
Suppose 45*c - 616 = 14. Let m(n) = n**3 - 14*n**2 + 3. Let v be m(c). Solve -v*i + 8*i = 15 for i.
3
Let q(j) = 40*j**3 + 5*j - 3. Let x be q(2). Let y = 331 - x. Solve -y*u = -6*u for u.
0
Let y(w) = -w**3 + 54*w**2 - 184*w + 4164. Let a be y(52). Suppose -4*g + 14 = 2*i - 26, 0 = 5*i + 10. Solve 5*x + a = -g for x.
-3
Let q be -1 + 20/4 + -3 + -2. Let o be (q*2/5)/(6/(-60)). Solve 0 = 5*s + o + 21 for s.
-5
Let d = 49 - 47. Let n(v) = v + 1. Suppose -o + 2*o = 3. Let x be n(o). Solve x*l + d = -6 for l.
-2
Suppose -3*m + 7*u - 11*u = -60, 5*m + u - 134 = 0. Solve 8*f - m = 4*f for f.
7
Suppose 41 = -28*k + 29*k. Suppose -3*l = -k + 5. Solve -16*f - l = -20*f for f.
3
Let c = 48 + -44. Suppose r - 3*x = 11, -4*x = r + c + 6. Suppose r*h = -a - 0*a + 14, -4*h - 52 = -2*a. Solve a = 6*v - v for v.
4
Let w be (-1 + 2)/((-2)/(-94)). Solve 39*i - w*i + 24 = 0 for i.
3
Suppose -93 - 127 = -22*k. Suppose 30 = 5*m + k. Solve -11 - 9 = m*q for q.
-5
Let k(a) = 37*a**2 - 71*a + 5. Let q be k(2). Solve q*p - 14 = -3 for p.
1
Suppose 17 = -2*j + 25. Suppose 2*s - 3*y = 1, -27 - 25 = -j*s - 4*y. Let p be (7 - s)*(-3 + 1). Solve -p*o = -3*o - 5 for o.
-5
Suppose -86*w + 91 = -511. Solve -w*l = -6243 + 6222 for l.
3
Let t(s) = s**2 - 55*s + 286. Let q be t(5). Solve 23*k + 128 = q for k.
-4
Let r = -6307 - -6313. Let m = 36 + -32. Let l(d) = d**3 - 3*d**2 - d - 4. Let b be l(4). Solve m*s - r*s = -b for s.
4
Let x(f) = -f. Let t be x(-7). Suppose -10 = -2*l + 4*m, t = 3*l - 5*m - 8. Suppose -8*h + 9 = -3*h + 2*u, -u = -4*h + 15. Solve h*d = -2*d + l for d.
1
Let s(j) = -458*j - 6851. Let v be s(-15). Solve 3*a = v*a + 96 for a.
-6
Suppose -3*n = 8*d - 6*d - 40, -3*n = -3*d - 15. Solve -n*l + 169 - 139 = 0 for l.
3
Suppose -5*n - 5*h + 80 = 0, -3*n + 11*h = 15*h - 49. Solve -n*f - 119 = -194 for f.
5
Suppose s + 4*s = 7*s. Let y be (-24)/(s + -3) + -5 + 1. Let t be (-3 + 1)*(-5)/20*4. Solve 2 = -y*p + t*p for p.
-1
Let o(p) = -290*p - 319. Let t be o(-2). Solve a + t = 257 for a.
-4
Let l = 36938 + -36938. Let o = 42 + -15. Solve -z + 30 - o = l for z.
3
Let w be 6*36/27 + -1. Suppose -5*c - 3*i - 2*i = -5, c - 2*i = w. Suppose m - 12 = -l - 3, 4*m = -5*l + 40. Solve -1 + l = -c*g for g.
-1
Suppose -2*y + 16 = 2*r, 3 = r - 4*y + 5. Let o(k) = 3*k**2 - k + 28. Let d be o(-7). Suppose 615*s = 628*s - d. Solve -4*z + s = -r for z.
5
Let h = 243 - 203. Suppose -15*s + h = 5*s. Solve 7*b = s*b for b.
0
Suppose 0 = 4*x - x - 27. Suppose -n - o = -5*n + x, 3*n - 11 = 5*o. Solve 0 = n*a + 4 + 4 for a.
-4
Let p(h) = 8*h**2 + 44*h + 55. Let k be p(-5). Solve -29 = 3*l - k for l.
2
Let u = 113 + -125. Let n be ((-5)/2 - -2) + (-174)/u. Solve -10*i - 12 = -n*i for i.
3
Let f(n) = -4*n**3 - n**2 - 1. Let u be f(-1). Suppose 0 = u*l + 4*l - 456. Let i = l + -63. Solve 0 = -3*c + i - 4 for c.
3
Let g be (5/(-8))/(12/(-96)). Suppose -5*n - 23 = -4*h + 24, -46 = -g*h + 2*n. Solve 16 = h*j - 24 for j.
5
Let n be (-2)/4 + (-2)/(-4). Let i be -16 - -15 - (3 + (-10 - -1)). Solve n = i*z + 25 - 10 for z.
-3
Let z = 298 - 304. Let m be (-153)/(-6)*4/z*-1. Solve m*w - 4 = 19*w for w.
-2
Let p be -1 - (3 + 1205/(-35) + 8/(-14)). Solve 0 = 24*o - 41 - p for o.
3
Let h(z) = -9*z - 32. Suppose -4*s + 122 = 138. Let v be h(s). Solve -5*q + v = -1 for q.
1
Let o(x) = -6*x - 12. Let z(u) = -3*u - 6. Let w(f) = -6*o(f) + 13*z(f). Let d = -11 - -7. Let b be w(d). Solve 0 = -b*n + 2*n + 20 for n.
5
Let o be 2/3 - 34/(-3). Suppose -4 = 4*c - 4*m, -m + o = 3*c + m. Let t = -582 + 585. Solve t*s = s + c for s.
1
Let n = 599 + 93. Let a = n + -692. Solve a = -0*i - 2*i - 10 for i.
-5
Suppose p = 5*i - 50, -70*i + 74*i + 5*p = 40. Solve 0 = -2*u - i + 2 for u.
-4
Suppose 14*f + 776 = 18*f - 4*j, 3*f - 5*j = 580. Let h be ((-2)/10 + -1)/(f/(-650)). Solve 5*a = h*a + 5 for a.
5
Let d be (28/10)/(27/(1890/28)). Solve 380*u - 387*u + d = 0 for u.
1
Let q be (16/(-12))/((-8)/(-204)). Let j be 259/(-185) - q/10. Solve 0*n - j*n - 6 = 0 for n.
-3
Suppose -l + 2*l - 8 = 0. Suppose -55*h = -60*h + 255. Suppose 2*v = 10, -6 = -4*i - 5*v + h. Solve -l = -4*u + i for u.
4
Suppose 0 = -9*o + 195 - 168. Suppose 4*r - 6 = o*r + 4*p, -3*r - 4*p + 2 = 0. Suppose -1 = -3*m - 2*t, 2*m = -2*m - 4*t - 4. Solve 5*z - r - m = 0 for z.
1
Let l be (0 - 6/1)/((-15)/55). Suppose 1 = -2*n - 5*h, 5*n - 92 = 2*h - l. Solve 0 = -5*p + 2*p + n for p.
4
Let w(i) = -i**2 + 8*i + 1. Let s be (-12)/(2 + 1) - -12. Let r be w(s). Suppose 0 = g - 1 - r. Solve 3*u - g*u - 1 = 0 for u.
1
Suppose 5*d - 211*q + 214*q = 127, d = 4*q + 7. Solve 19*w = d - 80 for w.
-3
Let r = 33880 - 33880. Suppose -p + 12 = -21. Solve 18*j - 7*j + p = r for j.
-3
Let p(o) = 97*o + 2752. Let r be p(-28). Solve 3881*j + r = 3869*j for j.
-3
Let u(z) = z**2 - 25*z + 160. Let q be (-7)/(56/(-80)) - -3. Let g be u(q). Solve -2*p = -g - 6 for p.
5
Let o(y) = 7*y**3 - 4*y**2 - 14*y - 1. Let x be o(4). Let m = x + -313. Solve -4*u + m*u = -20 for u.
-2
Let b(f) = 9*f**2 + 4*f + 3. Let o be b(-5). Solve o*y - 36 = 214*y for y.
-6
Let w be (-4)/24*-4 + 42/18. Suppose 3*m + 2*f = f + 14, -3*f = w*m - 24. Solve -3 = -m*y + 3 for y.
2
Suppose -5*i - 3*k + 30 = -k, 5*i - 3*k - 5 = 0. Suppose i*h - 4 - 16 = -4*d, -5*d + 9 = h. Let v be (0 - (-12)/(-9))/(h/(-6)). Solve -v*p + 20 = -7*p for p.
-4
Let s = 438 - 432. Solve s*j + 42 = 18 for j.
-4
Let h(g) = -g**2 + 10. Suppose 4*v = m + 3, 4*v + m + 12 = 5*m. Let n be h(v). Solve 0 = -3*r - n + 9 for r.
1
Suppose 1804 = -8*u + 2508. Suppose -115*j = -104*j - u. Let t = 6 - 4. Solve -t*v = -0 - j for v.
4
Suppose 0 = 5*t + 8*t - 195. Suppose -3*h = -8*h + t. Let x be 1/(-2)*4*-11. Solve h + x = 5*m for m.
5
Suppose n + 5 = 0, -18 = 3*r + 5*n - 524. Let g = -174 + r. Solve 4*b = b - g for b.
-1
Suppose -30*h + 10 = -25*h. Suppose -5*d + 4*p + 9 = 0, -4*p = -3*d + h - 3. Solve 0 = l - d*l + 12 for l.
3
Suppose 6*z - 11*z + 4878 = 3*n, -n + 976 = z. Solve -980*v + 20 = -z*v for v.
4
Suppose g = w + 83, -35*w - 2 = -34*w. Solve -3 = 82*n - g*n for n.
-3
Suppose 159*i - 3511 = 305. Solve 10 = 14*g - i*g for g.
-1
Let n(y) = -11*y**2 - 22*y - 81. Let u(c) = -15*c - 1 - 53 + 0*c**2 - 7*c**2. Let m(o) = 5*n(o) - 8*u(o). Let q be m(-6). Solve -4 - 2 = q*b for b.
-2
Suppose -5*g + 34 = -1. Let l(x) = -33*x - 152. Let p be l(-5). Let v be (-9)/24 + 6/16. S