3*q + 4*y + 10 = -7, k*q = -5*y - 16 for q.
-3
Let l = 90 + -88. Suppose -3*j + 1 = -2*j. Solve l*c = t + c - j, 7 = -t - c for t.
-3
Let l = 15 - 13. Solve w + 2*s = -2*s, -2*w - 6 = l*s for w.
-4
Let x(m) = m**3 - 15*m**2 - 35*m + 23. Let d be x(17). Let o = -10 - -14. Solve v - 6*v - 8 = f, -o*v = f + d for v.
-2
Suppose 3*l + 5*o + 22 = 3, -5*l + 4*o + 30 = 0. Suppose -f = l*f - 90. Let p = f - 16. Solve -2*g + p = 5*u, 1 = 3*g + u - 7 for g.
2
Let p(u) = -u. Let l be p(-6). Suppose -5*w - m = -12, 3*m - l = -2*w + 4. Let b be 2 + w - (2 + 0). Solve 0*y - 4*y - b*x = 2, 0 = y - 4*x - 22 for y.
2
Let u = -4 + 7. Solve -s + 19 = -u*a - 0, 37 = 3*s - 5*a for s.
4
Let q = -127 + 132. Solve 5*v - 15 = 2*x, -v - 2*v = -q*x + 10 for x.
5
Let p be 0 + (2 - 2) - -2. Solve 0 = 4*b + o + 9, -p*o = b - 3*o + 1 for b.
-2
Let g(w) = -w**3 + 9*w**2 - 10*w - 2. Let l be g(7). Let t = -23 + l. Solve -3*f + 15 = 0, -t*x + 3*f - 3 = 3 for x.
3
Let z = -21 - -19. Let s be (-1 - z)/((-6)/(-24)). Solve -s*d - 12 = 0, q - 3*q - 4*d = 2 for q.
5
Suppose 0*x + x = 0. Let h be 6 + (x - -9)/(-3). Solve -3*p = 4*z - 22, -h*z - p + 2*p + 10 = 0 for z.
4
Let r = -2 - -6. Suppose -10*x = -13*x + 9. Let f be ((-4)/3)/(1/(-3)). Solve -5*m + f*q = x, 3*m + 0 - 3 = r*q for m.
-3
Suppose -90 = -l - 2*l. Let j be 8/(-28) - 46/(-14). Solve 4*s + m + 14 = 0, -2*m - j*m = -5*s - l for s.
-4
Suppose b + 0*k - 4*k = 8, 0 = 5*b + k + 23. Let f be (b/6)/(8/(-60)). Solve -u = f*w + 4*u - 20, 0 = 2*w - 3*u + 7 for w.
1
Suppose -3 = -4*f + 9. Suppose -f*h + 8 = -2*o, -h - 4*o - 1 = 1. Solve -3*t = h*d - 0*d + 14, -3*t = 5*d + 17 for d.
-1
Suppose 10*m = 34 + 16. Solve 0 = m*f - 3*y + 16, -f + 9*y = 4*y - 10 for f.
-5
Let r = 82 + -62. Solve 0 = 4*m + r, -2*f + 4*f + 33 = -5*m for f.
-4
Let p(u) = -u - 2. Let g be p(-8). Let j = -16 + g. Let m = j - -17. Solve -m = 2*o - n, 3*n - 13 = -o - o for o.
-1
Suppose -12*z + 74 - 14 = 0. Solve -z*r - 15 = -4*w, 2*r + 2*w - 8 = 4 for r.
1
Let v = -163 + 167. Solve 5*s + 19 = -k - 3*k, -3*s = -v*k + 5 for k.
-1
Let l(s) = s**2 + 7*s + 6. Let a be l(-7). Let m = 8 - a. Let k = -14 + 29. Solve m*o + 0*o - 4*x = 12, -5*x = -4*o + k for o.
0
Suppose 10*u = 7*u. Solve -a + 5*c - 26 = u, -8*c + 4*c + 20 = 0 for a.
-1
Let a = -61 + 63. Solve a*s + 1 = -3, -3*s + 9 = 3*c for c.
5
Suppose 2*o + 2*z = 0, 0 = o + 2*z + z. Let y be 8/5 - 6/(-15). Suppose 1 = 2*s - 5. Solve o = -5*u - 7 - 13, 0 = y*l - s*u - 2 for l.
-5
Suppose 2*s - 3*s = -3. Suppose -s*r = -5*r + 6. Solve r*y - 31 = -4*i, 3*i - 3*y = -i + 1 for i.
4
Let k be (-3 + (-22)/(-6))*6. Let t(m) = 7*m + 12*m - k - 14*m + m**2. Let r be t(-6). Solve -3*w + b + 1 = -6*w, -4*w - 2*b + r = 0 for w.
-2
Suppose 0 = -6*w + 8*w. Suppose -3*i = 3*h - 30, w = 3*h - 5*i + 2*i. Let t = h + -5. Solve 2*a - 2*f - 10 = -3*a, t = 2*a + 2*f + 10 for a.
0
Let g(k) be the third derivative of -2*k**2 + 1/30*k**5 + 0*k + 1/6*k**3 + 1/8*k**4 + 0. Let d be g(-2). Solve -d*h + 8 = 5*m, -m + 2 - 10 = 3*h for m.
4
Suppose -9 = -3*s + u + 3*u, -s + 5*u + 3 = 0. Let j(l) = -l**2 + 7*l - 6. Let k be j(5). Solve s*y - 32 = -k*b, -3*y + 0 = 2*b - 22 for b.
5
Suppose 5*f = 4*w + 2 + 13, -2*f + 6 = -w. Suppose d + 10 = f*d. Solve 5*q = -3*g + 13, g + 19 = d*q - 10 for q.
5
Let p = 21 + -7. Suppose 1 = 3*m - m - h, -2*h = 4*m - p. Let i = 6 + -1. Solve -z - b = -i, -z + m*b + 4 = 4*z for z.
2
Let s be (4/6)/(8/60). Suppose s + 0 = 5*z, 0 = -3*d + z + 86. Solve 4*h + o + 4*o - d = 0, -o = -2*h - 3 for h.
1
Suppose -5*u + 5*j = -10, -22 = 3*u + 8*j - 4*j. Let d be ((-7)/3 - u)*-6. Solve -4*r + 1 = -4*x + 5, -x + 2 = -d*r for r.
-1
Suppose -5*w = -0*w - 20. Solve 2*b - 3 = f - 6*f, 18 = w*b - 2*f for b.
4
Let v be (-1)/(-5) + (-6)/30. Suppose -2*b = 2*c + 3*b - 19, -3*c - b + 9 = v. Solve 0 = -s - u - 9, -u - 13 = c*s - 0 for s.
-4
Let j be (7/7)/(2/10). Suppose 0 = 5*t - 12 - 8. Suppose -5*b + t*b = -2. Solve -j*h - b*s = 5, 3*h - 2 = 5*s - 5 for h.
-1
Suppose -3*x - 3 = -2*x. Let v(o) = -o**3 - 3*o**2 - 2*o - 6. Let z be v(x). Solve z*s = 3*s - 3*a, 2*s - 3*a - 5 = 0 for s.
-5
Let n = 20 + -17. Solve 4*s + u + 15 = 0, -4*s = s - n*u + 23 for s.
-4
Let o = -1 - -7. Let v = -5 + o. Let m be ((-15)/20)/(v/(-4)). Solve 0*h - m*h - 1 = 2*f, -3 = -3*f for h.
-1
Let t(n) = 2*n**2 - 4*n + 4. Let z be t(3). Suppose -24 = -4*r + m, 0*r = 4*r + 4*m - 4. Solve -4*j = -r*i + 25 - z, -5*j = -5*i + 20 for i.
-1
Let k(m) = 3*m. Let c be k(1). Suppose 4*n = q - 25, 5 = 3*n - 4*n. Suppose g - u - 4*u = 0, q*u = 5*g. Solve -4*y + 5*f - 14 = g, 3*y - 1 = -c*f + 2 for y.
-1
Let l be (3 - -1) + 0 + 5 + -7. Solve -l*f - v - 4 = -7*f, 4*v = f - 16 for f.
0
Let s(t) = 2*t - 3. Let c be s(3). Solve 0 = h - 2*h - c*g + 4, -2*h = 2*g - 8 for h.
4
Suppose 2*m = -0*m + 8. Suppose -m*r + 14 + 0 = i, 2*r - 4 = i. Solve -3*k + 4*d + 5 = r, 2*d = 3*k + 2 for k.
-2
Suppose 0 = -3*z + 9*z. Solve -n - 4*u - 3 = z, 4*u = -2*n - 2*n + 12 for n.
5
Let m(y) = 2*y - 2. Let f be m(2). Let u(b) = -2*b - 4. Let l be u(-5). Solve 2*k + o - 16 = l*k, f*k + 4*o = 10 for k.
-3
Suppose 10*a + 25 = 125. Solve 16 = 4*z + 4*v, 4*z + 3*v - v = a for z.
1
Let w be (-2)/(4*(-3)/210). Suppose w = -3*s + 5*n, 0*s - 1 = s + n. Let q be ((-6)/s)/(4/90). Solve -5*b + 0*i = 3*i + 19, q = -5*b + i for b.
-5
Let g(v) = -3*v + 10. Let d be g(-6). Suppose 2*f - d = -5*f. Solve -2*l = 5*p - 19, 5*l = f*p + l - 32 for p.
5
Suppose -3*x = -4*x + 33. Let c be (-1)/(-2) + (-1)/2. Suppose c = r - 4*r + x. Solve -3*j + 7 = -j + v, -3*j + r = v for j.
4
Let d be (-16)/(-6) + 1/3. Solve -d*s + 4 = -5*m, -s - 5 - 5 = 4*m for s.
-2
Suppose -o - 4 = -3. Suppose u = 2*u + 3*i - 15, 0 = -4*u + 4*i + 12. Let r be ((-2)/u)/(o/9). Solve -2*t - r*x + 14 = 0, 0 = -0*t - 4*t + 5*x - 16 for t.
1
Let g(i) = i - 2. Let v be g(4). Suppose v*w = w. Solve -12 = -3*m, 2*m = -w*l + 2*l - 2 for l.
5
Let y(c) = 0 - 6 + 2 - c. Let g be y(-7). Suppose -3*o = -3*x - 0*o + 9, 4*x = 3*o + 11. Solve 23 - g = -u + 5*f, x*f + 9 = -3*u for u.
-5
Let n(t) be the third derivative of t**4/3 + t**3/6 + 2*t**2. Let l = -4 - -5. Let b be n(l). Solve -4*m - 6 = -b*m + o, -8 = -2*o for m.
2
Let k(c) = 8*c**3 - 7*c**3 - 1 + 12*c**2 - c + 0 - 7. Let s be k(-12). Solve 0 = 2*a + 4*t + 16, 0*a + s*a + 3*t + 17 = 0 for a.
-2
Let q = 10 - 6. Let g be q - -1 - (6 + -3). Let d be (-1 - g/(-3))*0. Solve a - 5*n = -0*a - 21, -2*a - 2*n + 6 = d for a.
-1
Let g = -3 - 1. Let o be ((-90)/(-3) + -3)*-1. Let b be (-114)/o + g/18. Solve x + 5*p - 10 = 2*x, -b*x - 16 = 4*p for x.
-5
Suppose -2*u + 3*t + 10 = 0, 2 = 3*u - 3*t - 10. Let k = -3 + 8. Let z = 68 - 63. Solve 0 = -z*b - f - u, k*f - f = -8 for b.
0
Suppose 3 = v + 4*j - 15, 8 = 2*j. Suppose 6*l - 30 = v*l - i, -l - 5*i = 2. Suppose s - 5*s + l = 0. Solve -s*d + 5*u - 29 = 0, 0*d + 8 = d + 2*u for d.
-2
Let g be 16/56 - (-24)/14. Solve 5*v + g = 2*v - 5*q, 3*v - 7 = 4*q for v.
1
Suppose -5*h + 2 - 27 = 0. Let n be (-16)/(-10)*h/(-2). Solve -3*y - x - x - 20 = 0, 4 = -5*y + n*x for y.
-4
Let s = 26 - 4. Let c(m) = m - 1. Let k be c(1). Let b be 2/(-3) + (-12)/(-18). Solve -5*y - x + 3*x - s = b, k = -x + 1 for y.
-4
Suppose -5*x + r + 5 = -10, 4*x - 3*r = 12. Let z(c) = -c**3 - 4*c**2 - 6*c - 3. Let u be z(-4). Solve x*a + 3*t - u = -0*a, 0 = a - t + 1 for a.
3
Let b = 12 + -3. Suppose -2*l + b = -g + 2, 2*g - 4 = l. Solve 5*m = 2*u + 31, -4*m + 2 = 4*u - l for m.
5
Let c(l) = -l + 10. Let a be c(6). Let b = 2 + 0. Solve -w = -a*s + 4, w + 0*w - b = s for w.
4
Let x be ((-144)/30)/((-4)/(-30)). Suppose -5*k + 15 = -4*z - 62, 0 = -2*z + 3*k - 39. Let c be (-8)/x + 4/z. Solve c = 5*q - 4*i, -3*i = -q + i + 16 for q.
-4
Let x = -2 - -4. Let t be x/(-4) - (-39)/6. Solve 5 = 5*y - 5*k, 2*y - t*y + 2*k = -4 for y.
1
Let d(y) = y**2 + 11*y + 10. Let r be d(-10). Solve -4*c - 5*l - 7 = r, -c + 2*c + 4*l = 1 for c.
-3
Suppose -3*c + b = 0, -b = -0*c + 2*c. Solve 2*j + 7 = -5*p + 2, -j + 5*p - 10 = c for j.
-5
Let k = 4 - 1. Let m be 3 + (-2 - k/(-1)). Solve -3*z - 5*t = -z + 10, -m*z + 2*t + 4 = 0 for z.
0
Suppose 7*v - 52 = -6*v. Solve 4*q + r - 13 = v, 0 = -2*q - 2*r + 4 for q.
5
Let v(r) = r**2 - 4*r - 3. Let j be v(5). Let p = -2 - -4. Suppose -3*z + 22 = 7*l - 5*l, -20 = -4*z + p*l. Solve 4*o - 5*f = 