. Solve -3*t - m*t + 29 = 3*u, 0 = 4*u - t - 8 for u.
3
Suppose 4*a = -2*s + 20, -5*a + 25 = -s - 0*s. Suppose -t + 1 = -4. Let n = a - t. Solve n = -3*u + 2 - 11, 19 = h - 5*u for h.
4
Let k = -13 + 23. Solve 3*i + k = -0*i + f, 20 = 5*f for i.
-2
Let g be (-3 - 0)*24/(-9). Solve 4*n - g = -2*q, -2*n + 5*q = n - 19 for n.
3
Let o(p) = -6*p + p**2 - 2*p**2 + 1 + 2. Let q be o(-6). Solve q*i - 5*u = 20, -4*u + 9*u + 20 = -4*i for i.
0
Let w(a) = a**2 + 6*a - 13. Let p be w(-8). Solve -p*q - 6 = -2*h + 9, 0 = 5*h for q.
-5
Suppose -6*i + 3*i - 18 = 0. Let m = i + 10. Let q = 9 - m. Solve -2*b + 3*g - 4 = 4*g, -28 = q*b - 2*g for b.
-4
Suppose 2*q - q = -3*j - 2, 5*j + 1 = -4*q. Let m(u) = 3*u - 1. Let c be m(q). Solve -2*k + 2*r = 6, -6 = 4*k - c*r - 0*r for k.
0
Let a(x) = -x**3 + 5*x**2 - 2*x + 1. Let o be a(4). Solve 0 = 8*u - 4*u - 5*d - o, -u = -2*d - 3 for u.
1
Suppose 51 = -4*s + 5*t, -4*s = -t - t + 54. Let u = s - -20. Suppose -z = -3*q + 2*z + u, 3*z = -4*q - 6. Solve q = 3*b + 4*o + 4, -b + 3*o - 14 = -2*o for b.
-4
Suppose 0 = -0*y - y + 4. Solve -2*s = y*m + 24, -5*m - 2*s = -s + 24 for m.
-4
Suppose -5*g + 2*s = -0 - 20, 0 = 4*g + 4*s - 44. Solve -g*o + 3*o = -l + 8, -5*o - 14 = -2*l for l.
2
Let z(o) be the first derivative of 2*o**2 - 1. Let g be 1/(-3*2/(-6)). Let b be z(g). Solve b*n - 4*m + 12 = 0, -5*n + n - 15 = -m for n.
-4
Suppose 0 = -2*j + 2*d + 22, -j = -2*j + 4*d + 26. Suppose 4*g - 6 - j = 0. Solve 2*o + g*m = 7*o + 22, -o - 5*m = -18 for o.
-2
Suppose 6*i - 8*i + 2 = 0. Suppose -3*z = -z + 4*b - 2, 0 = -b - i. Solve 2*k + 4 = -z*v + v, -k = -v + 4 for v.
1
Let p be (2/2)/(1/6). Suppose -2*a - 2 = -18. Suppose 2*f + 1 = 2*n + 7, n - 9 = -2*f. Solve -f*o = 5*h - p, -2*h + o - a = -0*o for h.
-2
Suppose 0 = -5*w + 27 - 2. Let l = -4 + w. Let n = l + 3. Solve 5*c - 36 = -n*v, 2*c - 16 = -0*c - 2*v for c.
4
Let v be (-12)/(-42) + ((-288)/(-21) - 1). Suppose -4 = -4*o, 0 = 4*k + o - 16 - 17. Solve 0 = -a - 2*f + v, -k = 4*a - f - 3*f for a.
3
Let b(i) = i + 7. Let x be b(-3). Suppose 4*p + r - 11 = 10, x*r = -3*p + 19. Solve 4*w + 11 + 5 = -p*k, -5*w - 20 = -k for k.
0
Let u(i) = -i**3 + 2*i**2 + 2*i + 4. Let z be u(3). Solve g - 2*y = 2*y + 17, -3*g + 2*y = -z for g.
-3
Let v(w) = 3*w + 6. Let d = 5 - -1. Let o be v(d). Solve 3*p - 3*n + o = 0, 3*p - 3*n + n = -19 for p.
-3
Let c be (0/1)/(2 - 1). Suppose l - 4*u = -8, u = -c + 3. Solve -w = -3*w + 5*b - 17, 0 = l*w + 2*b - 26 for w.
4
Let g(f) = -57 - 6*f + f**2 + 57. Let u be g(6). Solve u = -5*v, 0 = -0*z - 2*z - 5*v + 2 for z.
1
Let z be ((-12)/(-6))/((-2)/(-19)). Solve -4*k + 2*r - 15 = r, -5*k = -r + z for k.
-4
Let t be 402/24 + (-2)/(-8). Solve -2*l = 3*l - 2*c + t, 5*l + 29 = -c for l.
-5
Let y(a) = a - 8. Let i be y(12). Let x(z) = z - 2. Let j be x(6). Let q = 14 - 12. Solve j = c, -q = -n - i*c + 13 for n.
-1
Let s = 1608 - 1606. Suppose c - 21 = -0*c. Suppose 0 = 3*a + 6*g - g - c, 4*a - 5*g + 7 = 0. Solve -5*i + 2*f = 10, s*f - 7*f - 33 = a*i for i.
-4
Let r(l) = -l**2 - 9*l - 9. Suppose -v - 27 = -4*u, 4*u = -0*v - v + 13. Let y be r(v). Solve k - 3*b = 1 + 5, -2 = y*k + b for k.
0
Let u(z) = -1 + 0*z + z + 0*z. Let h be u(1). Suppose -5*s - 5*w = -45, 2*s - w = -h*s + 3. Solve -s*g = 2*m - 2, 2 = -4*m - 2*g - 0 for m.
-1
Let f = -5 + 3. Let l be (-128)/(-22) + f/(-11). Solve -5*o - 3*g = 17, -l = -3*o + 3*g + 3 for o.
-1
Let z(r) = -r**2 + 8*r - 6. Let g be z(6). Let m be 2*9/g - 0. Let l = 1 - -4. Solve l*i - 4 = -b + 6, -b - m*i = -6 for b.
0
Let x = -25 + 25. Suppose -3*z + 20 = 2*z + p, -4*p - 30 = -2*z. Solve -28 = 3*v + v + z*i, 4*i + 16 = x for v.
-2
Let d(c) = -c**3 + c**2 + 1. Let i(v) = 6*v**3 + 2*v**2 + 3*v - 5. Let z(h) = 5*d(h) + i(h). Let s be z(-6). Solve -4*r + 4 = l, 5*r - 2*l - s + 0 = 0 for r.
2
Let r = 0 + -5. Let p be ((-10)/r)/((-2)/(-3)). Solve 4*j + p*h + 19 = 0, -2*j + 21 = -5*h - 2 for j.
-1
Let o = -19 + 19. Let i = 2 + o. Solve 0 = -3*c + i*c + 2*k - 4, 5*k = -3*c - 12 for c.
-4
Let f = -5 - -7. Suppose 0 = 7*q - f*q - 15. Suppose -3*v + 5*t = 16, -q*v - 11 = t - 5*t. Solve -g - v = -h - 2*h, 2*h + 5 = 3*g for h.
2
Let d(u) = -5*u**3 - 16*u + 26. Let b(i) = i**3 + 3*i - 5. Let m(c) = -11*b(c) - 2*d(c). Let k be m(0). Solve 3*r + o - 8 = 0, -2*r + r - k*o + 16 = 0 for r.
1
Let j(v) = 3*v - 1. Let x be j(3). Let a(p) = -3*p**3 - 1. Let r be a(-1). Solve 0 = -2*u + 4*t - x + r, -3*t = u + 8 for u.
-5
Let c = 19 + -28. Let b be (-4)/(-3) - 6/c. Solve 0 = -5*n - 3*a - 15, -b*a + 4*a + 10 = -2*n for n.
0
Let h(j) = j**3 + 5*j**2 - 6*j + 3. Let b be h(-6). Let u(f) = f**2 - 6. Let x be u(b). Solve 0 = -5*m - 25, -x*p + 3*m + 17 = -m for p.
-1
Let c be 512/(-36) + (-2)/(-9). Let i = c - -16. Solve 2*j = 6, -2*u + 3*u + i*j = 7 for u.
1
Suppose -28 = -4*k + 3*f, -f - 8 - 8 = -3*k. Suppose -3*v = 2*i, 2*i = -0*i - k*v. Solve m = -3*b - 8, -2*m + 2 = -i for b.
-3
Let d be ((-3)/9)/((-1)/27). Solve -d = -2*a - 0*a + 5*z, -a - 3 = 5*z for a.
2
Let a be -1 + (-1 - -6)/1. Solve -16 = -a*v + w, -3*w = v - 8*w - 23 for v.
3
Let o(b) = 4*b**2 + 1. Let c(m) = -m**2 - 6*m + 6. Let f be c(-7). Let y be o(f). Solve y*i - 27 - 2 = -n, -20 = -5*n for i.
5
Let r(i) = i**2 + 11*i - 2. Let x be r(-12). Solve -o = 2*m - 11, 3*m - x = 2*m - 5*o for m.
5
Let c be (-1)/(-4) - (-110)/40. Solve 3*b = c*f - 6, -4*f + 4 = -3*b - 2 for f.
0
Suppose -12 = -w + 4*w, 4*w + 12 = -2*k. Suppose k*i - 20 = -3*i. Let z = 18 + -13. Solve t - 16 = a - i*t, -z*t = -5*a for a.
4
Let p be ((-18)/12)/(-1*(-6)/(-8)). Solve -2*d + 0*d = -y, -3*y + 8 = p*d for d.
1
Suppose 0*o + 2*o - 3*h - 9 = 0, 5*o - 20 = 5*h. Solve 19 = o*q + 5*g, -q - g + 11 = 3*g for q.
3
Let q(t) = t**3 - 4*t**2 - 5*t + 4. Let j be q(5). Suppose 0 = -3*y + 4*b + 16, -3*y + 12 = y + j*b. Solve s = -2*u, y*u + 5*s - 4*s - 2 = 0 for u.
1
Let k = 10 + -5. Suppose -5*i - 15 + 65 = 0. Suppose 2*t + i = 2*b - 0*t, -5*b + 5 = 5*t. Solve 3*z + b = -5*n + 16, 1 = -2*n + k*z for n.
2
Suppose -12 = 5*q - 42. Let s(v) = v**2 - 5*v - 4. Let r be s(q). Solve r*h = -f - 2*f - 16, h = -f - 7 for f.
-2
Let z be ((-96)/20 - -4)*-15. Solve -2 = -m + 3*q + z, 0 = q + 4 for m.
2
Let w(d) = d**2 - 6*d - 4. Let n be w(7). Let a = 155 - 153. Solve 3*h + 34 = -5*z, -n*h = -3*z + a*h for z.
-5
Let l(p) = 3*p**3 - p**2. Let y be l(1). Let v = y - -1. Let s(w) = w**3 - w**2 - 2*w - 3. Let u be s(v). Solve 3*f - 3*j + u = 0, 5*f + 0*j - 2*j = -9 for f.
-1
Suppose 0 = 4*w + g - 5, -5*g + g + 20 = -2*w. Suppose 0 = 4*v + 16 - 4. Let n be (1 - 4)*4/v. Solve w = x - n, 3*f + 4*x - 2 = -1 for f.
-5
Let f = -79 - -82. Solve 5*g + 3 = 3*k + 21, -f*g - 3*k + 6 = 0 for g.
3
Suppose -3*c = -o - 3, o - 3 = -4*c + 1. Let v(q) = 3*q + 1. Let a be v(c). Solve -36 = 2*n + 4*u - 14, a*n - u = 1 for n.
-1
Let o = 52 - 50. Solve 5*g + o*j = -17, j + j - 10 = 4*g for g.
-3
Let r = -3 + 3. Suppose -2*g + g - 10 = r. Let t = 15 + g. Solve t*f - 28 = -0*f - 2*u, -5*f + 40 = 5*u for f.
4
Suppose -4*d - 54 = -3*r + d, -2*r + 41 = -5*d. Let f = r + -11. Solve 0*b + b + 4*h = 1, -4*b + f*h = -22 for b.
5
Let b be (0 - -2) + -1 + 3. Suppose 0*i = -b*i + 12. Solve a - m = -9, -4*a - 14 = m - i for a.
-4
Suppose -2*i - 7 = 5. Let a = i + 11. Solve m - a*n = 2, 0 = -n - 0*n for m.
2
Let d be (-2)/(-77)*7 + 273/11. Solve -f = -x - 0*f, 4*x + f = -d for x.
-5
Let z(v) = -v + 18. Let b be z(-8). Solve 5*c - s - b = 2*s, -10 = 5*s for c.
4
Let n be 0 + (-1 - -1 - -3). Let i(w) = -4 + 3 + n*w + 4 + w**2. Let u be i(-3). Solve -4*a = -u*m, -5*a + 20 = -a + 2*m for a.
3
Let f = -49 + 52. Solve -3 = -5*y - f*b, 3*y + 4 = 4*y + 4*b for y.
0
Suppose 11 = -2*n - 13. Let o = -8 - n. Suppose -3*p + o + 11 = 0. Solve 5*f + 5*m = -p, 2*f = 4*f - m + 2 for f.
-1
Let o be (2 + 0)/(1/2). Let m be (-9)/(-2)*o/6. Suppose t - 3*x - 15 = 2, 2*t - 22 = m*x. Solve 2*p + 3*y = p - 8, -p + 16 = -t*y for p.
1
Let n(f) = f**3 - 4*f**2 + 4*f - 1. Let t be (-2)/4 - (-7)/2. Let a be n(t). Suppose -3 = -a*v + 3. Solve -l = 4*d + 14, -3*d - v = -3*l - 0*l for l.
-2
Let h be 8/28 + 4/(-14). Suppose h = b - 3*b + 10. Suppose 3*d - 41 - 24 = -b*s, -5*s + 5 = -d. Solve 2*j - 1 = 9, -d = y - 4*j for y.
5
Let i(n) = -n**2 + 14*n + 1. Let w be i(12). Let j = w + -21. Solve 5*m - 29 = 3*r, -r - 3*r = 