-1)/3)*4. Solve a - r = -3, -16 = -2*a - u*a - 3*r for a.
1
Let m be -1 - -2*(2 - -1). Suppose -4 = j - m. Solve -5*f - 3*k = -8 - j, -2*k + 6 = 0 for f.
0
Suppose -12 = -2*l + 2*s, -3*l - 4*s + 0 = 3. Solve y = -h + 2, 3*h + y = -l*y + 8 for h.
0
Let n = 18 + -14. Solve 6*l - 2*l = -n*p, 4*p + 15 = l for p.
-3
Suppose 3 = 3*q - 3. Solve -5 = -q*u + 3*j - 1, 3*u + 3*j + 9 = 0 for u.
-1
Let b be (40/(-28))/(1/(-7)). Solve -4*s + 5*s + 3*v - 13 = 0, 4*v = -5*s + b for s.
-2
Suppose 3*k + 2*k - 83 = -p, 3*k + 4*p = 43. Solve 5*c - k = 4*y, 5*y - 3*y = -3*c - 3 for y.
-3
Let s(g) = 2*g**2 - 7*g. Let a be s(4). Solve 5*y - 8 = v - 4, 8 = a*v + 4*y for v.
1
Let h(p) = p**2 - 5*p - 6. Let s be h(6). Suppose -4*c + 10 = 2. Suppose 2 = -c*j + 8, 4*k = -5*j + 23. Solve -4*y = k*l + 12, 4*l - 2*y - y + 2 = s for l.
-2
Let m(c) = c**3 - 4*c**2 + 3. Let q = 4 + -1. Let v = q + 1. Let t be m(v). Solve 4*a - t*s - s = 0, 6 = 2*a - 5*s for a.
-2
Let i(o) = -3*o - 5. Let h be i(-3). Solve 4*v = 3*l - 2, h*l = 5 - 13 for v.
-2
Let g be ((-6)/4)/(24/(-32)). Solve -4*j = -2*c + 20, g*j + 4*c + 5 = 15 for j.
-3
Let q = 16 + -16. Solve q = 3*y + d - 8, -10 = 5*y - 2*d - 5 for y.
1
Let a(h) be the third derivative of -h**5/30 + h**4/8 - h**3/6 + 3*h**2. Let j be a(2). Let m = j - -7. Solve -11 = -5*g - 2*p - m, 5*p + 23 = g for g.
3
Suppose 0 = -4*k - 7 + 19. Suppose 5*n - 2*q - 12 = 2*q, 0 = 2*n - k*q - 2. Solve n*j - 5*s = 14, -s - 6 = -2*j + s for j.
1
Let l(z) = 22*z**2 - z. Suppose 0 = -2*x - 5 + 3. Let v be l(x). Suppose -54 = -8*u - 14. Solve 0*j = -2*t - u*j + 18, 5*j = 3*t + v for t.
-1
Suppose -2*z = 2*u - 12, 5*z - 3*u - 6 + 8 = 0. Let n(y) = y**3 + 7*y**2. Let j be 2/8 + 29/(-4). Let l be n(j). Solve b = z*b + r + 3, l = 2*b + r + 6 for b.
-3
Let c be (-2 + 18/10)/(5/(-25)). Solve -3*y + 13 = -h, 5*y - 4 + c = -3*h for y.
3
Let j = -11 - -19. Let l(c) = 2*c - 6. Let p be l(j). Solve 5*o = d - p, 21 = -o + 4*d - 0*d for o.
-1
Let k(s) = -s - 5. Let w be k(-5). Solve w = -4*b - 2*t + 4, 3 = b + 2*b - 3*t for b.
1
Let b(x) = x**3 - 4*x**2 + 2*x - 3. Suppose -3*f - 4*w = -w - 24, 12 = 3*w. Let m be b(f). Solve g = 5*r - 8, 3*r - m*g = r - 6 for r.
2
Suppose -5*s - 3*b + 43 = 0, 3*s - 19 = 2*b + 3*b. Suppose s + 2 = 5*l. Suppose -l*u + 81 = u. Solve -3*z + u = -3*j, -6 = -2*z - 0*z - j for z.
5
Let o = -84 - -87. Solve 5*b + 10 = c, -b - 9 = o*b - c for b.
-1
Suppose 0 = -5*z - c + 37, z - 3*c = 2*c + 23. Solve 0 = -4*x + z*x + 4*n, -x + 4*n = 10 for x.
-2
Let n be -1*((-1 - 2) + 1). Solve n*l = -2*d - 2*d - 8, 4*l + d + 2 = 0 for l.
0
Let m = -15 - -17. Suppose -4*v - 2*u + 32 = m*u, -3*v + 2*u = 1. Solve 4 = -i, 3*i - 19 = -v*z + 4*i for z.
5
Let v(m) = -m**3 + 6*m**2. Let y be v(6). Solve y = -2*z + 4*i - 8, -3*z - 2*i + 3 + 1 = 0 for z.
0
Let f be 1/3 - 5/(-3). Let p be (-31)/(-6) + 2/(-12). Suppose 2*u = p*u - 12. Solve 2*c - f*w = 3*c - 2, 4*w = u for c.
0
Suppose 0 = b + 3*b - 8. Solve -b*g = -5*i, 5*g + 0*i = -i for g.
0
Let s(f) = -f**2 - f - 5. Let v be s(0). Let u be v/25 + 32/10. Solve -8*x + u*x + 5*i = 5, 3*x = -2*i - 3 for x.
-1
Suppose x = 3 + 2. Solve 5*d + 2*r - 7 - 14 = 0, -x*d - 5*r = -30 for d.
3
Let r(n) = n + 4. Let v be r(-2). Suppose -5*p - 2*d + 4 = 0, d + 5 = v*p - 2. Solve u = -2*g - 3, 0*g + 18 = p*u - 2*g for u.
5
Let c be (-4)/6*9/2. Let m be -1 + (5 - (c + 3)). Solve m*k - 24 = 5*l, -2*k = -0*k - 2*l - 10 for k.
1
Let b(c) = c**2 + c + 2. Let h be (-4)/(-8)*0/1. Let m be b(h). Solve -4*p - m*u = -u + 17, -2*p - u = 7 for p.
-5
Let w(m) = 4 - 2*m**2 + m**3 - 1 - m**2 - 1. Let g be w(3). Solve -n - 2*r - g = -0, -n + 5 = -5*r for n.
0
Suppose -3*o + 4*m = 3*m - 8, -2*m = 4*o - 24. Solve 2*b - b + 2*x = -7, -2*x = -o*b + 22 for b.
3
Let m = -22 + 23. Let b be (0 - 1) + m + 5. Solve 0*g + 17 = 4*j + b*g, j + 4*g = 18 for j.
-2
Let n be (30/(-12))/(10/(-8)). Solve -4*u - 5*d - 15 = n, -4*u - 12 = 4*d for u.
2
Suppose -30 = -5*w + f - 6, 3*w + 2*f - 17 = 0. Solve -40 = 5*d + 3*o, -w - 5 = 5*d - 3*o for d.
-5
Let n(m) = m**2 + 2*m + 1. Let y be n(-3). Suppose i = t + 4, -i + 6*t = 3*t - 10. Solve i = -2*w - d - 2, 4*w = -y*d - 16 for w.
1
Let r(m) = -m - 1. Let t be r(-9). Let l = t + -4. Solve -2*a + 2*k + 4 + 0 = 0, 0 = -l*a - 3*k + 8 for a.
2
Suppose 2*y + 83 = 5*s, 5*s = 3*y + 2*y + 95. Let t = 5 - 37. Let k be t/(-10)*s/6. Solve -2*n + 8 = -g, 3*g - k*g = 3*n - 12 for g.
0
Let u(n) = -n**3 - 10*n**2 - 8*n + 12. Let q be u(-9). Suppose -v + 16 = o - q*o, -86 = -4*v - 3*o. Solve -5*c - 10 = 3*g, 2*g + c - 3*c = v for g.
5
Suppose 0 = -f + 2, -4*h - 24 = -0*h - 2*f. Let q = h + 6. Let s be -2*(-1 + 0) + q. Solve -p = -1, -l - p - 15 = s*l for l.
-4
Suppose 4 - 44 = -8*b. Solve b*h + 7 = 5*x - 13, 4*h + x = -11 for h.
-3
Suppose 0 = -4*q - 7 + 27. Solve -q*z + 5*o = 6 + 24, -4*z - 20 = -2*o for z.
-4
Let j(f) = -6*f - 32. Let n be j(-6). Solve 0 = -4*w + 4, n*b - 2*w - 2 - 16 = 0 for b.
5
Let y be -2 - (0/(-3) + -9). Solve 4*r = 3*c - y - 0, 3*r + 3 = 0 for c.
1
Let l(d) = d + 1 + d + 3*d**2 + 3*d**2. Let b be l(-1). Solve 5*z + b*v - 30 = 0, -z + 1 = -0*z - 4*v for z.
5
Suppose -8 = -4*v + 2*r, -2*v + 4*v = -5*r + 28. Solve 0 = a + 3*d + 2, v*d - 2 = 2 for a.
-5
Let v = 11 + -9. Solve -4*o + l = o, o + v*l - 11 = 0 for o.
1
Let f(q) = -q**2 + 7*q - 10. Let p be f(8). Let k = -13 - p. Solve 5 + k = -v + 2*c, v + 22 = 5*c for v.
-2
Let p = 7 - 2. Solve 0 = -4*f + 2*n + 30, 4*f = 5*f + p*n + 20 for f.
5
Suppose 4*x + 32 = -4. Let i be x/((2 + -3)/1). Suppose -2*d - d + i = 0. Solve 3*y - 43 = -5*o - 16, 2*y + 1 = d*o for o.
3
Let j = 140 - 134. Solve -3*t + j*t = 3*k - 12, 2*t = 2 for k.
5
Let l be 4/30 + (-394)/30. Let r = l + 30. Solve 3*u = 4*y - 2*u + 17, y + 3*u - r = 0 for y.
2
Let o(v) = v**3 + 8*v**2 + 7*v + 10. Let z be o(-7). Let l = -4 + 1. Let m = 3 + l. Solve m = 2*w + 2*t - 2 - 8, -5*t + z = 0 for w.
3
Let y(w) = 13*w**3 + w**2 - 3*w + 1. Let a be y(1). Solve 4*n - x - a = 0, -3*n + 0*x = -3*x for n.
4
Let v = -58 + 83. Solve 4*h - 20 = 2*o, 5*h = -o - 3*o + v for h.
5
Let i(k) = -5*k + 4. Let f = -2 - 2. Let v be i(f). Suppose -5*r + r - 2*b + v = 0, 5*r + 4*b = 36. Solve 4*y - 16 = -2*l, -l + 22 = r*l + 4*y for l.
2
Let h = 3 - 16. Let y = -25 - h. Let t = y - -22. Solve 3*a - 2*a - 5*q = -t, -2*q = -6 for a.
5
Let k = -2 + 5. Suppose -2*t = -5*t + 18. Solve -3*y + t + 11 = 4*s, k*s = 6 for y.
3
Let n be 1/(-3 + (-21)/(-6)). Let t(u) = -u. Let i be t(-3). Suppose -i*q = -n*q. Solve -v - 2*c - 3 = 0, -3*c - 11 - 1 = q for v.
5
Let x = 0 + 2. Suppose -4*h = -h - 5*s - 21, -x*s = 2*h + 2. Let k = 50 - 30. Solve -7*z + 2*z = 2*a + k, 0 = -2*a + 4*z - h for a.
-5
Suppose 3*y = 10 - 1. Suppose y*r - 8 = r. Suppose -8*h = -6*h - 10, -2*h + 26 = 2*b. Solve -3*u + 3 = 2*d + 22, -4*u = -r*d - b for d.
-5
Suppose -2*h + 7 = -5. Suppose -15 = f - h*f. Solve 2*y + 2*p - 7*p + 13 = 0, f*p = 9 for y.
1
Let k(c) = 9*c**3 - 2*c**2 + 2*c - 1. Let t be k(1). Let j = t + -1. Solve -2*r - 14 = -4*m, m - 4*r - j - 7 = 0 for m.
2
Let i(y) = y**2 - 5*y + 6. Let t be i(4). Solve a - q - t = 3*a, 3*a + 16 = 5*q for a.
-2
Suppose i = -5*m - 16, -4*i = 5*m + 9 + 10. Let r(p) = 4*p**2 - 2*p - 1. Let l be r(i). Solve -o - 10 = l*s, -o + 8 = 3*o - 4*s for o.
0
Let n(w) = -w**2 - 2*w + 2. Let a = 2 + -4. Let x be n(a). Suppose y - x - 6 = 0. Solve -2 = -2*o + u, -5*u + y = -o - 3*o for o.
3
Suppose -j + 4 = 2. Suppose 2*a + j*c = 5*a + 10, -20 = a - 4*c. Solve 3*q - 3*d = -2*d, -2*q + 5*d + 13 = a for q.
-1
Let m = 13 - 9. Let n(i) = -i**3 + 7*i**2 + i - 2. Let q be n(7). Solve x - 12 = m*d + q*x, 2 = 2*d - 2*x for d.
-1
Let r be (-4)/(-6) - 84/(-36). Suppose 5*n = r*m - 77, -4*m + 0*m + 101 = -5*n. Solve 2*f + 11 = 3*l, f - 4*l = 3*f - m for f.
2
Suppose -4*h - 4*x + 8 = 0, 0 = 3*h - 4*x - 0*x - 13. Solve -h*z + 4*m = -15, 3*z + 3 - 9 = m for z.
1
Let s be -2*20/(-16)*2. Solve 0 = -4*h + k + 3, -2 = -2*h - s*k + 5 for h.
1
Let b(c) = 3*c - 18. Let y be b(8). Suppose y*m - 20 = m. Solve 3*v = -m*u - 5, 5*v - 4*u + 12 + 7 = 0 for v.
-3
Suppose 3*s - 6 = -0*s. Suppose 3*o + s*o = 0. Suppose 6 = -2*x - 5*n, o = x - 0*n + n. Solve 36 = -5*l - 4*y, 2*y = x*l - 5*l - 20 for l.
-4
Let n(a) = a**3 + 5*a**2 + 4*a - 1. Let y be n(-2). Solve 3 = 4*i + 3*d +