 0*s - t = -s. Solve 1 = -y - 3*y + r, -2*y = s*r - 12 for y.
1
Suppose 11*s = 43 + 1. Let r(a) = -3*a**3 + a**2 + 2*a + 1. Let y be r(-1). Solve 2*u = s*b + y*u - 17, 4*b - 13 = 3*u for b.
4
Let j(o) = -o**2 + 7*o + 2. Let n be j(7). Let f = 0 + n. Solve -4*w = -5*g - 6, -w + 5*w = -f*g + 20 for g.
2
Let r be 6/(-15) + (-37)/(-5). Suppose 25 = -5*g - 0*g, -4*d = 3*g + r. Solve 0 = d*j - 2*v - 8, -3*j - 3*v = -v + 3 for j.
1
Let k = -8 - -11. Suppose 3*f - 2*j = -0*f + 18, f + 5 = -3*j. Solve 2*n = -d - 7 - f, -k*d - 3*n = 21 for d.
-3
Let i = -8 - -12. Solve -i*v = -9*v - 5*u + 15, -3*v - 26 = -4*u for v.
-2
Let m be (-1 - 0) + -1 + 4. Let j be m + (1 - 3) + 3. Solve -4*c = -j - 9, -v + 17 = 5*c for v.
2
Suppose 2*a - 5*b - 14 - 5 = 0, -2*a + 2*b = -10. Suppose -8 = -3*y - a. Solve -2 = -y*w + 2*k, 6*w - w = 2*k - 7 for w.
-3
Suppose -3*d + 3 + 1 = 5*z, -4*z = 2*d - 2. Suppose -6*h + d*h = -27. Solve 0 = 4*t - 4*p - 2 + 18, -4*t - 3*p - h = 0 for t.
-3
Let z be 20/3 + 4/(-6). Let t = z - 8. Let p be t + 3 + 10 + -3. Solve -2*d - 3 = x - p, 4*d - 8 = -4*x for x.
-1
Suppose -2*v = 4*x - 16, 3*x - 20 = -4*v - x. Solve -2*r = j + v*j, 3*j + 3*r = 3 for j.
-2
Let b(j) = j - 13. Let y(r) = 3*r - 40. Let w(q) = 11*b(q) - 4*y(q). Let n be w(12). Solve -n*z - 15 = 0, -4*d + z - 5 = 8 for d.
-4
Let c be (-4)/6 - (-16)/24. Suppose -3*s + 2*s + 5 = c. Suppose -8 = 3*g - 23. Solve -5*w + s = -4*w, 2*w = -g*r + 20 for r.
2
Let a(x) = -x**3 + 6*x**2 - 6*x + 5. Let k(t) = -t - 9. Let b be k(-13). Let i be a(b). Solve -2*s = m + 2*m + i, -m - s = 5 for m.
-3
Let l be 3 + 9/(-3) - -18. Let n = l - 13. Solve 3*u = -n*j - 9, 3*j + 3*u + 11 = 4*u for j.
-3
Let q = 9 - 3. Suppose 4*b - 14 = -2. Solve q*o = b*o + 5*n, 3*o - n = 12 for o.
5
Let k = 13 + -7. Suppose j + 84 = 2*l, -3*l + 2*j + 147 = 19. Suppose l = 2*w - 30. Solve 4*x + 8 = 0, u - k*u + 5*x = -w for u.
5
Let v be 1*(16 + 3) + -1. Solve -3*w = c + v, -5*c + 0*c = 2*w + 25 for w.
-5
Suppose 0 = -3*d - 0 + 15. Suppose o + 0*o = 15. Solve -o = -d*i - 5*k, i + 2*k = -4 + 9 for i.
1
Suppose 38*k + 15 = 41*k. Solve -k*a + 0*a = -3*h, a = 4*h for h.
0
Let j be (1/(-1))/(2/(-4)). Suppose -j*x = 0, 5*g - 3*x = -4*x. Solve -4*c = -y - 12, -2 = -3*c - y - g for c.
2
Let q = 22 - 18. Suppose q*d = -d + 5. Solve -5*f + 4*s - 19 = 0, -f + d = -s + 5 for f.
-3
Let a(j) = j**2 + 1. Let p be a(2). Solve 11 = p*f + 2*v, -5 - 4 = -3*v for f.
1
Suppose 0 = -4*l + 5*x + 4, 2 = -l - 4*x + 3. Solve 0 = 5*u + w + 22, 3*w - 3 - l = -u for u.
-5
Suppose 0 = -5*a, -a - 3*a + 5 = o. Let g = -2 + o. Solve 3*v - f = 1, -v - f = -6*v + g for v.
1
Suppose 5*f + n - 91 = 0, f + 0 = 3*n + 15. Solve -10 = -u + 5*z - 26, -3*u - f = -5*z for u.
-1
Let n(d) = 2 - 1 - d**2 + 8*d + 0*d**2. Let g be n(7). Suppose -3*q - 3 = -4*o + 7, 2*q = 3*o - g. Solve -q*j = -4*h - h + 17, 10 = 2*j + 4*h for j.
-1
Let j(n) = 8*n. Let m be j(2). Let v = 1 + 5. Let k(s) = s - 2. Let b be k(v). Solve 0 = 5*w - 2*d - m, -b*w = -d - 16 + 5 for w.
2
Suppose 9 - 5 = 2*m. Solve -2*c + 0*c = -i + 3, m*i = 2*c for i.
-3
Suppose 4*v + 3*r - 15 = 0, 2*v + 1 = -3*r + 10. Let b = 4 - 2. Suppose 5*m - 19 = -3*d + b, 3*d = m - 15. Solve 0 = -l + 2*g - 6, -v*l + 4*g = m*g + 2 for l.
-2
Let a = -39 - -40. Solve -4*l = -3*l + 2*n + a, -22 = 4*l - n for l.
-5
Let s(h) = -h**3 - 5*h**2 - 8*h - 14. Let r be s(-4). Solve -r = 5*m - 4*c - 4, -2*m + 2 = -c for m.
2
Let d(v) be the second derivative of -v**5/20 + 5*v**4/12 + 4*v**3/3 - 9*v**2/2 + v. Let x = 110 + -104. Let b be d(x). Solve w = -2*r + 8, -b - 2 = -r for w.
-2
Let n = -18 - -14. Let p = 14 + n. Let f be ((-3)/(-6))/(2/24). Solve g + 0*s = -s + f, -s = 2*g - p for g.
4
Let n(u) = -u**3 + 11*u**2 + 2*u - 16. Let p be n(11). Solve -p + 0 = -2*v + 3*r, 0 = 3*v - 2*r - 9 for v.
3
Suppose 4*t = 3*s - 0 + 5, -4*t - 5 = -5*s. Suppose -4*d + 20 = d - s*j, -6 = -d + 3*j. Suppose -2*r + 6 = -2. Solve d*q - i + 8 = 0, -q - 3*i + r = -0*q for q.
-2
Let f(b) = 2*b**2 - 4 + 0 - 5*b**2 + 4*b**2. Let r be f(3). Solve 5*x - q = -10, 3*x + 22 = -r*q - 12 for x.
-3
Suppose 4*m + 21 = 61. Solve -5*r = -4*d - 36, -r + 2*d = -m - 2 for r.
4
Let b(u) = u**2 + 2*u - 3. Let d be b(-4). Suppose 3 - 19 = -4*c. Solve 4*g - 5*f + 24 = -f, c*g + d*f = -6 for g.
-4
Suppose 2*w - b = 37 - 9, -5*b - 60 = -5*w. Solve 2*s + j - 6*j + w = 0, -4*j = -3*s - 10 for s.
2
Suppose -21 = -4*i + k, 0*k - 2 = -3*i - 2*k. Solve 0 + 8 = 5*h - 3*r, i*r = -5*h + 1 for h.
1
Let h(l) = -19*l + 62. Let s be h(3). Suppose -2*i = i - 21. Suppose 3*k - 9 - 6 = 3*q, -k - i = 3*q. Solve -2*c = -s*c - k*m - 15, -5*m - 15 = 0 for c.
-3
Suppose 17*g = 2*g + 60. Solve -2*p + 5 = 4*z + 21, 3*z = g*p - 1 for z.
-3
Suppose 0 = g + g - u - 12, 3*g - u = 16. Suppose w - 13 = -3*s, 23 = 4*s + w + g. Solve 4 = -d + 4*i, 6*d - 2*d - 5*i = s for d.
4
Suppose 9*c + 9*c = 36. Solve 0 = 2*m - 2*f, c*m = -0*m - 3*f - 5 for m.
-1
Suppose -7 = -5*p + 13. Solve 3*f + a + 1 = -p, 0 = 3*f - 2*a - 1 for f.
-1
Let w(o) = -o**2 - 3*o + 2. Let d be w(-3). Let v = 1 + d. Let c be ((-4)/(-2))/(0 - -2). Solve 3*f + 7 = 5*y - 6, 5*f - c = -v*y for y.
2
Let m be (-8)/(-20) - (-46)/10. Let i = -7 - -11. Solve y = m*u - 5, 0 = -i*u - 4*y - 0*y + 28 for u.
2
Let s = 36 - 34. Solve -y - 19 = 4*j + j, -s*j = -y + 9 for j.
-4
Suppose -5*d + 4 = -16. Let v be 2/14 - 4194/(-42). Let m be 8/10*v/8. Solve -4*l = s + 26 - m, 0 = d*s + l - 11 for s.
4
Suppose 4*y + 0*f = 3*f + 16, 2*f - 8 = -2*y. Solve y*q = t - 4, -t = -0*t + 5*q - 4 for t.
4
Suppose -3*h + 5*h + 56 = 4*l, -l - 3*h = -21. Solve -2*u = 4*n + 30, 5*n + l + 5 = u for u.
-5
Let w = -1 + 3. Suppose 0 = -0*x - 3*x + 5*a + 10, 0 = -w*x + 3*a + 7. Solve 4*l - x*k = 8 + 4, 3*k + 12 = 0 for l.
-2
Let n = -3 + 5. Suppose -4*u + 42 = -22. Suppose 8 = 3*s - u. Solve 2*t = -2*o - s, -2*o + 4*t - n*t = 0 for o.
-2
Suppose 2*p - 29 - 11 = 0. Solve -q = -3, -2*k = -q - 3*q + p for k.
-4
Let h = -135 + 135. Suppose 5*k - 3*k = 3*n + 44, -5*k - 4*n = -110. Suppose 2*r = -0 + 4. Solve 2*j + x + r*x = k, h = 4*x - 16 for j.
5
Suppose 6*d - 3 - 21 = 0. Solve 3*k + 0*k = -d*r - 28, 3*r - 8 = 5*k for r.
-4
Suppose -4*d + 14 = -b, -d + 6*b = 4*b. Suppose 2*z - 35 = -d*m + 11, 4*z + 12 = 0. Solve 0 = 3*t + 15, -y - 3*t = y + m for y.
1
Suppose -4*f - 5*f + 18 = 0. Solve z + 3*j = 12, f*z + 7 = 2*j - 1 for z.
0
Suppose 0 = 4*q - 4*d - 92, -5*q - 3*d = -d - 80. Suppose 3*l - 45 = -2*l. Solve -4*s - 2*w - q = 0, s + l = -4*w - 13 for s.
-2
Suppose 3*h + 4*a = -34, 5*a + 0*a + 32 = -2*h. Suppose -1 = 3*s + 8. Let i = s - h. Solve -i*q = 2*q + 5*d - 20, 2*d = 5*q - 20 for q.
4
Let r be 2/((1 - 3)/(-4)). Solve -a = -k - 1, 3*a + r*k + k - 3 = 0 for a.
1
Suppose 5*o + 3*l - 229 = -44, -5*o = 2*l - 190. Solve 5*v + 0*v - o = -5*m, 0 = -5*m - 2*v + 25 for m.
3
Suppose -6*j = -11*j + 30. Suppose 0 = -4*a - 4*p, 9 = a - 3*p - 7. Solve 5*n - 5*h - j - a = 0, 5*h = n + 2 for n.
3
Suppose 3*g - 47 = -4*c, -4*c + 3*g = -g - 68. Suppose 4 = -5*u + c. Solve -x + 4*h + 1 + 9 = 0, 8 = u*x - 2*h for x.
2
Let v be 4/(-14) + (-10)/14. Let h be (-12)/3 + 0 - v. Let k = h - -5. Solve -4*b - b = -k*j + 21, -5*b - 3*j = 6 for b.
-3
Let y(p) = p + 9. Let t be (-4)/((-8)/(-14)) - -1. Let g be y(t). Let l be ((-2)/(-3))/(1/g). Solve f - r = -3, 2*f - 3*r = -l*f - 14 for f.
-5
Suppose 0 = -6*f + f + 15. Solve -2 - 13 = -3*u + 3*l, f*l + 9 = 0 for u.
2
Suppose -3*v - v + 28 = 4*o, 0 = 3*v + 15. Let u be o/(-9)*(-114)/4. Suppose -t + u = t. Solve -4*c - 3*x = -t, 3*c + 2 = 4*x + 10 for c.
4
Let p(x) = -x**2 + 9*x - 2. Let u be p(9). Let i(v) = -v**2 - 2*v + 2. Let w be i(u). Solve -3*c = w*t + t + 9, -c = -2*t for t.
-1
Let t = 7 - 9. Let z be -4 - (-1 - 1*-2). Let p = t - z. Solve p*u - r = r - 15, -4*r = 4*u for u.
-3
Let w(b) = -b**3 - 3*b + 4. Let x be w(-3). Suppose -8*f + x = -3*f. Let y = 8 - 4. Solve -3*j - 4*g - f = 3, 0 = -y*j + 3*g + 2 for j.
-1
Let i(p) = p**3 - 25*p**2 - 26*p + 8. Let n be i(26). Suppose -3*r = -2*h + 2*r - 9, 15 = 3*h + 2*r. Solve -3*y - 3*b = 12, 0 = -4*y + h*y + 2*b + n for y.
0
Suppose -16 = -5*f + 9. Suppose 4*u - 3 = f*w, -5*u - w - w + 12 = 0. Solve -h - 2*z - 3*z = -4, -2*h = -u*z + 4 for h.
-1
Let k(q) = q - 7. Let j be k(9). Suppose -5*l + 34 = 3*y, -3*y + 2*y 