
Let k be -15 + -1*(-1)/(-1). Let g = 21 + k. Solve -6 = g*x - 2*x for x.
-2
Let l be (-2 - (-9 - -4)) + 1. Solve 0 = -l*i + i - 12 for i.
-4
Let q(y) = -y**2 - 5*y + 16. Let p be q(-7). Solve p*i - 6 = 4*i for i.
-3
Let u = -62 + 68. Let d(c) = c**3 - c**2 - c - 2. Let q be d(2). Solve q*o + 3*o = u for o.
2
Suppose 0 = -y - 5*b - 15, 3*y + 15 = -3*b - 2*b. Solve 4 = -y*a + 2*a for a.
2
Let q(c) = 3*c - 14. Let t be q(6). Solve -12 = f - t*f for f.
4
Let q be (2/(-2))/(2/6). Let g(h) = -h**2 - 4*h - 1. Let s be g(q). Suppose 3*c = 2*a + 11 - 1, 3*c + 3*a - 30 = 0. Solve -4*m = -s*m + c for m.
-3
Let v(d) = -d - 5. Let z be v(4). Let t = 9 + z. Solve t = -r - r - 2 for r.
-1
Suppose -16*v + 127 + 209 = 0. Solve -5*u + 16 - v = 0 for u.
-1
Let i(r) = 3*r**2 + 3*r - 11. Let m be i(-3). Solve 5*z + m = -8 for z.
-3
Let l be (1 + 1)*(-7)/2. Let k = l - -11. Solve k = 4*n - 4 for n.
2
Suppose 4*q = -2*v - 18, -2*q = -3*v + 2*q + 13. Let a be 16/(-4)*v/2. Solve -3*h = a*h + 10 for h.
-2
Let t = -2 + 4. Suppose 3*z = -5*v - 5, -2*v + 7 = -z - t. Suppose 3*s = v*s + 4. Solve s*y + 9 - 1 = 0 for y.
-2
Let p = -38 + 38. Let r(g) = -g + 7. Let q be r(3). Solve p = -3*c - c + q for c.
1
Let g(f) = -4*f - 4 + 5*f - f**2 - 7*f + 3*f**2. Let d be g(5). Let o = -10 + 15. Solve a - d = o*a for a.
-4
Let f(k) = -k - 4. Let w be f(-5). Solve 3*b - w = 5 for b.
2
Let l(w) = -w**3 + 5*w**2 + 2*w - 4. Let t be l(5). Let c = 5 - 3. Let n = c - 0. Solve n*h + 2 = -t for h.
-4
Let a = -3 + 0. Let c(v) = -v**3 - 3*v**2 - v. Let m be c(a). Suppose 4*g - 6*w - 36 = -2*w, g + m*w = -11. Solve -u + g = -2*u for u.
-4
Let d(r) = r + 2. Let v be d(0). Solve -1 = -v*z + 5 for z.
3
Suppose 2*c + 5*m = -12, 7*c - 3*m = 2*c + 32. Solve -n + 2*n + c = 0 for n.
-4
Let q(s) = s**3 - 10*s**2 - s + 13. Let g be q(10). Solve g*v - v + 6 = 0 for v.
-3
Let v = -46 + 2. Let p = v + 64. Let i(c) = c + 3. Let z be i(0). Solve z*d = -d - p for d.
-5
Suppose -2*v + 4*k = 12, k + 1 + 3 = 4*v. Solve w - 1 = -v for w.
-1
Let z = 6 - 6. Let l be (-2 - z) + 0 + 2. Solve -4*x - 1 + 5 = l for x.
1
Let h be (10 - -1) + (-1)/(-1). Suppose -3*b + 12 = 3*q, -5*q = 3*b - 2*b + h. Solve -b = -2*o - 0*o for o.
4
Let x = -72 + 77. Solve 5*w = -0*w - x for w.
-1
Suppose 6*j - j - 4*o - 53 = 0, 2*o + 22 = 2*j. Let h be (0 - j/15)*-5. Suppose h*x + l = -2*l + 6, l = x + 2. Solve x*z - 3 = -z for z.
3
Let w be (-5 + 3)*-1 + 3. Solve -w*v + 16 = 1 for v.
3
Let p = 24 - 14. Suppose 0 = 2*g - 0 - p. Suppose -5*w = 20, 3*r + 2 + 1 = -3*w. Solve 0 = -r*x - 2 + g for x.
1
Suppose -16*a + 13*a = -15. Suppose 3*j - 8 = -2*p, -2*j + 9 = -0*j + a*p. Solve u = -j*u - 15 for u.
-5
Suppose 31 = -2*r + 37. Solve 12*i - r = 15*i for i.
-1
Suppose 2*o - o = 0. Suppose o*j + 3*j - 45 = 0. Solve -5*q = -10 - j for q.
5
Suppose 0 = -g - g + 2. Let n be -1 + (-2)/2 + 2. Let d be n - 0/(3 - g). Solve d*w + 5*w = -10 for w.
-2
Let k(w) = w + 9. Let t be k(-7). Suppose 3*s = 5*d - 15, d - 2*s - 3 = s. Suppose 0*v - 36 = -d*v. Solve -t = -5*o - v for o.
-2
Let g be (-3)/2*2/3. Let d be 2 - ((g - 1) + 2). Suppose -2*p + 2*s - 3 - 1 = 0, 19 = -2*p + 5*s. Solve -k = -d*k - p for k.
-3
Let o(s) = -s**2 - s. Let p(k) = -11*k**3 + 4*k - 1. Let m(x) = -2*o(x) - p(x). Let b be m(1). Suppose -3*w = w - b. Solve -z - w*z = 0 for z.
0
Let v(z) = 6*z - 9. Let p be v(4). Solve 4*u + 3 = p for u.
3
Let a = 0 - -1. Suppose -u + a + 2 = 0. Solve -2*v = v - u for v.
1
Let k = 19 + -17. Solve 7 = -k*y - 3 for y.
-5
Suppose -5*i + 0*i - 2*s = -44, 0 = -5*i - 5*s + 35. Let m(a) = -a. Let k = 1 + -7. Let y be m(k). Solve -i = -x + y*x for x.
-2
Let k = 9 + -5. Suppose -4*x + 2*r - 3*r = -43, 3*r = -k*x + 49. Suppose -3*z = 2*z - x. Solve -z = -m + 2*m for m.
-2
Let c(x) = -x - 14. Let u be c(-16). Suppose -3*f + 5*d = -9, -5*f + 10 = d - 5. Let s = 1 - 1. Solve s = u*j + j - f for j.
1
Let c(g) = -g**2 + 13*g - 15. Let t be c(12). Let v be (1/t)/(2/(-36)). Solve 12 = -v*z + 2*z for z.
-3
Let i(h) = -h**3 + 7 + 5*h**2 - 4 - 4 - 3. Suppose -2 = -w - 4*g + 10, 3*w = 4*g + 4. Let v be i(w). Solve f = -2*f - v for f.
-4
Let r = 14 - 9. Solve 0 = -r*i - 13 - 12 for i.
-5
Let u(m) = 4*m + 31. Let y be u(-6). Solve -y*o + 3*o = 0 for o.
0
Suppose 0*n + 2*n - 20 = 0. Let w = -7 + n. Solve w*x = 1 + 11 for x.
4
Let p(q) = q**2 + q + 3. Let x be p(-4). Let v = -12 + x. Solve 0 = v*o - 7*o - 16 for o.
-4
Let i be -26 - 0 - 6/(-2). Let k = i + 32. Solve k = 3*u + 3 for u.
2
Suppose -o + 3 = 2. Solve 3 = -2*q + o for q.
-1
Let n be (-812)/(-98) - 4/14. Solve 0*c + n = 4*c for c.
2
Let q(h) = 3*h**2 + h + 2. Let w be q(3). Let x be (2/(-6))/(2/(-30)). Let p be 1 - -1*11/1. Solve x*z = -w + p for z.
-4
Let o = 27 + -16. Let q be 48/22 + (-2)/o. Solve -q*u - 2 = -8 for u.
3
Let x be 5*1 - (0 - 0). Let r(i) = -i**3 - 2*i**2 - 5. Let f be r(-3). Suppose 0 = -3*w + 4*y + 32, -f*y + 6*y = -x*w + 10. Solve m - 25 = -w*m for m.
5
Let r be 4/10 + (-46)/(-10). Let k(t) = -t - 3. Let x(l) = l**3 + 6*l**2 + 2*l + 9. Let w be x(-6). Let m be k(w). Solve m = -0*f + r*f for f.
0
Let d(v) = v + 1. Suppose 0*z - 6 = -3*z. Let j be d(z). Solve -5*f + j = -4*f for f.
3
Suppose 6*k - 10 = k. Let a = -36 + 56. Solve -k*u - a = 2*u for u.
-5
Suppose -12 = -3*v + 3. Solve v*t + 1 + 4 = 0 for t.
-1
Suppose -3*b + 24 = -5*u, -b - 5*u = -2*u - 8. Solve 0*t + b = -4*t for t.
-2
Suppose -5 + 17 = 6*r. Solve 0 = -r*t + 4 - 0 for t.
2
Let u be (1 - 6/1)*-1. Let f(a) = -a + 7. Let t be f(u). Solve -t*w + 13 = 5 for w.
4
Let q be (-13)/(-4) - (-2)/(-8). Suppose -q*x - 8 = -7*x, -2*j = -2*x. Let o be ((-8)/3)/(j/(-3)). Solve -o*n + 20 = n for n.
4
Let c = 2 - 0. Suppose u = -4 - 5. Let q = 10 + u. Solve 0 = -c*x - q - 1 for x.
-1
Let i be ((-10)/(-6))/((-5)/(-18)). Solve 2*l = -l - i for l.
-2
Let s = -80 - -81. Solve -s = 2*b + 3 for b.
-2
Let d be 22/(-77) - (-32)/14. Suppose -4*r = -2*r - 2. Let l = d + r. Solve -l*p = -p for p.
0
Suppose x + 4 = -0*x, -x + 28 = 2*y. Suppose -h - 3*h + y = 0. Solve -w = h*w + 10 for w.
-2
Let c(f) = f**2 + 3*f - 4. Let t be c(-4). Solve t = -g + 1 for g.
1
Let a = -12 + 20. Let c be 2/15 - a/60. Solve -5*d + 5 + 0 = c for d.
1
Let v be (0/(-1))/(11/(-11)). Solve v*d = 4*d for d.
0
Let s(c) = 3*c - 37. Let w be s(13). Solve -w = -3*i + 13 for i.
5
Suppose 4*u - 2*u = 3*b, 0 = -2*b + 4*u. Let m = 2 + b. Solve 3*q = 4 + m for q.
2
Let h be (0/(1 - -2))/1. Suppose 0 = -4*c + 4*b - h + 4, c = 5*b - 3. Solve l + 3 = c*l for l.
3
Suppose 2*x = -2*x. Let t = 0 - x. Solve t = -2*h - 0*h for h.
0
Let u = -7 + 11. Suppose t = -u*z + 97, -42 + 14 = -z + t. Solve -z = -a - 4*a for a.
5
Let x = -56 + 78. Suppose -w - 1 = 0, 5*q + x = q - 2*w. Let u(r) = r**3 + 6*r**2 + 2*r - 3. Let a be u(q). Solve p + a = -2*p for p.
-4
Let j(f) = f**2 - 7*f - 2. Let y be j(8). Let m = -4 + y. Suppose -2*v = 8, 0*u = u + m*v + 4. Solve -u*a + 5*a - 3 = 0 for a.
3
Let q(n) = -n**2 - 12*n + 48. Let b be q(-15). Solve 13 = -b*f - 2 for f.
-5
Let i(s) = -3*s - 84. Let q be i(-32). Solve -4*t = 16 - q for t.
-1
Let l = 5 + 3. Let q = -5 + l. Solve -a + q*a + 6 = 0 for a.
-3
Let y(d) be the second derivative of -d**2 + 0 - 1/6*d**3 + 1/12*d**4 + d. Let r be y(3). Solve -2 + r = -k for k.
-2
Suppose -5*g + u = 3*u - 26, 3*u + 7 = 4*g. Solve -g*m = -7 - 1 for m.
2
Suppose c - 2*m - 16 = m, -2*m - 28 = -5*c. Suppose t = -5*x - 1, -2*x + 4*t + c = -0*x. Let n = x + 3. Solve -8 - 1 = -n*l for l.
3
Let i be ((-4)/(-6))/((-8)/(-144)). Solve 0*d + i = -3*d for d.
-4
Let a be 1 + 1 - (3 - 1). Let i = -62 - -65. Solve a = -2*v - 7 + i for v.
-2
Let n(m) = -12*m. Let l be n(0). Solve -5*t + 5 + 0 = l for t.
1
Suppose 0*u = 3*u + 9. Let n be 0*(-1)/(-3) - u. Solve -n*k + 1 = 10 for k.
-3
Suppose -3*q = m - 54, -2*q - 246 = -4*m + q. Suppose k = 6*k + m. Let i be (6/8)/((-3)/k). Solve -7*j - 4 = -i*j for j.
-1
Let v(k) = -k**2 - 9*k - 10. Let d be v(-7). Suppose b - d = -b. Suppose b*f + 1 = 3. Solve 7 = -2*x - f for x.
-4
Let f(v) = -v - 5. Let l be f(-5). Suppose -4*b + 43 = -5*h, -b + l*h - 2*h + 14 = 0. Let r = b + -8. Solve -2*q + r*q - 8 = 0 for q.
4
Suppose g + 3 = -0, -5*r + 4 = 2*g. Suppose -2*m = -r*o + 2*m, -2*o - 5*m + 9 = 0. Solve -o*f + 4 = 2*f for f.
1
Let h(t) = t**3 + 4*t**2 - t + 1. Let z b