
Let o = -1 + 4. Suppose 0 = -o*u - 3*r + 47 + 25, -u + 5*r = -12. Let z = 3 + u. Solve -i - z = 4*i for i.
-5
Let w(v) = -4*v - 15. Let a be w(-6). Solve a + 1 = 5*f for f.
2
Let x be (-5)/(0 - (-1 - 0)). Let h be ((-6)/5)/((-1)/x). Let r be 9/h*(-6)/9. Solve -3*u - 11 - r = 0 for u.
-4
Let q be (-50)/(-10)*(-8)/(-10). Let t(u) = 5*u - 5*u + 3*u - q. Let c be t(3). Solve 4 = -c*l - 1 for l.
-1
Suppose 0 = -o - 5*g + 29, -2*o - 3*g = o - 63. Solve -o = -5*d + 1 for d.
4
Suppose 0 = -13*v + 16*v - 12. Solve 0*b - 16 = -v*b for b.
4
Let o = -1 - -6. Suppose 0*y - 4*y = -4*a + 20, -o*a = -2*y - 25. Solve x + a = 1 for x.
-4
Let u = -2 - -3. Let o be 18/(-6) + 22 + u. Suppose -3*n = 2*n - o. Solve n*c + 0*c = 8 for c.
2
Let h(k) = k**3 - 4*k**2 + k - 4. Suppose -29 = -3*v + 4. Suppose -5*x - v = s, -2*x = 2*s - 3*x - 11. Let n be h(s). Solve n = -0*y - 3*y + 6 for y.
2
Let k be 4 + -1 - -5 - 3. Let x be (-1 - -1)*(-7)/14. Solve x*a + k*a = 0 for a.
0
Let o be (-3 + 1 + 2)/2. Suppose 2*m - 42 = -4*k, k - 12 = -o*k - 2*m. Solve 0 = -0*u - 2*u - k for u.
-5
Let b = -8 + 8. Solve b*w - 8 = 4*w for w.
-2
Let j(k) = 2*k**2 - 18*k - 1. Let l(p) = p**2 - 9*p - 1. Let i(o) = -4*j(o) + 7*l(o). Let v be i(7). Suppose 5 = 4*d - v. Solve -a - d = -6 for a.
2
Let u = -108 - -111. Solve 0 = 2*y + 1 + u for y.
-2
Let u = 4 - -25. Let r = -26 + u. Solve r*v = -v for v.
0
Let p be (1*7)/(5/20). Suppose -5*z + 2*z = -3*y - 15, 0 = 5*z - 4*y - p. Solve 0 = -2*r + z for r.
4
Let l(i) = -i**3 + 9*i**2 - 8*i + 3. Let h be l(8). Solve 4*a = a + h for a.
1
Let y(i) = i**2. Let k(o) = 7*o**2 - 2*o + 1. Let u(t) = k(t) - 6*y(t). Let q be u(3). Suppose 0 = -q*r - 3 + 15. Solve 0*p - 12 = r*p for p.
-4
Let w(k) = k**2 + 3*k. Let r be w(-3). Suppose r*j = -2*j. Solve j = -0*v + v + 4 for v.
-4
Let q = 21 - 19. Solve -3 = -q*m - 5 for m.
-1
Let o be ((-3)/(-2))/((-2)/(-100)). Suppose l + o = 6*l. Suppose -5*r + 0*r + l = 0. Solve 5*g + r = -2 for g.
-1
Let r = -29 + 32. Solve w - r*w + 6 = 0 for w.
3
Let p be 6/21 + -4*5/70. Solve p = 9*j - 8*j + 5 for j.
-5
Suppose 0 = -0*o - 4*o + 8. Solve -o*u - 1 + 3 = 0 for u.
1
Let s = 25 - 18. Let g be (-96)/(-21) + 3/s. Solve -g*y - 2 = 3 for y.
-1
Suppose -4*p + 19 = 4*h + h, 5*h - 16 = -p. Let n be (h/4 + 0)*-12. Let b = -5 - n. Solve -t = -b*t for t.
0
Let b be (0*(-2)/(-4))/(-2). Suppose 2*w + w - 45 = -2*d, 5*d + 4*w - 95 = b. Solve h - d = -4*h for h.
3
Let z(b) = -b**3 + 8*b**2 - 7*b. Let f be z(7). Solve 4*l + l + 5 = f for l.
-1
Let k(z) = -3*z - 14. Let u be k(-6). Suppose -u*v + 2*v = 0. Solve l + l = v for l.
0
Let m = 10 - 10. Let u(j) = j**3 + 2*j**2 + 1. Let y be u(-2). Let k = y - 1. Solve m*z - 2*z - 4 = k for z.
-2
Let p = 108 + -107. Solve -w + p = -2 for w.
3
Suppose -2*z = p, -z + 1 = -2*p - 4*z. Suppose -3*g + g + 8 = 0. Let o be g + p - 4/(-2). Solve 16 = 4*k + o for k.
3
Let c(f) = f**3 + 12*f**2 - 16*f - 39. Let x be c(-13). Solve x = 2*v - 0*v for v.
0
Let g(c) = -4*c - 48. Let u be g(-13). Solve -u*o + o = 0 for o.
0
Let j(m) = m - 2*m**3 + 42 - 45 + 2*m**3 - m**3 + 5*m**2. Suppose -3*v - 4 = b, b + 2*v = 1 - 2. Let i be j(b). Solve 0 = 2*a + i*a for a.
0
Let u(l) = -l**3 - 5*l**2 - 6*l - 2. Let t be u(-4). Suppose -5*n - 19 = y, 5*y + 8 = 3*y. Let v = t + n. Solve -v*i + 2 + 1 = 0 for i.
1
Suppose o - 18 = 3*o + 4*d, -2*d = 10. Let t(r) = 7 - o - 8 + r**2 + r - r**3 + r**2. Let s be t(2). Solve s = -3*f - 1 - 5 for f.
-2
Let c(p) = -p - 1. Let a be c(-5). Solve -3 = -3*r + a*r for r.
-3
Let y(b) = -b**3 - b**2 + b + 4. Let q be y(-2). Solve -p - p = -q for p.
3
Let r be 6*(-1 + -1 - -3). Let t(v) = -v**2 + 12*v - 1. Let y be t(11). Let l be (-1 - -4)/(r/y). Solve -l*z + 8 - 3 = 0 for z.
1
Let u be (-1 + 4)*(-14)/(-21). Let g be 20/25*5/u. Solve -q - g = -0 for q.
-2
Let h(p) = -p**2 + 10*p - 17. Let v be h(4). Solve 2*u = -v + 1 for u.
-3
Let y be 10/15 - 2/(-6). Suppose -y = 2*d - 5. Solve -d*r - 7 = 1 for r.
-4
Let z(p) = 2*p**3 + p**2 - 2*p + 4. Let x be z(2). Solve -2*w - x = -6*w for w.
5
Let c(j) = -j**2 + 4*j. Let q be c(4). Suppose q = 3*n + 33 - 123. Solve -n + 5 = -5*t for t.
5
Suppose b - s - 4 = -b, 0 = 3*b - 3*s - 6. Suppose 0 = -b*m - 5*r + 5, -4*m - 5*r = -2*r - 3. Solve -2 = n - m*n for n.
-2
Let d = -5 - -6. Let a(b) = 2*b**3 + 1. Let o be a(d). Solve 20 = -o*w + 7*w for w.
5
Suppose -2*j + 4*j = 32. Suppose t + 2*i - 4 = 0, -4*t - 2*i + j = 2*i. Solve 0 = 2*s + 2*s + t for s.
-1
Suppose 0 = -3*q + 46 - 13. Let h = -4 + q. Suppose -h = -4*n + 9. Solve 2*i - n = -14 for i.
-5
Let p be (0 + -1)*(-1 - 0). Solve -2*u = 3 + p for u.
-2
Let x be ((-25)/5)/15 - 1/(-3). Let d = 7 + -2. Solve x = d*b - 0*b for b.
0
Let o be 19/4 + (-7)/(-28). Suppose -o*x = -0*x - 10. Solve b + 6 = -x*b for b.
-2
Suppose y + 7 = -1. Let b = -5 - y. Solve -b*n - 4 = n for n.
-1
Let f be (-11)/66 + (-31)/(-6). Solve -r = -f*r + 12 for r.
3
Let j be 1 - (-2 - -1)/1. Let k = 5 - 0. Solve s - j*s = -k for s.
5
Let c(h) be the first derivative of -3*h**2/2 - 2. Suppose 0 = 3*s - 6*s - 6. Let o be c(s). Solve -1 = 5*w - o for w.
1
Let l(y) = y**2 - 6*y - 2. Let f be l(7). Let w = f - 3. Let j be 15/w*(-2)/(-3). Solve j = 4*c - 3 for c.
2
Let a(d) = -d**2 + d. Let f be a(0). Let m = 0 - f. Suppose 2*q - 9 - 1 = m. Solve q = 2*b - b for b.
5
Suppose 2*n + 7 = 39. Let t = -6 + 12. Suppose 0 = -u + t*u. Solve 0 = -u*x - 4*x + n for x.
4
Suppose y - 11 = -16. Let w be (-1 + -1)*y/2. Solve 0 = -w*a - 4 + 19 for a.
3
Suppose -4*o + 5*o - 2*y = 13, -5*o + 54 = y. Solve -2*x + 3 = o for x.
-4
Suppose -3*x + 7*x - 32 = 0. Suppose -8 = -3*w - k, w = -0*w + k + x. Solve -w*u = u - 10 for u.
2
Let a = 8 + 1. Suppose -5*d + 0*d + 25 = 0, -5*d = 4*b - 5. Let z = a + b. Solve 8 = -2*k + z*k for k.
4
Let s(g) = g**2 + 6*g - 2. Let l(t) = 3*t**2 + 2*t - 1. Let a be l(1). Suppose 6*f - 10 = 2*h + 5*f, -f - 32 = a*h. Let j be s(h). Solve 0*m = -j*m - 20 for m.
-4
Suppose 4*u + 28 = 4*n, -2*u + 5 - 25 = -3*n. Suppose 3*s = -3*m - n + 15, -4*s = -3*m + 16. Solve 20 = -0*i - m*i for i.
-5
Suppose -4*m + 44 = 2*b, -15 - 32 = -2*b - 5*m. Suppose 3*h - 37 = -2*x - 1, -4*h + b = 0. Solve -2*j + 6*j = x for j.
3
Suppose -14 = -3*i + 5*d, -i = -4*i + 3*d + 12. Solve t - 1 = i for t.
4
Let w be 2/(-8) - (-154)/8. Suppose -3*u = n - 22, n - 3*u = -5*u + 17. Solve -4*c = w - n for c.
-3
Let f(t) = -t**3 + 4*t**2 - 4*t + 2. Let w be f(2). Let j be 2 + 1 - (-2)/(-2). Suppose -7 = -4*z + w*i + 5, -z + 13 = j*i. Solve -z*b = -2*b for b.
0
Let n = -2 + 4. Solve 3*j + n*j - 15 = 0 for j.
3
Let h(c) = -5*c - 17. Let p be h(-4). Solve -17 = -p*b - 5 for b.
4
Suppose -2*h + 14 = 4*w - 6, -3*w = -4*h - 4. Solve -j + h = -3 for j.
5
Suppose 0 = -2*t - 0 + 4. Solve t*w + 3 = 13 for w.
5
Let d be 1/(-4) + 20/16. Suppose -48 = 2*s - 4*s. Let u be (2/4)/(6/s). Solve -z - u = -d for z.
-1
Let b(r) = -16*r**3. Let y be b(-1). Suppose -4*a + 9 = 3*c - y, -4*c - 70 = -5*a. Solve -p - p = a for p.
-5
Suppose 5*a - 5 = 5. Suppose 0 = s - 0*r + 3*r - 9, -a = -r. Solve s*u + 1 = -8 for u.
-3
Suppose z + z + 4*u - 24 = 0, 15 = 3*u. Suppose -g - z*k - 29 = -0*k, 3*k = 4*g + 105. Let n be 6/g - (-33)/27. Solve -3*a - 5 - n = 0 for a.
-2
Suppose 2*b = -0*b. Let a(o) = -o**3 + 18*o**2 + 41*o - 18. Let k be a(20). Solve k*n - n + 4 = b for n.
-4
Let s = -17 + 17. Solve s = -6*i + 3*i for i.
0
Let c(u) = u + 8. Let o = -12 + 32. Suppose 6*l = 2*l - o. Let m be c(l). Solve s - m = -2 for s.
1
Suppose 0 = -0*c - 3*c. Solve c = 5*b - b + 4 for b.
-1
Suppose 3*s - 2*s = 0. Suppose -2*b + 3 + 3 = s. Let z = 4 - 2. Solve -z = b*q + 4 for q.
-2
Let a = -27 - -32. Solve -5*g = -0 - a for g.
1
Suppose 0 = 2*z + 2*z - 20. Suppose -2*r - 4 = -3*r. Solve -r*f = -3*f - z for f.
5
Let k(s) = -s - 5. Let j be k(-9). Suppose 4*m + 2*i + 16 = -2*i, 3*m + j*i = -17. Solve -3*v = -4 + m for v.
1
Let z(l) = -l**3 - 3*l**2 + 3. Let q be z(-3). Solve 7 = 5*j - q for j.
2
Suppose -2*h - 36 = -5*h - 4*z, -10 = -2*h + 2*z. Let l = h + -6. Suppose 0 = p - l*p + 4. Solve -2*y + p*y = -10 for y.
-5
Let v(x) = -2*x - 7. Let w be v(-5). Solve w*a - 4 = 5 for a.
3
Suppose p - 9 = y - 0*p, 42 = -4*y + 2*p. Let r = y + 14. Solve -2*o + 20 = r*o for o.
5
Let z(n) = -n**2 + 4*n + 6. Let m be z(5). Suppose 2*b - 25 