ve 3*t = -0*t + q + k, 0 = 2*q - 6 for t.
4
Let k be ((-2)/4)/(7/14). Let n be (k/1)/(1/(-3)). Solve 4*i = -n*q + 7, 0 = 3*i - 2*q + 6*q - 7 for i.
1
Let s = 6 + -12. Let l(j) = j + 6. Let q be l(s). Suppose 20 = 5*h - q. Solve 0 = -5*t + h*c - 4, 5 = 3*c + 2*c for t.
0
Suppose 5*a + 2 - 17 = 0. Solve 2*j + n = -14, -3*j + a*n = -j - 2 for j.
-5
Suppose 2*v - 91 = 3*c, -2*v + 2*c = -2*c - 96. Let f = 16 + v. Suppose f = u + u. Solve 3*d = -4*m + 3 + 8, -5*d + u = -2*m for m.
-1
Suppose 2 = 3*u - 7. Suppose u*w - 20 = -w. Let z = -3 + w. Solve -5*c + d = -4*d, -c + 15 = z*d for c.
5
Suppose 5*a + 3 = -7. Let w be 6/a + 2 + 7. Solve -w*q - 30 = -q + 3*i, 13 = -q - 2*i for q.
-3
Let o be (-10)/(-25) - (-13)/5. Suppose -4*h - 4 = -o*h. Let p = h + 8. Solve b = -p*q + 11, 2*q - 14 = -6 for b.
-5
Let s be (2 + -3 - -1) + (1 - -3). Solve 2*q + 4*u + 6 = 0, -s*q + 1 + 5 = -u for q.
1
Suppose 5*p = -3*q + 20, -24 = 5*p - q - 64. Let c(l) = -l - 4. Let w be c(-6). Let x be (10/(-2)*w)/(-2). Solve 3*m + 4 = -3*o - 2, -2*m = x*o + p for o.
-1
Suppose 24*u + 80 = 29*u. Solve n + 2 = 3*t - 10, 4*t - 4*n = u for t.
4
Let b = -1 + 5. Suppose 10 = 6*c - c. Suppose -3*v + 0*v - 4*w = 10, -4*v - c*w = 0. Solve b*y - 4*p = 24, 0*p + 4*p + 12 = -v*y for y.
2
Let k(a) = a - 8. Let o be k(10). Solve o = -x, x + 4*x + 9 = -m for m.
1
Suppose 0 = 2*x - 6, 5*a = 10*a + 2*x - 186. Suppose -4*n + a = 4. Solve -4 = -5*k + 2*k + 2*y, -k - y = -n for k.
4
Let l be (-21)/14*(1 + -10 + 3). Solve 0*y - 19 = -5*h + y, -3*h + l = -3*y for h.
4
Let c(p) = -3*p - 8. Let g be c(-7). Let z = 2 - -22. Suppose k + z = 5*k. Solve g = -k*x + 3*x + 2*j, -x + 9 = 2*j for x.
-1
Let b be 34/6 + 4/(-6). Suppose -3*v + 3*t = -t + 13, -5*v - 10 = 5*t. Let y be (v/9)/(1/(-6)). Solve -a + y - 20 = b*k, -a - 3 = 0 for k.
-3
Let u(w) = w**2 + 5. Let x be u(0). Solve y = x*y - a - 11, y = -a + 9 for y.
4
Let m = -37 + 37. Solve m = 2*l + 2*l - v - 8, 4*l - 3*v = 0 for l.
3
Let q(y) = -y**3 - 5*y**2 + 5*y - 3. Let r be q(-6). Let s(z) = z**3 - 4*z**2 - 5*z + 5. Let b be s(5). Solve 3 = r*p + 3*o, -15 = b*o - 0*o for p.
4
Suppose 3*p = -2*p + 15. Solve -3*g = -5*n - 11, -p*n + g - 27 = 6*g for n.
-4
Let c = 9 - 7. Suppose c = -2*h + 10. Solve -q + 3*y - 1 = 1, 0 = h*y - 4 for q.
1
Let w(a) = a**3 - 6*a**2 + a + 1. Let u be w(6). Let b(p) = -p**2 + 8*p + 7. Let h be b(u). Solve 2*z = -4*s - 2*z + 8, 3*s - 5*z = h for s.
3
Let t = -7 + 5. Let g = t - -4. Solve -g = 3*f + 4*i + 6, -4*f = 3*i - 1 for f.
4
Suppose 5*l + 2 = -3*y - 8, -4*l - 8 = y. Let c be (-8)/(-2) + (y - -1). Let k = 10 - 6. Solve -k*q = 5*h + 27, 4*h = -c*q - h - 30 for q.
-3
Suppose s = -0*s - 11. Let v = s - -38. Solve 5*c + 0*q - 2*q + v = 0, 0 = -c + 3*q - 8 for c.
-5
Let i(a) be the second derivative of a**4/12 - a**3 - 3*a. Let b be i(6). Solve j - 17 = 3*p, -2*j - p = -b*p + 1 for j.
2
Let b = -3 - -5. Suppose -4*h + 6 = b*s, 6 + 0 = h + 2*s. Solve h*g + 3*g - 12 = -4*z, 4*g + 15 = 5*z for g.
0
Let b be (-1 - (-3 - 3))/1. Suppose b*s = s + 20. Solve -3*z - 4*g = 1, -3*z + 12 + 23 = -s*g for z.
5
Let r be -6*2/(-4)*1. Solve -r*x - 6 = -3*d, -d - 6 + 2 = 5*x for x.
-1
Let q = 2 + -1. Let v = q - -3. Suppose 0 = m - 2 - v. Solve 3*u - t = -m, 0*u = u + 3*t - 8 for u.
-1
Suppose -4*w + 5 - 1 = 0. Let b be (w + -3)*153/(-18). Solve -4*g = -0*g + 2*o - 10, 5*g + o = b for g.
4
Let v = -79 - -91. Suppose -3*g + m = -20, -g - 4*m = -7*m - 20. Solve -4*q = -g*y + 16, y = -3*q - y - v for q.
-4
Suppose 5*v + 33 = -2*q + 3*q, 0 = -5*v + 3*q - 29. Let z(m) = -m**2 - 8*m - 5. Let f be z(v). Solve n = -f, -2*h - 3*h + 35 = -5*n for h.
5
Let z = 23 - 21. Suppose 3*c - 15 = -z*c. Solve -5*k = -4*y + 7, -4*y = -3*y + c*k - 6 for y.
3
Let l(v) = -v + 3. Let b = 16 - 15. Let j be l(b). Let x(k) = 4*k**2 - 1. Let t be x(-1). Solve t*u = -2*w - 13, -j*w - 2*u = -7*u - 27 for w.
1
Let w be (-1 + -1)/2 + 1. Let k be 1 + (-2 - (1 - w)). Let m(a) = a + 4. Let n be m(k). Solve n*r = -g - 0*g - 13, 3*r - 8 = 4*g for g.
-5
Let g(b) = -b**2 - 5*b - 2. Suppose -3*k - 3 = -2*k. Let i be g(k). Solve -j - 8 = -2*s, 0*j + 2*j = -i*s for j.
-4
Suppose 0 = 5*y - 20, 2*t - y = -3*y + 14. Suppose -t*a + 8*a - 25 = 0. Solve -r - 2*w + 1 = 0, a*r + 6 = -4*w + 23 for r.
5
Suppose 4*w - w + 2*b + 6 = 0, -b + 8 = -4*w. Let r be -3 - (w - (17 - -2)). Solve 0 = 5*a - 2*z - 7, -4*z + r + 4 = 2*a for a.
3
Let t be ((-9)/(-6))/((-6)/(-20)). Solve -12 - 6 = 3*h + 5*x, t*h - 10 = 5*x for h.
-1
Suppose 0 = 6*a + 196 - 208. Let d be -1 - -2 - -2*2. Solve -d*h + a*b - 15 = 0, -3*h + b = -0*h + 9 for h.
-3
Let f(w) = w**2 + 11*w + 8. Let x be -2*(5/(-1))/(-1). Let u be f(x). Let t be (-146)/(-6) - u/(-6). Solve 4*b - 4*y = t, 4 - 20 = 4*y for b.
2
Let d be (-66)/(-15) - (-2)/(-5). Let q be 0/(-1 - (-1)/(-1)). Suppose q = g - 4, -2*u - d*g - 13 = -39. Solve u*w - 3*s = -15, -4*w - 5*s + 2 = -23 for w.
0
Suppose -2*z = 8, 3*z + 3 = 5*y - 4. Let r(w) = 5*w**2 + w. Let n be r(y). Let j be (-5)/3*(-171)/95. Solve 0*u - 5*u - n*f = -j, 8 = 2*u + 5*f for u.
-1
Let n be (-4)/((-20)/(-3))*5. Let k = 7 + n. Solve -6*c + c + 11 = -k*h, 0 = -5*h + c + 2 for h.
1
Let f = -43 + 46. Solve -3*w - 4 = -4*p - 2*w, f*p + 20 = -5*w for p.
0
Let n(b) = 3*b - 3. Let y(p) = p - 1. Let r be y(5). Let g = -2 + r. Let h be n(g). Solve 0 = -3*t - h*z, -4*z = -7*z + 9 for t.
-3
Let w(b) = -3*b - 3. Let t be w(-1). Solve c + 4*g + t = -1, -c = -4*g + 1 for c.
-1
Let k(y) = y + 11. Let u be k(0). Let c(v) = 7*v - 16. Let n be c(3). Solve 5*b + 5*l = 2*l + u, b + n = -3*l for b.
4
Suppose -6*s + 56 = s. Solve -2*v - 4*q + 8 = 0, -v + 0*q - 4*q + s = 0 for v.
0
Let l(a) = -a**2 - a - 1. Let b(r) = -3*r**3 + 3*r**2 + 2*r + 2. Let q(t) = b(t) + 3*l(t). Let x be q(-1). Solve -3*i - 5*n + 11 = i, -5*i - x*n = -17 for i.
4
Suppose d = 5*d - 48. Suppose d = 3*x + x, -4*v = -4*x - 8. Suppose 0 = 2*b + 5*m - 13, -4*b + 4*m = -0*m - 12. Solve 3*c - v = -b*i + 3, -6 = 4*c + 2*i for c.
-4
Let k(j) = 2 + 1 + 0*j + 5*j**2 - 6*j - 4*j**2. Let u be k(6). Solve 2*a - a + 1 = 0, 2*i + 3 = u*a for i.
-3
Suppose 2*a + 5 = 15. Suppose 2*v + 3*u + 2 = 21, 2*v - 5*u + a = 0. Solve 4*b - v*p + 1 = 19, p = -b for b.
2
Let w be ((-25)/(-50))/(2/8). Solve -12 = 3*f + w*s, 3*s + 5 + 15 = -5*f for f.
-4
Let w(v) = -v + 10. Let l be w(7). Suppose -5*b = l*u - 7*u - 7, -4*b = -12. Solve u*f + 6 = -5*i + 3*i, -5*f + 4*i = 24 for f.
-4
Let t(r) = 7*r - 1. Let z(p) = -36*p + 6. Let m(d) = -21*t(d) - 4*z(d). Let b be m(-7). Let g be (48/b)/(2/6). Solve -3*c = -u - 1, -2*c + 3*u = 2*c - g for c.
-1
Let q = -24 + 39. Let w be 8 + -9 - -1*4. Solve 4*i = -w*y - 12, 3*i = -2*i + 2*y - q for i.
-3
Suppose t = 4*t. Let o be 34/6 - 2/3. Let n = t + o. Solve -k - 15 = n*f, k - 2*f = -4*f - 9 for k.
-5
Suppose -26*j + 10 = -24*j. Solve 2*i + 5*u - 8 = 0, i + u - j + 1 = 0 for i.
4
Suppose -3*m - 30 = -5*p, m = -2*p + 1 - 0. Suppose 2 - 27 = 5*n, -p*n = 4*u - 1. Solve -u*d - 20 = 0, 3*w + 3*d + 3 = 7*w for w.
-3
Let r(g) = g + 6. Let m be r(-10). Let v be (2/4)/(m/(-40)). Solve -v*z - 2*t + 20 = t, -z - 24 = -5*t for z.
1
Let j = -11 + 15. Let v(h) = -h**2 + 6*h - 2. Let d be v(5). Solve 4*m + 12 = 4*w, -4*w + 1 = j*m - d for m.
-1
Suppose -3*q + 13 = -26. Let u = 54 - q. Solve -2*k - 26 = 4*h, 0 = -5*k - 6*h + 2*h - u for k.
-5
Suppose -12 - 4 = -4*d. Let c = 196 - 193. Solve -d*t + 0*v - c*v - 20 = 0, -2*t + 2*v + 4 = 0 for t.
-2
Suppose -3 = b - 2. Suppose -7 = 4*l + 3*a, -2*l - 2*l + 23 = -3*a. Let o = l - b. Solve 4*c = -5*f + 4, -8*f + o*f + 3 = 3*c for c.
1
Let z = -10 + 30. Let q be 1*-2 - (1 + 3). Let k be 0/(-1) - (3 + q). Solve -1 = -4*i - 3*o + 15, -k*o - z = -5*i for i.
4
Let a(m) = -m**2 + 0 + 2 - m**3 + 4*m - 3. Let h be a(-3). Suppose 4*l - 3*q = 23, -2*l - h*q + q = -6. Solve 5*k = 5*x - 30, 0 = -l*x + 3*k + k + 29 for x.
5
Suppose -q = 4*q - 10. Suppose s = q*s - 3. Solve -l - 16 = -4*x, -s*l + 2*x = 3*x - 17 for l.
4
Let r(d) = 9*d**2 + 2*d + 1. Let h be (0 - (-1 - 0))*-1. Let c be r(h). Suppose -2*k - 4 = -c. Solve l + 23 = 5*x, 3*x - 11 = -k*x - 3*l for x.
4
Suppose -3*u + 1 = -8. Suppose z + 17 = u*m, 3*m - 5*z - 26 = -1. Suppose -7 = -3*d + m. Solve 0 = -0*s + 3*s - 5*b - 2, 0 = -s - d*b - 5 for s.
-1
Let p(c) = c**2 - 10*c - 9. 