= -5*z + n for z.
3
Let h be -7 + (-1*(-5)/(-2) - 97350/(-60)). Solve 0 = -h*k + 1612*k + 1 for k.
1
Let x(q) = 1244 + 0*q - q - 628 - 627. Let n be x(-11). Suppose -8*g = -12*g + 8. Solve -g*u - 4 = -n*u for u.
-2
Let d = 9910 + -9806. Solve 0 = -17*r - 9*r - d for r.
-4
Let l = -552 - -591. Solve -6*k - l = -33 for k.
-1
Suppose 4*t - w + 4 - 1 = 0, -4*w = t - 12. Let h(i) = -35*i + 10*i + 2*i + 275 + 2*i. Let g be h(13). Solve g*b = -2 - t for b.
-1
Suppose 46 + 119 = 11*p. Solve -2 + 32 = -p*s for s.
-2
Let v(w) = -w**2 - 60*w - 705. Let y be v(-19). Solve -64*l - 20 = -y*l for l.
2
Suppose 80 = 4*c - 4*q, 2*q + 597 = -2*c + 653. Solve g - c = -5*g for g.
4
Let i(n) = 4*n**2 - n - 4. Let x be i(-2). Let p = x - 14. Let s be (-5 + (-5)/(-2))/(1/(-2)). Solve 0 = -p*k - 5*k + s for k.
1
Suppose 0 = -6*c - 3*g + 93, 14*g = 12*g + 10. Solve -c + 12 = -v for v.
1
Suppose 398*o = 395*o + 3. Let m(r) = 3*r**2. Let p be m(-1). Suppose 3*t + p*n - 15 = 0, t + 2*n - 3 = 2. Solve o + 4 = t*z for z.
1
Let c(d) = -d + 3. Let m be c(0). Suppose 3*v + 5*g - 11 = 29, 25 = m*v + 2*g. Solve -4*x + 7 = -v for x.
3
Let x(i) = -i**3 + 46*i**2 + 75*i + 1034. Let t be x(48). Solve -t*v + 132 = 7*v for v.
4
Suppose 0 = 3*r - 3*n - 84, 57*n - 53*n = -r + 63. Solve 37*c - r - 187 = 0 for c.
6
Suppose -16513 - 3760 = -209*i. Solve -39*t = -59 - i for t.
4
Suppose 4*t + 12 = -2*p, 10*p - 17 = t + 14*p. Let y = 8 - 11. Let q be t + (1 - -15) + y. Solve -7*n - q = -3*n for n.
-3
Let j = -288 + 319. Suppose -44*o + 195 = -j*o. Solve -12*k - 15 = -o*k for k.
5
Let r be (-50)/(-18) + 2/9. Suppose -355 - 653 = -63*y. Solve -r*p - 4 = -y for p.
4
Let n be 2/(-5) + (336/15 - 1). Let u = n + -18. Let w be (-2 + 2)/(0 + u + -4). Solve w*s = -s for s.
0
Let f be (14/4)/(3/30). Let c = -33 + f. Suppose c = h - 3. Solve h*d - 3*d + 2 = 0 for d.
-1
Let f(j) = 62*j - 231. Let w be f(4). Let q(u) = -u**3 - 6*u**2 - 5*u + 3. Let h be q(-5). Solve -4*b = -h - w for b.
5
Suppose 128 = -2*d + 5*l, 3*d + 20 + 172 = -2*l. Let t = -58 - d. Solve -t*o + 27 - 3 = 0 for o.
4
Suppose 2*o - 3*d - 16 = 26, -2*d + 4 = 0. Suppose 3*z - 39 + o = 0. Solve z*y + 2*y = 28 for y.
4
Let t(u) = 33*u + 271. Let s be t(2). Solve -334*b + 3 = -s*b for b.
-1
Suppose -24*m - 2*x + 5 = -23*m, 0 = 5*m - 5*x - 10. Suppose 0 = 3*h - 4*f - 19, -m*f + 0 + 6 = 0. Solve y + h = 4*y for y.
3
Let k(x) = -x**3 + 3*x**2 + 3*x + 4. Let o be k(4). Let j(c) = -58*c + 66. Let b be j(1). Solve o*p + b = 4*p for p.
2
Suppose -v = t - 30, -v + 2 + 31 = 2*t. Solve v*f + 92 = -70 for f.
-6
Suppose -17*r + 144 = 189 - 351. Let j(t) = -t**3 - t**2 - t + 16. Let p be j(0). Solve -22*b = -r*b - p for b.
4
Let o be 1/(2/8*2). Suppose -370*z + 1105*z - 39216 + 10081 = -5092*z. Solve z*w - o*w = -6 for w.
-2
Let l(d) = -49 + 19 + 15 - 3*d. Let u be l(-5). Suppose -2*g - 9*g + 66 = u. Solve 3*j + 0*j = -g for j.
-2
Let l = 354 + -373. Let o be 0 + -1 - (l - -15). Solve m = -o*m for m.
0
Let d(f) = 64*f + 3885. Let w be d(-60). Solve 0 = -25*x + 34*x + w for x.
-5
Let c = 3423 - 3402. Solve -c*k + 88 = 4 for k.
4
Suppose -11 = 4*h + 3*r, h + 25*r = 27*r + 11. Solve h = s - 0*s for s.
1
Suppose 86*v - 2655 = 27*v. Let p = 41 + -31. Solve 5 = p*m + v for m.
-4
Suppose 4*b + 4 = 4*m, -4*m + 5*b + 3 - 4 = 0. Suppose -8*k = -m*k - 3*k. Solve k = 23*l - 19*l - 8 for l.
2
Suppose -17*a + 3*s + 204 = -12*a, 0 = 2*s + 6. Solve 0 = a*c - 33*c + 12 for c.
-2
Let q = 30 + -25. Suppose -q*w + 19 = -21. Suppose w*f = 10*f. Solve -3*x - 8 + 2 = f for x.
-2
Let k be (-12)/(-8)*(2 - 3)*3200/(-75). Solve 31*h + k = -91 for h.
-5
Suppose 2*p + 9*p - 22 = 0. Suppose 3*u - 12 = 0, 2*u - 56 + 28 = -p*r. Solve 2*z + r = 12 for z.
1
Let g be ((-11400)/(-266) - -42) + (-2)/(-14). Solve -14*n + 29 = g for n.
-4
Suppose -9*y + 5*y = -2*t - 16, 0 = 3*y - 2*t - 9. Solve 0 = y*o - 33*o + 104 for o.
4
Let d = 563 - 328. Suppose 3*r + 229 = d. Solve 5 = -3*y + r for y.
-1
Let x(v) = -62*v - 95. Let l be x(-8). Suppose 0 = 27*m + 131 - l. Solve 0 = -a - m + 6 for a.
-4
Suppose 2*a - 45 + 175 = 0. Let k = -63 - a. Solve -8 = 3*q - k for q.
-2
Let c be 375/(-300)*(-32)/5. Solve 33 - 25 = c*s for s.
1
Let q = -11263 + 11286. Solve -111 = 14*v + q*v for v.
-3
Let i be (-33 - -35) + (-8)/(-2). Let z(g) = 34*g - 91. Let p be z(3). Solve p = -5*n + i for n.
-1
Let r(w) = -2*w + 6. Let s be r(2). Let l be 6/(3*s/8). Let q be (4 - l)*(-2 + 1). Solve 0 = 2*x - q + 2 for x.
1
Suppose r - p - 17 = -0*p, 0 = -2*p - 10. Let q be (-56)/(-364)*1430/20. Solve -r = -7*w + q*w for w.
-3
Suppose 19*t + 23*t = 8*t + 7*t. Solve t = 6*u + 20*u + 78 for u.
-3
Let l be -6*(6/(-4) - -2). Let v be (-10)/(-50) + l*8/(-5). Suppose -4*i = -f - 21, -v*i + 6 = f - 18. Solve 15 = -0*y + i*y for y.
3
Let w be (4 - -3) + -7 + 246. Let q = w - 243. Solve 0 = -0*t + q*t - 15 for t.
5
Suppose 220 = -399*q + 409*q. Solve -159 + 247 = q*v for v.
4
Let x = -44 - -51. Suppose -10*g - x*g + 14*g = 0. Solve g = 2*k - 3 - 3 for k.
3
Suppose m + 18 + 44 = 32*m. Let x(o) = -o**3 - 3*o**2 + 6*o - 4. Let y be x(-5). Let p = y - -9. Solve 3*j = -m*j - p for j.
-5
Let u(s) be the first derivative of -3*s + 9 + 1/3*s**3 + 1/2*s**2. Let a be u(-3). Solve 0 = a*v - 0*v for v.
0
Let h(s) = -2*s**2 + 35*s - 23. Let v be h(16). Solve -v*r + 12 = -22*r for r.
4
Let r be 12/(1/4*3). Let g be -95 + 2/r + (-1)/8. Let n = -94 - g. Solve -3*l + 2*l = n for l.
-1
Let j(g) = -g**2 - g + 17. Let h be j(-6). Let y(l) = -l**3 - 13*l**2 + 2*l + 26. Let u be y(h). Let d(p) = 2*p + 6. Let k be d(7). Solve u*s - k = -4*s for s.
5
Let h be 122/14 + (-2)/(-7). Let j be (-22)/(-14) - (-2090)/1463. Solve 6*k = -j - h for k.
-2
Let z be ((-12)/(-18))/((-32)/18 - -2). Suppose 4*f - 20 = -u + 13, z*u - 2*f = 57. Solve 0 = 2*w + u - 11 for w.
-5
Let f be (-1 - -87)*(6 + 27/(-6) - 1). Solve -40*t - 18 = -f*t for t.
6
Let v(p) = -2*p**2 - 30*p - 22. Let s be v(-13). Let t be 64/s + -4 + (-522)/(-135). Solve 0 = t*y - 6*y for y.
0
Let y = 21 - 11. Suppose -h = -2*g - 1, 3*h - 2 = 4*g - 5. Let u(t) = 2*t**2 + 3*t - 7. Let k be u(g). Solve 0*l = k*l + y for l.
-5
Let l be (-11)/(-132) + (-295)/(-60). Solve 3*g + l + 4 = 0 for g.
-3
Let a = 78 - 66. Let u = -221 + 226. Solve -g - a = u*g for g.
-2
Suppose -12 = -2*m + 3*s + s, -4*m + 5*s = -27. Let d be (-3)/m + 703/296. Solve 25 = d*n - 7*n for n.
-5
Let i be (12 - (3 + -1))/((-850)/(-340)). Solve 120*a = 119*a - i for a.
-4
Suppose 3*p - 27 = -12. Suppose -p - 1 = u. Let f be 8/u*(-9)/((-3)/(-3)). Solve 0 = -3*k + 6*k + f for k.
-4
Let h be ((-5804)/(-20) - -3) + (-33)/165. Solve 12 = 297*o - h*o for o.
3
Let c(n) = -2*n**2 + 2*n + 6. Suppose -10*m + 23*m = 0. Let t be c(m). Suppose 3*f = t, -2*h + 7*h + 2*f = 4. Solve h = d - 3 for d.
3
Let h be 9/((-54)/12) - -7. Suppose c - 4*p = 4*c, h*p = 0. Let i(r) = r**2 - r + 3. Let m be i(4). Solve 5*z - m - 5 = c for z.
4
Let n = 178 - 166. Suppose -3*j + n = -24. Solve j = -5*a + a for a.
-3
Suppose 0*s - 2*s + 10 = 0, -w = -3*s. Suppose -844*q + 999*q = 1550. Solve 0 = -q*i + w*i + 5 for i.
-1
Let f(u) = 2*u**2 + 44*u - 72. Let d be f(-25). Solve 6*g = 54 - d for g.
-4
Let n(f) = f**3 + 13*f**2 + 47*f + 863. Let a be n(-14). Solve 581 - 545 = a*s for s.
4
Let p(h) = 38*h - 2193. Let t be p(60). Solve 29 + t = 29*f for f.
4
Let y(h) = -h**2 + 5*h - 6. Let n = 168 - 165. Let c be y(n). Solve 3*f - 1 + 10 = c for f.
-3
Suppose -q - 4*q - 10 = 0, 3*o - 94 = -q. Let j = o + -17. Suppose 3*t = 0, 3*c + 0*t + 4*t - 18 = 0. Solve c*p - 3*p - j = 0 for p.
5
Suppose 126 = 748*o - 576*o - 906. Solve -6 + o = -47*u for u.
0
Suppose -i = -13*i - 216. Let u = 30 + i. Solve 0 = 10*t - u*t for t.
0
Suppose 0 = 4*f + 5*a - 11, -4*a - 20 = -5*f + 45. Suppose f = -2*h + 15. Solve 0 = 5*t + h*t + 16 for t.
-2
Suppose -2*w + s + 15 = 2*w, 0 = -w - s + 5. Let p be -9 - 114/(-5) - (-3)/15. Suppose -w*u = -p + 2. Solve -u*n + 8 = n for n.
2
Let k = 11570 + -11505. Solve -3*a + 71 - k = 0 for a.
2
Suppose 344*t - 295*t + 1537 = 4624. Solve -17*b - 29 = -t for b.
2
Let t be ((-1)/6)/((-1716)/(-144) + -12). Suppose -5*q - 3 = -t*p, -10*p + 8*p = 4*q - 12. Solve p*c + 7 = 23 for c.
4
Let x = -16550 + 16568. Solve 27*s + 63 = x*s for s.
-7
Let x(w) = -194*w - 25. Let c be x(-1). Su