-5
Suppose -3*i + 0 = 3. Let k = i + 4. Solve z = 2*w - 4, -4*w = 2*z + k*z - 22 for z.
2
Let j = -58 + 62. Solve 0 = j*t + 4*q, 0*t = 4*t - 3*q - 35 for t.
5
Let u be (3 - 1)/(2/(-6)). Let o be ((-8)/10)/(u/15). Let p = o + 1. Solve 5*w + p = -4*q + 10, -5 = -3*q - 4*w for q.
3
Suppose o + 5 = 5*k + 24, 23 = 5*o - k. Suppose 0 = -2*w + o - 0. Solve w*f - 2*z - 6 = 0, 0*f - 4*z + 2 = 3*f for f.
2
Suppose -6 = -0*i - 3*i. Solve 4*w = 0, 2*k - 3*w + i = 2*w for k.
-1
Let w be (1 + -3)/(28/(-70)). Suppose -w*v + 15 = -0. Solve 0*c - 5*c = 2*b - 3, -2*b + c - v = 0 for b.
-1
Let f(y) = y + 1. Let s be f(1). Suppose 5*b - p = 25, -s*b = -6*b + 5*p + 41. Let q be ((-5)/(-2))/(2/b). Solve 28 = c + 3*c + 5*x, -x = q*c - 14 for c.
2
Let t(x) = -2*x + 13. Let j be t(9). Let n = j - -8. Solve -2*s = -7*s - g - 17, -n*s - 5 = -2*g for s.
-3
Suppose -5*k + 155 = 4*d, -5*d + 7 = -3*k + 63. Solve p = -5*q + 3*p + k, p = -2*q + 9 for q.
5
Let d be 3/12 - (-15)/4. Let s = -5 + d. Let l be s/(-5 + 2)*3. Solve 2*q - g = -3*g + 12, l = q - 4*g for q.
5
Let b be (4/(-8) - 1)*-2. Suppose 90 = 6*s - b*s. Solve -t - t = -5*i + s, 0 = -5*i + 5*t + 45 for i.
4
Let v = 9 - 5. Solve -3*f - 10 = f - 2*y, -20 = v*f - 4*y for f.
0
Let b = -11 + 13. Suppose -6 = -i - b*i. Solve -3 = -3*k + i*s, 0 = k - 2*s + 1 + 2 for k.
3
Suppose 0 = -4*r + 1 - 9. Let z = 27 + -15. Let v = r + z. Solve -15 = 5*c - 4*u - u, -2*c + 4*u = v for c.
-1
Let o = -13 + 18. Solve 5*p = -w + 5, -7*p + 5 = o*w - 2*p for w.
0
Let v(d) = d**2 - d - 10. Let r be v(-4). Solve 3*w = 3*y + 6, 0 = -2*w + 5*y + r + 3 for w.
-1
Let z(c) = -c**2 + 4*c - 2. Let v(r) = -r**3 - 9*r**2 - 7*r + 10. Let f be v(-8). Let d be z(f). Solve -3*m - m = -2*l - 8, d*m = 3*l + 4 for m.
2
Let m be (2/6)/((-2)/42). Let x be (2/m)/((-2)/14). Solve -3*l + 5 = 2*s, -s - 1 = x*l - 4 for l.
1
Let a(x) be the third derivative of -x**6/120 + x**5/60 + x**4/24 - x**3/6 - 5*x**2. Let q be a(-2). Solve 3*g - 3*p = -18, q = -5*g + 2*p - 9 for g.
-2
Let f(q) = -q**2 + 10*q + 22. Let z be f(10). Solve 2*x + 4*y + 20 = 0, -2*y + z = -5*x + 8 for x.
-4
Let o(c) = 3*c**2 - c + 1. Let s be o(1). Solve k + 14 = -s*d + 6, -2*k = -4*d - 4 for k.
-2
Suppose 4*y - 32 = -4*p - 0*p, 2*y + 3*p = 21. Suppose 0*c + 5*j = -y*c + 26, -c + 22 = 5*j. Solve 0 = -5*b - 15, -5*w - b - 30 = -c for w.
-5
Let b = 5 + -1. Suppose 8 = -b*m + 6*m. Solve 0 = -p - m*h - 1, 3*p - 3 = 6*p - h for p.
-1
Let p = 2 + -1. Let x(s) = 3*s**2 - s - 1. Let q be 1/(-4) + 49/(-28). Let w be x(q). Solve -5*d - w = 3*r, p = 3*d - 4*d - r for d.
-5
Let x(s) be the second derivative of 0 + s + 1/12*s**4 - s**2 + 1/3*s**3. Let f be x(-4). Solve -5*k - 4*l - 6 = -f*l, 4*k + 2*l = 6 for k.
0
Suppose 2*u = 8, -2*z = 3*z + u - 54. Let x = z - 6. Solve v + l + x = -2*v, -4*l = 16 for v.
0
Let n(c) = -c + 5. Let r be n(0). Suppose 0 = 5*p + 5*u - 65, u - 6 - 37 = -4*p. Solve -3*h + r = -4*v, 3*h = 2*h - v - p for h.
-5
Let k(q) = q**3 - 9*q**2 + 12*q - 18. Let m be k(8). Solve 5*g + 2*b = -18, 5*b + m = -6 for g.
-2
Let p be 1/((-2)/((-16)/2)). Solve -1 = -z + 4*i - p, 9 = 3*z - 3*i for z.
5
Suppose 4 = 4*u, -5*y - 3*u = -4*u - 14. Solve -y*z + 4*b - b = -15, 0 = -z - 5*b + 5 for z.
5
Let j = 85 - 83. Solve -4*c + 2*y - 10 = 0, 17 = -j*c - 4*y + 7 for c.
-3
Let s be (-66)/9 + 5/15. Suppose -49 = 3*p - 3*k + 17, 0 = -3*k + 3. Let n be 2/s + (-6)/p. Solve n = d - 3*t + 11, -2*d - 3*t + 16 + 7 = 0 for d.
4
Let r = -7 + 11. Let f be r/18 - 8/36. Suppose f*i = -5*i. Solve 4*x - 6*t = -t, i = -3*x + 3*t - 3 for x.
-5
Let w be (-4)/8*(-4)/2. Solve 1 = c - w, -q + 3 = 4*c for q.
-5
Suppose -5*q - 10 = -4*q. Let a = 15 + q. Solve -a*o + w = -20, 2*w = -4*o + 6*w for o.
5
Suppose -4*l + 8 = 3*v - 0, -3*v + 13 = -l. Suppose v*g - 3 = 1. Solve -1 = 2*o - a, -g = 3*o - a + 1 for o.
-1
Let n be ((-6)/8)/((-3)/(-12)). Let v be 20*1 - 1*n. Solve 4*q = 2*d + 36 - 10, -d + 4*q = v for d.
-3
Let s = -8 - -39. Suppose -12 = -4*z, -t - s = -5*t - z. Suppose 4*o - t - 13 = 0. Solve 0 = -5*m - 5*j - o, j = 2*j + 5 for m.
4
Let l(h) = 2*h**2 + 9*h + 61. Let j(i) = -i**2 - 5*i - 31. Let m(g) = 11*j(g) + 6*l(g). Let a be m(0). Solve -d = s + 5, s + a = d - 4*s for d.
0
Suppose -8*d - 8 = -12*d. Let b = 2 + 0. Solve -2*x + b*z + d = 0, 4 = -2*x - 7*z + 3*z for x.
0
Let h(y) = -y**3 - 10*y**2 - 10*y - 4. Let p = -18 + 9. Let x be h(p). Suppose r - 19 = -2*d + 6, -3*r + 15 = 0. Solve d = -v - v + 4*c, 4*v - x*c = -5 for v.
5
Suppose -t + 4*c = -58, -5*c = 3*t - c - 110. Suppose -2*b = 4*s + b - 154, -s + t = -b. Suppose 5*d + 0*d = s. Solve r + 4*n = -d, 8*n + 10 = 3*n for r.
0
Suppose 2 = -4*a - 4*y - 14, 0 = 3*y + 9. Let l be (a + -3 - -12)/2. Solve -5*t - 2*d + 9 = -10, 2*d - l = -2*t for t.
5
Suppose -128 = 7*a - 163. Let s(h) = h**3 - h**2 - h - 4. Let b be s(0). Let m = b - -9. Solve l - m = -a*i, 0*l + 10 = 2*l for i.
0
Suppose 0 = 4*n + 4*c - 28, -n - c - 8 = -3*c. Let y be 3/((-1)/(-2)*n). Solve 3*g = -y*t - 12, -3*g + g = 3*t + 13 for g.
1
Let g be (-88)/(-14) - (-4)/(-14). Let v be (-23)/4 - 1/4. Let f = v - -15. Solve q = -2*c - 7, -f = -g*q + 3*q for c.
-5
Suppose 8*m - 25 - 7 = 0. Solve -14 = 2*i + m*k, -3*i = -i + 5*k + 16 for i.
-3
Let c(w) = 2*w - 8. Let g be c(7). Solve -3*j + 1 = -6*p + 4*p, 4*j - g = 5*p for j.
-1
Let i = 32 - 32. Let k = -5 - -10. Solve i = k*s + 5*b - 4 - 16, 3*b = 0 for s.
4
Let r be 4/(-20) - 58/10. Let a be (8/(-10))/(r/15). Solve 0 = -i + 3*o - a, i + 3 = 5*o - 3 for i.
4
Let m(j) = -8*j - 7. Let n be m(-4). Suppose 0 = f - 6*f + n. Let d be 5/(-2)*1*-2. Solve 0*x - d*x = f*y + 30, -2*y - 9 = -x for x.
-1
Let o(u) = 3*u**2 - 2*u + 2. Let n be o(2). Let d be 2 - 11/(-4) - 33/44. Solve -2*a - q = -a + 5, d*a = q - n for a.
-3
Let z be ((-1)/2)/(2/(-24)). Let x be 4 - (-3)/(-3 + 0). Solve x*k - l - z - 8 = 0, -k - 17 = 4*l for k.
3
Let z = -130 + 132. Solve -5 = -i - z, -4*i + 15 = 3*w for w.
1
Suppose 2*h + 22 = 5*m, -4*m + 7 = -h - 10. Let p be 30/8*(h + 5). Suppose -a + 2*k = -3 + 6, 4*k - 7 = a. Solve -5*w + t + p = 0, w - 2 = 4*t + a for w.
3
Let j = 7 - 4. Suppose -4*w = -3*p - 23, j*w + 0*p = 5*p + 20. Suppose -13 = 4*i - w*i. Solve 0*s = -5*m - s + 10, -2*m + 3*s = i for m.
1
Suppose -c - 2*c = -42. Let z be c/3 - (-1)/3. Solve z*g = 0, -5 = -b - 4*b - 3*g for b.
1
Suppose 0 = -6*d - 12 + 60. Solve -2*g = -d, p + 2*g - 11 = -0*p for p.
3
Suppose 0 = -b + 2 + 1. Suppose x + 4*x - 10 = 0. Let j = x - 0. Solve -b*r + 11 = -j*o, 3*r - 2*r - 3 = o for r.
5
Suppose 8*p - 40 = 3*p. Solve p = -s + 2*o + 2, -s + 10 = 2*o for s.
2
Let c = -150 + 153. Solve 3*l = o + 5 - 1, -l - c = 4*o for o.
-1
Let o = 6 + -4. Suppose 4*y - 98 = -5*n, -3*n - 17 = -5*y - 61. Solve -5*p - n = u, 0 = -5*p + 4*p - u - o for p.
-4
Let p be 6/(-9)*3 - -9. Let h = 13 - p. Suppose -22 = -v + 5*q, 2*v + 2*q + 2 = -v. Solve -8*t + h*t = 2*z - v, -2 = -3*z - 2*t for z.
0
Let t be (-133)/(-21) + 4/6. Suppose -3*z + t - 1 = 0. Solve -z*v - 9 = -4*o - 3, -o = v - 3 for v.
1
Suppose -3*s + 1 = -11. Solve 3*n - 5 + s = -5*u, -2*n = u - 3 for u.
-1
Suppose 0 = -6*x + 8*x - 12. Let u be (2 + 13)/(x/4). Solve 4*a + 5*i - u = 0, -2*i + 3 = -1 for a.
0
Let s(d) = -d. Let u be s(-5). Solve b - 13 = -u*k - 0, -b - 2*k = -4 for b.
-2
Let i be (24/9 + -2)/((-8)/(-144)). Solve -5 = h - 3*l + 8, -i = -4*l for h.
-4
Let x(z) = -z**2 - 6*z - 6. Let i be x(-4). Solve 3*l - i*n = -2, 4*l = -0*n + n - 11 for l.
-4
Let x(b) = -b**2 + 12*b + 4. Let l be x(12). Solve 0 = -5*t + l*y + 10, -t + 2*y + 1 = -7 for t.
-2
Let b = -4 - -8. Let s(y) = -18*y + 2. Let q be s(0). Solve 0 = q*c + a + a + 8, 3*a = b*c - 19 for c.
1
Let z be 0 + 2*(-1 - -2). Suppose 5*q + 210 = -5*d, 3*q + 5*d = -100 - 26. Let c be 1/(2 + q/22). Solve -b - 4*x + c = 0, -z*x + 1 = b - 6 for b.
3
Let d be (-6 - -4)*(-4)/2. Solve -3*p - 2*p - 20 = 0, 4*x + 2*p = d for x.
3
Suppose 3 = 4*n - 1. Let d be (-2 + (n - -1))/2. Solve 3*r + 4*w - 3 = d, 3*w + 22 = 3*r - 2 for r.
5
Let s(a) = 3*a - 12. Let p be s(5). Solve u + p = 0, 0*v - 2*u = -5*v + 6 for v.
0
Let w = 1 - 1. Suppose 4*u = 2*p + 38, 2*u + 2*u - 3*p - 35 = w. Solve -u = 4*s + q, 0*s + s = -q - 5 for s.
-2
Let u(g) = g**2 - 7*g + 5. Let c be u(7). Suppose -11 = -4*h + 9. Solve h*r = -w + 29, -4*r + 45 = 