.
1
Let q(p) be the first derivative of p**3/3 - 7*p + 2. Let k(w) = 9*w - 33. Let g be k(4). Let v be q(g). Solve -x + 6 = 2*t - 2, -4*x - 8 = -v*t for x.
0
Let q(d) = -12*d**3 + 2*d**2. Let f be q(-2). Let i = 124 - f. Solve -4*y = 2*u + i, 1 + 0 = 5*y - 4*u for y.
-3
Suppose -16 = 11*p - 60. Suppose -2*k + 5*b = -5 - 1, p*k - 12 = 4*b. Solve -3*v = -2*w - k, 4*w + 4*v + 0*v + 16 = 0 for w.
-3
Suppose 0*f = -4*f. Let g = -133 - -126. Let n be -1 + (-2 - (g - f)). Solve -11 = -4*c + t, n*c - 2*t + 14 = 5*c for c.
4
Let t = 235 - 235. Solve 5*f - g - 4*g + 35 = 0, t = 2*f + 3*g + 4 for f.
-5
Let a be 3/((-1)/(4/(-4))). Let q be 5/20 - a/(-4). Solve 0 = -5*h - 5*z + 5 - 0, -5*h - 3*z = q for h.
-2
Let g be (-6*(-2)/(-16))/((-3)/16). Solve -g*u - 2*c - 4 = 0, -3 = 3*u + c - 2 for u.
1
Let b(t) = 2*t**3 - 4*t**2 - 7*t + 3. Let s be b(3). Suppose s = u - 7*u + 30. Solve -u*y = -15, 0 = -4*g + 5*y - 2*y - 25 for g.
-4
Let b be 216/63*(-70)/(-4). Let s = 60 - b. Solve 0 = 2*h + 3*n + 5, s = 3*h + 4*n - 5*n + 2 for h.
-1
Let v be (8/32 - 6/(-8))*11. Solve -f - 5 = 2*j + 2, 2*f - v = j for f.
3
Let i = -13 + 30. Suppose 0 = -4*o - s + i, o - 2*s + 6*s + 7 = 0. Solve -5*t - 4*b = -25, -4*t + o*b - b + 20 = 0 for t.
5
Suppose 0 = -7*r + 23*r. Solve -3*f + 2*c + 2 = r, f + 7 = 4*f - c for f.
4
Let i be (-2)/5 - 408/(-20). Suppose 2*b = 5*l - 4 + 28, -4*b - l = -70. Suppose 0 = -b*o + i*o - 6. Solve o*x + 2*x = 12, 2*n + 13 = 3*x for n.
-2
Suppose -3*g = 8 - 14. Solve 4*q - 5*y - 3 = 12, 0 = -g*q - 5*y - 15 for q.
0
Let d = 50 + -40. Suppose -3*o + b = -14, 2*b = -4*o - b + d. Solve 0 = p + 3*p + 2*q + 4, 3*p + o*q - 2 = 0 for p.
-2
Let k = -16 - 20. Let o be (3/4)/((-9)/k). Solve -4*u = -0*u - 3*t + 19, -3*t = -o for u.
-4
Suppose -2*t + 6314 = 6306. Solve -l + 11 = 2*z, -z = 2*z - t*l + 11 for z.
3
Suppose -4*d + 20 = z - 11, d + 5*z = 22. Let j = 47 - 34. Let r = j - 8. Solve -w + 10 = 3*b - 5*w, b - r*w - d = 0 for b.
2
Suppose -y - 11 = -4*y - l, 0 = -5*y + l + 13. Suppose -y*v = -0*v. Let t be (-3)/((-9)/12) - 1. Solve -p + 4*z - 12 = t*p, 2*p - z + 6 = v for p.
-3
Let k = 746 - 742. Solve -3*x = 5*c - 2*c + 15, -k = 2*x - 4*c for x.
-4
Let y(s) = s**3 - 56*s**2 + 211*s - 152. Let f be y(52). Solve -f*l + 3*l + 3*w = -7, 13 = 3*l - w for l.
4
Let b(l) = l**3 + 32*l**2 + 31*l + 3. Let p be b(-31). Solve -w - p = 5*f, 4*f + 6 = 5*w + 21 for f.
0
Let k(x) = x - 13. Let f be k(12). Let y be (-2)/f - (0 + -2). Solve 2*v + 13 = 3*l + 3*v, 4*l = y*v - 4 for l.
3
Suppose -2*a - 3*n + 24 - 12 = 0, n = 2*a + 4. Solve -4*d = 2*m, a*m + 3*d = -5*m - 7 for m.
-2
Let n(i) = -i**3 + 26*i**2 - 3*i + 24. Let p be n(26). Let d be -6*(-30)/p*(-18)/10. Solve 2*s - d = 2*k, -4 = -3*s - 5*k - 35 for s.
-2
Suppose 5*z - 14 = 2*h, -h + z + 11 = 4*h. Suppose -5*n = 4*s - 47 + 9, 5*s - 76 = 8*n. Solve 4*d = 2*p + s, -h*p - 12 = -3*d - d for d.
3
Let n = -44 + 62. Let t be (-1)/(-3) + 84/18. Solve 2 - 5 = l, 0 = -p + t*l + n for p.
3
Let j = -1951 + 1953. Suppose 0 = 2*z - 2*f - 30, -4*z - 5*f + 69 = -0*z. Solve 4 = 4*g + j*l - l, -4*l = 4*g - z for g.
0
Let p be 46/(-7) + (-4)/(-7). Let a be (-14 - -5)*2/p. Suppose 5*y + 14 - 34 = 5*i, 4*i = -a*y + 19. Solve -19 = -3*k - 4*t, 0 = -y*k - 3*t + 24 - 7 for k.
1
Let l be 22/5 + (-6)/(-10). Suppose -l*c - 6 = -31. Suppose -2*m - j + 9 + 31 = 0, c*m - 115 = 5*j. Solve -5*h + h + 2*g + 12 = 0, -h + m = 4*g for h.
5
Let w(r) = r**3 + 4*r**2 - 34*r - 13. Let l be w(-8). Solve -4*a - 4*d = -l*d - 17, -2*d = -a + 2 for a.
4
Suppose 4*w - 2 - 18 = 0. Let y(q) = -q**2 + 278*q - 7652. Let g be y(31). Solve 0 = 2*n - n - 4*x + 16, g*n + w*x = 20 for n.
0
Suppose 5*y - 4*j = 18, 5*j + 4 = -3*y - 0*j. Suppose -7*k + 25 = -y*k. Solve v - 5 = -3*t, 0*t = -2*t - k*v + 12 for t.
1
Let l(z) = 19*z**2 + 59*z + 60. Let b be l(-1). Solve -4*u = -4*s + b, 10 = 2*u - 4*u - 4*s for u.
-5
Let m(q) = 28*q - 52. Let z be m(2). Solve 2*c - u + 1 = -0*c, -z*c - 4 = -4*u for c.
0
Suppose -2*s = -z - 4, -2*s + 3*z - 10 = -7*s. Suppose -4*i + i - 5*u + 38 = 0, i - 2 = u. Solve -4 = b - 4*j, -4*j - s + i = 5*b for b.
0
Let s(n) = n**3 - 2*n**2 + 2. Suppose 0*g = t + g - 38, 2*t - 68 = 2*g. Let x be (-4)/18 + 80/t. Let p be s(x). Solve 11 = p*r + 3*f - 2, -2*r + 11 = f for r.
5
Let g be (3/(-2) + (1 - -1))*4. Let q be g + (16/(-4))/(-4). Let d(h) = -h + 1. Let o be d(-2). Solve 0 = 3*u + q*b, -u = o*u - 2*b + 12 for u.
-2
Let c = 0 + -3. Let g be 6/9 - (-2)/c. Solve -2 = 2*q + z, g = -2*q + 4*z - 3 - 19 for q.
-3
Suppose 0 = -2*w - 5*d + 16, w - 1 = -2*d + 6. Solve 2*f = 5*q + 26, 0*q + w*f + 11 = -5*q for q.
-4
Let h(z) = 2*z**3 + 7*z**2 - 5*z + 1. Let k be h(-4). Suppose 4*d - 3 = k. Solve -d*f + 3*i - 5 = 3, 8 = -4*f + 2*i for f.
-1
Let y(w) = -w**2 - 5*w - 6. Let k(d) = -4*d + 1. Let l be k(1). Let b be y(l). Solve -4*u + 2*u + 3*h + 4 = b, 3*h = 0 for u.
2
Let b = -604 + 606. Solve f + 2*t = -2*t - 21, b*f - t = -6 for f.
-5
Let o(v) = -v**3 - 36*v**2 - 37*v - 67. Let w be o(-35). Solve 0 = 3*l - 7*q + 11*q + 6, l - w*q = 11 for l.
2
Suppose -f + 4 = 2*f + 2*g, 0 = -4*g - 16. Suppose 4*n = f + 4. Suppose -5*v = -2*i - 2, i + n*v = v + 6. Solve 13 - 3 = i*a - 2*c, 0 = -4*a - c + 1 for a.
1
Let k(i) = 11*i**2 + 154*i + 16. Let m be k(-14). Solve -4*v - 4*q + 4 = 0, -5*q + q - m = 0 for v.
5
Suppose -15 = -3*h - 0*h, 0 = -5*a + h + 35. Solve -2*v = -3*t - a, -5*v + t = -2 - 5 for v.
1
Let z be (-4)/(6 + 8*10/(-12)). Solve -q + 4*b + z = 20, 0 = 3*q - 4*b + 10 for q.
2
Let m be (-8 - (-20)/5) + 6. Solve -4*k - 2*b = -10, 5*b + 1 = 2*k + m*b for k.
2
Suppose -112 = 53*r - 81*r. Let v = 60 - 33. Suppose 4*p = -0*p - 3*m + 32, -3*m = 3*p - v. Solve -2*q = p*w - 5, -r*w - 4*q + 1 = -3*w for w.
1
Let a be 6*((-1)/3 - -1). Suppose -3*y = l - 4, 5*l - 3*y = 4 - 20. Let p be 2 - (l + 1 - a). Solve -3*q + 5*i + 20 = 0, -q + 2 = -4*i - p for q.
5
Let x(r) = -24*r - 96. Let w be x(-4). Solve 0*l + 3*l - 12 = 0, w = -3*k + 3*l - 27 for k.
-5
Let u(d) = -2*d**3 + 2*d**2 + d. Let j be u(-1). Suppose k + j*k = 8. Suppose 4*c = 6 + k. Solve 0 = -f + c*x, -4*f - 15 = 3*x + 7 for f.
-4
Let q(o) = -2*o - 34. Let p(c) = c**3 - 15*c**2 - 2*c + 11. Let g be p(15). Let z be q(g). Solve -2*t + r - 10 = -r, z*r = 5*t + 24 for t.
-4
Suppose 5*i = 3*j + 109, -3*j + 2*i - 7*i = 89. Let m be -16*(j/12 + 2). Let k = -153 - -156. Solve k*r - 3*h = -5*h + m, 5*r - 4*h - 20 = 0 for r.
4
Let u be ((-4)/6)/(5/(-90)). Suppose 4*d = -5*m - u, d + m + 4*m + 18 = 0. Solve -3*w + w = -5*i - 5, d*i = -4*w - 2 for w.
0
Suppose 0 = -5*g + 3*u + 43, 2*g + 13*u - 11 = 8*u. Solve 3*r + m = -4, -2*m - g = -2*r - 0*m for r.
0
Let a(b) = b**2 - 21*b + 22. Let o be a(20). Solve -25 = l + 5*q, 0*l - 3*l - o*q - 10 = 0 for l.
0
Let p be (-1)/((4*(-2)/(-32))/(-1)). Let b(f) = -3*f - 4. Let k be b(-3). Let n = k - 5. Solve -w + 5*o + 6 = n, 0 = 3*o + 2 + p for w.
-4
Let u be 2 - -4 - (-20)/(-5). Solve b = -2*z + 6, 2*b = u*z - b + 2 for z.
2
Suppose -n + 5 = 41. Let a be n/(-9) + 1/(-1). Solve o = -a, 4*k + 2*o + o + 13 = 0 for k.
-1
Suppose 0 = 4*f + 2*i + 6 - 66, 2*f - 22 = i. Solve -4*t - 3*a = -f, t - 4*a - 2 = -13 for t.
1
Suppose -l = 5*d + 8, 4*d = l + 2*d - 13. Suppose 16 = 11*u - l*u. Let t be 1 - 9/(1 - u). Solve 5*c = -p - 3*p + t, p = -c + 1 for p.
1
Let q be 80/20*((-2)/1)/(-4). Suppose -q*c - 8 = -2*y, -2*y - 2*c + 7 + 1 = 0. Solve -4*s = z + 1, 0 = 3*s - y*s + 1 for z.
-5
Let c be (-2 - -8) + (6 - 4). Solve -4*q - c - 27 = 3*d, -2*q - 20 = 2*d for d.
-5
Let q(u) = u + 3. Let j be q(-7). Let f be 5 + j - 3 - 1*-12. Solve 0 = 3*y - 5*c + 10, -4*y + 4*c = -2*y + f for y.
5
Suppose 98*t - 203 = -11*t + 342. Let v = -9 + 13. Solve -v*o + 3*k - 6*k + 26 = 0, -t*o = -5*k - 15 for o.
5
Let g be (-400)/32*(-4)/10. Solve -g - 5 = r - 5*m, -4*r = -5*m + 25 for r.
-5
Let c be (-23)/(6 + -3 - 4). Let s = -11 - 7. Let f = c + s. Solve -4*r + 4*i = 16, 2*r + 7 = f*i - 4 for r.
-3
Suppose 5*q + 11 = -2*u, 5*u - 2 = -q - 18. Let n = 93 - 90. Let y be (n/2)/(u/(-6)). Solve 2*b - 4*o = 5*b - 29, -5*b - y*o = -30 for b.
3
Suppose -12*t + 11*t = -2. Let o be 4/(-10) + 81/15. Solve o*i + 2*m = 13, t*i + 4*m - 18 = -0*i for i.
1
Let d(h) = h**3 - 22*h**2 + 114*h - 26. Let t be d(14). Solve 5*a = -t*k - 12, -1 - 5 = -