0*j - 3*j = 2*h - t for j.
1
Suppose 5*z - 61 = z - 3*b, 43 = 3*z + 5*b. Suppose 12*k - 4*k - z = 0. Solve -19 = -4*n - 0*n - 5*i, -n + i = k for n.
1
Let w = -3 - -9. Suppose -30 = -w*a + a. Suppose -h - 8 = -5*z + h, -4*h + a = z. Solve -z*t + 5*t = -15, -5*t - 13 = -4*k for k.
-3
Let j be 9/(-18)*-3*2. Solve -3*b - 8 = 2*k, j*k - 2*k - 2 = 0 for b.
-4
Let k(w) = 4*w - 47. Suppose 5*u = -10, 0 = -2*t - 0*t - 2*u + 26. Let i be k(t). Solve 5*l = 6*c - 2*c + 35, i = -2*c + l for c.
-5
Suppose 4 = 2*k - 3*l, -14*l = -2*k - 16*l + 14. Solve 3*n - 3*z + 3 = -0, k*n = 4*z - 7 for n.
-3
Let a be 5/(35/2)*-7 + 4. Solve 4*o + 5 = 5*o + 3*v, -a*o + v + 10 = 0 for o.
5
Suppose 88*b - 89*b + 18 = 0. Suppose -7*x + b*x - 55 = 0. Solve -3*a - 31 = 4*f - 0*f, 5*a - x*f + 5 = 0 for a.
-5
Suppose 38*f + 14 = 45*f. Solve 3*p + r = 5, -3*r = f*p - r - 6 for p.
1
Suppose 11 + 4 = 3*b - i, -5*b + 2*i + 26 = 0. Let f = 15 + b. Let t = 28 + -26. Solve -4*w = 4*h + 7 + 5, f = t*h - 3*w for h.
2
Let p(a) = -11*a - 160. Let x be p(-15). Solve 3*j - 3 = 3*c, -2*c - x*j = 2*c + 22 for c.
-3
Suppose -2*u + 33*x = 30*x - 15, 2*u - 10 = -2*x. Solve 0 = -5*k - 5*s - 0*s, -k + u = 4*s for k.
-2
Let f be (-6)/(-21)*-7 + 3/1. Solve p = -0*z - 2*z, 0 = -5*z - 3*p + f for z.
-1
Let h = 33 + -14. Let s = h + -16. Suppose 4*g - 2*u - 68 = 0, -s*u = 4*g - 6*u - 72. Solve 5*d = 5*j + g, 0*j + j = -4*d + 2 for d.
1
Suppose x = -f + 4, 3*f + 2*x - 10 = -0*x. Let w = 111 + -107. Let r(c) = c**3 - 7*c**2 - 7*c - 3. Let d be r(8). Solve -w*j + z = 0, -z + f*z = d*j for j.
0
Suppose -3*s + 4*m = -31, 18 = -5*m - 2. Solve 5*k + r = 29 - 6, -s*k = -r - 27 for k.
5
Let k = -289 - -302. Solve -k - 2 = 5*b + 5*x, -2*b - 4 = 3*x for b.
-5
Let r = -3 + 5. Suppose -r*h = -4*h + h. Solve h = a + 1, 0*k + k = -5*a - 6 for k.
-1
Let a be 1530/187 - (-4)/(-22). Suppose 0 = f + 2 - 6, -2*f = 2*s - a. Solve 2 = -4*g + 3*g + 2*i, s = g + i - 1 for g.
0
Suppose -r + 5*m = -0*r + 32, 0 = 5*r + 5*m + 130. Suppose j = 3 - 5. Let v be 36/r*(j + -10). Solve 5*g + 11 = 2*w - v, -4*g = 2*w + 18 for w.
1
Suppose -2*d = -11*b + 7*b - 30, 0 = -3*d - 3*b. Solve 0 = -3*x - 5*r - 35, -2*x = x - d*r - 5 for x.
-5
Let d(a) = -23*a - 402. Let y be d(-18). Solve k + 3 + 0 = -u, 4*k + y = 5*u for u.
0
Let x be (-4)/(-20) - (-14)/5. Suppose 99*b = 91*b + 16. Solve -q - x*p + 4 = 0, 5 = b*q - p - 3 for q.
4
Let n be 54/13 - 8/(-52)*-1. Solve -5*i = -n*u + 15 + 6, 6 = 2*u + 2*i for u.
4
Let t be 33/6 + -3 - 19/(-38). Solve 0 = -h - 3*h - 5*r + 14, t*r - 9 = -3*h for h.
1
Let z(s) = -12*s + 136. Let y be z(11). Solve 4*a + 5*b = 7, b - 3 = y*b for a.
3
Let a(q) = q**2 + 6*q + 2. Let m be a(-7). Suppose m = -2*r + 29. Suppose -10*i = 4*i - 42. Solve -b = -3*b - r, i*j + 21 = -3*b for j.
-2
Let z(v) = -v**3 + 27*v**2 - 47*v - 73. Let s be z(25). Solve 16 = -4*o, -5*f + s*o = -7 - 6 for f.
1
Let a = -1067 - -1070. Solve f = 3*c - 5, 0 = a*c - 4*f - 1 - 1 for c.
2
Let q be 287/49 - (-88)/77. Solve 5*w + 12 = 3*v, -10 = q*v - 3*v + 2*w for v.
-1
Suppose -6 = 2*c - w, -5*w + 2*w = -2*c + 2. Let y(t) = -3*t - 12. Let l be y(c). Solve 2*q + 2 = l*x, -4*q + 2*x = 3*x - 24 for q.
5
Let d be (5/(-4))/(205/(-656)). Solve -2*r + 5 = 3*k, d*r + 3*k + 6 = 13 for r.
1
Let d be 7 + 15/(3 - 6). Suppose 0 = d*z - z - 5. Solve -30 = z*s + 3*n, -n + 16 = -5*s + 6 for s.
-3
Let j = 13 + -11. Let t = -45 - -24. Let q = t - -24. Solve p - n - j = 0, 2*p + q*n = p + 14 for p.
5
Let w(b) = -b**3 + 7*b**2 - 4*b + 38. Let h be w(7). Solve 3*l = -h - 5, -4*l = i + 17 for i.
3
Suppose 0 = 2*m + 1 - 5. Suppose m*l = -2*c + 10, 6*c - 3 = 3*l + 3*c. Suppose -6*s - 5*s = 0. Solve 5 = l*g - j + 1, s = 4*g + j + 4 for g.
0
Suppose 0 = 11*j - 3 - 19. Solve 1 = -g - j*u + 2, 4*g = -u + 11 for g.
3
Suppose -4*o - 40 = -9*o. Suppose -5*y + 2 = -h, 5*y + 10 = -3*h - 2*h. Let l be (y/4)/(-3) + 2. Solve 0 = -5*s + 5, 2*q - l*s + o = 0 for q.
-3
Suppose -200*k + 169*k + 62 = 0. Solve -3*f + 22 = -4*x - 5*f, -k*x - 8 = -2*f for x.
-5
Let n(v) = -v**3 - 9*v**2 - 2*v - 13. Let s be (-1)/(1/27*3). Let j be n(s). Suppose 3 = 2*z - j. Solve 2 = -4*y - 6, 3*y = -z*l - 26 for l.
-5
Suppose -3*b = 5*f + 58, -3*b + 0*f = f + 50. Let h(d) = d + 29. Let a be h(b). Solve 3*s = 5*w - a, 0 + 3 = 2*w + s for w.
2
Suppose -3*b - 183 = -192. Solve -2*z - 7 = -3*a, b*z + 3*a + 9 - 36 = 0 for z.
4
Suppose -919*l + 21 = -912*l. Solve -5*w + l*a + 25 = 0, 19 = 4*w - 2*a + 1 for w.
2
Let b(t) = -3*t - 8. Let r be b(4). Let n = r + 26. Suppose 0 = -4*z + n + 6. Solve 3*i = -3*l + 12, -2*l + 1 = -3*i + z for i.
2
Let v be (27/(-6))/(11/(-22)). Solve p + 23 = -4*u + 5, 2*p - u - v = 0 for p.
2
Suppose 3*f - 5*s = -f + 30, 0 = -3*s + 6. Let u = 401 + -398. Solve 4*r = 2*p - 6, -f = p + u*r + 2 for p.
-3
Suppose 0 = -r - 18 - 118. Let q = 161 + r. Solve 2*d + 15 = -5*i, 5*d - 5*i = q - 10 for d.
0
Let y be (1 + 17)/(-15 + 13). Suppose 3*b - 33 = -0. Let f = b + y. Solve -2*p - 2*p = -i + 3, 2*i = f*p for p.
-1
Let k(u) = -u**2 + 6*u + 43. Let o be k(-3). Solve 3*m + 2 = -2*z + 19, 4*z = 4*m - o for m.
5
Suppose 5*b - n - 629 = n, 373 = 3*b + n. Let d be (-25)/b - (-32)/10. Solve 2*c + d = l + 2*l, -3*l - 6 = -5*c for l.
3
Suppose -2*z - j + 8 + 8 = 0, 4 = 2*j. Suppose z*g = 3*g + 48. Let v be 2/32*4*g. Solve 2*x + 3*o + 14 = v, -2*x + 1 = -o for x.
-1
Let n(h) = h - 1. Let y(k) = -3*k - 12. Let d(x) = -5*n(x) - y(x). Let u be d(5). Solve -2*l - 2*v + 14 = -u*l, -5*l - 18 = -4*v for l.
-2
Suppose -4*q + 8 = -600. Suppose d - 2*n = 3 + 26, q = 4*d + 4*n. Solve -5*j + 5*o + d = 0, 2*o + 9 = -0*j + j for j.
5
Let s be (5/1 - -2) + (-2)/1. Solve -m - 4*u + 7*u = 15, -5*m = 5*u - s for m.
-3
Let p(m) = 3*m - 24. Let g be (-1 - -5)*((-38)/8 - -7). Let f be p(g). Solve 0 = 2*x - f*b - 2, -5*b - 12 = 4*x - 38 for x.
4
Let y = 265 - 260. Solve 3*n - 12 = -2*r, -3*n + y + 16 = 5*r for r.
3
Let a = 4 + 0. Suppose -4*h + a*t = 0, 0*h - 2*t = -4*h + 8. Let n(y) = -y**2 + 64*y - 492. Let p be n(9). Solve -4*f - 5*v - 24 = 0, f - 2*v - p = h for f.
-1
Let m(c) = c**2 + 9*c + 10. Suppose 4*o - 51 = -5*z, -5*z - 42 = -5*o - 4*z. Suppose o = 2*y + 25. Let w be m(y). Solve 5*p + 25 = -0*s + 3*s, -p = w for s.
5
Let m be 3/((19/(-3) - -6)/(-1)). Suppose -w + 6*w = 5. Solve -3*t - w + 4 = 3*q, 5*t + q - m = 0 for t.
2
Suppose 4*y - 2*b = -3*b, -9 = -5*y + b. Solve r + 15 = f - 4*r, y = f + 2*r for f.
5
Let g(n) = -11*n**2 + 33*n - 94. Let b(r) = 5*r**2 - 17*r + 47. Let q(j) = -13*b(j) - 6*g(j). Let t be q(-25). Solve 4 + 1 = l - 2*w, 6 = l - t*w for l.
3
Let t(z) = -z**2 + 8*z + 4. Let y be t(6). Suppose -4 + y = 6*k. Solve -2 = k*x - x, 5*r = -5*x + 15 for r.
5
Let g(u) = 6*u + 305. Let b be g(-48). Solve b = 4*w + 5*o, 3*w - 2*o = 2*w + 1 for w.
3
Suppose 5*x - 55 + 40 = 0. Solve 3*t = -0*v - x*v, -2*v = t for v.
0
Suppose 11 + 4 = 3*z. Let s(h) = -5*h - 18. Let y be s(-4). Solve g + z*m = 28, -m = -y - 3 for g.
3
Let z(r) = 2252*r + 4. Let t be z(0). Let g = -19 - -31. Solve -4*h = -g, -t*d - 6*h = -2*h for d.
-3
Suppose -41 = -9*v - 5. Solve z - 16 = -0*r - 3*r, 0 = v*r - 3*z - 17 for r.
5
Let n be 170/35 + 7/49. Let x be ((-9)/(-2))/(1/2). Solve x = n*f + 4*u - 5*u, -5*u - 17 = 3*f for f.
1
Suppose y + 48 = -4*b, -104 = 2*y + y + 4*b. Let s be -9*(-8)/6*(-7)/y. Solve -4*o = -6*o + s*p + 21, 4*o = p + 17 for o.
3
Let b be ((-3)/9)/((-4)/36). Suppose -5*g = -g + b*x - 10, 2*x = 5*g - 24. Solve 2*d = -0*d + g*q + 8, -2*d - 4*q = 24 for d.
-4
Let a(h) = -2*h + 26. Suppose -3*l + 10 + 23 = 0. Let z be a(l). Solve 19 = -4*p + s, -17 + 0 = z*p - 3*s for p.
-5
Let i(d) = d**3 + 7*d**2 + d - 40. Let u be i(-4). Solve 0 = -u*q + 12, 0*v + 4*v = -2*q + 10 for v.
1
Let b = 235 - 110. Suppose -b = 8*q - 13*q. Let o = q - 21. Solve 2*v - 11 = -z - v, 12 = 4*z - o*v for z.
5
Let i = -29 - -23. Let s be 1/((-5 - -2)/i). Solve 3*r = -5*w + 19, -3*w + 1 = -s*w + 2*r for w.
5
Let x be (-4)/18 + 6/27. Suppose 46 = 32*t - 50. Solve 9 = -u + t*r, x = u - 5*r + 26 - 9 for u.
3
Let i(l) = l**3 - 44*l + 45. Let v be i(1). Solve -3*b + 5*y = -23, v = b - 2*y - 7 for b.
1
Let p be -3 - 1/((-131)/(-33) + -4). Solve -m = 2*b + 8, m - 7 = -5*b - p for m.
2
Suppose -t - 6 = -3*t. Suppose -t*h = -8 + 2. Solve 3*k = -5*f + 11, 4*k + h*f - 