Solve g = 2*c + 10 for c.
-4
Let t(d) = d + 1. Let a be t(4). Suppose -s + 18 = -0*h + 3*h, -4*s + 23 = a*h. Solve -2*f - h + 1 = 0 for f.
-3
Let n = -13 - -28. Solve -f - n = 4*f for f.
-3
Suppose 2*t - 6 = 2*g + g, 2*t - 4*g = 6. Suppose 23 = t*x + 2*z + 2*z, -2*x + z = -8. Solve -4*b + x = 1 for b.
1
Suppose b - 6 = -b. Let q be 3 - 0*2/(-4). Solve -b*z + q = -3 for z.
2
Suppose 3*y - 7*y = 4. Let g = 2 - y. Solve t + 8 = -g*t for t.
-2
Suppose 6*o = o. Let z(b) = b**3 + 11*b**2 + 11*b + 9. Let r be z(-10). Let c be o/(-1)*(-2 - r). Solve 0*g + 5*g + 15 = c for g.
-3
Suppose 24 = -3*d - 5*b, 0 = 5*d - 4*b + 2*b + 40. Let h = d + 12. Solve -n - n = h for n.
-2
Let s(y) = -2*y - 3. Let r be s(6). Let k = r - -27. Solve -c + k = 2*c for c.
4
Suppose 5*x + 29 = -11. Let n be (-2 - -2)/(x + 5). Solve n*l - 25 = 5*l for l.
-5
Let r be 1*((-30)/9)/((-6)/27). Suppose 2*h + o = 6*o - 13, 4*h + 4*o - 44 = 0. Let p be h/10*(-5)/(-1). Solve p*l + r = -0 for l.
-5
Let v(g) = -g**2 + 4*g + 5. Let h be v(4). Let z = h - 2. Solve -z*k - 6 = -0 for k.
-2
Let q(l) = l**3 + 20*l**2 + 37*l + 20. Let a be q(-18). Solve 3*p + a*p + 15 = 0 for p.
-3
Let d be ((-44)/12 - -4) + 23/3. Let s be (-3)/9 + (-2)/(-6). Solve s = p - 4 + d for p.
-4
Suppose l + 4*h = -16, -12 = -l - 2*h + 5*h. Solve -2*n + l*n = 0 for n.
0
Let h = 25 + -5. Solve -l - h = 4*l for l.
-4
Let n(b) = -2*b - 4 - 1 + 1 + b. Let h be n(-6). Solve -i - 15 = h*i for i.
-5
Suppose -67*q = -66*q - 6. Solve 3 = 3*f - q for f.
3
Let l = -17 - -20. Let p = 17 + -10. Suppose -3*c + p = -5. Solve c*u = l*u + 4 for u.
4
Suppose x + 4 = 5*o - 1, -o - 4*x - 20 = 0. Solve 4*n + 4 = -o for n.
-1
Suppose -4*k + 8*k + 24 = 0. Let g(b) = 2*b**2 - b + 6 - 3*b**2 - 4*b. Let y be g(k). Solve y = -2*r + 13 - 3 for r.
5
Suppose -71*i - 10 = -76*i. Solve i = -n - 0*n for n.
-2
Let c be ((-1)/(-8) - 15/24)*0. Solve c = -6*s + s + 5 for s.
1
Let s be -6 - (-1 + 1)/(-3). Let w(h) = -5*h - 2. Let k be w(s). Solve 5*o + k = 8 for o.
-4
Let n = -38 + 53. Suppose d - n = -2*a, d = -5*a - 6 + 36. Solve 3*k - d = 10 for k.
5
Suppose 4*a - 5 = -5*h + 5*a, a = h + 3. Let m = -1 + 1. Solve h = -c - m for c.
-2
Let j be (0/1)/(2 - -1). Solve 0 = -l - j*l for l.
0
Let l = -34 - -37. Suppose 2*c - 4*u - 14 = 0, 2*c - c - 4 = -u. Suppose -c*v + l*v = -4. Solve -y = -v*y + 5 for y.
5
Let z(g) = g**3 - 4*g**2 + 4*g - 3. Let r be z(3). Let c be 0 + r - 11*-2. Suppose 0 = v - 4, -2*a = a + 4*v - c. Solve a = -t + 5 for t.
3
Suppose 0*f + 6 = 2*f. Suppose 0 = -f*x + 9 - 0. Solve -x*w - 2*w = -10 for w.
2
Let x = 1 - -4. Let y(i) = i**2 - 5*i. Let z be y(x). Solve -3*t - 2*t = z for t.
0
Let f = 31 + -30. Solve f = -0*z + z for z.
1
Suppose 9 = -h + 3*a, 5*h - 50 = 6*a - 10*a. Let n be (-7)/(-2) + 2/(-4). Suppose 2*i = -r - 4, 2*r + r + 4 = -2*i. Solve -n*g + h = -r*g for g.
2
Let w(n) = -6*n**2 - 7*n - 2. Let s(c) = -7*c**2 - 8*c - 2. Let v(l) = 4*s(l) - 5*w(l). Let q be v(-2). Solve -4 - 16 = q*g for g.
-5
Let c = 56 - 55. Solve 2*m = 3 - c for m.
1
Let a = 1 + -1. Let r = 1126 - 1118. Solve a = 4*m + 12 + r for m.
-5
Let u be 63/(-15) + 4 - (-22)/10. Solve -u*p = 2*p for p.
0
Let n be 18/8 - 1/4. Suppose -b + 2*x = 4, -3 = 4*x - 15. Let u = 13 + -10. Solve n = -b*a + u*a for a.
2
Suppose 2*s = 4, -1 = -4*d - 4*s + 11. Solve -6 + d = -m for m.
5
Suppose -6 = -t - t. Suppose -3*i = -u + i + 22, 4*u - 5*i - 33 = 0. Suppose -t*h - u*h = 0. Solve -3*y + h*y = 9 for y.
-3
Let r be 2 - 2 - -2 - -13. Suppose 0 = f + 3*f - 20. Suppose 3*b - f - 13 = 0. Solve b*j - j + r = 0 for j.
-3
Suppose -5*s - 12 = -7*s. Solve s*a = 2*a + 12 for a.
3
Let t = 9 + -6. Suppose -134 + 41 = -t*f. Solve -4*w = 11 - f for w.
5
Let z be (-12)/(-4) + (2 - 2). Suppose 4*j = 5*d - 11, z*j - 6*j + 3 = 0. Solve k + 0 + d = 0 for k.
-3
Suppose 5*c + 4*k = 5*k + 14, -24 = -4*c + 4*k. Solve 3*u = c*u - 5 for u.
-5
Suppose -2*s = -4*s. Let w = 6 - 5. Solve 3*u - w - 5 = s for u.
2
Suppose 4*a = -3*a. Solve a = -t - 0*t + 5 for t.
5
Suppose -5*r = -4 - 1. Let y = 3 - r. Solve -7 = y*b - 1 for b.
-3
Let i(n) = n - 2. Let o be i(9). Suppose -3*k + 8 = a + 3, 0 = 2*k - 3*a - o. Let s be (-3 - -1)/((-2)/k). Solve f = -s*f + 3 for f.
1
Let a be 6/4*16/(-12). Let h = 4 + a. Solve 5*q = h*q - 6 for q.
-2
Suppose 4*x - 44 = 5*r, 2*x + 2*r = 5 - 1. Solve -g + 2 - x = 0 for g.
-4
Let p be (-1 + (-2)/(-12)*-2)*-3. Solve 0 = p*k - k for k.
0
Let j be (0/(-3))/(-3) + 2. Solve -6 = g + j*g for g.
-2
Let y be (2 - 7) + (14 - 7). Solve -y*o + o = 0 for o.
0
Suppose -r + 5*r + 93 = 5*j, 2*r - 4*j + 54 = 0. Let a = r + 37. Solve 5*b - a = b for b.
5
Suppose -15 - 3 = j. Let r = -13 - j. Suppose r*a - 19 = -m - 2*m, -2*m + 16 = 5*a. Solve 0 = -a*x + 5*x - 15 for x.
5
Let p(o) = -o**3 + 11*o**2 - 10*o. Let q be p(10). Let y be (-2 + 3 + q)*0. Solve y = -4*m - 8 + 4 for m.
-1
Suppose 2*g + 2*g - 4 = 0, 4*g - 14 = -5*y. Suppose -6 = -5*i - y*w + 22, i - 2*w + 4 = 0. Suppose -6 = -3*d - 5*k, -3*k + k = i*d - 8. Solve u + d = -1 for u.
-3
Let f = 2 + -5. Let a be (2/f)/((-6)/27). Let h be ((-2)/6)/(1/(-9)). Solve -a*q = -h - 3 for q.
2
Let q(u) = -u**2 + 3*u - 3. Let d be q(3). Let g be 1 + (8 - 0/d). Suppose g = p + 2*p. Solve m + p = 2 for m.
-1
Let s = -29 + 22. Let l = 4 - 15. Let c = s - l. Solve 0 = -c*h + h for h.
0
Let h = -1 + -2. Let k(g) = -2*g - 3. Let j be k(h). Suppose -3*m = -j*v, 3*m - 7*m = 0. Solve v + 3 = -i for i.
-3
Let y be 19/(-3) + (-1)/(-3). Let j = -14 - y. Let m be (-126)/(-24) - 6/j. Solve k - m + 3 = 0 for k.
3
Suppose 5*i = 6*i - 7. Solve -9*s = -i*s for s.
0
Suppose -2*x - 16 = -2*q, 7*x = 2*q + 3*x - 22. Solve q = g - 0*g for g.
5
Suppose h - 5*h - 8 = 0. Let y be 8/(-36) - h/9. Solve 6*f - 2*f - 16 = y for f.
4
Suppose -6*k = -4*j - 11*k - 10, 2*j + 10 = -5*k. Solve -r + 5*r = j for r.
0
Suppose g = 3*k - 18, -k - 4*g - 3 = 4. Let u = 347 - 344. Solve k = 2*b + u for b.
1
Suppose 5*a + 6 = v + 2*v, -3*v - 5*a + 6 = 0. Suppose y - 5*c - 27 = 0, 0 = -2*c - 8 + v. Solve 0*h + 4*h = -y for h.
-3
Suppose 0 = 2*a + 2*a - 20. Suppose -a*i = -0 - 25. Solve 0 = i*f - 23 + 3 for f.
4
Suppose j = -3*j + 36. Let c be (-116)/(-12) - (-3)/j. Solve -2*i = 3*i - c for i.
2
Let r be -3 - (264/(-55) - 1/5). Solve -3*t - 5 = r*t for t.
-1
Let s = -14 - -14. Solve s = -x - 3*x + 20 for x.
5
Let t = 15 - 12. Let p = 1 + -1. Solve -t = -a - p for a.
3
Suppose 0 = 4*j - 10 - 10. Solve c - j = 2*c for c.
-5
Let r(c) = c**2 + 3*c - 5. Let l be r(-4). Let b be l + 2 - (-18 + -1). Suppose -2*a = -3*a + 4. Solve 0*z - a*z = b for z.
-5
Let x(h) = h**3 - 5*h**2 - 5*h + 9. Let t be x(6). Solve 5*y + 0 = -t for y.
-3
Suppose -4*f - f = -50. Let o = -10 + f. Solve -2*q - 2*q + 8 = o for q.
2
Suppose 3*c + 1 - 7 = 0. Solve -c = 2*r - 4 for r.
1
Suppose 4*q = 12 + 8. Suppose -q*l = a, 0 = a + 2*a - l. Suppose 2*m + a*m - 8 = 0. Solve 3*v = m - 1 for v.
1
Let x = 78 + -75. Solve -1 = -4*h + x for h.
1
Let h(c) = -3*c**2 - 3*c + 8. Suppose 0 = -0*v + 5*v - 15. Let t(z) = -2*z**2 - 4*z + 7. Let n(y) = v*h(y) - 4*t(y). Let w be n(6). Solve -x = -w*x for x.
0
Let p(m) = -m**2 - 8*m - 11. Let h be p(-3). Solve c + 5 = -h*c for c.
-1
Let q = -16 + 22. Suppose q*v - 2*v = 8. Suppose -2*k - b + 3 = 2*k, -3*b = -3*k + 21. Solve -v*h = -4*h + k for h.
1
Let j(v) = 2*v - 8. Let o be 160/26 - (-6)/(-39). Let z be j(o). Solve 0 = -4*b + 4 + z for b.
2
Suppose 6*g - 28 = 8. Solve -3*o + o + g = 0 for o.
3
Let h(n) = -28*n. Let c be h(-1). Suppose 3*y - 5*g + 4*g + 2 = 0, c = 3*y + 5*g. Solve -y = -v + 2 for v.
3
Let w = 9 - 5. Suppose -2*h + 3 + 5 = 4*z, 16 = w*h - z. Solve 20 = h*f + f for f.
4
Suppose -12 = -3*n - 4*t, 2*t + 3*t = -3*n + 15. Solve -5*v - 5 = -n*v for v.
-1
Suppose -2*k + g - 6 = 0, -8 = k + 4*k + g. Let t be 24/9 + k/3. Let u(s) = s**3 - 3*s**2 - 4*s + 4. Let z be u(4). Solve t*x + 4 = -z for x.
-4
Let j = -23 - -26. Solve 0 = i - j + 1 for i.
2
Let f = 18 + -13. Suppose 0 = -f*n + 2*o + 6, -2*n = -4*n - o - 3. Solve q - 1 + 2 = n for q.
-1
Let f be -24 + 23 + (-4)/(-2). Solve -3 = -4*c + f for c.
1
Suppose 0 = -0*k - 5*k - 10. Let j be 0 - (8 - -2)/k. Let g = -25 - -34. Solve -g + 34 = -j*t for t.
-5
Suppose 22 = 2*i - 5*u, -4*u + 2 = 5*i + 13. Let f(m) = m**2 - 11*m - 12. Let l be f(12). Le