3
Let v(l) = -l + 11. Let z be v(-8). Let w = 7 + z. Solve -5*r - w = -1 for r.
-5
Let g = -8 - -16. Suppose 0 = 7*r + 1 - 1. Solve r*m + 4*m + g = 0 for m.
-2
Let o(u) = u**2 + 11*u - 14. Let a be o(-12). Let t be 1*a + (2 - 0). Suppose 0*b + 4*b - 80 = t. Solve 4*j + j = b for j.
4
Suppose 3*n - 5*m = 80, -105 + 33 = -4*n - 2*m. Solve 4*v + n = -0*v for v.
-5
Let j = -17 + 24. Let f be (3 - (j - 3))/(-1). Solve v + f = -0*v for v.
-1
Let r = 5 - 2. Solve -r*k = k for k.
0
Suppose c + 4 - 7 = 0. Solve 5*q + c = 23 for q.
4
Suppose -3*r + 18 = 3. Let a = r - 10. Let v = -4 - a. Solve -2*g + v = -1 for g.
1
Suppose -3*p = -5*x + 3, 0 = p - 5*p - 4. Let f(l) = -l**3 + 6*l**2 + l - 8. Let i be f(6). Let j be (1 - 0)/(i/(-18)). Solve j + x = -3*o for o.
-3
Suppose 2*x + 2*x - 48 = 0. Solve 0 = b + 3*b + x for b.
-3
Suppose p = 6*p - 20. Suppose -16 = -3*l - p. Suppose -l = -2*x + x. Solve x = 5*k - 1 for k.
1
Let l be ((-8)/(-12))/(2/3). Suppose 6*w = -w. Solve w*u + u = l for u.
1
Let u = 0 - 0. Let c(r) = -r**2 - 3*r - 3. Let o be c(-2). Let p be -4*(o + 1/2). Solve u = -p*b - 3*b + 15 for b.
3
Suppose -4*b = -3*c - 11, -2*b - 7 = -7*b - 3*c. Let d be 3 + -5 + 3 + 0. Solve -b*m + m = d for m.
-1
Suppose -7*h + 3*h + 50 = 5*l, -4*l + 2*h + 14 = 0. Solve 0 = -4*x + l*x - 2 for x.
1
Suppose 2*f + 2*f - k - 72 = 0, 5*k = 0. Let y be (-3 - f/(-4))*2. Suppose -2 = -0*s - s. Solve -1 = s*r - y for r.
1
Suppose -1 = -4*m + 7. Suppose 6 = 6*c - 4*c. Suppose c*o + m*o = 10. Solve -u + 0 + o = 0 for u.
2
Let k be 1*-4 + 11 + 0. Solve -3*t = k + 5 for t.
-4
Let i be (-2)/(-8) + (-7)/(-4). Suppose 2*t - q + 0*q + 1 = 0, 0 = -t - i*q + 7. Suppose -4 + t = -z. Solve -z*o + 5*o + 8 = 0 for o.
-4
Suppose -2*q = q - 5*v - 18, -2*v = 2*q + 4. Let h(b) = 2*b**2 + 52*b + 50. Let z be h(-25). Solve z = l - 4 - q for l.
5
Suppose w + 5*h - 22 = 0, 4*w + 4*h - 11 = 13. Let j be (-6)/(-4)*4/3. Suppose j*p + 0 = w. Solve v = 4 - p for v.
3
Let y = -26 - -40. Let g be 38/y + 6/21. Let i = -4 + 5. Solve -i = g*l - 7 for l.
2
Let y(w) = 2*w**3 - 2*w**2 + w + 4. Let r be y(0). Solve -m + r*m = 15 for m.
5
Let n(m) = -m - 3. Let y be n(-4). Let k be (-3)/((1 - 2)*y). Let a be -5*(1 + (k - 5)). Solve -5*z + 0 = a for z.
-1
Let k be 105/6 - 3/(-2). Let n = k - 14. Solve 0*a - n*a = 0 for a.
0
Let j be (2/4)/((-12)/(-96)). Solve k - j*k = 0 for k.
0
Let q be (-5)/(-2)*(5 - 3). Solve -10 = -q*r - 0 for r.
2
Let j be ((-2)/1)/2 + 3. Suppose 5*i - 1 = -j*c - 0, -2*i = c - 1. Solve 0 = -4*m + c - 7 for m.
-1
Suppose 5*n = 2*n + 4*k + 1, -5*n - 2*k = -19. Solve n*h + 1 - 7 = 0 for h.
2
Suppose -5*x = 5*s - 45, -4*x - 3*s + 24 = -2*s. Let b be (-4)/(-4)*(0 + x). Solve b*z + 10 = -0*z for z.
-2
Let l = 51 + -48. Solve -14 = l*v - 2 for v.
-4
Let t = 2 + 0. Suppose -10 + 0 = -5*g. Solve n - t = g*n for n.
-2
Suppose 5*y + 8 = 7*y. Suppose -5 - 7 = -y*w. Solve w*g - 2 = 10 for g.
4
Let g be 0 - ((-2)/(-1))/(-2). Let z = -13 - -17. Solve f + z = -g for f.
-5
Let x = -5 + 7. Solve 3 = t + x for t.
1
Let s be (-20)/30 + (-34)/(-6). Solve 0 = s*o - 2*o for o.
0
Let y = 5 + -1. Suppose -7*t = -y*t. Solve t = 2*j - 5*j + 15 for j.
5
Suppose -m = -0*m. Suppose 5*s = -3*z + 15, -6*s + 2*s - 25 = -5*z. Suppose s = -r + 5 + 4. Solve 2*f + f + r = m for f.
-3
Suppose 3*c = -0*c + 5*q + 35, -4*q = -3*c + 31. Suppose c*b - 2*b - 45 = 0. Solve -b - 1 = -4*p for p.
4
Let o = 0 - 0. Let b = 1 + -8. Let y(i) = i**3 + 8*i**2 + 7*i + 5. Let g be y(b). Solve o = -g*w + w for w.
0
Suppose 3*w - 20 = 3*x - 2*w, -3*w = -3*x - 12. Solve 2*t + 2*t = x for t.
0
Let n(r) = -r**3 - r**2 - 2*r - 3. Let o be n(-2). Suppose 0 = -a - 5*s + o, 2*a + 2*s - 2 = 0. Let q = a - -2. Solve -4 = -2*u - q*u for u.
1
Let k(d) = d**3 + 5*d**2 + 5*d + 6. Let f be k(-4). Solve f*l = 1 + 7 for l.
4
Let v be 13/(4/(8/2)). Solve -2 - v = 5*b for b.
-3
Let c = 25 + -19. Solve -q = q + c for q.
-3
Let p(q) = q**2 - 5*q**3 - 2*q**2 + 0*q - q. Let d be p(-1). Solve d*h = 1 + 14 for h.
3
Let z = 17 + -17. Solve z = 4*g + 13 - 1 for g.
-3
Let n be (3/9)/((-2)/(-18)). Suppose -5 = -4*s - 29. Let r = s + 10. Solve n*x + 1 = r for x.
1
Let u(y) = -y**2 + 8*y - 7. Let q be u(5). Suppose 2*f - 6 = q. Let w(k) = -k**2 + 9*k - 10. Let x be w(f). Solve o = x*o - 6 for o.
2
Let y(g) = -g**2 - 12*g + 14. Let r = 6 - 19. Let q be y(r). Solve q + 1 = 2*b for b.
1
Suppose 0 = 3*c + c. Let m be c*(3 - (-4 - -6)). Solve j = -m*j for j.
0
Let n(f) = -f**3 - 7*f**2 + f + 7. Let o be (-34)/5 + (-4)/20. Let x be n(o). Solve c + x + 3 = 0 for c.
-3
Suppose -2*r + n - 2 = 0, -4*n - 2 = 3*r - 10. Suppose -5*b - 2*h = -3*b - 2, -b + 5*h - 5 = r. Solve b = w - 6 + 1 for w.
5
Let u be ((-1)/(-2))/((-2)/(-16)). Let c be (4 + 4)/((-2)/(-1)). Let f be -6*(-2)/c + 1. Solve u + 4 = f*n for n.
2
Let r be (-6)/(-8) - 2/((-8)/13). Solve r*i + 11 - 3 = 0 for i.
-2
Let x(z) = -13*z - 1. Let p be x(-1). Let b = -5 + 7. Suppose 6*j - 4*j + 6 = 0, 4*u = b*j + 26. Solve -3 - p = u*a for a.
-3
Let v(t) = t**2 - 2*t + 1. Let k be v(4). Let u be -2 - 1/2*-10. Suppose 3*x + 11 = -5*h, u*h = -5*x - 2*h - 5. Solve 3 = x*i + k for i.
-2
Suppose 6 = -5*v + 3*v - 2*d, 5*v = -4*d - 10. Solve -v*m - 2*m = 0 for m.
0
Let q(g) = 3*g + 41. Let j be q(-13). Solve -8 = 2*k + j for k.
-5
Let j(w) = w**2 + 2*w - 1. Let h be j(1). Let n(t) = 5*t - 2. Let k be n(h). Let g(b) = b**2 - 17*b - 230. Let r be g(26). Solve -6*v = -r*v - k for v.
4
Suppose -n + 90 - 8 = 4*q, 0 = 3*q + n - 62. Solve -q = s - 5*s for s.
5
Let n be -1*-2*2/2. Let x(h) = h - 9. Let z(t) = t - 10. Let i(u) = -6*x(u) + 5*z(u). Let g be i(2). Solve a = -g - n for a.
-4
Suppose -70 = -4*n + 30. Solve -4*v + n = v for v.
5
Let n(d) = -9*d - 80. Let a be n(-9). Solve 7*y + a = 6*y for y.
-1
Let s(t) = -2*t - 3. Let u be s(-2). Let m be (2 + -3 - -1)/u. Solve 2*a - 7*a + 5 = m for a.
1
Let x be -9*((-3)/(-9))/1. Suppose -2*s + 11 - 3 = 0. Let k = x + s. Solve -k = -2*b + 3 for b.
2
Suppose -3*w + 18 = -w. Suppose -5*u - q - 4 = -2, -2*q = -2*u + 4. Solve u = -3*i - w - 6 for i.
-5
Suppose 20*v - 80 = 4*v. Suppose -2*o - 1 = -6*g + 5*g, 0 = o - 2*g + 2. Solve o = v*u - 2*u + 15 for u.
-5
Suppose -x = 2*x. Suppose 0 = -2*y - 2*a + 22 - 6, 4*y + a - 20 = 0. Solve x = -y*c - c - 25 for c.
-5
Suppose -11*f + 9 = -13. Solve 4 = f*l - 0 for l.
2
Suppose 10 = 4*x - 2. Solve 2*u = x + 3 for u.
3
Let r = -11 + 17. Suppose -4 = -2*j - x, r - 2 = -5*j + x. Solve -6*t + t + 5 = j for t.
1
Suppose 5*x + 6 = -3*n, -3*x = 4*n + 2*x + 3. Let w be 1 + -1 - 0/2. Let d be 5 + ((-3)/n - w). Solve d*o - 12 = o for o.
4
Let k = 8 + -6. Suppose d = -2*i + 6*i - 15, 4*i - 20 = 0. Solve -d*x + k = -3*x for x.
1
Let j be ((-2)/(-4))/((-16)/(-96)). Solve j*n - 2*n + 3 = 0 for n.
-3
Suppose 2*f - 7 = f + 2*t, -t - 26 = -2*f. Let a = -2 + 7. Let j be (6/a)/((-2)/(-5)). Solve -2*m = j*m + f for m.
-3
Suppose 0 = -l - 5*k - 7, -5*k = -k + 8. Suppose -i + 3*x + 6 = 0, 4*i - 3*x = -x + 44. Solve -l*w - w = -i for w.
3
Let a = -17 + 25. Solve -h - a = -5*h for h.
2
Suppose 4*j + 18 = j. Let r = -2 - j. Suppose r*h - h - 9 = 0. Solve 0 = 2*q - h*q for q.
0
Suppose -2*n + 6 = -0. Let d be n/(-6)*0/2. Suppose -8 + 0 = 5*y + 2*l, -2*y = 5*l + 20. Solve d = -3*q - 3 - y for q.
-1
Let q(d) = -d - 1. Let z be q(-5). Let u(h) = -h**2 + 7*h - 7. Let m be u(5). Let s(k) = -k - 7. Let x be s(-7). Solve x = -o - z + m for o.
-1
Let g be (6/10)/(6/30). Let h = -1 + g. Solve 3*k = -h*k for k.
0
Suppose 2*p - 16 = 6*p. Let z be p/10 + 81/15. Solve 0 = -n + 4 - z for n.
-1
Let n be (-7)/3 + (-5)/(-15). Suppose 0 = -2*c - 4. Let h be (-8 - c)/n - -1. Solve 0 = -2*d + 12 - h for d.
4
Let u = -25 + 57. Suppose -5*k + g - 5 = -u, 0 = -2*k - 2*g + 6. Let p(i) = -5*i. Let f be p(-1). Solve 0*m = -k*m + f for m.
1
Let x be (-2)/4 + (-11)/(-22). Solve x = -h + 3*h for h.
0
Let l = -59 - -62. Suppose -5*o - 5*c = 10, o = -3*o + 2*c + 10. Solve o = k + l for k.
-2
Suppose 6 + 0 = -s - 3*q, 4*s - 5*q = 27. Let k be (-5 + 11)/(s/2). Solve 2 = 2*t - k for t.
3
Let l = 7 - 6. Suppose -3*n - 1 = -10. Solve -p + n = l for p.
2
Let x(b) = b**3 + 5*b**2 + 6*b + 5. Let u be x(-4). Let c(a) = -a**2 - 4*a + 4. Let d be c(-4). Let y = d + u. Solve -2*v + 3 = -y for v.
2
Suppose -2*o + 6 = 0, 0 = 2*y