10 for x.
-4
Let d(b) = b**2 - 5*b + 2. Let i be d(4). Let g = 3 - i. Let w(m) = m**2 + 3. Let j be w(0). Solve 0*y - g*y - 10 = 5*n, -j = -2*y + 5*n for y.
-1
Suppose -p - 3*p + 8 = 0. Solve m = -i + 2, 6*m - p = 3*m - i for m.
0
Suppose -m - 12 = 2*m. Let r = 6 + m. Let c be 6/2 + 4*2. Solve -c = -4*g + k, r*g + k - 18 = -k for g.
4
Let n(h) = h**3 + 9*h**2 - 2*h - 13. Let s be n(-9). Solve s*x + 5*q = 45, -4*x + 2*q - 2 = -2*x for x.
4
Let n(g) = 3*g + 1. Let z be n(4). Let h = -8 + 4. Let m be (2/h)/(3/(-42)). Solve 2*l + z = m*l - 4*v, 3*l = v + 5 for l.
1
Let i = -5 + 3. Let f be (2 + i + 0)*-1. Solve f = -5*n - 20, 2 + 6 = 2*r - 3*n for r.
-2
Let a be (9/6)/(9/12). Solve 30 = 2*z + 4*h, 5*z - 29 = -a*h + 6 for z.
5
Let g be (-1 + -1)/((-2)/(-5)). Let i(d) = -2*d - 6. Let s be i(g). Suppose 0 = 11*x - 19 - 47. Solve x = -4*a - 5*n, n + s = 2 for a.
1
Suppose 3*g - 9 = -i, 3*i - 5 = 2*g - 0*i. Let v = g + 1. Let t = 0 + v. Solve 4*h + 10 = -3*o, -t = -h - 7 for o.
2
Suppose 0 = -9*u + 4*u - 3*a + 51, 0 = -3*u + 5*a + 51. Let d = -9 + u. Solve 5*f - d*o = 1 + 4, -f = 3*o - 19 for f.
4
Suppose -15 = 2*q + 3*q, -3*q = 5*r - 1. Let s = 3 - 3. Solve s = r*k + 3*l + 3 - 8, -5*l + 10 = 3*k for k.
-5
Let g = 7 + -6. Let c be (g - -1) + (-7 - -29). Let i be (1/3)/(4/c). Solve 5*n + 30 = 5*b, 5*n - i*b = 2*n - 13 for n.
-1
Let g(v) = v**3 + 9*v**2 + 8*v + 2. Let c be g(-8). Let w = -10 - -14. Solve 0 = -4*i, c*i = -w*q + 5*i for q.
0
Suppose 2*v = -3*v + 15. Solve 0 = -v*j, 3*g + 20 = -g - 4*j for g.
-5
Let q(y) = -y - 4. Let r be q(5). Let c be (r/4)/((-6)/(-16)). Let k = -4 - c. Solve -3*x + 2*x = 1, k*x = -l - 6 for l.
-4
Let k be (12 - 8)/((-2)/(-5)). Solve 5*i = -2*n - 30, -5*i + 2*n - k = -0*i for i.
-4
Let z = -13 - -21. Suppose 2*n - z*n + 48 = 0. Suppose 0 = -4*h + 7 + 5. Solve -2*q = -4*p + n, -h*p + 1 = -2*p for q.
-2
Let l(h) = h - 4. Let x be l(7). Suppose 2*g - 5*n = 0, 0*g - 3*g = -x*n. Solve g = 3*b + 5*i - 11, -b + 4*i = -2*b + 6 for b.
2
Let p(q) = -q + 3. Let w be p(3). Suppose -i + 4 = -w. Solve -i*z + 7 = l, 2*z - 6 = -l - z for l.
3
Let m = 2 + 4. Let h = m + -6. Solve -i = 4*j - 2*j - 12, 5*j - 5*i = h for j.
4
Suppose -2*c = -u - 1, -2*u - 3 = -c - 7. Solve 3 + 2 = -2*d + 3*z, -u*d - 5*z + 40 = 0 for d.
5
Let x(s) = -s**3 - 4*s**2 + 4. Let u be x(-4). Solve -5*v = -u*i + 7 - 21, 0 = -i - 3*v + 5 for i.
-1
Let n(y) = -y - 6. Let f(r) = r + 6. Let k(t) = 7*f(t) + 6*n(t). Let m be k(-4). Solve -2*u = 2*v + 8, -u - 5 = -m*v - 1 for u.
-4
Suppose -g - 6*x + x = -17, 2*x = 6. Let h be (3 - g)*(4 + 0). Solve -3*j + h = -5*b, -2*b - 10 = j + 2*j for j.
-2
Suppose 0*o + 5*o - 25 = 0. Suppose -2*b - 5*z - 5 = -1, -o*b + 5 = 5*z. Solve 0 = -b*t + j - 6, -3*j = -6*j for t.
-2
Let h be 0 - ((-2)/2 + -2). Let c = -10 + 14. Suppose 4*f = -f - h*t + 25, 17 = -c*f + 5*t. Solve y + 2*n - 4 - 2 = 0, -2*n = 5*y + f for y.
-2
Let w(j) = j**2 + j. Suppose u = -u. Let f be w(u). Solve f = 2*m - 6, 0 = s + 2*m - 8 for s.
2
Let k = -24 + 44. Solve -b - 3*b = 2*v - 22, -5*v + 5*b - k = 0 for v.
1
Suppose -c - 1 = -4*x, x + c + 1 = -0. Let v = 10 - x. Solve 4*k - 2*k = -v, 9 = 4*d - 5*k for d.
-4
Suppose 5*i - 3 = -h, 3*h - i = -2*h + 15. Solve 4*b = -h*l + 20, -5*b - 2*l - l + 25 = 0 for b.
5
Suppose 0 = 2*w + 1 - 7. Suppose w*z = -0 + 9. Solve -4*q - n - z = 0, 3*q + 29 = q + 5*n for q.
-2
Suppose 3*o - 6 = 3. Solve 5*d = 5*g, -d + 4 + 6 = -o*g for d.
-5
Let k = 38 - 25. Suppose -5*m + k = -2. Solve -v + 4 = 2*q - 1, 4*v = m*q + 20 for v.
5
Suppose -7*b + 1 = -13. Suppose 0 = 2*i - i + 5. Let l be (i - -2)/((-6)/8). Solve -2*q + l = -2*n, -11 = -b*q - 4*n - n for q.
3
Let x be (6/14 + -1)*14/(-4). Solve 4*t = 4*d + 20, t - 5*d - 7 = -x*d for t.
4
Let b(g) = -3*g + 11. Let z be b(3). Solve 8 = -4*k + z*w, 3*w + 8 = -4*k + 6*w for k.
-2
Let t(m) = 5*m. Let v(c) = c. Let y(n) = 4*t(n) - 18*v(n). Let i be y(1). Let k be (0 - (-1)/i)*0. Solve 3*d + k*d + 23 = -2*p, 14 = -p - 2*d for p.
-4
Suppose 2*x = -35 + 5. Suppose l = 3*k - l - 4, -2*k = -5*l + 12. Let a be 20/x*(-6)/k. Solve 8 = a*y, y = -3*o - 2*y + 24 for o.
4
Suppose x - 5*d + 0*d = 11, 5*x - 2*d - 55 = 0. Solve 2*y - 2*w + 6 = -3*w, 3*y + w = -x for y.
-5
Suppose 4*v + 1 = -3. Let d = 2 - v. Solve 2*l + 17 = -l + a, -4*l + d*a - 31 = 0 for l.
-4
Let w be 3/(-9)*(-9 - 3). Solve d + 4*x = -1, x - 1 = -3*d - w for d.
-1
Suppose 2*p + p = 24. Suppose -3*h - 2 = -p. Suppose -2*x - 5 = 5, 1 = h*k + x. Solve -3*u = 4*q + 23, k*q = -3*u - 10 - 8 for q.
-5
Let v be 3*2/(-2)*(-6)/9. Solve 6*u - 3*u = v*s + 12, 8 = -5*s + 2*u for s.
0
Suppose 20*c + 21 = 27*c. Let q be -2 + (2 - 1) - -8. Suppose -c*i + q = -5. Solve 0 = -i*d + 8*d + 2*l - 14, -5*d - 4*l = -16 for d.
4
Let m(r) = 13*r - 1. Let l be m(1). Solve 19 = -2*q - 5*x - 2, -x - l = 3*q for q.
-3
Suppose 5*b = b + 16. Solve -5*d - 40 = 5*c, 19 = -3*d + b for c.
-3
Suppose 49*q + 20 = 54*q. Suppose -8 = -4*n, 0 = 4*z - n - 117 - 353. Suppose 4*s - s = 5*h - z, 0 = 5*s + 5. Solve q*x - 7 = -h, -3*p + 3*x + 24 = 0 for p.
4
Suppose -4*s - 14 = -2*l - s, -l - 3*s + 7 = 0. Suppose 4*g - 18 = -2*d, d - g = g - l. Let i be 1/d*3 - 1. Solve -8 = -2*y - 2*m, i*m = 2 + 8 for y.
-1
Let a = 37 - 35. Solve 0 = 2*v - a*o - 12, 0*v + v = -2*o for v.
4
Let b(l) = -l**2 - 9*l + 2. Let j be b(-9). Suppose 11 = 4*x - 9. Suppose -6 = -x*r + j*r. Solve 0 = -r*y - 4*d, -5*d = 2 - 7 for y.
-2
Let f be 18*((-4)/(-3))/2. Suppose 5*c = 2*r - 0*c + 29, 4*c = 3*r + 40. Let j be 1/3 + 4/r. Solve j = i - 3*b + f, -6*b = 4*i - 3*b - 27 for i.
3
Suppose 3*i = 1 + 2. Solve -2*y + 7 = -i, 4*y = -p + 12 for p.
-4
Let g(t) = -2*t - 3. Let k be g(-4). Solve -a + k + 6 = -4*l, 0 = -l + a + 1 for l.
-4
Let a be (-2)/(-4)*(13 + -13). Solve 2*v = -a*v + 5*l + 3, 15 = 4*v - l for v.
4
Let m be (-2)/4 - (-189)/14. Let x be 112/52 - 2/m. Solve 3*k = 4*k - 4*c + 22, -x*k - 14 = -2*c for k.
-2
Let n(w) = w**2 - w - 2. Suppose 1 = -t, s = t + t - 1. Let c be n(s). Suppose 2*l + 2*g - 6 = 0, -3*l + c = 3*g + g. Solve -o + l*d - 1 = -6, 0 = -2*d for o.
5
Let g be -9*(0 + 1/(-5 - -2)). Solve 0 = -4*z + g*q + 23, -2*z = -2*q - 1 - 11 for z.
5
Suppose 10 = 9*b - 4*b. Suppose -5 - 7 = -b*j. Solve 3*k - z = -3, j*k = 4*k - 4*z + 12 for k.
0
Let a be (-42)/(-4) + 1/(-2). Let q = 4 + a. Solve u + 3*u + 5 = -o, u + q = 4*o for u.
-2
Let p(l) = 7. Let x(f) = -f - 15. Let h(j) = -13*p(j) - 6*x(j). Let k be h(1). Suppose 0 = -3*o + k + 7. Solve i + 25 = s + 3*s, -5*s + 45 = -o*i for i.
-5
Let n be 2*(-2)/6*-3. Suppose -n*x = 2*x - 8. Solve -x*d - 2 = -2*a, 0 = -a - 0*d - d + 7 for a.
4
Let g(b) = -b - 5. Let t be g(5). Let x = -7 - t. Let s = -4 + 9. Solve 4*w = x*z + 20, -2*w + s*w = 6 for z.
-4
Suppose 2*o - 6 = 0, 3*o + 3 = -4*f - 0*o. Let s be 7 - (5 + f - -1). Solve -3*x + 9 = 3*p, s*x - 17 + 3 = -5*p for p.
2
Suppose 5*s = -15 - 5. Let u = 8 - s. Suppose -3*d = -6*d + u. Solve 0 = d*j + k + 10, -1 = j + 3*k - 4 for j.
-3
Suppose 343 + 707 = 2*u. Let k be (-3 - -1)/((-6)/u). Suppose -4*i = -9*i + k. Solve -3*o + 4*w + i = 0, w + 17 = 3*o - 3 for o.
5
Let r(v) = -2 + 4*v + 4*v**2 - v**3 - 2*v**2 + 0*v**2. Let k be r(3). Solve -z + 3*z - 16 = -3*s, k = 3*s - z for s.
2
Let n(f) = 2*f - 25. Let k be n(13). Solve -5*b + k = 3*m, b = -3*b + 3*m + 17 for b.
2
Let z(h) = h + 13. Let k be z(7). Let m = -18 + k. Solve 0 = 5*w + 4*v + m, -w + 0*w = -5*v + 12 for w.
-2
Let a be ((-4)/6)/((-4)/78). Let w = -8 + a. Solve -4*l - l + 10 = -2*i, l + 21 = w*i for i.
5
Suppose 0 = -b - 3*h - 1, -5*b + 63 = 5*h - 7*h. Solve -7 - 13 = -4*l, 2*m - l + b = 0 for m.
-3
Suppose -8*v + 3*v + 90 = 0. Solve k - 1 = 2*c + c, -2*c + 5*k = v for c.
1
Let s(n) = 2*n + 6. Let u be s(-3). Let v = u - -14. Solve -5*b + 2*o - 24 = 0, 4*o + 2 - v = b for b.
-4
Let q be ((-8)/10)/((-2)/15). Let x be ((-24)/(-18))/(4/q). Suppose j + 5*d - 8 = d, 0 = 2*j + 3*d - 6. Solve j = 3*b - 5*m - 10, x*b - 4 - 4 = 2*m for b.
5
Let j be (10/(-6) + 1)/(3/(-9)). Solve -j*z - 14 = -2*g + 3*z, -g - z = 0 for g.
2
Let d = -9 + 12. Solve d*j = 3*z - 3, -j + z - 1 = -5*j for j.
0
Suppose -5*r = -4*r - 5*l - 38, r - 34 = 3*l. Suppose -r = 2*b + 2*b. Let a = 21 + b. Solve -2*k = -4*q + 6, 5*k + a = -3*q - 1 for q.
0
Let c(q) = -q**2 + q + 2. Let a be c(0). 