- 20 = -5, 0 = p + z*u - 30 for p.
5
Let i(j) = j**3 + 29*j**2 + 4*j + 116. Let r be i(-29). Solve -n = r, -n = -4*s + 2*n + 16 for s.
4
Let y = 20 - 401. Let t be y/(-27) + (-1)/9. Solve 3 = -2*v - r + t, 0 = -4*v + 2*r + 18 for v.
5
Let v be (-752)/(-14) - (48/28 + -2). Suppose -v*k + 55*k - 22 = 0. Solve -4*n - 5*q = -26, -5*n + q = 2*q - k for n.
4
Let d(p) = p**3 + 9*p**2 - 12*p - 14. Let n be d(-10). Suppose 0 = 9*b + 9 - 0. Let u be (b + -2)*(7 - (-8 + 16)). Solve 2*q = -k + n, u*k = -2*k for q.
3
Let d = -923 + 939. Solve 0 = -2*i + w, d*i - 3*w = 11*i for i.
0
Suppose -5*q - 24 = 4*s - 41, -4*q = -4*s - 28. Solve -15 = -q*z + 5*b - 10, 0 = 2*z + 3*b + 18 for z.
-3
Let y(t) = -2*t**3 - 78*t**2 + 80*t + 1. Let q be (12/15)/(22/(-1100)). Let p be y(q). Solve -c - a + 13 = -4*c, a = p for c.
-4
Let v be -9 + (-8 - -6) + 43. Solve -4*z + 22 = t + t, -4*t = 4*z - v for t.
5
Let k(n) = 2*n**2 + 15*n - 8. Let a = -52 + 60. Let m be (-3 - a) + (-6)/(-2). Let i be k(m). Solve i = -7*p + 3*p + j + 12, -3*p + 4 = -2*j for p.
4
Let b(u) = -3*u + 79. Let n be b(25). Let d(v) = v**3 - 4*v**2 + 6*v - 4. Let j be d(n). Let o = j - 17. Solve 4*l + 6 = 5*a - o, l = -1 for a.
1
Suppose -3*r - 3*q + 114 - 90 = 0, 3*q + 11 = 4*r. Solve -3*k - m - r = 0, 102*k + 20 = 100*k - 4*m for k.
0
Let j(z) = z**2. Let i be j(2). Suppose -33 = -52*v + 49*v. Let c = v - i. Solve -5*h - 2*q = -c*q + 30, -8 = 3*h + 2*q for h.
-4
Let r(d) = -d + 40. Let q = -14 + 33. Let a be r(q). Solve 3*j + 6 = n - 3*n, 3*j = 3*n - a for n.
3
Let j(a) = 0*a + 5*a + 37*a - 14*a + 30. Let m be j(-1). Solve -o - 5 = 2*o + m*c, 0 = 4*o - c - 8 for o.
1
Let t = -1 + 6. Suppose 2*w = 4*m - 30, w - 6*w = m + 20. Suppose 2*c - 20 = -m*j - 12, -3*c - 3 = 0. Solve -h - 1 = -j*v, t*h + 0*v = 3*v + 9 for h.
3
Suppose -672*g = -2*i - 669*g + 72, 4*g = -2*i + 114. Solve 43*v + 5*j - 6 = i*v, -5*v + 4*j = 15 for v.
-3
Let d(p) = 5*p - 517. Let m be d(104). Solve 0 = 5*c - 2*b - 5, m*b = 4*c + 2*b - 1 for c.
-1
Let u = -16 + 21. Let q(b) = -7*b + 63. Let p(w) = -2*w + 21. Let n(j) = 11*p(j) - 4*q(j). Let t be n(4). Solve -5*o + 2 = g, -t*o + 5*o - u*g = 17 for o.
1
Let g(z) = -z**3 + 12*z**2 - 26*z + 15. Let l be g(1). Solve u - 3 = -47*q + 45*q, 5*q - 4*u - 27 = l for q.
3
Suppose 9 = -f - 2*t, 14*t = 2*f + 16*t + 4. Solve 5*j - 26 = -w, 5*j = -f*w + 3*j + 15 for w.
1
Suppose 0 = 265*f + 141*f - 4466. Solve 4*j + f*k - 10*k = 2, 4 = -j + 2*k for j.
0
Suppose y - 4 - 3 = -p, -5*p + 17 = -4*y. Let f be (-2 - -3 - 1)*(-13 + 14). Solve f = -2*g - p*a + 8, 0*g - 2*g - 10 = -4*a for g.
-1
Suppose 0 = i + 5, 0*u + u - i - 16 = 0. Suppose 8*b + 195 = u*b. Let q = b + -57. Solve -5*h + 5 = 4*f, 2*h - h + q = f for f.
5
Let r be 5/2 - (-90)/60. Suppose -i + r*c = -18, -3*i + 6 + 4 = -c. Solve -5*g - i = -4*w, g + 10 = 3*w + w for w.
3
Suppose 0 = -3*x - 2*b + 10, 3*x = 7*x - 5*b - 21. Solve 2*r - 4 = u - 19, 35 = 3*u - x*r for u.
5
Suppose -31*d + 202 = 70*d. Solve 0 = 3*q + z - d*z + 6, -2*z = 0 for q.
-2
Let x = 92 + -58. Suppose -12*h = 10 - x. Solve o + 13 = 3*c, 4*c - 6*o + h*o = 20 for c.
4
Let a be -7 + (-3)/((-3)/(-1)). Let w be 2*(-2)/a - (-315)/14. Suppose 4*s - w = 5. Solve -m = -2*z - 5, 2*z - 2*m = s*z + 17 for z.
-3
Let q(o) = 5*o**3 - 37*o + 37. Let m be q(1). Solve -2 - 14 = -2*l - m*v, -4*l + v = -10 for l.
3
Let u be (6020/665 + -8)/((-4)/(-38)). Suppose 0 = 4*j + 2*b - 26, -3*b - 25 = -8*b. Solve -4*y - k + u = -2*y, -j*y = -k - 14 for y.
4
Suppose 16 = 4*z + 2*u, 5*u - 2*u = -5*z + 19. Suppose 5*q - 2*x - z = 15, -3*q - 4*x = -12. Solve -q*j + 0*c - 3*c = 16, -5*c = 0 for j.
-4
Let y(r) = r**3 - 2*r**2 + 10*r - 23. Let a be y(3). Suppose 32 = a*g - 32. Solve 4*l = u - 24, g*l + 2*u = 2*l - 2 for l.
-5
Suppose -57 = 45*h - 26*h. Let d be 15/(-3) - (-9 - (-2 - h)). Solve -3*v = 4*b - 3*b + 3, -d*b + 7 = 4*v for v.
-2
Let t = 508 - 496. Solve 4*q = 14*m - t*m + 14, 0 = -q + 3*m + 16 for q.
1
Let w = 3349 - 3345. Solve -4*m = -3*k - 1 - 21, 0 = 2*k + 2*m - w for k.
-2
Let h be (-3)/(-6) + 330/20. Suppose 4*i + 5 = h. Solve -i*a + 3*b = -6, -4*b + 13 = 5*a - 2*a for a.
3
Let t = 34 - 30. Suppose -z = t*v + 3, 0 = -4*v + 4*z - 29 + 1. Let d be (1 + v)*(1 - 1). Solve 2*o + 3 = -3*r, 0 = -2*o - d*o for r.
-1
Let b = 8 + 2. Let z be (3276/(-35) - 3) + 6/b. Let t = z + 99. Solve -t + 7 = -4*i, 7 = -3*y - i for y.
-2
Let w(r) = 2*r**3 + 87*r**2 + 45*r + 90. Let d be w(-43). Solve -4*m = -4*j + 7 + 1, 26 = d*j + 5*m for j.
4
Let r(l) be the third derivative of -3*l**4/8 + 277*l**3/6 - 4*l**2 - 1. Let n be r(30). Solve -n = 2*s + 3*s - 4*j, 17 = 2*s + 5*j for s.
1
Suppose 5*c + 406 = -3*o, -109 = 5*c - o + 309. Suppose 375 = -5*w - 55. Let a = c - w. Solve x + 9 = 3*n, 5*x + a*n + 9 = -0 for x.
-3
Let f = 45 - 42. Suppose 8 = -m + 4*l - 2*l, f*l = 3*m + 9. Suppose m*g = 11*g - 27. Solve 2*w + 24 = -4*c, -g*c - 12 = c - 4*w for c.
-5
Let v(d) be the first derivative of d**3/3 - 17*d**2/2 + 4*d + 1109. Let q = -16 - -33. Let u be v(q). Solve 4*a - 5*o + 4 + u = 0, 0 = -3*o + 12 for a.
3
Suppose -3*h - h - 5*x - 7 = 0, 2*h = 5*x + 19. Suppose -3*b + 13*m = 17*m - 3, h*b - 5*m = 25. Solve -b*p = 5*i + 10, 2*i + i + 2*p = -4 for i.
0
Let a = -58 + 57. Let n(m) = -2*m**2 - 11*m - 1. Let w be n(-5). Let j be (-1)/(a*2/w). Solve 2*g = h + 2 - 0, -j*g - 8 = 4*h for h.
-2
Suppose 13*b - 294 = 6*b. Suppose -3*q + 0*q - 3*o = -45, 2*o = 4*q - b. Solve 6*y - 3*y = -2*v + q, -5*v - 8 = -2*y for v.
0
Let y = 38 - 27. Suppose 5*c + w - 11 - 8 = 0, -w + y = 3*c. Suppose -4*j - c = -5*j. Solve -2*q - 3*p = -j - 0, -2*p = -q + 2 for q.
2
Suppose -6*o - 2*c = -14, 2*o + 27*c - 28 = 31*c. Solve -11*w + 23 = 3*p - 16*w, 2*p - 18 = o*w for p.
1
Let c be -2*(-47 - -41)*(0 - (-2)/8). Solve -12*l + 8*l + 3 = n, 0 = -c*l + 4*n - 12 for l.
0
Suppose -2*q = -8*q - 36, -5*k + 4*q + 49 = 0. Solve -2*j + 2 = 2*y, 216*j = 214*j - k*y - 1 for j.
2
Let z(r) = 92*r**2 + 4*r - 3. Let b be z(2). Let q = -369 + b. Solve 6 = s + t, -6*s - q*t = -s - 26 for s.
2
Let l be (486/(-189))/((-1)/42). Let o = -104 + l. Solve o*g - 13 = -0*z - z, 5*g - 8 = -4*z for g.
4
Let a(r) = -r**3 + 7*r**2 + 20*r - 5. Let w be a(9). Suppose -114 = -w*k - 49. Solve -3*x + k*q = 2*x + 25, -5*q + 7 = 4*x for x.
-2
Let w be 1 + -11 + 8/2 + -14 + 24. Solve -13 + 0 = 3*d - 2*u, 4*d - w*u = -16 for d.
-5
Suppose 0 = -2*o - 4*n - 1 - 21, 3*o = -n + 2. Solve -s - 2 - 1 = -2*m, m + o = 5*s for m.
2
Let t be 3/4 - (-8 - 210/(-24)). Let i be (-33)/(-21) - (8/14 - t). Let n(j) = -j - 3. Let l be n(-6). Solve -3*q - k + 1 = 0, -l*q = 2*q + k + i for q.
-1
Let o be (6 + -9)*(-10)/6. Suppose s = -2*c + 37, 36 = -o*c - s + 136. Let h = 26 - c. Solve 2*t - 2 = h*p - 6, 2*p + 2 = -t for p.
0
Suppose -2*r + 2*r - 60 = -6*r. Solve 16 = 4*c - 3*q, 2*q + r = -9*c + 11*c for c.
1
Suppose 2*l - 1 = -1. Let w(y) = -y + 15. Let a be w(11). Suppose l = a*x + 3*u - 9, 0 = 2*u + 1 + 1. Solve x*p + 0*t + 9 = 2*t, 0 = t for p.
-3
Let v(q) = 52*q - 145. Let g be v(-6). Let i = g - -457. Solve 5*n + 5*j + 0 + 15 = i, 4*j = -n - 9 for n.
-1
Suppose 0 = -h + 4*z + 5 + 10, 9 = -3*z. Let c be 15 + -8 + 0 + -3 + 7. Suppose 20 = c*f - 2. Solve 0 = 2*j + h*r - 3 + 1, 0 = 3*j - f*r + 10 for j.
-2
Let t(j) = -j**2 + 4*j + 22. Let p(r) = -r - 1. Let v(q) = -2*p(q) - t(q). Let w be v(6). Solve 0*f + 20 = -3*o - 4*f, 5*f = w*o + 6 for o.
-4
Suppose 43 = 5*f + 18. Suppose 4*y + 9 = -127. Let n be 1/(-2) + y/(-4). Solve 7*b - 3*b - 1 = 5*z, -n = f*z + 3*b for z.
-1
Let w(i) = 12*i + 12. Suppose -20 = -5*v + 5*k, 4*v - 13*k = -14*k - 9. Let o be w(v). Solve -5*h + h + 24 = 4*x, -4*x + 4*h = o for x.
3
Let i(t) = -t**2 - 13*t - 21. Let s be i(-7). Let m = s - 17. Solve -p = 3, 17 = 2*o - 5*p + m for o.
-1
Suppose -3*y + 1773 = -4*a - 2*a, 5*y = 5*a + 2935. Let g = -580 + y. Solve 2*o - o = -g*q + 12, -24 = -3*o - 5*q for o.
3
Suppose 336 = -13*p + 27*p. Suppose -p*y + 8 = -22*y. Solve y = -2*m - 3*b - 1, 3*m + 4 = -b for m.
-1
Suppose -3*y + 31 = 3*j - 65, -5*y = -j + 56. Let s be (5 - j/8)*-6. Let m be ((-8)/(-3))/(s/(-18)). Solve 5*z = -3*t - m, -t = -0*z - z for z.
-2
Let r(d) = 102*d**2 + 92*d + 3. Let y be r(-1). Solve m = -4*p + p - y, m = p + 3 for p.
-4
Suppose 0 = -6*r - 896 - 166. Let a = -156 - 