
Suppose 13*h - 26 = -0*h. Suppose 0 = -i - 2, -3*i - 18 = -4*r - 0*i. Solve -h*o - 3*d + d + 2 = 0, d - 7 = -r*o for o.
3
Suppose -5*i = -3*a + 120, -a + 57 = i + 3*i. Suppose 5*k = 2*l - 3*l - a, -14 = 3*k - 2*l. Let s = k + 10. Solve -g - 5 - 7 = -s*w, -16 = -4*w for g.
-4
Suppose 0 = -5*p - 5*r, 3*p + 0*r - r - 20 = 0. Suppose 0 = p*z - 2*z - 9. Solve 5*x = -z*w - 11, -2*x + 5 - 22 = -3*w for x.
-4
Suppose -v = -2*w + v + 22, 2*w + 3*v = 12. Solve p - 5*h + 0*h - 21 = 0, -p = h + w for p.
-4
Let o(t) = -t + 26. Let x be o(8). Solve 6 + 8 = 4*m + s, 5*m + s = x for m.
4
Let b be (3/1 - 3)/((-4)/2). Solve b = 2*i + 2*j - j - 3, 5*j - 24 = -i for i.
-1
Let i = 52 - 51. Solve a - 2*a = 2*u - 3, -u - i = a for u.
4
Let d(i) be the first derivative of -i**4/4 - 8*i**3/3 - 3*i**2 + 9*i - 5. Let y be d(-7). Solve -y*p = 4*w - 14, 4*w - 16 = -4 for p.
1
Suppose -5*w = -10*w + 15. Let y be 5/((-10)/(-4))*(-1 + 3). Solve -5 = -w*o + 4*o - 5*z, 3*o = -y*z + 23 for o.
5
Let g(k) = k**3 - 9*k**2 + 13*k - 16. Let x be g(8). Solve -v = v - d + 13, -x = v - 4*d for v.
-4
Suppose 0 = -2*j + 3*l + 61, -3*j - 33 = -4*l - 124. Suppose 4*u + 8 = -3*h + 8*h, -u + 23 = 5*h. Solve 0 = -w + 3*o + 17, -2*w = -9*o + h*o - j for w.
2
Suppose z - 2 = 1. Suppose -n + p + 6 = 1, p = -3*n + z. Solve 4*u - 1 = -0*r + r, -3*r + 7 = -n*u for r.
3
Let r(d) = -d**2 + 6*d + 6. Let p be r(6). Let j(g) = -4*g + 8. Let i be j(p). Let o be (-15)/(-10)*i/(-6). Solve y = 5*w + 9, -o*w + 8*w - 2*y + 12 = 0 for w.
-1
Suppose 3*y + y = 20. Suppose -4*v + 10 = -h, -4*h = -3*h - y*v + 13. Solve r + 4*n - 15 = 0, -2*n = r + h*r + 5 for r.
-5
Let b(u) = u - 2. Let x be b(15). Solve 2*r + 0*c = 2*c - 2, -c = -4*r - x for r.
-4
Let l = -11 - -5. Let d = 11 + l. Let o = d + 19. Solve -2*g = -x + 14, 0*x - x + o = -4*g for x.
4
Let u(s) = s**2 + s. Suppose 2*i - 6*v + v = 6, 3*v + 6 = 0. Let k be u(i). Solve y = -5*o + k*y, -3*o = y for o.
0
Let c = 1 - -4. Suppose -3*w + c*w = 6. Suppose w*o - 9 = 3*u, 3*o - 5*u - 15 = 6*o. Solve 4*d + 16 = o, -q - d + 16 = -6*q for q.
-4
Suppose 40 = -v + 6*v. Suppose v = 2*w + 2. Solve 0*o - 5*m - 11 = -4*o, w*o - 10 = 2*m for o.
4
Suppose 2*q + 12 = -q. Let p be ((-8)/10)/(q/20). Solve 3*t - 1 = -p*y + 2, -5*t + 4*y = -37 for t.
5
Suppose -8*i - 11 = -211. Solve -5*o = 3*y - 2*y - i, 5*y = o + 21 for y.
5
Suppose 10 = -b + 3*z, -4*z + 8*z = 5*b + 6. Solve 2*g = 5*w + 22, 1 = -5*g + b*g - w for g.
1
Suppose 5*h + 5*m - m = 2, 4*h = 3*m + 14. Suppose 0 = -5*l + 20, -3*d - 3*l + 19 = -h*l. Solve d*k = 3*y + 2*y + 5, 3*k + 25 = -4*y for k.
-3
Let x = 31 + -16. Let j be ((-12)/(-20))/(3/x). Solve j*z - 4*s = 11, -2*z - 2*s - 18 = -6*z for z.
5
Let d(x) = 4*x**3 - x**2 - 1. Let b be d(2). Suppose 0 = 3*s - b - 33. Let h be (-12)/9*9/(-6). Solve -5*v = -m - 5, 6*m = h*m - s for v.
0
Let t(f) = -f**2 - 6*f + 4. Let u be t(-6). Suppose -4*v = -3*x - 15, -3*v + u*x + 15 = 2. Solve 3*g - 5*y - 6 - 1 = 0, -v*y = -3 for g.
4
Let x = -4 + 11. Let r = x + -7. Solve r = 2*w - 2*y - 12, 2*w - y + 0*y = 7 for w.
1
Suppose 3*t = 2*t. Suppose t = -5*h + h. Solve -5*v + 4*v = 5*m + 22, h = 4*m - v + 23 for m.
-5
Suppose 3*q + q - 4 = 0. Let o be (q/2)/((-5)/(-10)). Suppose 2*b = o + 25. Solve -b = 3*l - 2*k, 0 = -3*l + 4*k - 15 + 4 for l.
-5
Suppose -2*z + 8 - 4 = 0. Solve 0 = -h - 1, z*h = -0*b + 4*b + 18 for b.
-5
Let u(k) = k**3 + 10*k**2 + 8*k + 3. Let q be u(-9). Suppose -3*v - q = -0. Let o be v/(-2) - (-3 + 4). Solve 4*d - 12 = -4*f, -f + o = 3*d - d for d.
-2
Suppose -16 = -4*l - 0. Suppose 0 = 6*u - 0*u - 96. Solve l*x + 10 = 2*y, x + 3*x - 4*y = -u for x.
-1
Suppose 0 = o + 2 - 7. Solve 2*b + 2*p = 2, 3*p - 2 - o = -b for b.
-2
Let v = 5 + 2. Let n(z) = -z**3 + 7*z**2 + 4. Let x be n(v). Solve 0*m - j = -4*m + 9, x*m + 16 = -4*j for m.
1
Let r = -11 + 15. Suppose r*k + 5 - 13 = 0. Let i = -17 - -17. Solve -5*p + a - 30 = i, -1 = k*p + 4*a - 11 for p.
-5
Suppose 0 = t + 1 - 4. Let q be (3 - 0/t)/1. Solve -2*a = -q*a - 3*o - 10, -4*a - 4*o - 24 = 0 for a.
-4
Let p = 25 + -28. Suppose 5*k + 0*x = -x + 11, 4*k + 5*x = -8. Let m = k - p. Solve -2*c - m = -r, -5*r + 9 + 0 = -3*c for r.
0
Let o be 5/((-15)/(-9)) - -1. Solve 2*j = 4*c + 12, o*j + 2*c - 10 = 3*c for j.
2
Let r = -120 + 125. Solve 16 = -3*s - r*x, -2*s + 2 + 0 = -3*x for s.
-2
Let q be (-3)/(-2) - (-2)/4. Suppose d + 2 = -q*a + 1, -a + d - 5 = 0. Let h be a*(-2 - -5)/(-3). Solve g + 5*x - 1 = 3, -2*g + h*x = 4 for g.
-1
Suppose q = -0 + 14. Suppose 2*k - 31 = -5*b, -4*k + 2*b - 2 + 52 = 0. Suppose 0 = p - z, -3*z = 1 - k. Solve l + 7 = s, 6*l + p*s = 3*l + q for l.
-2
Let k(y) = 16*y. Let g be k(1). Let w(c) = c**3 - 3*c**2 + c + 2. Let m be w(2). Suppose 6*v - 2*v = m. Solve 3*q + b + v = g, q = -b + 8 for q.
4
Let p be -3*2/(-6) + 3. Let a be (-57)/2*8/(-12). Suppose 0 = -2*v - a + 53. Solve -4*g = p*b - 8, 2*g - 2*b + v = 3*b for g.
-1
Suppose 4*x - 36 = -5*x. Solve -3*a + 4*g = -3 - 0, x*a - 4*g = 4 for a.
1
Let s(k) = 1 - 4 + k + 0. Let j be s(6). Suppose -4*q - j = -5*q. Solve q*d - 2*d - 4*a + 15 = 0, 0 = -5*d - a + 9 for d.
1
Let i(o) = o**3 + 5*o**2 + o + 6. Let v be i(-5). Suppose 5*n = 2*r + 25, -2*r - v = 5*n - 26. Solve -2*y = -6*y + 3*h + 1, -y - 4*h + n = 0 for y.
1
Let z be ((-24)/(-20))/((-4)/(-10)). Suppose 5*w = 3*v + 6, z*v = 4*w - w. Suppose 0 = 3*j - 5 - 7. Solve 0 = -j*c + 4*x + 28, -2*c - 5 = 2*x - w for c.
3
Suppose 0 = -3*u - 231 + 240. Solve -4*p - p - 1 = u*n, 0 = 2*n + 2*p + 2 for n.
-2
Let r(w) = w**3 - 4*w**2 - 6*w + 5. Let k be r(5). Suppose k = 3*z + y + 2*y - 15, -3*z + 7 = -5*y. Solve 2*l - z*l = 0, -5*l - 10 = 2*b for b.
-5
Let j be (48/20)/(3/10). Let g be (11/(-3))/((-2)/(-6)). Let z = -7 - g. Solve z*p = -5*w - 9, 4*p + 4*w + j = p for p.
4
Let r = 129 - 124. Solve r*k = 4*p - 0*k - 1, 3*p + 4*k = -7 for p.
-1
Let d(c) = -c + 16. Suppose 3*z = -4*t + 29, -2*t = 5*z - 35 - 4. Let q be 2/z - 2/7. Let y be d(q). Solve -y = -4*v + 4*u, -2*v + 2*u + 2*u = -16 for v.
0
Let a(k) = k**2 + 24. Let u be a(0). Suppose -3*f + u = -f. Solve m + 0*q + q + 8 = 0, -f = m + 2*q for m.
-4
Let s = 5 + -2. Suppose s*x = 4*x - 6. Solve 3*c - 7 = -0*c + 2*w, -4*c + x = -2*w for c.
-1
Suppose -6*v = -5*v. Let h(m) = 4*m + 2. Let b = -4 - -6. Let t be h(b). Solve 4*p + 8 = -s - v*p, 5*p + t = -2*s for s.
0
Let g(k) = -6*k + 2. Let a be g(-1). Let u(m) = m**3 - 6*m**2 - 8*m + 10. Let d be u(7). Suppose d*v = a + 10. Solve -2*f = 3*b + 22, 0 = 2*b + 2 + v for f.
-5
Let q(p) be the second derivative of p**5/20 - p**4/3 - 5*p**3/6 + 2*p**2 - p. Let h = -17 - -22. Let y be q(h). Solve y*n + 20 = r, 0 = -0*r - r for n.
-5
Let u be (-54)/(-15) - 4/(-10). Let w = -20 + 24. Suppose -j = -w*y - 6 - 4, 4*j = -3*y + 97. Solve -3*d = 3*r + 6, 0*d - j = -3*d + u*r for d.
2
Let a = 23 - 23. Solve -2*o + 3*p + 4 = a, 2*p - 14 = o - 3*o for o.
5
Let z be (-2 + 0 - -3) + 2. Let a(c) = -c + 4 - 3*c - 2 + z*c. Let q be a(-2). Solve -16 = -q*b - 4*w, -2*b - 12 = -0*b - 2*w for b.
-1
Let w be 403/9 - 4/(-18). Suppose -3*g + 6*g = w. Suppose 2*k - o = -0 + g, 5*k - o - 30 = 0. Solve 18 = 2*d - 0*d + 4*a, 5*a - 25 = -k*d for d.
1
Let g be (-33)/(-5)*5/1. Suppose 4*r = -5*n + g, -4*n + 4*r + r + 10 = 0. Suppose 14 = -2*h + 58. Solve -h = -5*a - 4*o, -3*a + 4*a + o - n = 0 for a.
2
Suppose 7*m - 25 = 2*m. Suppose 3*l - 14 = -m*z + 5, -z + l = 1. Let o be (-2 + 1)/((-1)/23). Solve z*d = -4*v + 6, -5*v + o - 5 = -d for v.
3
Let y be (3*4/6)/((-14)/(-21)). Solve -y*o + 14 = p, -5*o + p + 21 = -o for o.
5
Let w(v) = -v**2 - 7*v + 1. Let r be w(-5). Let m = -5 + r. Suppose i - m*i = -110. Solve -2*z - 2*z = -5*f + 17, 4*f - i = -z for z.
2
Suppose 12 = -0*w + 4*w. Let c = 6 - 4. Solve -w*l = -g - 4, c*g = 4*l + 2 - 8 for l.
1
Let c(s) = s**3 + 12*s**2 + 11*s + 3. Let g be c(-11). Solve z + z = 5*j - 10, -j + 2 = -g*z for j.
2
Let b be (3 + -1)*(2 - 1). Suppose b*g = -2*g. Suppose 0*t = 4*t - 12. Solve 0 = a + 2*y - g*y - 12, -t*a = 4*y - 26 for a.
2
Let f = -27 - -32. Solve -5*t = -f, -4*q + t - 6 + 1 = 0 for q.
-1
Suppose 5*r - 22 = -4*g, -5*g + 5 + 14 = 2*r. Solve 2*c = -r*j + 8, 0 = -5*c - 3*j + 4 + 6 for c.
-1
Let z be 0 + -5 + 9 + -5. Let x be (2 - 0)*(1 - z). Solve 5*k = -s, x*k - 3*k - 3*s + 16 = 0 for k.
-1
Let l 