*y + t for b.
-3
Let r be 22/(-77) + 37/7 + -2. Solve 0 = 4*b + 12, b = r*f - 0*b - 3 for f.
0
Suppose -1572*q = -1579*q + 35. Let g be (2/(-1))/(2/(-3)). Solve -q*t - 4*v = -g*v - 12, 3*t + 2*v - 10 = 0 for t.
2
Let n = 174 + -173. Solve 3*c = 2*d + n - 4, 5*d + 3*c = -3 for d.
0
Let n(h) = -2*h - 2. Let q be n(8). Let j be 132/q + 2/6. Let f(p) = p + 11. Let z be f(j). Solve -z*c - 1 = v, -6*c = -c for v.
-1
Let w = -36 - -48. Solve 0 = 3*t - 3*x + 6*x, w = -4*x for t.
3
Suppose 0 = 11*u - 59*u. Solve 1 + 2 = -3*l, u = x - 3*l + 1 for x.
-4
Let r = 37 + -32. Suppose -3*i = 4*h - 3 - 25, h = r*i - 85. Solve i = q + 5*m, q + 3*m - 4 = m for q.
-4
Let t = -98 - -110. Solve -s - 6*r + 1 = -4*r, 0 = 3*s - 3*r - t for s.
3
Let l(z) = 2*z + 70. Let t be l(-31). Solve p - 3*d + t = 0, 4*p + 3*d + 4 = d for p.
-2
Let b = 5 + 0. Suppose -3*c = -d - 4, 2*c = 4*d - 2*c + 16. Let m be 10/d*16/(-10). Solve -b*z = -2*x + 4, m*x + 2 = 3*z + 10 for z.
0
Let b = -145 + 148. Solve 2*q - 4*m = -8, -4*q = b*m - 0*m - 6 for q.
0
Let b = 0 + 3. Suppose 0 = -b*y + 6*y. Suppose y*s - 28 = -4*d + 4*s, -s = d - 3. Solve 0 = d*v + 20, -8*v + 4*v - 16 = -2*u for u.
0
Suppose 2 - 8 = -3*f. Suppose -3*b + 25 = -f*t, 3*b - 4*t - 32 = -b. Let l be 13 + (16/(-4) - 4). Solve -k = 2*d + b, -d = k - l*d - 9 for k.
-3
Let k be (2 - (-373)/(-5)) + (-15)/(-25). Let a be ((-2)/6)/(12/k). Solve a*f = -5*n + 29, 27 - 4 = 5*n - f for n.
5
Suppose 0 = p - 5*z + 22, -5*p + 2*z = 6 - 11. Solve h - p = -g, 10*h + 4 = 13*h + 2*g for h.
-2
Suppose -k = 2*k + 27. Let v = k + 33. Let a be (-4 - 36/(-8))*v. Solve -2*i + 3*q + 13 = 0, -q + 3*q + a = 3*i for i.
2
Let f = -12 + 12. Suppose -2*m + m = f. Suppose -d + 21 = -m*d. Solve 5*p - 3*y = 24, 0 = 4*p - y - 2*y - d for p.
3
Let t(u) = -4*u + 2. Let n be t(3). Let x = -6 - n. Suppose z = -z + x. Solve -2*f - m = -3, 5*f - 3*f - 2 = -z*m for f.
2
Let x(j) = j**2 + 22*j + 87. Let u be x(-5). Solve u*w = -4*f + 1 - 7, -5*w + 2*f - 15 = 0 for w.
-3
Let g = -256 + 253. Let k(c) = -c - 4. Let t be k(-6). Let v = t - g. Solve -d = v*h - 12, 0 = 4*d + 2*h - 6 - 6 for d.
2
Suppose -46 = -2*a + 2*o, 2*a = 3*a - 4*o - 38. Solve -5*b - a = u, -5*b + u - 12 = -0*u for b.
-3
Suppose -4*i + 4*p - 32 = 0, -3*p + p = 4. Let d be (i/10)/((-2)/(-16)*-1). Solve -5*g = -5*y + d + 32, -2*y + 3*g = -20 for y.
4
Suppose d - 56*v = -52*v + 19, -4*d + 5*v + 32 = 0. Solve d*a + 2*j - 16 = 0, 0 = -3*a + 2*j + 1 + 7 for a.
4
Suppose 2 = -3*m + 8. Let q be -1*(2 - (m + 11)). Let j(h) = 3*h**3 - 3*h**2 + 3*h - 14. Let a be j(2). Solve -4*l + 3*i = q, 7*i - 7 = 2*l + a*i for l.
-2
Suppose -113*q + 36 = -104*q. Solve -2*m - 9 = -m + 4*l, 4 = -q*l for m.
-5
Let o be ((-3)/(-4))/((-348)/96 + 4). Solve -2*r = -6*r + 4*p, -p = -o for r.
2
Let t = 5 - 3. Let w be (0 + -2 + 2)/2. Suppose 0 = -4*f + 32 + 24. Solve 5*j + f = -2*h, -t*h = 3*j - w*j + 10 for h.
-2
Let p(w) = -7*w + 61. Let i be p(7). Solve -3*f - x = 16, 3*x + 12 = -3*f - i for f.
-4
Suppose 0 = -4*k + 5*s + 7, -4*s = -4*k + k + 5. Solve -u + 4*r + 10 = 2*r, k*u - 15 = r for u.
4
Suppose -4*c - 2*g + 5 + 13 = 0, 5*c - 24 = -2*g. Solve 0 = -d - 5*v + 14, 0 = d + 3*v - c - 2 for d.
-1
Suppose 0 = -4*d + 19 + 17. Suppose 9 - 12 = 3*g. Let c be 1/((36/16)/(-3) - g). Solve 3*m - d = -3*y, -c*y = -2*m - 7 - 5 for m.
0
Let a = 22 - 16. Suppose a*i = -230 + 80. Let c = i + 36. Solve m = 5*m - 4*k - 12, -c = -3*m + 5*k for m.
2
Suppose -5*t + 28 = 8. Suppose -t*j = -4*z - 24, 0*z - 8 = -3*j - 2*z. Suppose -j*q = -q. Solve 0 = -3*r + 4 - 7, v + r = q for v.
1
Let h be 1*3 - (-1)/1. Let m be (-36)/15*(-50)/h. Solve -5*n + 2*b - m = -3*b, n - 5*b = -18 for n.
-3
Let x = 0 - 0. Let g = 78 - 111. Let w = 37 + g. Solve -3*j = -w*s - x - 3, -4*s + 5 = 5*j for j.
1
Let d be (-24)/3 - (80/(-5) - 3). Solve -3 = 3*k - 3*b, 5*k - 7*b + d*b = -32 for k.
-4
Let r(t) = t + 2. Let b be r(2). Let u be (-2 + b)/(4 + 40/(-12)). Solve 5*d + 6 - 1 = 3*h, -u = 3*h - 3*d for h.
-5
Suppose 5*s - 25 = 0, 6*s - 2*s = -3*t + 20. Solve 5*y = u + 10, 0 = -5*y - t*u - 4*u - 15 for y.
1
Let v(n) = -14*n - 62. Let f be v(-5). Solve -5*j = -f*j + 5*o + 9, -5*j - o = 13 for j.
-2
Suppose 0*b = 5*b - 125. Let d be (2 - ((2 - -5) + -2)) + b. Solve 0 = -5*g + 4*i - 23, 3*g = -g + 5*i - d for g.
-3
Let f(w) = 2*w - 14. Let a be f(8). Suppose 0 = -2*l + a + 18. Suppose 0 = l*q - 7*q - 21. Solve -c + 3*u = q, 5*c + 7 = 4*u - 3*u for c.
-1
Let c = 1183 - 1179. Solve 12 = 5*o - 3*y, 0*o + c = 2*o - y for o.
0
Let q(f) = -f + 8. Let p be q(3). Let g(b) = 3*b - 8. Let w be g(4). Solve 4*k + w*l + 20 = 0, -p*l - 19 = 6*k - 4*k for k.
-2
Let i(b) = -b**2 - 6*b. Let w be i(-5). Let j(h) = -40*h + 240. Let z be j(6). Solve -w*d - 3*f + 15 = z, -d + 3 = f - 3*f for d.
3
Let a be 0/(-1) + 31 + -11. Suppose -3*t - 12 = -4*x, 2*x + a = -x - 5*t. Solve x = -4*j - 2*q - 4, 2*j + 4*q = j - 8 for j.
0
Let p(q) = -q**3 - 3*q**2 - q - 2. Let t be p(-3). Let s be (-2)/(-3) + 4/(-6) + t. Solve s = j + 3*x, 0 = -2*j - 4*x + 4 for j.
4
Let j(g) = g + 2 - 4 + 1. Let c be 0 + 0 + 3/1. Let l be j(c). Solve -l*d - 5*u + 18 = 0, 5*d + 0*u = -2*u + 24 for d.
4
Let k = 1047 + -1035. Solve 0*l = 3*p + l + 18, 3*p - l + k = 0 for p.
-5
Suppose -6*m = -4*m + 3*d + 5, 5*d = -15. Let n be 8/m - -3*(-12)/18. Solve a - 35 = 5*t + 6*a, a = -n*t - 11 for t.
-4
Suppose -k + 4 = x - 4, -3*x + 19 = 2*k. Let i = 6 - x. Solve -2*f = w - 3*w, -i*w - 24 = 5*f for w.
-3
Let t(o) = -o**3 + o**2 - o. Let l(b) = -2*b**3 - 3*b**2 + 3. Let v(s) = l(s) - 3*t(s). Let z be v(6). Solve 4*i + z = 5, q + 19 = -4*i for q.
-3
Suppose 4*w - 24 = -2*a - 0, -w - 2*a + 12 = 0. Solve -2*i = w*u + u + 28, -4*u - i - 20 = 0 for u.
-4
Suppose 804*b - 800*b = 0. Solve -4*t + k = -b*k + 21, t = 3*k - 19 for t.
-4
Suppose 3*k = 5*j - 71, 3*k + 1 + 5 = 0. Let t = -4 + j. Suppose -i = 5*o - 35, -4*o - 4*i = -t*o + 10. Solve 0 = 3*f + 4*y - 1, 3*y - 5 = -4*f + o*f for f.
-1
Let f = 701 + -698. Solve 3*s = -s - 5*p + f, 5*p = s + 18 for s.
-3
Let z = 49 - 46. Solve 0 = 5*i + 2*d + 11, -5*d - 17 - 1 = z*i for i.
-1
Let g = 36 - 15. Let l = g - 17. Let y be 99/22 - (-2)/l. Solve y*j + 12 = -3*b, -j = 5*b - 4*b + 2 for j.
-3
Suppose 0 = -5*y - 5*c + 25, -3*y - 2*c = -7*c - 7. Let f be (-2)/(-11) - 248/(-88). Solve -3*a - f*v = 9, -3*v - 1 = -a - y for a.
-3
Let x = 88 + -86. Solve x*q + 4*k - 3*k + 10 = 0, 20 = -4*q + 3*k for q.
-5
Suppose -6*c + 113 + 271 = 0. Suppose 12 = -c*n + 68*n. Solve 5*k = -4*v - 36, 5*v = -n*k + 5*k - 12 for k.
-4
Suppose -3*n + 20 - 5 = 0, -4*x + 170 = 2*n. Solve -s = 4*s - 5*v + x, 5*s = -v - 16 for s.
-4
Suppose -3*c + 5*a + 27 = 0, c - 9 = 2*a - a. Let k be 4/(-18) + 47/c. Let o be (-9)/12 - 46/(-8). Solve 0 = -y + o*x + k, 2*y + 1 = 7*y - x for y.
0
Suppose -27 = -5*m - 12. Let y(r) = r**2 - 4*r - 7. Let n be y(7). Solve m*d + c - 14 = 0, d + 4*c = -c + n for d.
4
Let w(v) = 12*v + 131. Let n be w(-10). Solve -5*s - 5 = 0, -r = 5*s + n - 2 for r.
-4
Suppose 0 = -c + 4*x, -2*x = -2*c - 7*x + 13. Suppose -3*a = -16 + c. Let r be (-6)/a*10/(-3). Solve 4*y + 5*t = -22, -y - t + r = -5*t for y.
-3
Let k(m) = -m**2 - 5*m - 1. Let s be k(-2). Let c be (-16)/(-20) + (-2436)/(-105). Solve -v + s = 0, -2*v + c + 11 = -5*l for l.
-5
Let a be 5/(5/(0 - -5)). Suppose 0*h - 5 = -2*h - 5*q, 25 = h - a*q. Solve 4*i = -o + h, 4*i - 18 + 6 = 0 for o.
-2
Let h be 1*5 - 15/5. Let j(b) = 2*b - 2 - b**3 + 8*b**2 - b - 4 + b**h. Let m be j(9). Solve 5*o - 21 = 4*s - 0*s, 22 = -m*s + 5*o for s.
1
Suppose 8 = -24*x + 32*x. Solve 3*i = -4*d + 9, -x = 2*i + d - 7 for i.
3
Let j be -1*-1*(-3 + 20). Suppose 0 = m - 0 - 2. Let g be 12*((-42)/(-8))/7. Solve 3*p + g = 5*a, m*a + 4*p - j = -a for a.
3
Let d be 56 + ((-44)/(-33))/(6/(-9)). Solve -13 = -4*y - 5*x - d, 2*y - 4*x - 12 = 0 for y.
-4
Suppose -162*n = -160*n. Solve 22 = 4*u - 0*m + m, -u - 3*m + 11 = n for u.
5
Let y be 0 + 8/(7 - 3). Suppose -3*s + 5*j = 16, 4*s - y*j - 2*j + 8 = 0. Solve -s*x - 2 = -g - g, -4*x = -2*g for g.
4
Let x(d) = -d**3 - 7*d**2 - 12*d - 33. Let u be x(-6). Solve 5*g = 2*w - u*w + 19, -g - 5 = -2*w for g.
3
Let z be (-3)/27*3*-36. Suppose 2*d - d = 3*j, 3*d - z = -3*j. Let g be -1 + (-3)/(-1) - 2. Solve -d*h + 5*f - 3 = g, -4*h - f - 4 = -23 for h.
4
L