5*d for x.
5
Let z be (4 - (-10)/(-3))*12. Suppose 3*p = -4*x + 44, 0 = 2*x - 0*x + z. Solve -4*m - 15 = -m + 5*o, -4*m + 3*o - p = 0 for m.
-5
Let l be (102/24)/(2/24). Let y = -51 + l. Solve v = -y*v + 3, -5*i - 3*v - 6 = 0 for i.
-3
Let j be (-10 + 10)*1*(-3)/6. Suppose j = -3*z + 2*s + 33, 5*z = 3*z - 4*s + 6. Solve -4*a - 9 = i, -3*a - 2*i - z = i for a.
-2
Let k be ((-4)/10)/(7/(-35)). Suppose -3 = -k*c + 5. Solve 0*w + 3*s + 11 = w, 31 = -c*w - 3*s for w.
-4
Let v = -55 + 50. Let i(n) = -n**2 - 5*n + 3. Let a be i(v). Solve 2*r = x - 15, -r + 20 = -a*r + 2*x for r.
-5
Let n be (104 + -104)/(1 + 0). Solve -34*j + 31*j - 8 = -2*x, n = j + x + 1 for j.
-2
Suppose -6*w + 3*n = -11*w - 6, -4*w = 4*n. Let y be w/(28/(-12) + 2). Solve 3*x + q = 2, -x - 2*q + 0*q + y = 0 for x.
-1
Suppose -5 + 17 = 2*m. Suppose 0 = 4*o - 2*v - 16, -2*o - 4*v - m = -24. Solve o*j + 9 = 3*t - 18, 2*j = 4*t - 22 for t.
4
Let u = -56 - -61. Let x(v) = v**2 - v. Let r be x(u). Solve -2*q + 2*a = -16, 3*q - r = 2*a - 0*a for q.
4
Let u(m) = -12*m - 178. Let b be u(-15). Solve -4*k = v + 7, 11*v = 9*v - b*k + 4 for v.
5
Suppose -n - 4 = 4*j, 2*j - 4*n - 16 = -3*j. Suppose 8*v - 38 - 2 = j. Suppose r = -r. Solve -q + 1 = 5*c, r = 5*q - 0*q + v*c + 15 for q.
-4
Let j = -72 - -76. Solve -j*p - 5*o = 25, -2*o = 4*p + 16 + 6 for p.
-5
Let x(c) = -12*c**3 - c**2 + 1. Let u be x(-1). Suppose 4*t = -0*t + u, 0 = -3*i + 3*t + 18. Solve 0*n - i = 5*m - 4*n, 3*m - n + 11 = 0 for m.
-5
Suppose -9 = 329*c - 332*c. Solve m + 3*n = 4, 0 = -5*m + 2*n - c*n - 22 for m.
-5
Suppose 0 = -2*c + 3*w + 69, -5*c = 2*w - 35 - 128. Let b = 38 - c. Suppose -4*y + 2*y + 4*f + 8 = 0, 0 = 5*f + b. Solve 0 = -y*t + 2*h - 5 - 1, 3*h = 15 for t.
2
Let u(t) = 55*t**2 - 767*t - 37. Let c be u(14). Suppose 5*v - 32 = -3*k, -4 = -v - 2*v + 2*k. Solve -3*o - w + 17 = 0, w - 12 = -v*o + c*w for o.
5
Let t = 4 - 2. Suppose x = 4*i + 5, -t*i + 5 = -3*i - x. Let o = i + 4. Solve -c + o*c = -3*k - 12, 4*c + 24 = -4*k for k.
-3
Let a(k) = k**3 - 7*k**2 + 4. Let c(z) = -2*z**3 + 8*z**2 - 4. Let w(j) = 3*a(j) + 2*c(j). Let s be w(-5). Solve 0 = 4*i + 20, 3*u - s*i - 29 = 6*u for u.
-3
Let i(n) = 4*n - 22. Suppose 16 = 3*j - y, 0 + 15 = 3*y. Let s be i(j). Solve -2*x + 3*u = 3*x + 7, x + 4*u = -s for x.
-2
Let y(o) = 2*o**2 - 11*o + 10. Let n = 22 + -17. Let g be y(n). Let k(t) = 2*t - 3. Let s be k(4). Solve 10 = -4*x + s*p, -4*x - g*p + 4*p = -2 for x.
0
Suppose -15*r + 9*r = -30. Suppose -3*m + 3*d = 7*d - 24, -4*m = -4*d - 32. Suppose m = r*t - t. Solve c + c = -t*q - 10, -4*q + 12 = -4*c for q.
-1
Let f(k) = 26*k + 56. Let o be f(-2). Suppose -2*j = -2*z - 2, j = -3*z - 0 + 13. Solve -q + j = -2*r, 5 = r - o*q - 7 for r.
-4
Let k(d) = 21*d**3 + 2*d**2 - d. Let q be k(1). Let v be (10*9/(-54))/((-10)/18). Solve 4*p - x = 12, -v*p - 3*x = -8*p + q for p.
2
Let a(b) = 2*b**3 + 8*b**2 - 2*b + 42. Let i be a(-5). Solve 4*t = -i*s + 12, 2*s - 3*t = -t for s.
2
Suppose 3*j + 25 = 3*l + l, -5*l + 23 = -j. Suppose 3*k + m - 1 = -l*m, 3*m + 5 = k. Solve -5*c = -4*g - 0*c + 20, 0 = k*g - 2*c - 8 for g.
0
Let p = 111 - 101. Suppose 2*o - p = 0, -3*o = 5*q - 6*q - 11. Solve -q*m - 16 = 0, -3*s + 4 = 2*m - 0 for s.
4
Let n(c) = c**2 - 5*c + 7. Suppose t - 11 = -3*m, 3*m + 2*t - 10 = -0*t. Let j be n(m). Solve -s + 8 = 2*u - u, 0 = j*u + 2*s - 21 for u.
5
Suppose 0 = -25*h + 27*h - 80. Suppose h + 10 = 5*d. Solve k = 2, 2*j + 5*k - 26 = -d for j.
3
Let v(j) be the first derivative of -2*j**2 + 30*j - 12. Let n be v(7). Solve 7*l - 4*l = -n*k + 5, 20 = 4*l for k.
-5
Let v = 1465 + -1446. Solve t + 4*h - v = 8*h, 0 = -2*t + 5*h + 23 for t.
-1
Let p = 464 + -460. Solve -2*j - 2 = 4*o + p, 3*o + 3 = -2*j for j.
3
Let s = -9 + -3. Let g be (-8)/2 + 106/(-53). Let u = g - s. Solve 4*d = -4*o - 8, 2*o - u - 10 = 2*d for o.
3
Let l(y) = -3*y**2 + 3*y + 40. Let w be l(-3). Solve 3*q = 4*a + 6 - 8, 0 = 2*q - w for a.
2
Let p be 143/88 + (-3)/(-8). Solve 2*m - 2*z - 8 = 0, -m - p*z - 8 = -5*m for m.
0
Suppose 6 = 4*p - 2. Let d(b) = 10*b - 8 + 9*b + b**2 + 17 - 13*b. Let r be d(-5). Solve -p*a = 4*m, 4*m - r = -3*a - a for m.
-1
Suppose 0 = 2*t + 2*t - 5*b - 25, -4 = 4*b. Solve t*y + 12 = j, 4*y + 0*j = -j - 6 for y.
-2
Suppose 4*d = -16*d + 200. Solve d = -2*x, 3*q - x - 4*x - 22 = 0 for q.
-1
Suppose -17*r - 6 = -2*w - 16*r, 5*w - 14 = 3*r. Solve 5*t - 2*t = -3*g + 3, -w*g - 12 = 0 for t.
4
Let r be (-15)/(2 + (-2)/4). Let t = -9 - r. Solve -5*v + 4*x + 1 = 2, 4*v = 3*x - t for v.
-1
Suppose 6*c - 3 = 9. Solve -z + 5*q = -c*z - 18, 0 = z + 3*q + 10 for z.
2
Suppose -3*l + 21 = -0*l. Let a = -5 + l. Suppose 15*n + 23 = 53. Solve a*m + n*b = 0, 0*b + 2 = 5*m + 3*b for m.
1
Let r = -6 - -1. Let n be (8/(-3))/(r/(-15)). Let l be (-28)/n*16/14. Solve 2*o + 5 = l*g - 3, o = -2*g + 12 for o.
4
Suppose -2*k + 2 = 24. Let i be 6/(1/2*(k - -17)). Solve i*m + 6 = 3*w - 7*w, 5 = -3*m - 4*w for m.
1
Suppose -28*t + 35 + 217 = 0. Solve 0*q + 5*s = -4*q + 31, -3*s = -t for q.
4
Let r be ((-8)/(-12))/(4/18). Let w be (-2)/(r*10/(-75)). Solve -q = 2*q + 15, i = -q - w for i.
0
Let f = 96 + -134. Let b = f + 47. Solve 4*o - 5*m = b, -5*o + 7 = -0*m - 2*m for o.
1
Let r be (12/(-2))/(6/20). Let j = r - -11. Let q = j + 18. Solve 0 = x - 0*p - p - 7, 3*x = -3*p + q for x.
5
Suppose -2*w = 1 - 17. Solve b + 4 = 0, 3*b + w + 9 = -5*l for l.
-1
Let c = -3 - -2. Let i = 2 - c. Solve -5*v - 4 - 8 = -3*q, 2*q = i*v + 8 for v.
0
Let z(m) = m**3 + 8*m**2 - 10*m + 4. Let f be z(-9). Suppose -24 = -d - f. Suppose -n + r + 8 = -d, 20 = n - 2*r. Solve -4*l = -4*c, 3*c = 5*l + 4*c - n for l.
3
Let x be (-11 - -10) + (-4)/(-2). Let v(d) = 3*d**2 - d + 1. Let k be v(x). Solve 2*c - k = -4*m + 17, -15 = -3*m + 2*c for m.
5
Suppose -42*y - 76 = -202. Solve 4*d + 20 = 2*u, 2*u - 3*d - y = 12 for u.
0
Let g(l) = l**2 - 4*l - 60. Let d be g(-6). Solve -3*i - 9 = d, 2*j - 5 = -0*j - i for j.
4
Suppose -5*k + 4 + 11 = 0. Suppose -2*l + 25 = w, 3*w - 2*l - 79 = -4. Solve k*s + j + 3*j = 17, w = 5*j for s.
-1
Let d = -36 - -36. Suppose 4*o = 4*z + 5*o - 9, 5*z + 5*o = d. Solve 3*c - 5*f = c + z, -3*c = -5*f - 7 for c.
4
Let r = -16 - -22. Let g be 24/9 - 4/r. Suppose -3*i - o + 49 = 0, g*o + 25 - 4 = i. Solve m + 32 = 5*m + 4*w, -4*m = -w - i for m.
5
Let h(i) = -174*i + 890. Let t be h(5). Solve -9*r + t = -4*a - 7*r, -3*a = -2*r + 16 for a.
-4
Let v = -11 - -17. Suppose c + 3 = i + v, -4*i = 5*c + 12. Let n = -1507 - -1512. Solve -d - 3*x - 2 = -15, n*d + x - 9 = c for d.
1
Let v(p) = -p**2 + 90. Let i be v(0). Let a be ((-12)/15)/((-3)/i). Suppose -a = -7*f + 3*f. Solve 6*w - w - z = -f, -5*z = -5 for w.
-1
Suppose 0*l - 4*l = -52. Suppose 17*x + 12 = 46. Solve y = 2*u + 1, -y = -x*u - 4*y - l for u.
-2
Suppose 0 = -5*o + 4*j - 4 - 2, 16 = 4*j. Solve 4*n - s = 3, 5*s + 2 - 9 = -o*n for n.
1
Suppose 26*o + 15 = 21*o. Let g be o - 5/(3 + -5 + 1). Solve -5*r + 10 = -h, 0*r = 3*r + h + g for r.
1
Suppose 2*q - 4*d + 68 = 0, -3*q = -0*q - 5*d + 97. Let t = -24 - q. Solve a = 4*i, -4*a + 19 = -t*a + 3*i for a.
4
Let q be 18/6 - (2 - 0). Suppose 11 = 4*z - q. Suppose y - z*y = -10. Solve 4*l + 5*x - 1 = 0, -y*x = -2*l + 5*l - 2 for l.
-1
Let s = 18 + -19. Let o be (15/(-5) - -1*2)/s. Let w be -1 + -3*(-1)/1. Solve -w*i + 5*i = 5*p + 13, -4*i - o = -3*p for p.
-5
Suppose s + 4*t = -0 + 19, -3*s = 2*t - 17. Solve 0 = -s*l + 6*l + 5*n + 25, -5*n = 25 for l.
0
Let j = -1991 + 1994. Solve 0*t = 2*t + j*b + 19, 0 = 3*b + 15 for t.
-2
Suppose 5*s - 9 = 91. Let q = 22 - 17. Suppose -q*c + s = -0*c. Solve -c*r + 15 = -z, 0 = -2*z - 3 - 3 for r.
3
Let a = -4 + 7. Let m(h) = 4*h + 133. Let g be m(-30). Solve -3*q - 8 - g = 4*i, 0 = -q - a*i - 12 for q.
-3
Let c = -39 - -23. Let h be 2/c - 119/(-56). Solve 2*t - 14 = h*d - 2*t, -4*d - 17 = 3*t for d.
-5
Suppose 3*r + 0*r + 5*k - 16 = 0, 0 = -4*r + k + 52. Suppose -3 = -3*x - r. Let j be ((-3)/9)/(x/18). Solve -3 = a - j*l + 4*l, 0 = 4*a + l - 2 for a.
1
Let z = 301 - 169. Suppose -134*n = -z*n - 18. Solve 5*w = 4*g - n*g - 10, 4*g - 3*w = 20 for g.
2
Let f(o) = -2*o**2 - 12*o - 5. Let n(s) = -s**2 - 6*s - 3. Let m(v) = 2*f(v) - 5*n(v). Let y be m(-6). Solve -y*g + 2*d + 0 = -3, -3*g = -3*d for g.
1
Let n be (-8)/(-12)*(-18)/(-4). Suppos