*l = 2*x - 0*l + 4 for x.
-4
Suppose 0 = 3*j + 1 - 19. Suppose z - v - 5 = 0, z + 4*v - 9 = j. Solve -5*w + 16 = -2*r, -4*w + 3 = -z*w - 3*r for w.
2
Let a(q) = -q**3 - 4*q**2 - q - 4. Let t be a(-4). Solve -4*c - 20 = -5*m, t = -0*m + 3*m + 5*c + 25 for m.
0
Let c(l) = -l**2 - 7*l - 3. Let r be c(-6). Suppose 0*s - r = -s. Suppose 0*n - 42 = -s*n. Solve -2*k - 6 = b - 0*k, 3*k = b - n for b.
2
Let l(j) be the second derivative of -j**3/6 - 5*j**2/2 + j. Let m be l(-7). Suppose -q - 10 = -m*q. Solve x - 5*d = -3 - 17, -q = -2*d for x.
5
Suppose 0*d - 5*d - 2*i = -16, d = -i + 2. Let u = d + 2. Solve 2*w + 5*x = u*x + 9, 3*w - 16 = -x for w.
5
Suppose 37 = 4*a + 17. Suppose c - 19 = 4*d + 5, 6 = -c - 2*d. Solve 0*y - 4*y = -a*i - 2, -16 = -c*y - 2*i for y.
3
Let a(y) = -y**2 - 6*y + 54. Let g be a(-10). Suppose 0 = 6*j - j + 20. Let z be (-89)/(-7) - j/14. Solve -2*u - 1 = -5*q - g, 4*u = -3*q + z for u.
4
Let z be 104/10 + 2/(-5). Let o = z - 8. Solve -4*d + x = 1, x + 1 = -5*d + o for d.
0
Suppose -4*g = -g. Let z be 2 + 9 + g - -2. Solve 4*x - i - 2 = -z, 5*x = i - 15 for x.
-4
Let p(m) = 23*m - 1. Let x be p(1). Solve -5*u + 3*u + x = 3*f, 0 = u + f - 9 for u.
5
Suppose 32 = 3*i + 20. Solve i*m + 12 = 2*m - 2*h, -5*m - 3*h - 26 = 0 for m.
-4
Suppose 5 = -u + q, 0*q = 2*q - 10. Solve -t - 18 = 4*d, 4*t + 2*d - d - 3 = u for t.
2
Suppose 4*i + 3*u = 2*u + 24, 0 = 4*u. Let s(a) = -a + 18. Let v be s(i). Solve 3*x = 3, -l - 2*l + 3*x = v for l.
-3
Let y(z) = -z - 1. Let f be y(-6). Let l(t) = -2*t + 3. Let q be l(-3). Suppose 14*h + 4 - 4 = 0. Solve h*c = -a + 2*c - q, c = f*a + 27 for a.
-5
Let t(l) = -3*l**3 - 2*l - 1. Suppose -25 = -4*h - 29. Let a be t(h). Solve -u + a*u = -z + 9, -u = -5*z - 19 for z.
-3
Let u(i) = -10*i - 2. Let f be u(-1). Solve 0 = -2*q - f, -4*v - 4*q = -9*q - 32 for v.
3
Let z(n) = n + 1. Suppose 0 = b + 4*k - 19, 3*b + 5*k - 35 = -2*b. Let f be z(b). Solve f = v + 4*v - 2*a, 5*v = a + 7 for v.
2
Let m = 13 - 10. Suppose g + m*a = 2*g - 5, -13 = -4*g + 5*a. Solve 2*c - 8 = g*s, 4*c + 1 = -s - 8 for c.
-1
Let z = -14 + 14. Let u = z - -2. Solve -l = 5*x + 11, 5*l - u*x - 2*x = 32 for l.
4
Suppose 2*s - 23 = -3*c, 3 = -s + 5*c - 5. Solve x = 2, -3*n + s*n - 2*x = -12 for n.
-2
Let w be (-4 - (-36)/6) + 1 + 1. Solve n - 11 = w*j, 4*j + 0*j = -n - 5 for n.
3
Let p be 23/23 - (1 - 2). Solve 2*g - g = 0, -2 = p*q - 4*g for q.
-1
Suppose 0 = -38*p + 40*p. Solve -4*g + 4*h - 12 = p, -5*g + 3*h - 7 - 10 = 0 for g.
-4
Let x be (-14)/(-2) + -7 + 4. Solve 17 = d + x*f, 4*d - 5*d = f - 2 for d.
-3
Suppose 0 = 5*m - 0*m + 3*a - 29, -5*m + 5 = -5*a. Solve 2*k + 3*i - 3 = 0, 0*i + 3*i = m*k + 21 for k.
-3
Suppose 3 + 2 = a. Suppose -10*f + 6 = -134. Solve 2*l + f + 11 = -a*h, -l = h + 5 for h.
-5
Suppose 30 = -r + 2*r + 5*o, 4*r = -3*o + 35. Solve -3*u - 2*c - 3*c = -r, -18 = -4*u - c for u.
5
Let k = -16 - -16. Solve c + 2*h + 4 = k, 2*c + 5*h + 10 = -0*c for c.
0
Let b = -3 - -5. Let a = b - 4. Let y be (-1 + (-11)/2)*a. Solve n - z - 6 = 0, y = 5*n - 2*z - 14 for n.
5
Let r(n) = -n**3 - 4*n**2 + 5. Let p be r(-4). Suppose -p*i - 3 - 9 = -4*v, 5*v = 2*i + 15. Solve d + g = 4*g - 8, -v*d - 5*g + 32 = 0 for d.
4
Let s(l) = -2*l. Let f be s(-3). Let d(t) = -t**3 - 35*t**2 - 32*t + 71. Let x be d(-34). Solve 3*i + 2 = -y, 4*i = -2*y + x*i + f for y.
4
Suppose p - 3*s + 7 = 0, 0 = -3*p + 5*s - 26 + 9. Let l = -3 + -3. Let y = p - l. Solve 2 = a - 2*r, y*a + r + r = 4 for a.
2
Let c = 19 - 10. Suppose -h = -2 + c. Let k be 4/16 + h/(-4). Solve -6*s - 14 = k*g - s, -3*s = 12 for g.
3
Suppose -2*u = -4 - 2. Let y be -1 - 19*3/3. Let p be (-4)/y + (-14)/(-5). Solve 3*g = 5*z + 4, p*z + u*g - 12 = -0*g for z.
1
Let m(d) be the first derivative of 7*d**3/3 - d**2/2 - 7. Let s be m(1). Solve 0 = v + 2*h + 2, -4*v + h - 2*h + s = 0 for v.
2
Suppose -5*k + 10 = 3*p, -4*p + 5 + 16 = -k. Let x be (-4 + -1)/(k/1). Solve -s = 4*u - 13 + 4, -x*u + 6 = -4*s for u.
2
Let u(s) = -4 - 6*s + 3*s**2 - 4*s**2 - s + 1. Let a be u(-5). Solve -g + w + 3 = 0, -3*w - 23 = a*g - 3*g for g.
-2
Let o be 3 + 3/((-9)/(-6)). Let d = 13 - 11. Solve -5*r + 2 = d*i, -8 + 3 = 3*r - o*i for r.
0
Suppose 11*q = 8*q + 9. Suppose 4*h = 0, 0*h + 45 = -5*x - h. Let p = q - x. Solve 4*c + p = 0, c = 5*d + 2 - 5 for d.
0
Let m be 11/4 + 2/8. Let g(v) = -3*v**3 + v**2 - 1. Let d be g(-1). Solve m*a + d = -j - 1, -4*a + 3 = 3*j for a.
-3
Let b be -7*(36/14)/(-3). Let u(d) = -d**3 + 7*d**2 + 2*d - 9. Let s be u(7). Solve -s*j - o = -4, b*o - 2*o = 16 for j.
0
Let d = -15 + 19. Solve 4*t - 4*x + d = 0, 5 + 3 = -5*t + 2*x for t.
-2
Suppose -2*w = 8 + 62. Let g be 0/(-2) - w/7. Solve -3*d + 5 = 2*r, -21 - 9 = -d + g*r for d.
5
Let l be 10*(10/4 + -2). Solve q + 3*k = 5*q - 15, -l*q - k - 5 = 0 for q.
0
Let f(p) = 7*p - 53. Let q be f(8). Solve -4*i - 2*m + 1 = -i, 0 = -q*i - 4*m - 1 for i.
1
Suppose 0*r = -r + 2*b + 15, 27 = 5*r + 2*b. Let a = -5 + r. Solve -3*j - a*o + 5*o = -15, 3*j - 5*o - 23 = 0 for j.
1
Suppose 3*j - 306 = -3*f, -4*j + 559 = -4*f + 183. Suppose -4*k + 114 + j = 0. Suppose -k = -3*d + 1. Solve 2*x - 3*c = d, -c = 4*x + 2 - 10 for x.
3
Let m(t) = 6*t + 70. Let y be m(-11). Solve 2*z - y*z + 5*s = 21, 15 = -5*z + 5*s for z.
2
Suppose 0 = b + 2*b - 15. Suppose 5*u + 2*t + 46 = 2, -b*u - t - 42 = 0. Let f = -6 - u. Solve -q + 4 = 2*x + f*x, -3*q - 2*x + 12 = 0 for q.
4
Let n be 54/10 + 8/(-20). Suppose -18 = -n*y + 2. Solve -3*j + 0*j - y*o - 9 = 0, 0 = 4*j - 4*o + 12 for j.
-3
Suppose -10 = 5*p + 3*t, -2*p = 2*p + 4*t + 16. Let n = -12 + 32. Solve 5*f + 4 = -p, -4*h + 4*f + n = 0 for h.
4
Let h be 2 + (2 - (2 - 2)). Let u be 57/21 - h/(-14). Suppose -k + 4*f = 2*k - 52, 4*k - 3*f = 60. Solve 4*g - 18 = 2*l, -2*g - 2*l - k = -u*g for g.
2
Let g(c) = 4*c. Let z be g(1). Suppose 0 + 1 = -z*d + 5*a, -3*d + 7 = 4*a. Solve 5*m + 5*h - 20 = 0, 4*m - 5*h - 8 = -d for m.
3
Let a(k) = 13*k**2 + k - 1. Let h be a(1). Suppose 3*q = -0*q + 30. Suppose b - 2*t - 2 = 2*b, -q = -3*b + 2*t. Solve -b*x + h = -l + x, 4*x = -3*l + 13 for l.
-1
Suppose -2*d + 5 = -19. Let p be 1*(-2)/3*d. Let m be (-36)/p*2/3. Solve 0 = s - 2*s - m*l + 4, s - 5*l + 12 = 0 for s.
-2
Let h be (2 + 1)*4/6. Suppose -w = h*w. Solve 2*k + w*k - 5 = -3*o, k - 15 = -4*o for k.
-5
Let b = 13 + -3. Let h = b - 10. Solve h = 3*l + 2*v + 10, l + 2*v + 4 = v for l.
-2
Suppose t - 3*m = -2, 3*m = 3*t - 4*t + 10. Solve -5*u + 14 = 3*h - 0*h, -t*h + 17 = 5*u for h.
3
Let x be -2 + (14 - 1/1). Suppose 4*w - x = 9. Let s be -2 - (1 + -2)*w. Solve 4*i + 14 = g - i, -3*g = -s*i - 18 for g.
4
Let v = 110 - 110. Solve -o - 4*f - 18 = v, 18 - 1 = o - 3*f for o.
2
Let p(l) = l**3 + 4*l**2 + l + 6. Let j be p(-4). Solve j = -y + 3*n - 4*n, 2*y = n + 11 for y.
3
Suppose -2*x + 16 = 2*x. Let n be 216/99 + x/(-22). Solve -22 = 3*r - 2*o, n*r - 2*o + 28 = 2*o for r.
-4
Suppose 5*x + 0*x + 15 = 0. Let t = x + 6. Solve -3*y = 4*m - 2, 12 = -2*m + 5*m - t*y for m.
2
Let c be 0 - (-1 + -14)/1. Let y = -10 + c. Solve y = i + 3*u, 2 = 5*i + u + 5 for i.
-1
Suppose -2 = -2*h - c - 1, -5*c = 15. Let a be (-2)/(-5) + 99/15. Suppose -3*g = -2*g - 3. Solve -2*m - 3*q - a = -h*q, -g*m - 8 = -q for m.
-3
Let s = 18 - 13. Suppose s*n = 3*n. Solve 0 = 4*t + 12, 4*t = -n*z - 3*z - 18 for z.
-2
Let i(g) be the third derivative of g**4/24 + g**3 + 7*g**2. Let r be i(-3). Solve r*c + 5 = -t - 8, 0 = -3*c - 3*t - 21 for c.
-3
Let u be 2 - 0/(3 + 0). Suppose 0 = 5*n - 5, 4*n = u*h - n - 1. Solve -5*d - 18 = -2*s, -5*d = h*s + 2*s + 25 for d.
-4
Let s(u) = 2*u**2 - 3*u + 0*u**2 - u**2 + 2. Let w be s(3). Solve -2*p + 0*p = w*m + 12, -5*p = -5*m for m.
-3
Let w = 21 + -17. Suppose -1 = -w*m - 3*c - 3, -5*m + 13 = -4*c. Solve -4*b + 2*u = -6, -m = b - 5*b + u for b.
-1
Let l(q) = 3*q**2 + 3 - 2*q**2 + 4*q**2 - q - 2. Let h be l(-2). Solve -h = 3*g - 4*j, -4*j + 5*j = 2 for g.
-5
Let m be 13/3 - (-16)/(-12). Solve -y + 2 = -2*y + m*f, 4*f + 2 = -y for y.
-2
Let w(v) = -v**3 + 5*v**2 + 8*v - 2. Let k be w(6). Suppose -t = -6*t + k. Solve 9 = -5*y + 4*q + 34, 0 = -2*y + t*q + 12 for y.
1
Suppose -2*r + 10 = -0*r. Let t be (-48)/27 + 2/(-9). Let b = t - -7. Solve -5 = -b*z - 5*c, -2*z = c + 2*c - r for z.
-2
Let j be 0/(-1*2*1). Let n(k) = k**3 - 9*k**2 + 