
4
Let g(p) = p + 8. Let v be g(-6). Solve -2*x + 3*h - 7 = 0, v + 4 = 2*h for x.
1
Let a = -61 + 65. Solve -o = -a*p + 10, -2*p = 4*o - 7*o for o.
2
Let v(y) = 2*y - 2. Let m be v(2). Suppose 0 = -2*u + t - 4*t + 8, -5*u + 58 = -m*t. Solve 0 = -i + 3*q - u, -i - 3*i - 4*q = -24 for i.
2
Let z(h) = h**2 + 4. Suppose -3*m = -m + 6. Let s be z(m). Solve -j + s = -4*g, -2*j - j - 9 = 4*g for g.
-3
Let b = -46 - -50. Solve -t - 9*c = -b*c - 22, -t - c = -2 for t.
-3
Let d(m) be the second derivative of m**4/3 + m**3/3 - m**2/2 + 3*m. Let v be d(1). Solve -3*z + 5*s = 0, v*z + 3*s + 18 = 52 for z.
5
Let u(v) = v - 4. Let h be u(4). Suppose -3*r = -2*l, -5*r + 2 + 8 = h. Let p be ((-6)/4)/(l/(-4)). Solve -n - 7 + 1 = -p*w, -3*n - 3*w = 9 for n.
-4
Let g = 0 - -3. Solve r + 4 = -3*l, r - g*l + 7*l + 7 = 0 for r.
5
Let l = -21 - -44. Solve 2*k - 16 = -4*a, 0 = -4*a - 4*k + l - 3 for a.
3
Suppose 0 = 5*i - 3*i - 18. Solve 0 = b - 5*p - 1 - 2, 0 = -4*b - p - i for b.
-2
Let x = 3 + -1. Let z be ((-12)/9)/x*-3. Solve 4*j = -5*w - 25, -3*w = z*j + 9 + 4 for w.
-1
Let g(j) = -j**3 + 2*j + 2. Let n be g(-2). Suppose n*i - 20 = 2*i. Solve i*w = 3*m + 6 + 5, 0 = -3*m + 3*w - 3 for m.
3
Let b(c) = -5 + 3*c + 5*c + 4*c - 4*c + c**2. Let n be b(-9). Solve 24 = 2*k - n*w, -9*k - w + 3 = -5*k for k.
2
Let c(r) = -5*r. Let t be c(-1). Solve 0 = -4*h + 5*k - 23, -3*h - t = k - 2 for h.
-2
Let m = 6 - 4. Suppose -2*r = -2*z + 34, 0 = m*r - 6 + 16. Let s = 27 - z. Solve -d + 5*u - s = 2*d, 0 = 4*d - 5*u + 15 for d.
0
Let x(k) = k + 4 - 7 + 2. Let o be x(3). Solve -5*z + 2 = 2*c, 4*c - z + o*z + 14 = 0 for c.
-4
Let b = -137 + 137. Solve 3*d + v = -v + 22, 4*d - 3*v - 1 = b for d.
4
Let q be -3 - (-5 + (-2 - 1)). Let l(s) = -2*s - 9. Let x be ((-12)/14)/((-3)/(-21)). Let k be l(x). Solve 2 + 17 = -q*w - k*o, -3*o = -5*w - 1 for w.
-2
Suppose 3*k - 14 = -4*m, -k + 20 = 4*k + 5*m. Solve 0 = -y - k*y - g, 0 = -4*g for y.
0
Suppose -5*j + 22 = -2*s, -3*s - 2 = -s. Solve 4*r = -2*v - j - 2, -2*v + r = -4 for v.
1
Let x = -6 + 2. Let t be 1 - (x/(-2) + 1). Let o be (t/3)/(8/(-36)). Solve -z = 3*i + 20 - o, 0 = -2*z - 3*i - 22 for z.
-5
Let f = -6 - -10. Let w(v) = -v**3 - 17*v**2 + 18*v + 2. Let i be w(-18). Solve 3*y - 4*a - 3 - 1 = 0, -f*y - 2*a = i for y.
0
Suppose 18 - 46 = -3*t + 4*u, 0 = -3*t - 3*u. Suppose 0 = 5*y + 5*s + 5, 0*y = t*y - 5*s + 40. Let c = y - -7. Solve 5*k + 0*n - 4*n = -4, 2 = 3*k + c*n for k.
0
Let k be (10/4)/(45/36). Solve -3*j + 10 = 3*a + 2*a, 0 = -k*a + 2*j + 20 for a.
5
Let n be ((-3)/(-1))/(12/8). Suppose d + 4*y = n*d - 2, 0 = y. Solve x - 4*x = -3*i, -d*i = 4*x + 18 for x.
-3
Let x(c) = -c**2 - 2*c - 2. Let w(r) = -r**3 - r**2. Let n(a) = 2*w(a) + x(a). Let p be n(-2). Solve 0 = 5*j - 4*s - 18, j + 0*s = 2*s + p for j.
2
Let l = 1 + 3. Solve -l*t - 5*c = -25, 2*t - 3*t - c = -6 for t.
5
Let w(l) = l + 13. Let t be w(-11). Suppose 3*z + 9 = 0, a - 3 = t*a + 3*z. Solve 17 = -4*h - c, 5*c - 9 = a for h.
-5
Suppose 5*h - 14 + 4 = 0. Suppose 5*s - 110 = -5*d, s - 2 = -0*s. Suppose 3*r - d = -r. Solve h*t + 4*i = -4, -5 = -r*t + 5*i - 0 for t.
0
Suppose 0 = 11*u - 47 - 19. Let c(j) = j + 1. Let r be c(1). Solve -f = 5*p - r*p - u, 0 = 3*f + 3*p for f.
-3
Let o(f) = 4*f**2 - 2*f + 1. Let d be o(1). Suppose -4*i - 4*y + 3 = -65, 5*y + 95 = 5*i. Solve -n = 3*p - 0*n - i, -d*p = -5*n for p.
5
Let j be 4/(-10) - (-72)/30. Solve -t = 3*s + 2, -s = -j*t + 3*t for t.
1
Suppose -15 = -3*i - 3*f, -3*i - 25 = -5*f - 0*f. Solve -5*y + 5*g = -20, i*g + 2 = 2*y + g for y.
2
Let o(p) = p**2 + 1. Let h be o(-1). Let v be 2/9 + 16/9. Solve -3*k = -5*t + h - 1, -v*t = 4*k - 16 for k.
3
Suppose 6*h - h + 15 = -q, 0 = -4*q - 3*h + 8. Let y = q + 1. Let o = 23 - 14. Solve -4*t = -5*x + 18, -4*t + o*t + y = -2*x for t.
-2
Suppose 0*c + 20 = 5*c. Solve 2*d + 2*d - 12 = -4*n, -3*n = -2*d - c for d.
1
Let s = -48 - -48. Solve m + 4 = s, -12 = -3*i + 2*m + m for i.
0
Let l(b) = 2*b**2 - 3*b - 5. Let d = -3 + 2. Let r(f) = -4*f. Let a be r(d). Let t be l(a). Solve 4*o = 3*v + 3*o - 8, 2*o = 5*v - t for v.
1
Let x be 1 + (-3)/(1 + 0). Let o be -2 + (x - -2) + 9. Suppose y + 16 = t, o*y - 15 = 2*y. Solve t = -a - 0*w + 4*w, 2*a = 2*w - 14 for a.
-3
Suppose 0 = -5*v + 4*r - 19 + 80, 0 = v + 2*r - 1. Solve 0*m = h + m + v, 3*h + 2*m = -23 for h.
-5
Let q = -3 + 5. Suppose -5*x - y = y - 22, 0 = y - 1. Solve -2*a + 8 - q = -4*c, -x*c = 5*a + 41 for c.
-4
Let f be 10 + -4 + (-8)/(8/2). Solve -3*w - 2*b - 2 = 0, -3*w + 2*b = -f - 10 for w.
2
Let x = -6 - -11. Solve 0 = 5*w + x, p + p + 4 = -4*w for p.
0
Let o(l) = l**3 - 4*l**2 - 2*l + 7. Let b be o(5). Let p = b - 20. Solve p*n + 3*n + 5*w = -10, -5*w = -3*n - 6 for n.
-2
Suppose -2*i = i - 2*q + 6, 3*i - 5*q + 15 = 0. Let a = 2 + i. Let x = a - 2. Solve 0 = 5*d - 4*v - x*v + 17, -5*d - 8 = -v for d.
-1
Let b(g) = -g - 1. Let r be b(-1). Suppose 4*k - 26 + 2 = r. Suppose m + 3*i + k = i, -3*m = i + 3. Solve 2*s - 3*a + 2 = m, -27 = -3*s - 2*a - 4 for s.
5
Let f be (-30)/4*(9 - 11). Suppose -5 = -5*u + f. Solve u*t = 5*z - t + 10, 10 = -4*z + 2*t for z.
-3
Let h be (-198)/(-8) + (-45)/60. Solve -2*i = -4*q + h, 5*q = -3*i + 19 - 0 for q.
5
Let q(u) = 0 + 6 + 0*u**2 - 6*u + u**2. Let x be q(6). Suppose 5*g = 3*h - 16, 2*g + x = 2*h - 2. Solve -6*y + 4*k = -h*y - 32, 5*y = -2*k + 5 for y.
3
Suppose -4*i = -22 + 6. Suppose -18 = 2*a - 122. Let t = 82 - a. Solve 4*l + 0*d - i*d + 4 = 0, 5*l + 2*d - t = 0 for l.
4
Let k = 15 - 10. Let g = -38 - -76. Suppose 5*x = 2*x + t + g, -22 = -3*x + k*t. Solve 0*n = -3*n + 2*s - x, 0 = -5*n - 3*s - 17 for n.
-4
Suppose 2*i - 9 = -2*i - 3*b, 4*b = 2*i - 10. Let m = 2 + -3. Let s = i + m. Solve -5*a + 2*o = -3*o - 40, -s*a + 4*o + 24 = 0 for a.
4
Suppose -2*f - 2*f + 8 = 0. Let y be (-4)/(-14) + (-12)/(-7). Suppose y*v = -2*v + 20. Solve -f*g = 3*u - v*u + 6, 2 = -3*g - 4*u for g.
-2
Let s(c) = -4*c**3 - 2*c**2 + c. Let u be s(1). Let m = u + 7. Suppose 5*a - m*a = 15. Solve -5*d + 4*i = 10, -4*d - d + a*i - 10 = 0 for d.
-2
Suppose -18*a + 7*a = 0. Solve -5*l = y + 4, 2*y + 2*l + l + 8 = a for y.
-4
Let t be (-21)/(-14) + 2/(-4). Suppose w - 6 = -t. Solve 12 = 4*o - w*r, 2*o - r = -6*r + 6 for o.
3
Let g(h) = -h**3 - h + 4. Let a be g(0). Suppose -5*s - 2*z - z = -32, 0 = -4*s + 2*z + 8. Solve 0 = -a*m + 2*o + s, -2*m + 6 = o - 0*o for m.
2
Suppose 23*a - 12 = 17*a. Solve a*g = 5*z + 14, 2*z + 2*z = -8 for g.
2
Let t(j) = j + 5. Let o be t(-3). Solve o*k + 6 = 4*i - 4, 0 = -4*k - 3*i + 13 for k.
1
Suppose -20 = -4*j + 12. Suppose -4*c - 4*n + j = 0, 2*c - c + 2 = -5*n. Solve c*f = i + 6, f = -0*f - 3*i + 12 for f.
3
Let g be ((-3)/(-2))/(30/80)*1. Suppose 31 = 4*j - 1. Solve 0*s + g*c = 5*s + 20, 2*s + j = 2*c for s.
-4
Let c be -2 - (-4 - (-3 - -4)). Solve c*k + 4*y = 0, -2*k - 5*y = -4*k + 23 for k.
4
Let b be (-8)/(-12)*6 - 3. Suppose 0 = -d - 2*d + 21. Solve -3*v - x + 1 + d = 0, -v = 4*x + b for v.
3
Let v = -5 - -10. Suppose 27 = 3*p - 2*p - v*f, 15 = -3*f. Suppose -2*r - 10 = -0*n - 4*n, 3*n + 3*r = 3. Solve -5*c - n*k + 4 = 7, -p*c - 6 = 2*k for c.
1
Let w be -2*5/(20/(-6)). Suppose 2*d = 5*d - 15. Let c = d - w. Solve 0*a + 8 = -3*v - a, c*v + 12 = -4*a for v.
-2
Let w(s) = s**2 - 7*s + 8. Let q be w(6). Suppose -z - q = -6. Solve z*v = 3*i - 0*i + 5, -2*i = 4*v + 10 for i.
-3
Let p be (-24)/(-9)*6/4. Solve -5*m + h + 8 + 16 = 0, -p*m - 3*h = -4 for m.
4
Suppose -2*g + 11 = h, 3*h = -g - h + 2. Suppose 0 = -3*o + 3 + 12. Suppose r = o*r - 72. Solve -w = -3*u + g, 2*u + 2*w = -2*u + r for u.
3
Suppose -2*s + 24 = 16. Solve -4*b + 4 = -s*j, 4*j - 2*b - 33 = 9*j for j.
-5
Suppose m - 2 = -i, -3*m = 5*i - 6*i - 22. Solve k + 2*k = l + m, -4*l + 6 = 3*k for l.
0
Let c = -13 - -13. Let h be (-5 - -5)/(c + 1). Solve 2*w + 22 = 3*w + 5*i, 4*w - 2*i + 22 = h for w.
-3
Let w be (12/8)/((-9)/(-120)). Suppose 4*z = -3*n + 14, 4 = -3*z + 4*z + n. Solve 2*y - w = -5*k, z*k + 0*k + 6 = 2*y for y.
5
Let n be 3/((-5)/(10/(-3))). Suppose -6*t = -t - 5*x - 40, -n*t + 4*x = -22. Solve -3*j + t*y = 6 + 9, 2*j + 10 = 2*y for j.
-5
Suppose -4*q - r - 5 + 13 = 0, r = 4*q - 16. Suppose -3*p - 34 = 4*a + 7, 7 = -p + 2*a. Let t = p + 16. Solve -q*j + 2*y = -t, 4*j - 3*y - 8 = -2 for j.
3
Let f(d) = d**3 - d**2