Let f(o) = -4*o**2 + 1. Let p be f(1). Let t be p/(-2)*2 - 0. Solve t*j + 40 = 5*q, 3*j = 3*q - 8 - 22 for q.
5
Let v(o) = o - 2. Let h be v(2). Suppose 0 = -n + 2*n - 2. Suppose 9 = 2*k - b, 3*k + 5*b = 9 + 11. Solve -n*l = 4*d - h*d - 2, d = -k*l + 5 for d.
0
Suppose 4*t - 56 = 4. Solve h + 7 - 37 = -5*o, -t = -2*o - h for o.
5
Let x = 5 - 1. Suppose -44 = -x*t + 32. Let p = t - 9. Solve p = 3*d + l, -7 = 3*d - l - 15 for d.
3
Suppose 0 = 6*o - o. Suppose -2*x + 4 + o = 0. Suppose -13 + 3 = -b + 5*w, 5*b - w - 2 = 0. Solve 0 = 4*m + 4*q + 28, 4*m - x*q = 2 - b for m.
-2
Let g = -5 - -15. Solve t + 6 = 3*q, 5*q + 4*t - g = -0 for q.
2
Let n(b) = b + 9. Let l be n(-8). Let g = l + 1. Solve -8 = -4*v, -g*o - 3*o + 5*v - 15 = 0 for o.
-1
Let f(j) = -j**3 + 3*j**2 - 5*j + 3. Let z be f(3). Let o = z + 17. Solve n = 4*n + 9, o*n = x - 20 for x.
5
Let a be 1/((2/3)/(16/12)). Solve 3*r - 1 = -m + 13, a*r + m = 10 for r.
4
Let a(r) = -r**3 + 9*r**2 + 3. Let i be a(9). Suppose -2*n = 10, n + 13 = -m - 2*n. Solve m*f = b + 1 - 3, 3*f = i*b - 6 for b.
2
Let a(n) = -6*n - 1. Let d be a(-2). Let s = 27 - d. Let x be 22/8 - (-4)/s. Solve -2*z = -4*k + x + 9, 2*z - 12 = -2*k for z.
2
Let r be (-1)/(-2 + 1 - -2). Let z be r/((-3)/(-6) + -1). Solve -z*s - 8 = 0, -5*s + 2*s = l + 17 for l.
-5
Suppose 0*q = 3*q - 15. Let b = -12 - -13. Let s be (-2 + 5)/(3/5). Solve s = -q*x, -2*x = -3*h + b - 11 for h.
-4
Let b = -6 - 26. Let p(t) = t**2 + 7*t + 6. Let i be p(-5). Let x be ((-18)/i)/((-12)/b). Solve -x = 3*m + 2*u - 2, -3*u = 5*m + 15 for m.
0
Suppose 5*h = -3*g + 22, -8 = 3*h + 3*g - 26. Solve -3*t = -h*i + 23, -3*i - t = -8 + 1 for i.
4
Suppose -2*d + d + 3 = 0. Solve 0 = -3*q + d*r - 21, 5*r + 15 = -7*q + 2*q for q.
-5
Suppose -54 = -r - 52. Solve 4*l = -3*j + 26, 3*j - 10 = -r*j for l.
5
Let l = 16 + -14. Let r be 0 - -34 - (-2)/2. Suppose -5*o - 4*q = 1 - 6, -r = -5*o + 2*q. Solve -o = -5*p + 3*b, -2*p + 11 = l*p - b for p.
4
Suppose -4*o - 3 = 5*r, 10*r - 5*r = -5*o. Suppose -12 = o*y - 42. Solve 0*d = -b - 3*d + y, -d = -4 for b.
-2
Let h(c) = c**3 - 3*c**2 - 3*c. Let m be (20/(-6))/((-3)/(-9)). Let s = 14 + m. Let o be h(s). Solve o*y = 2*i - 10, -y - 5 = -i - 2*y for i.
5
Suppose k + 0*k + 4*k = 0. Solve -n + k*n = -x - 9, x = -4 for n.
5
Suppose -i = -2*b - 1, -4*i = 2*b - 4*b - 4. Suppose -r - 4*r + 5 = b. Let u be (2/(-4))/(r/(-10)). Solve -q + u*x + 5 = 0, 2*x - x = q - 1 for q.
0
Let k be 3/(-2)*(-10)/3. Let c be 38/6 + (-4)/(-6). Let t = c - k. Solve i - 3 = 0, -4*l - 2*i - t*i + 20 = 0 for l.
2
Suppose 3*c - 1 = 5. Let w(l) = -l**2 - l. Let a(b) = 5*b**2 + 2*b - 2. Let x(n) = a(n) + 3*w(n). Let z be x(c). Solve -2*d - z*j + 3 = d, 3*d - 3 = 5*j for d.
1
Let g(k) = -k**3 - 1. Let l be g(-1). Solve 0 = 5*r + 3*q + 2*q - 5, l = -2*r - 3*q - 2 for r.
5
Let q = 10 + 0. Let i(k) = 4*k**3 + 11*k + 9*k**2 - 5*k**3 + 0*k - 7. Let b be i(q). Solve -b*t + 22 = 2*v, t = -3*t + 16 for v.
5
Let o(g) = 2 - 2 - g**3 - 4*g**2. Let t be o(-4). Solve -2*z = -7*z + w + 21, 4*z - w - 16 = t for z.
5
Let v be 8/18*(-27)/(-6). Solve -3*s = -3*i + 3, -4*s = i - v*s + 2 for i.
0
Let f(q) = 2*q**2 - 8*q - 6. Let g be f(6). Let z = g + -6. Let w be ((-7)/((-14)/z))/2. Solve 2*h = 3*p - 4 - w, h - 4 = 0 for p.
5
Suppose -18 = -4*d + 5*k, -3*k = 3*d - 0*k - 27. Let s = d - 5. Suppose 3*f = 7*f - 84. Solve -7 = -3*y - s*n + n, f = -y - 5*n for y.
4
Let u(g) = 3*g**2 - 5*g + 2. Let i(m) = m**2 + 1. Let z(o) = -2*i(o) + u(o). Let l be z(5). Let s = l + 0. Solve 2*q = -8, s = 2*x - 0*q + 2*q + 2 for x.
3
Suppose -2*t = -3*v - 6, 2*t - v = -0*t + 2. Suppose t = -l + 3*l. Solve -z + 12 = -2*o, 0*o - 5*o - z - 23 = l for o.
-5
Let i(p) = -p**3 + 5*p**2 + 7*p. Let g be (-2)/9 + (-80)/(-36). Let t = 8 - g. Let l be i(t). Solve -n - 4*n = u + l, 5*u - 12 = -4*n for n.
-2
Suppose -w + 13 = 1. Suppose -5*x + 2*x = -w. Solve 0 = 3*n - 15, 17 = x*q + 8*n - 3*n for q.
-2
Let g(y) = y**3 + 3*y**2 - 3*y. Let n be g(-4). Let u(x) = x**2 + 2*x - 3. Let k be u(n). Solve k*s + 3*p = -p - 2, 2*s + 5*p - 6 = 0 for s.
-2
Let x be (13 - -1) + (3 - 6). Let r be 2/(-1) - (x + -10). Let m(b) = b**3 + 4*b**2 + 2*b - 1. Let n be m(r). Solve -25 = -3*w - n*w, 11 = 3*h + 4*w for h.
-3
Suppose 3*m + 24 - 57 = 3*k, -3*k + 21 = 3*m. Solve -d - 3 = 2, -z = -2*d - m for z.
-1
Let c = 9 + -13. Let j = c - -6. Suppose k = -j*k. Solve s + k*s - 15 = 4*d, -3*d - 11 = -s for s.
-1
Suppose -5*a = -6 - 4. Solve -12 = -5*k - 3*f, 1 = a*k - 2*f - 7 for k.
3
Let a be (-32)/(-6) - (-7)/(-21). Solve 2*o + a*w = 1 + 1, -4*o = -2*w - 4 for o.
1
Suppose 6 = -4*t + 4*u - 2*u, 4*t = 3*u - 9. Solve -s + 3*l + 2*l + 15 = t, -6 = -2*s + 2*l for s.
0
Suppose 0 = 3*a - 5*f + 3, -4*f - 8 = -5*a - 0*f. Solve -2 = -2*h + a*v, -3*v + 11 = -h - 7*v for h.
-3
Let n = -50 + 63. Solve -x + 0*i + 13 = -3*i, -5*x + 2*i = -n for x.
1
Let i(f) = f**3 - 3*f - 1. Let s be i(3). Let q = s + 3. Suppose -3*d + q = d. Solve -d*c - 5*t - 5 = 0, 2*t + 18 = 3*c + 1 for c.
3
Let h = 23 - 9. Let v = -20 - -12. Let x(p) = -p - 8. Let c be x(v). Solve 5*l + h = -w, -4*w + c*w + 2*l = -10 for w.
1
Let h(g) = 2*g - 10. Let i be h(8). Suppose -s + i - 2 = j, j - 4*s = -16. Solve j = -2*r - 3*b - 11, 2 = 2*r - b - 7 for r.
2
Let l = -12 - -16. Solve 19 = -4*d - f - 0, l*f + 21 = -5*d for d.
-5
Let a be 46/6 + 4/(-6). Let r be a*(-1)/(-2)*4. Solve -3*p - r = -2*i - 2, 4*p = -16 for i.
0
Let l be (-6)/(-15) - (-32)/20. Let z = 7 + 14. Suppose 3*r + z = -s + 3*s, 4*r - 2 = s. Solve -5*c - 10 = 0, 0 = l*a + 4*c + s for a.
-5
Let h be 7 - (-4*(0 + 1))/(-2). Solve 5*t + 11 = -r, -r + h*r = -5*t + 1 for r.
4
Let f = 75 + -71. Solve -7 - f = 5*i + 4*c, i + 4*c = -15 for i.
1
Let i be (2/(-7))/((-1)/7). Let g = 1 + i. Solve -2*k + g*a + 10 = 0, -4*k - 5*a = 4 - 2 for k.
2
Let n = -3 - -7. Let b be 3 + (1 - n) + 12. Suppose -4*y = -y - b. Solve 2*c = -5*h + 19, 3*c + 2 = -y*h + 13 for h.
5
Suppose -2*i + 8 = r + 1, 2*i - r - 9 = 0. Suppose -u = i*o - 7, -2*o - 5*u = -6*o + 37. Solve o*x + 0*f - 5*f - 8 = 0, -f = 3*x - 2 for x.
1
Let c(u) = -u**2 + 15*u - 22. Let f be c(13). Solve 2*t = 5*y - 2, -t + 3 - f = 0 for y.
0
Let x = -2 + 4. Suppose 1 - 2 = 2*s - o, -x*s - 2*o = 4. Let n be (s - -2 - -2)*2. Solve 2 = -3*k - w, 0 = -5*k + 2*w - 2 + n for k.
0
Let x(l) = 4*l + 12. Let t(q) = 5*q + 13. Let y(u) = -3*t(u) + 4*x(u). Let d be y(-9). Solve z - 12 = -2*z - h, 4*h + 12 = d for z.
5
Let v(t) = 7*t + 1. Suppose 4*g - 10 = -g. Let a be v(g). Let d be (-5)/(((-3)/a)/1). Solve 7*b - 25 = 2*b, 0 = -2*s - 5*b + d for s.
0
Let j = 25 - 25. Solve 4*v + 18 = 2*l, j = -2*l - 3*l - 2*v - 3 for l.
1
Let h be -7*(-1 + 0) + -3. Solve -5*v = h*m + 36, 2*v = v - 4 for m.
-4
Let z(f) = 2*f**3 + 29*f**2 + 14*f + 1. Let c be z(-14). Solve -4*v + 6 = -q, c + 0 = v for q.
-2
Suppose 4*v - 14 - 6 = 0. Solve l + 11 = -2*c, v*l - 4*c = -0*l - 13 for l.
-5
Let z be -3 + (-5)/5 + 6. Solve 13 = -3*o + 7*o + 3*n, -3*o + 9 = z*n for o.
1
Let d(p) = 8*p + 11. Let l be d(-1). Let y = 38 + -26. Solve 3*s + l*x = 3 - y, 5*s - 2*x = -22 for s.
-4
Suppose -2*g = -10, 3*b = g + g + 83. Let h = -7 + b. Solve 2*v - 6 + h = 3*p, 0 = -p - 4*v - 8 for p.
4
Suppose -44 = -2*z - 2*x + 7*x, -4*x - 42 = -2*z. Solve 2*i = -i + 2*d + z, -i = 5*d + 17 for i.
3
Let s(f) = -f**2 + 8*f - 3. Let a be s(7). Suppose q - a*m - 2 = 0, -1 = -3*q + m + 5. Solve w - q*w - 4*d + 21 = 0, 2*d - 13 = -w for w.
5
Suppose 3*c - 5*q = -2 - 5, -3*c + q - 11 = 0. Let h be 3 - (-3)/c*4. Solve 0 = 4*y + 4*v - 36, 3*y - 5*y + 4*v - 6 = h for y.
5
Let d = 4 - 2. Let s(o) = o**3 + 4*o**2 + 2*o - 3. Let y be s(-3). Solve 0 = d*r + 4*j - 24, -2*r - j + 12 = -y*r for r.
4
Let w(k) = k**3 - 5*k**2 + k - 1. Let z be w(5). Let v = -4 + z. Suppose -y = -6*y + 5. Solve v = -2*r + 5*s + y, 4*r - 5*s = -2*s + 9 for r.
3
Let i be (5/5 - 4)*(-12)/9. Solve -2*c = i*b + 4 + 14, -3*c + 1 = -b for b.
-4
Let a be -5*8*23/(-10). Let g be a/(-5) - 4/(-10). Let v be 2 + 0 + 1 - g. Solve -v = -3*i - 4*u, 0*u + 3*u = 9 for i.
3
Let r be 1*(2 + -3 + 1). Suppose -i - 3*i + 3*j - 39 = 0, -i - 10 = -j. Let a be ((-24)/(-9))/((-6)/i). Solve r = -5*v - 0*b - 2*b + 28, 3*v = a*b - 4 for v.
4
Suppose 2 - 69 = -4*u - f, u = f + 13. Suppose -m + u = m. Solve -3*k + 10