r - 4 = 0, 25 = -5*i + r - 4*r for i.
-2
Let o(j) = -j**3 + 12*j**2 - 11*j + 2. Let c be (1/(-2))/((-3)/66). Let m be o(c). Solve -5*t - 18 = -m*r, 2*t + 0*r + 9 = -r for t.
-4
Let p be -3 - -9 - (-1 + (-2 - -6)). Solve -7*r + 2*n = -p*r - 4, 5*n = -20 for r.
-1
Suppose -8*b + 7*b + 2 = 0. Suppose b = 2*j - 2. Suppose x + 2*x = 0. Solve -4*p = -o - 9, -j*p + 6 = -2*o - x*p for o.
-1
Let i(s) = 2*s**2 + 4*s + 4*s**3 + s**2 - 5*s**3 + 3. Let a be i(4). Solve a*m + 9 = 5*p, 3*p = -5*m - 2 - 13 for p.
0
Let f = 5 + 0. Suppose 5*l + 4*o - 20 = 0, 25 = 2*l - 0*o + f*o. Solve -5*r - w + 10 = 0, -5*w + w - 20 = l for r.
3
Suppose -5*d - 12 = -3*m, 0 = -d + 1 + 2. Let p(w) = w**3 - 5*w + 2. Let o be p(3). Let y = o - 10. Solve 5*f = -r - 0*f + 4, -5*r = -y*f + m for r.
-1
Let w = 27 + -24. Solve 0 = -h + 2*a - 14, -w*a = h - 4*h - 27 for h.
-4
Let k be (-716)/(-18) + 14/63. Suppose -s - 2 = -5. Suppose 0 = s*d - k + 13. Solve 2*p = 2*x + p - d, -4 = -4*p for x.
5
Let m = -8 - -1. Let p(y) = y**3 + 8*y**2 + 7*y + 2. Let k be p(m). Solve k*z = z - 2*x + 8, -23 = -z - 5*x for z.
-2
Suppose -8*i - i + 18 = 0. Solve -3*x + 27 = -3*f, i*f + x + x = -2 for f.
-5
Let a be (4/6)/((-1)/3). Let d(u) = -21*u - 2. Let b be d(a). Let g be ((-32)/b)/((-4)/10). Solve 0 = g*l - l - 2*s - 2, 0 = -l + 4*s + 2 for l.
2
Let b be 10 - (1 + -1 + 3). Let q = b + -7. Let x be (q - 3/(-6))*4. Solve -4*f - 8 - 4 = -x*c, 0 = -3*c + f + 8 for c.
2
Suppose 4*w = -r - 0 + 12, 3*r + 4*w - 20 = 0. Suppose r*d = 5*d - 4. Solve t - 21 = -5*a - t, 0 = d*t - 12 for a.
3
Let d(a) = -a**3 - a. Let v be d(-1). Solve -4*r = -4*m + 8, -v*r = 2*m + 5 + 3 for m.
-1
Suppose 0 = -2*r - 2*y + 40, -6*r + 3*r - y + 60 = 0. Suppose -2*z = -6*z + r. Solve 2*o - 11 = -z*i - 38, -4*i - 21 = o for o.
-1
Let a(u) = -8 + 5 - 3*u**2 + 4*u + 7 - u**3. Let w be a(-4). Solve y - 4*h + w = 4*y, 0 = 4*y - 3*h + 28 for y.
-4
Let j be -13 + 8 + (-18)/(-2). Suppose -5*a + 34 = 9. Solve -6*v - 4 = -j*v, -a*v = 3*n + 25 for n.
-5
Let h = -45 - -75. Solve -5*q = 5*b + h, 4*b + 25 = -b for q.
-1
Suppose 0 = 3*u - 8*u + 20, -3*s - 6 = -3*u. Solve 0 = t + 2*t, -s = 2*h + t for h.
-1
Let i(w) = 6*w - 10. Let s be i(2). Solve -4*r - d = -s*r + 9, 3*r + 2*d + 16 = 0 for r.
-2
Let y be -7*(-2)/4*2. Suppose -2*s - 1 + 7 = 0. Solve y = f - 2*n, -4*f - s*n = n + 20 for f.
-1
Let u be (-2)/(-7) + 4/(-14). Suppose 2*y + u*n = 3*n + 19, 2*y + n = -1. Suppose -8*r + 9*r = 2. Solve -5*k = 0, 4*k - 4 + r = y*p for p.
-1
Suppose 5*m + 1 + 4 = 0. Let h be (m/(-2))/(3/12). Let o be (-3 + 6)*4 - h. Solve 2*z = f - 9, -3*z - o - 2 = 0 for f.
1
Let x(d) = -2*d + 1. Let a(k) = 2*k. Let q(w) = -4*a(w) - 3*x(w). Let g be q(-2). Solve 3*l = -3*y, 0 = -5*y - 3*l + 5 + g for y.
3
Let b be (2 - 9/6)*8. Suppose 0 = -b*x - x + 25. Solve 5*i + 20 = -x*h, -h = -i - 4 + 2 for h.
-1
Let g(p) = p**2 - 3*p. Let t be (-10)/(-2) - (-1)/(-1). Let m be g(t). Solve 0 = c - 8*i + 3*i - 11, m = -2*i for c.
1
Let u(p) = -2*p + 12. Let h be u(8). Let f be (16/(-6))/(h/30). Let q = 9 + -9. Solve -2*g = 2*k - q*g + f, g = 2*k + 5 for k.
-5
Suppose -2*h - 45 = 3*t, 0 = -t + 2*h - 3*h - 16. Let r = t - -20. Suppose 0 = 3*l + f + 1, r*l - 2*l + f = -1. Solve l = -j - 3, -3*j + 5*j = -3*b - 12 for b.
-2
Suppose -4*n - 5*x + 22 = 0, -5*n + 2*x + 0*x + 11 = 0. Solve -2*s = 3*m - 0*s + 6, 4*m + n*s + 8 = 0 for m.
-2
Let o = 25 + -13. Solve 2*g + f = -g + 4, 3*f - o = 5*g for g.
0
Let w = 10 - 1. Solve 3*s - 3*c = w, 3*s + 0*c + 2*c = -11 for s.
-1
Let h = -3 + 7. Let w be (-6)/(-24) - (-99)/h. Solve 5*z + 3*r = -9, -4*z + 5*r - w = z for z.
-3
Let m = 5 + -3. Suppose 2*v - m = 2*f, -2*f - 2*f + 24 = 3*v. Solve -5*s + 3*s = -2*k + 8, k = -2*s + v for k.
4
Suppose -5*h - j + 85 = 0, 4*j - 69 = -4*h + 3*j. Let m = h + -9. Solve -5 + 2 = -4*c - v, 4*v + m = 3*c for c.
1
Let w be ((-1)/3)/((-2)/24). Suppose 0*o = -2*o + 4, 5*o = 2*m + w. Solve -7 = -4*t + m*b, 2*t + 5*b + 2 = -27 for t.
-2
Suppose 42 = 3*c - t, 6*c - 45 = 2*c + 5*t. Let k be (-1 - 3)*(-42)/4. Suppose 17 - k = -5*d. Solve -2*g = g - 5*a + c, -4*g = d*a + 20 for g.
-5
Suppose 3*i = -0 + 12. Let q(s) = 2*s - 4. Let d be q(i). Suppose 0 = -5*r + d*n + 74, -r + 0*r - 4*n = -10. Solve -5*w = -20, -2*x + 0*x - w = -r for x.
5
Suppose 5*d - 6 = 14. Solve 0*y + 2*l - d = 2*y, 4*y + 2*l = -14 for y.
-3
Suppose 43 = -5*a + c, -7*a + 2*a - 55 = -5*c. Let g be ((-1)/(-2))/((-1)/a). Solve -3*j = -4*t - 7*j + g, -2*t = 4*j - 6 for t.
-1
Let p be 0/((0 + 1)*1). Let j(r) = -r + 16. Let z be j(12). Solve 0 = -3*s - k + 14, z*s + 0*k - 5*k - 25 = p for s.
5
Suppose j = -5*t - 2*j + 19, 4*t + 4*j - 20 = 0. Solve 2 + 4 = t*y - 2*q, 3*y + 2*q = -6 for y.
0
Let h(v) = -3*v + 2. Let o be (-3)/(2 + (-2)/4). Let d be h(o). Solve -5*z + 32 = 4*i, -3*i + 29 - d = 3*z for i.
3
Suppose 0 = 2*m - 3 + 9. Let v be (-3)/(-9) + (-62)/m. Let t = 10 - 8. Solve 0 = -2*s - 5*k + v, 8 + 10 = 4*s + t*k for s.
3
Let q be -4 + 1/(1/7). Solve -q*r + o + 1 = -0*o, 4*r - 2 = 2*o for r.
0
Suppose 40 = 5*w + 5*p, -3*p + 12 = 5*w - 5*p. Solve -2*k + w*m - 2 = -0*k, 3 = 3*k - 3*m for k.
3
Let x(d) = -11*d - 51. Let m be x(-5). Solve 5*w + 11 + 7 = -2*r, 5*r - m*w = -12 for r.
-4
Let b = -142 - -96. Let l = b + 67. Solve -5 = -z - 5*q + l, 4*z - 9 = -q for z.
1
Let m(n) = n**3 + 9*n**2 - 10*n + 2. Let i be m(-10). Solve -3*l + 2*l - 2*w = -15, -3*w = i*l - 25 for l.
5
Suppose 4*z - 12 - 4 = 0. Suppose -y - y + 60 = 0. Suppose -60 = -9*b + 4*b. Solve 5*r - 5*u = -y, -b = u - z*u for r.
-2
Let q(h) = 2*h - 5. Let c be q(7). Let z be c*(1 - (-2)/(-6)). Let y = z + -1. Solve 2*n - 4*n = -4*o - 20, 0 = n - o - y for n.
0
Suppose 0*m + m - 6 = 0. Suppose -3*i + m = -i. Solve -2*k + 3*s = k + 9, -i*s = -9 for k.
0
Let i = 71 - 66. Solve 0 = -4*x + 2*h - h + 15, 0 = x + i*h - 9 for x.
4
Suppose -25 = m - 6*m. Solve m*d - 5*r = -20, 0*d + 4*d - 5*r + 18 = 0 for d.
-2
Let z(r) = r**3 - 4*r**2 - 5*r + 3. Suppose -2*w + 10 = -0*w. Let k be z(w). Let i = 11 + -9. Solve 0 = -p - k, 4*q + p - i = -q for q.
1
Suppose -3*j + 9*j = 90. Solve -3*z + 5*k + 6 = -j, 3*z + 3*k + 3 = 0 for z.
2
Let n be 68/12 - (-2)/(-3). Suppose -n*u + 11 = 3*m + m, 3*m = -4*u + 9. Solve -2 = -u*z + 2*z, 4*h + 3*z - 2 = 0 for h.
-1
Let x be (-4)/6*(1 + 2). Let h be (8*x)/4*-1. Solve -3*g = 3*i - 24, 0 = 2*i - h*g - g + 12 for i.
4
Suppose u - 12 = -2*u. Suppose -x + u + 1 = 0. Solve x*g + 3*w = -w + 7, 4*g + 2*w = 8 for g.
3
Let p be (1/2)/((-1)/(-2)). Suppose 3*l + 2*r = 5 - 3, 3*r + 8 = l. Solve p = 2*d + 5*c, -l*c = -5*d - c - 11 for d.
-2
Let p be 1*33 + (5 - 4). Suppose -4*b - p = -n, 3*n + 3*b = n + 24. Solve 2*w - 4*g + n = 0, -3*w - 25 = 2*w - 5*g for w.
-1
Suppose -4*q = -6*q. Solve 6*w + 26 = -3*t + 2*w, -3*t + 3*w + 9 = q for t.
-2
Let c(b) = -b**3 - b**2 + 5*b + 2. Let x be c(-3). Solve q - x*a = -7, -q + 10 = 4*a - 1 for q.
3
Let t = 22 - 18. Solve -4*x - g = 17, 10 = -4*x + 2*g - t for x.
-4
Suppose 6 + 3 = z. Let i(p) = -p + 11. Let s be i(z). Let m be (s/6)/(3/27). Solve 2*l = -2*n - 0 + 10, 15 = m*n - l for n.
5
Suppose 0 = -6*b + 3*b - 18. Let t be 4/b*15/(-10). Solve 0 = -3*h + 4*n + t, -7 = 3*h - 0*n + 4*n for h.
-1
Suppose 0 = 4*n - 7*n - 6. Let h be (-4)/(-8) + (-9)/n. Solve 4*v + 41 = 5*k, -2*v + 23 = h*k + 6 for k.
5
Suppose -3*u = -6*u. Suppose 0 = 14*f - 11*f - 12. Suppose -f*a = -u*a - 8. Solve -3*o - a + 3 = -4*x, -o = 5*x + 6 for x.
-1
Let a = 9 - -27. Solve -c + 1 = u, 4*u - a = c + 3*c for c.
-4
Let x = -11 - -22. Solve -2*n = 4*f - 18, -4*f + 5*n - x - 6 = 0 for f.
2
Let m(h) = h**2 + h + 3. Let z be m(0). Suppose -4*w = -5*v + 4, -5*w + 4*w = -z*v + 8. Solve 2*b = 2*x - 2*b - 14, 3*x - 15 = w*b for x.
1
Let s(r) = -4*r - 7. Let b be s(-3). Solve -5*u + 10 = 4*h - 9*h, b*u - 31 = -2*h for u.
5
Let a(g) be the first derivative of -g**4/4 - 7*g**3/3 - 4*g**2 - 9*g + 1. Let y be a(-6). Let u be 1*4 - 4/4. Solve 5*z + 3*b = -13, y*z + 0 = -u*b - 9 for z.
-2
Let j = -5 + 5. Let q be j + (-1 - (-1 - 0)). Suppose q = -2*o + 1 + 3. Solve 0 = o*w - 0*w - 8, i + 10 = 3*w for i.
2
Let b(a) = a**2 + 7*a + 6. Let s be 64/(-10) - (-2)/5. Let f be b(s). Solve f = 3*k + 3*o - 3, 5*k - 3*o = 2*o - 35 for k.
-3
Let f be (-5)/(-15) - (-1 + 8/(-3)). Solve 2*y + 2*s + 8 = 0, -s - f = 