t, -t - 4*p + 10 = 0 for t.
-2
Let n be 0 + 2 - (1 - 1). Suppose 15 = 3*o + 2*o. Solve 0 = 3*g, g + o*g - 4 = n*j for j.
-2
Suppose -3*f - d + 20 = -0*d, 2*d = 10. Solve 0 = -4*i + 5*i + 2*r, 0 = -4*i - 3*r - f for i.
-2
Let h = 23 + -19. Solve 5*j + h*k + 11 = 3, 4*j + 2 = -k for j.
0
Let x = 3 - 1. Suppose x*y + 14 = 4*p, 2*p + 3*y - 8*y - 3 = 0. Suppose s - p = -s. Solve -4*a - 31 = s*r - 11, -4 = r for a.
-3
Suppose 2 = 4*d - 6. Suppose -5*n - d*r = -7*r + 25, 3*n + 3*r = -15. Let h = n + 7. Solve -4*c = -2*x + 6, h*x - 20 = -2*c - 8 for c.
1
Let s = 40 + -33. Solve s + 8 = -3*n + 3*z, -z + 13 = -5*n for n.
-2
Let o be 158/(-14) + (-14)/(-49). Let v(f) = f + 15. Let x be v(o). Solve x*k - 6 = -m, -k - 3*k = -3*m + 2 for k.
1
Let z(n) = -n**2 + 3*n - 4. Let t be z(3). Let d be 2/((-2)/(1*t)). Solve 0 = -2*l - d, 5*x = l + 3*l + 28 for x.
4
Let n(q) be the first derivative of q**4/4 + 7*q**3/3 - 9*q**2/2 - 3*q - 2. Let l be n(-8). Solve 5 = 4*t - y + 17, 12 = 2*t - l*y for t.
-4
Let y = 3 + -3. Suppose 4*a - 16 = -8. Solve -3*k - 5*r + 32 = y, -1 + 5 = a*k - r for k.
4
Suppose -4*v = -6*v - 16. Let i(g) = -11 - 4*g - g - g**2 - 5*g. Let k be i(v). Solve k*u - 2*o - 7 - 2 = 0, -3*u = -3*o for u.
3
Suppose -2*y + 0*y - 2*k + 8 = 0, 4*y + 2*k = 16. Let j(w) = 1 - y + 2 + 16*w. Let f be j(1). Solve h + 5*z = -f, -2*h - z = -3*h + 3 for h.
0
Suppose -11*c + 6 = -8*c. Solve -8 = 4*d, 0*b = 5*b - 4*d + c for b.
-2
Let v be 9/(-12) - 38/(-8). Let m be 3*(v - 2)/2. Let s = 47 + -30. Solve -s = -5*p - 3*d, -3*p - m*d = p - 13 for p.
4
Suppose -3 = -11*z + 14*z. Let f be (1 + z)*(-2 - -3). Solve 4*a - 5*u + 16 = 0, 16 = -4*a - 3*u - f*u for a.
-4
Suppose 0 = b - 35 + 19. Solve 2*c - 6*c = 5*k - b, -c = k - 3 for k.
4
Let k(j) = 8*j - 10. Let v be k(2). Solve -i - 12 = -0*x - 5*x, 5*x - v = 3*i for x.
3
Let g(j) = 3*j - j + j**2 + 23 - j**3 - 3 - 3*j. Let c be g(0). Solve -q = 2*u + 2*u + 5, 4*u = 4*q + c for q.
-5
Suppose 0 = -3*c + 3*j + j + 40, 4*c - 50 = 2*j. Let p be (-1)/1 + (c - 10). Solve 2*n = -n + 5*x - 9, -p = -2*n + x for n.
2
Let w = -3 - -7. Let j = w + 0. Suppose 21 = x + 5*m + 4, -20 = -4*x - 4*m. Solve 0 = -x*k - j*f - 4 + 8, -5*f - 6 = -3*k for k.
2
Suppose 5*t - 9*t = -56. Let a = t - 12. Solve 0 = -a*w + 2*d + 6, 0 = -3*d for w.
3
Let a(d) = d**2 - 7*d + 2. Let p be a(7). Suppose 3*v + 2*v = 0. Suppose -3*g = -v*g. Solve -4 = 2*b, -4*j + 5*b + p + 12 = g for j.
1
Suppose -34 = -2*o - 4*g, -5 = -2*o + 5*g - 16. Solve -2*m - 5*v = -o*m - 5, -v = -2*m - 6 for m.
-5
Let c = -14 - -21. Solve -j - 16 = 2*s + 3*j, -c = 5*s - j for s.
-2
Suppose -4*x = x - 4*y - 22, 5*y = -15. Suppose -z + 4 = x*g, 5*g - 4*z = -3*z + 10. Solve -12 = k - 2*v, -g*v - 8 = 4*k - 0*v for k.
-4
Suppose 75 = 3*a + 2*a. Suppose 4*d - a = d. Solve 4*r = -3*y - 1 - 1, -y - d*r = -3 for y.
-2
Suppose -3*v = -f + 9 - 1, 0 = -2*v - 5*f - 11. Let a(q) = -q + 1. Let z be a(v). Solve 3*u + 8 = 3*s - 1, 0 = -s + z*u + 9 for s.
1
Let b = -32 + 36. Solve 3*w = -y + b, -3*w - 4*y + 4 - 15 = 0 for w.
3
Let x = -93 + 93. Solve 0*u = -3*u + 2*a, x = 3*u + a for u.
0
Let m(i) = i**2 - 4. Let b be m(4). Let n be (0 - b)/((-21)/14). Solve n = 4*h + d + 3*d, 0 = -4*h + 4*d for h.
1
Let o = -24 - -38. Solve -4*s + s - 2*u = 8, 2*s + o = 3*u for s.
-4
Suppose 2 = -5*m - d + 15, -2*d - 13 = -3*m. Solve 5*x + 5 = 5*r + 55, -m*r + 4*x = 35 for r.
-5
Let w be (40/(-1))/(-2) - 2. Suppose -o - 2*o = -w. Solve z = o*z + 2*n, 3*n = 5*z for z.
0
Suppose 3*u - 2*u = -5*v + 37, -4*v + 22 = -3*u. Let h(s) = -5*s - 7 + 0*s + s + 5*s. Let x be h(10). Solve v*d = 5*o + x*d + 27, 0 = 2*o - d + 9 for o.
-3
Let r = 1 + 2. Solve -r*c - 5*f = -2, 2*f + 14 = 2*c + 2 for c.
4
Suppose 0 = 5*r - 5*o - 40, -r - o - 32 = -6*r. Suppose 5*i - r = 19. Solve 2 = -i*b - 4*l, -3*b - 2*b = -2*l - 16 for b.
2
Suppose 4*q + q = 0. Suppose -g = -q*g - 7. Suppose 0 = -2*t - u + g, -t - u = u - 8. Solve -3*p = 2*j + 2, t*p = p + 2*j + 10 for p.
2
Let y(g) = -g**2 + 2. Let c be y(0). Solve q + 6 = c*f, 4*q + f - 3*f = -12 for q.
-2
Suppose 2*t + t = 3. Suppose 2*g - 3 = t. Let f(l) = l**3 + 10*l**2 + 7*l - 18. Let n be f(-9). Solve 2*h = -4*a - n*h - 14, g*a + 5 = -3*h for a.
-4
Let d = -6 + 10. Suppose 0 = d*u - 106 - 18. Suppose -4*y = -a + 16, 4*a - 4*y - u = y. Solve 5*o + 6 = -0*o - a*h, 12 = -5*o + 2*h for o.
-2
Suppose -4*l + 6 = -2. Let f(j) = -20*j**3 + j + 1. Let a be f(-1). Solve 2*m - a = 4*z, -m - l*z = 2*m - 6 for m.
4
Let a = 16 - 9. Suppose 8 = -3*i + a*i. Solve 5*j - 5 = 4*c, i*c - 35 = -9*j + 4*j for j.
5
Suppose -35 = -7*f - 0. Solve -3*b + f = -2*k, 0*b + 2*b = -4*k + 14 for k.
2
Suppose -3*v = -24 - 12. Let n be v/3 + 4 + -3. Solve 0 = 2*l + n*i + 13 + 2, 5*l = -5*i for l.
5
Let w be 198/12*4/6. Let h = w - 1. Solve -o + 3*o - 2*m = h, 0 = -3*m - 15 for o.
0
Suppose 2*a - 6 = -a. Solve -a*o - 4 = -4*g, -4*o + 3 = -3*g + 1 for o.
2
Suppose -3*d = -2*d + 14. Let s be (20/(-6))/(d/63). Let g = -11 + s. Solve 2*q = 3*l - 19 - 0, 8 = -g*l - 4*q for l.
3
Let f(n) be the first derivative of n**3/3 + 7*n**2/2 - 7*n - 3. Let g be f(-8). Solve -g = m, d + 2*m - 7*m = 0 for d.
-5
Let s(c) = -2*c + 5. Let g be s(4). Let r = 6 + g. Suppose 5*t = r + 7. Solve 3*y - 26 = 5*l, t*y = 4*y - 4 for l.
-4
Let c(f) = f - 1. Let a be c(-11). Let b = a + 13. Solve n = -4*r + 2*n + 13, 0 = -2*r + 3*n - b for r.
4
Let u be 177/12 - 4*9/48. Let t be 1/2 + 14/4. Let v be (t/(-6))/(1/(-3)). Solve 4*q - u = v*j, -4*q - q = -20 for j.
1
Let r(f) = 2*f**2 + 2*f - 1. Let v be r(-2). Suppose 0 = -v*u - 0*u + 21. Solve 4*m + 6 = 2*m - 2*s, 3*s = -m - u for m.
-1
Let h be (-24)/10*(-10)/4. Suppose 5*n = 2*t + 10, 5*t + 1 = 5*n + h. Solve -3*v - 7 = 5*m, 2*v - t*m - 8 = 4*v for v.
1
Let a(h) = h**3 + 6*h**2 + 3*h - 6. Let g be a(-5). Suppose -g*l + 13 + 87 = 0. Solve 5*p = 5*r + l, 5*r - p + 9 = 2*r for r.
-2
Suppose z - 10 = 3. Suppose 0 = -d - 1 + z. Solve q = -2*q + 5*t + d, 2*t = 3*q - 12 for q.
4
Let d = -8 + 8. Suppose 2*o + 4 = -d*f - 2*f, 12 = 2*f - 2*o. Solve -9 = -2*z + f*w + w, 5*w = -5*z - 40 for z.
-3
Let p = 7 + -6. Solve 2*j + p + 3 = 2*o, 0 = -4*j - 3*o + 27 for j.
3
Let v = -7 + -5. Let j be v/(-9)*6/4. Solve 1 = -3*x + 2*g, 0 = x + j*g + 1 - 6 for x.
1
Let d be -5*(21/(-5) + 3). Let x be (4 - d/2) + 1. Suppose 0 = -8*t + 3*t + 90. Solve x*w - 5*z = 10, 2*w - 2*z + t = -4*z for w.
-5
Suppose 4*d - 2 = m, 0*m - 3*m = d - 7. Let q be ((-4)/5)/(2/(-10)). Solve m = 4*u + 2*a + q, 5*a + 27 = u for u.
2
Suppose -5*a - 4*m = -3*m - 44, 5*a - 49 = 4*m. Let r be (-20)/a + (-8)/(-36). Let h be 1 + 1 - 6/r. Solve 2*q - 3*k - 6 = 0, -h*q - 26 = -3*q + 5*k for q.
-3
Suppose 15 + 21 = 3*a. Suppose 4*p - 2 = -3*u - a, 16 = -4*p. Solve -4*q + 6*d - 4*d = 12, -q + u*d - 6 = 0 for q.
-2
Let q(y) be the first derivative of y**4/4 + y**3 - y**2/2 - 4. Let v be q(-3). Solve -z = 2*f - 2, f = v*z - 4*f + 16 for z.
-2
Let w be ((-6)/(-15) - 0)*10. Suppose -m = -w*a + 43, -3*a + 0*m = 4*m - 18. Solve -3*j + a = 5*t, 3*t = -t - 3*j + 5 for t.
5
Let t = -4 - -9. Let r = 231 + -229. Solve -5*u = 5*d + t, 4*u + 21 = d + r for d.
3
Let x(t) = t**2 - 9*t + 2. Let c be x(9). Let n be -3*1/(c + -3). Solve 0*k - 9 = 5*k - 4*m, -n*k - m = 19 for k.
-5
Let g be (-10 - -4) + (2 - 0). Let h be ((-10)/(-4))/((-2)/g). Solve -2*r = -4*m + 2, 0*r + 21 = 3*m + h*r for m.
2
Let t(a) = a**3 - 14*a**2 - 13*a - 18. Let w be t(15). Solve -2*r = r + n - 16, 0 = -r - 2*n + w for r.
4
Let c(n) = -2 + 5*n**2 + 1 + 0*n**2 + 2*n. Let d be c(-2). Solve -q - d = 4*q + 5*t, -t = 0 for q.
-3
Let n = 132 - -67. Let y = 11 + n. Let r be ((-8)/10)/((-7)/y). Solve 4*l = -3*c - 17, -2*c = -c + 5*l + r for c.
1
Let m(i) = -2*i**3 - i**2. Let l be m(-2). Let g be 3/l*-10*-2. Solve o - 6 = 2*y, o = y - 0*y + g for o.
4
Let b = -2 + 4. Suppose 4*f + b*a = 6, 0*f - 4*a = -f + 15. Solve -f*g - j - 16 + 0 = 0, j = -g - 8 for g.
-4
Suppose 0 = 2*l - 2 - 72. Suppose 0 = 2*v + 9 - l. Suppose -3*u - v = -p, p - 11 = 4*u - 2*u. Solve -2*c = -4*x + 28, 4*c + 3*x - p*x = -26 for c.
-4
Let k be 9/(-3) + (20 - 3). Suppose 5*t - 2*d = k, -t = -d - 0*d - 1. Solve 0 = -5*n - 25, -10 = 4*r - 2*n - t for r.
-4
Suppose 4*u + 4*d = -8, -d = -4*u + d + 16. Solve -4*l + o + 0 - 3 = 0, u*o - 6 = -3*l for 