-3*b - n + 12 for b.
3
Let f = 728 - 756. Let p be (-25 - f) + 1/(2 + -3). Solve 0*l + 4*t = 4*l - 8, -t + 4 = p*l for l.
2
Let u = 7724 - 7721. Solve -3*d + 10*b + 13 = 15*b, u*d - 5*b = -7 for d.
1
Let h = -7039 + 7059. Solve n + 16 = 4*c, 5*c - h = 14*n - 10*n for c.
4
Suppose 5*u = 7*u - 10. Let y = 51 + -45. Let n be 4/2*(0 + 6)/y. Solve -2*b + 6 = -4*p, 6 = -u*p + b + n*b for p.
-3
Let i(o) = -37*o + 146. Let s(y) = -13*y + 49. Let x(d) = -4*i(d) + 11*s(d). Let j be x(10). Solve -5*v + q = j*q, -3*v + q = 0 for v.
0
Suppose -153*a + 146*a + 6174 = 0. Let h = a - 852. Let y(o) = -o**2 + 4*o - 3. Let g be y(3). Solve 4*q = 4*t - g*t, 0 = -5*t - 5*q - h for t.
-3
Let y = 65 + -63. Let o(r) = -2*r**2 - 7*r**2 + r**3 - 14*r + 3*r**2 + r**y. Let d be o(7). Solve -j = 2*l - 4, -l - 2*l + 9 = d for j.
-2
Let v(x) = x**3 + 10*x**2 + 17*x + 14. Let n be v(-8). Suppose -23 = n*g - 35. Solve 4*s + 4 = -0*t - t, g*t = -4*s for t.
4
Suppose 3*t = 3*m, 3*m + 23*t - 95 = 7*t. Let s = 5 + -3. Solve -3*j - s*k = -m, -15 = 3*j - 4*k + 4 for j.
-1
Let i be -2 + 31 - (-2 + 9 + -4). Let d be (-5)/1 + (-56)/(-8). Solve 4*p - 12 - 23 = -5*m, d*m + 4*p = i for m.
3
Suppose 40*l = 26*l + 70. Let j(d) = -5*d**2 + 5*d**2 + 2*d**3 - 2 - d**2. Let v be j(2). Solve 0*t = 4*z - 3*t + 35, l*z + 3*t = -v for z.
-5
Suppose -4*x + 8*s + 1260 = 6*s, 5*s = -10. Let y = -314 + x. Solve y = 2*d + n + 8, 5*d + 4 + 1 = 5*n for d.
-3
Let k(q) = -q**3 - 5*q**2 + 19*q - 10. Let i be k(-9). Let x = -141 + i. Suppose 12*g = x*g + 160. Solve -2*a + 8 = -3*s, 3*s - 5*a + g + 4 = 0 for s.
0
Suppose 120 = -11*x + 5*x. Let n be (-15)/x - (4 - (-51)/(-12)). Solve i + 5 = o, -n = -2*o - 2*i + 5 for o.
4
Suppose 0 = 83*t + 57*t - 122*t - 54. Solve -t*b - y = 0, -58*b + 53*b - 10 = 5*y for b.
1
Let y be 2/(4/(-32) - 0) + 1. Let i be y*(2 + 8/12). Let f be 195/(-26)*i/6. Solve -f = 5*g - o - 4*o, 0 = g - 4*o + 25 for g.
-5
Let l = 104 - 32. Let a = 216 + -138. Let w = a - l. Solve 0*d = 5*d + 5, p + 3*d = -w for p.
-3
Let s(m) = -3*m**2 - 16*m - 9. Suppose 5*c - 20 = 8*g - 3*g, 5 = 5*c. Let r be s(g). Solve -13 = 5*u + r, 3*u = t - 16 for t.
1
Let a = -30367 + 30370. Solve -29 + 7 = a*z + j, 4*z - j + 20 = 0 for z.
-6
Let t = 322 + -301. Suppose -5*b + 9 = 5*u - t, 2*b = 3*u + 2. Solve b*v - v - 2*p = 8, -4 = -2*v + p for v.
0
Let i(o) = 2*o**3 - 53*o**2 + 77*o - 48. Let n be i(25). Solve 3*t + s + 5 = -9, s = -n for t.
-4
Let k(x) = -4*x**2 + 42*x - 54. Let s be k(9). Solve -3*n + 3 = s, a + 10 = -49*n + 54*n for a.
-5
Suppose 31 + 83 = 3*u. Let j be (-129)/(-27) - u/(-171). Solve c - j*n + 17 = 6, c - 4*n + 8 = 0 for c.
4
Let j be (1 - -2) + 1 + 0. Suppose -q + 0*s + s = -3, -5*q + 9 = -3*s. Suppose -4*n - 32 = -4*h, -3*h - 5*n + q = 8. Solve 2*c = b + h*b + j, 5*b + 2 = c for c.
2
Let k = -181 + 186. Suppose -s = -h - 2*h - 19, 5*s - 5*h = 45. Solve -k*d = s*p + 13 + 12, -d = -4*p + 5 for p.
0
Suppose 0 = m - w + 2, -10*m + 5*m + 35 = 4*w. Suppose -6*t = m*t - 27. Solve 0 = -t*h + 5*d - 8 - 8, -5*d = h - 28 for h.
3
Let f be -1 + 1/((-2)/(-6)*-1). Let q(l) = -7*l - 26. Let a be q(f). Solve -3*n - w - a*w = 6, 3*n + 4*w + 6 = 0 for n.
-2
Suppose 0 = -5*o + 3*a - 23, -2*a - 10 = 5*o + 8. Let c be 360/27*3/5*o. Let i = c + 40. Solve 4*n = -5*x - i, 4*n + 0*n - x = 16 for n.
3
Let k(a) = -41*a**2 - 451*a. Let x be k(-11). Solve x*u + 5*l = -2*u - 6, 4*u + 12 = 4*l for u.
-3
Let s = -275 + 275. Suppose 4*t + 13*t = s. Solve -f + 2 + 2 = a, 5*f + 4*a - 19 = t for f.
3
Let p(v) = -v**3 - 4*v**2 + 4*v - 2. Let q be p(-5). Let y = 9 + -5. Let t = 129 - 129. Solve 0 = y*b + 20, 11 = -d - t*b - q*b for d.
4
Let i be (((-21)/(-14))/1)/(1/(-4)). Let o be (i/(-4))/((-18)/(-4) - 4). Solve -3*q - 24 = -3*j, 2*j - o*q - 13 = 6 for j.
5
Suppose 63*q - 166 = -40. Solve -3*v - 7 = -2*l - 3*l, -q*l - 4*v = 18 for l.
-1
Let b(r) = r**2 - 6*r - 22. Let n(c) = 10*c + 159. Let w be n(-15). Let x be b(w). Solve -x = 2*p - g, -4*p - g = -5*p - 4 for p.
-1
Suppose 2 = 2*p + 3*n, -7*p + 2*n + 24 = -2*p. Suppose 3*l = 28 - p. Suppose -2*g + 8 = -0*g - 4*v, 3*g = 2*v + l. Solve x = g*f - x + 8, -3*x = f for f.
-3
Let y be (-2)/(-7) - (108/21)/4. Let m be -4 - (-8 - (-3 + y)). Suppose w + 2 - 5 = m. Solve -3*b = -5*r, -r + 3*b - 3 = w*r for r.
3
Suppose -5*r + 4*o = -73, -19*o + 23*o + 60 = 4*r. Solve -r*k + 18*k + 11 = -3*n, n + 5*k = -7 for n.
-2
Let y = 409 - 381. Suppose 15*f - y*f = -104. Solve 0*z + f = s + 3*z, 3*z - 2 = 2*s for s.
2
Let r(z) = 7*z + 20. Let i = -35 + 33. Let f be r(i). Solve -3*v - 5*j = 25, 2*v = f*v + 3*j + 26 for v.
-5
Let f = 4 - -1. Let v = -1 + f. Suppose -111499 + 112491 = 31*o. Solve -26 - 1 = -4*d - 3*s, -4*s + o = v*d for d.
3
Suppose 0 = -3*i + 4*r - 244, -14*i = -10*i - 2*r + 342. Let h = 91 + i. Solve 0 = h*n - 3*t + 12, -4*n + 0*n = -5*t + 20 for n.
0
Let f be 0 + 4 + 3*1. Let w(b) = -3*b + 10. Let s be w(1). Let x be (6/3 - 6/3) + s. Solve 0 = 3*m - 2*a - 0*a - x, 4*m - 5*a = f for m.
3
Let n = 231 + -226. Suppose 0 = 3*f + f - 28. Let l = f + -5. Solve n = -l*r - 3*r, 19 = -4*y - 3*r for y.
-4
Let o be (-16)/64 - (-7)/(-4). Let h be ((o + 0)/2)/((-14)/42). Solve n = -3*p - 5 - h, -5*p - n - 16 = 0 for p.
-4
Let k be (3 - 7/2)/((-2)/172). Let m = k + -41. Solve 2*f = m*u + 16, -2*u - 18 + 5 = -f for f.
3
Suppose -28*l - 2*z - 8 = -27*l, -l - 5*z = 23. Solve -4*w + 12*p - 7*p + 9 = 0, -2 = -l*w + 2*p for w.
-4
Let b(a) = -54*a + 4432. Let o be b(82). Solve -4*r = -0*r - 4*z + o, 4*z - 10 = r for r.
2
Suppose 4*q + 3*u - 66 = 0, 3*q + 5*u + 44 = 110. Solve o + 2*z - 3 = 0, 0 + q = 3*o + 3*z for o.
5
Let q = -165 + 169. Suppose -q*d = 4*f, 2*d - 5*f - 4 = 3. Suppose 0*i - 5*i = 0. Solve -2*x - d = -4*u - 3, -5*u + 10 = i for x.
5
Let i(h) = -164*h + 1982. Let d be i(12). Solve 13*g = -x + d*g - 3, 3*g = -3*x + 3 for x.
-1
Let i = 51 + -41. Suppose i*z - 3*z + 315 = 0. Let u be (-80)/z + (-6)/(-27). Solve -4*r = -o - 6 + u, 3*o - 4*r + 4 = 0 for o.
0
Let d be (8/(-10))/(2/(-30)) - 7. Solve -2*z = -2*w + 6, -d*w = 4*z + 8 + 4 for w.
0
Let d be (-2 - -14)*-1*1. Let y be ((-6)/(-4))/(d/(-32)). Let s be y*((-9)/4 + 3). Solve 9 = s*t - 3*i - 15, -5*i - 20 = 0 for t.
4
Suppose -5*h = -3*h - 16. Suppose j + 21 = 5*y, -2*y + 28*j - 26*j + 18 = 0. Solve -i = -r - 0*r - h, 4*r - y*i + 27 = 0 for r.
-3
Let y(x) = 7 - 56*x**2 + 55*x**2 + 7*x + 3 - 2 + 3. Let z be y(8). Solve 4*h + z = h - 3*s, 4*s - 6 = -2*h for h.
-5
Let r = 8 - 6. Suppose 0 = -2*l - 10, l = v - r*l - 40. Suppose v*a - 30*a = -15. Solve -2*x - 5 = -p, x = -x - a*p - 1 for x.
-2
Suppose -4*v + 5*i + 46 = 0, 20*i + 40 = 4*v + 16*i. Solve 0 = 3*y - 0*y - 5*h + 10, v*y = h - 2 for y.
0
Let x(i) = 2 + i - 3 + 9. Suppose -18*d = 2030 - 1922. Let u be x(d). Solve 0 = 2*j - 4, -3*j = -4*v - 0 - u for v.
1
Suppose -2*x = -8, -2*x + 6*x - 8 = 2*g. Solve -3*v + 8*d - 7 = 4*d, -g*d - 18 = 2*v for v.
-5
Suppose -363 = 37*g - 145 - 366. Solve -5*v + 2*d - 3*d = 24, 3*v - g = 4*d for v.
-4
Let z(p) = -49*p + 63. Let q be z(-4). Let g = -254 + q. Solve l = -2*l + 2*j, g*j = -l - 17 for l.
-2
Let c(x) = 79*x - 551. Let g be c(7). Let n be (-2)/3*(-21)/(-14). Let y be (n/2)/((-1)/6). Solve h - 2*r = g*h - y, -2*r + 18 = 4*h for h.
5
Let k = -262 - -263. Let v be (-6)/18*-5*3/k. Solve 0 = -3*y - 0*y + v*o - 34, -y + 5*o = 28 for y.
-3
Let l = 33749 + -33729. Solve 2*p - 15*a + 14 = -l*a, 3*p - 5*a - 29 = 0 for p.
3
Suppose -3 = 2*n - 7. Suppose 2*v + 2*r + 4 = 0, n*v = 4*v + 3*r + 7. Let i be 36/18 + 3/v. Solve -4*b = -5*y, 0 = -y - i*b - 17 - 12 for y.
-4
Let h(o) = 13*o**2 - 19*o - 97. Let u be h(-8). Let r = u - 883. Solve 8 = v - 4*t, r*v + 0*v - 2 = t for v.
0
Suppose -4*m + 12 = -0. Let u be 2 + (-102)/(-25) + (-28)/350. Solve u = m*d, f + 7 = -0*f + d for f.
-5
Suppose 36 = -14*d + 17*d. Suppose -d - 232 = -4*t. Suppose 0 = -0*p + 4*p + f - t, 0 = 4*p + 4*f - 76. Solve -7*s + 2*s + 3*o + 19 = 0, -2*o = -4*s + p for s.
2
Suppose 3*p + 4*t = 20, 9*t - 52 = -11*p + 5*t. Solve -p*a = -5*n + 1 + 4, 2*n - a = 2 for n.
1
Suppose -2*g = -362 + 292. Solve -5*o + g = -5*f, -4 = -f - o - 7 for f.
-5
Suppose -37*r = -79*r + 462. Solve 8*h + 4*l - 4 = r*h, -h + 6 = -5*l for h.
-4
Suppose -5*y + 24 = 3*y. Suppose 244 = 2*v + 238. Solve v*c + 3 = 2*p, 