Let w = 7 + -1. Solve 0 = w*z - z for z.
0
Let p(r) = r**2 - 6*r + 4. Let q be p(5). Let y = 2 - q. Solve 0 = y*c - c for c.
0
Suppose -37 = 5*z + 4*g - 4, -4*z + 4*g = 12. Let f(r) = 1 - r - 5 + 2. Let v be f(z). Solve 0 = -v*n + 5 - 2 for n.
1
Let t be 6/(-30)*-3*30/9. Solve -y + 12 = t*y for y.
4
Let h be ((-18)/27)/((-10)/6 + 1). Solve -l - h = -0*l for l.
-1
Let n = -8 + 13. Let f(s) = 3 + 3 - n*s + 4*s. Let o be f(0). Solve l + 2*l = -o for l.
-2
Suppose -4*q - 12 = -3*x - 0*x, -3*q = -4*x + 16. Let y = -12 + 14. Solve -x = -y*u + u for u.
4
Let v = -23 + 23. Solve 3*y - 2*y = v for y.
0
Let k be 0/((32/2)/(-4)). Solve k = 3*y - 7*y - 20 for y.
-5
Suppose k + 10 = 6*k. Suppose -3*w = -k*w. Solve -4*i + 0*i - 4 = w for i.
-1
Let g = 0 + 3. Let w be (0 - 1) + 2/2. Solve -c + 0*c + g = w for c.
3
Suppose 73*k - 77*k = 0. Let t(a) = 3*a**2 - 2*a + 5. Let c be t(4). Suppose 5*y = 5*s - c, 0 = -3*s + 3*y + 2*y + 37. Solve k = s*q - q + 9 for q.
-3
Let c(j) = 2*j**2 - 2*j + 1. Let b(m) = m**2 - m + 1. Let w(x) = 5*b(x) - 2*c(x). Let z be w(0). Solve a = z*a for a.
0
Let v = 64 - 38. Suppose 40 = 4*h - 4*u, -h - 3*h = 3*u - v. Let b(y) = y**3 - 7*y**2 - 6*y + 9. Let x be b(h). Solve 0*m - x = 5*m for m.
-5
Suppose 12 = 4*a - a. Let q = 3 - 3. Let y = 10 + -6. Solve a*h = -y - q for h.
-1
Let z = -22 - -24. Solve 4*x = -2 - z for x.
-1
Suppose 0 = -4*f + 4 + 12. Suppose 0 = -x, 1 = -2*y + f*x + 5. Solve -y*i = -6*i for i.
0
Suppose 6 = -0*r + 3*r. Suppose -3*s + 10 = -r*s. Solve -2*b - 3*b + s = 0 for b.
2
Let v(b) = -8*b**3 + b + 1. Let l be v(-1). Let a = l + -3. Suppose 0 = -g + a*g - 12. Solve g*i - 1 - 14 = 0 for i.
5
Let x be ((-108)/90)/(3/(-10)). Solve -x + 1 = -a for a.
3
Let z be (-4)/(-6) - 4/(-3). Let u be (z - 0)/(10/(-15)). Let w = 2 - u. Solve -w*g + g + 20 = 0 for g.
5
Let w = 29 - 27. Solve -n + w*n = -1 for n.
-1
Suppose 2*q = -0 + 4. Let j(d) = -5*d - 2. Let v be j(-10). Suppose -2*t + 2*s = -38, -q*t - 2*t = 3*s - v. Solve a - t = 6*a for a.
-3
Let d = 1 + -1. Solve s + 3*s - 20 = d for s.
5
Let q be 3 - 0*(-1)/4. Solve y - 1 = q for y.
4
Suppose -4 = w - 2*w. Suppose 0 = l - 3*a - 2*a + 12, 0 = -w*l - 5*a + 27. Solve -t + l*t + 8 = 0 for t.
-4
Let g = -19 - -22. Solve 20 = 2*n + g*n for n.
4
Suppose -2*j - p + 11 = 0, -4*j - 4*p = -5*j + 1. Solve 3*c = -2*c - j for c.
-1
Let i(t) = -t - 7. Let y be i(-8). Let p = y + 1. Suppose -p*z - 3 = 5*r, 2*z = -0*z + r + 3. Solve -5 = -3*a + z for a.
2
Let g(m) be the second derivative of m**3 - m**2 - 10*m. Let f be g(1). Solve -3 = f*l - l for l.
-1
Let u = 5 + -4. Suppose -5*j + 10 = -i, -2*i - 3 = -4*j - u. Solve j*z = 8*z + 15 for z.
-3
Let y be (-2)/3 + ((-192)/9)/(-8). Let i = -2 - -3. Solve -y*v + 5 = -i for v.
3
Let q = 13 - 9. Solve -7*i + q = -3*i for i.
1
Suppose -2*t = -2*s - 2, 0*s + 16 = 4*s + t. Solve -p = -s*p - 4 for p.
-2
Let d = 9 - 7. Solve 3*g + d = g for g.
-1
Let q(m) = m**2 + 3*m - 2. Let s be q(-5). Solve 3*t - 5*t + s = 0 for t.
4
Let x(a) = -a**2 - a. Let n = -10 + 10. Let s be x(n). Solve 4*m - 1 + 17 = s for m.
-4
Suppose i + 3*i + 4*q - 56 = 0, 0 = -2*i + 3*q + 23. Let v be i - (1 + -3)*-1. Solve -v - 1 = -4*x for x.
3
Let k(i) = i. Let y(j) = 10*j + 6. Let g(w) = 22*k(w) - 2*y(w). Let h be g(8). Solve 0 = h*a - 8 - 8 for a.
4
Suppose -3*w + 6 = -4*x + 6*x, -3*w + 18 = 4*x. Solve -3*j = -j + x for j.
-3
Let r be -1 - (-3 - (2 - 4)). Solve r = h - 3*h + 2 for h.
1
Let q be ((-10)/(-6))/((-1)/3). Let t be (q/(-2))/((-1)/(-2)). Suppose 15 + 10 = t*j. Solve -i = 1 - j for i.
4
Let z(w) = 9*w. Let o be z(3). Suppose 0 = -2*h + 5 - o. Let i be 0/h - (-6 - -1). Solve 3*q - 4 - i = 0 for q.
3
Let j(x) = 3*x**2 + 42*x - 3. Let z be j(-14). Let s(n) be the first derivative of n**3/3 + 3*n**2/2 + 4*n - 1. Let h be s(z). Solve 0*i - h = -i for i.
4
Suppose 0 = 4*j - 2*m - 16, -2*j = -0*j + 2*m + 4. Solve 2*c = c - j for c.
-2
Suppose 0 = 5*t + 2*b + 9 - 3, 0 = -3*t + b + 3. Solve t = -5*j + 6*j for j.
0
Let m(h) be the third derivative of h**5/60 + 5*h**4/24 + 8*h**2. Let l be m(-5). Let j(t) = -t + 8. Let x be j(6). Solve x*p + 0*p = l for p.
0
Let t = 10 + -9. Solve 6 = -b + t for b.
-5
Suppose -3*b + 3 = 3*m, 4*b = 2*m - 3*m + 13. Let u be 6*2/b*1. Suppose -u*g + 2*l + 13 = 2*g, 14 = 3*g + 5*l. Solve g*p = -0*p for p.
0
Suppose -2*f - 2*a - 2*a + 2 = 0, -3 = -f - a. Let r = 0 + f. Suppose -r*j - 3*o + 7 = -2*o, -5*o = 15. Solve -t = j + 3 for t.
-5
Suppose 8*u + 15 = 3*u. Let s be u/(-1 - 2) + 1. Solve -4*z - s = 10 for z.
-3
Let g = -25 + 28. Solve 1 - g = 2*q for q.
-1
Suppose -8 = 3*i - 5*i. Solve i = g - 0*g for g.
4
Suppose -3*d = 3*s, 2*s + 13 = -5*d - 2. Suppose -s = v + 4*v. Let z = 2 - v. Solve z = 5*q - 2*q for q.
1
Suppose 3*j - j + 6 = 0. Let t(c) = -c**2 - 5*c - 3. Let d be t(j). Suppose 0 = d*h - 0*h + 2*p - 14, -h = -4*p. Solve 0 = h*f - f + 6 for f.
-2
Let s(d) = -3*d**2 - 3*d + 2. Let v be s(-2). Let t be (-8)/(3 + 0 + v). Solve 0 - t = 2*x for x.
-4
Let g be (-1)/(-3) + (-56)/(-12). Let t = g + -5. Suppose 3*x + x - 8 = t. Solve -5*v - x = 18 for v.
-4
Let p be -4*4/(-8) - 6. Let o = p + 4. Solve -3*z - 2*z = o for z.
0
Suppose -4*a = 2*j - 30, -3*j + 20 = 3*a - 2*a. Let l be (-4)/(-10) - (-3)/j. Solve -5 + l = 4*z for z.
-1
Let f(p) = p**2 - p - 5. Let b be f(-4). Let q = -9 + b. Solve q*u - 9 = 3*u for u.
3
Let b = 8 - 5. Suppose b*y + 7 = 5*h - 8, 4*h + y - 12 = 0. Solve -4 + h = z for z.
-1
Let g(s) = -s**2 + 19*s - 16. Let h be g(18). Solve h = -3*r - 4 for r.
-2
Let a = 51 + -105. Let r be (-4)/(-18) - (-12)/a. Solve -3 = -r*y + y for y.
-3
Let x = -75 - -79. Solve n = x*n for n.
0
Suppose -3*r = -2 + 8. Let l(i) = 2*i**2 + 3*i + 3. Let g be l(r). Solve g*x - 12 = x for x.
3
Let l(y) = -y**3. Let o(d) = -6*d**3 - 10*d**2 - 2*d - 15. Let q(b) = 5*l(b) - o(b). Let i be q(-10). Let g be (-14)/35 - 12/i. Solve m + g = -2 for m.
-4
Let h = -9 + 19. Solve 0 = -h*g + 7*g for g.
0
Let d(p) = -8*p**3 - 16*p**2 + 29*p + 11. Let f(g) = -3*g**3 - 5*g**2 + 10*g + 4. Let m(n) = -4*d(n) + 11*f(n). Let z be m(8). Solve -8*a = -4*a - z for a.
4
Suppose 5*t = -2*c + 10, -2*t + 2 = -t - 4*c. Let j = t + 2. Suppose 0 = -5*a + 10. Solve j*n - a*n + 8 = 0 for n.
-4
Let s be 6048/234 + 2/13. Solve -10 = -4*b - s for b.
-4
Suppose -7*v = -3*v - 20. Let k(s) be the second derivative of -s**5/20 + 5*s**4/12 + s**3/3 - 7*s**2/2 + 5*s. Let a be k(v). Solve -1 = 2*y - a for y.
1
Let k = -87 - -91. Solve k = y - 0*y for y.
4
Let g be (-32)/(-6) + 4/6. Let z = 0 + 8. Let l = -6 + z. Solve -g*n = -l*n - 8 for n.
2
Let o = -101 + 121. Solve 4*v + o = -0*v for v.
-5
Let v(o) = o**3 - o. Suppose 0 = -2*z + 5*z. Let m be v(z). Suppose 5 = n + 1. Solve m = -n*a + 1 + 7 for a.
2
Suppose 2*m + 3*s - 14 = -0*s, 2*m + 5*s - 18 = 0. Let g be 954/198 + (-4)/(-22). Suppose -5 + 20 = 3*y. Solve g*q + y = m*q for q.
-5
Suppose -1 = t + h + h, 3*t - 2*h = 5. Solve t = -3*g + 7 for g.
2
Let j = 16 - 13. Suppose j*n = 2*t - t + 15, 5*t - 20 = -4*n. Solve 0 = 4*p - t*p + 16 for p.
-4
Let o = -2 - 5. Let f(w) = -w - 4. Let s be f(o). Let r be (1 + -26)*(-6)/15. Solve -2*b + r = s*b for b.
2
Let q(d) = d**3 + 8*d**2. Suppose 0*x - 24 = 3*x. Let i be q(x). Solve -3*b = -i*b - 15 for b.
5
Let n be 2/(-4) - (-20)/8. Suppose -5*i - 5*s = -4*i + 8, 5*i - 44 = -4*s. Suppose -4*k + k = -4*w + 18, i = 3*w - 3*k. Solve -5*d - w = -n*d for d.
-2
Let r(s) = -s**2 + 7. Let h be r(0). Solve -10 = -2*j + h*j for j.
-2
Let r be 1 + -1 + (0 - -2). Suppose -7*n = -r*n. Let v be (-7 - -5)*(-3)/2. Solve n = -g - v*g for g.
0
Suppose -u + 4*t + 3 = -0*u, 4*u + 5*t = -30. Let s be (-6)/u*10/(-3). Let j = 11 + s. Solve -y - j = -3 for y.
-4
Let b = 1 - 1. Let c = 21 - 18. Solve b = 6*t - 3*t - c for t.
1
Let c be ((-4)/((-8)/6))/(9/6). Solve 2*p + c*p = -16 for p.
-4
Let m = 2 - -2. Suppose -m*q - 3*x + 44 = 0, 0*q - 2*q + 36 = 5*x. Solve 6*l - q = 4*l for l.
4
Let x(c) = c**2 + 14*c + 14. Let s be x(-13). Solve s + 0 = -h for h.
-1
Let x be ((-14)/21)/(2/(-3)). Suppose -z - 1 = -v - 5, -3*z + 16 = -5*v. Solve 0 = -a - z - x for a.
-3
Let c(o) = 2*o - 4. Let v be c(3). Let l(d) = -d - 5. Let h be l(-11). Solve v*x + h = 4 for x.
-1
Suppose -12 + 502 = 5*g. Let o = g + -6. Let w be (-6)/33 + o/22. Solve -w*y +