 - 10, -l*y = -5*u + 7*u - 6 for u.
5
Suppose 4*v + v - 15 = 0. Suppose 2*h + 2 = v*h. Let s be ((-6)/(-1))/2 - 0. Solve h*z + s = -z - 3*x, x + 1 = 2*z for z.
0
Let u = -1 - -3. Suppose 3*l - 38 + 9 = 5*q, -5*l + 3*q + 27 = 0. Solve 8 + 12 = l*r - 4*h, 10 = u*r - h for r.
4
Let i = -6131 - -6151. Suppose 0 = 5*z + 4*k - 4, -k + 1 = -z - 0. Solve -3*y + 5*r - 12 = 0, z*y = -5*y + 5*r - i for y.
-4
Let g = 350 + -348. Solve -4*t - 36 = 4*u, -g*t - 28 = 2*t + 2*u for t.
-5
Suppose 18 = -3*l + 33. Solve -3*p + 2 - 17 = 0, l*r - 50 = 5*p for r.
5
Suppose 8*n = 3*q + 5*n - 3, -4*n - 31 = 5*q. Let g be 44/(-66)*q/(0 + 1). Solve g*r = m + 3, -5*r - 4 = m - 15 for m.
1
Suppose 3*m - 12 = 2*q, 4*q - 4*m + 4 = -3*m. Solve -3*r - 4*i + q*i = -17, -5*r - 4*i + 23 = 0 for r.
3
Suppose 4*t - 2 = 3*t, -16 = -3*w + 4*t. Solve -5 + 15 = 3*y - p, 4*y + w = -4*p for y.
2
Let w(t) = -t**2 + 8*t + 23. Suppose -35 - 25 = -6*i. Let g be w(i). Solve 0 = 2*h + h - 5*j + 25, -g*j + 16 = -2*h for h.
-5
Let q(p) = 6*p**2 - 108*p + 5. Let v be q(18). Solve -3*h = -v*u + 19, 4*u + 2*h - 2 = -0 for u.
2
Suppose 53 = 48*q - 475. Solve -2 = 2*p, 4*t - 10*p + q*p + 9 = 0 for t.
-2
Let u = 353 - 349. Let l(h) = -h + 1. Let g be l(-1). Let m = g + 1. Solve k - 13 = 2*j, 0 = -u*k - 6*j + m*j + 8 for k.
5
Let p = -117 - -185. Let t = p + -67. Solve 2*l - 1 - t = 0, -4*i + 5 = -3*l for i.
2
Suppose 5*k = 3*f - 39, 5*f - 3*k + 2*k = 87. Solve -2*i = 5*j + f, 0 = 2*i - 3*j - j for i.
-4
Let w(i) = i**3 + 43*i**2 + i + 47. Let m be w(-43). Solve -m = -p, 4*z + 3*p = 4*p + 12 for z.
4
Suppose 0 = -f - 4*a - 3 - 16, 4*a = 8. Let v = f + 28. Solve -2*t + 5 - 2 = 5*l, -t - 3*l = -v for t.
4
Suppose 0 = 4*z + 5*g + 600, 2*z + 193 + 107 = -g. Let m = z - -155. Solve -4*d + 6*w + 1 = 5*w, 4*d + m = -5*w for d.
0
Let s(n) = 27*n - 159. Let d be s(6). Solve -4*f - d*x = 0, 2*f + 0*x + 14 = 2*x for f.
-3
Let p(q) be the third derivative of -1/60*q**5 + 13/6*q**3 - 6*q**2 + 0 + 0*q + 5/12*q**4. Let y be p(11). Solve -5*d = -5*n - 5, 4*n + 8 = 5*d + y*n for d.
2
Let p(g) be the third derivative of 5*g**4/8 - g**3/6 + g**2. Let t be p(-1). Let o be (-1 + 1)*8/t. Solve -5 = 5*h, -8 = -o*j - 3*j + 5*h for j.
1
Suppose g = -4*m - 4 + 29, 4*m - 31 = g. Solve -9 = -2*j - n, 3*n = j + m*n - 22 for j.
2
Let m = -144 + 150. Suppose -11*p + m*p = -25. Solve 0 = 3*t - j, -t + 5*t + p*j = -19 for t.
-1
Let z be (6/(-42))/(-4 - 83/(-21)). Solve 3*a - 5 = -3*t + 4*t, z*t + 15 = 3*a for t.
-5
Let n = -2 + 6. Let v = -57 - -61. Solve -2*i = -v*u - 20, u + 4*i - 25 = n*u for u.
-3
Let c(x) = 3*x**3 + 2*x - 1. Let d be c(1). Suppose 3*n = -d*f + 20 + 2, 2*n - 4 = 0. Solve -f*v + b - 15 = 4*b, -10 = -v + 2*b for v.
0
Suppose -2*t + 4*y = 5*y - 4, 2*t - y - 4 = 0. Solve -8 = -x + g, -g + t*g = -4 for x.
4
Let g be (-6 + (-16)/(-8))/(-1). Solve a = -2*u - 0*u - 1, 0 = -g*u + 3*a - 27 for u.
-3
Suppose 16*q - 8 = -4*w + 19*q, -4*q = -5*w + 10. Solve 0 = 4*b - w*k + 6, 0*k - 4*k = 5*b - 25 for b.
1
Let g be (124/5)/((-32)/(-80)). Let u = -62 + g. Solve -c + 3*z = u, -5*c + 22 = z + 6 for c.
3
Let a be (1/(-4))/((-6)/48). Solve 4*u + 4*g = 2*u - a, 21 = 3*u - 2*g for u.
5
Suppose -2*k = -2*z - 22, -3*k - 26 + 3 = 5*z. Let q = -209 + 205. Let g = q - z. Solve -4*t + i - 10 = 0, -g*t = 4*i + 8 + 9 for t.
-3
Suppose 21*z - 9*z = 0. Solve 4*i + f = 25, -5*i + 2*i + f + 10 = z for i.
5
Let a be (-4)/(-8)*34 - -3. Suppose -6*q + a = -q. Suppose -h + q*h = 0. Solve 2*w - 8 = -2*u + 6*w, h = -2*w - 2 for u.
2
Suppose 25 = -6*s + 205. Let v be ((-3)/3)/(1/(-9)). Solve -2*i + x = v, s = -5*i + x + 6 for i.
-5
Let k = 370 + -369. Solve 14 + k = -3*z, n = 3*z + 20 for n.
5
Let p(c) = c**3 + 12*c**2 - 28*c + 4. Let z be p(2). Solve -3*t + 2*t = z*q, 2*t - 5*q + 13 = 0 for t.
-4
Let m = -68 + 76. Let k be -8*2/(m/(-2)). Solve -s = s + r + 7, -3 = 3*s + k*r for s.
-5
Let r be (0 + 9)*(-8)/(-6). Let y = -12 + r. Let n = -4 - -6. Solve y = n*w - 4*v - 8, 2*w - w - 4 = -4*v for w.
4
Let y = -748 + 753. Solve 0 = 4*b, -10 = 4*r - y*b + 2 for r.
-3
Let a be ((-34)/493 - (-30)/(-406))*0. Solve -l + h + 1 = a, 0*h - 10 = -4*l + h for l.
3
Suppose -30 = -5*z - 5*u, z + 9 = 2*z + 4*u. Solve -4*q - 4 + 8 = -z*x, -4*x + q - 1 = 0 for x.
0
Let a = 399 - 397. Solve 7 = -5*l - 2*f, 3*l + a*f + 4 = -l for l.
-3
Let f be 41 + -1 - 0/(-3). Let m be -2*-1*5/2. Let l = 1 - -2. Solve -2*k + m*v = 15, -v = l*k + 4*v - f for k.
5
Suppose 0 = b + k, -2*k = -5*b + 3*k. Solve b = -5*t + 2*j + 3 + 17, j = -2*t + 8 for t.
4
Suppose -6*r - 4 = -22. Suppose -115 = -7*h + 3*h + r*n, 0 = -3*h + 2*n + 85. Solve 11 = -3*f - u, 0 = -0*f + 5*f + 3*u + h for f.
-2
Let x = 190 - 137. Let u(a) = 5*a**2 - 2*a - 3. Let y be u(-2). Suppose 4*g + y - x = 0. Solve 4*n = 2*t - g, -t + 4 = 4*n + 6 for t.
2
Let c = 14 + 2. Let f = c - 28. Let k be f/(-4) + 3/3. Solve t = k*g - g + 7, -9 = 3*g - 3*t for g.
-2
Let b = -937 + 949. Solve -5*v - 3*f + 0*f = -16, 0 = 5*v + f - b for v.
2
Let o(u) = -22*u + 26. Let h be o(1). Solve h*w - w - 25 = 2*i, -35 = -4*w + 3*i for w.
5
Suppose -2*d + 3*p - 2 = 0, -2*d - 5*p = d - 16. Suppose -2 - 6 = -d*a. Solve -2*t = a, 6 = 5*y - 0*t - 3*t for y.
0
Suppose -3*h = -8*h + 630. Suppose -h - 14 = -4*m. Let z = m + -15. Solve 2*y - 2*d = -9 + 3, -4*d = -z for y.
2
Suppose -2*r = j - 10, -j - 3*r - 3 = -18. Solve -b = -l, j = 3*b - l - l + 2 for b.
-2
Suppose 0 = -357*q + 365*q - 24. Solve 0 = 5*a + 5*d + 15, 30 = 2*a - q*d + 11 for a.
2
Let f = 806 + -804. Solve -3*o - 11 = -4*x, f*o + x + 16 = -o for o.
-5
Let n be 0/(-2 - (1 + -2)). Solve 5*r - l - l - 11 = n, 16 = 4*r - 4*l for r.
1
Suppose 17*b - 6*b - 22 = 0. Solve -b*d - 12 = 4*o - 0*o, 0 = -2*o + 2*d - 18 for o.
-5
Suppose 17*p = 16*p + 2. Solve 0 = c - i - 4, p*i - 4 = 4*c - 12 for c.
0
Suppose -5 = 8*s - 37. Solve 2*p + 0*m = -2*m + 8, -2*p - s*m = -8 for p.
4
Let s = 69 + -65. Suppose -6*m + 18 = -s*m. Solve -m = 2*f + z - 4*z, -f - 4*z = -23 for f.
3
Let t be -3 + 9/(-6)*-4. Suppose 2*b - 10 + 4 = 0. Suppose 2*o + 5*u = 28, -4*o = -5*u + b + 1. Solve o*c - t - 9 = 0, -4*y = 4*c for y.
-3
Let v = 7 + -4. Suppose -2*i = -v*i + 10. Solve 3*h = 7*f - 3*f - 22, 0 = -3*f - h + i for f.
4
Suppose -2*g - 2*g = -24. Let m(x) = x - 9. Let t be m(g). Let y be t/(3 + (-54)/15). Solve y*s = -5*a + 15, 0 = -a - a - s + 7 for a.
4
Let o = 16 - 5. Let t = o - 7. Let c(w) = 2*w + 16. Let f be c(-8). Solve -5*k - t*g = -7, -2*k + f*g + 1 = g for k.
-1
Let n be 4 + 1 + -2 - -7. Suppose 0 = -3*s - g + n, -g + 2 = s - 0. Suppose 1 + 51 = s*a. Solve 3*p - a + 1 = 3*z, 0 = -2*p + 2 for z.
-3
Let u = -393 + 396. Let l(k) = k**2 - 4*k - 2. Let f(s) = 5*s. Let c be f(1). Let b be l(c). Solve -b*n - 3*r + 6 = 0, -3*n = n + u*r - 3 for n.
-3
Suppose 4*f - 8 = -2*u + u, 3*f - 8 = -u. Solve x = 4*j - u, 3 = 5*x + 23 for j.
1
Let v = -4386 + 4386. Suppose 0*w = 3*w - 12. Solve s + v - 10 = 4*t, t - w*s - 5 = 0 for t.
-3
Let k = 43 - 29. Let c(f) = -f - 6. Let g be c(-8). Suppose a - k = -4*o, 4*o + a = -g*a + 18. Solve o*b = 3*n - 3, 5*n = b - 16 + 1 for b.
-5
Let q be (-3)/9 - (-52)/3. Let m = q - 13. Let j be 10/m - (-8)/16. Solve -a + 6 = 4*g, -a - 5*g = -j*a - 14 for a.
-2
Let s(o) = -o**3 - 3*o**2 + 2. Let v be s(-4). Suppose 0 = 2*q - 2*g - 8, -5*q + g = -2*g - v. Solve 10 = -2*b, b = -q*h - 4 + 2 for h.
1
Suppose -8 = -3*a - d + 15, 5*a - d - 41 = 0. Suppose 5*g + 1 - 11 = 0. Suppose a = 4*p - g*p. Solve 3*s + 25 = 3*l + 1, -5*s = -p*l + 36 for l.
4
Let z(j) = j**3 - 4*j**2 + 4*j - 11. Let a be z(4). Solve -a*c + 4*g + 8 = 0, -2*g - 3 - 1 = 2*c for c.
0
Let u be (4 + (-16 - (-2 - 2)))/(-2). Solve u*i + 27 = -3*j, 0*i - 15 = 5*i for j.
-5
Let w(u) = -4*u**3 + u**2 - u + 1. Let m be w(1). Let y(n) = n**2 + 5*n + 7. Let q be y(m). Solve -2*g + 2 = -h, -5*h = -g - 16 - q for g.
3
Let u(n) = -n**2 - 2*n + 13. Let x be u(2). Solve 17*o - 4*q = 19*o - 8, 0 = o + 3*q - x for o.
2
Let b(h) = -11*h + 69. Let v be b(6). Solve 0 = -8*g + 10*g + 2*f + 10, -v*f - 12 = 0 for g.
-1
Let o = -13 - -18. Suppose o*b - 7*b = -2. Let k be 60/70*b*7. Solve 0 = n, 4*q + 4*n - k = 2 for q.
2
Suppose k = 38*k - 74. Solve l = -k*f - 3, -l - 3*f = 2*f + 9 for l.
1
Suppose 4*c = 4*l + 36, -4*c + 0 = 5*l - 9. Suppose c*n = 7 + 5. Solve