2
Let s(z) = -10*z**2 + 2*z + 1. Let u be s(-1). Let y(o) = -o**3 - 11*o**2 - o - 7. Let g be y(u). Solve v + 4*f + 0*f + 10 = 0, 11 = g*v - f for v.
2
Suppose 0 = -5*p - 2*i + 125, 8*i - 7*i - 100 = -4*p. Solve -d + v = -8, -d + 3*d = 5*v + p for d.
5
Suppose -24 = -5*v + v. Suppose 6 = 2*i - 0. Suppose -2*s - 26 = 5*d - v, 5*s + 12 = -i*d. Solve s*w = 3*j - 2*w - 10, -4*j - w = 5 for j.
0
Let f(s) = -2*s**2 - 6*s - 6. Let k be f(-4). Let v be (-4)/k - 1390/(-35). Suppose 0 = r - 6*r. Solve v = -5*y + 5*n, 2*n = -2*y - r*n for y.
-4
Suppose -6 = -5*p + 24. Let n be (0 + 0)*(-1)/(-2). Solve 4*r - 4*w = n, 0*r - 2*w - p = r for r.
-2
Let r = -9 - -15. Suppose -3*g = -2*u - 6, 4*u - 6*g = -3*g. Let n = 31 - 19. Solve 0 = -4*h + v - r*v - n, -u*h = 3*v + 9 for h.
-3
Let i be 46*(-2 + 10/4). Suppose 2*t - 2*b - i = -5, 0 = -2*b - 6. Solve -2*s = -5*v - t - 25, -5*s + 5 = 2*v for v.
-5
Let v = 9 - 7. Let a(i) = v - 1 + 13*i - 14*i. Let u be a(-1). Solve 3*d + 3 = -3*x + 5*x, -u*d = -2*x + 2 for x.
0
Suppose t - 4*p = -20, 3*t - 5 = -4*p + 3*p. Let a be 3 + (-2)/(-2)*-1. Solve -3*g - 4*r - r - 19 = t, 5*r + 4 = a*g for g.
-3
Let m(b) = -3*b - 1. Let l be m(-1). Suppose 6*c - 5 - 7 = 0. Solve -5*x = 3*p + 19, -l*x + c*p + 6 = 4 for x.
-2
Suppose -5*q - 19 = 16. Let x be (-8)/(-28) + (-19)/q. Solve -x*d - 3 = -j - 4*j, -15 = -3*d - j for d.
4
Let o be 1/2*(5 - -3). Suppose -8 = 3*l - o*v, 4*l + 2*v + 2 - 6 = 0. Suppose 6 + 0 = 2*i. Solve u = 4, l = -i*q - 2*u + u + 4 for q.
0
Suppose 32 = 5*s - 318. Let d be (-2)/3 - s/(-15). Solve d*z = 2*f + 12, 2*z - 12 = 3*f + f for f.
-2
Let j be (20/(-15))/((-8)/12). Solve -3*k = 3*n - 27, -3*n - 3*k + j*k + 19 = 0 for n.
5
Let w = -7 - -5. Let h = 2 + w. Solve 2*z - 5*t = 2, z + h + 14 = -5*t for z.
-4
Let o(r) = -2*r - 12. Let t(x) = x**2 + 7*x + 5. Let q be t(-4). Let v be o(q). Solve 4*d - 30 = v*m, 4*d - m = -6*m - 5 for d.
5
Suppose 3 + 21 = 6*v. Solve v*g + 20 = 0, 2*a - 4*a - 4*g = 18 for a.
1
Suppose -5*s + 4*k = 77, 2*s + 2*k + 0*k + 38 = 0. Let x be (-7 + -1)/(34/s). Solve -4*m = 12, g - 3 + x = -2*m for g.
5
Let h be (0/1)/(7/(-7)). Suppose h*d = 3*d - 48. Let k be 1*-2 + 1 - -4. Solve -2*z = -5*g + d, 6*g - k*g = 4*z + 4 for z.
2
Suppose h = 4*h. Let q be 1 - 3/(h - -3). Solve q = y + t, -2*y + t = -t - 4 for y.
1
Let r be (-15)/6*(-6)/(-5). Let d be (8/r)/(4/(-6)). Let w be (-2)/(-8) - 38/(-8). Solve -k + 6 = -3*f, 14 = -w*f + 5*k + d for f.
-2
Suppose 5*l - 2*d = d + 29, -l + 5*d + 19 = 0. Solve -13 = -4*i - 4*w + 7, l*i = -w + 17 for i.
4
Let d = 10 + -5. Solve -d = c - 5*y + 10, 4 = y for c.
5
Suppose -5*j + 13 = -y, 5*j = 7*j - 5*y + 4. Suppose 4*b + 30 = 3*v - v, -2*b = v + 5. Solve -4*f + 2*k = -24, j*f + v*k + 40 = 8*f for f.
4
Let f(l) = -l + 2. Let v be f(-2). Let z be (5/(-2))/((-2)/v). Suppose 0 = q + z*o - 31 - 14, 2*o = -2*q + 50. Solve -2*j - 2*m - q = 2*m, -4*m = -j + 20 for j.
0
Suppose 2*t - 7*t + 25 = 0. Let m = t + -3. Suppose 2*z = 3*u + 17, u = -m*z - 2*u - 1. Solve 0*c - 12 = -4*f - z*c, 17 = -5*f + 3*c for f.
-1
Let w = -4 + 2. Let t be (6/7)/(w/(-14)). Suppose -p = -4*p + 5*c + t, -c - 10 = -5*p. Solve 19 = -v + 5*z + 3, -3*z + 7 = p*v for v.
-1
Let u be 3/1 + -2 + 3. Suppose 1 = -n + u. Solve -3*a - 3 = -4*a + 2*c, -5*a = -n*c - 22 for a.
5
Let s(f) be the second derivative of f**5/20 - 5*f**4/12 + f**3/3 - 5*f**2/2 - 4*f. Let l be s(5). Solve 5*d + 9 = -0*y - y, 3*y = d + l for y.
1
Let p = -96 + 106. Solve 3*o - p = -2*y, 5*y + 3 = -5*o + 18 for y.
-1
Let y = 1 + -2. Let x = y - -3. Suppose -s = x*s - 15. Solve -3 = 4*f + s*g - 8, -3*g + 3 = 0 for f.
0
Suppose -2*f - 4*q - q = -14, 2*f = 3*q + 30. Solve 3*h = 5*v + 12, 0 = 3*h - 0*v - 4*v - f for h.
4
Let x(h) = h**2 + 4 - 2*h**2 + 2*h - h**2 + h**3. Let o be x(3). Suppose 0 = -3*s + 2*s + o. Solve 5 = 3*y - 2*p, 2*y + y + s = -4*p for y.
-1
Let q(z) = z + 4. Let h be q(-4). Suppose 4*s - 8 - 12 = h. Solve -3*k + 1 - 13 = -s*g, -k = -4*g + 11 for g.
3
Suppose 7*f - 33 = 4*f. Solve 2*d - f = d - 2*k, -5*k = -2*d - 23 for d.
1
Suppose -8*u = -9*u + 8. Suppose 5*g - 2*n = 16, 0*g - n = 3*g - 14. Solve -3*w = -3*f + g*f - u, -5*f = 3*w - 16 for w.
2
Suppose -5*n = -0*n. Suppose 0 = 8*j - 5*j - 12. Suppose j*b = 5*y - 11 - 15, n = -2*b - 8. Solve -4*a - 22 = -f, y*f - a - 29 = 4*a for f.
2
Let r = -15 - -20. Solve -5*i = 3*g + 19, 0*i = 2*i - r*g - 11 for i.
-2
Suppose 4*f = f + 9. Solve -5*o - 2*j + 17 = 0, o - 6*o + 37 = -f*j for o.
5
Let i(l) = l**3 + 8*l**2 - 5*l. Let j be i(-8). Let a be (-16)/(-5)*j/16. Solve -5*g - 2*q + 3 = 0, -5*g = -g - 4*q - a for g.
1
Suppose 0 = -l + 5 + 11. Let h = l - 11. Solve 18 = 2*d + 5*w, -2*d + h*w = d + 23 for d.
-1
Suppose -p - 1 = -22. Let m be (-6)/p + 58/7. Solve -m - 8 = -4*r, 2*r - 12 = -2*g for g.
2
Let v = -17 - -19. Suppose -v*o + 26 = 20. Solve 5*l = 2*r + 5, -o*r + 3*l + 3 = -3 for r.
5
Let o = 10 + -10. Suppose 4*a + 5*d - 8 = o, 2*d - 1 = -a + 1. Solve -a*q - 9 = -2*z + 3*q, 4 = 4*z + 4*q for z.
2
Let w(a) = a + 3. Let p be w(0). Let t = 10 + 2. Solve p*u - 3*l = t, u + 2*l - 3 = -2 for u.
3
Suppose 3*g + 4*n - 4 - 14 = 0, 3*g - 9 = -n. Let r = 5 + -3. Suppose -r = d - g*d. Solve -2*w = -5*l + 23, -d*w = -2*l - 3*w + 11 for l.
5
Let p = 17 - 12. Suppose p*q + 7 = 17. Solve q*o = 2, 5*m + 5*o = -0*m for m.
-1
Let j be (-12)/(-2) + -1 + -2. Suppose -j*k + 9 = -0*k. Solve 5*i - 40 = 5*q, k*q + i - 3*i = -19 for q.
-3
Let n be (3 - -3)/(-2) - -2. Suppose i - 6*i = 0. Let d be (i - 1) + (n - -2). Solve -h + 0*h = d, 4*g = 2*h + 16 for g.
4
Let o be 1 - (0 - 2 - -2). Suppose -3*j + 8 = -o. Suppose -9 - 27 = -4*s. Solve 2*r + 13 = -5*d, d + s = -j*r + r for d.
-1
Suppose 2*n + 4*c = 8, -30 + 92 = 5*n - 4*c. Let q = -8 + n. Solve 11 = 5*i - q*k, i = -i + 2*k + 8 for i.
1
Let b = -65 + 41. Let i be ((-60)/b)/((-2)/(-4)). Solve -16 = f + i*s + 6, 3*f + 2*s = -14 for f.
-2
Let l be (((0/2)/2)/(-1))/(-1). Solve 5*n + 2*c + 26 = l, -2*n + 5*c + 35 = -7*n for n.
-4
Let p be ((-3)/(-2))/((-3)/(-4)). Solve -2*d - u = p, 4*d = 2*u - 0*u + 4 for d.
0
Let h be 1*(6 + 1 + -3). Let c(j) = j**2 + 4*j. Let n be c(-3). Let w(o) = -o - 1. Let g be w(n). Solve g*a = -2*a + 4*l, -h*a - l = 0 for a.
0
Suppose -2*q + 75 = q. Let j(s) = -s**2 + s + 42. Let k be j(7). Solve -2*y + 8 = k, -2*y = z - 7*y + q for z.
-5
Let x be (1 - (0 + 0)) + 12. Suppose 4*c + 5 = x. Solve 5*u - 10 = -c*m, 2*u - 4 = -m - 1 for u.
4
Let m(w) = 2*w + 14. Let t be m(-7). Solve a + t*a - 5*h = 1, 0 = -3*a + 5*h + 3 for a.
1
Let a = -12 - -15. Solve 12 = -a*q - 5*y, -3*y - 12 = 3*q + y for q.
-4
Let d = 14 + -25. Let v = d + 35. Solve 2*x + 5*b = x + v, 29 = -4*x + 5*b for x.
-1
Let c = -14 - -18. Solve -n + 3*n - c = 2*b, -5*n = 5*b - 40 for n.
5
Let r(h) = h**2 + 7*h - 7. Let j be r(-9). Suppose 0 = -i + 12 + j. Let k = i - 14. Solve 0 = -2*g - p + k, -2*p = 4*g - 9*g + 18 for g.
4
Suppose -3*o = 6*v - 2*v - 18, 0 = v + o - 4. Suppose z - v*z = 0. Solve 5*i - 28 = -j - z*j, 4*j - 4*i + 8 = 0 for j.
3
Let t = 2 - -1. Let w(d) = -d - 7. Let n be w(-9). Solve -n*l + t*c = l - 3, 23 = -4*l - 5*c for l.
-2
Let p(z) = -z**2 + 5*z. Let b be p(5). Solve b*f - 2*c = -5*f + 8, 8 = 2*f + 4*c for f.
2
Let r be -6*2/(-8)*-2. Let u = r - -6. Solve -4 = -u*z + 4*q + 3, -4*q - 17 = -5*z for z.
5
Suppose l = 4*y - 9, -y = 3*y + l - 7. Solve 4*u + 3*q + 1 = 0, u - 3*u - y = 2*q for u.
2
Let p(s) = -s**2 + 3*s + 5. Let t be p(4). Let i be 6*t/2*1. Solve -2*d + 5 = 5*w - 4*d, d = -3*w + i for w.
1
Let v(b) = -2*b**2. Let t be v(-1). Let d be 1 + t/(-2 + 4). Let r = 5 - -9. Solve 2*s + 5*o = -2*s + 16, d = -2*s + 3*o - r for s.
-1
Let t = -7 + 7. Let k(r) = r**2 + r + 3. Let l be k(t). Solve u = -2*d + l*u - 6, -4*d - 15 = -u for d.
-4
Suppose -3*v + 18 + 7 = -o, 5*o - v = -55. Let k be (o + 3)/(-1 - -2). Let b(c) = -c - 2. Let j be b(k). Solve 3*i - 12 = -0*i, 0 = -5*f - 5*i - j for f.
-5
Let o(x) = -x**2 + 7*x + 11. Let p be o(8). Suppose 3*n = -p*w + 21, 0*w + 7 = -3*n + 4*w. Solve -n*m + 0*m + 6 = -2*h, -3*m = 3*h + 9 for m.
0
Let c = -21 + 27. Solve c = -2*z + 5*u, -z - u - 4 = -4*z for z.
2
Suppose -2*m - 2*m = -8. Suppose -m*t = -4*t - 8, -t - 10 = -3*j. Solve -3*b - i = -8, -j*i + 8 = -2*b - 6*i for b.
4
Suppose -11*s = 3 - 36. Solve m