-5
Let o(p) = p**2 - 3*p - 3. Let w be o(3). Let m be (10 + 0 + -2)*1. Let z = m + w. Solve z*l = 3*v + 1, -10 = 4*v - l - 3 for v.
-2
Suppose -f + 0*f = -14. Let v be (-2)/4 + 35/f. Solve 3 + 8 = v*q - h, -h = 3*q - 14 for q.
5
Let o be (90/(-20))/((-6)/4). Solve 5*c = -o*q + 20, 16 = 4*c + q - 6*q for c.
4
Suppose -3*k - 12 = -7*k. Solve -q - 4*d - 15 = 0, -4 = 5*q + k*d + 3 for q.
1
Let p be 4 - (6 + -3 - 3). Suppose p*j - 30 = 30. Solve q + v + 3 = 0, 4*q - 2*v + j = -3*v for q.
-4
Let i(a) = a + 22. Let k be i(-6). Solve 4*s = -4*b + 3*s + k, -5*b + 5*s = -20 for b.
4
Let v(q) = -q**2 - 1. Let z(o) = 4*o**2 + 2*o + 2. Let h(s) = -5*v(s) - z(s). Let k = 7 + -5. Let a be h(k). Solve t - 18 = 4*m, 0 = a*t - 5*t + 4*m + 16 for t.
-2
Let v(s) = s + 12. Let i be v(-6). Suppose i = 4*u - 6. Solve 4*q - u*a - 2 = 2, 2*q - 2*a = 0 for q.
4
Let y(i) = -2*i + 8. Let l be y(6). Let q(w) = w + 7. Let s be q(l). Solve -11 = -5*m - v, 3*m + 2*v + v = -s for m.
3
Let t = 7 + -13. Let h be (-3)/(1/(8/t)). Suppose -4*n = -5*p + 9, 3*n + h*p = 11 + 21. Solve 0 = -3*z - 3*d + d + 23, 4*z - 4*d - n = 0 for z.
5
Suppose -4*t = 5*i - 23, -i - 3*t + 6 = -3. Suppose 0 = 2*x + i*x + 5. Let l = 3 - x. Solve 5*c = l*y, -9 = -0*y - y - c for y.
5
Let z(l) = l**3 + 10*l**2 + 3. Let y be z(-10). Solve 18 = -3*q + 2*k - 6*k, 9 = -y*k for q.
-2
Suppose -8*m = -4*m - 8. Suppose m*u - 10 = -0*u. Solve -4*r + u = -j, -2*r = 2*j - 0*r + 10 for j.
-5
Suppose 0 = -10*c - 3*c + 247. Solve 5*o + 15 = 0, -3*o + 5 - c = -5*p for p.
1
Let l = 3 - 2. Let n be l*(19 + 0 - 1). Suppose 8 = -i + 3*i. Solve -r = i*f + n, -3*r + 2*f + 1 = 3*f for r.
2
Let r be ((-1)/(-3))/((-3)/(-54)). Let t = r + 15. Let y be ((-1)/2)/(2/(-4)). Solve -3*a - 18 - y = o, -a - t = 4*o for a.
-5
Let m = 21 + -11. Solve -2*c + 4*c = 2*f + 2, -2*f - m = -4*c for f.
3
Let h = 21 + -17. Let q(k) = k**2 - 5*k + 3. Let x be q(5). Solve 5*y - h*i = 15, -x*i = -8*i for y.
3
Let o(p) = 2*p - 4. Suppose 0*c - 20 = -5*c. Let m be o(c). Solve -2*x - 5 = -3*j, -m*x - 2*j + 6*j - 8 = 0 for x.
-1
Suppose v = 2*v + 110. Let f be v/(-6) - (-2)/3. Solve 4 = n + x, -f = 3*n - 3*x - 1 for n.
-1
Suppose 5*v = -3*x + 29, x = 4*v + 3*x - 22. Suppose -1 = 2*s - 23. Solve 3*f + 5*y - 3 = 0, v*f + 8 = y - s for f.
-4
Let t = -36 - -36. Solve -u + 1 = w, -5*u - w - 7 = -t for u.
-2
Suppose 0*m = m. Let n(c) = c - 2*c + 2 + 1. Let i be n(m). Solve 4*y + 0*b = -b - 7, 0 = -i*b + 15 for y.
-3
Let v = 11 - 9. Solve 9*y - 22 = n + 4*y, 5*n + v*y + 2 = 0 for n.
-2
Suppose 13 = 3*y - j - 19, 3*j = y - 16. Let k(a) = 3*a - 3. Suppose 4*m - 4 - 4 = 0. Let c be k(m). Solve -3*v - l = -y, c*v - 4*v + l + 6 = 0 for v.
4
Let d(s) = -s**3 - 8*s**2 - 6*s + 3. Let z be d(-7). Let c be (-2 - (-34)/8)*z. Let v = c + 9. Solve 0 = -4*o + 12, -3*k + v*k + 5*o - 18 = 0 for k.
-1
Let z = 4 + -5. Let l be -4 - (9/z + 3). Solve 2*r = 3*o - o - l, -3*o - 32 = 4*r for o.
-4
Suppose -4*r + 2*r = -h + 2, -5*h + 36 = 3*r. Solve -3*f + 4*t + 6 = 0, -5*t - 10 = -h*f + f for f.
2
Let o be (-180)/(-22) - 6/33. Solve 5*v + 3*t = 19, -2*v - 3*t = 4 - o for v.
5
Let o(b) = -b**3 + 6*b**2 - b + 1. Let i be o(4). Let x(p) = p**3 + 5*p**2 - 4*p + 14. Let q be x(-6). Solve -5*c = q*k + i, -c + 4*k + 0 + 3 = 0 for c.
-5
Let p(f) be the third derivative of -f**6/120 + f**5/20 + f**4/8 + f**3/6 + f**2. Let m be p(3). Let y = 26 - m. Solve 2*g = 2*u - 7*u + 23, -4*g = -y for u.
3
Let l be ((-6)/(-4))/((-39)/(-208)). Let j be (0 + -3 - -4) + l. Solve -5*i - 4*c + 15 = 0, -i + j = -0*c + 2*c for i.
-1
Let i = 43 + 0. Suppose -4*d + 2*d + 3*m = -i, d - 2*m = 20. Solve -h = -5*k + 3*h - d, 3*k = 5*h - 26 for k.
-2
Suppose 5*n + 4*a - 2 = 39, 2*n - 2*a - 2 = 0. Suppose -4*w - 10 = -22. Let c be 5*1 + 33/(-3) + 6. Solve 5*r - 20 = -n*x, -w*x + 7 = -2*r - c*x for r.
1
Let w(k) = k - 6. Let n be w(7). Suppose 4*v + n - 17 = 0. Solve v*b - 3 = 2*m + 3, 3*b + 3*m = 0 for b.
1
Suppose -5*a + 4*h = -22, -a = h + 2 - 1. Solve 5 = 2*u + f - 10, a*u - 5*f + 15 = 0 for u.
5
Suppose -3*y = 2*y. Suppose l = 4 - y. Solve -20 = -l*q + 2*z + 2*z, -q - 5*z = 13 for q.
2
Let m = 34 + -29. Let b(w) be the second derivative of w**3/6 + 3*w**2/2 + w. Let q be b(m). Solve -4*f + v = q - 3, 2 = -f + v for f.
-1
Let k(n) = -3*n + 26. Let g be k(8). Solve 0 = g*r + d - 3, -3*r = -0*r + 5*d - 1 for r.
2
Suppose -4*z = -2*y, -2*z = -3*y + z + 6. Let o be (3/2)/(y/8). Solve 2*j + 4*l - 18 = 0, o*j - 5*j = -2*l + 12 for j.
-1
Let z(x) = 7*x - 5. Let g(h) = -15*h + 10. Let c(v) = 4*g(v) + 9*z(v). Let y be c(3). Solve -2*d + 3*t = -t + 14, y*t - 29 = -3*d for d.
3
Suppose 3*z = z + 5*t + 29, 3*z - 33 = 4*t. Solve 0 = 3*k + 3*u + 3, 0*u - u = -3*k - z for k.
-2
Let a be 66/9 - (-2)/(-6). Let z(h) = -h**3 + 8*h**2 - 6*h - 9. Let i be z(a). Let o be i/4 + (-21)/(-6). Solve -p = -2*s - 2*p, -o*s + 26 = -5*p for s.
2
Suppose -5*s - 63 = -193. Solve 0*i - i = -5, -s = -3*l - 4*i for l.
2
Let f(i) = -5*i - 60. Let h be f(-16). Solve -4*u + 2*u + 25 = -5*n, -h = 3*u + 4*n for u.
0
Let d be (-1)/2 + (-2)/4. Let m = d - -1. Let z(t) = -4*t - 1. Let q be z(-1). Solve -13 = -3*r - w, 1 = r - q*w - m for r.
4
Let y be 1/3 - (-1)/(-3). Let x(q) = -q**2 - q + 3. Let o be x(y). Let c be (o/5)/(4/20). Solve -2*n = -2*j + 6, -c*j + 8 = -5*n - 5*j for n.
-2
Let b be 110/(-44)*2*1*-1. Solve 0 = -3*t - 4*o - 4, 3*o = -3*t - 2*o - b for t.
0
Let k(r) = r + 4. Let z be k(-5). Let o be (-1 + 1)/(z + 0). Solve 4*a - 4*n = -16, o*a - 3*n = 2*a - 7 for a.
-1
Suppose 0 = -2*x - 0*z - 4*z - 2, x - 17 = 4*z. Suppose 0 = -x*d + 6*d. Solve -5*v = -0*v + 5*p + 45, d = v - 4*p - 16 for v.
-4
Let q = 22 + -20. Suppose 0 = 5*u - 9 - 11, -l = q*u - 21. Solve 0*d - d = 4*n - l, 4*d = -2*n - 4 for d.
-3
Let m = -22 + 35. Suppose -2*k - m = -7*k - 3*q, -k - 4*q = 11. Solve -3*n = 2*v + 5, -2*n + n + k = -v for v.
-4
Let n = 22 - 16. Let w = 11 - 6. Let r = w + -5. Solve 2*d + f = -n, r = 5*d + 3*f + 16 - 3 for d.
-5
Let n be (-190)/(-3) - 4/(-6). Suppose 2*v = 3*c + n, v + v + 3*c - 40 = 0. Let q = -8 - -13. Solve -x + 15 = q*b - 3*x, b = 5*x + v for b.
1
Let l(o) = -9*o. Let j be l(-3). Let f = 7 + -5. Suppose -1 = -f*m + 9. Solve -m*k = -3*b - 2*k - j, 4*k = -5*b for b.
-4
Suppose 38 = 2*q - 2*b, q + q + 3*b = 58. Solve 0 = 4*k + 2*z - 28, -5*k - 5*z + q = -22 for k.
5
Suppose -123*q + 122*q = -2. Solve 4*j - j = 2*r - 13, q*j = r - 8 for r.
2
Let v = 4 - 4. Let t = v - -1. Suppose 4*b - 10 = 2*b. Solve r - 5*y = t, -2*y + y = -b*r + 5 for r.
1
Let o = 80 - 78. Solve -n = -d + 1, o*n = -0*n + 3*d - 7 for n.
4
Let s = 11 - 4. Suppose 0 = -4*b - 15 + 35. Suppose 0 = b*v - 18 - 7. Solve v*a - 5 = u + 17, -u - s = -2*a for a.
5
Suppose 0 = 8*z - 4*z - 12. Suppose -s = s. Solve j + 0*j - z*n + 2 = s, 0 = -3*n for j.
-2
Suppose 4*m + 4*j - 18 = 2*m, -4*m - 2*j + 18 = 0. Solve 0 = -m*w + 3*a - 3 - 3, -2*w - 7 = a for w.
-3
Let m = 73 - 46. Solve 6*x = x + 15, 3*k + m = 5*x for k.
-4
Suppose 45 + 1 = 5*k + 2*l, -2*l + 22 = 2*k. Suppose k*z - 3*z = 25. Let b be (-4)/6*-6 + (-4)/2. Solve -2*c = 2*c + 4*w, -z*c - 4*w - b = 0 for c.
-2
Suppose -u + 11*u - 20 = 0. Solve -12 = -3*p + 5*p - u*i, -4*p - 3*i = 10 for p.
-4
Suppose 2*k - 8*k + 78 = 0. Let d(y) = 4*y - 1. Let g be d(-2). Let j = k + g. Solve r + 4 = -j*x, 3*x + 6 = r + 3 for r.
0
Let p(z) = 2*z**2 + 6*z + 7. Let v be p(-3). Solve 0 = 4*l - 12, -g - 2*l - v = -5*l for g.
2
Let k be 6/15 + 4/(-10). Suppose k*h = -5*h. Suppose 0 = 4*t - h*t. Solve t = 3*d - 0*p - 2*p - 19, -5*p = -3*d + 34 for d.
3
Let v(d) = -d**3 - 12*d**2 - 13*d - 19. Let s be v(-11). Solve 4*b - 2 = -0*a + 2*a, a - 4*b = s for a.
-5
Let y(j) = j - 6. Let z be y(-9). Let d = 25 + z. Suppose -8*p = -3*p - d. Solve 4*n + 5*l - p*l + 32 = 0, 0 = 2*l + 8 for n.
-5
Let d(o) = -o**3 + 3*o**2 + 6*o - 6. Let t be d(4). Let n be t/5 - (-32)/20. Solve 0 = -l + 3*s + 2*s - 22, -5*l = n*s - 25 for l.
3
Suppose -4*u + u = -6. Suppose -u*s + 5*s - 18 = 0. Solve -6 = 3*a, -2*a = 5*l - 0*a - s for l.
2
Let i(u) = -u + 1. Let v be i(-2). Suppose -1 + 13 = v*s. Solve -5*c - 25 = -t + 6*t, 2*c = -s*t - 18 for c.
-1
Let o = 20 + 7. Let c = -24 + o. Solve 4*y - c*m + 7*m = 36, -3*m = 2*y - 22 for y.
5
Let v(r) = r - 2. Let t be v(4). Let f(z) = z**3 + 