2*c + i + 4*i - 30 = 0, -a = 4*c - 5*i for c.
-5
Suppose -7*n - 20 = -12*n. Solve 2 = q, 4*z - n = -5*q + 6 for z.
0
Suppose 0 = 7*i - 32 + 11. Solve -i*p + 2*l = 1 + 1, 4*l = -5*p + 4 for p.
0
Let y = 150 + -145. Solve y*a - 19 = 2*p, 4*p - 2*a + a - 7 = 0 for p.
3
Let n(t) = -4 + 13 - t + 11 - 4. Let s be n(11). Solve 0 = a - 3*d + 4, 2*d = 2*a - d + s for a.
-1
Let b(f) = f**2 + 5*f + 4. Let i be b(-5). Suppose 0 = -2*n + 11 - 1. Suppose 3*r - 2*j - 10 = r, n*j + 25 = 0. Solve 2*m + 8 = r, -8*v + m + 8 = -i*v for v.
1
Let y be 9/3 - (-3 + -1 - -5). Suppose 2*p - 11 = 29. Solve p = -y*h + 2*x, 5*h = 3*x - 3 - 37 for h.
-5
Let d(x) = 2*x**3 + 2*x**2 - 3*x - 2. Let c be d(-2). Let t be 2 - (3 + c)*2. Suppose 4*m = 3*m + 1. Solve 0 = 3*i + 4*k - 2 - m, 5*k - 5 = -t*i for i.
5
Let f(z) = -z + 5. Let y be f(-3). Suppose 13*a - y*a = 0. Solve a*o + 2*o = -4*k + 10, -4*k = -3*o + 15 for o.
5
Let w be (8 - 2)/(-2 - -1). Let a(j) = -6*j - 4 - 6 + 2 - 2*j - j**2. Let h be a(w). Solve 0 = -4*s + 3*f - h*f + 25, 3*s = -5*f + 40 for s.
5
Suppose 2*j - 33 = -5*u, 2*j = -5*u - 2*j + 41. Suppose 0 = 3*s - 1 - u. Suppose -1 = 5*i - 16. Solve -i*p + 6 = 0, -3*p + 5 = -s*o - 7 for o.
-3
Let x(h) = h**3 - 10*h**2 + 18*h - 12. Let p be x(8). Solve -4*b + 23 + 13 = p*a, 13 = a + 2*b for a.
5
Let y = -8 + 11. Suppose i + y*i = 0. Let a be ((-6)/15)/((-2)/130). Solve i = -5*o - 2*m + a, -3*o = -m + 4*m - 21 for o.
4
Let c(p) = p**3 - 5*p**2 - 5*p - 2. Let g = -21 - -27. Let o be c(g). Solve 5*d + o*k + 16 = 0, -3*d - 15 = -2*k - k for d.
-4
Let g be (8/5)/(26/65). Solve -m + 8 = 3*j, 2*m + g = 2*j + 2*j for m.
2
Suppose 4*v - 12 = 2*v. Let x = v - 6. Solve x = 3*j - 6*a + 2*a - 9, -5*j = -a + 2 for j.
-1
Suppose 17*i - 15 = 12*i. Solve v + 8 = 2*l, -2*v = -i*v + 5*l - 23 for v.
2
Let p = -4 - 8. Let m be 4*(p/(-8) - 1). Solve 0 = a + 5*z - 4, m*z + 1 - 5 = -a for a.
4
Let v = -7 + 14. Suppose -2*z + v*z = 0. Let o = 5 - z. Solve -o*w + 2 + 4 = 3*y, -5*w - 4 = -2*y for y.
2
Let q(z) = -z - 3. Let f be q(-7). Solve -g = -v + 6, 5*v + 6 = -0*g - f*g for v.
2
Suppose 0 = -f + 3*f. Let l(n) = -n**2 - n + 20. Let q be l(f). Solve 5*d - q = 5*o, 3*d + o = 8 - 0 for d.
3
Let i be (-6)/(-5) + (-8)/40. Suppose 3*o + 3*t = 3, -3*t + i = -4*o + 26. Solve -m = -b, -9 = o*b + 3*m - 2 for b.
-1
Let r = -7 + 11. Suppose 3*x - 2 = r. Solve 0 = 4*q - x*n - 14, 0 = 4*n - 7 - 5 for q.
5
Let o = 5 + 0. Solve 4 - 8 = -o*x - t, 2*t - 2 = -4*x for x.
1
Let t(m) be the first derivative of m**2 - 4*m - 1. Let b be t(11). Let s = b - -11. Solve 5*z = -0*p + p - 23, 5*z = 3*p - s for z.
-4
Let b = 15 + -3. Let w(f) = 2*f**2 + 4*f - 1. Let a = -7 + 3. Let y be w(a). Solve -4*d = -3*o + o + b, 5*d + y = 3*o for o.
0
Suppose -2*j - 4*a + 21 + 17 = 0, -5*j - 4*a = -65. Solve g + 7 - 2 = 2*m, -g + j = 5*m for m.
2
Suppose -4*t = -4*w - 32, 16 + 10 = 2*t - 4*w. Let q be (-18)/(-4) + (-1)/(-2). Solve h - 5*z - 18 = 0, -t*h - q*z + 2*z = 0 for h.
3
Let j(s) = 8*s + 0 + 0 - 7*s. Let a be j(2). Solve -4*u = 4*n - 4, a*n + n - u - 15 = 0 for n.
4
Let c be 4/(-8)*(-40 + 2)*2. Solve y = -b, 2*y - 4*b - c = -14 for y.
4
Suppose -7*d + 15 = -4*d. Solve -5*f - 2*z = -14, 4*f - 4 = d*z + 27 for f.
4
Let a be -8*(-4)/((-4)/(-3)). Solve -4*c + b = -b - a, 0 = 5*c - 5*b - 35 for c.
5
Let r = 22 - 22. Solve r = 2*i - q + 3, -3*i - 5*q - 4 = 7 for i.
-2
Suppose 16 = -11*l + 71. Solve 2*j - 2*s - 10 = -0*j, 2*j - l*s = 16 for j.
3
Let d(m) = -m**3 - 8*m**2 + 9*m. Let v be d(-9). Solve v*l + 36 = 5*s - 4*l, 2*l = -8 for s.
4
Suppose -2*f = -f - 2. Suppose v = 0, -5*g + 0*v = -f*v - 85. Solve 2*h = 4*i - 18, h + 4*i = -4*h - g for h.
-5
Let a(f) = f**3 - 7*f**2 - f. Let t be a(7). Let l = 7 + t. Solve -2*o + g + 10 = l, 3 = -2*o - 3*g - 3 for o.
3
Let h(r) = r**3 + 3*r**2 + 3. Suppose 0*c - 4 = 4*c + 3*w, -2*w - 14 = -3*c. Let a be c/(1 - 15/9). Let b be h(a). Solve 3*l + 6 = -b*s, 2 = -l + 2*l - s for l.
0
Let h = 17 + -10. Solve q + 3*n - h = 9, -3*n + 15 = 0 for q.
1
Suppose 6 = 4*s + 2. Suppose -l + j - s = -6, -l + 3*j + 3 = 0. Suppose -2*g + l = -4. Solve -2*q + g*n + 3 = 0, 4 = 2*q - 3*n - 1 for q.
4
Let i = 30 + 25. Suppose 5*d = 45 + i. Suppose r + d = 6*r. Solve -5*t + 35 = -4*x - 0*x, r*x + 23 = t for t.
3
Let g be 5 - (1 + -1 + 1). Suppose -g*p = -0*p - 16. Suppose 6*v - k - 34 = 2*v, -2*v = p*k - 8. Solve 0 = 2*a + v, -7*h - 13 = -4*h + 4*a for h.
1
Suppose 13*t - 48 = 82. Solve 5*d = -3*i + 4*d + t, -2*d = 10 for i.
5
Let x be 27/3 - (4 + -7). Solve -x = 3*o - z - 2*z, -2*o = -4*z + 18 for o.
1
Let q(j) be the first derivative of -1 + 3/2*j**2 + 5*j + 1/4*j**4 - 4/3*j**3. Let c be q(4). Solve 0 = -5*a + 5*g, 3 = 4*a + 3*g + c for a.
-2
Let z(g) = g**2 - 7*g - 4. Let x be z(4). Let w = -2 - x. Let c be 14*2/4 - 2. Solve 5*s + 10 = c*y, -3*y = 5 - w for s.
1
Let p be (-10)/(-4)*(-72)/(-30). Suppose 0 = -4*x - 5*z + 3, -4*x - 2*z = -0*z - p. Solve -6*l - 8 = -x*l, 3*q = l - 13 for q.
-5
Suppose -9 = r - 6*r + l, -2*r = -l - 6. Solve -13 + r = 4*h, -s = -5*h - 20 for s.
5
Let d(k) = 3*k**3 + 4*k**2 + 3*k + 1. Let j be d(-3). Let y = -36 - j. Solve 4*o + t = -16, 3*t = -5*o - y - 3 for o.
-4
Suppose -10 = 2*x - 7*x. Suppose x*z - 7 = z. Solve -5*v - 4*q - z = 4, 14 = -2*v - 4*q for v.
1
Let x be 4/8 + (-3)/(-2). Let j = x + 2. Solve 3*u - p - 16 = -0*u, j = -4*p for u.
5
Suppose 0 = -5*j + 26 + 19. Solve 0 = -4*d + 4*s - 24, 5*s = 3*d + j + 11 for d.
-5
Let u(x) = x**2 + 7*x + 3. Let b be u(0). Solve 0 = -s + b*m + 10, 4*s + 4*m = -40 for s.
-5
Let x = -28 - -38. Solve 3*l + 1 - 4 = v, 5*l = x for v.
3
Suppose 3*b - 5*b = -8. Let z = b - 2. Suppose -5*u - 32 = -147. Solve -4*y - 2*g = 16, -2*g = -3*y + z*g - u for y.
-5
Let o = -27 + 32. Solve o = h - 2*l, -2 = -5*h + 3*h - 4*l for h.
3
Let x be (-4)/(-18) - (-25)/9. Suppose 0*v - 5*v = 5*z - 15, 3*z - 3*v = 15. Solve 4*i = -z*c - 20, -8*c + x*c - i = 5 for c.
0
Suppose -s - 3*s = 3*l - 23, -2*s + l - 1 = 0. Let y = -2 + 5. Let n = y + -3. Solve -2*f - 5*i - 2 - 6 = n, i + s = 0 for f.
1
Suppose -r - h = -2*h, -3*r + 8 = -h. Let l be (1 + (-6)/r)*-2. Let x be (1 - l)*(-3)/6. Solve -5*g + 3*g + 4*k + 10 = x, -5*g + 1 = -4*k for g.
-3
Let i(w) = 6*w**2 + 3*w. Suppose 2*v + 0 + 4 = 0. Let j be i(v). Let o = j + -3. Solve -k + 34 - 13 = 4*a, 4*a = 5*k + o for a.
5
Suppose -32 - 56 = -4*h. Solve k + 3*t + h = -k, -2 = 2*k - 2*t for k.
-5
Suppose -27 = -4*u - 7. Suppose 2*a - 5*a + 9 = 0. Solve -a*h - 17 = 4*p, -5*h - 4*p = -2*p + u for h.
1
Suppose -5*j + 3 = -52. Let y(o) = 0*o**2 + 0 + o**2 - o**3 + 7 - 8*o + 7*o**2. Let t be y(7). Solve -3*v = 2*s + 2*v + j, -3*s + 5*v - 4 = t for s.
-3
Suppose -16 - 4 = 4*t. Let n(w) = w**2 + 6*w + 5. Let a be n(-4). Let x = a - t. Solve -12 = -3*p, -3*j + 0*p + p = -x for j.
2
Suppose 0 = -4*b - b. Suppose -3*z + 14 = -b*a + a, -a + 22 = 5*z. Let q = 1 + -1. Solve 0 = 4*u - 3*g + 2, 5*u + g - z - 3 = q for u.
1
Suppose 5*v - 11 + 1 = 0. Solve -29 = 2*r + 5*i, 5*r + v = -i - 13 for r.
-2
Suppose -5*s + 12*s = 28. Solve -s*m = q + 16, 4 = -2*m - 3*q + 6 for m.
-5
Let x(t) = -t + 1. Let i be x(5). Let j = -4 - i. Solve j = 3*a + g - 1 - 2, -13 = -2*a + 3*g for a.
2
Suppose -2*g + 17 = -55. Let h be (-1)/(-4) - 9/g. Solve h = 5*d + 2*x - 7, 4*x = -6*d + 4*d - 10 for d.
3
Suppose -i - 7 = -5*v, v = 3*i + 4*v - 15. Solve 4*d = -q + 11, 3*d = i*q - 0*d + 12 for q.
-1
Suppose -3*g = -g + 54. Let h = g - -40. Solve 2*f + 2 = 0, -4*v + h = -0*v + 3*f for v.
4
Let n(w) = -w**2 - w + 9. Let m(f) = -f - 4. Let a be m(-4). Let q be n(a). Solve 3*p - q = -3*i, 7*p = 4*p - 2*i + 7 for p.
1
Let z be 4 - (2 + -4)*-2. Solve 0*d + 4*d + 2*t - 20 = z, -3*t = -6 for d.
4
Let a be ((-6)/(-7))/((-6)/(-28)). Solve -b - b + z = 15, -a*z = 3*b - 5 for b.
-5
Let y = -16 - -56. Suppose -2*c + 7*c = y. Solve -2*n + 2 = -5*l, -4*l + c = -5*n - 4 for l.
-2
Suppose -60 = 5*c - 0*c. Suppose 0 = 2*a - 10, 9 = -d + 5*d + 5*a. Let g be ((-10)/(-6))/(d/c). Solve 0 = -5*h - g*o - 5, 3*h + 0*o + 5 = -4*o for h.
1
Let i(h) = -3*h - 1. Let k be i(-5). Suppose -k = -3*n + 4. Let m = 53 + -49. Solve 0 = 4*q + 2*l - n*l, l + m = 0 for q.
-4
Suppose l + 3*l - 54 = 2*z, -4*l + z + 57 = 0. Suppose -4*h + l - 3 = 0. Solve -4*o = -2*k + 1 - h, 25 = 5*o + 2*k for o.
3
L