 -2*h + 2 + 2 = 0. Let u be 24/9*s/6. Solve u*k = -0*k for k.
0
Let o be 1/((-1)/10) + -1. Let t(u) = -9*u**2 + 11*u - 11. Let d(r) = -5*r**2 + 5*r - 6. Let p(g) = -11*d(g) + 6*t(g). Let v be p(o). Solve 3*h + 2*h = v for h.
0
Let f be ((-4)/(-20))/((-2)/(-10)). Solve q + 3 = f for q.
-2
Let a = 5 - 3. Let o = 0 + a. Solve o*q = 1 - 5 for q.
-2
Suppose -7*s + 25 = -2*s. Solve -3 - s = 2*a for a.
-4
Suppose 0 = -b - 17 - 14. Let m = b + 14. Let z = 37 + m. Solve z = -2*l + 6*l for l.
5
Suppose 3*m - 19 = -1. Let o = -3 + m. Suppose 3*y = -b + 19, 4*y + y = o*b + 13. Solve -c + 0 = y for c.
-5
Let a(t) = t + 1. Let m be a(-4). Let c be ((-18)/12)/(m/4). Suppose 5*q = 5*g + 10, -c*g = -g - 4*q + 14. Solve 0*z - g = -2*z for z.
1
Suppose -2*q - s = -5*s + 40, 2*s = -2*q - 16. Let x be (4 + -2)/((-2)/q). Let g = 0 - -2. Solve g - x = -2*c for c.
5
Suppose -z - 9 = 24. Let b be (-336)/z + 4/(-22). Let n be (-2 + 4/3)*-3. Solve -n + b = -2*h for h.
-4
Let x = -4 + 4. Suppose -3*p + 9 + 6 = x. Solve 4 = u + p for u.
-1
Let d(w) be the first derivative of -w**4/4 - 10*w**3/3 + 9*w**2/2 - 2*w + 3. Let v be d(-11). Solve 3*z + z = -v for z.
-5
Let o = -10 - -14. Suppose 4*k - 2 = 2*r + 2, -k - o*r = -10. Solve k*b + 3*b - 25 = 0 for b.
5
Suppose v + 2*v = 12. Suppose v*l + 4 = 0, -3*l + 5*l + 4 = y. Solve -n = -y*n for n.
0
Suppose 64 = -52*x + 68*x. Let v(o) = -o**2 - 3*o + 3. Let t be v(-3). Solve -x = -a + t*a for a.
-2
Suppose 2*h - 2 = 0, -2*h - 11 = -3*o + 2. Let z(a) = a - 5. Let c be z(o). Suppose 0 = 4*p - 1 + 5, 2*t + 4*p - 4 = 0. Solve b = -c*b + t for b.
4
Let v = -3 + 5. Suppose 0 = -v*s - 3*s. Suppose s = x + x. Solve 0 = -x*a - a for a.
0
Suppose 0 = -5*o + 8 - 3. Suppose 0 = 7*m - 13*m + 12. Solve p = m*p + o for p.
-1
Let j(u) = 2*u**2 + 10*u - 9. Let q be j(-6). Solve 0 = 3*k - q for k.
1
Let v = 6 - 10. Let j be (-42)/v + 3/6. Let m = 25 - j. Solve -2*l + m = 6 for l.
4
Suppose -4*j + 6 = -j + 3*m, m - 2 = -3*j. Solve j = -4*i + 3*i + 1 for i.
1
Let h(b) = b**3 + b**2 - b + 2. Let n be h(0). Solve -n*f = -5*f + 6 for f.
2
Let x(j) = j**3 + 5*j**2 - 8*j - 8. Let y be x(-6). Solve -u + 6 = -y*u for u.
-2
Suppose 0 = -i - 6 + 11. Solve f - 2*f = i for f.
-5
Suppose 23 = -2*i + 2*k + 93, -5*i + 148 = 4*k. Suppose 4*h - h - 34 = 5*s, 0 = 3*h - 4*s - i. Suppose h*x - 3*x = 0. Solve 0 = -2*d - x*d - 6 for d.
-3
Let x(p) = -2*p - 21. Let m be x(-11). Solve 5*g + 4 + m = 0 for g.
-1
Suppose 0 = r - 7 - 1. Suppose 2 + 3 = 5*y. Let n be (5 - y)*2/r. Solve n = i - 4 for i.
5
Let q be (1/(-2))/(2/52). Suppose -z = -5*z + 16. Let x be z/26 + (-76)/q. Solve x*t - 8 = 4*t for t.
4
Suppose 2*d + d - 3 = 0. Let z(r) = -2*r + d - 4*r**2 + r + 5*r**2. Let g be z(2). Solve 4*f = g*f + 5 for f.
5
Suppose 0 - 4 = -q. Let t = 16 + q. Solve -5 = 5*o - t for o.
3
Suppose o - 15 = -33. Let p = 24 + o. Solve -k + p = 3 for k.
3
Let p(i) = 5*i**2 + 4*i - i**3 - 2*i - 1 - 6. Let q be p(5). Suppose -12 = -r - q*r. Solve -r*t + 10 - 1 = 0 for t.
3
Let x = 5 + -3. Suppose -x*a = 3*a - 20. Solve -s - 5 = a*s for s.
-1
Let l be (-8)/(-16)*(0 - 0). Let d = 4 - l. Solve 4*y + d = -4 for y.
-2
Let h be ((-2)/3)/(18/189). Let z be (-2 + 0 + 2)/3. Let t be (z + -1)*1*h. Solve 19 - t = 4*v for v.
3
Let k be -1*(16 + -1)/(-3). Let i(d) = d**2 - 2*d + 2. Let v be (2/(-4))/((-2)/(-12)). Let s be i(v). Solve s = -k*t - 3 for t.
-4
Let g be (-208)/(-6) - 2/(-6). Suppose 3*x + 6*y = 2*y + 7, -5*x = -5*y - g. Solve 2*n - 12 = x*n for n.
-4
Suppose -6*d + 2*d = 0. Let l(z) = -z**3 + 4*z**2 + z - 2. Let w be l(4). Solve t + d*t + w = 0 for t.
-2
Let d be -2*3/(-36) - 238/(-84). Solve -d*l - 3 + 15 = 0 for l.
4
Let r be (-6)/10*(0 + -5). Let o be 8/12 - ((-2)/3)/(-1). Solve -15 = -r*m - o*m for m.
5
Suppose 20 = 3*v + v - 4*n, 0 = -5*v - 4*n + 16. Solve v*k = k - 9 for k.
-3
Suppose 4 + 8 = 2*j. Solve -3*s - j = -0 for s.
-2
Suppose 0*m + 3*m = 228. Let p be 2/(-6) + m/12. Solve 3*r - r + p = 0 for r.
-3
Let r(x) = 2*x**2 - x. Let b be r(0). Solve -2*o - 2 + 0 = b for o.
-1
Let f be (-6)/5*(-10)/3. Let p = -10 - -15. Solve -f*l + 13 = p for l.
2
Let b be 2/(-6) + -1 + (-38)/(-6). Solve 0 = -4*m - b - 11 for m.
-4
Let d be 1*(5 + 0/1). Suppose 0 = -4*u - 0*u. Let x be (-10)/4*(1 - 3). Solve u = -x*g - 5 - d for g.
-2
Let y be 1 - (-1)/(0 + 1). Suppose -y*o + 10 = -2. Let z be (15/o)/(-5)*0. Solve z*v + 15 = 3*v for v.
5
Let o = -5 - -3. Let t = 8 - o. Solve 0 = 4*b - t + 2 for b.
2
Let s be (-4 - -3) + 1 + 2. Suppose s*j + 25 = 3*j. Solve 2*u - 7*u = j for u.
-5
Suppose 4 = k - p, 2*k = -2*k + p + 13. Solve -c - k + 6 = 0 for c.
3
Let w = -1 + 1. Let o(c) = -3 + 4*c + w - c. Let m be o(2). Solve s - m = -0*s for s.
3
Suppose 15*t + 10 = 20*t. Solve -t*h = -7*h - 25 for h.
-5
Suppose 3*j + 3*y - 6 = 0, 0*j - 3*j + 2*y + 1 = 0. Let u = 1 - j. Solve -n + 0 - 1 = u for n.
-1
Let j = -25 - -27. Solve 0 = -2*l + l + j for l.
2
Let v be 2 - 1 - 45/(-5). Solve 0 = -5*f - v for f.
-2
Let v(a) = -2*a - 9. Let x be v(-6). Suppose -x*j = -6 - 0. Solve 3*i + 5 = j*i for i.
-5
Let o = 10 + -7. Suppose -o*t = 5*r - 18, 0 = r + 4*t - 7. Solve 2*d - r = 1 for d.
2
Suppose 1 = -h - 4, v = -2*h + 69. Suppose -2*o = 5*i - v, -6*i + o = -i - 73. Let n be (i/(-4))/(9/(-48)). Solve -2*s + 7*s = n for s.
4
Let i = -1 - -5. Suppose 0 = 4*l + 16, 0*m - i*m + 5*l + 24 = 0. Solve -m = b + 1 for b.
-2
Let s be (2 - 0/1) + 20 + -15. Solve -5*c - 10 = -s*c for c.
5
Suppose 5*z - 3*s = -3 + 9, -10 = z + 5*s. Suppose 0 = -z*c - c. Let l = -1 - -4. Solve 0 = -c*w + w + l for w.
-3
Suppose s = -s - 6. Let j be -1 - (s - 1) - 2. Let m = 2 + j. Solve -2 = g - m*g for g.
1
Let i = 2 - -3. Suppose 0 = -12*z - z. Solve -w + i = -z for w.
5
Suppose 2*i = -3 + 67. Suppose -3*a - a + i = 0. Suppose -6 = -v - 3*c, -v + a = -4*v + 4*c. Solve v = 2*h - 0*h + 8 for h.
-4
Suppose 5*n + 30 = 5*c, 2*c = -4*n - 2*c. Let o(p) = -p**3 - 4*p**2 - 5*p - 4. Let i be o(n). Let l be -2 + (4 - i) - -2. Solve 0 = l*d + d + 3 for d.
-1
Suppose 19 = 6*m - 5. Solve -5*f = -f - m for f.
1
Let t(f) = -f + 2. Let x be t(2). Suppose x = -11*a + 10*a + 20. Solve -3*u = u - a for u.
5
Let v(n) = -n**3 - n**2 + 2*n - 4. Let w be v(0). Let y be (w + 3)/(0 - 1). Solve s + 0*s = y for s.
1
Let v(o) = -o - 7*o + o. Let g be v(-1). Let j(m) = m**2 - 6*m - 4. Let y be j(g). Solve 2*q = -q - y for q.
-1
Let z = -3 - -13. Let f = z + -7. Suppose 4*o = 3*q + 11, 0 = o - 2*q + 6*q - 17. Solve -o*p + f = -12 for p.
3
Let r be (-4)/6 + 11/3. Suppose 0 = -5*u + s + 3*s + 44, 0 = -5*s + 20. Let w = u + -12. Solve r*l = -w + 3 for l.
1
Suppose d + 3*d - 12 = 0. Let n be (0 - -1)/(d/18). Solve 5*p + n = 3*p for p.
-3
Suppose 0 = -w - 2*w + 18. Suppose 5*y - 28 = -3*q + 22, -q = -y - 14. Solve r = w*r + q for r.
-3
Let s(w) = 4*w + 12. Let a be s(-3). Solve a = 6*c - c - 10 for c.
2
Let t(p) = -p**3 - 9*p**2 + 10. Let r(a) = -a**3 + 4*a**2 + 8*a - 4. Let y be r(5). Let z = y - 20. Let f be t(z). Solve -g - g = f for g.
-5
Suppose 5*a + 2 + 7 = 4*f, -5*f + 5*a = -15. Suppose -2*n + f = 2. Solve -n - 2 = z for z.
-4
Let t be (3/1)/(3/4). Suppose 0 = -3*u + u + 12. Solve -l = -t*l - u for l.
-2
Let a(c) = c**2 - 14*c - 93. Let r be a(19). Solve 5*g = 7 - r for g.
1
Let g = 8 - 3. Let p be g/(-15) + 92/6. Solve 0 = -6*n + 3*n + p for n.
5
Let s(i) = i**3 - 6*i**2 + 7*i - 5. Let v be 5*(2 - 2 - -1). Let f be s(v). Suppose f*u + 0 = 10. Solve t = u*t for t.
0
Suppose 0 = 6*a - 3*a - 69. Solve 4*j - a = -7 for j.
4
Suppose 5*n + 3 = 18. Let k = 8 - 6. Solve -n + 1 = k*l for l.
-1
Suppose 2*t = t. Suppose -w + t*w = -4. Solve c - w*c = -9 for c.
3
Suppose 0 = x - 5*r - 14, 3*r + 14 = -2*x + 4*x. Suppose -1 = 4*v - 2*l - 7, 4*v - 13 = -5*l. Solve -10 = x*t + v for t.
-3
Let h be (6 - 2) + -1*1. Solve 0 = -h*v - 0*v - 12 for v.
-4
Suppose -5*h + 10 = -0. Solve -h + 8 = 2*u for u.
3
Let k = -52 - -52. Solve k*l - 3 = -l for l.
3
Suppose 3*a = -3 + 9. Suppose -a*b - b = -48. Suppose -2*y - b = -4*y. Solve -p + 3 = y for p.
-5
Let b(x) be the second derivative of -x**4/12 + x**3/6 + x**2/2 + 4*x. Let t be b(0). Suppose 2 = y + t, -2*s + y + 5 = 0. Solve 0 = p + s*p for p.
0
Let u = 54 + -51. Solve u*g = -3 - 3 for g.
-2
Let a = -1 - -1. Suppose -5*t - 2*c + 21 = 0, -2*t = t - 5*c