 - 11 = f for f.
-5
Suppose -5*z + 15 = -5*k, -3 = -5*z + k + 16. Solve -u - 4*u + 14 = z*v, -5*v + 4*u = 3 for v.
1
Let f be 87/(-12) - 1/(-4). Let g = -5 - f. Suppose -4*t + 2*u + 4 = 0, -g*u + 14 = -2*t + 3*u. Solve 0 = -t*p - 15, -4*p + 0*p - 8 = -4*d for d.
-3
Suppose -5*i + 4*h = -0*h - 20, 0 = 4*i + 2*h + 10. Let c be i/(1/(-2)*2). Solve 8 = -2*o - r - 3, c = -2*o + r - 9 for o.
-5
Let z(u) = u + 4. Let k be z(7). Suppose -4*s - 26 = -2*c, 0 = -2*c - 2*s + 3*s + k. Solve -2 = 5*r + 3*n, -3*n = c*r + 2*n - 2 for r.
-1
Suppose 1 + 4 = 5*u, -3*y = -2*u - 7. Let p = 5 + -3. Suppose 2*f + p*f = 56. Solve 2*n = y*n + l, 2*n = 5*l - f for n.
-2
Let m = 11 - 8. Let j = 5 - m. Solve 1 = -j*n - 3*r + 10, -2*r + 2 = 0 for n.
3
Suppose -2*s + 14 = 3*z, -z + 3*z - 16 = -3*s. Solve z*l + 16 = 5*k - 10, 5*l + 27 = 3*k for k.
4
Let b = -14 - -17. Suppose b*q = -a, 2*a = 4*q + 18 + 2. Solve n + 3*l - 2 = -n, n + a = -5*l for n.
4
Let s(a) = 2 - 2 - a + 1. Let b be s(-2). Suppose b*f = 14 + 10. Solve 5*q + f*i - 5 = 3*i, q = 4*i - 9 for q.
-1
Suppose -14*m = -17*m + 15. Solve m - 19 = o - 3*z, -4*z = -12 for o.
-5
Let r = -5 + 5. Let w be (r + 2)/(2/4). Let g = w - 4. Solve g*t - 12 = -4*t + 4*k, -4*k = -5*t + 17 for t.
5
Suppose 2*w = -0*w + 4. Suppose -w*d - 200 = -6*d. Suppose -4*m = -5*p - 2*m + d, -3*p - 3*m + 9 = 0. Solve j + 7 = u, 2*u + 5*j + 6 + p = 0 for u.
3
Suppose -4*n = 17 - 41. Solve -5*z + 18 = 2*p, z + 6 = n*z - p for z.
2
Let z(w) = 3*w**2 + 3*w + 5. Let a be z(-2). Solve -i + a = 4*p - 2*p, -4*p + i = -19 for p.
5
Let t = -17 + 19. Let j = t + -2. Solve -2*r = 2*p + 2 - j, -r = -p - 3 for p.
-2
Let c(t) = 5*t - 15. Let x be c(4). Solve -3*u + 18 = -0*u - 2*n, -x*n = 15 for u.
4
Let g be (-8)/(-2) + -5 + 3. Solve 0 = 3*i - 3, 0*i = 3*s - g*i - 13 for s.
5
Let x = 38 - 26. Suppose -3*u = 2*a - x, -a + 2 = -u + 1. Solve 5*z = d + 4, a*z + 0*z = 3 for d.
1
Let n(d) = d**2 + 3*d - 1. Let m be n(-4). Suppose m*t = 3*s - 6, t - 2 = -t. Let q be 1 - (-2 + 0/1). Solve 9 = s*r - k, -r + q*k = -k + 8 for r.
4
Suppose -3 = o - 2*o. Suppose -2*k = -o*k + 2. Suppose -44 = -k*p + 14. Solve v = -4*b - 7 - 10, 3*b + p = -4*v for v.
-5
Let p = 11 - 7. Suppose -t + 4*a - 19 = -p*t, 4*t = -5*a + 25. Let h = 10 - t. Solve 3*n = -r - 2*n + 12, 0 = -4*r + h*n - 2 for r.
2
Let z be (-6 - 15)/(-3) - (-2)/(-1). Solve 0 = -5*t - 0*m - z*m - 20, 0 = -3*t + 2*m - 17 for t.
-5
Suppose -3*h + 14 = 5*r, -3*h + 5 = 3*r - 1. Solve 5*i + y = r*y - 8, -5*y = 5*i for i.
-1
Suppose -3*s = 5*x - 32, x - 2*s = -2 - 2. Solve -g + v + x = -2, 14 = 3*g - v for g.
4
Suppose 0*t - 3*t + 15 = 0. Let p = t + -2. Solve 0*z = 3*d + 5*z + 4, 0 = p*d - z + 10 for d.
-3
Let x(k) = 4*k**2 - 4*k + 3. Let b be x(2). Solve 0 = -h - 2*w + b, 0*w + 5 = -h + 2*w for h.
3
Let x be 3 + 2/8*4. Solve 4 = -w - x*a, -5*a = -10*a for w.
-4
Suppose 3*q + v - 2 = 5, 0 = -v - 2. Solve -5*a + 2*y - q*y + 12 = 0, 0 = -4*y - 12 for a.
3
Let h(z) = z - 4. Let y be h(6). Suppose -y*t = 2*t. Solve 0 = -4*w + 5*p - 12, 2*w - 2*p = -t - 6 for w.
-3
Let a = 1 + 0. Let v = 1 - a. Let b = -1 - -3. Solve 26 = 2*r + 4*f, 0 = -b*r - 3*f - v*f + 22 for r.
5
Suppose 0*l - l + 2*h = 5, -4*h = -3*l - 5. Suppose -6*w = -l*w - 10. Solve -3*k - 5*o = -w, 2*k + 6*o - 8 = 2*o for k.
0
Let d(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 - 2*z + 1. Suppose 0 = -2*q - q + 6. Let f be d(q). Solve -b + 0*k - 2*k = f, 0 = b + k + 4 for b.
-4
Let h = -13 + 15. Solve -h*u - 14 = 2*k, 0*k + 3*k = 5*u + 3 for u.
-3
Suppose 4*x - 10 + 2 = 0. Suppose -5*a = 4*y - 29, 3*a - 3 = x*a + 2*y. Suppose 0 = 5*h - 15 - 10. Solve -5*b - 4*t = t + h, -b = a*t + 21 for b.
4
Let d(f) = -f**2 + 6*f + 3. Let t be d(6). Solve 4*x = -2*u - 30, 0 = -t*u - 3*x - x - 35 for u.
-5
Let v(w) = -2*w + 4. Let z be v(3). Let u = 6 - 2. Let f = u + z. Solve -y + t = 3, -f*y - 3*t + 10 = -4*y for y.
1
Suppose t - 3*t = -2, 2*p + 4*t = 44. Suppose -2*o - q - p = -7*o, q = -o - 2. Suppose o*x - 2*x = 0. Solve 4*b + 2*d + 6 = 0, 2*b + 3*d = -x*b + 7 for b.
-4
Let h = -3 - -1. Let b = h + 4. Suppose -30 = -2*u - 4*p, b*p - 2 = 8. Solve -u*g - 3*w - 1 = 5, -2*g - w = 2 for g.
0
Suppose 10*i = 4*i + 12. Solve 0 = -y + 2*c - 1, -i + 7 = -5*y - 5*c for y.
-1
Suppose -5*c + 4 = 9, -k - 5*c - 1 = 0. Solve -2*x + k*w = -20, -x + 4*x - 25 = 5*w for x.
0
Suppose -6*q = -4*k - 2*q + 12, 7 = 3*k - 4*q. Let w be k/(1 - (-1 + 1)). Solve 0 = -5*j - 5*s - 20, 6 + w = -2*j - 3*s for j.
-1
Let n be 5 + (6/1)/2. Let s be 7 + 0 - (-6 + n). Solve -s*q - 3*i = -16, 5*i + 1 = -2*q - 4 for q.
5
Let n = 16 + -13. Solve -2*h = -5*t + 1, 0 = 4*h + n*t - t - 10 for h.
2
Let k = 12 - 0. Suppose -l - 2*o + 16 = 4, 0 = 2*l + o - k. Solve 10 = -3*u - l*d, 4*u + 4*d = -5 - 3 for u.
2
Let g be 5/4 + (-6)/24. Solve 4*y + 4*m + 5 = g, -3*y - 2 = 4*m for y.
-2
Let t(k) = -1 + 2*k - 2*k - 4*k. Let n = 0 - 1. Let r be t(n). Solve 0 = -3*f + 2*f - 4, -r*f = 2*y + 4 for y.
4
Suppose 9 = -o + 2*o. Solve 3*v + o = -5*h - 0*v, h = 5*v - 13 for h.
-3
Suppose 0 = -8*u + 21 + 3. Let y(a) = 7*a - 1. Let k be y(1). Solve k = 5*x + u*h - 0, x + 5*h = 10 for x.
0
Suppose 0 = -3*d + 2 + 1. Let m(r) = 3*r**3 + r**2 - 1. Let k be m(d). Solve 12 = y + k*z - 0*z, -3*z = -2*y - 12 for y.
0
Let a = -14 + 19. Solve -4*j - 12 = -4*u - 0*j, -a*u = -4*j - 14 for u.
2
Let h be ((-8)/24)/(1/(-12)). Solve h*q + 13 = 2*y - 5, -10 = 2*q for y.
-1
Let c(i) = -2*i**3 + 1. Let a be c(-1). Suppose 0 = -f - 4*p - 10 + 24, 5*p = 3*f + 43. Let t be 2/3 + 4/f. Solve -3*o = 2*z - t*o - 9, -a*z = 3*o - 6 for z.
-3
Let l be (-3)/(-12) - 1/4. Let w(u) = u - 2 - 2*u + l*u. Let k be w(-2). Solve k = 5*b - 2*f + 2 + 22, -3*b - 22 = -5*f for b.
-4
Suppose 2*l = -8 - 4. Let d = 0 - l. Let m = 11 - d. Solve m*r + 16 = -3*f, -3*f = 3*r - 4*r - 14 for r.
-5
Let a = 39 - 39. Suppose 0 = 2*n - n - 4. Let m(h) = -3*h**3 - h**2 - 2*h - 1. Let l be m(-1). Solve l*z - p - 11 = -a, -n*z + 13 = -p for z.
2
Let q be (4/(-14))/((-4)/56). Suppose -3*b = -5*f + 56, 0*f + 38 = q*f + b. Solve 3*h = -t - t - f, -3*h + t - 13 = 0 for h.
-4
Let u be (1 - 0)*-2*-46. Let d be 4/(-22) + u/22. Solve -4*b + 2*o + 10 - 2 = 0, 8 = d*b + 4*o for b.
2
Let x = -2 - -2. Suppose x = -p + 3*o - 14, -2*p - 6 = 2*p - 2*o. Suppose -3*l + p = -2. Solve -w + 2 = 4*s + l, -2*w = -2*s - 2 for s.
0
Let z be (-285)/(-55) + (-2)/11. Let v = 10 + -14. Let a be (-76)/(-18) + v/18. Solve 0 = 3*n + z*r + 27, -4*n + 0*r - 28 = a*r for n.
-4
Let s = 3 - -2. Solve -s*j = 5*z, 2*z - 2 + 5 = -5*j for z.
1
Let a(y) = y**2 - 5*y + 4. Let r be a(4). Suppose -f + r = -1. Suppose -3*h = -2 - f. Solve -1 = 3*m + 5, 0 = v + 3*m + h for v.
5
Let i = 4 + -2. Let j be 6*2*i/12. Let x be 32/10 - 2/10. Solve 0 = -k - j*d, -4*k - x = d + 4 for k.
-2
Let z = 6 + -4. Let n(r) = -r**3 + 8*r**2 + 20*r + 2. Let q be n(10). Suppose 0 = -2*w + q + z. Solve w*d = i + 2, -i + 9 = 5*d - 3 for d.
2
Let p be 9/6*4/6. Suppose -5 = -2*o + p. Let i be o*(3 - 2)/1. Solve 0 = -5*x - 5*c + 15, 7*c = 3*x + i*c + 5 for x.
1
Let k = 0 + 10. Solve -3*a = 2*i - 17, k = a + 3*i + 2*i for a.
5
Suppose 0 = 5*l - 196 - 354. Suppose 3*t + 155 = t - m, -3*m - 240 = 3*t. Let a = l + t. Solve 3*c + 25 = -2*x, 2*c + 3*x + a = -2*c for c.
-5
Suppose -5*w + 17 = -k + 2, 5*w - 15 = -2*k. Suppose c - 4 = -k. Solve -9 - 7 = 4*v + 2*o, -c*o = 8 for v.
-3
Let r be (-210)/25 - -8 - (-32)/5. Solve 0 = -u + 3, v + 7*u = 4*u + r for v.
-3
Let n be (-4)/(1*4/(-14)). Suppose 4*a - 2*d = 3*d + 28, -d - n = -5*a. Solve -a*l = 8, -2*h + l + 7 = h for h.
1
Suppose -2 = -3*c + 28. Let x = c + -6. Suppose 0 = 4*p + 2*a - 52, -3*p + 11 = -2*a - 42. Solve 0 = -x*z - 5*h + 5, 4*h = -h - p for z.
5
Suppose 0*t - y = 3*t - 11, -4*y = -t + 8. Solve 3*r - t*u = 3, -6*r + 2*r - 2*u = 18 for r.
-3
Suppose 3*p - 15 = -2*p. Let o = p + -5. Let s(f) = -2*f**3 - 3*f**2 - f - 2. Let l be s(o). Solve -5*r = -a - 6 - l, 0 = 2*a - 4*r + 2 for a.
5
Let g(x) = x**2 - 3*x - 6. Let d be g(5). Solve -4*k = -4*h + d, 21 = 5*h + 3*k - 4*k for h.
5
Suppose -3*u - 73 = -10. Let c be 12/u + (-78)/(-14). Solve -2*y - 1 = c*p - 5, 0 = -p for y.
2
Suppose 4*g - 68 = -8. Solve i = -0*i + 5*f + g, -6 = -i + 2*f for i.
0
Let q = 2 + -3. Let j be (-1 + 0)/(q/8). Solve j = -t - 3*x, -