 + 3 = c, -3*c - 5*v + 20 = 0 for c.
5
Let b = -3529 + 3531. Solve -2*j = -b*w, -5*w = 13*j - 8*j - 10 for w.
1
Let d be 2 + 10/(10/5). Suppose 0 = 2*r - 27 + d. Solve c = -2*s + 5, -s = -c - c - r for s.
4
Suppose -3*b - 4*w + 63 = -47, 0 = -b + w + 46. Suppose 51 = 3*o + b. Suppose 3 = 5*t + 5*a - 7, -5*t = a - 6. Solve -11 = 5*c + m, 2*m + t = 2*c + o for c.
-2
Let i(k) = -9*k**2 - 2. Let g be i(0). Let x(y) = -2*y + 5. Let q be x(g). Solve -q = l - f - 2, 2*l = -3*f + 11 for l.
-2
Let m be 2/((-162)/63)*-18. Solve 3*u = 2*o + m, 2*u - 8 = o - 0*u for o.
-4
Suppose -2*h - 8 = 0, 5*u + 18 = 4*h - 21. Let c = 13 + u. Solve 4*n = c*o - 0*n + 10, -3*n = 2*o - 4 for o.
-1
Suppose r - 3*k - 12 = 5*r, 34 = -3*r + 4*k. Let m be (-4)/(-22) + r + 705/55. Solve -g + 6 = -j, 2*j + 9 = 3*g - m for g.
4
Suppose 44*s - 90 = 130. Suppose 35*a + s*a = 200. Solve 0 = 3*h, -4*f + 22 = a*h + 6 for f.
4
Let i(p) = 1 + 7*p - p**3 - 2 - 1 + 5 + 6*p**2. Let l be i(7). Solve -3*q + 0 + 9 = 0, -5*a + l*q = -16 for a.
5
Let k be ((-8)/1)/(-1)*685/1096. Solve -47 + 16 = -3*l + k*j, 7 = -4*l - 3*j for l.
2
Let c(y) = -134*y - 1738. Let p be c(-13). Solve 0 = -p*b - o + 2, 0 = -2*b + 6*o - 7*o + 2 for b.
0
Let i(g) = -8*g + 54. Let x = 776 - 770. Let m be i(x). Solve u = 4*n + m - 1, -4*n = 8 for u.
-3
Let a be (-10)/(-5 - (93/(-92) - 4)). Let m = 922 + a. Solve -m*s + 3*c = 7, -5*s - 3*c - 9 - 19 = 0 for s.
-5
Suppose 0 = 24*o + 13*o - 60 - 162. Solve -3*h = -4*t - 22, 2*h = 4*t - o*t + 10 for h.
6
Suppose 0 = 82*b - 1050 - 180. Solve -5*z = -b, 7*j = 11*j - 4*z + 8 for j.
1
Suppose 0 = d + 2*r - 16, 3*r - 504 + 498 = 3*d. Solve 0 = 138*g - 140*g + 4*y - d, -5*g = 2*y - 26 for g.
4
Let y = 109 + -44. Let j be 0 - (y - -4)/(9/6). Let t = -41 - j. Solve -4 = f + 3*a, -t*a = -5*f - 2*a + 34 for f.
5
Let q = 2251 + -2239. Solve q*a - 3*o - 3 = 15*a, 0 = 3*a + 5*o + 5 for a.
0
Let s = -3499 - -3524. Solve -5*k + s = -3*b, b = -2*k + 4*b + 10 for k.
5
Let u = 31 + -27. Let j be 336/144 - 8/6. Solve -k + j = 0, 0 = -0*m + u*m + 5*k + 15 for m.
-5
Suppose -104*u - 22*u + 376 = 62*u. Let t(g) = g**2 - 5*g + 2. Let w be t(5). Solve w = -5*h + 3*c + 23, 0 = -3*h + u*c + 13 for h.
3
Suppose 12*g - 41*g - 35*g + 128 = 0. Let w(c) = c + 9. Let u be w(-6). Solve -u*f - 5*a = 40, 8 + g = -2*a for f.
-5
Suppose 6*l - 96 = 354. Let g be l/21 - 4/7. Solve 3*a - a + 8 = 0, g*f - 26 = 5*a for f.
2
Let i be -1 + (-3 - -758)/5. Suppose i*v = 148*v + 8. Solve -5*w + 1 = v*z, -13 = -w - 3*z - z for w.
-3
Let n(v) = -v**2 - 9*v + 3890. Let z be n(-67). Solve 5*h - 8 = 10*o - 14*o, z*h + o = 13 for h.
4
Suppose w = -1 + 3. Suppose -5*f + 49 = g, 3*f - 5 = w*f + g. Let q be (30/f + -4)*-6. Solve -d + 6 = v - 0*d, q*v = -d + 15 for v.
3
Suppose -4*q - 30 + 10 = 0, -3*a = -3*q + 96. Let p = -46 - a. Let d be (5/6)/(p/(-54)). Solve -4*z - z + 15 = 0, 3*u = -d*z + 3 for u.
-4
Suppose 14*k - 233 = -163. Solve -k = 3*y + 5*c, -y - 5*c + 33 = 28 for y.
-5
Suppose -54 = -22*l + 56. Solve 5 = 4*x + 3*o - 4*o, -l*o - 25 = 3*x for x.
0
Let a(g) = g + 15. Let x be a(0). Let l = 3381 - 3377. Solve -3*o = 4*r - 22, l*o - x + 3 = -r for o.
2
Suppose -x + 2*x + 4*d = -17, 5*d + 19 = -2*x. Suppose 2*l - 35 = -x*l. Let g be (l/(-4))/((-2)/16). Solve 3*w = -5*h + 34, g + 5 = 3*w + 2*h for w.
3
Let p = 124 - 332. Let b be (12/26)/((-32)/p). Solve -4*r - 4*s - 32 = 0, 0 = -r + b*r - 4*s - 2 for r.
-5
Suppose 302*g - 744 = 240*g. Let j = -14 - -18. Solve -4*w + q + g = 0, -3*w + 0*w - j*q = 10 for w.
2
Let z = -266 - -270. Let j be 8 + -5 - (7 - -1). Let r be (-30)/(j/10 + -1). Solve -4*q - r = -4*l, 3*l = 2*q + 15 - z for q.
-4
Suppose 1458 = -18*x - 702. Let t = x + 124. Solve 0 = -t*y - 5*a + 7, 3*y + 4*a = 4*y - 7 for y.
3
Let n(m) = 4*m + 4. Let r(d) = d - 1. Let p(z) = n(z) - 8*r(z). Let a be p(1). Solve 3*f + a = q, 0 = -2*q + 5*f + 16 - 3 for q.
-1
Let y(r) = -3*r + 129. Let b be y(42). Suppose 0 = -5*t + 3*q + 27, 2*t - 24 = -2*t + b*q. Solve -5 = -j + 5*w - t, -w = 4*j - 8 for j.
2
Let w(k) = -k. Let d be w(-6). Let l(p) = -2*p**2 + 13*p - 3. Let h be l(d). Suppose -b = h*b - 20. Solve 21 = 6*r - r - 4*o, b*r + o - 1 = 0 for r.
1
Suppose 5*a = -0*o + 5*o - 10, 3*o + a = 18. Suppose 112 = -o*b + 21*b. Solve -3*u - b = -4*p - 15, -6 = u + 3*p for u.
0
Let f(o) = -191*o + 4777. Let j be f(25). Suppose -5*u + 25 = -4*q, -5*q - 6 = -4*u + 14. Solve -2*z = s - 3, 5*z + q*z - 12 = j*s for z.
2
Suppose 0 = 3*i + 2*o - 6, -25 = 7*i - 11*i + 3*o. Suppose z + 3*r - 32 = 7*r, -5*z + 80 = -i*r. Solve l + z = -2*d - 0*d, -l = -2*d - 4 for l.
-4
Let l be (-2)/(-4)*(-2 + 6). Let p(h) = -h**3 + 70*h**2 - 138*h + 156. Let a be p(68). Solve -l*n + 35 = 6*u - u, -5*u = -n - a for u.
5
Suppose 0 = -2*j - 3*j, 10 = 5*a + 2*j. Solve 5*f + 22 = k, 3*f + a = -k - 4*k for f.
-4
Suppose -12*q = -5*q - 42. Suppose -6 = -q*j - 0. Let z be 9*j - (-64)/(-16). Solve 0 = z*a - 4*a + 4*p + 11, -5*a = p - 21 for a.
5
Let j(b) = 4*b**2 - 20*b + 7. Let c be j(5). Let l be c + 8/(64/104). Solve -5*h + v = -20, -h + 2*h = 5*v - l for h.
5
Let u = -39 - -66. Let s = -21 - -46. Suppose 2*a - 25 = -s. Solve a*c = -2*y - 5*c - u, 29 = -4*y - 5*c for y.
-1
Suppose 5 = 5*k - q, -117 = -2*k + 4*q - 115. Solve -2*t - 9 = z, 0 = 2*t - z - 0*z - k for t.
-2
Let f = -374 + 383. Suppose n - 3*j + 1 = 4, 2*j = -3*n + f. Solve 3*l = -4*a - 18, -14 = l + a + n*a for l.
-2
Let y be 204/26 - (-716)/4654. Solve -4*h - 2*z + z = y, -3*h - 5*z - 6 = 0 for h.
-2
Let s(w) = 21*w**2 - 84*w. Let z be s(4). Let q = 13 + -10. Solve -2*d + 4*l + 4 = z, 0 = -5*d - 2*l - l - q for d.
0
Let h = 11 + -6. Let l be -17 + (1 - -1) - 4. Let g be 2/14 + l/133. Solve -o - 5*p = 2*o - 25, 5*o + p - h = g for o.
0
Let u(c) = -5*c + 109. Let t(o) = -7*o + 112. Let g(w) = -6*t(w) + 4*u(w). Let a be g(11). Solve 3*n - 6 = 0, -a = 5*f - 5*n + 14 for f.
-2
Suppose -h = -4, 4*v - 8 = -7*h + 9*h. Solve -3*x + 5*r - 12 - v = 0, r = -x for x.
-2
Let m(j) = -2*j**2 - 53*j - 311. Let c be m(-17). Solve -3*p - c = 3*b, -2*b - 16 = -2*p - 12 for b.
-3
Let n(w) = -3*w**2 + 88*w - 24. Let z be n(29). Solve 11*b - 10*b = 5*o, -z*b + 2*o = 0 for b.
0
Let m be 6 + 36 + (5 - 1 - 0). Suppose -14*k + m = -10. Solve n = -a + 2, k*a - 10 = -n - 2*n for n.
-2
Let l = 2304 - 2292. Solve -10 = -2*v, 2*u + 2*v + 0 = l for u.
1
Let f be ((-110)/30)/((-2)/6). Let p be f*((-40)/5 - -9). Solve -p = -3*d - j, 3*d - 13 = 3*j - 2*j for d.
4
Suppose 12 = 2*d - 6. Let u = 7549 + -7544. Solve 4*p = 3*h - d, u*p + 4*h = 12 - 0 for p.
0
Let r = 19002 + -18965. Solve 0 = 2*m + 3*s + 1, -s - 38 + r = 0 for m.
1
Let k be 27 + -1*(-2 + -3 + 72/12). Solve r + 4*r + 4*x = 34, -5*r = -4*x - k for r.
6
Let j(k) = -30*k**2 - 1802*k - 114. Let r be j(-60). Solve -s = -r*w + 4*w - 9, 0 = 5*s + 4*w - 17 for s.
5
Suppose 303*y - 1030 + 1025 = 4237. Solve -f + 17 - 3 = 5*t, -5*f = -3*t + y for t.
3
Let i(s) = -s**2 - 6*s + 19. Let a be (-16 + 0)*54/108. Let z be i(a). Solve -3*t = 5*w - 9 - 12, z*w = 9 for t.
2
Let o(u) = -75*u**3 + u**2 - 4*u + 4. Let g be o(2). Let k be (g/(-32))/15*(0 + 4). Solve -4*w = -k*s, -3*s - 2*w = -12 - 10 for s.
4
Let v be (-7098)/(-351) + (-2*75/(-54) - 3). Solve 5*a - 5*l + 2*l = -v, 5*l - 27 = 2*a for a.
-1
Let u = -571 - -571. Solve 4*p + 2*f - 3 = -f, u = 2*p + 4*f - 4 for p.
0
Suppose -69*o + 92*o = 115. Suppose 0 = -2*p - 5*g + 135, 5*g - 65 = -3*p + 130. Suppose 5*n + p = 8*n. Solve 0*m + n = 5*k + o*m, k - 2*m = 7 for k.
5
Let t = 16 + -13. Suppose -3*d - 84 = -4*c, -3*c + 8*c + d - 86 = 0. Solve -b - 2 = v - 4*b, 3*b = -t*v - c for v.
-5
Suppose 2*f - 50 = -2*s - 34, 3*f - 5*s = -32. Solve -a + 15 = 3*m - f, 5*m + a - 24 = 0 for m.
4
Let t be (-12 + -5 - -14)*-5. Solve 5*i - t - 22 = 3*h, -5*h - 5 = 3*i for h.
-4
Let o = 21 - 17. Suppose 4 = -4*d - 5*k, -6*k = d - o*k - 2. Let l(h) = -h**3 - 6*h**2 - 4*h - 16. Let c be l(d). Solve -3*s = -s - c, -4*b - 32 = -5*s for b.
-3
Let t(s) = -9*s**2 - 17*s - 192. Let b be t(-7). Let a = -510 - b. Solve -a*l = 4*z - 0*l - 8, 2*l - 5 = -3*z for z.
1
Suppose 6*l - 30 = 2 - 14. Solve 5*z + 7 = -3*j, -j - 11 + l = -4*z for z.
1
Let z(h) = -h**3 + 16*h**2 - 31*h + 24. Let j be z(13). Let m be (-2)/9 + j/576. Let r be 14/8 + 2/8. Solve -5*x - 5 = -5*d - m*d, 