 + y + 18 = 0, 21 = 3*b + 2*b - j*y for b.
3
Let d = 19 + -19. Let f be (d - (0 - 0)) + -3. Let j be f/6 + (-66)/(-12). Solve -m + 12 = -4*o + m, -5*o - j*m = 15 for o.
-3
Suppose -v = -4*v + 6. Suppose 2*g + 5*m + 15 = -3*g, -v*m = g + 8. Let u be 2*(-3 + 7/g). Solve 2*r = 3*d - 11, -d + 6*d - u = -r for r.
-4
Let x = 252 - 247. Solve 7*i - x*i + 4*a - 24 = 0, 0 = 5*i - 5*a for i.
4
Let s = 187 + -182. Solve -2*m + m + 15 = 5*y, y - s*m = -23 for y.
2
Suppose 5*b - 6*x - 69 = -2*x, -2*x + 11 = b. Suppose 4*c - 7 = b. Solve -2*m + 16 = -c*l, -21 = 5*m + 4*l + 5 for m.
-2
Suppose -3*n + 2 = -b - 2, 0 = -b - 2*n + 6. Let q be (0 + 0)/(4 - (4 + b)). Solve x + 5*p = 5, q*x + 20 = 4*x + p for x.
5
Suppose f + 8*n - 5*n = 4, -5*n = 2*f - 8. Solve 0 = -i + f*g - 8, 4*g = 5*i - 10 + 34 for i.
-4
Let p(x) = 0*x**3 + 3*x**3 - x**2 - 5*x**3 + x. Let q = -62 + 60. Let o be p(q). Solve o = -2*i + 3*n + 2*n, 2*i + 5*n + 10 = 0 for i.
-5
Let d = -23 + 32. Let m = d - 9. Suppose -x = -m*x. Solve 3*h + 3*b - 9 = 0, 0*h + 5*h - 2*b + 20 = x for h.
-2
Let r be 22/(-1 - -3) + 2. Let w(x) = -x**2 + 13*x + 3. Let m be w(r). Suppose p + 14 = 4*v, -2*p + 5 - 3 = -2*v. Solve m*c = -5*q - 19, -q - p = -c + 1 for c.
2
Let u = -4 - -1. Let s be (-1)/(24/(-9) - u)*-1. Solve d = 5*y + 10, -s*d + 21 - 5 = -y for d.
5
Suppose -4*u = -3*n + 46, 2*u = -5*n - 2*u + 34. Solve -4*z - h - n = 1, -z + 2*h - 5 = 0 for z.
-3
Suppose -6*k = -18*k + 132. Solve 2*i + 3*t = 4*i - k, -2*t = 4*i + 2 for i.
1
Let c = -442 + 444. Solve 0 = s - 4*b - 19, 3*s - 4*b - c - 23 = 0 for s.
3
Let m(c) = 8*c + 78. Let p be m(-10). Let x be (p + -2 - -1)/(21/(-28)). Solve -l - 4 + 3 = -2*q, x*q + 2*l = 22 for q.
3
Let p(q) = q**3 + 3*q**2 - 2*q - 4. Let t be p(-3). Suppose 0 = 2*g - 3*z - 1, -t*z + 10 = 3*g + 2*z. Solve -g*f - 3*b - 2 = -5*b, 0 = 5*f - b + 17 for f.
-4
Let j = 4 - 1. Suppose 0 = -v + j*v - 4. Suppose -b - k + 6 = 0, 2*b + k = -v*b + 18. Solve -21 = -3*l - 5*u, -b*l - 2*u = -7*u + 7 for l.
2
Suppose 0 = m - 4*m - 54. Let j be m/(-45) - (-13)/5. Solve -y - f + 20 = 2*y, j*f - 35 = -4*y for y.
5
Let s(n) = n**2 + 11*n + 4. Let z be s(-8). Let j = 9 - z. Solve 3*a - 2*y - 9 = -5*y, 2*a + j = 5*y for a.
-2
Let x be (-4)/(-3) + 28/42. Let r(g) = g**3 - 3*g**2 + 4*g + 1. Let y be r(x). Solve 20 = y*w, -3*n - 2*w = w - 24 for n.
4
Let h be ((-52)/(-78))/((-4)/(-162)). Suppose 5*w = -0*w. Suppose -2*b + 5*m = w, 5*b = -4*m + 3*m. Solve 3*p = 5*k - h, -k + p - 6*p - 17 = b for k.
3
Let b(l) = 11*l - 1 - 9*l - 7 - l. Let v be b(13). Solve -c - 5 = 0, -3 = -v*u + 3*c + 37 for u.
5
Suppose -33*g = -17*g - 208. Solve u + 4*i = -g, 9 = -4*u - i - 13 for u.
-5
Let h(w) = w**3 - 6*w**2 - 7*w + 21. Let r be h(7). Solve -5*a + 18 - 3 = g, -5*g + 2*a + r = 0 for g.
5
Suppose -29 = 3*t - 0*t + 4*w, -t = 4*w + 15. Let s(g) = g + 29. Let h be s(t). Solve 3*u - v = 2, 3*v - h = -3*u - v for u.
2
Let y be ((-10)/4)/(((-8)/2)/32). Solve 0 = 5*v - 3*i - y, -4*i - 4 = -v - 8*i for v.
4
Suppose s + 2 = 3*o, 4*s + 4*o - 5 = 3*s. Let r be (-2 + (1 - 0))/s. Let a = r + 13. Solve 0 = -f + l + 1 + 3, f - 3*l = a for f.
0
Let k(h) = 3*h. Let m be k(18). Let p = m + -49. Solve v + 8 = 4*q - q, 10 = -p*v + 5*q for v.
1
Let o = 37 + -32. Let v be -2 - (-12 + 4/(-2)). Solve 5*t - o*i - 30 = 0, -5*t - 2*i + v = -4 for t.
4
Suppose 13 - 61 = -6*g. Suppose g - 58 = -5*d. Solve 2*w + 4*p = -d - 8, w = p - 3 for w.
-5
Suppose -35*y = -16*y - 114. Solve -3*p + 5*k + 23 = 0, -k - 9 = -11*p + y*p for p.
1
Let k(r) = -r - 16. Let g be k(-21). Let c = -8 - -15. Solve a = -g*t, -c = 5*t - 4*a + 18 for t.
-1
Let l be 21/(-12) + 2/(-8). Let s be (3 - 3/1)/l. Let x(i) = 5*i - 7. Let a be x(2). Solve s*r - q - 7 = -r, -a*q = -2*r + 16 for r.
5
Let o = -206 - -209. Solve 0 = o*i + 5*t + 32, t + 4 = 2*i - 2*t for i.
-4
Let s(d) = -d - 6. Let h be s(-6). Suppose h = -n + 4*n. Suppose -107*y - 18 = -116*y. Solve -2 = -2*g - y*k, g - 4*g - 5*k + 5 = n for g.
0
Let o = -24 + 31. Suppose 2*w - 24 - o = 5*p, -4*p = -w + 23. Solve 4*f = 8, f = w*s - 2*s + 7 for s.
-5
Let i(n) = n**2 - n + 2. Let q be i(1). Suppose 0 = 3*v + 2*a + a - 12, -3*v = -q*a - 17. Solve 2*o - 2*d + 5*d - 19 = 0, d - v = 0 for o.
2
Let m be (5 - 7)/((-2)/3). Let z(a) = 11*a - 3. Let v be z(m). Solve 5*j = -4*o - v, 4*j + 31 = j - 5*o for j.
-2
Let r be -2 + 40/18 + (-295)/(-9). Let h = 38 - r. Solve 0 = 5*c + h*t - 15, -9 = -2*c - 3*t - 0 for c.
0
Suppose 3*k = -u + 15, -4*k = -3*k - u - 5. Suppose -2*l + 84 = -3*p + 5, -4*p = l - 12. Solve -k*s + l = 3*r, -2*s + 1 + 3 = -r for r.
4
Let s be ((-36)/(-8))/9*74. Let h = 41 - s. Solve -2*d + 2*y + 2 + h = 0, y = -3*d + 1 for d.
1
Let y(k) = k**2 - 4*k + 2. Let s be y(4). Suppose 11 - 5 = s*i. Suppose -2*c + 3*c - i = 0. Solve -7*b + c*b - 3*m = -9, -m = -3*b - 3 for b.
0
Let j = -795 + 818. Solve 0 = -3*o + 4*v - j, -3 = -2*o - v - 0*v for o.
-1
Let u = -34 - -36. Suppose -5*w + 185 = -5*m, 0 = -u*m + m + 4*w - 40. Let g = 40 + m. Solve -4*c = g*j + 10 + 10, -5*j = -3*c - 15 for j.
0
Let o = 19 - 17. Suppose -18 = -5*j + o. Solve -2*x + j*q - 1 = 17, 4*q - 15 = -x for x.
-1
Let s(i) = -3*i**2 + 39*i - 24. Let b be s(12). Solve 5*l - b = v, -3*v - 4 = l - 16 for l.
3
Let r(m) = 4*m - 12. Let h be r(4). Let x(c) = c**2 - 3*c + 4. Let b be x(2). Solve 0 = -0*f + b*f - h*o - 6, -4*o - 27 = 5*f for f.
-3
Suppose 3*s - 19 = -13. Suppose r - s = 4*l - 6, -3*l + 3 = r. Let u be 0 - (r - 6 - -2). Solve 0 = u*p + 2*o + 18, 0*o - o - 18 = 5*p for p.
-3
Let z be (-10)/15*18/(-4). Suppose -3*m - 5*b - 2 = m, 5*b = 2*m - 14. Solve 5*g = -z*q - 39 + 2, -2*g - 2 = -m*q for q.
-4
Suppose 5*k = 5, 3*m - 5*k = -10*k + 11. Solve -j = 4*u - 6*j - 11, 0 = -u - m*j - 7 for u.
-1
Let f = -31 + 194. Suppose 183 = 4*m + f. Solve -28 = -5*y + 4*c, -y + 5*y - 26 = m*c for y.
4
Let q be (-4)/(-18) - 588/(-27). Let b be 136/q + 8/(-44). Solve 2*h = 2*u - 6, -b*u + u = 2*h + 13 for h.
-4
Suppose 0*y = 2*p - 4*y + 4, 2*y = 4. Suppose -p = -4*j + 3*j. Solve -i + 4 = k, -j*k = -0*k + 2 for i.
5
Suppose 0 = -5*q + 3*u + 28, 42*q + u = 40*q + 9. Solve -3*s + 3 = 0, 6*s - s = q*v for v.
1
Suppose 5*g - 3*z = 61, g - 4*z = -5*z + 17. Suppose -2*b + 46 = n, 17 = -4*b + n + 115. Let j = -14 + 18. Solve w - g = j*c, -4*w - 5*c - b = -c for w.
-2
Let l be (0 + -8 - -11) + 3. Solve -k + l*k = -4*o + 15, -3*o + 12 = 3*k for k.
-1
Let h be 1925/(-42) + (-3)/18. Let a = -36 - h. Suppose -a = -7*u + 4. Solve 0 = -3*k - b + 14, 0 = -k + 5*b - 8 + u for k.
4
Let v(b) = 6*b**2 + 22*b - 3. Let n be v(-4). Let m = 1 - 1. Solve -n = -5*c + 2*y - m*y, 4*y = 20 for c.
3
Suppose 0 = -15*d + 14*d - k + 13, 25 = 5*k. Solve f = -y + d - 1, 2*y - 18 = -3*f for y.
3
Let z = 49 + -33. Suppose 3*h = h - 2*v + z, h + 16 = 5*v. Solve -2*x + 14 = -4*y, 0*y - 2*y - h = -4*x for y.
-4
Suppose 0 = u + 4*t - 45, u - 135 = -4*u - 2*t. Solve 5*s = 4*k + u, 4*k = -k + s - 26 for k.
-5
Suppose 5*x = w + 4*w - 30, -3*x - 13 = 2*w. Suppose 4*p - 7 = w. Solve -1 = 2*j - j + 4*o, -p*o = 0 for j.
-1
Let m(d) = d**2 + 7*d - 14. Let k be m(-9). Let q be (-1 - -2)/((-1)/(-8)). Suppose -k*f + 0*f + q = 0. Solve 4*b + b + 18 = f*a, -3*a = -b - 1 for a.
-1
Suppose 2*k - 5*x + 8 = -x, 4*x - 32 = -2*k. Suppose -2*s = 3*p + s, -s = -2*p + k. Suppose -p*j - 4 = -4*j. Solve 2*h = 0, -2*l - j*h = -h + 4 for l.
-2
Let r(b) = 11*b - 11. Let t be r(-5). Let i be (-516)/t - (-2)/11. Solve -5*z = -5, i*z = -4*g + 3*z + 1 for g.
-1
Let q be 200/44 - 48/88. Solve -3*c - w - 1 = 4, 5*c = q*w - 31 for c.
-3
Let t = 8 - 6. Let l(b) = 25*b + 1. Let j be l(t). Suppose -j = -2*u - 11. Solve 30 = -4*y - y + 3*h, -5*y + h - u = 0 for y.
-3
Suppose 2*q = 3*q. Suppose q*f + f = 0. Suppose c - 12 + 36 = 2*k, f = -3*k + 5*c + 43. Solve -3*o + 4*m + k = -1, -2*m = 6 for o.
0
Suppose -4*b - t = -6*t - 18, -3*t = -b + 8. Solve 5*f - 8*o + 7*o = 30, 30 = 4*f - b*o for f.
5
Suppose -l + 4 = 11. Let w = -5 - l. Let s = w - -1. Solve -5*v + s*v = 2, -5*m - 2*v = -13 for m.
3
Let u be (-2)/(((-23)/5)/(-1) + -5). Solve 5 = u*i - 5*j, 0 = i + 4*j + 4 for i.
0
Suppose -151 = -4*y - 0*y - 3*f, -3*y + 116 = 5*f. Let t be 4/6*(10 - 16). Let d be (-6)/t*(-24)/(-18). Solve 0 = -5*p - 4*z - y, 0*p = d*p - 3*z + 1 for p.
-5
Let f be 3*(-6)/(-27) 