for x.
0
Suppose -18*d - 52 + 232 = 0. Solve -4*a + c - d = 0, -3*a + c - 4 = -a for a.
-3
Suppose 0 = -5*u + 3*u + 94. Suppose -3*j - 82 = -4*s, -3*s + 6*s + 5*j = u. Let t = -16 + s. Solve 0 = -4*n + 3*b + 17, t*b - 36 = -5*n - 8 for n.
5
Let v = 17 + 3. Let t = v - 17. Solve u + 4*b - 10 = 6*u, 0 = t*u - b + 6 for u.
-2
Suppose -8*x = -2*x. Suppose 0*a - 9*a + 45 = x. Solve -2*l - o + 1 = -3, 3*l = -a*o + 13 for l.
1
Let z be 4/18 + 272/72. Suppose 3 = 5*k - z*f - 2, -2*f = 3*k - 3. Suppose -s = -k - 1. Solve 5*n = -s*j - 10, n = -5*j - 3*n - 8 for j.
0
Suppose -17*i = -4*i - 39. Solve 0*t + 10 = -2*u + 2*t, -i*t = 0 for u.
-5
Let p = 14 - 14. Suppose p = -j - j + 14. Let w = j + -4. Solve 0 = b - 5*m + 15, 0 = w*b - m + 5*m - 31 for b.
5
Suppose 1 = -f + 3. Suppose 29*y + 36 = 558. Solve -2*g = -2*w + y, g + 0 = f*w - 13 for g.
-5
Let p(v) = -1 - 5*v**2 - 5*v + v**3 + 9*v + 3. Let m be ((-20)/(-25))/(1/5). Let f be p(m). Solve -f*w + 10 = 2*o - 0, -13 = -2*w - 5*o for w.
4
Suppose 5*h = -2*g + 26, 2*h + 0*h = 5*g - 123. Suppose -p + 2*k = g, -4*p - 45 + 3 = 2*k. Let t = p - -17. Solve l + 6 = 5*q - l, -3*l = -5*q + t for q.
2
Let p = -215 + 219. Solve 0 = 2*b + p*i + 2, -i - 1 = 5*b + 4 for b.
-1
Suppose -3*l - d + 58 = 0, 0 = l + 4*l - 5*d - 130. Solve -5*h + h + 3*p = 11, 4*p - l = -h for h.
1
Suppose 5*u = 68 + 12. Let l(w) = -4*w + 1 + 4 + 3*w + 0. Let o be l(5). Solve o = -5*c + 8*p - 4*p + u, 1 = p for c.
4
Let r be (-2)/4*(-4 + (-1 - 3)). Suppose -m - 2*m = -r*u, -u = 0. Solve 3*j - q = -13, 3*q + m*q = 2*j + 18 for j.
-3
Let r(f) = 2*f**2 - 52*f - 52. Let z be r(27). Let p be 1*(18/5 - 15/25). Solve -3*w - 7 = -m, z - 17 = 3*w + p*m for w.
-3
Let c = 624 + -610. Solve 2*t + 5*l - c = 0, 0*l = t - l for t.
2
Let y = 56 + -34. Suppose -4 = -w + 1. Let o(l) = -l**2 + 3*l + 12. Let c be o(w). Solve -5*a - y = -c*j, -3*a - 10 = -4*j + 6*j for j.
1
Let r(x) = 2*x**2 - 115*x - 192. Let v be r(59). Let w(g) = g**3 - 4*g**2 - 1. Let z be w(5). Let f = z + v. Solve 4*s - f = 5*c, 3*c + 3*s - 1 = -s for c.
-1
Suppose 5*q - 77 - 14 = 4*m, -71 = -5*q - m. Suppose 3*o = q + 12. Solve -5*f = 3*g + o, 4*g - 5*f = 3*g + 17 for g.
2
Let u(x) = -x**2 + 2*x + 32. Let i be u(-4). Suppose -4 = -r + 2*g, -2*r - 4*g + i = -0*g. Solve -3*t + 8 = -2*t + 5*m, 2*t = -r*m + 10 for t.
3
Suppose -2*v - 3*b + 7 = -6*v, -3*v - 5*b + 31 = 0. Solve -5*i - 12 - 6 = -h, -v*i - 3 = h for i.
-3
Let v be 16 + (-5 - (-7)/7). Solve 0*m + 4*m = -a - 4, -3*a - v = -2*m for m.
0
Let w = 11 + -5. Suppose -19 = -5*p + w*p. Let l = -11 - p. Solve -4*m - 13 = -5*z, z - l = 2*m - 3*z for m.
-2
Let k(l) = -l**2 - 8*l - 3. Let a be k(-6). Suppose -a = 3*q - 4*q. Let f be q/4 - (-9)/12. Solve 8 = -5*o - z - 12, 10 = f*o + 5*z for o.
-5
Suppose -t - 3*x = 1, 0 = -6*t + 9*t + 4*x - 7. Solve -9 = 2*m - r, 5*r = -t*m + 2*r - 28 for m.
-5
Let s(m) = -7*m + 7. Let g be s(1). Suppose -3*f - 4 + 1 = g, -4*i - 2 = 2*f. Solve x + 4*p + 15 + i = 0, 0 = 4*x + 3*p - 5 for x.
5
Suppose -3*k = -4*j + 3, -2*k + j = -j. Let q = -1 + -1. Let f = 7 + q. Solve -4*y - 3 = 2*b + k, 2*b - f*y = 21 for b.
3
Suppose c - 14 = -2*k, -33 = -2*c + 2*k - 7*k. Solve o = h, -c*h = -2*o - 0*h + 2 for o.
-1
Let n(p) = 2*p**2 + 2*p + 2. Let z be n(-1). Suppose 26 = 7*o - z. Solve 20 = 5*i - 5*l, o*l + 21 = 2*i - 3*i for i.
-1
Let l be 26 + -31 + 8/1. Solve -5*h + 6 = -3*g, 0*g + 2*g = h + l for h.
3
Suppose 3*w - 5*w + 4 = 0. Suppose 0 = 5*x - w*x + 6. Let d be (5/(-2))/(x/4). Solve f - 4*j - d - 12 = 0, 0 = -5*f + 4*j + 21 for f.
1
Suppose 0 = 16*a - 12*a + 12, 3*z = a + 15. Solve 0 = 2*h - 3*b - 10, 5*h - z*b = 3*h + 10 for h.
5
Suppose -4 = -w - 1. Suppose h + 2 = w. Let b be -2 + 3/(6/4). Solve b = -5*s - q + 11, h = 2*s - 5*q + 2 for s.
2
Let j(n) = n**2 - 3*n + 1. Let h be j(3). Let d = -1516 - -1517. Solve -v + h = u, -3*v + 3*u - 7*u = d for v.
5
Suppose 0 = -i + 2 + 3. Suppose -i*d + 0 = -15. Suppose 11*u - 247 = 61. Solve -5*l - 17 = -2*q, d*l = 2*q + 7*l + u for q.
-4
Suppose i = -3*i + 16. Suppose 0*w = -2*w + 4*o, 3 = 3*o. Solve -x + 12 = -2*p + 3, i*x - w*p - 24 = 0 for x.
5
Suppose 0 = 5*a + 76 - 16. Let g be 16/(-1) - (a + 9). Let n be 0 + -4 - (-17 - g). Solve p + 10 = 4*p + f, n = -p + f + 6 for p.
4
Let s = 55 + -51. Suppose 7*m + 18*m - 2*m = 0. Solve 3 + 5 = -2*h, m = -s*c + 4*h for c.
-4
Suppose 46 = 5*d + 2*n - 14, -n - 60 = -5*d. Suppose 17*f = 11*f + d. Solve 0 = -5*s + s - f*x - 10, s = -x - 5 for s.
0
Suppose -15 = -5*y - 0. Suppose -3*h - 37 = -5*z + 3*z, 0 = -y*h + 3. Let t = -7 + z. Solve -5*v = -3*p + 11 + 8, v + 4*p = -t for v.
-5
Suppose -5*v = -4*k + 5*k - 5, 0 = 3*k + 4*v - 48. Solve 5*w + 5*p = 2*p, 4*p = k for w.
-3
Let x be (0 - 6)/((-3)/2) - -1. Solve -n = -2*u + 7 - 2, -x*n + 5*u = 20 for n.
-3
Let v be (-13)/(-2) - 1/(-2). Let o = 16 - 12. Suppose -10 = -b - o*b. Solve -3*n + b*k = 8, v*n + 5 = 2*n - 5*k for n.
-2
Let t(h) = 3*h**2 + 35*h + 27. Let s be t(-11). Solve s*v - 2*k - 3 + 15 = 0, 5*v + 36 = -4*k for v.
-4
Let c = -21 + 20. Let x = 25 + c. Suppose o + 0*o - 4 = -4*w, -4*o - w = -1. Solve o = -m + 3*v - 17, 0*v + x = -2*m + 4*v for m.
-2
Let h = -740 - -743. Solve -5*p - 5*j = 0, 0*p + h*j = 5*p - 16 for p.
2
Let y(i) = i - 1. Let r be y(3). Solve -7 = -4*n + r*z + 5, 3*n + 5*z = -4 for n.
2
Suppose 0 = 3*f, 4*f = 24*p - 27*p. Solve p = 4*o - 5*t + 13, 0*o - 4*t = -3*o - 11 for o.
3
Suppose -3*r = -136 - 335. Suppose 5*v = g + r, g - 219 = -5*v - 56. Let o be (6/(-8))/((-8)/v). Solve -b - j = o*b - 3, -4*j - 24 = -2*b for b.
2
Suppose 0 = 5*d - d - 2*v + 28, -3*d = 3*v + 30. Let l(p) = p**3 + 9*p**2 + 5*p - 4. Let b be l(d). Solve -5*z + 4*f = -b, 5*f = 4*f - 5 for z.
0
Let h be (-8)/(-4) - 3 - -1*8. Let w be h*(-2 - (-48)/21). Solve 3*c = w*t - 8, -2*t = 3*c - 0 - 8 for t.
4
Let q(y) = 4*y + 3. Let b(x) = x**3 + 4*x**2 - x - 1. Let m be b(-4). Let u be q(m). Suppose u = 4*p - 9. Solve 3*c - 12 = 0, -5*c + 20 = -4*n + p*n for n.
0
Let a = -48 + 56. Solve -3*p - h = a, 2*h - 3 + 7 = 0 for p.
-2
Let l(w) = -w + 8. Let z be l(7). Let o be (-2 - 12/(-4)) + z. Suppose 8 = -4*a, 5*b - o*a = 17 + 2. Solve 6 = i + 5*s, -s + 1 = -b*i + 3 for i.
1
Let g(m) = -m + 4. Let o be g(6). Let i(h) = 2*h + 8. Let x be i(-6). Let j be -2 + o/x*62. Solve 0 = p + 5*a - j, -p + 4*a - 9 = 7 for p.
4
Suppose m = -3, -a = -8*m + 3*m - 40. Suppose -a = -3*f + 5*i, -f + 15 = -5*i - 0*i. Solve 5*h + 15 = -5*y, 4*y + f + 3 = -2*h for y.
-1
Let i(v) = -5*v**2 - 48*v + 112. Let k(w) = w**2 + 12*w - 28. Let g(c) = 2*i(c) + 9*k(c). Let b be g(8). Solve -b*s + 3*s = 3*p, -4*p - 4*s = 0 for p.
0
Suppose -3*k + 2*k = -2*q + 23, -4*k = -3*q + 112. Let v = k + 35. Solve 3*a + 10 = 2*u + 3*u, a = v*u - 15 for u.
5
Let z = -130 - -135. Solve 5*y - z*w = -20, 3*w - 9 = 2*y - 0*y for y.
-3
Let t(l) = l**2 - 2*l + 17. Let n be t(7). Suppose -5*v - z + n = 0, -5*z + 29 = 3*v + v. Solve 4*q + 3 - v = 2*m, q - 4 = 0 for m.
4
Let b = 174 - 172. Solve -2*k = -4*c - 13 + 5, 0 = 3*k - b*c - 12 for k.
4
Let v be 4/(-30) - (362/(-15) + 1). Solve v = -4*x + 3*c, -3*x + 4 = c + c for x.
-2
Let o be ((-9)/2 - -1)*-2. Suppose -2*a - 4*f = -3*f - o, f - 17 = -4*a. Solve -4 = -g + 5*y, -a*g + 3 = -3*y + 5 for g.
-1
Let o be (8 - 8)*(0 + 1). Let h be 286/88 + (-2)/8. Solve 3*m - 2*k = -4 - 1, o = 3*m - h*k for m.
-5
Suppose 0 = -2*r + 4*i + 8, 0 = 4*r - 2*i + 3 - 7. Solve 2*f - 2*u + 2 + 2 = r, 2*f = 4*u - 6 for f.
-1
Let j be -2 + 1 - 20/(-2). Solve -3*f - j = s, 0*s + 2*s - 5*f - 26 = 0 for s.
3
Let g(n) be the third derivative of n**5/60 + 5*n**4/24 - 7*n**3/2 + 9*n**2. Let f be g(-8). Solve -4 = f*i - p, -4*i - 12 = p + p for i.
-2
Let l be (-24)/1*2/4. Suppose -44 + 58 = -y. Let f = l - y. Solve -v + t = 2, 0 = f*t - 3*t + 3 for v.
1
Let f = 44 - 14. Let y be f/7 + (-18)/63. Let i = -107 + 112. Solve -2*l = -3*l + y*s + i, 0 = 2*l - s - 3 for l.
1
Suppose 0 = -2*i + f + 11, 5 = 2*i + f - 8. Let u(c) = -4*c + 28. Let o be u(i). Solve 3*j - 19 = -0*j - 5*q, 5*j - o*q = 7 for j.
3
Suppose -16 = 2*c + 5*y, 32*y + 18 = c + 28*y. Solve -f - 5*s = -7, 1 = c*f + 2*s - 5 for f.
2
Let t be (-4)/22 + 33/242*38. Solve 0 = -2*y + 2*u - 6, 2*y - t*y - 4*u = 16 for y.
-4
Let v be (180/(-8))/(-5)*(-96)/(-36). Solve -4*i - 4*x + v = 0