x.
2
Let f be -3*1*(-4)/6. Solve -c - 2 = -f*j - 4, 0 = 4*j + 5*c - 24 for j.
1
Suppose 19 = 4*c - 1. Solve 5*r = 2*r + 5*z - 8, 16 = -r + c*z for r.
4
Let o = -7 - -13. Let b be (10/o)/(2/6). Let w be (-1)/2*(-1 - -1). Solve 2*x + 2 + 12 = -5*d, -b*x + 15 = w for d.
-4
Let y be 27/9*(-8)/6. Let g be (6/y)/((-2)/4). Solve -g*k = 15, k + 15 = 5*h - 0*k for h.
2
Let l = 0 - 1. Let a = 2 + l. Let y be (2 + 8*a)/2. Solve 3*p = y*i - 2, 2*i - 4 = -2*p - 0*i for p.
1
Suppose -4*i - 2*a + 33 = -31, a + 36 = 2*i. Solve n = -2*n + 4*w - i, 5*w = 2*n + 23 for n.
1
Suppose -3*d + 11 + 5 = 5*c, c + 3*d = 8. Let o = c - 2. Solve -2*u - 12 = -3*t, 3*t - 3*u - 12 = -o*u for t.
4
Let r = -5 - -8. Suppose -r*h + 3*z + 18 = -0*h, -3*z + 22 = 5*h. Solve b - 13 = m - b, h*b = -5*m + 10 for m.
-3
Let q(d) = d**3 + 3*d**2 - d - 1. Let h be q(-3). Suppose h*l = l. Solve -5*b = -2*k + 1, 14 = -5*k - 4*b - l for k.
-2
Let d(w) = w**3 + 7*w**2 + 5*w - 4. Let u be d(-6). Let h = u + -3. Let q be ((-2)/(-5))/(h/(-10)). Solve 1 = 4*f - 2*n + 5, 2*f = q*n + 4 for f.
-2
Let q be (-2 - -3) + 2 - 0. Solve 3*w - q*r = -3, -4*w - w - 5*r - 25 = 0 for w.
-3
Let w be (-2 - -2)*5/20. Solve -p + 2 = w, -5*d + 18 = -p - 0*p for d.
4
Suppose -3*v + 6 + 3 = 0. Suppose -4*s = -4 - 128. Solve j + v*c = -4, -4*j + s = -2*c + 7 for j.
5
Let a = -179 - -183. Solve -3*y + 0*l - l - 4 = 0, 16 = -a*l for y.
0
Let i = -4 - -20. Suppose 3*m - w = i, -2*m + 2 = -0*m - 5*w. Suppose g = -5*h + 29, -m*g + g = 5*h - 45. Solve t + 17 = -0*t - 3*u, 0 = g*u + 20 for t.
-2
Let a = 30 + -28. Solve 0 = -5*h - a*l + 5*l + 3, -l = -4 for h.
3
Suppose 0 = -u - 2*r + 19, 3*r = u - 5*u + 76. Suppose -c + n = -11, -2*n + u = 4*c - n. Suppose 2*z - c = -z. Solve i + i - z*m = 12, -m = 5 for i.
1
Let n(h) = h**3 + 4*h**2 + 2*h - 2. Let b be n(-2). Solve -c - 3 = -b*j, -5*j = -4*c - c - 20 for c.
-5
Let h(x) = 2*x**3 - 4*x**2 + 4*x - 3. Let p be h(2). Suppose -u = -p - 0. Solve 3*r + 9 = 4*k, u*r + 0 = k + 2 for k.
3
Let t = 6 - 12. Let y(f) = -f - 3. Let m be y(t). Solve 0*r + m*r - 9 = -4*j, -4*r + 12 = -2*j for j.
0
Let u(i) = i - 1. Let g be u(1). Suppose 5*z - 5*h + 0 - 5 = g, 3*z = h + 3. Suppose p + z - 9 = 0. Solve b - 4*k + 5 = 0, 0*k = -3*b + 5*k - p for b.
-1
Let w = -5 - -13. Suppose 3*k = 7 + w. Solve -4*c + 25 = 3*i - 4*i, 5*i - k*c = -50 for i.
-5
Let u be (-1 - -2) + (2 - 1). Let z = 8 + -6. Suppose -4*x - 68 = -z*c - c, 3*x + 63 = 3*c. Solve 3*i + d + 23 = -2*i, -c = u*i - 3*d for i.
-5
Suppose -i - 10 = -3*i. Suppose 0 = -4*c - 5*u + 7, 2*c + i*u = -1 + 2. Solve -5*m - 2*q = -2, -1 = -4*q + c for m.
0
Suppose 0 = -6*w + 8*w - 8. Suppose -12 = t - w*t. Solve -2*z + 4 = -2*c, 2*z - t*c = -0*z + 8 for z.
0
Let o = 22 + -22. Solve 2*m + 5*n = 4*m + 14, o = -m + 3*n - 9 for m.
3
Let p(f) = f**2 + 14*f + 13. Let z be p(-13). Suppose -5*t + 0*s + 15 = 5*s, 4*s = z. Solve o = -2*w, 3*w - t = -3*o - 9 for o.
-4
Suppose 298 = -5*g + 318. Let v = 5 + 2. Solve 0 = -4*m + 3*n - g*n + v, 2*n + 2 = 0 for m.
2
Suppose -4*a - 4 = 5*k - 44, -3*k = -5*a + 13. Solve -2*q = -2*h + 8 + 10, -k = q for h.
5
Let i = 3 + -4. Let n = 3 + i. Suppose -1 = -2*z - 3*v, n*z = 4*v + v + 9. Solve p + z*r - 1 = 0, -2 = p - r - 0*r for p.
-1
Suppose 2*w - 4*v = -14, -w + 26 + 2 = 5*v. Solve 5 = 3*o + 2*h, o - 2 = -w*o - 5*h for o.
3
Let i = -11 - -13. Solve -p + 4*f = -5 + 13, -2*p + f = i for p.
0
Let k be 24/18 - (-4)/6. Let x be -4*k/(-4) + 0. Solve 3 + 5 = x*j + 2*u, 5*u = -2*j + 20 for j.
0
Suppose 18 + 42 = 2*y. Let p be ((-1)/(-2))/(3/y). Suppose -3*c + 71 = 4*b, -3*c - c + 80 = -2*b. Solve 0 = -2*g + p*x + c, -4*g + x - 3 = -0 for g.
-2
Suppose 8 - 42 = 2*q. Let z = -17 - q. Solve -n + 5*p = -23, -2*n = -z*n + 4*p + 10 for n.
3
Suppose -4*i - 8 = -5*t + 2, -i + 2*t = 4. Suppose 0 = -m - i + 2. Let o be (12/5)/((-6)/(-20)). Solve -3*g = -p + o, 5*g = -2*p + m*g - 20 for p.
-4
Let z(b) = 5 + b**2 - 4 - 6*b - 1 + 11. Let i be z(8). Suppose -3*r + i = 6*n - n, -n - 31 = -2*r. Solve -2*f = -0*f + 4*y + r, -9 = 3*y for f.
-1
Let h(w) = w - 1. Let o be h(6). Suppose o*f + 16 + 44 = 0. Let v = -7 - f. Solve -4*g - k = 0, -4*g + 17 = v*k + 1 for g.
-1
Let h(l) = -2*l. Let p be h(1). Let m be p/5 - 56/10. Let s(x) = -x**3 - 5*x**2 + 6*x + 5. Let o be s(m). Solve 5*k = -o*y - 5, -k - 5 = -5*k + 5*y for k.
0
Suppose 4*s - 2 - 22 = 0. Let b(u) = -u + 8. Let z be b(s). Solve 2*v - 14 = -4*o, -1 = -z*v - o + 10 for v.
5
Let j = 13 - 5. Suppose 0 = -2*r - 2*r + j. Suppose r*x + 8 = 6*x. Solve f + x*d - d = 5, -2*d + 7 = f for f.
3
Let f = -11 + 21. Solve 4*u = -2*l + f, -5*l = 5*u - 2*u + 10 for l.
-5
Let f = 1 - -2. Let c(x) = -x**2 - 9*x - 9 - f*x + x. Let r be c(-8). Solve -2*t = -3*z + t - r, 0 = -2*t + 4 for z.
-3
Suppose h - 2*c + 2 = 0, 12 = -2*c - 2*c. Let q = -5 - h. Solve 0*g + 15 = -3*b + g, q*b + 15 = 3*g for b.
-5
Let j = 6 - -5. Let w = -6 + j. Suppose 14 + 1 = w*y. Solve 3 = 4*m - 2*g - y*g, -2*m + 6 = 2*g for m.
2
Let w be 3/(-2)*48/(-18). Suppose 4*o = -4*n - 12, 3*n - w*o - 23 = o. Let s be (n + 2)*(-20)/(-6). Solve 3*b - s = 4*k - 5*k, 2*k - b + 8 = 0 for k.
-2
Suppose 2*c + 5*a - 9 = 0, -2*c - 2*a + 6 = -6. Let b(s) = s**3 - 8*s**2 + 6*s + 9. Let o be b(c). Solve -3*j + 2*h = o + 5, 4*j + 2*h = 0 for j.
-1
Let f(a) = -a**3 + 10*a**2 - 22*a + 9. Let j be f(7). Solve -2*z - 7 = -5*g - j, -z = -2*g + 1 for g.
3
Let t(w) = -w**3 - 7*w**2 + 9*w + 1. Let q be t(-8). Let x(z) = z**3 + 6*z**2 - 8*z - 1. Let k be x(q). Solve -3*f + n + 0 = -k, -16 = -f + 5*n for f.
1
Suppose 3*m = m. Suppose 3*g + 4*o - 8 = m, g - o = -5*o. Solve 20 = -4*x, g*l - x = x + 6 for l.
-1
Let o = -1 + 3. Suppose 3*a + 15 = -o*a, 4*k - 4*a = 36. Solve -22 = d - 4*m, -4*m + 18 = -2*d - k for d.
-2
Let d be 1*-1*(2 - 1). Let j be 2 + (4 - (d + 1)). Suppose 2*k - j = -k. Solve 23 = -3*t - 5*i, -k*i + 5*i + 8 = 4*t for t.
-1
Let r be 3/((-3)/(-48)*4). Let i = r + -7. Solve b = -2*b + m + i, 5*m + 25 = -b for b.
0
Suppose r - 3*o - 28 = 0, 0*r = -2*r - 5*o + 1. Let j = -8 + r. Solve w = -5*m - 13, -m = 3*m - j*w - 7 for m.
-2
Let c(w) = -3*w - 1. Let z be c(-2). Solve -4*o + 7 = -z*j, -3*o - 18 = j + 3*j for o.
-2
Let b = 0 + 2. Suppose b*r + r = -36. Let j be ((-2)/6)/(1/r). Solve 0 = -j*m - 5*k - 0 - 2, -4 = -2*m - 5*k for m.
-3
Let l = 186 + -174. Solve -5*u + 12 = -2*h + 29, -5*u - l = 3*h for h.
1
Let f be 27 + 1/(-2)*-6. Suppose f = -2*s + 4*s. Solve -5*k = 5*i - s, -k = i + 2*i - 3 for k.
3
Suppose -5*k = -2*h - 0*k + 2, 22 = 3*h + 2*k. Solve 4*d = 3*s - h - 9, 0 = -2*d - s + 5 for d.
0
Suppose -3*l + 23 = -5*k, -5*l + 24 - 7 = -3*k. Let q = -19 - -13. Let b = k - q. Solve -m = 3*f - 3, 0 = -2*f - b*m - 4 + 2 for f.
2
Let n(t) = -t - 6. Let g be n(-11). Solve -g*d + 10*d = 3*k + 7, -2*d + 2*k + 6 = 0 for d.
-1
Let a be -3 + 9 + 0 + 0. Suppose -5*i + a = -2*i. Solve -v + i*z - 1 = 0, 0 = v - 3*v + 3*z - 2 for v.
-1
Suppose -3*h = 85 + 71. Let t = h - -79. Solve -3*u - t = 5*n, 2*u - 7 = 4*n - 3 for n.
-3
Suppose -5*y + 40 = 3*y. Solve a - 8 = 4*l, 2*l - y*l + 17 = 5*a for l.
-1
Let q = 12 + -9. Suppose -u + 70 = 4*u. Solve c + j + 7 = 1, -u = q*c - j for c.
-5
Suppose 0 = 2*q - 2*p - 0 - 2, 3*q + 5*p - 11 = 0. Solve 5*w + q*k = -19, 3*k - 19 = 5*w + 15 for w.
-5
Suppose 0*j = -j + 5*z - 17, -2*z + 2 = -j. Solve j = 4*y - 2*d, -11 = -3*y - 0*d + 4*d for y.
1
Let u(q) = q**2 + 8*q + 9. Let s be u(-7). Suppose -3*z - 2*o - s = -2*z, 4*z - 19 = o. Solve -2 = -l - m + z*m, 3*l - 1 = 4*m for l.
-1
Let b = 25 + -20. Suppose 0 = -2*t - 3*x + 11, 0*t + b*x + 35 = 2*t. Solve 3*h - 14 = 4*c, -8 - t = 2*c + 4*h for c.
-5
Let s be -1*36/(2 - 4). Let v(m) = -m**2 + 8*m + 4. Let l be v(8). Suppose 0*b + l*b - 8 = 0. Solve -b*r + 4*o = -s, -2*o = -4*r - 4*o + 6 for r.
3
Let n = -1 - -1. Let u be (-12)/(-9) + (-2)/(-3). Let s = u + 2. Solve n = w + d - 4 + 9, 0 = 4*w - 4*d - s for w.
-2
Let h be 352/(-20) - (-2)/(-5). Let k be (-86)/(-18) - 4/h. Let v = k - 5. Solve -s - 3*t + 2 = -v*s, -5*s + 2*t + 10 = 0 for s.
2
Let z(o) = -2*o + 22. Let m be z(9). Solve i - 2 = -2*x + x, -m*i = 3*x - 5 for i.
-1
Suppose -c + 5*u = c - 47, -4*u - 126 = -5*c. Solve 3*i + 8 = -b, 2*i - c = 5*b + 3*i for b.
-5
Let h(t) = t**2 - t - t**3 + 1 + 2*t + 2. Let w be h(0). Let r be (3 -