3*s**2 - s + 2. Let u be v(0). Solve -5*r - 10 = -5*f, -u*f = -5*r - 0*r - 7 for f.
1
Let n(r) = -2*r - 2. Let k be n(-5). Let t = k + -4. Suppose -3*i - i = 4*d + 8, -t*i = -2*d - 4. Solve -2*f + u = i, -3*u + 8 = u for f.
1
Let m be -5*(4/(-10) - 0). Suppose -m*c = c - 51. Solve 4*i - 30 = -5*s, -c = -3*i - 0*s - s for i.
5
Let i = -103 - -103. Solve -8*o = -3*o + 2*d + 15, -o - 4*d - 21 = i for o.
-1
Let n be 6/36 - (-87)/18. Solve -1 = n*z + 3*d + 1, -8 = 2*z + 3*d for z.
2
Suppose -3*a = 3*f + 5 - 29, 7 = 4*a - f. Let w(s) be the second derivative of s**3/6 - s. Let t be w(a). Solve -6 = -3*p - 2*y + 6*y, 5*y + 9 = t*p for p.
-2
Let r(a) = a**2 - 4*a. Let f be r(5). Solve -b - b - p = f, 7 = 5*b - 4*p for b.
-1
Let r = 9 - 7. Let h = 7 - r. Let x(u) = -u + 5. Let b be x(h). Solve 4*y + p + 16 = 0, b*p = 3*y - 2*p + 23 for y.
-5
Let a be (-40)/(-5)*1/(-2). Let h = 2 - a. Let r = h - 5. Solve 3*i + 3*y = y - 18, 4*i = 5*y - r for i.
-4
Let c = -23 + 27. Solve 0 = 3*h + d + 2, c*h - 6 = -4*d + 2 for h.
-2
Suppose 0 = d - 5*d + 8. Suppose -3*l + 4 = -d. Solve 0 = -3*w - w, 0 = -l*n + 3*w - 8 for n.
-4
Suppose -5*v + v = -24. Suppose 1 = -z + v. Solve -z = 3*a - 2*h - 16, 16 = -4*h for a.
1
Suppose 13*z + 35 = 20*z. Solve -4*h - 5 = -5*r + h, -4*h - 5 = -z*r for r.
1
Let z = -5 + -19. Let j = 34 + z. Let d be ((-1)/(-2))/(3/18). Solve -10 = -4*c + d*h + 2*h, 0 = -3*c + 5*h + j for c.
0
Suppose 0 = n - 2 - 23. Solve n - 5 = -4*s, -b = -3*s - 13 for b.
-2
Let l be ((-24)/(-9) + -1)*3. Solve 32 - 7 = -l*v + 5*q, -20 = 4*v + 2*q for v.
-5
Suppose 4*d + 5*x - 25 = -0*x, -4*d + 2*x + 18 = 0. Solve -5*t = -b + d, t + 3*t + 3*b = -4 for t.
-1
Let l = -9 - -15. Suppose -2*g + l = 2. Solve -5*a - 7 = g*p, 0 = 2*p - 4*a - 0*a - 20 for p.
4
Let r(o) = -2*o**2 + 6*o + 10. Let u be r(8). Let z be 30/u - 510/(-14). Solve -2*l + 6*l - 4*b = -32, 5*b = 4*l + z for l.
-4
Suppose 0 = m - 3 - 3. Let i(h) = -h**2 + 6*h + 2. Let n be i(m). Let v be (-4)/14 + 37/7. Solve -2*w + 2*o = 0, n*w - v*o = 4*w - 14 for w.
2
Let n(g) = -g**2 - 8*g + 2. Suppose 2*l - 104 = -0*l. Let c be (-2)/(-3) + l/(-6). Let u be n(c). Solve -2*j - u = -2*v, 1 + 1 = 2*j - 3*v for j.
-5
Let o be (-18)/(-8)*76/57. Let x = 10 - 7. Suppose x*v = -v + 20. Solve -3*y - 1 = o*z + v, 0 = -3*z + 3*y - 12 for z.
-3
Let h(z) = z**3 + 8*z**2 + 7*z - 8. Let f be h(-7). Let w be 12/10*(-20)/f. Solve 4*i - 6*g + 32 = -2*g, -w*i - 19 = -2*g for i.
-3
Suppose 0 = -2*b - 2*b + 24. Suppose b + 10 = o. Suppose 4*m - 16 = o. Solve -5*q = -2*s + 7 + 13, -q = 2*s - m for q.
-2
Suppose -2*b + b + 4 = 0. Let q be ((-2)/(-4))/((-5)/20). Let g = q + b. Solve 0 = p - 3*a + 11, 2*p + g*a + 1 = p for p.
-5
Suppose -5*t - g - 1 + 16 = 0, -3*t - 2*g + 9 = 0. Suppose -1 - 44 = -t*h. Let r be h/4 + (-9)/12. Solve r = 3*c - 2*d + 13, -4*c - 4*d = -20 for c.
0
Suppose -4*f + 2 = -2. Let c = f + 10. Solve -3*k - c = -r, 2*r + 3*k = -6 - 17 for r.
-4
Suppose 0 = 2*l - 5*l, -3*k - 2*l = -12. Solve 17 = -5*y - 0*n + 4*n, y + k*n = -13 for y.
-5
Let q = -1 + -2. Let v = q + 2. Let s be (3 + v - 2) + 4. Solve s*j + 10 = 5*j - 4*y, -3*j = 4*y + 2 for j.
2
Suppose -3*j = 2*x + 53, 5*x + 83 = 3*x + 3*j. Let o be 2 + (-22 - (-2 + 2)). Let z = o - x. Solve -3*n + z = 4*a, -2*a + 13 = a + n for a.
5
Let n = -63 - -68. Solve -n*r + 17 = 4*y, 10 = -2*r + 2*y + 2*y for r.
1
Suppose 36 = 11*i - 2*i. Solve -4*z - 10 = -6*z, -q - i*z = -23 for q.
3
Let w = -5 - -7. Let s(h) = 2*h**3 + h**2 - h. Let a be s(-2). Let p be (-18)/4*a/15. Solve -6 = -3*c, -2*c = -w*z - p*c for z.
-1
Let z(a) = 2*a**2 - 3*a + 4. Let h be z(-3). Solve 4*g + g + 2*w = -h, 2*w = -g - 11 for g.
-5
Let s = 48 - 22. Let q = s + -2. Solve -a + 5*a + 2*o - q = 0, 5*o = -3*a + 25 for a.
5
Suppose 2*m = -m + 78. Let c = m + 1. Solve t + 6 = -a, a + 3*a + 5*t = -c for a.
-3
Let u(b) = b**2 - 7*b - 13. Let g be u(9). Solve 0 = -5*a + 4*f - 11, a + 18 = -a + g*f for a.
1
Suppose 42 + 63 = 3*l. Solve 2*p + 2*p = 3*w - l, -4*w = 3*p - 5 for w.
5
Let x(f) = f**3 - 4*f**2 - 8. Let t be x(5). Solve 2*h + 3*g + 1 = 0, 0*h - g - t = 4*h for h.
-5
Let z(v) = v**2 + 3*v - 2. Let f(i) = 3*i - 3. Let y be f(2). Suppose y = 3*p + 15. Let o be z(p). Solve 4*m + 8 = -o*j, 3*m + 13 = -6*j + j for m.
-1
Let k = -11 - -14. Suppose 5 = -5*j + u, -2*u - 20 = 2*u. Let r = k - j. Solve -3*g - 5*x + 2*x - 3 = 0, g + 5*x + r = 0 for g.
0
Let x be 4/(-10) - (-6)/15. Solve 0 = -a + 3*g + 2 + 1, -3*a - 2*g - 2 = x for a.
0
Let j(d) = -d - 3. Let x be j(-3). Suppose 27 = 4*n - 45. Suppose -n = -4*z + 22. Solve x = -y + 4*t + z, y - 6 = 5*t + 7 for y.
-2
Let f be ((-4)/10)/((-1)/(-5)). Let n(v) = -v**3 - v**2 - 1. Let r be n(f). Solve -3*l = l + 3*d + 35, r*l - 2*d + 5 = 0 for l.
-5
Suppose -3*m - 3 = -4*x + 2, 13 = 3*m + 5*x. Suppose -9*j + 4*j = 0. Solve j = 3*k - z - m, -18 = -5*k - 5*z + 17 for k.
2
Let d = 14 + -9. Solve 5*k + 3*i = -4, -10 = -0*k + 5*k + d*i for k.
1
Let g = 9 + -5. Let l = 20 + -10. Solve -b = -3*c + l, -3*c + g*b + 1 + 3 = 0 for c.
4
Suppose 6*r - r - 50 = 0. Solve 4*a = -a + r, -2*y - 4 = a for y.
-3
Let z be (-232)/(-28) + 4/(-14). Let d = z - 3. Solve -17 = -4*g + d*n, 0 = n + 2 + 3 for g.
-2
Let r be (-2)/10 - (-5481)/5. Let w be r/32 - 3/(-4). Solve 2*d + w = -d + 4*s, -30 = 4*d - 2*s for d.
-5
Let p(a) = -3 + 5 + 2 + a - 2. Let y be p(1). Solve -5*r = y*z + z - 9, 4*r - 3*z = 1 for r.
1
Let c(k) = -k + 6*k**2 + 2 + 4 - 4. Let q be c(2). Suppose 0*m + q = m. Solve 0 = -3*i - t + 11, -4*i + m - 4 = -4*t for i.
4
Suppose 0 = -u + h + 8, -2*u + 6*h = 2*h - 24. Solve -3*d = -u*a + 5*a, 0 = -5*d + a for d.
0
Let x(d) = -3*d - 4. Let w be x(-3). Let o = 46 - 32. Let v = o - 10. Solve -8 = -w*g + 3*u, 9*g = v*g + 2*u + 12 for g.
4
Suppose -4*f + 1 = -19. Suppose 0 = -2*l + f*l. Solve 0 = -2*g + 3*m + 10, 2*g - 3*g - 2*m - 2 = l for g.
2
Let i be 734/(-18) - (-4)/(-18). Let u(a) = 17*a**2 + a - 2. Let y be u(-2). Let z = y + i. Solve -t = -2*r + 2*t - z, 3*t = 3*r + 27 for r.
-4
Let b(p) = p**2 - 10*p + 1. Let h be b(12). Solve 3*m = 5*n + h, -3*m + 0*m = -4*n - 23 for m.
5
Suppose x + 1 = 6. Solve -x*o + d = 3*d + 6, 2*o - 9 = 3*d for o.
0
Suppose -17*j + 15*j + 6 = 0. Solve -4*t + 9*t - 3*o - 20 = 0, -t - j*o - 14 = 0 for t.
1
Let j(y) = -y + 2. Let f be j(-3). Solve q - 3 = g, f*q + g + 0*g - 3 = 0 for q.
1
Suppose -4*n + 48 = 3*j - 2*j, 4*n - 64 = 3*j. Suppose 7 + n = -5*i. Let v = i + 10. Solve v = -4*t - 3*x, -x - 2 = 3*t - 0*x for t.
0
Suppose 11*t - 24 = 5*t. Solve t*x = -2*m + 2, 5*x + 2*m - 4*m + 11 = 0 for x.
-1
Let f = 6 - 8. Let p be (5/f + 1)*-2. Suppose 2*m - p = m. Solve -i = -4*s + i + 10, s - m*i = 0 for s.
3
Let s = 9 + -5. Suppose -3*h - s*d + 22 = 0, h + 28 = 6*h - 2*d. Suppose 9*j = h*j - 5*g + 4, 3*j = -g + 20. Solve 5*p - 19 = 2*k, -2*p - 2 = -4*k + j*k for k.
-2
Let q be 7/2 + 3/(-6). Solve 0 = -2*m - 2*y + 18, -q*m + 5*y = -m + 10 for m.
5
Suppose -2*t - 28 = -4*j, -5*j + 4 + 16 = 0. Let i be t/15 + (-44)/(-10). Solve 0 = -5*u - 5*k - 25, -2*u - i*k = u + 15 for u.
-5
Let n(i) = -1 + i + 0*i + 0*i. Let b be n(4). Solve -4*o - 2 = b*u + 2, 3*u + 2*o = -8 for u.
-4
Suppose j + 2*j = 201. Let n = j + -48. Solve -2*v = -4*o - 20 + 6, -4*v + 5*o = -n for v.
1
Let r be 1/4 + 30/8. Suppose -r*f + 9*f = 25. Solve -2*o = -f*d - 16 + 4, 5 = -3*o - 4*d for o.
1
Suppose -4*w + 0*w + 16 = 0. Let k = w - 1. Let z(t) = -2*t**3 - 7*t**2 - 3*t + 4. Let o be z(-3). Solve 5*f + 7 = k*g, 0*f + o*f + 4*g = -12 for f.
-2
Suppose -30*s + 25*s + 20 = 0. Solve -2*h + 0*h = 5*n + 10, h = s*n + 21 for h.
5
Let z be 30/3 - (-1 - -2). Let u be -2 + z*(-2 - -3). Suppose 3*w - 3*f = -6, 2*w = -f + u + 1. Solve 0 = 2*x + w*k + 3*k + 17, 0 = 3*x + 5*k + 13 for x.
4
Let w(j) = j**2 - 9*j + 6. Let u be w(10). Let l = -2 - -6. Solve l*o + a = -0*o - u, -4 = o - 3*a for o.
-4
Suppose 3*h + 36 = -2*y, -4*h = -h + 12. Let r = y + 17. Solve j - 5*s - 20 = 0, -j + 2*s = -0*s - r for j.
-5
Suppose 3*o - 5*c = o + 9, 5 = 4*o + 3*c. Let p be (198/15)/(3/60). Let v be (-2)/(-7) - p/(-56). Solve -v = -o*j - z, -j = -z - 2*z - 6 for j.
3
Let r be (-5 + 4 + -2)*1. Let c be (1*4)/(2/r). Let l = c - -8. Solve n - 4*g - 20 = 0, l = -n + 2*g + 14 for n.
4
Let v be 2 + 3 + -1 + 2. Let w(p) = -3*p**3 - p**2