 j = b - 3 for b.
0
Let h(f) = -2*f + 16. Let x be h(6). Let r(l) = 5*l**2 - l - 4. Let j be r(x). Let n = j + -44. Solve t - 14 = -4*k, 2*k - 7*k + 4*t + n = 0 for k.
4
Let t(i) = 7*i - 167. Let p be t(25). Suppose -p - 72 = -16*m. Solve -m*r - 2*w + 6 = w, -3*r - 5*w - 6 = 0 for r.
3
Let b = 15841 + -15521. Solve 0 = -4*c - 319*f + b*f - 20, -c + 16 = 5*f for c.
-4
Let p = 173 + -189. Let u be (p/10)/((-10)/100). Solve 4*l = 4*m - 0*l - u, 3*m + 3*l = 6 for m.
3
Let m(g) = -g**3 - 4*g**2 + 5*g + 2. Let p be m(-5). Let u = 1281 + -1278. Suppose u = -3*c, 2 = 4*v + c - 13. Solve -p*f = 4*z - 4, -v*z - 2 = f - 4 for z.
0
Let i = -5 - -9. Suppose 0 = -n + 2*c + 336, -2*n - 2*n - c = -1326. Let v = n - 322. Solve -4*z - 1 = -r + 12, v = -i*z + 2*r for z.
-4
Let t = -14 - -22. Let y(r) = -r**3 - 3*r**2 - 8*r - 6. Let l be y(-5). Suppose -14*k = -0*k - l. Solve -u - 4*j = t, u - j + k = -3*j for u.
-4
Suppose 40*l = 94 - 14. Solve -d + 2*a - 29 = -6*d, 0 = 2*d - 4*a - l for d.
5
Let b be 2219/(-317) - (-4 - (4 - -3)). Let o be ((-3)/4)/((-2)/8). Solve -b*p + o*p - 2 = 3*t, -5*t = 2*p + 4 for t.
0
Suppose -5*j + 14 = 4. Let f(t) = t**3 - 10*t**2 - 26*t + 20. Let a be f(12). Let b be 0*((-4)/4)/a. Solve 5*s - 2*d - 14 = b, -j*d - 2*d = 2*s - 20 for s.
4
Suppose -5*u = y - 5 - 31, 5*u - 5 = 0. Solve -3*h = -4*m + 1, -5*m + 26*h - y*h = -10 for m.
1
Let q(w) = w**3 + 28*w**2 + 66*w + 376. Let k be q(-26). Solve -16 = -4*o, -4 + k = 4*n - o for n.
3
Let r be 7 + ((-14322)/7854 - (-2 + (-111)/(-51))). Let i(o) = -o + 4. Let y be i(-3). Solve 0 = -j - r*t + y, 0 = -2*j + 3*t + t for j.
2
Let v(y) = 15 - y**3 + 9 + 20*y - 9 + 8*y**2. Let d be v(10). Suppose p + d = 21. Solve -4*z + r = 6*r - 15, 4*z + 2*r = p for z.
0
Let f be 2 + -14 + -4 - 1. Let g = f + 16. Let p be 4 - (-4 - g - -3). Solve 2*q = -p*z + 2, -z + 32 = -5*q + 4 for q.
-5
Suppose -9*w + 6*w + 19 = -4*f, 3*w = -2*f + 31. Suppose 7*i = 16 - w. Solve 2*c - d + 3 = i, -3*c + 5*d - 17 = 0 for c.
1
Let a be 40/(-4) + 52/4 + -1 + 0. Solve -5*o = a*p - 16, 4*o = 3*p - 6*p + 10 for o.
4
Suppose -37*o + 1205 - 1113 = 9*o. Let z = -1 + 2. Solve 3*t = -f + 9, -3*f = -0*f + o*t + z for f.
-3
Suppose 4*d = 4*b + b - 4, 20 = 3*b + 2*d. Solve -k - 13 = 3*l + l, b*k - 3*l - 5 = 0 for k.
-1
Let t = -4258 + 4262. Solve 2*m = 2*g + 17 - 11, 3*g + t = -2*m for m.
1
Let u be 20/10 + 9 + 2. Suppose 0 = -8*w - u + 149. Solve -3*v = 4*r + w, 2*v = -3*v + 3*r + 20 for v.
1
Suppose 0 = 3*x - 0*x - 3*h - 678, -2*h = x - 232. Let o = x + -225. Solve o*w - 5 = -2*l - 14, 2*w + 2*l + 4 = 0 for w.
-5
Suppose -2 = -2*g + 4. Suppose 2*x + 12*f - 90 = -138, -4*x = -f - 29. Solve -2*h = -h, -h = g*l + x for l.
-2
Let y be (-6)/(-15) + ((-176)/(-10) - -1). Let a = y + -11. Suppose -4*h - 1 + a = t, 2 = 4*h + 2*t. Solve -3*i - 3*q - 15 = 0, -2*i - 12 = -0*i + h*q for i.
-3
Let b(h) = 12*h - 18*h - 34 + 9*h. Let x be b(10). Let m be (-5)/20 - 1/x. Solve -c + m*n - 1 = -2*n, -4*c + 10 = -n for c.
3
Let f = 952 - 945. Suppose 5*h + 2*z - f + 9 = 0, -4*h - 2 = 2*z. Solve -4*w + 3*a - a - 2 = h, 4*a = -3*w + 15 for w.
1
Let w(y) = -y - 20. Let z be w(-22). Suppose -z*x + 0*x = 0. Solve -n + 0*t + 4 = -3*t, 2*n - 3*t - 5 = x for n.
1
Let k = 678 + -1480. Let u = k - -802. Solve u = -n - 2*n + 2*v + 17, -4*v + 21 = 5*n for n.
5
Suppose -38*v + 450 - 298 = 0. Solve 0*r + r + 4 = 0, -r = v*j - 8 for j.
3
Let k be 4*(-3)/66 + (-444)/(-22). Let x = k - 20. Suppose r + 120 = 135. Solve -r = -3*o, -5*o + 24 = -w - x*o for w.
1
Suppose 101*r - 217*r = -99*r - 68. Let o(f) = f**3 - 2*f**2 - f - 3. Let j be o(3). Suppose -12 = -m - j. Solve 5*w - m = -r*q, w - 3 + 1 = -q for w.
1
Suppose 0 = -155*d + 189*d. Solve -4*t + 4*r - 10 = 2, d = 5*r + 5 for t.
-4
Suppose -22*u + 11*u + 522 = 47*u. Solve -3*l - 20*p = -23*p - u, 0 = -5*p + 5 for l.
4
Suppose 3*n + 4 = z, -4*n - 22 = -4*z - 6. Let c be 88/6*3/2. Let h be c/(-4)*(-5 + 3). Solve 3*u + h = -p, -2*u - u - 8 = z*p for p.
1
Let u be (0 + 4)/(195 + -193). Solve 2*j = 3*d + u*d - 1, d + 5*j - 11 = 0 for d.
1
Let v = 5 + -2. Solve 8 = 3*r + w - 3*w, v*w = r - 12 for r.
0
Let z(g) = -3*g + 36. Let l be z(-23). Suppose 153 = 6*u + l. Solve -4*p + 22 = 2*m, -p + 3*m = -m + u for p.
4
Let y(j) = -j**2 - 58*j - 813. Let f be y(-34). Solve f + 0 = 3*r + x, 21 = -4*r + 7*x for r.
0
Let u(c) = 2*c**3 - 6*c**2 + 2*c + 144. Let f be u(0). Suppose 72 = -140*a + f*a. Solve 3*k + 3*l + a = -3, 2*l = 5*k + 7 for k.
-3
Let i = 60 + -51. Suppose 25 = -4*m + i*m. Let z = 11 + 20. Solve 0 = 2*w + 2*w - 3*u + 23, z = -3*w + m*u for w.
-2
Let s be ((-3780)/(-50))/(51/(-30) - -2). Suppose 0 = -247*j + s*j. Solve 0 = 3*q + 3*r, -4*q + q - 4*r - 3 = j for q.
3
Suppose 0 = -3*q - 9, -q - 141 = 4*t + 154. Let d = 73 + t. Suppose 4*z - 10*z + 24 = d. Solve 4*r = 3*v - 4, -2*r + z*v = r + 3 for r.
-1
Suppose -4*t + 35 = -i, -2*t = -3*i + 5*i - 30. Let k = 27 - t. Suppose -1 = 16*u - k*u. Solve 2*z = -2*y + 6, -2*z = -7*z - y - u for z.
-1
Let k be (420/(-3))/(-4) + (-5 + -1)/3. Solve 0 = -4*f + 3*q + k, -103*q + 108*q + 9 = -f for f.
6
Suppose 137 - 1501 = -688*k + 12. Solve k*v = 3*g - 17, -v - g = -6*g + 33 for v.
2
Suppose 0 = 5*f + 4*a, 5*a + 37 - 12 = 0. Let v be 54/4*f/6. Let w be (-3 - 0) + (v - 4). Solve 5*l + 3 = 4*y, -w*y - 2*l - 8 = 4 for y.
-3
Let y = -52 - -62. Let i(j) = 30*j - 297. Let b be i(y). Solve 0 = -4*l - g - b, 3*l + 31 = 5*g - 0*g for l.
-2
Let l(s) = s**3 - s**2 + 5*s - 5. Let o be l(5). Suppose 0 = 3*n - 18*n + o. Solve -4*c = 3*x - 23, -c = 3*x - 0*c - n for x.
1
Suppose 15*j - 126 + 7 - 46 = 0. Solve -o - 5*u - j = 0, 12*o - 9*o - 21 = 3*u for o.
4
Let g(f) = -3*f**2 - 8*f - 10. Let o be g(-4). Let a be o/(-4) + (-11 - (-189)/18). Solve 2*b = -a, -r - 20 = r + 4*b for r.
-4
Let u(g) = -169*g + 1375. Let l be u(8). Solve 0 = 2*a + 5*q + 19, a - l + 5 = 3*q for a.
3
Let c = 645 - 633. Solve 19 = b + b - 3*u, 0 = 4*b + 4*u + c for b.
2
Let w(u) = -42*u - 3. Let n be w(-1). Suppose 2*j = n*j - 629. Solve -4*z = x - 16, z - j = -2*x + 5*x for z.
5
Let l = -42 + -15. Let o = l + 59. Suppose 6*b = o - 2. Solve j = 4*d + d + 21, b = -d + 5*j - 9 for d.
-4
Let f = 4 + 2. Suppose -s + 5*s = 3*i + 6, -3*s + 8 = -4*i. Suppose 3*b + b - 4*r - 28 = s, 3*r = -6. Solve 4*c + f + 6 = b*y, -5*y - 2*c = -24 for y.
4
Let m = -24369 - -24371. Solve -m*k = -12, 2*o - 17 = -2*k + 5 for o.
5
Let k = 109 - 105. Let m(n) = n**2 + 5*n - 1. Let q be m(-6). Suppose -q*u - 2*t + 20 = 0, -k = 3*u - 5*t + 3*t. Solve 3*f = -c + 2, c = -f + 5*f + u for c.
2
Let h = -7633 + 7634. Solve -x + 2 = q + 6, 2*x = q + h for q.
-3
Suppose 2*z = -14, -21*o + 5*z = -18*o - 50. Solve 7*k - o = 2*k - 4*p, 0 = -2*k + 3*p - 21 for k.
-3
Let v = 19841 + -19830. Solve 3*c - 3*o + 24 = 0, 4*c + v = 15*o - 18*o for c.
-5
Suppose q + 56 + 40 = 5*w, 3*w - 4*q = 44. Let y be (-195)/(-14) + 19/266. Suppose 0 = w*u - y*u. Solve 2*z + 5*t + 10 = 0, -2*z + 5*t + 10 = -u*z for z.
0
Let n be -1*(-6)/(-3)*198/4. Let p = n - -37. Let m = 64 + p. Solve 2 = 5*r - 4*t - 18, -m*r + 5*t = -8 for r.
4
Let f be (-1 - -5)/(8 - 4). Solve -7 = 2*y + 20*w - 17*w, w = -f for y.
-2
Let m be (-116)/(-10) - (-2)/5. Suppose 91*q = 360 + 95. Solve 4*f + m = -2*v, q*v - 2*f = 22 - 4 for v.
2
Let l(a) = 22*a - 102. Let z(h) = -24*h + 101. Let t(b) = 3*l(b) + 2*z(b). Let x be t(6). Solve 4*n = -p - 11, 13 = p - n + x for p.
5
Let d(l) = l**3 - 6*l**2 + 15*l - 10. Let u be d(2). Solve 5*n = 4*r - 30, u*n + 2*r - 3 = -1 for n.
-2
Let k(j) = -j**2 + 19*j + 49. Let q be k(8). Suppose 140 - q = p. Solve a + 12 = -2*l, 0*a + p*a + 1 = l for l.
-5
Let t be 5 - (5 + (-6 - -4)) - -17. Suppose 28 - t = 3*p. Solve 0 = p*z - 2*y + 19, 0 = -2*z - 0*z + 4*y - 18 for z.
-5
Let j = 87 + 126. Let w = j + -208. Solve 5*s - 6 = -2*h, -4*s - s = -w*h + 15 for h.
3
Let d = -14946 - -14948. Solve d*l = -2*g + 16, 34*g = 5*l + 38*g - 35 for l.
3
Suppose 0 = 618*c - 454*c. Solve 5*o - 1 = 4*m, 5*o + m + 22 - 3 = c for o.
-3
Suppose -5*l - 2*h - 7 = -30, 0 = 3*l - 5*h - 20. Solve 0 = -l*t + 6*t - 4*v - 16, -3*t + 3 = 3*v for t.
4
Suppose x + 3*q = 14, 2*q - 3*q = -x - 2. Let f(z) = 3*z - 61 - 8*z + 2*z + 10. Let t be f(-17). Solve t = y - g + x*g + 1, -5*y = g + 9 for y.
-2
Let c(y) = y**3 - 2*y