- 14 for x.
4
Let c be (24/16)/((-1)/(-2)). Solve 0 = 5*d + 5, 0 = -c*u - d - 3*d - 16 for u.
-4
Let j(n) = 2*n**2 + 3*n**2 - 2*n**2 + 3*n**2 + 4*n + n**3. Let p be j(-5). Solve 4*d = d + z - 9, 2*d = p*z + 7 for d.
-4
Let b(u) = u**3 - 3*u**2 - 5*u - 2. Let p be b(4). Let q = p - -6. Solve -2*f + 2*d + 9 + 5 = 0, q = 3*f + 4*d for f.
4
Let h(g) = g**3 + g + 8. Let b be h(0). Suppose 4*v = 2*t, 4*t = 2*v - 0 - 12. Let y = t + 6. Solve 4*n + b = -y*i - n, -3*n + 20 = -5*i for i.
-4
Let i(v) = -v**3 - 6*v**2 - 4*v - 4. Let k be i(-6). Let l = -18 + k. Solve -l*o + 4*f - 16 = -0*o, -12 = -3*f for o.
0
Let t(x) = 2*x**2 - x. Let z be t(-1). Solve z*g = 15, -3*u - 6*g = -g - 31 for u.
2
Suppose -5*v + 11 - 41 = 0. Let t be -5*(-1)/(5/v). Let g(b) = b + 11. Let c be g(t). Solve 5*l - 3 = -i + 4, -c*l + 22 = -4*i for i.
-3
Let h = 17 - 14. Let x be h*2 + 4/(-2). Solve x*i - 3 = -5*c + 26, 0 = i + c - 6 for i.
1
Suppose -3*c = -0*c + 66. Let v = c - -36. Solve q + 5*z + 17 = 0, 5*z = q - 3*q - v for q.
3
Let o(x) = 4*x**2 - 8*x + 6. Let d(i) = i**2. Let k(w) = 5*d(w) - o(w). Let n be k(-9). Solve -n*b + 8 = -5*v, b = -7*v + 3*v - 3 for v.
-1
Let x(p) = p**2 + 13*p + 6. Let c be x(-13). Let h be c/27 - (-2)/(-9). Solve 5*s + 3 = 3*d, d + h*s + s = 1 for d.
1
Let o(j) = j - 2. Let i be o(4). Suppose b + i*b = 0. Solve -4*p + 12 = b, -4*s - 2*p = -p - 23 for s.
5
Let v be (4/2)/((-2)/(-5)). Suppose -2*b + 3*b + 4 = 0, 0 = w + v*b - 15. Solve 5*h - 5*c + w = 0, -3*h = c + 3*c - 14 for h.
-2
Suppose -4*v = -3*v. Let w be (-9)/(-4)*8/6. Solve -w*a + a = 5*u + 26, -3*u - 3*a - 21 = v for u.
-4
Let n(i) = 2*i**2 + 2*i - 1. Let t be n(-2). Solve -w + 3 = -2*k, -5*k + 2*w - t*w - 18 = 0 for k.
-3
Let t(g) be the first derivative of -g**4/4 + 2*g**3 + 4*g - 1. Let h be t(6). Suppose -y = -2 - h. Solve w - 5*c + 17 = 0, -w + y*w + 2*c - 23 = 0 for w.
3
Let k = -10 - -12. Suppose 0 = k*n - 5*n. Solve 5*x + 0*d + 2*d = n, 0 = -x - 2*d - 8 for x.
2
Suppose -10 = 3*c - 8*c. Solve -c*v + 3*v = p - 7, 3*p + 3*v = -9 for p.
2
Suppose -d = -3*d + 3*s + 20, 12 = -d - 4*s. Solve 5 = 2*u - d*n - 5, u - 3*n - 8 = 0 for u.
-1
Let s = 2 - 2. Solve -3*b + 3*x + 2 = -b, 4*b - 4*x = s for b.
-2
Let n be (1/(-3))/(1/(-6)). Suppose n*c - 20 = -3*c. Solve 26 = -5*z - 2*q + 7, z = -c*q - 11 for z.
-3
Suppose -3*b - 4 = -5*b. Let z be 148/28 - b/7. Solve -k - 4*o + z = 1, 4*k - 16 = -3*o for k.
4
Let x(q) = 4*q**2 + q. Let b be x(-1). Let m be (b/(-2))/((-3)/8). Suppose -m*g + 5*n = -25, -g - 3*g + 2*n = -22. Solve t = 1, 0*t = -l + g*t - 8 for l.
-3
Let t be -3*6/(-9) - -1. Let m(g) = g. Let p be m(t). Let c be 2/(-1) + 7 - 1. Solve i = 5*r, -2*i = -p*i + c*r for i.
0
Let h = 14 + -12. Suppose -l = 4*l - 5. Suppose 5*n = 2*f - 4, 0 = n + 3*n + 3*f - 6. Solve v - 5*s = l + h, n = -s - 1 for v.
-2
Let f(h) = -12*h + 4. Let m(p) = p - 1. Let j(q) = -f(q) - 10*m(q). Let r be j(-3). Solve -4*o = u + 10, -6*o + 2*o - 4*u - 4 = r for o.
-3
Let v be 8/(-14) + 190/14. Suppose 2*w + y = v, 3 = w + y - 5. Solve 0 = -5*g - w*s + 20, -4*g - 5*s + 10 = -8 for g.
2
Suppose k - 10 = -7. Solve 0*t = -5*m + k*t - 31, 0 = 3*m + t + 13 for m.
-5
Let d = 2 - 3. Let m be (0 + d)*1*1. Let b = m + 2. Solve -v = l + b, -4*v = -5 - 3 for l.
-3
Let b = 62 - 45. Solve -5*u + 7 = -4*l, u - 5*l - b = 3*u for u.
-1
Let n be (7/28)/(3*(-3)/(-72)). Solve 3*y + 2*h = 4*y + 12, 4 = y + n*h for y.
-4
Let u = -30 + 45. Suppose 2*z + 10*p = 5*p + 10, -3*p = -3*z + u. Solve 3*f + 5*j = -2*f - 35, 2*f = z*j for f.
-5
Suppose 0*d = d - 2*w - 10, -5*d + 5*w = -40. Suppose -5*x - 2*h = -2 + 19, -x + 5*h = -2. Let z = d + x. Solve z*a - 4*a - 10 = -3*i, a = 2*i - 5 for a.
5
Let g be 18/(5/2 - 1). Suppose 4*l = 5*l. Solve -2*y - 3*h - 19 = -0*y, 4*h + g = l for y.
-5
Suppose -4*a + 22 = 2. Solve -q - 2*j = -12, -j - 2*j = -a*q + 8 for q.
4
Suppose 2*n = -0*n + 16. Suppose 2*q + 0*q = n. Suppose v - q = -0*v. Solve 4*o = -v*b - 32, 2 = -o - 1 for b.
-5
Let v(k) = -5*k - 12. Let x be v(-6). Let n = 23 - x. Solve -3*m - 9 = 5*o - 3*o, 2*m = -n*o - 6 for m.
-3
Suppose -3*t + 25 = -8*t. Let c = 5 + t. Solve -h + 0 = -v + 2, c = -4*v - 5*h + 35 for v.
5
Suppose -2*l = -6*l. Solve l = -5*d - 3*t + 8, d - 5*t = -t + 20 for d.
4
Let s = 4 + -2. Let g = 12 - 10. Solve -16 = -2*d - s*j, 4*j = -g*d - j + 31 for d.
3
Suppose -18 - 2 = -5*a. Solve -a*w - 19 = 3*g, 11*w - 3*g = 6*w - 17 for w.
-4
Let a be (12/8)/((-2)/(-4)). Suppose 0 = -0*o - o + a. Let u = 2 + 0. Solve o*x - 6 = -u*b, 12 = -0*x + 3*x for b.
-3
Let w = -5 + 7. Suppose 5*k - 84 = k. Suppose 0 = 5*i - k + 1. Solve i*s + 2*z = 6*z - 12, -3*s - w*z = 14 for s.
-4
Let n = -9 + 11. Solve -6*l = 2*c - n*l + 6, c = -l + 1 for c.
5
Let x = -7 + 12. Solve -3*r - 20 = -5*y, -3*r - x = -2*r for y.
1
Let k be 9*((-24)/(-9) + -2). Let q be 2/6 - 80/k. Let y = 18 + q. Solve -3*u - y = 2*x, -x - x = -5*u - 35 for x.
5
Let g(y) = -y + 12. Let i be g(9). Suppose -3*l - 49 - 2 = -3*s, -i*l = -5*s + 75. Suppose -3*u = u - s. Solve -2*w - 2*w - 16 = u*o, 3*o + w = -4 for o.
0
Suppose -5*r + p - 77 = 7, 5*r - 4*p = -96. Let l = r - -20. Solve 0 = i + l*s - 16, -3*i - 5*s + s = -8 for i.
-4
Suppose 2*s - 9 = -s + 3*v, -5*v = 2*s - 20. Suppose k - 14 = 4*g, 0*k + 4*g = s*k - 22. Solve -u = -i + 2, 1 - 2 = i - k*u for i.
5
Let h be (-246)/(-15) - 4/10. Suppose 3*t + 4 = h. Suppose f - 11 = -3*c + 11, 1 = f - t*c. Solve -4*d + 3*l = -31, -13 - f = -4*d + 2*l for d.
4
Suppose 2*l + 3*l = 2*j + 9, 3*j + l - 12 = 0. Suppose 4 = -j*m + 5*m. Solve -5*p + 1 = m*g, -9 - 6 = 5*g - 5*p for g.
-2
Let s(c) = c**2 + 7*c - 4. Let r be s(-8). Solve 2*v + 5*i = r*v - 27, -3*v - 2 = i for v.
1
Let s be 2 + (-9)/3 + 3. Let p be s/3 + 4/(-6). Solve 3*v = -2*c, -3*c + c - v = p for c.
0
Let g(z) = -z - 1. Let s be g(-4). Suppose 1 + 23 = 4*t. Let n be ((-3)/t)/((-1)/2). Solve 0 = -2*j - 3*v - n, 9 = 3*j - s*v + 3 for j.
1
Suppose 3*y + 13 = -5*f, 4*y + 3*f - 2*f = 11. Solve 0 = -4*d - 2*g - 6, -y*d = d + 2*g + 10 for d.
-4
Let a = -3 + 6. Solve h + 13 = 4*c, 3 = -a*c + 7*h - 2*h for c.
4
Suppose 3 - 1 = w. Solve o + 11 = -3*c, o + 4*c + 6 = w*c for o.
4
Let n(s) = 3*s - 6. Let k = 17 - 11. Let f be n(k). Let p be 6/4*16/f. Solve -2*x + 0*j = -p*j - 2, -4*x = 3*j - 25 for x.
4
Let i be (-1)/(2*(-3)/54). Suppose -4*u - 20 = 0, 9 = -3*m - 2*u + 2. Suppose 0 = 2*j - i + m. Solve 5*q - 18 + j = -p, 5*q - p = 16 for q.
3
Let l = 18 - 17. Solve 4*t = -3*m + l - 23, 5*m - 5*t = 10 for m.
-2
Let w be ((-1 + 1)/(-1))/(-1). Suppose w = 4*t - 2*t. Suppose 7*x = 3*x + 20. Solve -3*v + 2*u - 1 = t, 3 - 7 = x*v - u for v.
-1
Let b be 4/(-10) + 108/20. Suppose -b = -2*h + 3. Solve -4*g - 3*a = -4*a - h, 5*g = -2*a + 5 for g.
1
Let a(u) = -2*u**3 - 13*u**2 - 7*u - 6. Let m be a(-6). Solve 4*z + 4*j + 24 = 0, m*z - 4*z - j - 18 = 0 for z.
-4
Let w(l) = -7*l - 7. Let d(c) = c + 1. Let t(o) = 6*d(o) + w(o). Let x be t(-3). Solve 6 = -x*h, 2*j = h + 11 - 4 for j.
2
Suppose -4*a = f + f - 6, 3*a + 2*f = 6. Solve a*z = 3*k - 5*z - 19, -5*z = 5*k + 35 for k.
-2
Let b(a) = a**2 - 10*a - 5. Let z be b(11). Solve 5*h - 28 = i, -2*i = -z*i + 5*h - 37 for i.
-3
Let z = -3 - -7. Let x be 0*(6/z + -2). Suppose p + x = 4. Solve 0 = -p*l - 5*j - 0*j - 10, 2*l = 5*j - 20 for l.
-5
Suppose -5*j = 3*w - 29, 5 - 14 = -3*j + w. Let c(i) = i**2 - 5*i - 4. Let u be -1 + -1*1*-7. Let h be c(u). Solve -l - 2*x + 9 = 0, h + 4 = j*l - 2*x for l.
3
Let f = 1 + -1. Let l be 24/14 + 6/21. Suppose f*a + 6 = l*a. Solve 0 = -3*v - 3, 5*b - a = -0*b - 2*v for b.
1
Let b be (-20)/(-6)*3 + -2. Suppose c = 5*c - b. Solve -5*v - c = -s + 8, 0 = 3*v + 3 for s.
5
Let z(g) = 2*g**2 + 2*g + 1. Let f be z(-2). Suppose 0 = f*k - 4*k. Let q(y) = -y + 9. Let a be q(4). Solve 0 = -0*d - 2*d + 4*w - 30, -a*d - 5*w = k for d.
-5
Let x(h) = h**2 - 6*h - 5. Let w be x(7). Suppose -w*u - 3*m + 9 = 0, -7 = -3*m + 2. Solve u = -v + 3*c, 0*v - 5*c = -2*v for v.
0
Let f(g) = -g - 1. Let c be f(-7). Suppose -i + c*i = 0. Suppose j = -i*j + 2. Solve o - 2 = 0, -n = 3*n + j*o + 4 for n.
-2
Let w(j) = -j**2 - 14*j - 29. Let p be w(-11). Solve s = -4*s - 4*c + 5, -2*s + p*c = -2 for s.
1
Let q be (-111)/(-12) - (-2)/(-8). Suppose 0 = 5*i - 5*s - 50, -q - 22 = -3*i + 2*s. Solve 2*a - 3*h = -