 u = 2 + 2. Suppose 2*n + n = -4*k - t, -3*k + u = n. Solve -k*h - 6 = 3 for h.
-3
Let j = 2 - 0. Suppose 3*g - 2*g - 8 = 4*y, 0 = 2*g - y - j. Solve g = 5*c - 0*c + 15 for c.
-3
Suppose 4*v + 50 = 9*v. Solve -v + 0 = -5*g for g.
2
Suppose 2*a - 1 = 3*b - 10, -3 = -3*a - b. Solve a*x + 2 = -x for x.
-2
Suppose 0 = -0*h + h + 4*h. Solve -4*c - c - 15 = h for c.
-3
Suppose 4 = -b - 4*a, 4*b - 1 = -5*a - 6. Solve b = -3*j - 4 - 5 for j.
-3
Let n(j) = j**2 + 3*j - 2. Let b be n(-5). Suppose 2*f - 3*f + b = 0. Solve 8*h - 4*h = f for h.
2
Suppose -2*r + 10 = p, 2*p = r + 3*p - 6. Solve 0 = t - 0*t - r for t.
4
Suppose 2*m - 27 = -3*b + 2*b, -107 = -5*b + 4*m. Let p = b - 19. Solve 18 = -p*j - 2 for j.
-5
Let a(p) = -p + 8. Let j be a(6). Suppose 0*t - 4*r = 2*t - 12, 0 = 3*t - 4*r + 12. Let s = 3 - t. Solve -5*f + j = -s for f.
1
Suppose -37 = 5*i - 12. Let h(b) = -b - 1. Let a be h(-9). Let g = i + a. Solve g*l + l = 0 for l.
0
Suppose -3*m + 16 = -v, -v - 13 = -4*m + 7. Solve c - 9 = m*c for c.
-3
Let j = 1 - -3. Suppose -j*k - 1 = -2*w - 5, 3*k - 16 = -5*w. Solve 5 = -k*u + 13 for u.
4
Suppose 0*j = -j. Solve 4*o + j*o = -4 for o.
-1
Let s(o) = -o - 1. Let r be s(-5). Suppose -f = 3*f. Suppose -n + 5*d + 10 + 13 = 0, f = n + d + 1. Solve -7 = -r*y - n for y.
1
Let c(v) = -v**2 - 3 + 4*v - 9*v + 0*v. Let i be c(-2). Solve t = -2 + i for t.
1
Let s = 151 + -149. Solve s*b - 13 = -11 for b.
1
Suppose -l + 0*l + 20 = 0. Let k be 5 - (1 + -3 - -2). Solve -w - l = -k*w for w.
5
Let a(w) = w + 8. Let h be a(-6). Let x be (0 - -2)/(2/(-3)). Let j = x - -23. Solve h*u = 6*u - j for u.
5
Let h = -9 - -21. Suppose b - 2*b - h = -4*z, 3*b + 22 = 5*z. Solve 0*u + 10 = -z*u for u.
-5
Let j be ((-2)/6)/(25/(-60))*5. Solve -c - 12 = -j*c for c.
4
Let k = 19 - 11. Solve 4*t = -4 - k for t.
-3
Let x(z) = z**2 + 6. Let j be x(0). Let v(w) = -w**3 - w**2 + w - 6. Let r be v(0). Let q = 10 + r. Solve -q*t = -6*t + j for t.
3
Suppose -f = 3*f. Let i be 9/(-3 + f) - -7. Suppose 3*b + i*c = -0*c + 19, -2*c = 3*b - 17. Solve -m + b = 1 for m.
4
Let v(a) = a**2 + 5*a + 9. Let y be v(-4). Solve 4*m + 21 = y for m.
-4
Suppose g + 2*g = 45. Suppose -125 = -7*c + 2*c. Suppose 4*x = c + g. Solve -4*f + x = 2 for f.
2
Let n be (4/(-6))/(16/(-24)). Solve 2*s - 3*s + n = 0 for s.
1
Let k(v) = -v**3 + 6*v**2 - 6*v - 2. Let m be k(5). Let y = 7 + m. Solve y = 3*u + 2*u - 25 for u.
5
Let y be 34/9 - (-4)/18. Suppose -y*v = 3 - 11. Solve -2*x = -x + v for x.
-2
Suppose 2*q = q. Suppose q*g + 2*g = 0. Solve g*f = 2*f - 10 for f.
5
Suppose 1 = -4*i + 5*p + 6, -i + 3*p + 3 = 0. Solve -6 = 2*w - i for w.
-3
Let v be (0 + -1)*(-10 - -4). Solve v*f = f for f.
0
Let s be 1/(-2 + 33/15). Let c = 5 + -7. Let t = c + 6. Solve t*d = -d + s for d.
1
Let c = 3 - 6. Let u be c + 3 + 3 + -1. Solve -4 = u*w - 0 for w.
-2
Let b(x) = -x**3 + 2*x**3 - 2*x - 3*x - 5*x**2. Let k be b(6). Suppose 23 = 2*f - f + 5*z, 4*f + 3*z = 41. Solve 0 = k*p - 2*p + f for p.
-2
Let w be 1 - (9/(-3) + 2). Let h(o) = o**3 + 2*o**2 - 5*o - 3. Suppose -2*c - 5*a - 11 = 0, -4*c + 3*a + 12 = -7*c. Let r be h(c). Solve r*l = -w*l for l.
0
Let x(z) = -z**2 + 5. Let s be x(0). Let y be (-4)/(-1) - s/5. Solve y*h + 4 = -5 for h.
-3
Let b(w) = w**3 + w**2 - 12. Let u be b(0). Let k be 2/3 + (-4)/u. Let z be 0/((-6)/(k + 2)). Solve z = -2*o + 4*o + 8 for o.
-4
Let g = 3 + -2. Let k be g/((-3)/(-6) - 0). Solve 6*h - 16 = k*h for h.
4
Let m(d) = d**2 + 5*d. Let f be m(-5). Suppose f = 2*g + r + 1, 10*g - 5*g - r - 15 = 0. Solve g*u = 3*u for u.
0
Let k be -2 - (0 - -2 - 2). Let n(h) = -4*h**3 - 4*h**2 - 2*h. Let v be n(k). Solve 2*w + 3*w - v = 0 for w.
4
Let t be -1 + 2 - -4 - -1. Suppose 0 = 2*y - 3 + 1, -3*y + t = b. Suppose -a + 2 = -u, -4*a = -b*u - 8 - 0. Solve -4*g + a = -2 for g.
1
Suppose 4*d - 3*d - 5 = 0. Let r = d + -5. Solve 2*t - 5*t + 15 = r for t.
5
Suppose 8 = 4*i - f - 2, 0 = -2*i + 4*f - 2. Solve i*a - 6 = 6*a for a.
-2
Suppose -2*h + i + 5 - 2 = 0, -5*i - 15 = 4*h. Let c(d) = d**3 - d**2 + 3 - 3*d**3 + d**3. Let s be c(h). Solve s*w - w = -2 for w.
-1
Suppose 4*u = -4*y - 0*y - 8, -4*u - y - 5 = 0. Suppose -4*m + 5*n + 29 = 0, 2*n + 6 = -m - 3*m. Let z = m + u. Solve z = -b - b - 8 for b.
-4
Suppose -5*t = w - 17 + 1, 3*t = -2*w + 4. Solve g - t*g = 6 for g.
-2
Let n = 3 - 1. Let v(h) = -h**3 + 8*h**2 - 8*h + 9. Let u be v(7). Solve -4*o = -u*o + n for o.
-1
Let q = -10 - -26. Let y = q - 12. Solve 6 = -y*l + 6*l for l.
3
Suppose u + u - 1 = o, 5*u - 2*o - 4 = 0. Suppose -u*s + 3 = -3. Solve k = -s*k for k.
0
Let d(g) = -g - 13. Let h be d(-7). Let i(m) = m**3 + 7*m**2 + 4*m - 6. Let q be i(h). Solve -q*j = -j + 5 for j.
-1
Suppose 5*x + y - 136 = 0, 0 = -x - 4*y + y + 30. Let g = x + -19. Solve -m - g = m for m.
-4
Suppose 63 = -y + 5*y - q, -4*y + 3*q + 69 = 0. Let c(d) = 11*d + 1. Let v be c(3). Let j = v - y. Solve -4 + j = -3*t for t.
-5
Let n = 26 - 26. Solve n = -5*j - 5 - 15 for j.
-4
Let m(u) = u**3 + 4*u**2 + 3*u + 2. Let s be m(-2). Let j(f) = -4*f - 1. Let l be j(-5). Suppose l = q - 4*r, 0*q - 22 = -q + 5*r. Solve q*i - s = 3*i for i.
1
Suppose t = -3*d + d + 8, -3*d + 21 = -3*t. Suppose 0 = d*c + 4*r - 21, -2*r + 17 = 3*c - 4*r. Solve -c*a - 25 = -0*a for a.
-5
Suppose 4*s - 29 = o, -2*o - 5 + 19 = 4*s. Solve s*u - 6 = 3*u for u.
2
Suppose 23 = 12*i - 25. Solve i*k - 3 = 5 for k.
2
Let o(y) = 17 + 12*y - 14*y**2 + 3*y**3 + 0*y**3 + y**3 - 3*y**3. Let g be o(13). Solve 0 = -3*a + 2*a - g for a.
-4
Suppose 4*c - 32 = 2*c. Solve z - 5*z + c = 0 for z.
4
Suppose -o + 1 = -0*o. Let v be o - (9/3 - 6). Suppose v*b + b - 2*c = 16, 4*b + 4 = -4*c. Solve -b*n = -n + 5 for n.
-5
Let v(f) = f**3 - 8*f**2 + f - 5. Let o be v(8). Let h = -7 + 11. Solve -o*d - d = h for d.
-1
Suppose 3*n + 0*w - 3*w + 15 = 0, 4*n + 3*w - 1 = 0. Let f(v) = -v + 2. Let h be f(n). Suppose 6 = 2*r + h*s, -r + 3*s - 6 = -3*r. Solve 9 + 0 = -r*y for y.
-3
Suppose 5 = -0*t + t. Suppose 0 = -x + t*d - 25, -d - d = -2*x - 10. Let m(s) = 2*s**3 + 4*s**2 - s. Let l be m(-2). Solve l*f = -x*f - 6 for f.
-3
Let x(w) = -w**3 - w**2. Let j(q) = -q**3 - 7*q**2 - 5*q + 4. Let h be j(-6). Let v be x(h). Suppose v*r - 64 = -0*r. Solve 5*o - 4 = r for o.
4
Let c be ((-540)/40)/(3/(-8)). Solve 0 = 5*m - 11 + c for m.
-5
Suppose 5*v - 3*d - 11 = -0*v, 9 = 3*v - 3*d. Solve -4*n + 5 - v = 0 for n.
1
Suppose 4*p = p. Suppose 0 = -u + 6*u - 15. Suppose p = -v + u*v. Solve k = -v + 1 for k.
1
Let y(p) = -p**3 + 3*p**2 + 4. Let s(l) = l - 9. Let g be s(12). Let b be y(g). Solve -b*a - 2 = -2*a for a.
-1
Let j = 8 - 5. Suppose 0 = j*n - 14 - 19. Let d = n + -3. Solve -8 = -4*m + d for m.
4
Let l = 2 + 12. Let g be ((-4)/(-6))/(3/9). Let r be (2/7)/(g/l). Solve r = x - 0 for x.
2
Let v = -46 + 46. Solve v = 3*t - 4*t - 1 for t.
-1
Let c = -5 + 8. Suppose -7 = -4*d - c. Solve 2*m + d = -1 for m.
-1
Let d(s) = -s**2 - 7*s - 7. Let m be d(-5). Let z be m/(-3) + (4 - 3). Solve -3*a - a = z for a.
0
Let x(n) = -2*n - 41. Let w be x(-28). Solve -12*h + 3 = -w*h for h.
-1
Suppose -5*v = 4*t + 25, 24 = t - 5*v - 1. Suppose 3*f - 1 + 7 = 0. Let n be 5/(6/2 + f). Solve -n*p - 15 + t = 0 for p.
-3
Let k(d) = 2*d**3 + 9*d**2 + 5*d + 4. Let m be k(-4). Solve m = -l + 6*l for l.
0
Let u be 5/(-3)*18/(-2). Let g = -4 - -7. Solve 0*m - u = g*m for m.
-5
Let q(x) = x**3 + 4*x**2 + 2. Let h be q(-4). Let z = 1 + h. Let g(y) = -y**2 - 4*y + 5. Let o be g(-4). Solve 0 = -z*k + 4*k + o for k.
-5
Suppose -15 = 3*c - 27. Solve 3 = c*h - 5 for h.
2
Suppose -4*f = -8 - 0. Suppose -5*h + 3*c + f = -5, 0 = -3*h + 4*c + 2. Let t be h + -1 + 0 - -2. Solve n = -0 - t for n.
-3
Suppose -16 = -a - 1. Solve -3*g = a - 0 for g.
-5
Let z(h) = -h + 0*h**2 + 0 + 1 + 1 + h**2. Let r be z(0). Solve -2*d + r = 4 for d.
-1
Let x(y) = 2*y + 10. Let o be x(5). Solve 5*u = u - o for u.
-5
Suppose 2*v + 2*v = 0. Suppose 0*f + 4*f = v. Solve -6 + f = -2*y for y.
3
Suppose -5*t + 14 = b, -3*t - b + 2 = -2*t. Solve -t*m - 4 = -m for m.
-2
Suppose 7*c - 2*c = 20. Let i be (-5)/(c/(3 + -7)). Solve -i*u + u - 20 = 0 for u.
-5
Let o be (-495)/(-11)*2/3. Suppose o = -3*d + 8*d. Solve -2*k = -4*k + d for k.
3
Let s(p) = -p**3 + 9*p**2 - p + 9. Let j be s(9). Let t be 6 + (j + -1)*1. Solve -2*z + z - t = 0