 - g = 2*i for i.
-2
Let i be 2 - (4 + 2)/(-3). Suppose -i*o + 25 = o. Suppose 4*c - l = 2*l + 21, -c - l + 7 = 0. Solve o*a + c = -4 for a.
-2
Let s be (-10)/(-4)*(-80)/(-50). Solve s*o - 2*o + 6 = 0 for o.
-3
Suppose -s + 3 = -3*l - 0*s, 0 = 4*l + s + 11. Suppose 0*x - x + 6 = 0. Let p be ((-1)/l)/(1/x). Solve 0 = -t + p*t - 6 for t.
3
Suppose -y + 5*q + 28 = -0*q, y + 4*q + 8 = 0. Let k(x) = -x**2 - 9*x - 3. Let g be k(-8). Suppose 8 = g*l - 7. Solve b + y = -l*b for b.
-2
Let j(c) = 2*c - 10. Let a be j(12). Solve -5 + a = 3*d for d.
3
Let i = 5 - 5. Solve 2*b + 2*b = i for b.
0
Let j(l) = l**3 + 6*l + 0 - 2 - l - 4*l**2 + 0*l. Let q be j(3). Let h be 11/q - 1/(-4). Solve -2*o + h = -3*o for o.
-3
Suppose 6*b - 8*b + 2 = 0. Solve -w + b = -2*w for w.
-1
Let l(m) = -2*m. Let v be l(-3). Suppose -r + v = 3. Solve i - r = -1 for i.
2
Let d(w) = -w - 1. Let c be d(-5). Suppose -c = -5*x + x. Solve 3*v = -5 - x for v.
-2
Suppose -11 = 3*t - 4*r, -5*r + 9 = -2*t - 2*r. Solve -6*l = -t*l for l.
0
Let k = -2 + 5. Suppose 2*w + k*w = 0. Solve 0 = -w*x - 2*x for x.
0
Suppose 32 = -5*j - 2*a, 3*j + a = -2 - 18. Let x be ((-1)/(-2))/((-2)/j). Solve 0*y = y - x for y.
2
Let j(s) = 0*s**2 - 1 - 4 + 1 - 3*s - 5*s**2. Let z(w) = 4*w**2 + 2*w + 3. Let x(f) = -3*j(f) - 4*z(f). Let u be x(0). Solve u = -2*g + g + 3 for g.
3
Let r = -35 - -44. Solve -6*t - r = -3 for t.
-1
Let b be -3 - 0 - 2*-9. Suppose 0*s + 5*s = b. Solve s*q + 8 = -q for q.
-2
Let a(d) = -d**2 + d + 40. Let x be a(0). Suppose -6*g + x = -g. Solve l = -l - g for l.
-4
Suppose 2*u + 9 - 3 = 0. Let g(h) = 2*h**2 + 4 - 3*h - 3*h**2 - 3. Let x be g(u). Solve 0 = -4*d + x + 15 for d.
4
Suppose 0 = -0*w - 5*w. Let n(z) = z + 9. Let a be n(-7). Suppose -a*q + 4*q = 0. Solve w*k + 4*k + 16 = q for k.
-4
Let z(x) = -x**2 + x + 2. Let f be z(0). Solve f*m - 16 = -2*m for m.
4
Suppose 3*h + 3 = 3*g, 0 = -4*g - 0*h + 5*h. Solve 0*z = g*z + 20 for z.
-4
Suppose 0 = 2*a - 3*a + 3. Suppose -5*p + 2*k = -8, p + a*k = -2*k + 7. Suppose 8 = 5*y + p*u, 1 + 3 = -4*y + u. Solve 0 = -j - y*j for j.
0
Let a = -20 + 29. Let x = -4 + a. Let b = 2 - 2. Solve b*q + 20 = x*q for q.
4
Let w = -3 - -6. Solve -2 = -w*a - 8 for a.
-2
Let s = 4 - 4. Suppose s = -2*t + 5*t. Solve t = -3*h - 2*h for h.
0
Let n(z) = z - 2. Let w be n(1). Let k(f) = f**3 - 10*f**2 + 10*f - 12. Let v be k(9). Let g be w/(-1) - (-3)/v. Solve -i - 2*i = g for i.
0
Let j be 1*-6*3/(-6). Suppose -4*r + j*g = -43, -2*g = 2*r + 2*g - 16. Let i = r + -5. Solve -4*d - i - 3 = 0 for d.
-2
Suppose 0*l + 5*l + 5 = 0. Let c = l - -3. Solve -3*z = c*z - 25 for z.
5
Suppose -3*c = -4*b + 15, -3*b - 2*b = 5*c + 60. Let u = c - -6. Let o = u + 6. Solve -o*s = -s for s.
0
Let t be 3 - (-3 - (3 - 3)). Let i be t/15*(6 - 1). Solve -10 = -4*o - i for o.
2
Suppose 4*s - 140 = -s. Suppose 3*v - 23 = -4*g, 6*g - s = 2*g - 4*v. Solve 0 = 5*l - g*l for l.
0
Suppose 3*l - 3 = 6. Let f(g) = -3*g + 2. Let d be f(-3). Let s be 1 + d/(-2)*-2. Solve l*a - s = -a for a.
3
Suppose 0 = 4*l - 3*l - 3. Suppose 2*k - 11 = l*y, -2*k + 2*y + 4 = -6. Solve k*a + 6 - 22 = 0 for a.
4
Suppose h + 3 = 8. Solve 4*j + j - h = 0 for j.
1
Suppose -4*x - 4 = -2*i, i = x - i + 4. Suppose x = -0*m - 2*m - 4*q + 22, 0 = 2*m + 5*q - 26. Solve m*s = -2*s for s.
0
Let m(y) = y**3 - 2*y**2 + 2*y. Let o be m(3). Suppose -o = -5*l + 10. Solve l*r - 5 = 4*r for r.
5
Let o(c) = -c**2 - 13*c + 1. Let a be o(-12). Let f = a - 12. Solve 5*u - 14 - f = 0 for u.
3
Suppose 0*v + 8 = 4*v. Suppose 0 = 3*b - 3*a - 15, -2*a - v*a - 12 = -2*b. Suppose -5*h + 4*m + 26 = 0, 0 = b*m + 7 + 9. Solve -h*y = 2*y for y.
0
Let m(k) = k**2 + 5*k - 3. Let l be m(-3). Let i(c) = c**2 + 9*c + 6. Let b be i(l). Let q = b + -3. Solve 0*a + q = a for a.
3
Suppose -w + 11 = -3*z, 4*w + 3*z = 2*w - 5. Solve 0*q + 2*q - w = 0 for q.
1
Suppose 3*v = -2*v. Solve v = -0*c + c + 2 for c.
-2
Suppose -6 = -b + 3*b. Let v = b + 16. Let u = 18 - 18. Solve -4*t + 1 - v = u for t.
-3
Suppose -4*d + 3 = -b, -3*b + 5*b + 5*d - 20 = 0. Suppose -b*r - 6*a + 35 = -a, -3*r = 4*a - 25. Let q = 3 - r. Solve q = y + y for y.
0
Let o = -5 - -9. Suppose o*n - 15 = 5*z - n, 5*z + 10 = 4*n. Solve -4*q - 6 - z = 0 for q.
-2
Suppose 6*u = 5*u - 2. Let n = u - -4. Solve 4*j - 2 = n for j.
1
Suppose 9 = r - 3*n, r - 1 - 8 = -n. Let j be (3/r)/((-1)/(-3)). Suppose -g - 2*p + 3*p = -j, -4*g - p + 4 = 0. Solve -s + 0*s = -g for s.
1
Let n be (0 - -2)/(4/30). Let q(a) = a**3 + 7*a**2 + 5*a + 3. Let s be q(-6). Solve s*v - 4*v = -n for v.
-3
Suppose -9*j = -59 + 14. Suppose 60 = -2*h + 180. Suppose -2*m = m - h. Solve -y = -j*y + m for y.
5
Let h(z) = -z**2 - 3*z + 5. Let p be h(-5). Let j(d) be the second derivative of d**3/6 + 7*d**2/2 + d. Let w be j(p). Solve 0 = l - w*l + 5 for l.
5
Let m be 8/12 + 14/6. Let z be 4 - (-11 + 4 - 1). Solve -m*o + z = o for o.
3
Let z(f) = f + 24. Let d be z(-20). Solve v - d*v = -9 for v.
3
Let i = 25 - 18. Solve -8 = 5*t + i for t.
-3
Let l be 2*(-6)/9*-3. Suppose 0*k - 2*k + l = 0. Let p(i) = -i**3 + 4*i**2 - 2*i - 2. Let v be p(2). Solve -4*u + v + k = 0 for u.
1
Let u = 74 + -74. Solve -3*o + 0 - 3 = u for o.
-1
Let m(w) = -6*w**2 - 2*w - 1. Let s be m(-1). Let n = s + 8. Solve -n + 0 = h for h.
-3
Let l = 7 + -2. Suppose 5*j = -0*p + 3*p + 1, l*j = 10. Suppose 5*m = 4*q - 3 + 1, -2*q = -5*m + 4. Solve -p - 3 = m*i for i.
-3
Let y be (2 + -3)*(-1 + -5). Suppose -5*q = 2*l - 0*q + 4, -3*q - y = 0. Solve -2*n + l = n for n.
1
Suppose -16 = -4*p - 2*a, a + 35 = 5*p - 4*a. Solve -p*l = -3*l + 6 for l.
-3
Let d be (-1)/((-5)/(-30)*-2). Solve 5*i = -d - 22 for i.
-5
Let k = -20 - -10. Let i = k - -20. Solve -2*x = i - 4 for x.
-3
Suppose -5*f = f - 120. Solve 3*j + j - f = 0 for j.
5
Suppose 4*p - 5 = 2*q - 1, 2*p = 0. Let b be ((2 + q)/(-3))/(-2). Solve -z - 2*z - 3 = b for z.
-1
Suppose p - 2*p = 2*w + 8, 3*p - 5*w = 20. Let q be 27/((-3)/(-1)) + 0. Suppose -5*t = -2*v - 20, -q = -4*t + 2*t + v. Solve p = -m - t + 7 for m.
5
Suppose -3 = -7*s + 6*s. Solve -s*y + 4 = -8 for y.
4
Let z be (-17)/3 - 2/(-3). Let a be (48/(-20))/(1/z). Suppose 4*c = -a, -f + 9 = -4*c - 3. Solve -x + 2*x - 2 = f for x.
2
Let r = 9 + -3. Suppose -2*d + d + r = 0. Let f = d + -4. Solve f*y = 7*y - 15 for y.
3
Let t = 20 + -18. Solve -7*x = -t*x for x.
0
Let c(p) be the second derivative of p**5/20 + 3*p**4/4 + p**3 - 3*p**2 + 8*p. Let s be c(-8). Solve 0*m + s = 2*m for m.
5
Let b be 7 - -3 - 0/(-2). Solve 5*v + b = -0*v for v.
-2
Suppose b - 3*j = -8, 6*b - b - 2*j - 12 = 0. Solve 2*n = b*n for n.
0
Let u be ((-6)/(-18))/((-2)/(-6)). Solve -3 + u = x for x.
-2
Suppose -m = 3*d - 10, -m - 4*m - 6 = d. Suppose -3*j - 8 + 5 = 0. Let p = j + 11. Solve -d*f + p = -2 for f.
3
Suppose -5*w - 14 = -p - w, -4*p - 16 = 2*w. Let f be (2 + p)*1 - -3. Solve -f*j + j = -2 for j.
1
Suppose 5*w = 56 + 4. Solve 3*l - w = -l for l.
3
Let m be -1 + (-1 - (-2)/1). Suppose -3*w = -m*w + 6, 3*s - 2*w - 13 = 0. Solve -6 = -3*h - s for h.
1
Let c be 11/3 + 4/(-6). Suppose -f + 10 = -6*f + 4*s, 5*s = c*f + 19. Solve -f*u + 6 = 14 for u.
-4
Let p(q) = -q**2 + 5*q - 4. Let z(g) = -g**2 - 4*g - 1. Let h be z(-2). Let k be p(h). Solve k*o + 2*o = 20 for o.
5
Let g(h) = -2*h - 15. Let a be g(-10). Suppose -a*o - 4 + 24 = 0. Solve -4*j + 8 = -o for j.
3
Suppose -2*n - 2*n - 30 = 5*a, -a + 5*n = 35. Let f be (-4)/a + (-9)/(-15). Let g = -7 - -23. Solve 0 = -5*q - g + f for q.
-3
Suppose -3*b - 2*b + 16 = -3*y, 14 = b + 3*y. Suppose 50 = b*c + 5*z, 5*c + 5*z - z - 49 = 0. Solve -3*v + c = -3 for v.
4
Let j be (-2)/(-9) + (-534)/(-27). Suppose -3*m + j = 2*m. Suppose -4*f + 14 = 3*b, m*b = -2*f - b. Solve -3*i = f - 11 for i.
2
Let b(u) = -u**2 - 3*u + 2. Let h be b(-3). Suppose 5*a + 2*j + 2 = 0, -5*a - j - 2 = -1. Suppose 0 = -a*o + o. Solve 4*m - 3*m + h = o for m.
-2
Let m be 0 + -2 + 2 + 2 - 2. Solve m*k - 1 = k for k.
-1
Let i = -43 + 67. Let h = i + -8. Solve -4*j + h = -0 for j.
4
Let b = -2 - -6. Suppose -4*n - b = 4*q, n - 5*n = -5*q - 5. Let s(w) = 10*w**3 + w**2 - 2*w + 1. Let z be s(1). Solve z + n = 2*k for k.
5
Let h(w) = -w**3 + 3*w**2 + w. Let d be 2/(-2)*(-3 + 0). Let g be h(d). Solve 0*n + g*n - 12 = 0 for n.
4
Let h = 12 - -15. Suppose -4*j + j + h = 0. Suppo