4 + 1)/3)/((-3)/9). Solve -t - 10 = v*t - 5*o, t = 3*o + 1 for t.
-5
Let z(k) = -4*k**2 + 20*k + 8. Let r(t) = -t**2 + 5*t + 2. Let i(n) = 9*r(n) - 2*z(n). Let m be i(4). Solve 4*v - 20 = -4*l, -v - m - 7 = -5*l for v.
2
Suppose y + 3*y = -2*w + 8, -4*w + 5*y + 16 = 0. Let u = -1 + w. Solve -p - 1 = -3*n - 0*p, -5*n + u = -3*p for n.
0
Suppose 4*l - 5*a + 3 = -8*a, -15 = 3*a. Let u be 0/(-2) + (-3)/l. Let w be u/(1/(-1)) - -2. Solve 2*r + w + 1 = 4*q, -3*r - 6 = 5*q for r.
-2
Suppose 0*w = -4*w. Let d be w - (1 - 1 - 3). Solve 2*b - d*m + 8 = 0, -14 = -2*b - 3*m + 2 for b.
2
Let d be -1 + (8 - (-2 + 4)). Let z(u) = -4 + d*u**2 - 4*u**2 + 4*u - 1. Let o be z(-6). Solve 5*p = 4*k + o + 5, -k - p + 6 = 0 for k.
2
Let d be 3 - 2 - 12*-1. Let g(f) = f**2 - f + 1. Let l be g(2). Solve 0*y - y = -l*c + d, 12 = -3*y for c.
3
Suppose 4*r = -n - 17, 4*r = 7 - 19. Let u be (-68)/12 + 4/(-12). Let s be (u/n)/(8/20). Solve -3*x - 2*g = -3*g - 6, 6 = s*x + 4*g for x.
2
Let k(r) = r**2 - 3*r - 6. Let w be k(5). Suppose 10*l - 9*l = w. Solve -l*v + x - 9 = 0, 3*v = -3*x - 16 - 2 for v.
-3
Let k be (-3)/6*8/4. Let f be (1*2)/((-1)/k). Suppose 0 = -f*d + 6*d - 20. Solve d*l = 3*o + 10, 5*l - 10 = -0*l for o.
0
Suppose -2*b + 16 = 2*u, -4*u + 5*b - 3 = 1. Solve 3*c - u*q = 3, -c - 4*c - q + 28 = 0 for c.
5
Let y(w) = 10*w - 1. Let b(o) = -o. Let f be (2/3)/(2/3). Let a(m) = f*y(m) + 3*b(m). Let d be a(1). Solve d = 4*k + 2*t - 3*t, -4*k = 2*t - 12 for k.
2
Suppose 5*y + 4*o - 31 - 9 = 0, -4*y - 4*o = -36. Suppose 4*m - 4 = 4, -5*j + 33 = y*m. Suppose -10 = -j*l + 5. Solve l*q - 3*z = 6, q + 2*z = -2*z - 23 for q.
-3
Suppose 36 = 3*g - 4*g. Let a be (g/(-6))/(3/2). Solve i + 4*i = -2*o + 8, a*o - 2*i = 16 for o.
4
Let z be 1*2/(-6) - (-21)/9. Solve 3*d = -2*d - z*t + 12, 3*d = -2*t + 4 for d.
4
Let q = -142 + 145. Solve -3*t + 13 = 5*u - 17, 2*t = -q*u + 19 for u.
3
Suppose 0 = -3*u + 8 + 1. Suppose -5*j = -5 - 5. Let r = j + u. Solve 3*m - 5*l - 34 = 0, -2*m - r*l + 0 - 19 = 0 for m.
3
Suppose 7*o - 3*o - 8 = 0. Solve 0*k - z = -o*k - 11, 0 = 2*z - 2 for k.
-5
Let b(g) be the first derivative of -g**2 - 7*g + 3. Let l be b(-6). Solve -3*w + 4*w + 10 = 2*s, s - l*w - 14 = 0 for s.
4
Let g = 86 - -22. Let u = g + -68. Suppose -u = -3*i - 2*i. Solve j = 4*n + 4, 0*j - 2*j + 3*n = -i for j.
4
Let n(q) = q**2 + 10*q + 9. Let b be n(-9). Solve -2*r + b*l = -3*l + 5, l = -r for r.
-1
Let j be ((-16)/(-4))/4*17. Solve -5*y + 13 = 2*m, -8*y + 3*y + j = -2*m for y.
3
Suppose -4*f = -7 - 9, 2*d - 28 = -5*f. Solve 4*q = -h - 6, -d*q = -0*h + 3*h + 10 for h.
-2
Let t = -65 - -28. Let n be (-2)/5 - t/5. Let p(i) = i**2 - 7*i. Let y be p(7). Solve -h + 3*b + 12 = y, -5*b - 5 = h + n for h.
3
Let x be ((-3)/6)/((-4)/(-8)). Let r be 2*x/(-2)*2. Solve 3*k - 3*p = 21, -2*p = 5*k - 23 + r for k.
5
Let c(a) = -a**2 + 5*a - 3. Let q be c(4). Suppose v + 4*m + 17 = 0, m + m = -v - 7. Suppose -q = -v*r + 8. Solve 0 = -5*j + r*l, -3*j - 2*j + 4*l = -5 for j.
-3
Suppose 8*l - 3*l + 54 = 3*u, u = -3*l + 4. Solve -4*n + 12 = -3*k + k, -4*k - u = 3*n for n.
1
Suppose 2*u + s = -u + 10, u + 3*s = 14. Solve 0 = w - u, 7 + 2 = 3*k - 3*w for k.
5
Let g be (-1)/4 + 34/8. Suppose -g*f - 4*c + 42 + 70 = 0, -5*c = 2*f - 65. Solve -5*w - 25 = 2*n - 0*n, f = -5*w for n.
0
Suppose -m - 6 + 7 = 0. Solve -k - p = -4*k + m, 3*k + 3*p = -3 for k.
0
Let x be 0 + 8 + 1 + -4. Suppose 0 = 3*w - 4*w + x. Solve -2*t = 0, -w*t = 4*p + 10 + 2 for p.
-3
Let w = -36 - -39. Solve 0 = -w*v - 2*q + 16, v + 4*q = 7 + 5 for v.
4
Let r be (-30)/(-25)*(-40)/(-6). Let v = 2 + 1. Let f = r - v. Solve 0 = 2*h - 6, -f*h - 2 = 3*u - 26 for u.
3
Suppose -5*d + 27 = -5*b - 3, -d + 22 = -5*b. Solve 5*n = -d*w - 35, 8 = 2*n - 3*w + 3 for n.
-5
Let a(x) = -18*x - 77. Let g be a(-6). Let p(c) = -6*c + 5. Let t be p(4). Let f = g + t. Solve y = -4*s - 13, -s - 3*y - f = 2*s for s.
-3
Let g(y) = -y**3 + 7*y**2 - 6*y - 1. Let u be g(6). Let b be 1 + 2 - 0/u. Solve 18 = -b*j + 3*i, -4*j = i + 5 + 4 for j.
-3
Let p = -26 + 32. Solve 2 = -3*h + g, -g = 5*h - p + 20 for h.
-2
Let s be (-2)/(1*(-4)/26). Solve -3 = 4*q - v - 0, 0 = 4*q + v + s for q.
-2
Suppose g + 13 = 17. Solve -3*y - 8 = -3*x - g*y, x + 6 = 4*y for x.
2
Let m be 1100/52 + (-4)/26. Suppose -z = -3*v + 13, -5*z = -3*v - v + m. Suppose v - 14 = -2*p. Solve -p*n + o = 12, -2*n + 12 = -n - 5*o for n.
-3
Let h be 12 + -1*(-1 + 1). Let p(z) = -1 - 5*z + 3 + 6*z**2 - z**3 + 2. Let v be p(5). Solve -v*x - h = 0, -4*x - 6 = f + 2 for f.
4
Let q(o) = -5*o - 5. Let y be q(-2). Suppose 5*u + 11 = -5*k + 61, 2*u = k + y. Solve -5*b - 10 = 3*d, 3*d = -k*b + 2*b - 12 for d.
-5
Suppose n - 13 = -6. Let d(h) = -h**2 - h. Let b be d(0). Suppose 6*g - g - 10 = b. Solve -5*w + n + g = t, -t - 1 = 0 for w.
2
Suppose -3*h = -3*j - 27, 0 = 3*j + 7 + 8. Suppose 0 = -v - 2*q - 2*q - 20, h*v - 4*q = 20. Solve -4*f = v, -2*x = 2*x - 3*f - 16 for x.
4
Let m(t) be the first derivative of -t**2/2 + t + 3. Let d be 1*(2/(-2) + 2). Let b be m(d). Solve h + 2*y = -0*h, b = 4*h - 4*y - 24 for h.
4
Let z = 3 - 4. Let v be -2 + (z - (-1 - -2)). Let r be v/10 - (-36)/15. Solve -3*m + y - 20 = 0, -37 = r*m - 5*y - 2 for m.
-5
Let q = 74 + -72. Solve q*c - 26 = -4*h, -3*h + 3*c + 24 = 6*c for h.
5
Let u(n) = -3 - 2*n - 5*n**2 - 19*n**3 + n**2 + 20*n**3. Let o be u(5). Solve -3*a = 2*v - 6, -2*a = -4*a - 4*v + o for a.
0
Let l be 5 + 1 + (1 - -1). Suppose -2*z - l = -2*t, 5*t + 2*z = -5 + 25. Solve 4*d + 0 = 3*s + t, 0 = -2*s - 5*d + 28 for s.
4
Let j = -322 - -325. Suppose -q - 2 + 5 = 0. Solve q*w = -3*i, 12 + 8 = -2*i + j*w for i.
-4
Let i(f) = -f**3 + f**2 + f + 2. Let g be i(0). Suppose 0 = -g*r + 3*r - 5. Solve r*w + 5*u = 10, -5*w - 2*u + 12 = -4 for w.
4
Suppose 21*x - 18*x = 9. Suppose n + 4 = 3*n + 2*i, i = -2*n + 5. Solve 20 = n*k + t, x*k - 1 = 2*t + 4 for k.
5
Suppose w - 2 = 3, 2*w = -5*x + 75. Let a = -25 + 18. Let b(i) = -i**3 - 8*i**2 - 9*i + 3. Let p be b(a). Solve -x = 3*o + 2*h, 0 = -3*o + 6*o + 4*h + p for o.
-3
Let s = 14 + -8. Solve o + 0*o = -4*v - s, 18 = -5*v + 4*o for v.
-2
Let u = -77 - -80. Solve -5*n - u*d + 19 = -9, 5 = 5*d for n.
5
Suppose 5*i - i - 12 = 0. Suppose 0*d = -d - 1, -l + i*d + 5 = 0. Solve 2*v - t + 5 = 0, -l*v - 2*t - 8 = 3*v for v.
-2
Let a = -4 - -7. Solve -4*w = 2*z - 12, w = a*w - 4 for z.
2
Let v be (0 - (-6)/(-4))*(-10)/(-3). Let g be (2/(-4))/((-2)/44). Let b = g + v. Solve 4*m - 3*m - 2 = -d, 3*m + 4*d - b = 0 for m.
2
Let d = -47 - -68. Solve -2*k = -5*o + d, -4*k = o - 0*o + 9 for o.
3
Let k = 2 - 3. Let x = 2 + k. Suppose -u + 1 = -3. Solve u + x = 5*a + 4*w, w = -2*a + 5 for a.
5
Suppose 2*u + 13 = 3*q - 3, 3*u - 14 = -5*q. Solve -2*w = 2*h - 2, -1 = q*h + w + 1 for h.
-1
Suppose -z + 312 = 2*z. Suppose v + 3*v = -4, 5*v + z = 3*d. Let h = d + -21. Solve -2*x = r + 3, x - 4 = 3*r + h for r.
-5
Let p be 0 + ((-1)/(-1) - -6). Let a = p - 3. Solve -z + 4*z - a*i = 23, -i + 3 = z for z.
5
Let p(c) = -c - 2. Let y be p(-5). Suppose 5*n + 4*q - 47 = 459, -n + 110 = y*q. Suppose -n = -5*v + 7. Solve 6*w + 20 = w, -4*w = -5*f + v for f.
1
Let z be 1/(1 + 18/(-21)). Suppose 2*b - 4*a + 10 = z*b, a - 4 = -2*b. Solve -o - b = 4*l - 3, -5*l + 11 = -2*o for l.
1
Let u = 3 - 7. Let q = u - -6. Let y be q + 2 + (-3 - -2). Solve -5*k = -5, -y*h + 5*k - 10 = k for h.
-2
Let t = 31 + -24. Solve 0*r - 8 = -2*r - 2*g, 2*r - g + t = 0 for r.
-1
Let c = -7 + 3. Let m be c + (-1)/(-1) - -6. Solve 0 = -l + 5*n + 2, -2*l + m*n + 2*n + 4 = 0 for l.
2
Let c = -4 + 29. Solve 2*k - 10 = 0, -2*n - 5*k = -10 - c for n.
5
Let b be (-6)/(-33) + 2482/22. Suppose -3*m = 29 - b. Solve 5*f - m = -5*c + 7, 0 = 3*f - 2*c + 4 for f.
2
Let n be 4/16 - 57/(-12). Solve -2*w + 6 + 1 = -n*k, -3*k - 25 = 4*w for w.
-4
Let b(u) = 2*u + 5 - 3*u + 5. Suppose -4*v = -4*z + 43 - 3, -3*z = 2*v - 15. Let h be b(z). Solve 5 = h*k + 2*k - 5*g, -g + 3 = 0 for k.
4
Let s(h) = h**2 - 3. Let j be s(3). Solve -2*y - 4*w + 2 = -j, -3*w = 0 for y.
4
Let l = -8 - -28. Solve 2*c = -2*c - w + 16, -w + l = 5*c for c.
4
Let w(o) = 19*o + 1. Let f be w(1). Suppose 2*b - f - 2 = 0. Let x = -1 + b. Solve -3*r - n - 4 = -4*r, -2*r + x = -3*n for r.
2
Suppose -4 = -0*y - y. Let d(o) = -o**2 - 6*o - 6. Let a be d(-5). Let