24 = 0, 2*s - 3*i = -s - 3 for s.
3
Let p = -4 - -6. Let a be (3 - 2) + -2 + 1. Let q = p + a. Solve 0 = -3*g + 6, 4*l + q*g + 2 = g for l.
-1
Let g = 6 - 4. Suppose -z = -3*z + 3*q, 0 = -z - g*q + 7. Let l = z - 1. Solve -5*k - l*p + 3 = 0, -2*k + 4*p = k + 19 for k.
-1
Suppose -3*v + 29 + 46 = 0. Solve 5*b - v = 5*y, 25 = 5*b - 2*y + 5*y for b.
5
Let k = -9 - -17. Let c = 13 - k. Solve -r = -3*o + r, -15 = c*r for o.
-2
Let j be 1*3/(-15)*-15. Solve 2*u = -u + 4*g - 8, -5 = -5*u + j*g for u.
4
Let i = -4 - -8. Solve s + 2*s = -2*h + 2, 3*s + 4*h - i = 0 for s.
0
Let a be (2 + 7)*(-2)/(-6). Let n(t) = -t - t**3 - a*t + 5*t**2 + 0 + 4. Let g be n(4). Solve -g*w + 3 + 0 = -3*i, 3*i = -w - 18 for w.
-3
Let k(p) = -p - 1. Let v be k(-7). Let n = 2 - -1. Suppose n*y - 4 = -2*f + 16, -4*y = -2*f - 8. Solve 5*s + 23 = -2*m, 10 = -f*m - v for s.
-3
Suppose 7*a = 8*a - 12. Solve x + a = 5*q, 0 = 3*q - 4*x + x for q.
3
Suppose 2 + 4 = 2*c. Let v be 3/3*1 - 1. Suppose -p + v*p = -c. Solve -p*s + s - 1 = d, 4*s = -4*d - 12 for s.
2
Suppose 5*t + 15 = 40. Suppose -106 + 6 = -5*n. Suppose -n = -4*w, -13 = b - 5*w - 0. Solve 5*g = -2*j - b, 0*j = t*j - 5*g - 40 for j.
4
Let t(g) = -g + 4. Let u be t(2). Solve 3*h + 2 + 0 = q, -q + u = 0 for h.
0
Suppose 2*g - 3 = 5. Solve -g*v - 3 = 2*z - 13, z + 3*v - 9 = 0 for z.
-3
Let m be 2/3 - 84/(-36). Solve 2*c = x + 4*c - m, 4*c = 16 for x.
-5
Let l = -30 + 32. Solve h - 10 = 5*b, -14 = l*b - 4*b + 4*h for b.
-3
Let c(g) = g + 6. Let x be c(-6). Let y be x - 0 - -3*16. Let n = y + -26. Solve -2*d + n = -4*l, 27 = -3*l - 0*l + 5*d for l.
-4
Let z(q) = -2*q. Let x be z(-2). Solve 0 = 4*u - 2*h + 4, x*h = -2*u + 1 + 7 for u.
0
Suppose 4*r = 2*r - 22. Let j = -15 - r. Let n = 6 + j. Solve h = n*h + y - 7, 0 = -3*h + 4*y + 7 for h.
5
Let l(k) = k**3 - 2*k**2 - 2*k. Let j be l(3). Solve 4*f + 7 = j*x, -3*x = -4*x - f for x.
1
Suppose -3*a = -a - 28. Let g = a + -2. Solve -5*p = 4*f - 3*f + 25, -g = 3*p for f.
-5
Let v(z) = z**3 - 7*z**2 + 6*z + 3. Let b be v(6). Suppose -r + 12 + 1 = 5*i, -b*i + 6 = 0. Solve 3*p + 15 = 4*c, 3*p + 2 = r*c - 10 for p.
-1
Let s(r) = -r**3 + 5*r**2 + 5*r + 8. Let h = 7 - 3. Suppose -a + 3*a - h = 2*m, 5*a + 2*m = 38. Let j be s(a). Solve -4*z = -b + 3*b + 6, z + j*b - 3 = 0 for z.
-3
Suppose 12*w + 5 = 41. Suppose 0 = 3*y - 14 + 2. Solve -5*i = c + 28, 8*i = y*i - w*c - 29 for i.
-5
Let y = -9 + 13. Let u be 18/y*(-16)/(-12). Solve -3*x + u*x = 2*c - 22, 0 = -5*x - 5*c + 5 for x.
-4
Suppose -7*i + 58 = -3*i + 3*r, -3*i + 42 = 3*r. Solve -2*n = 3*n - 3*u + i, 3*u = -9 for n.
-5
Let q(t) = -t**3 + 5*t**2 + 5*t + 8. Let b be q(6). Let f be -4*(-3 + (-20)/(-8)). Solve 7 = -p - 4*n, -4*p + f*n - 3*n + b = 0 for p.
1
Let x = 1 + 10. Let o = -4 + x. Solve -a = -o*v + 2*v + 17, -3*v - 3*a = -21 for v.
4
Let o = 10 + -7. Suppose 3*b + o*p = -12, -4*b + 12 = -2*b - 3*p. Let l = 8 + b. Solve l = -r - 2*h - 1, -2*r + 2*h = 6 for r.
-5
Suppose -6*v - 7 = -25. Solve v*t + 4 = -2*d, 0*t + 3*t + 20 = 2*d for d.
4
Let g(t) = t**2 + 4*t - 7. Let v be g(-5). Let s = -5 - 3. Let x = v - s. Solve -16 - x = 4*i - 2*n, -4*i + n - 17 = 0 for i.
-3
Suppose 17 = 5*u - 43. Solve 4*r = -u, j + 0*r + 7 = -2*r for j.
-1
Suppose 0 = 2*c - c. Solve h = -4*n - 9, 4*h + 3*n - 3 = -c for h.
3
Let w be ((-24)/(-30))/((-4)/(-10)) + 2. Solve 4*q - 4*l + 0 - 4 = 0, -20 = -2*q - w*l for q.
4
Suppose -l = -3*l. Let x be 1*(l + 1) - -4. Solve x*y = -j - 27 - 2, 2*j - 2 = 2*y for y.
-5
Let b = -9 + 17. Let u = -3 + b. Solve -y + 12 = 4*f, 4*f - 2 = u*y - 14 for f.
2
Suppose -5*o = 3*x - o + 13, -4*x - 3*o - 15 = 0. Let w = x - -7. Let t be (3/w)/(2/8). Solve -t*h + 12 = 2*y, 0 = 3*y - 2*y for h.
4
Let q be (-12)/(-2 - -1) + 3. Suppose 4*w - 2 = 3*w. Solve -4*c + c + d + 16 = 0, 0 = w*c - 5*d - q for c.
5
Let t be (0/(-3))/(3 - 1). Suppose t = -p + 5*p - 24. Suppose 3*i = 15 - p. Solve -5*a = 10, -v - 5*a = i*v + 22 for v.
-3
Let h(n) = 4*n + 4. Let b be h(0). Solve -2 = -2*v - 4*q - 0*q, b*v + q = -3 for v.
-1
Let n = 12 + 8. Solve -4*m + 2*q = -n, 3*q + 5 = -m + 2*m for m.
5
Let a(k) = k**3 + 3*k**2 - 5*k - 4. Let r be a(-4). Suppose r*z = z - 2. Suppose -3*i - z*u = -6, -4*i + 1 = 4*u - 7. Solve 0*v + 18 = i*v + 5*o, 2*o = v for v.
4
Let q = -10 - -12. Solve 3*b = -4*c + q*c - 7, -4*b + 19 = -3*c for c.
-5
Let p be (10 - 1) + 0/7. Let l be (0 - p)*2/(-3). Solve 3 = 5*d - 3*f + l, -f + 1 = 0 for d.
0
Let a(k) be the second derivative of 0 + k**2 - 2/3*k**3 + 4*k + 1/12*k**4. Let y be a(4). Solve v = -2*o - 4 - 7, v = y*o + 1 for o.
-3
Let u be 0 + 5 + (-3 - -2). Let l = -2 + u. Let x(a) = 2*a**2 - a + 2. Let z be x(-2). Solve -q - z = -3*q + b, -l*q = 5*b for q.
5
Let x = 13 - 11. Suppose -9 = -5*g + 2*o, 3*o - 1 = -5*g - x. Solve z - g = 5*b + 19, -5*b - 20 = 5*z for b.
-4
Let n(w) = -2*w**3 + w**2 - 3*w - 4. Let l be n(-1). Solve 4*c + 29 = 3*g, -3*c + g = -l*c + 8 for c.
-5
Suppose -4*b + 0*u = -3*u - 3, b = -2*u - 2. Suppose b*o + 3 = o. Solve -16 = o*g + 5*x, 4*g - 2*x = -0*x + 22 for g.
3
Let p(c) = 16*c**2 - 39*c + 36. Let q(x) = 3*x**2 - 8*x + 7. Let u(t) = 2*p(t) - 11*q(t). Let a be u(9). Solve 0 = 2*y + 4*r - a, 0 = -2*r + 5*r for y.
2
Suppose -2*q = -3*q + 6. Suppose q + 6 = 3*z. Solve 0 = r + z*l - 8, 4*l - 8 = -0 for r.
0
Let u = 1 + 1. Solve u*q + 0*r - 2*r + 8 = 0, -5*q - 3*r = -20 for q.
1
Suppose -f = -2*b + 4, -3*f + 3 = -3*b + 9. Solve f = -2*j - j - 9, -5*j = 3*n for n.
5
Suppose -3*d - 1 = 8. Let n be d/(-4) - 584/(-32). Let m = -3 - -6. Solve -4*f = -m*s + 2*s + n, 5*f + 2*s + 14 = 0 for f.
-4
Let m be (-15)/(-2) + (-2)/(-4). Let s = -15 + 21. Let c be 4*(-1)/2 + s. Solve 5*t - c*k + m = -0*k, -4*k = -3*t for t.
-4
Let g(k) = k**3 + 2*k. Let q be g(0). Solve 0 = -3*i + 5*m + 25, q*m - 10 = 2*m for i.
0
Let z(u) = u**2 + u - 4. Let l be z(-3). Let m be l*-3*(-3)/9. Solve -v - s + 2 = s, 0 = -m*s + 6 for v.
-4
Suppose -3*a + 8 = a. Suppose 3*p = -12, 17 = 3*z - 2*p + 3. Solve -i - 4*h - a = 3, 2*h + z = 0 for i.
-1
Suppose -5*k = 5*k - 170. Solve 5*s + 10 = 3*b - 17, -s = 5*b - k for b.
4
Let q(x) = x**3 + 6*x**2 - 3*x. Let t be q(-3). Solve -4*d = -4*p - 4, 4*d - t = -4*p - 8 for d.
4
Suppose -3*q = 3*k - 102, 2*q = -q + k + 86. Let m(i) = 59*i - 116. Let g be m(2). Solve -5*t = 3*l + g*l - q, l = 3*t - 2 for l.
4
Suppose 4*l - 7*l + 9 = 0. Solve 3*d + 1 = -2*b + 4*b, l = 3*b - 4*d for b.
5
Let p = 137 + -134. Solve -g - p = k, -k + 2*k + 2*g = -4 for k.
-2
Suppose 0 = -3*l + q + 46, -2*q - 2*q = -3*l + 58. Let b = l - 7. Solve 5*v - b = -4*j + 2*v, -j - 3*v - 5 = 0 for j.
4
Let z = 9 - 7. Suppose 6 = 2*b + z. Solve -b*l + 15 = -0*y + 3*y, 4*y - 20 = 2*l for l.
0
Let g(m) = 0 - m - 3*m - 2 + m. Let w be g(-2). Suppose 0 = 3*u - w - 5. Solve 4*k - 5*y - 3 = u, 2*y = 4*k for k.
-1
Let y be ((-15)/6*-2)/1. Solve -b + y = 0, 0*r - 2*r - 5*b = -21 for r.
-2
Let g = -21 + 28. Suppose r - 88 = -g*r. Solve q + f = -2*q - 6, 5*q + 2*f + r = 0 for q.
-1
Suppose -6 = 3*q - 21. Solve 5 = -v - v + q*w, -4*w = -v - 7 for v.
5
Let b = 6 + -2. Let v(s) = -s**2 + 5*s - 4. Let u be v(b). Solve -j - 2*j = u, 0 = -m + 3*j + 5 for m.
5
Let t be 5/((-3)/3)*-1. Suppose 0 = 5*b - s - 10, -24 = -3*b - 4*s + t. Solve 0 = b*k - 0*k + 4*u + 4, 4*u = 2*k + 16 for k.
-4
Let t(c) = -c**2 - 9*c + 3. Let b be t(-9). Solve -a + 5*n = -20, -b*a + 2*a - 4*n = 16 for a.
0
Suppose 0 = 5*z - 274 + 109. Let y be (-2)/(-3)*z/11. Suppose 3*u - 4 = y. Solve 0 = -2*d - 3*l - 11, -d - u*d + l = -11 for d.
2
Suppose 3*u = -4*v + 22, 5*v - 15 - 1 = 2*u. Suppose z - 28 = -5*m, z - u*m + 12 = m. Solve z*a - 3 = -4*l - 14, -15 = 3*l for a.
3
Let m be (-2 + (2 - 1))*1. Let r be (-3)/(-2*m/(-2)). Suppose r = -3*w + 18. Solve 0 = w*g + 2*h - 19, -9 = 4*h + 3 for g.
5
Suppose -8*t - 25 = -121. Solve 4*a + 6*b + t = 2*b, -2*b = 0 for a.
-3
Suppose -3*c + 7 + 5 = 0. Solve -5*l = -7*n + 4*n + 25, 4*n + 20 = -c*l for n.
0
Let b(y) = y**3 - 11*y**2 + 11*y - 6. Let k be b(10). Solve 5*m + 15 = k*x, -5*x = -2*m - 3*x - 6 for m.
-3
Suppose -11 = 5*w - 1, -24 = -g + 5*w. Solve 0 = m - 4*b, -3*m + g - 6 = -4*b for m.
4
Suppose -5*f + 7 + 18 = 0. Solve 26 = f*c - b, -5*c + 2*b = -0*c - 27 for c.
5
Suppose -y = 3*h + 4, 5*y = 2*h - 0*h - 20. Let g be 0 + 3 + (-7 - y). Sup