t k be (-44)/7 - (-2)/7. Let x be k/24 + (-2)/(-8). Suppose -q + 3*f - 3 = 4, x = -5*q - 3*f + 37. Solve -q*h = -15 - 5 for h.
4
Let z(n) = -n**2 + 9*n + 13. Let v be z(10). Suppose -4*q + 13 = -3*q + x, -2*q + 4*x = -50. Let w = q - 12. Solve v = -2*m - w for m.
-4
Let v(j) = -j**2 + 5*j + 5. Let c be v(5). Suppose -3*l + 7 = 1. Suppose -l*b - b + 21 = 0. Solve -c*x + b = -8 for x.
3
Let n = 0 + 0. Let h be -2 + 4/1 + 30. Let i be 25/(-10)*h/(-10). Solve -3*c - c + i = n for c.
2
Let u = 33 + -30. Solve 3 = u*l - 12 for l.
5
Let h(v) = -v**2 + 10*v + 4. Let u be h(7). Suppose 0*n - 4*n + 2*i = 10, 0 = -5*n - 5*i + u. Solve 4*k + 4 + 0 = n for k.
-1
Let q = -36 - -41. Solve -3*a = 2*a + q for a.
-1
Let u = 7 - 4. Suppose u*f - 5 = -o, 2*f + 0*f - o = -5. Solve 5 = -f*c + c for c.
5
Suppose 8*b = -6 + 22. Solve 0*p - b = -p for p.
2
Let r = 12 + -11. Suppose 0 = f + 2, -2 = 5*i + 3*f - r. Solve -i = 2*t + 7 for t.
-4
Suppose 2*v = -g + 9, -4*g = g - 3*v + 7. Solve g = -i - 0 for i.
-1
Let w = -2 + 7. Suppose v - 12 = j, 2*v - 4*j = v + 27. Let n = v - 5. Solve n*f = f + w for f.
5
Suppose -20 = 4*g + 4*n, 16 = -4*g - 0*n - 3*n. Let j be ((-4)/g)/(1/2). Solve 6*v - j = 2*v for v.
2
Let i = 29 + -9. Suppose -2*t - 5*f + 6 = 0, 3*f = 5*t - i + 5. Solve 0 = 3*k - t + 15 for k.
-4
Let s be 22/4 + 6/4. Suppose 4 = -3*v + 4*v. Solve -3*u = -s*u + v for u.
1
Let q be 16*(-2)/(2*2). Let w = -5 - q. Let d = -38 - -40. Solve d*o + o = w for o.
1
Let w(y) = -3*y - 22. Let i be w(-8). Let x be 0 - 1/2*0. Solve i*q = -x*q for q.
0
Suppose -3*k + 0*k + 2*r + 7 = 0, 2*k = 5*r + 1. Suppose -3*w = -0*w - 54. Let c = 4 + -4. Solve c = -k*y - w + 3 for y.
-5
Let k be 3*(-8)/(-12) + 18. Solve -6*v = -v - k for v.
4
Let o = 15 - 17. Let i be 1 + 3/1 + o. Solve 5 = i*p - p for p.
5
Suppose -12*x = -0*x + 24. Let i = -4 - -7. Let s = i - x. Solve s*j = -0*j for j.
0
Suppose -16 = -5*w + 9. Solve 0*d = w*d + 5 for d.
-1
Let k = 11 - 7. Let w(q) = -6*q**3 + 3*q**2 + 5*q. Let r be w(-4). Let v be 18/117 + r/26. Solve -4 = -k*d + v for d.
5
Let l(y) = -4*y**3 - 1. Let f be l(-1). Solve -f*x = -6*x for x.
0
Let f = -78 - -80. Solve 4*a - f - 6 = 0 for a.
2
Let s(q) = -8 + 8*q**2 + 7 + 8 - 4*q - q**3 - 4*q. Let a be s(7). Solve 4*d + d + 20 = a for d.
-4
Let o = -8 + 11. Let k = -7 - -15. Suppose 0*n - k = -2*n. Solve -o*h - n = -4*h for h.
4
Let z = -2 + 6. Let w be 3 + (-9)/(27/(-6)). Solve w*o + 5 = z*o for o.
-5
Let r(h) = -8*h + 2. Let v = -9 - -5. Let o be r(v). Suppose 0 = 3*x + 4*a - o, -3*a + 14 = x - a. Solve -5*u + 4 = -x for u.
2
Suppose -3*n = -5*n. Let w = n - 1. Let p = 8 + w. Solve -p = s - 3 for s.
-4
Let g(s) = -s**3 - 16*s**2 + 16*s - 14. Let d be g(-17). Solve x + d*x = 8 for x.
2
Let k = 5 + -1. Solve -k = -2*l + l for l.
4
Suppose k = -q + 1, 0 = 2*k - 4*q + 3*q - 11. Solve -3*b - k = -b for b.
-2
Let f(u) = u**3 + 5*u**2 - 8*u - 7. Let l be f(-6). Suppose -3*j + j = -2*q + 6, l*j + 16 = 4*q. Let h(o) = -7*o - 1. Let s be h(q). Solve -3 = -3*x + s for x.
3
Suppose o + 14 = -o. Let h = -6 - o. Solve 0 = -0*j - j + h for j.
1
Suppose 8*z - 47 - 25 = 0. Solve z*t = 4*t + 5 for t.
1
Suppose 0 = -3*u + 13 - 1. Let v be (-2)/6 - (-98)/6. Solve v = -u*n + 36 for n.
5
Let p(f) = 2*f + 6. Let i be p(-8). Let j = -4 - i. Let q(x) = x**2 - 7*x + 8. Let v be q(j). Solve -1 = -v*m + 1 for m.
1
Suppose -5*s - 15 = 2*w, 0 = 2*w - 3*s - 4 - 5. Solve w*f = -2*f - 8 for f.
-4
Let d be (-132)/(-10) + (-3)/15. Let z = 15 - d. Solve -z*y = 3*y for y.
0
Suppose -3*t = -t. Solve -4*r = -4 - t for r.
1
Suppose -u - 6 = -8. Suppose -5*r + 13 = -5*i - 27, -3*r - 4 = 4*i. Solve r*x + 8 = u*x for x.
-4
Suppose 2 = -j, 5*q - 4*q - 5*j - 21 = 0. Let g = -6 + q. Solve 0 = -4*s + g*s for s.
0
Suppose -4*h = -2*i + 22, -i + 12 = -5*h - 8. Let o = h - -6. Suppose 0 = -m + o*m - 10. Solve -m*b = -b for b.
0
Suppose 4*b - 4*t = t + 49, t = -2*b + 7. Suppose 0 = 4*d + 2*k + 8 - 2, -3*d + 2*k + b = 0. Solve 2*m - 6 = -d*m for m.
3
Let j(y) = 2*y - 1. Let u be j(-3). Let q = 11 + u. Solve -s + q = 3*s for s.
1
Let i(y) = y**2 + 3*y. Let s be i(-3). Let r be (1/3 + s)*27. Let z be (-2)/(-4)*(r - -3). Solve -z*a = -a for a.
0
Let w(z) = z**2 - 3*z + 4. Let q be w(5). Suppose -q = 2*i - 4*i. Solve -17 = 5*g - i for g.
-2
Suppose -4*a - 2*t = -0 - 22, 4*a = 5*t + 29. Let o(h) = -2*h - 8. Let y be o(-6). Suppose i = y*i - a. Solve i*s = -17 + 7 for s.
-5
Let h(y) = y**2 - 8*y + 2. Let d(r) = -r**2 + 9*r - 2. Let o(j) = -3*d(j) - 4*h(j). Let m(g) = -g - 2. Let c be m(-5). Let t be o(c). Solve 3*f - t = 2*f for f.
4
Suppose -3*b = -3*k - 51, -5*k - 28 - 39 = -4*b. Suppose -s - b = -4*s. Solve -20 = -s*d + d for d.
4
Let f(v) = -v + 3. Suppose 2 = -2*o + 2*g - 4, -5*g = 5*o - 15. Let c be f(o). Suppose 5 = -c*w + 11. Solve 0*m + 2 = -w*m for m.
-1
Let a(y) = -5*y + 3. Let f be a(-2). Solve -3*z + 2 + f = 0 for z.
5
Let h = 3 - -3. Let b = -4 + h. Solve o + b*o = 15 for o.
5
Suppose 0*u = u. Let v be u*2*3/12. Solve v = 4*x - 1 - 7 for x.
2
Suppose 3*k - 3*g = -k + 26, 5*g = 3*k - 25. Suppose 4*l + k - 21 = 4*x, -l + 3*x = -12. Solve l = -v - 0 + 2 for v.
2
Suppose 5*g = 1 - 6, 2*h + 2*g - 6 = 0. Suppose u - h*u + 94 = 5*t, 5*u - t = 138. Let o be 61/7 - (-8)/u. Solve 4*i - o = i for i.
3
Let y = 1 + 21. Solve 4*j - 6 = -y for j.
-4
Let o = 5 + 1. Suppose o*v - v - 25 = 3*w, -4*w - 5 = -v. Suppose 5*u = -w*u. Solve u = f + f - 4 for f.
2
Let d = 2 - 1. Let w be 1 + (1 + 0 - 1). Let a be w - (-1 + 2)*d. Solve a*j = 2*j - 10 for j.
5
Suppose 79 = 5*k + 4*m, 4*m = 5*k + 7 - 78. Solve 4*l = l - k for l.
-5
Let x be 9 + 0 - 0/(-8). Solve 5*l - 29 = -x for l.
4
Suppose 0 = -4*r + 33 - 13. Solve 0 = 2*v + 1 - r for v.
2
Suppose 0 = 3*c + 4*b - 0 - 7, c = 3*b - 15. Let o be (-3)/(-2)*-2 + 0. Let a = o - c. Solve a = -t + 1 + 2 for t.
3
Suppose v - 4 = 5*m + 8, -3*m - 2*v - 15 = 0. Let j be m/(-1 + (-3)/(-12)). Solve -1 = j*i - 5 for i.
1
Suppose -3*o + 26 = -o. Suppose -2*t + m + 16 = -1, 2*t = 5*m + o. Solve 2*j - t = 5*j for j.
-3
Let h be -2 - (18/(-8))/((-12)/(-32)). Solve -4*w + 0 - h = 0 for w.
-1
Suppose 5*v - 26 = -2*i, -2*i + 11 = -3*v + 17. Solve 8 = v*s - 6*s for s.
-4
Suppose i + 18 = -2. Let p = i + 25. Solve p*j - j + 12 = 0 for j.
-3
Let h = 40 - 35. Solve 1 = -h*a - 9 for a.
-2
Suppose -2*q + 2 = -2. Suppose 0 = d - 2*d + 5*s + 21, 0 = d + 3*s + 3. Solve l = -q*l - d for l.
-2
Let z(i) = -2*i**3 - 2*i**3 + 5*i**3 + 3*i + 2 - 2*i**3. Let p be z(-2). Solve -n - p = -0*n for n.
-4
Suppose 3*f + 27 = -9. Let s = -7 - f. Let k be (-2)/s - 27/(-5). Solve k*u - 3 = 4*u for u.
3
Let g = 10 - 6. Suppose 0 = 2*t - g*t - 5*u - 21, 3*t = 3*u. Let y(c) = c**3 + 3*c**2 + 4. Let k be y(t). Solve l - 2*l = k for l.
-4
Suppose -4*k + 16 = 3*h - 36, 4*h - 64 = -5*k. Suppose -l + 4*o - 13 = 0, -8*o + k = -4*o. Solve 0 = -3*g - 0 - l for g.
-1
Suppose 0 = 4*d - a - 23, -2*a = 2*a - 20. Suppose -n - 4 = -d. Solve g + n = 1 for g.
-2
Let y = 17 - 15. Solve 2*g + y = -2 for g.
-2
Suppose 4*r + q - 42 = 2*q, 3*r + 3*q = 39. Suppose 0 = 4*p - 5 - 11. Suppose 3*l - 3 = -0*l + p*y, -l - 4*y = -1. Solve 0 = -2*s + r - l for s.
5
Let q = -2 - -5. Suppose -5*r + 3*d = 45, -r + 0 - 9 = -q*d. Let k be (-9)/(-6) + r/6. Solve -g + 0*g = k for g.
0
Let x(o) = o**2 - 2*o - 1. Let q be x(3). Suppose 25 = -5*a, 0 = -3*j - 0*j + q*a + 124. Let r = j - 23. Solve h + r = -4*h for h.
-3
Suppose 0 = -3*c + 4*z + 16, 0 = 10*c - 5*c - 3*z - 23. Solve 7*p - c = 9*p for p.
-2
Suppose u - 2 = -s, 2*u + 5*s = -6 - 2. Let k be -2*(1 + 2/(-1)). Let m(f) = -f**2 + f + 2. Let r be m(k). Solve r = t - u*t for t.
0
Suppose -4 + 2 = -m. Solve 0 = m*y + 3*y for y.
0
Let x(m) = -2*m - 3. Let n be x(-4). Suppose -2*y + 5*g = n, 2*g = y - 0*y + 2. Solve -w - 4 - 1 = y for w.
-5
Let r = 43 - 41. Solve -r*n + 3 = -n for n.
3
Let a(j) = j**2. Suppose -y + 9 = -5*w - 3, 3*y = 3*w + 12. Let k be a(y). Suppose b + 0*b - k = 0. Solve -p - 6 = -b*p for p.
2
Let b(s) = s**3 + 7*s**2 + 5*s + 4. Let w be b(-6). Solve -w + 0 = -2*u for u.
5
Suppose w - 3*o + 7 = 0, 0 = -w - o - 2*o + 11. Solve -t + 1 + w = 0 for t.
3
Let d(j) be the first derivative of -2 + 1/2*j**4 + 0*j - 2/3*j**3 - j**2. Let i be d(2). Solve -1 - 3 = i*w for w.
-1
Let r(t) = t**2 + 15*t 