+ 10 = y*h for h.
2
Suppose 0 = -5*c - g - 2*g - 46, -41 = 4*c + g. Let w = c + 15. Suppose -w*j + 4*p - 8 - 4 = 0, -5*j - 3*p = -9. Solve -l + 2*l - 1 = j for l.
1
Suppose 0 = -v + 1, 4*c + v + 3 = 5*c. Let a(u) = u**3 - u - 7. Let h be a(0). Let r = 9 - h. Solve 0 = -0*p - c*p - r for p.
-4
Suppose -5*f - 5*z - 60 = 0, -2*f - 2*z - 34 = 2*z. Let l = 10 + f. Let w be 1/4 - (-27)/4. Solve -l = 5*a + w for a.
-2
Suppose 0*c - 3*c = -6. Solve -2 = -c*r - 0*r for r.
1
Let x be (2 - (-4)/(-2))/1. Solve -s - s - 10 = x for s.
-5
Suppose 4*k + 21 = 3*u, 3*k + 6 = u - 6. Suppose -8*x = -u*x. Solve x = -3*c + c for c.
0
Suppose -6 = -3*a + 3. Suppose -m - a*m - 32 = 0. Let d = -5 - m. Solve d*t = t + 2 for t.
1
Suppose -x + 0*x = -21. Solve -x = 5*r - 1 for r.
-4
Suppose -3*b + 41 = -2*r, -r + 11 = -3*b + 57. Let g = -9 + b. Solve -d - g = -3*d for d.
4
Let t = -23 + 23. Solve p + 2*p - 6 = t for p.
2
Suppose 0 = 8*i - 6*i - 16. Suppose i*d = 9*d - 15. Solve -5*m - d = -5 for m.
-2
Let u(q) = 3*q**2 + 3*q - 1. Let b be u(-2). Solve -b*g = -2*g for g.
0
Let h = -33 + 35. Solve -h*b = -3 - 1 for b.
2
Let o be 0/((0 + 2)/2). Suppose l + o*l - 15 = 0. Suppose 0*t = 5*t - l. Solve t*x = x + 4 for x.
2
Suppose 0*t - 4*t = 0. Let u = t - 0. Let j be 8 + (2 - (6 + -4)). Solve v + v - j = u for v.
4
Let p be ((-12)/(-9))/(2/(-6)). Let a be (-22)/p - 6/12. Solve -a = k - 3 for k.
-2
Let q be 7 + (-3 - 1) + 1 + -1. Let p(z) = -2*z - 1. Let x be p(-2). Suppose -5*b + 2 = 4*l, -x*b - l + 6 = 2. Solve -15 = b*t + q*t for t.
-3
Let q be 4 + -3 + (5 - 2). Let d be 4/q + -4*1. Let y be (d + -2 + 4)*0. Solve j = -y + 3 for j.
3
Let l(s) = -s**2 - 4*s + 4. Let w be l(-4). Solve -w*q + 3 + 9 = 0 for q.
3
Let n be (4 - 3/(-3)) + 0. Let g = -11 - -15. Solve g = -p + n*p for p.
1
Let t(o) = 2*o + 8. Let c be t(-6). Let n be 6/c*(-46)/3. Solve 4*s - 3 = -n for s.
-5
Suppose 0 = -3*z - z + 8. Let a = 3 + 0. Let m be (-7 + 6)*(0 - a). Solve -z*u - 11 + m = 0 for u.
-4
Suppose 0 = -0*w + w. Solve w = 2*l - 4 + 2 for l.
1
Let a(c) = -c - 1. Let n(d) = -5*d. Let f(j) = 2*a(j) - n(j). Let u be f(2). Suppose -2*k + 2 - 4 = -5*x, -3*x - 4 = 4*k. Solve -3*y - u - 2 = x for y.
-2
Let m(h) = 2*h + 18. Let i be m(-8). Solve 3 = j + i*j for j.
1
Suppose -i - 3 = 2*i. Let z = 3 - i. Let q = -4 - -7. Solve z*m - 5 = q for m.
2
Let l(h) = -h**2 - 10*h - 4. Suppose 2*v = m + 3, 2*m + 3*v = 5*v - 12. Let j be l(m). Solve 0 = -j*w + 3 + 7 for w.
2
Let k be ((-17)/(-51))/(1/24). Solve -k*n = -3*n for n.
0
Suppose m + 5 = 0, -5*h + 0*h + 2*m + 35 = 0. Solve -1 = h*a - 4*a for a.
-1
Let g(a) = -5*a**3. Let f(u) = -u - 1. Let h be f(-2). Let p be g(h). Let k(o) = -2*o + 2. Let d be k(p). Solve c - 5*c = d for c.
-3
Suppose 4*w = -0*w + 64. Solve 0 = 4*a - 0 + w for a.
-4
Let h be ((-102)/(-10))/3 + (-48)/(-80). Solve -2*u + h*u - 4 = 0 for u.
2
Let v = -13 + 6. Let k = 7 + v. Solve -z + k + 3 = 0 for z.
3
Let b(x) = x**3 + 5*x**2 + 2. Let z be b(-5). Suppose -8*f = -16*f. Solve -s + z*s - 3 = f for s.
3
Let l = -8 - -14. Suppose -l*k = -k - 35. Solve 3*q + 8 = -k for q.
-5
Suppose -3*h = -h - 4. Let v = 4 - h. Let p(b) = -b**3 - 5*b**2 - 6*b - 5. Let t be p(-4). Solve -t*c + v = 17 for c.
-5
Let b be (-276)/(-14) + 90/21 + -4. Solve s = 5*s - b for s.
5
Let x = -13 - -15. Solve 2*y = -x*y + 8 for y.
2
Suppose -c = -3*c + 6. Suppose 5*w - 5*k = w, k = c*w. Solve -2*g + w*g - 8 = 0 for g.
-4
Let t = -28 + 8. Let l be ((-2)/(-2))/((-2)/t). Suppose 0 = -3*v + 5 + l. Solve 3*k + 6 = v*k for k.
3
Let x be (-143)/(-44) + 1/(-4). Solve x*b = -0*b for b.
0
Suppose 8*d + 6*d = 70. Solve -3*j = 4 + d for j.
-3
Let f(k) = -3*k - 4. Let g be f(-3). Suppose -a + 3 = 2. Solve 0 = g*t + 21 - a for t.
-4
Let v = 37 + -33. Solve -f - v = -0*f for f.
-4
Suppose -3*i + 4 = -5. Suppose -2*c = 4*k - 10, 2*c - 7*c + 12 = -i*k. Solve -c*b = 2*b - 20 for b.
4
Suppose -7*x = -3*x - 20. Let c(p) = 5 - x + 0 + 2 - p. Let a be c(2). Solve 0*s - 2*s = a for s.
0
Let i(p) be the first derivative of 2 + 2*p - 1/2*p**2. Let m be i(2). Solve m = 4*k + 4 + 4 for k.
-2
Let a be ((-30)/24)/(1/(-4)). Let z = a + -1. Solve -g + z*g = 0 for g.
0
Let l(o) = o**2 + 5*o + 7. Let i be l(-5). Let u be 7/(-2)*(-12)/i. Solve 2 = 2*p - u for p.
4
Let f(n) be the third derivative of 7*n**4/24 + n**3/6 + 2*n**2. Let y be f(1). Let b be 0 - 3*(1 - 5). Solve y + b = 5*k for k.
4
Suppose -5*u - 25 = 0, u = -p - 2 - 1. Suppose -p*s - s = 0. Solve s = z - 2 for z.
2
Suppose 19 - 91 = 3*a. Let z be 10/3 + a/(-36). Solve -5*d + z = -11 for d.
3
Let k = -9 - -13. Suppose -4*i + h + 25 = 0, -2*i = h - k*h - 5. Solve -5*r - i = 8 for r.
-3
Suppose -s - 7 = -5*x + 3*s, -5*s + 13 = x. Solve x = -4*t + t for t.
-1
Suppose -5*c - 10 = -5*k, -c - 3*c = 0. Suppose 0*d = 3*d - 9. Suppose -o + f + 12 = 0, -5*f + 9 - 53 = -d*o. Solve -k*s + 2 + o = 0 for s.
5
Let s be -1 - -1 - (-3 - -2). Suppose -s = -v + 1. Solve v*d + 2 = -0 for d.
-1
Let i(r) be the first derivative of r**2/2 - 5*r + 4. Let u be i(5). Solve -b = -u*b + 5 for b.
-5
Let k = -7 - -8. Solve -7 = -3*w - k for w.
2
Suppose -4 = 2*h - 0*b - 4*b, -2*h - 2 = -3*b. Let y = -8 + 11. Solve -y + 13 = h*g for g.
5
Suppose -9*g = -g. Solve g*m + m = 5 for m.
5
Suppose 10 = 8*y - 22. Solve -y*b + b = 0 for b.
0
Suppose 5*h + 12 = -5*q + h, 0 = 2*q + 4*h + 12. Let z be ((-1)/1)/(1/(-2)). Suppose 5*i - 3*a = a - 3, -4*i + a + z = 0. Solve c + 2 - i = q for c.
-1
Suppose -4*m - 3*d = -15, 3*d + 3 = 6*d. Solve m*j = 7*j for j.
0
Let y = 157 + -152. Solve -17 = 3*v - y for v.
-4
Suppose 5*m + 5 = 0, -2*n + 5*m - 5 = -0*n. Let q = -1 - n. Suppose j - q = -j. Solve 0 = -l - 1 - j for l.
-3
Let q be -1*2*(-21)/6. Solve 0 = q*b - 3*b - 12 for b.
3
Let u(q) be the third derivative of -q**4/24 - q**3/2 - 2*q**2. Let n be u(-8). Solve 4*z - 1 + n = 0 for z.
-1
Let b(z) = 2*z**2 - z**2 + 0 + 0 - z. Let s be b(-1). Solve s = p - 1 for p.
3
Suppose 34 + 21 = 3*u - 5*z, -5*z = -4*u + 65. Suppose 2*k = -0*k + u. Solve 10 = -5*v - k for v.
-3
Let k = -1 - -6. Let z(q) = 7*q**2 + 4*q - 5. Let w(p) = 4*p**2 + 2*p - 2. Let t(s) = -5*w(s) + 3*z(s). Let u be t(-4). Solve -1 = u*r + k for r.
-2
Suppose -25 = -4*p + 27. Let a be (1 + -2 + 2)*2. Suppose -5*s - 10 = -5*y, -4*s - p = -a*s - 5*y. Solve 3 - s = 2*b for b.
1
Suppose 25 = -3*z + 8*z. Solve -z + 8 = -3*w for w.
-1
Let f = 61 - 59. Solve a = -f*a for a.
0
Let x(t) = t. Let m(w) = -2. Let v(d) = m(d) + 3*x(d). Let c be v(-2). Let q(r) = -r**3 - 9*r**2 - 8*r. Let b be q(c). Solve 2*a + 2*a - 12 = b for a.
3
Let i(k) = k**3 - k**2 - 4*k - 1. Let j be i(3). Suppose j*u - 2*u = 36. Solve 4*p - u = -0*p for p.
3
Let b(g) = -2*g + 10 + g - 3. Let r(d) = -d**2 + 12*d + 5. Let a be r(12). Let z be b(a). Solve 4 = -z*i + 8 for i.
2
Suppose -3*d - 27 = -3*m, 5*m + d - 18 = -3*d. Suppose 5*a + 10 = 5*i, -3*i = -5*a + m*a - 6. Solve -2*z = i*z for z.
0
Let z = 13 - 10. Solve 10 = -z*l + l for l.
-5
Suppose -3 = -3*z + 6. Solve -2*h - z*h = 10 for h.
-2
Suppose 0*m - 24 = -4*m. Suppose 0 = -c + m*c - 50. Suppose 3*j = 31 - c. Solve -10 = j*q - 2*q for q.
-2
Suppose 0*x + 65 = 5*l + 5*x, l = x + 5. Let t = l - 7. Solve y - 3 = t for y.
5
Let h(r) = 2*r**2 - 3*r. Let k be h(3). Let g be (2/(-6))/((-1)/k). Suppose 3*p = 2*p + w - g, 5*p + 5*w - 15 = 0. Solve 2*j - 8 - 2 = p for j.
5
Suppose 10 = -3*n + 4*h, 3*n - n - 8 = -h. Solve n*k = -2*k for k.
0
Suppose -2*k - 5 = f, -2*k + 2 = 2*f + 12. Let v = 26 + -23. Suppose -v = -4*j - j + p, 12 = -4*p. Solve k = -5*l + 5 - j for l.
1
Let v(p) = 2*p**2 - 7*p. Let m be v(4). Solve 0 = -m*n - 0*n - 16 for n.
-4
Suppose 3*w - 11 - 1 = 0. Solve -15 + 3 = w*p for p.
-3
Suppose 4*v = -5*p, 4*v - 2*p + 4*p - 12 = 0. Solve v*g + 1 = -4 for g.
-1
Suppose -17*x + 16*x + 3 = 0. Solve -8 = -5*y + x*y for y.
4
Let t(o) = -o**3 - 5*o**2 + 7*o + 8. Let u be t(-6). Solve 2*x + 2 + u = 0 for x.
-2
Suppose z = -3*x - 7, -6*z = -3*z - x - 9. Suppose -2*f + 0*f = 5*u - 35, z*u = 2*f. Solve -2*q - 15 = -u*q for q.
5
Let a(r) = -8*r**2 + 2*r + 5*r + 11 + r**3 - 7. Let n be a(7). Solve 2*c - 10 = n*c for c.
-5
Let z = -90 + 94. Solve -z*b - 8 = -28 for b.
5
Suppose -4*w + 8*w - 43 = 3*r, -5*w - 4*r = -15. Solve -3*f = -w*f for f.
0
Let z = 3 + 1. Let i(o) = -2 - z*o*