*x for x.
-1
Suppose 5*g - 3*g - 4*h - 14 = 0, 2*g - h - 8 = 0. Solve 2*o + 10 = 3*c + 3*o, -g*c - 3*o = 0 for c.
5
Let a be -5*(-5 + 1) + -2. Suppose -4*k = 4*c - 56, k - a = 6*c - 3*c. Solve k = 5*b - 2*u - 3*u, u + 1 = -b for b.
1
Let m = 4 - -32. Suppose -3*l - m = -2*x + 2*l, -x = -l - 12. Let n be -1 - -1 - -1 - -2. Solve 2*q = 4*p + x, 2*p + q + 2 = n*q for p.
-3
Suppose -p = -5*n + 10, -7*p - 2*n + 4 = -3*p. Let k be ((-9)/6)/(2 - (-11)/(-4)). Solve i + 4*i - 8 = -2*u, -k*i = p for u.
4
Let x = 28 - 23. Solve 2*j + 2*c = -2*j + 20, x*c = j - 5 for j.
5
Let l be ((-57)/38)/((-3)/4) + 1. Solve -h - h + l*s = 18, -2*s = 5*h + 7 for h.
-3
Suppose -35 = -6*n + n. Suppose 3*x + n = 19. Solve -x + 1 = c, 0 = 4*g + c + 23 for g.
-5
Let d be (-6)/24 - (-1 + 18/(-8)). Suppose 1 = -0*i - i, 0 = -d*w + i + 16. Solve -4*h - w*t + 35 = 0, 4*h + t - 15 = 8 for h.
5
Suppose 5*l - 125 = -3*a, 0 = -5*a + l + 69 + 102. Let v = -291 - -200. Let f = -89 - v. Solve 5*b - 6*y = -y + a, 4*y = f*b - 18 for b.
5
Let w = -85 - -98. Let g be -3 + 2 + (w - 5). Solve -6*a + 2*a + y + g = 0, 3*y = -5*a + 30 for a.
3
Suppose 0 = v + 9 - 14. Suppose 6*o - 4*g = o + 10, 0 = -v*o - 4*g + 10. Solve l - o*l = -3*h - 16, -36 = 5*h - 4*l for h.
-4
Let i be ((-6)/9)/(5/(675/(-10))). Solve 5*f = -4*o - i, 2*o + 3 = -3*o + 2*f for o.
-1
Suppose -3*n - 86 = -5*n + a, 160 = 4*n - 5*a. Let s = 19 - 21. Let q be (-1)/s*70/7. Solve q*g + n = 5*c, c - 9 = -4*g - 4*c for g.
-4
Let r(s) = -s**2 - 2*s + 3. Let v be r(-3). Let y = 34 + 60. Let h = y - 94. Solve 3*p + 2*t - 6 = v, -3*p + 2*t - 1 + 7 = h for p.
2
Suppose 33*k - 26 = 20*k. Solve -2*y + 0*y + 10 = 2*a, -2*a = -k*y - 6 for y.
1
Let h = 111 + -106. Suppose -5*f + p + h = 3*p, -2*p = 3*f + 1. Solve 3*a - 16 = -u - f, 6 = -3*u for a.
5
Let o(h) = -h**3 - 20*h**2 + 21*h. Let v be o(-21). Solve -5*j - 4*n + 2 = v, -3*n = -2*n + 2 for j.
2
Let o(a) = -2*a + 7. Let d be o(0). Suppose 5*s + k = 13, -4*k + d = 4*s - 13. Let q = s - 1. Solve -3*x - 3*m = -15, -2*x + 11 - q = 3*m for x.
5
Let n = 263 + -247. Solve n = -0*b - 4*b, 2*k + 3*b + 14 = 0 for k.
-1
Let a = 25 + -22. Suppose -3 = a*x - 4*x. Let d be (-9)/3 + (10 - x). Solve 0*r + 4*u = r + 9, 0 = -2*r - 3*u + d for r.
-1
Suppose 5*r + 3 = -2*x, 4*x - 3 = -19. Solve -5*h - 3*t = r, 0 = -3*h - t - t - 1 for h.
1
Suppose -4*p = 5*a + 12, 0*p + 22 = 3*p - 4*a. Let r(d) = -5*d + 2 + 4*d + 2*d + p*d. Let i be r(1). Solve 3*z - i*y + 37 = -0*z, 0 = 3*z + 5*y - 13 for z.
-4
Let x(o) = -o**2 + 2*o + 1. Let b be x(3). Let v be (0 - b/3)*6. Suppose -v*d + 17 = -3. Solve 15 = -5*j + 6*j + d*n, j - 2*n = -13 for j.
-5
Suppose -6*n = -9*n + 18. Let p be (-312)/144*n/(-1). Solve k + 5*t + 12 = 36, -2*k = 3*t - p for k.
-1
Let m = 1335 - 1332. Solve -3*a - m*x = 21, x + 2 = 2*a + 1 for a.
-2
Let n be (-102)/(-119)*7/2. Solve 0*d + 4*a = n*d + 23, 5*a - 22 = -3*d for d.
-1
Let d = -18 - -20. Suppose -4*q - 6 = -2*q + 4*g, -23 = -3*q + 2*g. Let o(t) = 3*t - 15. Let p be o(q). Solve 0*n + n = p, -d*n + 15 = -5*a for a.
-3
Suppose -9*m + 35*m = 52. Solve 3*v = m*v - 4*x + 13, x - 2 = 0 for v.
5
Let r be 2132/984 + 1/(-6). Let d = 1 + -1. Solve -5*n - r*h = h - 25, 3*h = d for n.
5
Let c(s) = 13*s + s - 7*s - 11. Let q be c(6). Solve -7*t - 4*z - q = -2*t, 3*t - 3*z - 3 = 0 for t.
-3
Suppose -p - 18 = -4*y, 3*p = -4*y + 3*y + 11. Let b(z) = z - 2. Let h be b(7). Solve t - 15 = -h*l + 6*t, 12 = -y*l - 4*t for l.
0
Let w(j) = 4 - 16*j**2 + j + 15*j**2 + 0. Let d = -56 + 58. Let i be w(d). Solve 0 = -v - i*r - 12, 5*v - v + 3*r + 28 = 0 for v.
-4
Suppose 0 = -3*k - 598 + 610. Let u(h) = -3*h**2 + h + 1. Let r be u(-1). Let t = r + 7. Solve 0 = l + t*f + 16, l + 4*f = 3*l - k for l.
-4
Let a(l) = 16 + 0 + 7 - 11 + l. Let q be a(-9). Solve -5*u = -q*d - 7, -3*d - u - 4*u = 17 for d.
-4
Suppose 3 = -2*z - 33. Let o be (10/(-3))/(4/(-12)). Let u be 14/o - z/30. Solve 0 = -u*c - 0*c - 2*g, -15 = -3*c + 2*g for c.
3
Let b(s) = 8*s + 3. Let h be b(4). Let a = -30 + h. Solve -5*j = -6*f + a*f + 4, -f = 4*j + 5 for j.
-1
Suppose -10*m + 14*m = -288. Let w = m - -74. Solve -3*q + w*q - 26 = 5*o, q - 5*o = 24 for q.
-1
Let m(z) = 2*z**2 + 15*z + 10. Let n be m(-7). Solve n*x - 21 = -3*r - x, -3*r + 12 = x for r.
3
Let x(u) = -u + 16. Let m be x(13). Solve 2*t = -2*i + 2, i + t - m*t = -8 for i.
-2
Suppose -75*g + 73*g = -118*g + 1624. Let l be (-5)/(-3) + (-2)/(-6). Solve -2*t - 2*b = 0, -4*b = -l*t + g - 2 for t.
2
Suppose 5*m - o + 3*o - 30 = 0, -4*m - 2*o = -26. Solve n - y - 2 = -0*n, -2*y = 5*n + m for n.
0
Suppose 14 = -f + 34. Suppose -10 = -6*q + f. Solve 5*k = -4*a - 0*a - 35, q*a + 2*k = -31 for a.
-5
Let o(w) = -3 - 2 + 0 - 4*w**2 - 2*w + w**3. Let q be o(4). Let f = q - -28. Solve -5*c = 5*v - f, -v + 2 = 3*c + 3 for c.
-2
Let b be (-38)/(-5) + (-4)/(-10). Let f be (4/b*-2)/(2/(-12)). Solve 0 = 4*k + l + f, 3*l - 4 = -k - 0*k for k.
-2
Let j be 5 + 3/(-12)*0. Suppose -5*g + 11 + 34 = j*l, -3*l + 37 = 5*g. Let n = g - 4. Solve 0 = a - 3*k + 3, -5*a = -k + n for a.
0
Suppose -2*f + 6 = 2. Let g(d) = -d**2 + 13*d - 2 - 4 + 2. Let t be g(11). Solve -t = 3*p + n - 2, 2*n = -f*p - 12 for p.
-5
Let k(p) = -4*p - 4. Let f(j) = -7*j - 8. Let r(d) = 3*f(d) - 5*k(d). Let x be r(-6). Let m = 352 + -350. Solve -5*g = x*l + 12, 2*g = 5*l + m - 1 for g.
-2
Let k be 6/(-1 - 5/(-2)). Let b = 34 - 14. Suppose -4*z + b = -z - q, -3*z - k*q = 5. Solve -4*w = -2*n + 10, 5*w - z = -0*w - n for w.
0
Let o = 360 + -360. Solve 2*h = 8, -5*q + 5*h - 4*h - 14 = o for q.
-2
Let o(k) = -k**3 + 3*k**2 + 14*k + 1. Let v be o(6). Let y = 27 + v. Solve 5*q - 4*j = -36, -5*q + 0*j - 4*j = y for q.
-4
Suppose 24*v - 16*v = -1056. Let u = v - -154. Solve -4*h = -3*a - 0*a + 29, u = -2*h + 4*a for h.
-5
Let x(a) = 14*a - 186. Let r be x(14). Solve 5*p = 4*g - 0*g + 25, -3*g - r = -2*p for p.
5
Let p be ((-6)/(-10))/(2/10). Let q be (-2)/((-8)/36*p). Solve 2*z = -2*h + 5*z + 14, 0 = -q*h - 4*z + 4 for h.
4
Let o(n) = -n - 1. Let u be o(-1). Let k(z) = 1 - 8*z + u + 0. Let t be k(-1). Solve -5*p - t = 16, 0 = -5*a - 3*p - 35 for a.
-4
Let y(l) = 2*l**2 + 3*l + 3. Suppose 0 = 4*c + 8. Let s be y(c). Suppose 0 = -4*j + s*j - 3. Solve 0*k + 2*k + 22 = -j*q, 2*k = q - 6 for k.
-5
Let g(b) = -b**3 - 3*b**2 - 9*b + 9. Let m be g(-5). Let t = -99 + m. Solve -3*r - 18 = 3*k, -t*k - 28 = -r + 4*r for k.
-5
Let r be 2 + 23/2*2. Let u = r + -17. Let v = 18 - u. Solve -2*g - v = y, -4 = -0*y - 4*y + 3*g for y.
-2
Let p = 430 + -428. Solve -5*d + 2 = -p*f - f, 0 = -f + 2*d for f.
-4
Let u(j) = 11*j**2 + 2*j + 3. Let d be u(-1). Suppose -4*h + d = -0. Solve h*n = 2*k - 7, -k - n = 3*n + 24 for k.
-4
Suppose o - 16 = 2*r - 14, 3*o - 6 = 4*r. Solve 5*h = o*z, -2*z + 3*h = z for z.
0
Let q(n) = n**2 + n - 1. Let x be q(-3). Suppose 3*a + 10 = t, x*a - 9 = -t - t. Solve -o = -5*d + 11, 0*d - t = -d - o for d.
3
Let z(g) = -4*g - 3. Let q be (-2)/(1*2/(-4)). Let r = 2 - q. Let t be z(r). Solve -5*u = 5*x + 2 + 8, -t*u + 2 = x for x.
-3
Let c(n) = -n**2 + 9*n - 17. Let s be c(6). Solve 3*u = -2*j - s - 5, -2 = u + j for u.
-2
Suppose -m = -3*m + 2*p + 42, 5*p = 20. Let g = m - 25. Solve -10 = -4*o + 2*q - g*q, 3*q + 15 = -4*o for o.
0
Let m be (108/(-126))/((-6)/315). Solve -6*s - m = -s + 5*k, -4*s = -4*k + 4 for s.
-5
Suppose 0 = -4*z - z + 195. Suppose -k - j + z = 0, 3*j - 1 = 4*j. Let o be 23 + (-2)/(-6)*3. Solve -4*t - o = x, -2*x + 4*t + k = -7*x for x.
-4
Suppose 4*t - 36 = -4*a, -3*t = t. Suppose -a = -y - 4. Suppose 4*x + 9 = y*x. Solve 5*l + 2*n - 20 = 0, 5*l + 3*n + x = 29 for l.
4
Suppose 7*b = b + 36. Let q(o) = 4*o + 17. Let r be q(b). Let d = r - 41. Solve 0 = -5*w - 4*f + 8, d = 2*w + 6*f - f - 10 for w.
0
Suppose -2*a - 6 + 21 = -5*u, u + 3 = -3*a. Suppose a = 14*q - 11*q - 135. Suppose 2*z + 3*z = q. Solve -n + 0*s + 3 = 5*s, s = 4*n + z for n.
-2
Let k = 10 - 21. Let s = -7 - k. Let r = 18 - 15. Solve i = r*p - s*i + 35, -p = -3*i + 17 for p.
-5
Suppose -3*j = 5*g - 29, 0 = -2*g - 3*j + 27 - 10. Solve 2*q = -g*m - 20, -5*q = -7*q for m.
-5
Let q(p) = 2*p + 24. Let f be (-6)/(-10) - 53/5. Let x be q(f). Solve -2*a + u = -x, -2*a + 2 + 2 = -4*u for a.
2
Let j(f) = -6*f**3 - 3*f**2 - 3*f - 1. Let h = -10 - -9. Let p be j(h). Solve 5*x 