 + n for x.
-1
Suppose -5*g - 3*u + 7 + 12 = 0, 2*g + 8 = 4*u. Solve 0 = -3*a - g*a - 15 for a.
-3
Suppose -5*p - 24 = 1. Let s = -2 - p. Solve -u + s*u = 2 for u.
1
Let z be (-36)/8*(-6)/9. Suppose z*n + 2*i - 15 = 0, -2*n - n + i = -24. Solve -n - 1 = -2*l for l.
4
Suppose 3*d - 6 = 3*o, -o + 5*d - 12 = 3*o. Solve 2 = -2*v - o for v.
-2
Let q be (-6)/10 - (-54)/15. Solve q*u = 4*u for u.
0
Suppose 5*r - 5*o = -85, -2*r - 18 + 4 = 3*o. Let b = r + 16. Solve -f - b*f = 0 for f.
0
Let b = -28 - -30. Let g(w) = 2*w**2 - w - 2. Suppose -2*q - 2 + 6 = 0. Let t be g(q). Solve t = b*x + 2 for x.
1
Suppose 10 = 5*n, i + 5*n = 6 + 6. Solve i*d + 0*d = -6 for d.
-3
Suppose -2*k + 10 = 3*k. Let m(q) = q**3 - 5*q**2 + 5*q - 1. Let s(a) = 4*a. Let d be s(1). Let y be m(d). Solve 5*c + k = y*c for c.
-1
Suppose 4*b + 4*a = 2*a - 42, 0 = -3*b + 5*a - 12. Let q be 3/b + (-56)/(-6). Let u(z) = z**3 - z**2 - z + 3. Let c be u(0). Solve -3 = -c*l - q for l.
-2
Suppose -z = 3*z - 8. Let k = z - 6. Let x be (-2 - k) + 1 + -1. Solve 3*i - 2 = x*i for i.
2
Let m be (10/6)/(2/(-18)). Let c = m - -45. Suppose -3*y + c = 12. Solve -y*s = -s + 20 for s.
-4
Suppose 3*t = -1 + 7. Suppose -t*g - 33 = -3*d + g, -d + 5*g + 11 = 0. Solve -5*s + 36 = d for s.
5
Let u(b) = b**3 - 15*b**2 + 14*b + 6. Let l be u(14). Let y = l + -2. Solve -3*r = -y*r - 2 for r.
-2
Let t(v) = v + 7. Let s(r) = r**2 + 9*r - 5. Let u be s(-9). Let c be t(u). Solve c*k + 7 = -1 for k.
-4
Let m = -6 + 6. Solve -5 = y - m*y for y.
-5
Let d = -6 + 22. Let c(p) = -p**2 + p. Let l be c(1). Solve l = 3*q + q + d for q.
-4
Let f(n) = n**2 + 2*n - 1. Suppose 4 = 5*d - d. Let j be f(d). Let o be ((-1 - -2) + -1)/j. Solve -2*a = -o*a - 6 for a.
3
Let u be ((-4)/1 - -2) + 8. Solve -u*x + 4*x = -2 for x.
1
Let d(u) = -3*u + 4*u - 4*u. Suppose 3*v - 3*g = -6, 0*g = 5*v + 3*g + 10. Let a be d(v). Solve a = -h - h for h.
-3
Let h = 15 + -9. Let x be h/(-2 - (-8 - -4)). Solve -x = -4*r - 7 for r.
-1
Let v be (-2 + -32)*2/(-4). Let k(p) = p**2 + 8*p - 8. Let q be k(-10). Suppose 28 - q = 4*m. Solve -v = m*i - 5 for i.
-3
Let q be 4*-1*(-1)/2. Let c(p) = -3*p + 4. Let u be c(-5). Suppose 2*b + 38 = 3*d, 0 = 4*d - 3*b - 32 - u. Solve 0 = q*j + 4 - d for j.
4
Let i = 18 + -16. Solve 0*n = -i*n - 8 for n.
-4
Let c = 9 + -17. Let l be (17 - 3)*(-4)/c. Solve 4*z = l*z + 9 for z.
-3
Suppose 0 = -5*x + 2*x + 6. Let j(l) = l + 7. Suppose 25 = -0*z - 5*z. Let r be j(z). Solve r - 4 = x*k for k.
-1
Let v = 3 - 1. Let c be 0/v - 0 - -4. Suppose -c*y + 15 = y. Solve 0 = -y*n + n + 2 for n.
1
Suppose -2*p + 2 = 2*i, i = 6*i - p - 29. Let k(y) = -y - 3*y - 2 - 2*y**2 - y**3 + 3*y. Let f be k(-2). Solve f*c + 25 = i*c for c.
5
Let t be 1/(-2)*(-6 - -18). Let b = t - -11. Suppose l = b*l. Solve l = u - 5 - 0 for u.
5
Suppose 5*y - 14 - 16 = -5*m, -29 = -5*y - 4*m. Suppose -2*n = -3*r - 4, 2*n - 4 = 3*r - y*r. Solve x + 2 + 3 = r for x.
-5
Suppose 0 = b - 0*b. Suppose -p + 4 + b = 0. Solve 2*t - t = p for t.
4
Let c be 32/(-10) + 3 - 112/(-10). Solve 3*r = -2 + c for r.
3
Suppose -5*f = 5*p - 20, 0 = 5*p - 2*f - 9 + 3. Suppose 5*u + 12 = -u. Let a = p + u. Solve a*c + c = 0 for c.
0
Let z be ((-4)/6)/(4/(-66)). Let k = z + -8. Suppose 5 = k*a - 1. Solve -r = a*r for r.
0
Let f = -71 - -77. Solve 3*s - f = -0 for s.
2
Let i be (0/2)/(1 - 2). Suppose -6*r + r = 0. Let v be ((-1)/1 + i)*r. Solve 2*t + 0 + 4 = v for t.
-2
Let h = -10 + 4. Let a be 9/h*10*-1. Solve 3*r + 0 = -a for r.
-5
Suppose -5*a - 5 = -5*p + 25, -4*p + 2*a + 16 = 0. Let j be 6/4 - p/4. Solve -n = -j - 0 for n.
1
Suppose -9 + 0 = -3*n. Suppose 0 = 3*i + 4*c - 11 - 5, n*i = -2*c + 8. Let u = 9 - 4. Solve -u*b = -i*b for b.
0
Suppose 5*d + 5 = 3*r + 2*r, -3*d = 2*r - 12. Let x be (0 - (r + -3)) + 3. Solve -x*o + 6*o = 9 for o.
3
Let t be (3 - 30/9)*-39. Let g = t + -8. Solve 0 = 4*k - g*k + 3 for k.
3
Suppose -3*l + 16 + 8 = 0. Suppose n - 18 = -l. Solve -n = 2*z + 3*z for z.
-2
Let a be (-5)/4*(1 - 5). Let x be a/((-45)/6)*-6. Solve t + 0 = -x for t.
-4
Let a = -8 - -10. Suppose 0 = 3*p + 3*v + 5 - 47, p - 26 = -4*v. Let f be (8/(-10))/((-2)/p). Solve -a*l - f = -2 for l.
-1
Let d(v) = 1 - 4*v**3 + 3*v**3 + 1 + 5*v**2 + 0*v**3. Let z be d(5). Let n(k) = 2*k**2 - k + 1. Let w be n(z). Solve -5*r = -8 - w for r.
3
Suppose -2 = -5*m - 2*x - 0, 2*m - 24 = 5*x. Solve m*j + 0 = -2 for j.
-1
Suppose -3*o = 8*o - 66. Solve 0 = -h + o*h - 20 for h.
4
Let k be (-10)/6 - 2/6. Let s be 16/(-10)*5/k. Suppose 2*y = s*t + 2, -2*t = -5*y - 3*t + 27. Solve -y - 7 = -3*d for d.
4
Let f(r) = -r**3 + 16*r**2 + 4. Let u be f(16). Solve -u = -z - 0 for z.
4
Let f = 74 - 71. Solve -f*u + 20 = 2*u for u.
4
Let h = -17 - -22. Solve 0*t - h*t = 0 for t.
0
Suppose -4*j = j - 4*w - 22, 3*w + 9 = 0. Solve -j + 6 = -2*b for b.
-2
Let x(p) = -8 + 12*p - p**2 - 4*p + 0*p**2. Let c(h) = 9*h - 30. Let g be c(4). Let i be x(g). Solve 3 = -i*j + 3*j for j.
-3
Let v be (-6)/(-9) - (-8)/(-12). Solve v = 2*c + c + 6 for c.
-2
Let v = -7 + 7. Suppose 3*k + v = 6. Solve -k*a - 1 = 5 for a.
-3
Let q(s) = s**2 + 6*s. Let n be 1/((-2)/1)*-12. Suppose f = 2*f + n. Let d be q(f). Solve d = 2*p + 10 - 2 for p.
-4
Let i(q) = q**2 + 4*q - 8. Let d be i(-6). Suppose 0*s + 8 = d*s. Solve -2*y = -3*y + s for y.
2
Suppose 4 + 14 = 9*x. Solve x*z + 2 = -2 for z.
-2
Let l = 48 + -48. Solve l = -2*i - 6 for i.
-3
Suppose -3 = 5*c - 18. Let m be (2 - 0 - c)*-1. Let u = m + -1. Solve z - 2 + 4 = u for z.
-2
Let a(f) = f**3 - 4*f**2 + 5*f - 4. Let i be a(3). Suppose 5*x + 3*z + 6 + 0 = 0, 0 = -i*x + 5*z + 10. Solve 2*j - 4*j + 2 = x for j.
1
Let f(m) = m**2 - 4*m + 4. Let x be f(4). Solve 3*v = x + 2 for v.
2
Let b = 57 - 52. Solve b*y = y - 4 for y.
-1
Suppose x = 5*i + 27, 3*x - 3*i = -8 + 29. Solve h = -0*h + x for h.
2
Suppose 0 = 3*n - 4*n + 3. Let f(d) = -4*d**2 - 4 + 0 + 4*d**n + 5*d - 3*d**3. Let p be f(3). Solve -i = p*i for i.
0
Let u(t) = 2*t + 21. Let v be u(-9). Solve 0 = v*f - 9 for f.
3
Let c be 8 - (-2 + 3 + 3). Let l be (-2 + c)*3/3. Solve l*f + 2*f = 0 for f.
0
Let t = 1 - 0. Suppose 0 = 2*c + 3*c - 30. Suppose 2*a - 4*b = 26, 5*b - 2*b = -3*a - c. Solve -a = -h + t for h.
4
Suppose -2*a + 1 = -1. Suppose -5*m - 2 = q, 0 = -q + m + 5 - a. Solve 4*x - q + 19 = 0 for x.
-4
Suppose 0 = -5*o - n + 42, 4*n + 28 = 3*o + 12. Let m be (-4)/(0 - o)*2. Solve 0*l + l + m = 0 for l.
-1
Suppose 4*q - 5*q + 76 = 5*d, q = 4*d - 68. Let u = 26 - d. Suppose 3*z + 3*l - 2*l - 7 = 0, 3*l - u = 2*z. Solve -b + z + 2 = 0 for b.
3
Let m = -6 - -11. Suppose -k + m*b + 19 = 0, -3*b + 2 = 11. Suppose k = -5*j + 14. Solve 0 = -3*u + u - j for u.
-1
Let l(k) = -1 + 2 - k**2 + 3 + 3*k. Let v be l(3). Suppose -v*s - 5 = 2*w - 1, -3*w - 2*s + 2 = 0. Solve w*h - 15 = -h for h.
5
Let t = -9 + 14. Solve 0*x - t*x = 0 for x.
0
Let h(n) = 2*n**2 - 5*n + 2. Let p be h(3). Solve -5*m - 10 = -p for m.
-1
Suppose 0 = -3*m - 2*d + 15, -5*m + d + 12 = 0. Suppose m*x + 12 = w - x, -12 = 4*w + 4*x. Let a(o) = -o + 1. Let y be a(-4). Solve w = -n + 1 - y for n.
-4
Suppose -1 = 4*s + 3. Let d = s + 3. Suppose -7*p + d*p + 20 = 0. Solve 2*f = f + p for f.
4
Let f = 30 - 27. Solve -1 = -f*i - 4 for i.
-1
Let k(n) = -n**3 + 10*n**2 - 9*n + 4. Let h be k(9). Suppose -b + 30 = h*b. Solve 2*v + b = -0*v for v.
-3
Let o(y) = y**2 + 4*y + 3. Let s be o(-4). Let g be -2*(2 - (-6)/(-4))*-3. Solve -s - g = -2*z for z.
3
Let j be (-8)/(-3)*(-27)/4. Let a = j - -26. Let i = 16 - a. Solve 6*y + i = 2*y for y.
-2
Let w be (-210)/(-55) + 2/11. Solve 0 = w*s - s + 3 for s.
-1
Suppose -3*q = -8*q - 3*r - 83, -5*r - 69 = 4*q. Let s = -9 - q. Let m be 0 - -4 - (0/3 - -1). Solve -m = -2*y + s for y.
5
Suppose -5*y - 67 = -3*z, 3 - 2 = -z - 3*y. Solve -11 = -5*v + z for v.
5
Suppose 10*n - 120 = -0*n. Solve -n = -2*t - t for t.
4
Let s(g) = -g**2 - g + 4. Let j be s(0). Suppose -j*r + 14 = -4*v - 10, 0 = 2*r - 4*v - 22. Solve -2*a = 5 + r for a.
-3
Let x be (60/(-40))/(3/(-8)). Solve -h = -x*h + 15 for h.
5
Suppose -3*j - 7 = 4*u, -2*j + u + u = -14. Suppose 3*o - j = 18. Solve 0 = -3*h + o + 2 for h.
3
Let x = 117 + -110. Solve 3 = -o + x for o.
4
Suppose -2*h + 10 = -5*s, 0 = -s - 6*h + h + 25. Suppose 3*b - 36 = -s*b. Suppose 0*d + b = 2*d. Solve d = -4*z + 2 for z.
