4 for x.
-1
Let v be 46/1*(-6)/(-12). Let u(b) = b**2 - 4*b. Let g be u(3). Let z = g + 7. Solve 2*y = 3*m + 15, 8 = m - z*y + v for m.
-3
Let a(z) = -7*z - 4. Let g be (0 - 1)/(-2 + 3). Let o be a(g). Solve 0 = -w + 5*j + 7, 21 = -o*w - 2*w - 3*j for w.
-3
Let y(f) = -f**2 + 6*f + 10. Let a be y(7). Suppose -2*m = -a*m + 4. Suppose -l + m*l = 0. Solve l = -3*u - 2*d - 9 + 2, 3*u = 5*d - 35 for u.
-5
Suppose 0 = 4*v - 37 + 29. Let x(y) = y**2 + 2*y - 5. Let n be x(-5). Let l = -5 + n. Solve 0 = 5*w - 5*h - 20, -3*w + l*w + v*h = 8 for w.
4
Suppose -3*m = 2*k - 22, m + 1 - 7 = -2*k. Solve 5*c + 4*s = 2*c - 4, 3*s - m = -5*c for c.
4
Let q = 834 + -831. Solve h + q*j - 12 = 0, -1 = -j + 3 for h.
0
Suppose 2*u - 2*r + 2 = 0, 4*r - r - 2 = 4*u. Solve 2*n + 14 = 2*m, -2*n - u = 2*m + n for m.
4
Suppose 11 = u - 3*y - 6, -3*y = -3*u + 21. Suppose 0 = -u*m + 3*m, 15 = 5*h + 5*m. Suppose -2*s = -h*s + 12. Solve 14 = -4*g + f, 2*g - 2*f - f = -s for g.
-3
Suppose -4*u - 10 = -2*p, 3*u - 5*p = -0*u - 25. Suppose 2*c = 20 - u. Suppose -6*f + c = -f. Solve -w - 15 = 4*w - 5*v, -15 = 5*w + f*v for w.
-3
Let r = -762 - -765. Solve 3*c + 1 = -s + 3, 0 = -c - r*s + 14 for c.
-1
Let g be -1 + ((-2)/1)/(-1). Let a be (-5)/((1 + -2)*g). Suppose -21 = -4*t - 5. Solve 3*y - a*z + t = 0, -y - 5*z + 7 = -5*y for y.
-3
Let z(u) = -u**3 + 3*u**2 + 6*u + 7. Let q be z(5). Let n = 16 + q. Suppose r - n*r = 5*o - 23, -o - 17 = -5*r. Solve 0*j - 9 = j + 4*m, 0 = -3*m - o for j.
-5
Suppose 0 = 3*r, 0*u - 5*r - 1 = -u. Let d be (u - 7)*(-1)/(-2). Let g be 4 + d + -2 - -3. Solve 5*s - 3*o + 16 = 0, 0 + 6 = -5*s - g*o for s.
-2
Let r = -736 + 764. Solve 4*h = 4*v - 0*h + r, 2 = v + 2*h for v.
-4
Let u = -100 - -102. Solve 0 = 4*g - 4*n - 24, 2*g = u*n - n + 11 for g.
5
Suppose 0 = -t - 11 + 16. Suppose -t = 4*p - 0*p - q, 4*p + 10 = 2*q. Solve p = -z - 5*n - 18, 4*z = 3*n - 2 - 1 for z.
-3
Let d(m) = m**3 - 4*m**2 - 58. Let l be d(6). Solve 2*p - l - 4 = -4*r, 0 = -4*p + 2*r - 4 for p.
1
Let h = -82 - -97. Solve 4*f + 12 = 0, -3*y - 2*f = -0*y + h for y.
-3
Let l(w) = -19*w - 53. Let o be l(-3). Solve 5*t - 45 = 4*p, o*p - 2*t + 17 = -13 for p.
-5
Let m(y) = y**3 - 2*y**2 - 3*y + 2. Let w be m(3). Suppose n - 42 = -7. Let p = n - 30. Solve 5*r + w*s = 6, -p*s + 1 = -14 for r.
0
Let g = 4 + -2. Let z be 8 + 6/9*3. Suppose 10*n - 1186 + 1166 = 0. Solve g*i + z = 0, -3*m = -n*m - 5*i - 25 for m.
0
Let g(j) = j**3 + 4*j**2 - 5*j - 1. Let q be (-2)/(8/20) - 0. Let y be g(q). Let o be y + (-3)/(-1) + 14. Solve 5*f - 3*k + 8*k = 20, o = 3*f + 4*k for f.
0
Let q = -136 + 190. Let b be -2*(2 - q/12). Solve p = b*c + 2 + 2, 2 = -c - p for c.
-1
Suppose t - 3*r + 8 = 3*t, -16 = -4*t + 4*r. Solve 3*u + x = -1, t*u - 5 = -4*x + 7 for u.
-2
Let l = -11 + 17. Suppose -6*h + 103 = 3*t - 2*h, 3*h = -l. Suppose 5*y = 57 - t. Solve -3*z = -b + y*b + 6, 5*z = 2*b + 4 for b.
-2
Suppose -11 = -5*z - i, -4*z = -0*z + 2*i - 10. Let b be (1/(-11)*2)/((-86)/946). Solve -3*m + 2 = -v - b*m, 3*v + z*m = 9 for v.
1
Suppose -2*u = -5*m - 13 - 18, -3*u - 6 = 3*m. Let a = 12 + -7. Suppose 3*r + 1 = a*t - 4, -u*r + 35 = 5*t. Solve 0*l - l = -5*f + 23, -2*l = r*f - 14 for l.
-3
Let j = -1 + 3. Let f be j/8 - 318/(-8). Suppose 3*b - 2*b - f = 0. Solve b = -5*y - 5*l, 13 = -4*y + 3*y - 2*l for y.
-3
Let p = -34 - -34. Solve v - 3*v - 5 = -f, -4*v + f - 7 = p for v.
-1
Let s(n) = 2*n**3 - 20*n**2 + 4*n - 35. Let a be s(10). Solve -5*p = 3*m + 15, 2*m + 10*p - a*p + 10 = 0 for m.
-5
Suppose 11*j - 315 = -18. Solve -2*y + 3*q = -6*y + j, -4*y + 3*q - 3 = 0 for y.
3
Suppose 13*i + 27 = 183. Solve -h - i = 3*m - 2, -12 = -4*h + m for h.
2
Let p be 14/35 - 3/(-5). Let t be (-8 + 4 - -20) + p. Solve -45 = z - 5*l - t, -31 = 2*z - 5*l for z.
-3
Suppose 15 = 3*v - j, 0 = -5*v + 18*j - 15*j + 29. Solve 4*k = -2*i - 6 - v, -6 = -4*i + 5*k for i.
-1
Let o(c) = -c + 4. Let q be o(-9). Let w(t) = -t**3 + 14*t**2 - 12*t - 11. Let f be w(q). Solve -5*z - v - f*v = -40, -2*v = -2*z for z.
5
Suppose -3*y + 12 = -0. Suppose 10 = -5*d + 15. Let l(t) = 6*t - 1. Let j be l(d). Solve j*v = 15, 0*v + 2*v - 18 = y*x for x.
-3
Let n be -1*(2 + 1 + 0)*-1. Suppose -2*l - 3 = -n*l. Solve -c = m - 7, 2*c + 1 = -l*m + 17 for c.
5
Let x(q) = -q**2 + 15*q - 5. Let g be x(14). Suppose 72 = g*b - 5*b. Solve -s - 4*d + 0*d + 14 = 0, -3*s + 3*d - b = 0 for s.
-2
Let w be (-15)/(-6) + (-1)/((-4)/(-2)). Suppose 1 = 3*d + 2*d + 2*o, -5*o - 13 = -3*d. Let k be d/(-3)*(2 + -14). Solve 3*r = -w*s - k - 6, -2*r - s = 7 for r.
-4
Let u = -1 + 6. Let a = -3 + u. Suppose -2*b + 10 = a. Solve -4*q + 16 = b*n, 5*q - 22 = -4*n - 3 for q.
3
Suppose -x + 88 - 31 = 4*u, 7 = -u + 4*x. Solve 4*s + 13 = -z, 3*z + s - u = 2*s for z.
3
Let b(n) = n**2 + 20*n + 69. Let l be b(-16). Solve -r = 0, -3*a + l*a - 5*r = 2 for a.
1
Suppose 0 = 6*p - 3*p - 18. Let v = -114 - -114. Solve v = -4*m - 4*c, 2*m + 5*c + p = -0*c for m.
2
Suppose 8*d + 5 = l + 6*d, 4*l = -5*d + 20. Solve 4*g + 5*b + 1 = 7, g - l*b = -11 for g.
-1
Let n be 6*((-1)/(-2))/((-12)/(-8)). Suppose 21 = n*x + 5*a, -x - x + 3*a - 3 = 0. Solve 0 = -6*q + x*q + 3*s - 18, -3*q - 3*s - 12 = 0 for q.
-5
Let u be (-1 - 2)*(-4)/6. Suppose -15 = u*i + 1. Let a = 12 + i. Solve 2*h = a*l + l + 9, l - h + 3 = 0 for l.
-1
Let n be 19/2 + (2 - (-12)/(-8)). Solve 0 = q - 2*y + n, 7*q = 2*q + y - 23 for q.
-4
Let k(x) = -x + 12. Let b be k(8). Solve 0 = -3*y - f - 2, y = b*y - f + 4 for y.
-1
Suppose 24*x + 6 = 26*x. Suppose -x = -6*n + 21. Solve -2*d = -0*d + n, 2*y - 3*d + 2 = 0 for y.
-4
Let k be (4/(-1))/(6/9*-1). Let y = 16 - k. Solve -2*o - 4*s - 4 = -o, 3*o + s = y for o.
4
Suppose -158 = 4*y + 142. Let u = y + 40. Let b be (u/(-21))/(1/3). Solve 3*k + 2 = k - f, 0 = -b*f - 20 for k.
1
Let w = -326 - -326. Solve 2*d - 29 = 5*p + 2, w = 3*d - p - 14 for d.
3
Let q = 39 + -25. Solve -q = -5*v - o + 2*o, -2*o - 10 = -v for v.
2
Suppose -4*x - u = -15, -4*x - 2*u + 6*u = 0. Solve 5*p + 0 = a + 12, -x*p + 3*a = -12 for p.
2
Let u be 2*(2 - 2/(-4)). Let n(s) = 5*s - 99. Let q be n(21). Solve u*l + w + 13 = -3*w, -4*l - q = w for l.
-1
Suppose 7*z - 8*z + 5 = -i, -3*z + i + 9 = 0. Solve 0*x + 5*o = -3*x - 34, -5*x = z*o + 25 for x.
-3
Suppose 24 = -25*t + 33*t. Solve -5*h - 5*n = -10, 0*h - t*n = h - 8 for h.
-1
Let m = -318 + 322. Solve -5*n = -0*w + m*w - 41, 4*w - 16 = 0 for n.
5
Suppose f + 4*n - 12 = -0*f, 2*n - 46 = -3*f. Suppose -7*z + 10*z = 9. Suppose -f = -4*r, -z*r + 10 = j - 2*j. Solve -2*v + b + 19 = -j*b, -4*b = 3*v - 3 for v.
5
Suppose 0 = 5*c - 42 + 17. Let q(j) = -j**2 + 6*j + 1. Let n be q(c). Suppose -b - 14*b = -60. Solve n*m - m + 22 = g, -4*m - 24 = -b*g for g.
2
Let p(f) = -5*f**2 - f - f**3 + 0*f + 2*f + 7. Let r be p(-5). Let q = 128 + -125. Solve 0 = q*t + 3*c + 2*c - 10, 0 = r*t - 4*c + 30 for t.
-5
Let o = 576 + -576. Solve l - 3*l - 3*w - 6 = o, -4*w = 0 for l.
-3
Let x = -136 - -138. Solve -p + 5*d = -x - 4, -5*p + 2*d = -7 for p.
1
Let t be ((-3)/(-4))/((-480)/(-2560)). Solve -h - y + 11 - 14 = 0, 0 = -t*y + 4 for h.
-4
Suppose 0*w = w - 2. Suppose -w*v - 13 = -v. Let h be v/(-2) - (-1)/2. Solve -3*x - p + 0*p = -19, 3*x - 2*p - h = 0 for x.
5
Let k = -621 - -634. Solve 3*y - 5*i = -0*i + 11, -5*y + k = -3*i for y.
2
Suppose 25*s - 41 = 34. Solve 5*m - x = 11, -s*x + 8*x = -m - 3 for m.
2
Let x = -323 + 327. Solve 2*q - 16 = -4*o, 2*o - 2*q + 12 = x*o for o.
2
Let t(u) = -u**3 + 9*u**2 + 6. Let f be t(9). Suppose -2 - 10 = 3*q. Let v = q + 9. Solve -f*p + p = 2*b - v, 3*b - 2*p = -21 for b.
-5
Let d be 34 + 4/(-1 - -3). Let v = d + -16. Suppose -3*i - 3*u = -0*u - 6, 3*i - v = 4*u. Solve 4*b + i = -4*y - 0, -y = 3*b + 9 for b.
-4
Let n be (-37)/(-111) - (-10)/(-3) - -7. Solve n*y - 2 = -v + 3, 5*y - 1 = 4*v for y.
1
Let g = -17 + 45. Let o = 28 - g. Let u = 15 - 10. Solve o = -p - 4, -5*q - 4*p - u - 11 = 0 for q.
0
Let a(p) = -p**3 - 5*p**2 + 3*p - 8. Let t be a(-6). Suppose 4*c - t = 6. Let k = 15 - 10. Solve 3*j = -k*h - 6, 4*j - c*h - 27 = h for j.
3
Suppose -6*m = -m. Let w(x) = x**2 - 8*x - 9. Let b be w(8). Let c = b + 12. Solve -n = m, -c*i + 20 = -2*n + 5 for i.
5
Let z(a) = -a**3 - 6*a**2 + 10*a + 29. Let q be z(-7). Let j(i) = i**2 - 5*i - 8. Let t be j(q). Solve 4*u + 4*g = t,