5
Let a = 12 + -6. Let d = a - 4. Suppose 25 = 7*u - 2*u. Solve -6 = o - h, -u*h + 1 = -d*o - 26 for o.
-1
Let p be (-9)/(-36) - (-14)/8. Solve 0 = -2*h - 0 - 2, -p*h - 3 = b for b.
-1
Let u = 1 + 24. Suppose -6*q + 3*q + 6 = 0. Suppose -4*g + q*y + 2 = 0, 11 = 3*g + 5*y - 10. Solve 2*d + 4*c + 16 = 0, 3*d = -g*d + 3*c + u for d.
2
Suppose 0*f + 5*f - 15 = 0. Suppose -7 + f = -2*s. Suppose -s*n - n = -27. Solve 2*x + 7*t + 9 = 2*t, -2*t - n = -x for x.
3
Suppose -2*q = -8 + 2. Solve y + 2*y - 12 = q*v, 20 = -5*v - 3*y for v.
-4
Let j(o) = -o**3 - 2*o**2 + o - 2. Let c be j(-3). Let b be 4/(-6)*(-27)/6. Solve b*s + 3 = 0, -h - 4 = c*h + 4*s for h.
0
Let t = 13 + 22. Suppose 0 = 5*f + y - t, 2*f + 2*y = -0*y + 22. Suppose -5*m - 3*r = -2*m - f, 0 = r. Solve d + 4*i - 15 = 0, 2*i = m*d - 2*i + 18 for d.
-1
Let l be ((-1)/2)/((5/(-6))/5). Solve m + 4 = 2*u, -4*u + 6*m + 10 = l*m for u.
1
Let v be (-12)/21*(-21)/6. Suppose v*x + 0*x = 90. Solve 4*o = 5*r + x, 4*r - 2*o = 2*o - 40 for r.
-5
Suppose 11 - 17 = -2*o. Solve 5*p + 8*j = o*j - 5, 2*j = -5*p - 2 for p.
0
Let r = 13 + -11. Suppose r*z = j + 40, 80 + 20 = 5*z + 2*j. Solve -5*q = 2*t - z, 4 = 3*q - 2*q + t for q.
4
Suppose 3*g - 5*p = 6, 0 = -4*g - 3*p - 5 - 16. Let n be (-5 - -2 - g)*1. Solve b - 9 = -c - 2*b, n = 3*c + 3*b - 9 for c.
0
Suppose 13*i = 8*i. Solve -j - 4*s - 17 = i, 4*s = j - 5 - 2 for j.
-5
Let d = -7 + 9. Solve 2*f = -l + 7*f - 28, -d*f = 4*l + 2 for l.
-3
Suppose 5*c + 4*b - 23 = 4*c, -4*b + 26 = 2*c. Solve c*k - g - 6 = 2*g, 3 = 4*k + g for k.
1
Let i = 1 - -1. Let g be (3 + (-22)/10)*-60. Let y be (-136)/g - (-2)/12. Solve -4*n + 0 + 4 = y*q, 2*n = -i*q for q.
-4
Let j = 139 + -137. Solve 3*l - l - o + 5 = 0, -j*l - 7 = o for l.
-3
Let x be -3 - (-4 - 2) - 5. Let v = 6 + x. Solve -5*g = -3*c - 31 + 6, -v*c - 5*g = -25 for c.
0
Let o be 1/(-4) - (-3)/12. Let d = 4 + 11. Let b be (0 + 1)/(3/9). Solve -b*f - d = o, 14 = -3*v + 4*v - 3*f for v.
-1
Let i = -23 + 23. Solve i = 4*k + 8, v + 5 = -3*k - 0 for v.
1
Let t(c) = 4*c**3 + c - 2. Let b be t(1). Solve 4*m + 5*p = 5, 0 = -2*m - 2*m + b*p - 35 for m.
-5
Let a = 31 - 27. Solve -z + 1 = a*m - 0, 2*z + 2*m = 2 for z.
1
Suppose p - 2 + 0 = 0. Let m = -2 + p. Let y be (-34)/(-14) + (-30)/70. Solve y*f - u + 7 = m, 5*u = -5*f + 4*u - 28 for f.
-5
Let u be (5/4)/(1/4). Suppose -x = 2 + 2, 2*z + 2*x = 32. Suppose 5*q = n - 5*n + 31, 0 = -4*q - 2*n + z. Solve u*f + q = y + 20, 5*y - 19 = -f for f.
4
Let l(p) = -p**2 + p. Let z be l(-2). Let s be ((-4)/6)/(1/z). Solve -2*o - 7 = s*m + 7, -4*m - 4 = 0 for o.
-5
Suppose 0 = -6*h + h + 10. Suppose 4*b - 24 = 5*u + 7, -h*b + 5*u = -23. Solve -b*w + 3*y - 24 = 5*y, 4*w - y = -18 for w.
-5
Suppose 5*g = 3*i + 9, 0 = -2*i - 5*g - 6 + 25. Solve 0 = 4*q + i*w + 18, 0 = -q - q + 5*w + 21 for q.
-2
Suppose -8 + 2 = 3*d. Let r be 2/(-2) - (d + -1). Solve 5*n + 23 = 2*p, r*n - 4*p - 2 = -8 for n.
-5
Suppose i + 18 = -0*i. Let r be i/(-4) + 9/(-6). Solve h = -r*w - 5, 4*w - 2 = 2*h - 12 for w.
-2
Let s be (-8)/(-12)*27/2. Solve -5*c + 20 = b, -3*b + s = -3*c + c for c.
3
Suppose 5*k + 0*k = 0. Let z(d) = -d - 3. Suppose -4*r - 12 = 12. Let v be z(r). Solve -t + 25 = 4*h, -t + v*h + 1 - 11 = k for t.
5
Let i = 26 + -20. Suppose 0 = -3*r - 0 + 6. Suppose -q - r*q = -i. Solve -3*l + 3 = 0, -3 = -2*y + 3*l - q for y.
2
Suppose -k = -0*k - 2. Solve -4*a + 2*n = n - 15, 0 = -k*n + 10 for a.
5
Let t(n) = n**3 + 12*n**2 - 13*n - 6. Let o be t(-13). Let x = 13 + o. Solve 3*j - 6 = -j + 2*g, 4*j - 3*g = x for j.
1
Let k(h) = h**2 + 2*h + 4. Let u be k(-2). Suppose 3*f - 20 - u = 0. Solve -4*d + 3*s - 5*s + f = 0, 5*d + s = 13 for d.
3
Suppose -5*z + 3*b = -9, -b - 4 + 1 = -4*z. Solve -x - 2*x - 2*n - 11 = z, -4*x - n - 8 = 0 for x.
-1
Suppose 0 = x + x - 4*l - 12, x - l = 4. Solve -4*h + 4*b = -16, -x*h = -4*b + b - 7 for h.
5
Suppose -z + 0*z = -5, -z - 3 = -4*i. Suppose -i*u + 2 = -u. Solve 5*x - 16 = -o, -x - 4*o - 4 = u*x for x.
4
Let r = -20 + 18. Let i be ((-6)/(-15))/(r/(-20)). Solve 2*f + 5*y = -20, -5*y - 16 - i = -5*f for f.
0
Let g be (-4)/(-18) - 129/(-27). Let t = -5 + g. Suppose -5*q + t*q + 25 = 0. Solve 0 = q*b + 25, -16 = -0*h + 2*h + 4*b for h.
2
Suppose -4*t - 2*s + 22 = 0, -4*t + 3*t - 3*s - 7 = 0. Let y = -5 + t. Solve 3*p = -k + y, 1 = 3*k + 4*p + 2 for k.
-3
Suppose -4*z + 13 = -s, -3*z + 6 = -3. Let w = s - 3. Let o = w + 9. Solve 3*n + o*k = 17, -3*k = 2*n - 3 - 7 for n.
-1
Suppose 24*w - 28*w + 16 = 0. Solve -5*u = -w*b - 14 + 2, 0 = u + b + 3 for u.
0
Let p = 7 - 5. Let u be 1*(3 - p)*3. Let l be 1 + 6/(4/2). Solve f + l*q - 4 = 5*f, -3*q = f - u for f.
0
Let i be 8/3 - (-4)/12. Suppose i*m - 3 = -0. Let f be m/5 - (-9)/5. Solve -5*c - f = -3*a - 0, c = -5*a - 6 for c.
-1
Let y(s) = -s**3 - 5*s**2 + 6*s + 2. Let z be y(-6). Solve z*c = -2*m - 6, 0 = 4*m - m - 2*c - 11 for m.
1
Suppose -v + 3*s = -4*v + 9, 0 = 5*v + 3*s - 15. Suppose g = v*g - 4. Solve 3*o = 2*n - 14, 6*o - 3*o + g*n = 2 for o.
-2
Let c = 59 - 21. Let f be 1/4 - c/(-8). Let l = f + -2. Solve -l*v + u = 17 - 4, 3*u + 13 = -4*v for v.
-4
Suppose -2*c = 3*r - 25, -2*r = r - 15. Let f = c + -1. Let p = 122 + -119. Solve x + 16 = p*y, f*x = 2*y + x - 13 for y.
5
Let z = 9 + -6. Let u(j) be the first derivative of 2*j**3/3 - 2*j**2 - j - 1. Let y be u(z). Solve 5*n - 25 = -4*g, -2*n + 29 - 2 = y*g for n.
1
Let z(r) = -r**3 - 5*r**2 + 2. Let d be z(-5). Suppose -n + 3 + d = 0. Solve -k - 3*v = -2*v - 6, -n*v = -20 for k.
2
Suppose 11 = 5*b - 3*n - n, 2*n - 2 = 0. Solve 4*i = 3*m + b*i, -2*m = -4*i for m.
0
Suppose -3*a - 5*u = -15, 2*a - 5*u = -3 + 13. Solve a*z + 4*p = -26, 8 = -2*z - 0*p - p for z.
-2
Let v be (3 + 0)/(6/8). Solve v*w - 4*r - 11 = -7*r, w = -2*r + 4 for w.
2
Let n(h) = 3*h**2 + 2*h - 4. Let l be n(-3). Let q = l + -9. Solve -t + 5*c - q = -25, 5 = -5*t - 5*c for t.
2
Let p(v) = 2*v + 3 + v - 1. Suppose q - 2 = 4*n, q + 4*n - 2 = n. Let z be p(q). Solve -4*h = 2*x - 6 - z, 0 = 2*h - 5*x - 1 for h.
3
Let v(f) = f + 2*f**2 - f**2 + 0*f**2 + 1. Let p be v(0). Solve -4*o = k + 22, o - 3*k = -p + 2 for o.
-5
Let y(r) = 3*r - 55. Let q be y(20). Suppose 0 = 5*u + 3 - 78. Let b be (-6)/u + 104/10. Solve -4*d - h = -d + 13, q*h = b for d.
-5
Suppose 0 = 3*w - 7 - 8. Suppose w*t = -0*t + 10. Let u be 20 + 1/t*-2. Solve -2*i - 2*g + u = 3*i, 4*i = 4*g + 4 for i.
3
Let u be 6/12 + (-74)/(-4). Suppose -4*l + u + 81 = 0. Suppose 20 = 5*i - l. Solve 0 = 5*o - b - b - 19, 0 = 3*b - i for o.
5
Let p be (8/6)/((-1)/(-3)). Let r = 3 - 1. Let m be -2 + r + 15*1. Solve -4*w - 5*u + 13 = -4, -p*w + m = 3*u for w.
3
Let h(j) = 3*j**2 + 4*j - 6. Let p be h(2). Solve 3*u = 5*t - p + 3, 3 = -3*t - 3*u for t.
1
Let h be (2/(-4))/(3/12). Suppose 2*z + 2*n = 2, 0 = z + 2*n + n + 7. Let j = z + h. Solve -2*k + j*t - t + 4 = 0, 0 = 3*t + 15 for k.
-3
Suppose 0 = -j + 4*s - 6, -4*j + 16 = 2*s + 4. Suppose -5*q + 0*f + 80 = 5*f, -2*f = -j*q + 44. Solve -h - 5*v = -0*h + q, 0 = 3*h - 5*v - 23 for h.
1
Let f = 0 + 5. Let k = 26 + -18. Solve -f*n + w + 22 = -k, w = -n for n.
5
Let p(c) = c**2 + 3*c + 3. Let x be p(-3). Solve -3*a - 16 = -0*j + j, -x*j = 5*a + 28 for a.
-5
Suppose -4*f + 17 = -19. Let i = 16 + f. Let r = 12 + i. Solve 6*k + r = -4*n + k, 5*k + 40 = -5*n for n.
-3
Let c(l) = -l**3 + 4*l**2 + 5*l + 2. Let h be c(5). Let t = h + 0. Let y(v) = -v - 5. Let o be y(-7). Solve -2*i + n = -o, 0 = -4*i + 7*i - t*n - 5 for i.
-1
Let m be 4/6*(-9)/(-6). Suppose 0 = 2*w - 1 - 3. Suppose w*o + 20 - 76 = 0. Solve -v - m = 2, 5*b - o = v for b.
5
Let i = 4 + -4. Solve c + 5*d - 26 = i, c = d + 3*d - 19 for c.
1
Let f be 2*((-1)/(-2) + 1). Suppose 4*k + 3*p = -p - 4, -k = -f*p - 19. Solve j + k = -j + n, 8 = 2*n for j.
0
Let c = 8 - 11. Let k = c + 4. Suppose k = i - 3. Solve -z - 22 + 1 = -i*p, 3*p - 4*z = 19 for p.
5
Suppose 5*c - 3*c = 3*c. Solve -2*k = -4*x - 16, c*x + x + 2*k = -4 for x.
-4
Let a = 4 + -4. Suppose -2*k - 4 = 0, a = s + 3*k - 10 - 1. Suppose -l + s + 4 = 0. Solve -o - 5*b = -l, 2*o - 22 = 4*b - 9*b for o.
1
Suppose b - 5*b + 20 = 0. Suppose -3*v + 20 = v. Suppose -25 = -v*a - 0*a. Solve 2*m - 7*m = 3*r + 8, -b*r - a*m = 10 for r.
-1
Suppose 0 = 2*z - z + 8. Let r(l) = -l**3 - 7*l**2 + 8*l + 9. Let k be r(z). Let 