t q = -17 + 20. Let n(f) = -2*f**2 - 2*f + 3. Let y be n(2). Let p = -5 - y. Solve -3*h - 2*h = q*j - 20, -20 = -p*j for h.
1
Let p be (3/(-6))/((-1)/4). Let b = p + 0. Solve 3*f + 3*x = -0*x + 3, -5*f + 11 = b*x for f.
3
Suppose 14 = -n - 5*z, 0 = 4*n + 4*z - 1 - 7. Suppose 0 = -2*q + 3*q - 5. Let i be (q + -1 - 0)*1. Solve n = -2*o + 4*y, i - 23 = -3*o - y for o.
5
Suppose h + h - 8 = 0. Solve 4*q - 3*m - 8 = 0, -h*m + 8 = q + 3*q for q.
2
Let t(d) be the first derivative of 2*d**3/3 + d**2/2 + 2*d + 5. Let p be t(-1). Solve x - p*x = -4*k - 18, -3*x - 17 = 5*k for k.
-4
Let h = 38 - 35. Solve 4*u + 28 = -2*i - 3*i, 0 = h*u + 3*i + 18 for u.
-2
Suppose -120 = -2*i - 3*i. Let a = 4 - 4. Solve 0 = -v - 0*v - 5, a = n + 4*v + i for n.
-4
Let u be (14/(-4) + 4)*8. Suppose 0 = u*z - 0*z. Solve -5*x + z*x - 20 = -3*y, -4*x + 5*y = 29 for x.
-1
Let i = 65 - 48. Solve q = g - 5*g - i, -4*q + g = 0 for q.
-1
Suppose 173 - 41 = 11*y. Solve -x - c = -0*x - 6, 3*c = 3*x + y for x.
1
Let x(h) = -h**3 + 9*h**2 + 25*h - 8. Let i be x(11). Let j = 3 + 1. Solve 0 = -q - 0*q - 4*n + 25, -j*q - n = -i for q.
5
Suppose -a + v = -4 - 6, -5*a + v = -34. Solve -y + b - a = 3*b, 2*y + 4 = 4*b for y.
-4
Suppose 0 = -3*s - 2*s + 5. Let a be (-242)/(-8) - s/4. Solve -3*y + 3 = -4*q, -5*q - 2*y - 3*y - a = 0 for q.
-3
Suppose 0 = 17*s - 16*s - 7. Suppose -3*a + s*a - 16 = 0. Solve -z - 1 = 2*w + 3, 5*w = a*z + 16 for z.
-4
Let v(p) = -p**2 - 10*p - 4. Suppose 4*q = -0*q - 16. Let a be v(q). Suppose -3*m - 2*m = -a. Solve -5*o - 2*z + m = 0, -1 - 1 = -z for o.
0
Suppose -3*v + 2*y + 24 = v, 4*v + y = 24. Solve 2*q - 25 = -5*h, 0 = -3*q + h + 2*h + v for q.
5
Suppose -2*u = 3*z + 24, 3*u = -0*z - z - 15. Let d = 6 + z. Solve -2 = -3*n + 4*l, d*n - 2*n + 7 = 3*l for n.
2
Let r(q) = -q - 3. Let y be r(-4). Let m(c) = c - 5. Let n be m(0). Let s be y/n + 2/10. Solve 0 = -5*f - 5*z - s*z - 35, -1 = -f + z for f.
-3
Let g = -6 + 5. Let j be -1 + g - 1*-5. Let n be j*1 - (-4 + 3). Solve -4*l - 4*a = 32, 3*a - 3 = n*l + 1 for l.
-4
Suppose -n + 8 = 4*s, -4*s - 7*n + 5*n + 8 = 0. Solve -3*z - 4*u + 0*u = -18, -2*u = -s*z - 2 for z.
2
Let a = -2 - -3. Let z(c) = -c**3 + 4*c**2 + 1. Let f be z(4). Let o be a/(f/15*3). Solve u + o*k - 8 - 18 = 0, 4*k - 20 = 0 for u.
1
Suppose 2*m - 3*m = 0. Let s(j) = j**3 - 6*j**2. Let h be s(6). Let c be (-1 - (-1 + h)) + 13. Solve m = -g + b - 1, 4*b = -g - b - c for g.
-3
Let n(g) = g - 7. Let y be n(7). Suppose 2*r + 5*k - 16 = k, -5*r - 5*k + 25 = y. Let v = 0 + r. Solve -5*l + 10 = -v*p - 3*l, 0 = -3*l + 12 for p.
-1
Let d be -2 + (2 - (-5 + 1)). Solve 3*t + 23 = 4*k, d*k = k + 15 for t.
-1
Let x be 96/(-18)*(-3)/2. Solve 0*i = -2*i + 4*n - x, 5*i = 2*n + 4 for i.
2
Suppose 0 = -3*w - w + 8. Solve -3*b + 4*a = 22 - w, 0 = -5*b - 4*a + 20 for b.
0
Let d = -20 - -20. Suppose 3*k + k - 16 = d. Solve -4*r - 20 = 4*i, 16 = -2*i - r - k*r for i.
-3
Suppose -5*f = -4*l - 9, -3*f + 2*l = -0*l - 5. Let b be (-6)/(-4)*2*2. Solve -2*m = g + f, b*m - 2*m - 3*g - 23 = 0 for m.
2
Let f be -4*(-4)/8*2. Suppose 5*d = f*d + 2. Solve -5*i = -5*b, -d*i + 5*i - b - 4 = 0 for i.
2
Let q = -52 - -26. Let i = q - -43. Solve -3*m + h = -6*m + i, 0 = -5*m + 3*h + 19 for m.
5
Let d be -1 + (1 + 3)*(-51)/(-12). Solve -2*i + 3*q + d = 2*i, -5*q = -2*i + 8 for i.
4
Let d = 16 + -14. Suppose 3*s - s + q = 1, -5*s = 2*q - d. Solve -y + 1 = -s, 3*y = f + 8 for f.
-5
Let s = 24 + -22. Solve -2*m - g = 9, 5*g = s*m + 3*m for m.
-3
Let t = 2 - 0. Let a be 1*(6/t - 3). Solve 3*c - 2*q - 8 = a, -4*c + 4*q = -3*c - 16 for c.
0
Suppose -4 = -2*n + 4. Suppose -4*u - 28 = -2*g, 2*g - u = 7*g - 59. Solve 2*i = -4*y - g + 42, 5 = 5*i - n*y for i.
5
Let s(a) = 3*a**2 + 3*a - 2. Let d be s(1). Solve -2*x = -0*x + d*b - 6, 0 = -5*b + 5 for x.
1
Let l(i) = -3*i - 2 + 4*i + i - i**2 + 3*i. Let d = -1 + 4. Let r be l(d). Solve 2*y - 4*y - h + 4 = 0, 0 = 4*y - r*h - 20 for y.
3
Let b be 35/(-11) + 8/44. Let m = 5 + b. Solve m*j = -2*d - 0*d - 4, 18 = -4*j + d for j.
-4
Let d(i) = -i**2 + 7*i - 3. Let y be d(3). Suppose r + y = 4*r. Let t be 0 + (0/2)/r. Solve t = l + 2*h + 2*h + 1, -4*l + 11 = h for l.
3
Let x = 22 - 20. Solve x*t - 5*l = -31, -3*t - 4*l + 11 = -0*l for t.
-3
Let a(p) = p + 10. Let d be a(-6). Let l be (3 - 2)*1/1. Let c = l + 3. Solve c*r - 2 = i, 2*i - 1 = -r + d*r for i.
2
Let h = -20 - -15. Let v be h/((-70)/4)*7. Solve i - 4*w = 10, 3*i + v*w = -w for i.
2
Let p(v) = -1 - 1 - 2 + 0*v + v. Let i be p(9). Let w = -20 + 37. Solve -w = -i*t + 2*z, 3*z = t + 6 + 1 for t.
5
Suppose 3*m - 2*m = 2. Solve 4*o - 16 - 6 = m*p, o = -p + 4 for p.
-1
Let p = 6 + -2. Suppose 15 = z + p*z. Solve 4*l + 11 = c, -2*c + z*l = 2*c - 5 for c.
-1
Suppose -3*k = -k - 34. Let z = -26 + k. Let h = -5 - z. Solve 0*c + h*l = c + 8, -5*c = -4*l + 24 for c.
-4
Let w = 6 - 5. Let i be (3 - w) + -2 - -1. Let f = i + -1. Solve f = -5*o - 0*u - u - 7, -4*o - u - 6 = 0 for o.
-1
Suppose -5*r = -2*v - 18, 6 = -3*v - 6. Solve -2*i - 7 = 3*k, 4*i - r*k - 3*k = 41 for i.
4
Let b be (9/(-4))/(6/(-32)). Suppose 4*q = 4*g + 20, -4*q + 15 = -2*g - q. Suppose -94*m + 92*m = -10. Solve -m*h - 5*u + g*u = -35, b = 3*u for h.
3
Suppose -3*t = -3, i + 3*i + t - 9 = 0. Suppose i*g = 4 - 14. Let r = g + 10. Solve 0 = -r*v + 20, 0*v - 4*v = -5*d - 41 for d.
-5
Suppose -4*w - 1 - 11 = 0, -i - 2*w = 0. Let d be 3 + (1 - (1 + 0)). Suppose y = -5*v + 22, -v + i*y = d*y + 2. Solve 0*q + 2*q = -v, 2*p = 3*q - 4 for p.
-5
Let r(s) = -s**3 - 24*s**2 + 26*s + 25. Let a be r(-25). Solve a = -2*h - 2*q, 2*h - 4*h + 35 = -5*q for h.
5
Let x be (2 - (7 - 4)) + 3. Let u = -3 - -8. Solve -v - x*g = -g, -35 = u*v - 2*g for v.
-5
Let b(p) = p**3 + 4*p**2 - 3*p - 6. Let k be b(-4). Let w be 68/k - 4/12. Let m = 0 + w. Solve -2*x - 5*q + 18 = 0, 0 = -x + 3*q - 6*q + m for x.
-1
Let j = -123 + 126. Solve -2*w = 2*w, -l - w - j = 0 for l.
-3
Let d(y) = -7*y - 66. Let a be d(-10). Solve s - 3*s = -q + a, 3*s = -2*q + 1 for q.
2
Let y be 8 + -1 + 0 + -1. Let t(w) = -w**2 - 17*w - 18. Let o be t(-16). Let r = y + o. Solve 5*f - 43 + 16 = -x, r*x - 13 = -f for f.
5
Suppose -3*y = 2*a, 4*y + a = -3*a. Solve -5*p - 5*v - 10 = y, 2*p + 6 = -p - 5*v for p.
-2
Suppose 2*u - 6*u + 38 = 3*v, -u - 7 = -2*v. Solve -v*h + 2*h + 4 = 0, 2*h + 13 = 3*i for i.
5
Suppose u + 2*u = 4*f + 14, 2 = -f. Solve -o - 5*r = -u*o, -4*o + 3*r = 0 for o.
0
Let y(p) = p**3 + 6*p**2 - 2*p - 8. Suppose o - 12 = 3*o. Let d be y(o). Solve 3*v - 4*v = -3*w, 0 = -3*v + d*w + 5 for v.
3
Let q(i) = -4*i**3 + 2*i**2 + 2*i + 1. Let n be -6 + 8 + -3 + 0. Let x be q(n). Solve 2*m + 3*d = 0, 4*m = m - x*d - 1 for m.
3
Suppose -4*x - 21 = -x + c, -5*x - 3*c - 39 = 0. Let i be 2/(-12) + (-61)/x. Let k be (-2)/(-4)*i - 2. Solve v - 15 = 5*v + k*m, v = -3*m - 15 for v.
0
Suppose 0 = 3*j + j - 20. Let d be 3 - 6/(-2)*-2 - -3. Solve -4*x + j*m + 15 = 0, -2*x + d*m + m = -9 for x.
5
Let o(d) = -d + 10. Let x be o(4). Solve 5*p - 3*i = 20, -3*i + x = 3*p - 6 for p.
4
Suppose -4*f - 6 = 46. Let r = f + 15. Solve l - 9 = -2*j, r*l - 2*j - 2 - 4 = 0 for l.
5
Let n be 2/4 - (-15)/2. Let t be (12/(-14))/(n/(-112)). Let z be (t/(-7))/(4/(-14)). Solve 2*x = 0, -z*u = -2*u - 2*x - 4 for u.
1
Let f be 322/184 - ((-3)/(-4) - 1). Solve a + 15 = -4*i, -f*a + i + 4*i = -35 for a.
5
Let y be (3/(-2))/(18/(-12)). Let z = 2 + y. Solve 1 = -i + 6, 5*i - 31 = -z*u for u.
2
Let g = -5 - -5. Let r be g + (0/2)/3. Let i = r + 12. Solve 0 = 5*n - 4*f + 13, -f + i = -2*n - n for n.
-5
Let j(a) = -13*a + 3. Let k be j(0). Solve 5*t + 18 = p, 3*t + t = k*p - 21 for t.
-3
Let x = 0 - -2. Let l = 0 + x. Solve -24 = u - 5*s, -4*s - l + 18 = 0 for u.
-4
Suppose 3 = u, o + 0*u - 3*u = 38. Suppose 0 = 4*j - o - 13. Solve -4*k = -2*i - 2*k + 4, 0 = 3*k + j for i.
-3
Suppose -5*x = 4*x - 45. Solve x*z = 2*n + 14, 3*z + 2*z + 5*n = 35 for z.
4
Suppose -2*g + 39 - 107 = 0. Let x be (-5)/15 - g/3. Solve -2*m + x = j, -4*j - 3 = 4*m - 35 for m.
3
Let v(f) = -f - 8. Let t be v(-10). Suppose -4*i = -d + i + t, -2*i = 0. Suppose -10 - d = -3*z. Solve -z*n - 4*y + 4 = 0, 3*n = 3*y - 8*y - 1 for n.
3
Let t = 3 + -1. Let y be ((-10)/(-3))/(t/3). Suppose -y*a - 3 = -23. Solve 0*d + 3*d + 14 = -2*r, a*r - 5*d = -6 for r.
-4
Let r(