Suppose x*t + t - o = 0. Solve 0 = -5*u - t*k + 8, -4*u - 2 = 5*k - 3 for u.
4
Let n be (-9)/12 + 395/4. Let h = -70 + n. Solve 5*z - 2*x = -h, 2*z + z - 2*x + 20 = 0 for z.
-4
Let v be (-3 + 34/6)*(-6)/(-8). Solve -5*x = -v*s - 2*s - 24, s = -1 for x.
4
Suppose -2 = 2*a, 3*v - 23 - 12 = -4*a. Suppose 5*s = 4*w - 61, -s + v = -4*w + 70. Solve 0 = 5*k + 2*j - 26, k + 5*j - w = 5 for k.
4
Let y(u) = u**3 + 2*u**2 - 18*u - 12. Let v be y(-5). Solve -4*f - 2*m + 2 = 0, 2*f - 6*f - 3 = v*m for f.
3
Let t be (-80)/15*(-6)/4. Suppose -3*d + t = 2. Suppose 4*h + 10 = -d*r, 6*h + 17 = -r + h. Solve 4*i - 2*x - 6 = 0, -2 = i + r*x - 0*x for i.
1
Suppose 3*o = -4*p - 3, -5*o + 4*p - 5 = -0. Let u be o/3 - 74/(-6). Solve -4*z - u = -2*t, 0 = 3*z - 0*t - t + 9 for z.
-3
Let p(o) = o + 1. Suppose -5*d + 17 = 2*t - 5, t + 11 = 3*d. Let i be p(t). Suppose 14 + 2 = 4*j. Solve 2*k = -z + i, z = -4*k + 5*z + j for k.
1
Let s be (-1)/(-3 - -2) + 5. Suppose 3 + s = 3*b. Suppose h - 5 = b*p, -2*h + 5*p + 13 = 4. Solve h*j - 9 = -j + m, 0 = 4*j - 3*m - 12 for j.
3
Suppose -d + 12 + 7 = 0. Suppose -2*m + 8 = p, -3*p + 5*p = -5*m + d. Solve 21 = -3*n + m*b, 0*b = -4*n + b - 19 for n.
-4
Let x = -6 + 9. Suppose -x*f - 2 = -8. Solve 17 = -5*b + 3*p, 4*b - f*p = -3*p for b.
-1
Let j(h) = -h + 5. Let s be j(-5). Let q be 16/s - 2/(-5). Let x(i) = i**3 + 7*i**2 + 1. Let u be x(-7). Solve 2*k = -3*l + u, 5*k = q*l - l - 23 for l.
3
Let g(h) = -h - 11. Let c be g(-8). Let r = c + 7. Suppose k - 20 = -r*k. Solve -3*d + 3*t - 9 = 0, 8*t - 3*t = k*d + 12 for d.
-3
Suppose 0 = 25*a - 28*a. Solve -5*m + 1 + 11 = l, a = -4*l - 4*m + 16 for l.
2
Let n(d) = 1. Let z(g) = -g - 3. Let w(j) = 4*n(j) + z(j). Let c be w(-4). Solve -s - c*q = -6*s - 30, 2*q + 9 = -5*s for s.
-3
Let s(x) = -3*x - 1. Let l be s(-2). Suppose 0 = 2*t + 32 - 52. Solve -2*w + t = 3*w - 3*u, -l*w - u = -10 for w.
2
Let b = -32 - -18. Suppose 4*a = 5*f + 34, -2*f + f - 4*a = 26. Let t = f - b. Solve 0 = z + t*o + 23, -z = -0*z + o + 8 for z.
-3
Let q be (-3)/(1/(1/(3/(-2)))). Solve 2*a - 5*a + 2 = 2*l, -q*l = -a - 10 for a.
-2
Let u = -1 - -2. Suppose 13 = 2*b - u. Suppose -2*c = -4*d - 12, 16 = 3*c + 3*d - b*d. Solve -9 = -5*g + x, c*x = -0*x + 4 for g.
2
Let s(r) = r**2 - 2. Suppose -2 = 6*j - 5*j. Let a be s(j). Let i = 0 - -2. Solve -3*q - 16 = a*n, -2*n + 7*n = 3*q + i for q.
-4
Suppose 0 = -2*b + 3*h - 1, 5*b + 12 + 7 = 2*h. Let f be (-1)/(5/20) + -5. Let v = b - f. Solve v = 3*i - u, 10 = 4*i + 2*u - u for i.
2
Let t(s) = -7*s + 5. Let l be t(0). Solve 0 = -4*g - 5*b + 17, 0*g + l*b - 27 = g for g.
-2
Let s be 4/(-6) + (-28)/3. Let d(t) = 2*t + 22. Let b be d(s). Solve 0 = -4*o + 6*f - f - 16, -b*o - 2*f = -10 for o.
1
Let j = -16 - -22. Let w = j - 2. Solve 4*i - 3 = -m, i = -5*m - 0*i - w for m.
-1
Let r be 1/(-3) + (-32)/(-6). Suppose 0 = 5*p - 20, 0 = -2*s + 6*s - r*p + 12. Suppose s*t - 7*t = -15. Solve 5*z = 5*h - 40, 0 = -2*z - t*h + 3 - 4 for z.
-5
Suppose 0 = g + 4*g - 15. Let r = -2 + 4. Solve 5*z - z = -q - 10, -g*z = -r*q + 13 for z.
-3
Let l = 16 + -11. Let p = l - -1. Let v = -1 + 1. Solve p*o - 2*o + 4*x = -4, v = o - x + 9 for o.
-5
Let r be (-1)/(-3) - (-5)/3. Suppose -v + 10 + 13 = 0. Solve -5*x + 2 + v = -r*k, 5*k + 40 = 5*x for x.
3
Let g be 8/10 - 12/150*10. Solve -2*a = m + 2*m - 6, a + m - 1 = g for a.
-3
Suppose -2*d = 2*a + 36, 0 = -4*d + 6*a - 2*a - 32. Let x = d + 19. Solve -4*u + n + 0*n + 18 = 0, -3*u = 3*n - x for u.
4
Let t be (-1 - 6/9)*-3. Let s(r) = -5 + r**3 + 2 - 3*r**2 + r - t*r**2. Let w be s(8). Solve -3*k = -w*c + 13, -5*c + 2*k + 21 = k for c.
5
Let k be (-25)/2*(-48)/(-60). Let p be 1*10*(1 + 0). Let h be (k/4)/((-1)/p). Solve -5*r = -25, 2*f + r = 6*f + h for f.
-5
Suppose -50*j + 3 = -49*j. Solve -g + 2*y - 15 = 0, j*g + y + 8 = -2 for g.
-5
Let c be 3 - (3 - 1 - 1). Suppose u - 6*u + 37 = 4*a, c*u - 59 = -5*a. Suppose 3*g + 15 = 3*q, -q + a = q - 5*g. Solve m - 1 = -f, -5*m + q*f = 31 - 9 for m.
-2
Let v = 29 + -2. Let i = v + -19. Suppose -4*l = -3*l - 4. Solve l*w = -5*f - 27, 0 = 5*f + w + i + 10 for f.
-3
Let z be (-15)/(-5) - (0 - 0). Suppose -5 = z*o - 14. Let l = 7 - o. Solve 0 = -5*a - 0*k - l*k + 19, 0 = 2*a - 3*k - 3 for a.
3
Let v(z) = -z + 7. Let p be 8 - 9/(4 - 1). Let h be v(p). Solve h*q = n + 10 - 2, -31 = -5*q - 3*n for q.
5
Suppose 2*z + z - 15 = 0. Solve -2*s - 11 = z*k, 0 = 2*k + 2*k + 4*s + 4 for k.
-3
Let c(m) = -3 - m + 3 - 6. Suppose -17*t + 18*t = -8. Let k be c(t). Solve 3*f + k*u - 13 = -0*u, -f - 2*u = -3 for f.
5
Let b(m) be the first derivative of -m**2/2 + 9*m + 2. Let i be b(5). Solve -2*y = 2*s, 2 + 2 = i*y + 5*s for y.
-4
Let o(p) = p**3 + 16*p**2 + 16*p + 17. Let n be o(-15). Solve -5*b + n*k + 35 = 0, k = b + 2*k for b.
5
Let z(m) = m**2 - 11*m + 12. Let b be z(10). Solve b*h - 6 + 15 = -3*f, 6 = 2*h for f.
-5
Let l(c) = -c**2 - 5*c + 3. Suppose 4*v + 20 = 4. Let s be l(v). Suppose 0*m = -6*m. Solve 2*z + 5*u - s = m, 23 = -0*z - 2*z + 5*u for z.
-4
Suppose 5*f - 9 = 6. Solve 0*w - 12 = -4*w + 4*s, -5*w + 15 = f*s for w.
3
Let x be (-10)/75 - 17/(-15). Solve h = 4*l - x, h + 2*h + 10 = 5*l for l.
-1
Let c = -4 + 7. Solve -4*n = p - 5, p + c*p + 2 = -5*n for n.
2
Let r(z) be the first derivative of -z**2/2 + 4*z + 5. Let p be r(4). Solve -w - 4 = p, -5*x + 2*w + 0*w = -13 for x.
1
Suppose 0 = 5*h + 7 + 43. Let g = 15 + h. Let a(z) = 2*z**2 - 6*z - 4. Let p be a(g). Solve 4*i + v + v = -8, 4*i - 2*v = -p for i.
-3
Let a(z) = z**2 - 3*z + 4. Let h be a(4). Let c = h + 0. Let g be 1 - ((1 - 0) + 0). Solve -20 = 4*p + q, -4*p + g*q = -2*q + c for p.
-4
Let t(s) = s**3 + 5*s**2 + 2*s - 5. Let z(u) = u**3 + 6*u**2 + 5*u - 4. Let f be z(-5). Let n be t(f). Solve 0 = -l + 3*q + n, q + 3 = -5*l - 2*q for l.
0
Let u = 11 - 6. Solve -2*k - 2*k - 4*h + 16 = 0, -k - u = -2*h for k.
1
Let s be 30/135 + 4/(-18). Solve -2*o - r + 2*r = 1, -o - 3*r - 11 = s for o.
-2
Suppose 4 + 0 = 4*s. Suppose -s - 2 = -n. Solve -n*w - 4*h = -8*w - 14, -w - 4*h = -2 for w.
-2
Let b = -86 + 90. Solve -4*l + 22 = -5*v, b = l + 3*l + 4*v for l.
3
Suppose -4*q - 4 + 24 = 4*t, 3*q = t - 1. Solve -15 = 5*h, 3*g + 3 = -t*h + 8*h for g.
-5
Let t = 48 + -28. Suppose -u = u + t. Let r be 8/u*45/(-18). Solve -2*x - 10 = 2*i, r*i - 8 = 5*x + 3 for x.
-3
Suppose -m - 2*m = 0. Let r be 142/8 + (-1)/(-4). Suppose 15 = 3*n + 3*g, 2*n + g - 5*g - 4 = 0. Solve m = -3*u + c + 8, -n*u - 5*c - 1 + r = 0 for u.
3
Let b be (6/8)/(3/12). Suppose -10 = -3*g + 23. Suppose g = 3*f - 4. Solve b*i = -f*t - 1, -5 = i - 6*t + 3*t for i.
-2
Let v = -10 - -14. Suppose 0 = 3*b - 6 - 3. Suppose 5*a = -3*m + v*m - 3, 2*m = -b*a + 6. Solve 0 = -5*n + 4*w, 0*w = 4*n - m*w for n.
0
Suppose -51*q + 6 = -48*q. Suppose 9 + 1 = 2*i. Solve -b - 1 = -q*g - 5, g + 2 = -i*b for b.
0
Suppose 0*v = 4*v - 20. Suppose 3*q - v*t - 20 = 0, -2*t + 11 = 3*q - 2. Let k be (1 + 0)/(2/4). Solve 5*d = -5*a + 5, -k*d - d + 35 = -q*a for d.
5
Let w = -6 - -6. Solve -8 = 2*g, -g = 3*d - 8 - w for d.
4
Let z = -8 + 6. Let h be (-1)/1*(-6 - z). Let m = h + -2. Solve -m*v - 14 - 4 = 4*j, -5*v - 9 = j for j.
-4
Let x = 3 + 1. Solve 5*t + 10 = -k, -40 = -x*k - k + 5*t for k.
5
Let c = -18 - -20. Suppose -8 = 2*r - 6*r. Suppose -2*p + r + 2 = 0. Solve p*b + 10 = -4*u, -3 = c*u + b - 2*b for u.
-2
Suppose -5*u = 3 - 18. Let x = 3 + u. Suppose 10 = -z + x*z. Solve 6 = -z*g + 2*r + 2*r, 2*g - 2*r = -2 for g.
1
Let c be -3 + 1 - (-4 - -2). Let x = 18 - 12. Suppose c = x*h - h - 45. Solve -3*b = -i - 16, 5*b - h = -5*i + 11 for b.
5
Let o = 11 + -22. Let b(k) = 5*k - 6. Let h(f) = -f + 1. Let d(v) = o*h(v) - 2*b(v). Let a be d(0). Solve 0 = -5*i - 3*r + 35, 0 = i - r + 2 - a for i.
4
Let v(a) = -a**2 + 6*a - 5. Let x be v(5). Suppose -p = -x*p. Solve 5*m + 0*y - 3*y - 37 = p, 4*m + 2*y = 12 for m.
5
Let k(s) = -s - 6. Let m be k(-9). Let d be ((-2)/(-5))/(2/(-10)). Let p be d*-2*1/2. Solve p*l = 4*f - 30, m*l = -2*l - 5*f for l.
-5
Suppose 0 = -x + 4*s + 21, 0 = -2*x + 4*s + 10 + 12. Suppose 2*p - 4*p + 200 = 0. Suppose 0 = -0*l - 5*l + p. Solve -4*j + 7*j + x = -2*d, -5*j + l = -d for d.
-5
Suppose 3*z - 4*d = -20, d - 10 = -3*z - d. Solve 3*i + 4*k - 17 = z, 6*i - 2*k = 2*i - 14 for i.
-1
Let j = -14 - -15. Let u be 2 - j -