
-3
Let o(r) = -2*r + 20. Let p be o(8). Solve i + 15 = 3*n + p, n = -5*i - 23 for n.
2
Suppose 25 = 4*l + l. Suppose -5*t + 0*t = -20. Suppose -x + 2 + 1 = -l*b, -b + 33 = t*x. Solve -2*y - x = -2*h, -3*h + 5 = 3*y - 13 for h.
5
Let f = 16 - 10. Suppose 0 = f*v - v + 40. Let i = 12 + v. Solve -t = 4, -5*u + 43 - 7 = -i*t for u.
4
Suppose -5*a + 4 = -26. Let t = -6 + a. Solve 5*z = 5*y - t*z - 10, -5*z = -3*y + 12 for y.
-1
Suppose -4*l + 0 + 80 = 0. Suppose 0*u + l = 4*u. Solve 3 = -3*h + 3*o, -1 = -o - u for h.
-5
Let a(i) = i**3 + 10*i**2 + i + 14. Let s be a(-10). Let h be (-2)/(0 - s/24). Solve 4*o - 7*o - h = 0, 0 = -5*c + 3*o - 8 for c.
-4
Suppose -4*p + 30 = p. Solve 4 = -l - 3*z - 1, 2*z = 4*l + p for l.
-2
Let x(g) = 3*g**3 + 8*g**2 - 2*g - 3. Let y(u) = -u**3 - u**2 + u. Let l(k) = x(k) + 4*y(k). Let p be l(4). Solve 0 = -4*f + 2*c + 20, p*c + 29 - 7 = 3*f for f.
4
Let r = -105 - -110. Solve -12 = 3*p - 2*b + r*b, -3*p - 5*b - 12 = 0 for p.
-4
Let m = 8 + 3. Let l be 50/30 + (-2)/(-6). Solve 2*b - m = -l*z - z, 0 = -z + 1 for b.
4
Let v(t) = -3*t**2 + t**2 + 6*t + 5*t - 9*t + 2*t**3. Let g be v(2). Let y(i) = i. Let f be y(5). Solve -12 = -4*u + u, 2*h - g = -f*u for h.
-4
Let d = -103 + 107. Let w be (-23)/(-5) + (-6)/10. Solve -d*y - 4*v - 32 = -0*v, -4*v = -w*y + 8 for y.
-3
Let l = -82 + 88. Suppose 0 = i - 5, -5 + 0 = 5*f - 3*i. Suppose 3*s - 14 = 2*q - 0*q, -f*s - 2*q = -l. Solve s*z - a = 3*z + 2, -2*a - 16 = 2*z for z.
-3
Let c be (-2)/(2 - (-5)/(-2)). Suppose -5*v = -v - c. Let y(p) = 7*p**2 - 2*p + 1. Let x be y(v). Solve -x*m - 6 = -3*d - 3*m, -3*m - 7 = -4*d for d.
1
Suppose -m = -1 - 1. Solve 2*w - 3*o = 3*w + 1, 2*o = m*w + 10 for w.
-4
Let t(o) = o**3 + 8*o**2 - 2*o - 1. Let r be t(-8). Solve -2*h + 17 = j + h, -r = 5*j - 5*h for j.
2
Suppose 3*g = g + 8. Solve 2*m = 4*p - 6, -g*p - 21 = 5*m + 8 for p.
-1
Let h(t) = -t**3 - 6*t**2 - 3*t - 6. Let g be h(-6). Suppose -3*i = -0*i + q - g, -i + 2*q = -4. Solve 4*r = -4*y + i, -3*r = -y + 2 + 7 for y.
3
Suppose 3 = 2*w - 3. Solve -w*n + 2*a - 3*a - 4 = 0, 2*n = 4*a + 16 for n.
0
Let c = -38 - -40. Let b = -6 - -4. Let h be c*(b + (-9)/(-2)). Solve h*q + 2*i + 3 = 0, -q + 3*q - 4*i = 18 for q.
1
Let b = -3 + 7. Suppose 10 = n + b*n. Solve 0 = 5*m + 4*d - 9, 2 = 3*m + d - n for m.
1
Suppose 5*r = 5 + 5. Suppose 3*i = 3*f - 12 - 3, 1 = f - 5*i. Suppose y + 80 = f*y. Solve r*p + 4*k - 24 = -0*p, p = -3*k + y for p.
4
Let o(n) = -n**2 - 9*n - 9. Let b be o(-7). Suppose 0*y = 4*y - a - 8, -a = -b*y + 10. Solve 3*f = y*d + 17, 3*d - 5*d = 5*f - 7 for f.
3
Suppose -3 = 5*w + 4*l, -6*w + w - 3*l = 6. Suppose 2*b = -5*x - 37, 5*x + 6*b + 33 = 3*b. Let k be 3/x - 46/w. Solve 3*r - 15 = -2*u, -4*r + k = 5*u - r for u.
0
Suppose 5*r - 17 = 4*k, -3*k - 9 - 2 = -2*r. Suppose 8 - 2 = 2*p. Suppose 13 = -4*u + r, 12 = p*z - u. Solve 0 = -4*l - 4*d + 8, d = -l - z*d + 8 for l.
0
Let b be 1/(-4) - (-351)/108. Solve -3*k - l - 4 = 0, 2*k - b*l = -5*l for k.
-2
Suppose 0*m + 5 = -m - n, 2*m + 3*n = -9. Let f be ((-4)/m)/((-3)/(-9)). Solve v - 3*v - 4*a - 6 = 0, 6 = -f*v + 5*a for v.
-3
Let h be (1 - 0) + (2 - -1). Suppose -h*d = -0*d + 8. Let v be 9 - d/(-2*1). Solve 0*f + b - v = f, 0 = 2*f + 5*b - 19 for f.
-3
Let n = -5 - -23. Let c = n - 13. Solve 4*x + 0*x = 2*d + 8, 8 = -2*d + c*x for d.
-4
Let q = 36 - 32. Solve 4*s - 24 = 4*x, -6*x = -q*s - x + 27 for s.
3
Let q(w) = w**3 - 4*w**2 - w - 4. Let f be q(4). Let y = f - -6. Let t be (3/y)/(6/(-20)). Solve t*v = -d + 7, -2*d + 5*d - 5*v = -19 for d.
-3
Let v(i) be the first derivative of 3*i**2 + i + 2. Suppose -5*n + 7*a + 9 = 3*a, -3*a = 3*n. Let q be v(n). Solve 0 = -5*h - 0*h + 15, -4*r - h + q = 0 for r.
1
Let n(h) = 7*h**3 - 2*h**2 + 2*h. Let f be n(1). Solve x + 5 = 2*i - 0*i, 5*x - 2*i = f for x.
3
Suppose 0 = -5*x - 0*x + 10, -5*z + 31 = 3*x. Suppose z - 20 = -5*k. Solve 0*o - 2*h - 23 = -3*o, -4*o + k*h + 32 = 0 for o.
5
Let f(v) = v**2 + 0*v**2 - 2*v + 0*v**2 + 2. Let t = 1 + 1. Let s be f(t). Solve 0 = -4*r - 4*o, 2*r = -7*o + s*o - 3 for r.
1
Let y be (-4)/2*2/(-4). Suppose -4*x - u + 6*u = 17, -2*x = -u + y. Let a be 8*(0 - x/(-4)). Solve 0 = 4*f - n + 1 + 12, -22 = a*f + 2*n for f.
-4
Suppose o - 3*o = -5*c + 17, o = c - 1. Solve -v = -3*r - c*v + 31, 3*r - 27 = -3*v for r.
5
Suppose 0 = -j + 2*j + 5. Let x = 7 + j. Solve 2*p - 6 = 4*s, -2*p + x*s = 3*p + 17 for p.
-5
Let h = 33 - 29. Solve p - 24 = -h*v, -6*p + 2*v + 10 = -p for p.
4
Suppose 5*w = -5*z + 30, -1 + 3 = z. Solve w = -4*h - 2*a, h - 3*a - 16 = -3*h for h.
1
Let p = 0 + 17. Let f = p + -13. Solve -4*n - 1 = -2*n + g, -f*n = 4*g for n.
-1
Let x(k) = k**2 - 1. Let c be x(1). Suppose c = s - 2. Solve y - s*y = g - 9, -g - 4*y = -21 for g.
5
Let q = 15 - 11. Let s(a) = a + 2. Let u be s(q). Solve 0 = -4*o - 5*z - u, -z - z - 8 = 3*o for o.
-4
Let d(i) = -i**3 - 8*i**2 + 8*i - 5. Let r be d(-9). Suppose 5*m = -3*y + 40, 8*m - r*m - 25 = -y. Solve 3*k = -y*c - 37, 7*k - 2*k + 35 = -3*c for c.
-5
Let l be 1/(-4) + 185/20. Solve -b + 7 = -2*a, 0*b = 3*b + l for a.
-5
Let h = 9 - 4. Let f(x) = -x**3 - 2*x**2 + 2*x - 3. Let s be f(-3). Let g be 6/((3 - 1) + s). Solve h*k - 15 = 0, g*a - 12 = -0*a - k for a.
3
Let z = -5 + 7. Let r be (-1)/(z + 100/(-48)). Solve -1 + 9 = 4*h, 4*h + r = 4*o for o.
5
Let l be (6/(-6))/(3/(-6)). Solve -3*k - z + 9 = l, 0 = k - 4*z + 15 for k.
1
Suppose -6*s = -2*s - 8. Solve -2 - s = -n + 2*l, 6 = 5*n + 4*l for n.
2
Let u be (-4)/6 + 82/6. Suppose -18 = -4*c + 6. Suppose 2*y = c + 4. Solve y*d - 14 = -g, -3*d = 3*g - 5 - u for d.
2
Suppose -90 = -3*n + 3*p - 8*p, 78 = 3*n + p. Solve f - 3*x - 4 = -0*x, -2*f - 5*x - n = 0 for f.
-5
Let q be (3 + -2 - 1)/1. Let s = 3 + q. Solve 2*n = -f - s, -2*n + n = f - 1 for n.
-4
Suppose 0 = 7*o - 14*o. Solve 6*k + 45 = 2*k + 5*z, o = k - 2*z + 15 for k.
-5
Let g = -6 - -6. Suppose g*d - 2 = -d. Solve -5*r + 3*w + d = 0, 4 = 2*r + 3*r - w for r.
1
Suppose -5*k = -2 - 18. Suppose 0 = 4*p + 13 + 3. Let l be (-2)/p + 11/2. Solve 5*s = 5*t, 3*s + k*t + l = 5*t for s.
-3
Let z(q) = q**2 + 4*q - 1. Let w be z(-5). Solve 3*i = 3*u + i - 8, w*i = -2*u + 16 for u.
4
Let d(a) = -2*a - 1. Let q be d(-3). Solve 9 = r + q*t, -3*r + r - 4*t = -12 for r.
4
Let k be 2*(-2)/(-8)*2. Let a be 2/(k/((-3)/(-2))). Let g be (a/(-2))/(9/(-12)). Solve -26 = -5*h + s + 2*s, g*h - 10 = s for h.
4
Suppose -5*b = 2*x - 28, 0*b - 5*x + 28 = 2*b. Solve -2*p = 10, b*n = 4*p - 6 + 38 for n.
3
Let b(j) = -3*j + 4. Let l be b(3). Let h be (-8)/20 - 22/l. Solve 5*g - 9 + h = 2*t, -g - 5*t + 28 = 0 for g.
3
Let w = -5 - -2. Let f = w - -7. Let i = -4 - -6. Solve 4*k = 5*o + f, 3*k - 4*o = 2 + i for k.
-4
Let f(l) = 5*l**2 + 3*l - 2. Let s(i) = i**3 + 4*i**2 + 2. Let n be s(-4). Let b be f(n). Solve 4*r + b = 2*q, 4 = -2*q + 12 for r.
-4
Suppose 0*f - 24 = 4*f. Let g be (2/f)/(1/(-93)). Let r(z) = 5*z - 2. Let c be r(1). Solve -g = 5*v - c*o, o + 4 = 3*o for v.
-5
Let h be (1 - 1)/(3 - 5). Let x = -110 - -121. Solve -4*t + h = 3*d + 5, -3*d = -4*t - x for d.
1
Suppose -77 = -4*f + j, -f - 3*j + 32 = j. Suppose -5*v + 0 = -f. Let r = 7 - v. Solve d + 4*k = 15, -2*d + 25 = -4*d + r*k for d.
-5
Suppose 0*p + 2*y = -3*p, 4*p - 5*y = 23. Suppose -3*r - s - 2*s + 12 = 0, 0 = -5*r + p*s + 13. Solve 5*b + r*k = 6*k - 5, -b + 4*k + 16 = 0 for b.
-4
Let x(r) = -r**3 + 2*r**2 + 6*r - 9. Let h be x(2). Solve -3*i - 3 = 4*q, 5*q = -5*i + h*q + 9 for i.
3
Let x = 36 + -29. Suppose -20 = 5*a, t = 4*a - 0*a + 21. Suppose -3*m + 4*m - t = 0. Solve 4*v - c = 3, 3*c + x - m = 5*v for v.
1
Let d(q) = -3*q - 3. Let n be d(-4). Suppose 0 = -3*i + n - 0. Let f = -3 + i. Solve -5*z = b - 6, -3*z + 1 = -2*b - f for b.
1
Suppose q - 20 = 2*r, -4*q + 2*r = -0*r - 50. Let m = 4 - 2. Solve 4*o = m*j + q, -3*o + j = -5*o + 7 for o.
3
Let n(q) = 2*q - 7. Let t be n(8). Solve 5*d - 15 = 0, l - d + t = 2 for l.
-4
Suppose -2*f = -f - 6. Let i(a) = 2*a. Let t be i(2). Solve -t*o + z - 2*z = 3, 2*z = -f for o.
0
Suppose 0 = -3*j - 5*u + 11, -16 = 2*j - 4*j + u. Solve 5*s - 2*a + j = 0, -4*s = s + a + 4 for s.
-1
Let r be (-4)/(-3 + 3 + 1). Let v be (3 + (r - 0))*-2. Solve 4*z + g + 5 = 0, 2*g + 5 = v*z + g for z.
0
Let d = -32 + 34. Suppose b = 4*b - 6. Solve 22 = -d*s - 5*f