 5*n = -3*r + 21 for n.
-5
Suppose -j + 6 = -2*j. Let i(y) = y**3 + 7*y**2 + 5*y - 1. Let m be i(j). Solve -2*u = m*c - c - 22, 0 = u - 2*c + 5 for u.
3
Let m = -86 + 95. Solve 9*h + 13 = -3*r + 4*h, -5*h - m = -r for r.
-1
Let r = -2 - -7. Solve -4*o + 2*t = 4, -5*o - r*t = -o - 10 for o.
0
Let i = 7 + 0. Let x = 11 - i. Solve 13 = j - x*o, -o - 4 = o for j.
5
Let a be 224/(-6) + 2/6. Let b = -25 - a. Solve 0*h + 2*h - g + 4 = 0, 2*h = 5*g - b for h.
-1
Suppose -5*q - 2*f + 22 = 0, 4*f - 4 = -0*f. Suppose -5 = -k, -4*k + 3*k + 1 = -2*l. Suppose -4*c + l*c = -6. Solve -q*i + 9*i = c*b - 4, -2*b + 11 = 5*i for i.
1
Let g(x) = 2*x**2 - 5*x + 13. Let w be g(5). Suppose 0 = -3*i - 3*f - 54, 5*f - 16 - 4 = 0. Let j = w + i. Solve -2*r - j + 6 = z, 3*z = -r - 10 for r.
-4
Let r = -5 - -15. Let f(x) = -x + 12. Let p be f(r). Solve 0 = -5*a + n - 0*n + 10, p*a = -2*n - 8 for a.
1
Suppose -5*k + 4*t = -2 - 3, 3*k - t - 10 = 0. Solve k*o - 17 + 0 = -2*w, 3*o + w = 10 for o.
3
Suppose 4 = 2*i + 2*i, 4*b = 2*i + 10. Suppose -3*a = -b*v - 2*a + 20, v + 5*a - 28 = 0. Let n = 13 - v. Solve 2*o - 4*g - 14 + 6 = 0, -n*o - 2*g = 16 for o.
-2
Let q(t) = -t**3 - 2*t**2 + 2*t + 1. Let g be q(-3). Solve a + 0*a - 5 = -x, g*x = -5*a + 21 for a.
1
Let c = 2 - -1. Suppose 2*s + c*x - 7*x - 8 = 0, 0 = 2*s - x - 5. Let i be (s + 9/(-6))*4. Solve -4*r = d, -5*r - i*d + 5*d - 17 = 0 for r.
-1
Suppose 5*h = -0*h + 25. Let x(a) = a**2 - 5*a + 4. Let d be x(5). Suppose -150 = u - d*u. Solve -5*k + u = h*y, -3*y = -4*k - y + 10 for k.
5
Suppose -4*v - 14 = -5*a, -6*a - 4*v = -2*a - 4. Solve 2*g - 5 = y - a, 2*y = -3*g + 15 for y.
3
Let d = 22 + -2. Suppose 5*h - d = 0, 3*b - 3*h + 13 = 49. Let x be b/6 - 8/12. Solve 2*a + 3*t - 5*t + 8 = 0, -3*a - x*t = -13 for a.
1
Let g be 2/2*(6 - 3). Let u = 14 + -9. Solve g*r + u*b - 23 = b, 26 = 4*r + 3*b for r.
5
Suppose -16*k - 4 = -17*k. Solve 2*p + 4 + 6 = 0, -5*l = k*p - 5 for l.
5
Suppose 0 = 4*q - 3*q. Solve 4*s - l + 15 = q, 3*s + 13 = -5*l + 4*l for s.
-4
Suppose -w = 2*w + 12. Let b = w - -9. Solve 0*v + 6 = -2*v + o, -b*o = 20 for v.
-5
Suppose -4*i = -2*f + 30 - 2, -i = 4*f - 11. Let c be (-2)/(f + 5/(-1)). Solve -3*x = -8 - 1, c*r + 5*x = 11 for r.
-2
Let i be (6/(-18))/((-1)/6). Suppose u = 3*t - 14, 8 = i*t + t + 2*u. Solve -w - 21 = -5*w + f, -w + t*f + 24 = 0 for w.
4
Suppose -5 = -8*h + 3*h. Suppose -x + 14 = 7*m - 4*m, -5*m - 2*x + 24 = 0. Solve a = m*y - 1, -2*y - h = a - 0 for a.
-1
Let j(i) = -2*i**2 - 17*i + 12. Let y be j(-9). Let a = 4 - -3. Let g be (42/(-4))/(6/(-8)). Solve g = -y*p - a*n + 2*n, 5*p = -3*n - 2 for p.
2
Suppose 5*o - 5*j - 130 = 0, -2*j - 126 = -5*o + 2*j. Suppose 2*y = 2*z + 3*z - o, -10 = -3*z - 2*y. Solve -z*s = 3*g - 0 + 1, -5*s + 4*g = -22 for s.
2
Let u be ((-12)/9)/(4/(-18)). Solve 2*o = 4*w - 10, 0 = -u*w + 2*w for o.
-5
Let y(o) = -o - 12. Let m be y(-6). Let n = 11 + m. Suppose g = -n*h + 15, -2*h = 2*g - 0 - 6. Solve -4*q - u = 16, -h*u + 10 = -4*q - 6 for q.
-4
Let f(v) = -v**2 + 5*v + 2. Let k be f(5). Suppose -b = -5*s + 17, 2*b - 4 = k. Solve r + s*r + 2*q = -20, 0 = q for r.
-4
Suppose 4*g = -0*g - 2*d - 4, -5*g - 5*d = 10. Let m = -2 - -3. Let i be 4/((m - -1) + -1). Solve 5*z - 4*v - 45 = g, z - 6 - i = v for z.
5
Suppose -39*d + 35*d + 20 = 0. Solve 0*a + a + 4 = 3*u, d*a + 3 = -2*u for u.
1
Let j be (-44)/(-7) - 2/7. Suppose 2*z - g - 17 = -8, 2*g + 2 = 0. Solve -16 = z*p + 5*l, 2*p = j*l - 2*l + 18 for p.
1
Suppose 0*d = f + d - 3, 2*f + 3*d - 4 = 0. Solve -k = -4*m - 1, 3*k = f*m - 0*m + 3 for m.
0
Let o = 26 + -22. Solve 0 = 4*y - 5*r + 5, 0*y - o = 2*y - 2*r for y.
-5
Let n(l) = l - 5. Let a be n(5). Suppose 0 = -r + 2 - a. Solve -5*c = 4*k - 5, r*k - 4 + 0 = -2*c for c.
-3
Suppose 2 = 4*s - 10. Suppose 0 = 3*t + 3*a - 48, 4*t + a = -0*t + 49. Let p = t + -3. Solve -s*r - c + 26 = p, -4*r = 4*c - 32 for r.
5
Let i(q) = -q**3 - q**2 - q + 18. Suppose -a + 0*a = 0. Let g be i(a). Solve 3*o = 3*v + o + g, o = 5*v + 23 for v.
-4
Suppose -y - y = 0. Suppose y = 2*g + 2*g. Solve -5*l + r = -4, 2*l - 4*r = -g*l + 16 for l.
0
Let r(v) = v**2 + 4*v + 19. Let a(b) = -b**2 - 3*b - 20. Let p(c) = -3*a(c) - 2*r(c). Let x be p(0). Solve d = 2*d - 2*j - 13, -5*j - x = d for d.
3
Suppose 0 = 3*f - 2*f - 2. Suppose 3*o + 8 = 2*o - 2*l, 2*o - 8 = f*l. Solve -j + o*g - g = 3, -j - 2*g - 1 = 0 for j.
-5
Suppose -9 = -3*d - 3*c, -5*c + 6 = -4*d + 6*d. Let a = 7 - 4. Solve -5*q + 3*u = -a, d*u = -9*q + 4*q + 27 for q.
3
Let l = -6 + 12. Suppose -1 = 5*v - l. Let r be (4 - (0 + 0))*v. Solve -2*a + d = -12, -5*d = -r*a + 35 - 5 for a.
5
Suppose -k = -0 - 2. Suppose -2*t = -0*t + 60. Let l be (6/4)/((-9)/t). Solve d + 0*p - k*p + 2 = 0, l*d - 5*p = 5 for d.
4
Suppose 19*d - 40 = -d. Solve -2*h + 6 = -4*t, 0*t - 2*t + 6 = d*h for h.
3
Let n be 2*(1 - 0)*1. Solve 0 = -a + n*m + 14, 0 = -a - 2*a - 2*m + 2 for a.
4
Let t(u) = -2*u - 10. Let z be t(-7). Let w = 5 + -3. Solve 0 = 4*b - 5*l - 17, 0*l - z = -w*b - 2*l for b.
3
Suppose 10*t = 15*t - 10. Solve -5*i = -2 - 23, 5*o = -t*i - 10 for o.
-4
Suppose 5*z - 5 - 5 = 0. Solve -2*q + 3 = 2*q + 5*x, 6 = z*x for q.
-3
Let p be 26/8 + (-27)/(-36). Suppose 2*d = d + p. Solve -2*c - 2*c = 3*w + 29, -4*w = d*c + 32 for c.
-5
Let h(v) = -v**3 + 6*v**2 + 3. Let u be 24/10*(-20)/(-8). Let b be h(u). Solve 0 = -4*r + b*q - 8, 6*r - r = q - 21 for r.
-5
Let r = -5 - -8. Solve -n = -2*v - 11 - 0, 0 = 3*n - r for v.
-5
Let z = -2 - 4. Let s = z - -9. Suppose -3*q + m + 4 = 0, 30 = q + 4*q + s*m. Solve 6*r - q*r + 7 = a, -3*a = 4*r + 31 for r.
-4
Suppose -f = -5*n + 21, -2*n = -0*n + 2*f - 6. Solve 5*c - 2 = -3*w, -3 = n*c + 5 for w.
4
Suppose 2*c - y = -7, 4*y - y = 3*c + 6. Let r = 8 + c. Solve -2*t = b + 1 + 6, 0 = r*t + 9 for b.
-1
Let h(b) = 13*b - 1. Let r be h(7). Let n = r - 55. Suppose 2*j - 5*m + 7 = n, -3*m = 12. Solve -2*z - j*k + 10 = 0, -2*k - 6 = -4*z - 3*k for z.
1
Suppose -5*t + 9*t = 12. Solve -3 = o + 4*z + 3, 6 = -t*z for o.
2
Let m = 1 - -3. Let g be (-4 - 1)/(m/(-32)). Suppose t = y + 3*y - 32, 0 = 5*y + 5*t - g. Solve -o + 6 = -4*r, -4*o = 3*r + 6 + y for o.
-2
Let n(u) = 2*u**2 - 2*u - 6. Let q be n(3). Solve 0 = -5*w - y - 17, -q = 5*y - 21 for w.
-4
Let u = -19 + 21. Let n(x) be the first derivative of -x**4/4 - x**3/3 + 3*x**2/2 - 4*x - 2. Let k be n(-3). Solve -3*p - 29 = k*h, -4 = 2*p + u for h.
-4
Let s be 5*-1*6/(-15). Suppose -s*y - 3*y = -70. Let n be 24/y - (-4)/14. Solve -n*t + 18 = -4*k, 15 = -3*k + 2*t - 0 for k.
-3
Let m be (-3)/2*(-2 + 0). Suppose 36 = -0*o + m*o. Suppose -2*r = 2*b + 2*b, 2*b = -2*r + 2. Solve n = -3*j + 10, 7*j = r*j - 4*n + o for j.
4
Suppose 0 = 2*u - 13 - 25. Solve -3*l + 23 = a + 3*a, u = 3*a + 4*l for a.
5
Suppose 0*b = -b + 1. Let a be ((-2)/(-4))/(8/16). Let h = b - a. Solve h = 4*s - 2*n + 24, n = 2*s - 3*n + 18 for s.
-5
Suppose 4*y + 2*p + p - 17 = 0, 0 = -4*y + p + 37. Solve 0*s = -2*s - 4*h + 24, -5*s + 3*h = -y for s.
4
Let o(w) = -w. Let v(s) = 6*s - 7. Let i(b) = 5*o(b) + v(b). Let t be i(8). Let r be -1*t + (17 - 6). Solve -p + 13 = -3*u - u, 0 = 2*p - r for u.
-2
Suppose 0 = 3*k + 3*y + 2*y - 12, -2*k + y = -8. Solve f - 5 = -4*b + 11, -k*b - 4*f = -4 for b.
5
Let p(d) = 67*d**3 - d**2 + d. Let h be p(1). Let z be h/3 + (-4)/(-6). Solve x - z = 5*j, 2*j = -3*x + 6*j + 25 for x.
3
Let t be 2 + 18 + 0*4/(-12). Solve -1 + 17 = 4*w - 4*a, -w + t = -5*a for w.
0
Suppose 5*d + 2*x - 86 = 0, 2*x + 26 = 5*d - 3*d. Let t = d - 14. Solve 5*i = -4*m + 6 - t, 2*m = -i + 2 for m.
1
Let l be 0*(-3)/(-6) - -3. Solve 0 = -4*o - 5*g + 40, -o + l*g = 2*g - 1 for o.
5
Let v(n) = -5*n - 6. Let b be v(-4). Let p = -12 + b. Solve p*c - 12 = -4, -2*d + 20 = 3*c for d.
4
Let d be 2/3 - (-43)/3. Let u = d - 10. Solve -m + 4 = -4*h + m, 4*h + u*m = -18 for h.
-2
Suppose 7*m - 10 = 2*m. Solve o - 3 + 1 = 0, 3*l = -m*o - 5 for l.
-3
Let r be 11 + 0*(-1 - 0). Let p = r - 9. Solve -p*b - 10 = -3*v - 0*v, -5*v + 12 = -b for v.
2
Let h be (-14)/35 + 156/(-10). Let x = h - -22. Suppose 4*z + 120 = 5*y + x*z, -y + z = -24. Solve -r + 0*r + 15 = -4*t, -4*r = -4*t - y for r.
3
Suppose 5*y + 3*g = -0*y + 16, g - 12 = -3*y. Suppose 2*f - 4*u - 43 = -u, -3*f + 42 = 3*u. Solve 4*j = -j - 2*n + f, y*j + 5*n - 20 = 0 for j.
3
