2*x - 4*n for x.
0
Let b be -2 - -1 - (-4)/4. Let j be 4 + -1 + b + -2. Let w be (-1)/(3/(-57)*j). Solve 4*v + v - 2*o = -w, 5*v + 2*o = -31 for v.
-5
Let d(f) = f**3 - 6*f**2 - 4*f - 6. Let b be d(7). Suppose 2*q + 15 = 5*n, 10 + b = 5*q. Solve 3 = -2*x - n*a, -2*x - 2*x = -2*a - 6 for x.
1
Let a = -37 + 25. Let m be (-81)/a + 6/(-8). Suppose -10*n = -m*n - 20. Solve -q + c + 5 = 0, -2*q - q + n = 2*c for q.
3
Suppose 35*s - 31*s - 126 = 3*x, 0 = -3*s - 2*x + 103. Let v(l) = l**2 + 9*l - 3. Let p be v(-4). Let d = s + p. Solve n + d + 17 = 5*j, 4*j - 22 = n for n.
-2
Let h(i) = -i**2 + 12*i - 11. Let b be h(8). Let x be (5/45*b)/(2/18). Solve 2*j - 3*a = -4*a + 9, x = 2*j + 5*a for j.
3
Let w(x) = x**3 - 8*x**2 - 22*x + 22. Let k be w(10). Solve -4*s = -2*s - j - 3, -2*s = k*j + 6 for s.
0
Suppose 2*b + f - 9 = 0, -2*f = -f + 3. Solve 5*j + 1 + b = -4*a, -j = a + 1 for a.
2
Suppose 4*l - o = 33, 3*o - 2 = l - 13. Solve -5*s - t = 2, 2*t + 2*t = 4*s - l for s.
0
Let p(k) = -6*k. Let q be p(2). Let z = -9 - q. Suppose -2*c - 9 = -y - 7, y + 5*c - 2 = 0. Solve 4*u + 28 = -y*f + 6, f - 9 = z*u for u.
-4
Suppose -p + 12 = -0*p + a, 29 = 2*p + 3*a. Suppose -94 = -p*b - 10. Solve 0 = -3*j + 5*z - 12, 0 = -j - 2*j - 2*z - b for j.
-4
Let i be 90/6 - 7 - 6. Solve i*k + 4*l - 28 = -l, -k + 24 = 5*l for k.
4
Let r = 97 + -80. Suppose -5*t - 7 = j - r, 0 = 3*t + 5*j - 6. Solve -3*c = -3*v - 24, -t*v = 6*c - 2*c - 14 for v.
-3
Let i = -129 - -132. Suppose -23*y - 16 = -27*y. Solve 0 = -2*j - i*v - 9, -5*v - 6 = y*j + 11 for j.
-3
Let n(x) = -x**2 + 9*x - 27. Let t be n(6). Let i be 6/(-2)*((-6)/t)/(-1). Solve -5*m = 5*y - 5, -4*m + 0*y + i = 3*y for m.
-1
Suppose -d - 4*c + 5 - 17 = 0, -3*c = 2*d + 19. Let u be ((-21)/14)/((-2)/d). Let i be (4/(-6))/(1/u). Solve -15 = 5*o, 2*h + o = i*h - 3 for h.
0
Let u(t) = -t**3 + t**2 + 7*t - 10. Let k be u(2). Solve -10*p + q + 14 = -7*p, k = 4*q - 4 for p.
5
Let u(k) = 2*k. Let a be u(5). Suppose p - 5*p - 4*x - 8 = 0, p + a = -3*x. Let y = -42 + 46. Solve -y*c = o + p*o + 25, 4*c + 31 = -5*o for o.
-3
Let m = 7 - 4. Suppose 4*r = 3*k + 18 - m, 2*r = 4*k + 10. Let o be (-6)/(-5) - (-468)/585. Solve -8 = b - 3*x, 5*b - r*x + 10 = o*x for b.
1
Let t be (63/(-3))/(0 - -1). Let i = 12 + t. Let y be -3*(30/i - -2). Solve -3*n + 4*s = -6*n + 16, 0 = n + y*s - 8 for n.
4
Suppose -52 = -2*j + 40. Let o = j + -38. Solve z = 4*w + o + 8, 0 = -3*z for w.
-4
Suppose 2*n + 3 = 9. Suppose n*r - 5*r = -80. Suppose 7*g - 3*g = r. Solve -l - 3 = -3*o + 15, -5*l = 5*o - g for l.
-3
Suppose -5*a + 0*p + 5*p = 0, 4*a = 3*p + 1. Suppose 5*b = 10, -b + 1 + a = -3*h. Solve -y = o, y - 3*o + 2 + 14 = h for y.
-4
Let m(l) = -l**2 + 22*l - 50. Let h be m(19). Solve c + 2*c = -t - 7, c - 2*t = h for c.
-1
Let s be 0 + 9 + 18/(-3). Solve 5*o - s*b - 12 - 5 = 0, 5*o + 2*b - 22 = 0 for o.
4
Suppose 3 - 21 = -6*m. Suppose -5*k + 12 = -3. Solve m*h - k = -3*t, -2*t + 11 = 5*h - 0*t for h.
3
Let b be (-9)/(-12)*(-16)/1. Let z = b + 100. Let i = z + -47. Solve -k = -5*k + 5*x - i, -2*k + 12 = 4*x for k.
-4
Let t(j) = -j**3 - 4*j**2 - 2*j - 35. Let g be t(-5). Suppose h - 1 = -2*r, -h - r = -0*h. Let d = 3 - h. Solve 34 = 3*i + d*s + s, 5*i + 2*s - 25 = g for i.
3
Suppose z + 3*v = -z - 59, -5*z + 2*v - 119 = 0. Let t = z + 49. Suppose 5*f = t + 6. Solve -a = -2*g + 7, 2*g + f*a - 3*a = 19 for g.
5
Let c(q) = q**3 - 6*q**2 + 5*q + 3. Let z be c(5). Solve 2*y - 4 - 1 = x, z*x = -4*y + 5 for x.
-1
Let w(v) = -v**2 + 5*v - 6. Let o be w(7). Let m = o - -30. Solve 3*l - t + 19 = 5, 5*t - m = 0 for l.
-4
Let f(k) = k**2 + 5*k + 10. Let w be f(-3). Let j be (w - (-114)/(-30)) + (-2)/10. Solve 2*g + j*g - 18 = 5*r, 2*g = 4*r + 14 for g.
-1
Suppose -k + 5613 = 6*l - l, 3*l + 3*k - 3363 = 0. Let b be l/9 + (-4)/(-18). Suppose -6*g + g + b = 0. Solve 4*j = 20, -4*o + 0*j = -j + g for o.
-5
Let r be (-30)/25*(-20)/6. Suppose -f - r*s - s = 19, -4*f = 2*s - 14. Solve -x = 2*k + f, -x = x for k.
-3
Let g(a) = a. Let q(s) = 10*s - 3. Let d(c) = 3*g(c) - q(c). Let w be d(-1). Suppose -3*h = -2 - w. Solve -3*y - 4 = h*r, 2*r + r - 4 = -4*y for r.
-4
Suppose 3*h = -5*s + 65, -2*s + 17 = -0*h + 3*h. Let k = s - 9. Let w be (13/2 - 2)*2. Solve 4*a + k + w = 3*n, -4*a = 4*n - 12 for a.
-1
Let r = 187 - 27. Suppose 4*x = 2*x + r. Suppose -4*n + x = n. Solve 0 = a - 5*t + 12, -a + 3*t - n = 4*a for a.
-2
Suppose -23*q = -2*q - 168. Solve -q*j - 2*c - 4 = -4*j, -1 = j + c for j.
-1
Let s(t) = -2*t - 4. Let u(b) = b**2 + 12*b + 20. Let f be u(-9). Let w be s(f). Solve -o - 7*m + 3*m = 8, 2*m - w = -4*o for o.
4
Let u(r) = -r**3 + 7*r**2 - 6*r + 2. Let c be u(6). Suppose 0 = -c*z + 14 - 4. Solve -z*s - 2*m - 16 = 0, -3*s - 4*m - 2 - 2 = 0 for s.
-4
Let z = -13 + 15. Suppose 15 = z*v + v. Suppose 2*u = v*u - 9. Solve 2*f - 3*f = u*t - 14, t = f + 6 for t.
5
Suppose -14*r = -107*r + 1209. Solve 13 = 5*l - 5*p + 28, 3*l = 5*p - r for l.
-1
Let q(d) = d**3 - d**2 + 3*d - 5. Suppose -2 = 3*n - 8. Let p be q(n). Solve -w - p*s + 25 = 4*w, -2*s + 4 = -4*w for w.
1
Suppose 4*c = 20 + 20. Suppose c*i - 10 - 30 = 0. Solve 2 = 2*k - 6*h + i*h, -h = 0 for k.
1
Let g = -6 + 16. Let a(d) = -d**3 + 36*d**2 - 7*d + 262. Let b be a(36). Solve -5*o + j - 6*j = -g, -2*o + 5*j = b for o.
0
Suppose 0*v = 2*v - 14. Let r = -28 - -38. Let o = r - v. Solve -3*f + 27 = 2*f + 2*a, -4*f - o*a + 23 = 0 for f.
5
Let d be ((-5)/(-2))/1 + (-18)/(-12). Suppose 0 = d*a + 4*q - 20, a + 15 = 6*a - 5*q. Solve -u + 2 = 5*z, 0 = 4*z - u - 3 - a for z.
1
Let j = 1208 - 1203. Solve -b + 9 = -2*x, 3*b + 23 = j*b - 5*x for b.
-1
Let t(g) = -2*g**2 + 13*g - 6. Let y be t(6). Suppose y*x = 2*v - 3*x, 4*x = -4*v + 20. Solve 2*p - v*p = 0, 5*p - 12 = 4*m for m.
-3
Suppose -5*j - 10 = 0, 0*m + j = -3*m + 13. Solve m*k - 2*k = 2*b - 1, -2 = b + k for b.
-1
Suppose -3*j + 5*j = -3*l, 18 = -3*l + 4*j. Let z be 1 + (-2)/l + 0. Solve -5*c - 4*r + 21 = -r, -10 = -z*c - 2*r for c.
3
Let f(h) = h + 1. Let s be f(0). Let k(g) = -55*g + 6 - g**2 + 0*g**2 + 5 + 53*g. Let t be k(0). Solve 3*j + t = -2*q, -s - 12 = 4*q + 3*j for q.
-1
Let p be (-35)/28 - (-2)/(-16)*-26. Solve 2*z - 8 = -p*h, -29 = -5*h + 2*z - 2 for h.
5
Suppose 0 = 5*i - 2*g - 6 + 2, 4*i - 2*g = 2. Suppose -z - z + i = 0. Solve -3*n = -d - z, -n - 4*n = -5*d + 5 for n.
1
Let h be 12 + -23 + (1 - -22). Solve -25 = 5*y, -9*p + h*p - 3*y = 0 for p.
-5
Suppose 11*r - 3*u = 7*r + 9, -3*r = 3*u - 12. Solve 0 = -r*d + p + 16, 2*p - 7*p = 5 for d.
5
Let h be 1*(-6 - (-9)/3). Let r be 0*1*h*(-1)/3. Let l = 24 - 16. Solve 2*c + 4*p - l = r, 13 = -4*c + 2*p - 11 for c.
-4
Suppose 2*x = -4*j + 112, 3 = j - 4*x - 7. Suppose 5*d - 2*f = -5 + j, d + f = 7. Solve -2*i + 3 = -5*t + 19, 5*i + 25 = d*t for t.
2
Suppose v + 5 = 3*q + 1, -v - q + 8 = 0. Let z be (4 + 21/(-6))*0. Solve z = -3*n - v*g + 37, 2*g + 3*g = 25 for n.
4
Let g = 31 + -29. Suppose -12 = -u - g*u. Solve -2 = -u*t + z, 5*t + 0*z - 2*z = 1 for t.
1
Let a be (-42)/9 - 6/18 - -7. Solve 0 - a = -2*r - v, 0 = -3*r + v - 7 for r.
-1
Suppose -2*j + 18 = 5*k, -4*k = -4*j - j - 21. Suppose u = 4*v - k*u - 70, -u = -2*v + 32. Solve v = -5*z, -3*g - 8 = 2*z + 10 for g.
-4
Suppose 5*h = -2*h + 2*h. Solve -2*j - 2*j = -k - 4, k = h for j.
1
Let w(c) = c**2 - 25*c + 26. Let y be w(26). Let x be y/(-39)*(-2)/(-4)*-3. Solve 0 = -2*t + a - 1, -2*t = 3*a - x*a + 7 for t.
-2
Let g be (4 - 8)*21/28. Suppose 0 = -5*v + 4 + 1. Let z be ((3 + g)/v)/2. Solve -4*u - b + 5 = 0, z = -4*u + 3*b - 12 - 3 for u.
0
Suppose 0 = 3*l - 10 + 4. Let y = -16 + 10. Let t(g) = g**3 + 7*g**2 + 4*g - 6. Let w be t(y). Solve l*p - 10 = -p + 2*h, p - 2*h - w = 0 for p.
2
Let f(a) = -a**2 - 13*a - 17. Let z be f(-11). Solve i - 6 = 4*i - 5*d, 2 = -i + z*d for i.
-2
Let v be 92/28 + -3 - (-66)/14. Solve 13 = v*k - 2*r, -3*k + 9 = 2*r - 2 for k.
3
Suppose 33 = 7*k - 72. Suppose -2*b + 3*b = l + 1, k = 5*b. Suppose -l*s - 15 = -7*s. Solve 0 = 5*t + 2*n + 15, -t + s*n = 27 - 7 for t.
-5
Let z(c) = -3*c**2 - 91*c - 26. Let q be z(-30). Solve q*u + 2*w - 2 = 0, -3*u - w = -6*u + 14 for u.
3
Suppose b = 3*k + 134, 3*b + 4*k = 438 - 75. Let v = b - 120. Solve -v*d - 1 = -4*w + 11, -5*w = -2*d - 15 for w.
3
Suppose -55 = -2*l + 8*o - 3*o, -2*l = 2*o - 76. Solve