 for s.
0
Suppose -d + 34 = -3*d. Let b = d + 36. Let p = 66 + -63. Solve 3*y - b = -7, 5*f = p*y - 37 for f.
-5
Let v(i) = -i**2 + 2*i + 6. Let n be v(3). Suppose 3*z - 8 = 4*b + 6, n*z = -2*b + 2. Let c = 91 - 89. Solve z*d - c*h - 2 = -d, 2*d - 3 = h for d.
4
Suppose -12 = 2*v - 14. Let w be (v/(-3))/((-3966)/396 + 10). Solve -2*r = -2*t - 2 - 2, 0 = -r - 5*t - w for r.
-2
Let l = 521 - 518. Solve 0*p + p + 2 = l*c, p = -5*c + 6 for c.
1
Let z(p) be the third derivative of 7*p**4/24 + 5*p**3/2 - 4*p**2 + 1. Let x be z(-2). Solve a = 5*r - x, 3*a - 8 = -4*r + 2*a for r.
1
Let c(f) = -2*f**3 - 2*f**2 + 51*f + 2. Let q be c(0). Solve 4*j + 34 - 36 = q*y, 3*j + 6 = 4*y for y.
3
Suppose 3*r + 5*v + 4 = -1, v + 19 = 3*r. Suppose -4*t + r*t + 7*t = 0. Solve t = 4*m + c - 12, 0 = -8*m + 3*m + 4*c - 6 for m.
2
Suppose 77 = -143*w + 792. Solve w*p + 4*y + 49 = 0, 4*p + 11*y + 38 = 8*y for p.
-5
Let t be ((280/(-15))/(-14) - 6/18) + 14. Solve 2*m + t = -3*i, -29*i - 2*m = -24*i + 21 for i.
-3
Let k(z) = z**3 - 30*z**2 + 11*z + 957. Let g be k(29). Solve -4*b + 12 = 4*c, -440*c + 8 = -g*c - 2*b for c.
2
Suppose 0 = 3*y, -11 - 29 = -4*l + 5*y. Let u(t) = -4*t + 44. Let f be u(l). Solve -3*i + 29 = -5*x, i - 5*x - 35 = -f*i for i.
3
Let i be (-21)/(-56) - (-42)/16. Suppose -5*h + 11 = i*d + 6, -h = -3*d - 19. Solve -2*g = 4, -h*g - 10 = -3*x - 2*g for x.
2
Let d = 7735 + -7720. Solve 5 = -2*c + 4*z - d, -2*c - 3*z = -1 for c.
-4
Suppose -160*o - 224*o + 61*o + 1292 = 0. Let l be (-1)/3 - (-92)/6. Solve o*x - l = -3*s, s + 3*x = 14 - 4 for s.
1
Suppose k = -4*q + 4, -5*q = -5 - 10. Let y be 2 - 1 - k/4. Solve -6 = 2*i - u, y*i - i = -2*u for i.
-2
Suppose 0 = -v + 4 - 3. Suppose -4*z - 18 = -4*y - 2, -3*z - 24 = -5*y. Solve -i + 5*f - v - 3 = 0, 5*i - z*f - 3 = 0 for i.
1
Suppose -4 + 1 = -r - h, -2*h = -2. Let y = 136 - 107. Suppose 5*v = 2*m - y - 52, 4*m - 107 = -v. Solve -5*l - m = 4*i, -r*l - 6 = 3*i - 4*i for l.
-4
Suppose 29 = 18*u - 66 - 13. Solve 7*y + 3*s - u = 8*y, -2*y + s = 12 for y.
-6
Suppose 3*y - 2*y = 3*t + 37, 0 = -t - 2*y - 3. Let q(n) = -n**3 - 13*n**2 - 24*n - 20. Let d be q(t). Solve 7*h - 3*h + p + 25 = 0, -5*h + d*p = 15 for h.
-5
Suppose -5*w + w = -16. Let c be 0 + (2 - 2) + 40/w. Suppose 40 = 5*z + c. Solve -2*a - 8 = -z*a, -5 = -3*y - 4*a for y.
-1
Let d(c) = -37*c - 187. Let m(z) = 12*z + 63. Let i(t) = -2*d(t) - 7*m(t). Let b be i(-7). Solve b*q = -4*g + 9, 0 = -2*g - 4*q + 2 - 0 for g.
3
Let q = 10902 + -10901. Solve -2*n - 3*w = -5, q = 3*n - 2*w - 0 for n.
1
Let q be 0 + -6 + 32*5/10. Let m(n) = -n**2 + 30*n - 197. Let f be m(q). Solve 5*l - 2*w = -6, -2*w = -l + 5 - f for l.
-2
Suppose -78*k + 40*k + 30*k = -32. Solve k*i = 5*s + 15, -11 = -2*i + 5*s + 4 for i.
0
Let w be -1 - -5 - (-4 - 132/(-6)). Let q be (-20)/w - (-156)/273. Solve 5*a + q*s - 12 = 0, a + 3*s = -s - 12 for a.
4
Suppose -2*p - 8*p - 936 + 1096 = 0. Solve 0 = 2*q - x + 4, -21*q - p = -19*q - 4*x for q.
0
Suppose -6*p = -19*p + 39. Suppose 2*k = -4*g - 7 + 11, p*k - g - 6 = 0. Solve -k*n - 2*n - 21 = -3*f, f = -4*n - 9 for n.
-3
Suppose -5*n - z + 51 = 0, 3*z + 510 = -2*n + 507. Solve -2*h - n = 2*h + r, 0 = h - 4*r + 3 for h.
-3
Let x be 2/2 + 2 + -301. Let d = x + 302. Solve -2 = 2*w + q + d, -16 = 4*q for w.
-1
Let i = 3196 - 3191. Let p = 4 - -7. Solve -i*g + p = -4*s + 4, 2*g - 13 = 5*s for s.
-3
Let f(m) = 13*m + 3. Let w be f(-11). Let u be (-400)/w + 2/14. Suppose r - 11 = -2. Solve -2*z + d = -d - 14, -r = 3*z + u*d for z.
2
Suppose -7*o - 89 = -201. Let d(v) = -v**3 + 9*v**2 + 9*v + 14. Let w be d(10). Suppose -y + w = -1. Solve -5*i - 25 = y*c, -1 + o = -5*c for i.
-2
Let w(c) = 2*c**2 - 6*c - 756. Let r be w(21). Solve 8*u - 3 = -3*y + 11*u, r = -3*y + u - 5 for y.
-3
Let n be (5/2)/(11 - (-777)/(-72)). Solve -8*d + n*d = -v - 6, 4 = -4*v + 4*d for v.
-2
Let f be (-171)/(-60) - (-168)/1120. Suppose 2*c - 99 = -3*m, -4*m = 2*c + c - 150. Solve -5*t + 4*d = -c + 18, -24 = -3*t + f*d for t.
4
Let t = 152 + -91. Let a = t - 59. Solve -2*c - 4*n = -4, -c + 16 = -a*c + 4*n for c.
-4
Suppose 4*u = 14 + 10. Let o = -3 + u. Let h be 3/33*-1 - (-448)/88. Solve -6*i - o*v = -i + 1, v = -h*i - 7 for i.
-2
Let p = 1446 + -1446. Solve -8 + p = -2*c - 4*l, 3 = -c + 5*l for c.
2
Let r(v) = v**2 + 13*v - 376. Let d be r(14). Solve -2*s - 305 = -t - 313, -d*s + 16 = -3*t for s.
2
Suppose 36*l - 134*l = -10*l - 176. Solve l*b = 5*b + 2*u - 13, 0 = 3*b + 3*u - 15 for b.
3
Let h be (-1038)/(-16) - (220/32 - 7). Suppose 3*l - 155 = -h. Solve 0 = -u - 5, 3*w + 4*u = 4 - l for w.
-2
Let h = -49 + 70. Suppose 26 - h = b. Solve 0*g + q - b = -2*g, g - 10 = -3*q for g.
1
Suppose -g + 50 = 9*g. Let x be (-28)/(-70) + g/((-25)/2). Solve 3*s - p - 20 = x, -5*s - 2*p + 50 = -7*p for s.
5
Suppose 5*u - 25 = -3*a, -69*a + 23 = 4*u - 66*a. Solve 4*k = -118 + 138, 3*b = -u*k + 19 for b.
3
Suppose -16*r - 24*r - 6 = -46*r. Solve 20 = 5*s + 40, -t - s = -r for t.
5
Let i be 0/((-4 - -2)*((-104)/13 + 10)). Solve 5*q + 2*j - 26 = i, 0 = 2*q + 2*q + 2*j - 20 for q.
6
Suppose 65*f = -43*f + 1944. Solve v - 4*u = -11, -4*v - 19*u = -f*u + 10 for v.
-3
Suppose -40 = -3*x - 4*r, -4*x - 4*r + 24 = -28. Solve 4*v + 2*b = -0*b + x, 2*v = 2*b + 6 for v.
3
Let k = -225 - -226. Let g be (-128)/(-16) + (-6)/k. Solve l - 6 = -2*w, -5*w + 12 = g*l - 2 for l.
2
Suppose 138 = 6*k - 954. Let g be 520/k*(-21)/(-2). Solve -w + t = -0*t, 3*t - g = -3*w for w.
5
Let g = -14 - -18. Suppose -g*m = k + 300, m - 6*m + 2*k - 375 = 0. Let y = m + 75. Solve -19 = -i - 4*j, y*i - 17 = -3*i - 2*j for i.
3
Let u(t) be the first derivative of 7*t**3/3 + 3*t**2 - 3*t - 69. Let n be u(1). Solve 4*j = 8, j - 4*j = -4*d + n for d.
4
Let j(d) = -2*d + 14. Suppose 3*b = 16 + 8. Let z be j(b). Let p be z/(-14) + 82/14. Solve m + 4*k = 2*m - p, 5*m = 2*k + 12 for m.
2
Suppose 68*u = 47*u + 42. Solve -3 = 5*p - 3*p + 3*l, 3*p + u*l = 3 for p.
3
Let y(a) = 7*a - 49. Suppose 3*x - 3*p - 19 = x, 4*x - 37 = 5*p. Let l be y(x). Solve 0*n + 2 = 4*n - 2*m, -5*n + m = -l for n.
2
Suppose -405 + 29 = -8*t. Let v be 424/(-10) - (-3)/(-5). Let n = t + v. Solve k + 13 = -3*r, 5*k - 4*r - 7 = n for k.
-1
Let d(i) = -i**3 - 26*i**2 + 66*i - 37. Let u be d(-29). Let r be (u/(-55) + 8)*(-10)/4. Solve o + 2*x = r, 4*o + 3*x = -0*x + 14 for o.
2
Let c(q) = 19*q + 1007. Let o be c(-53). Solve 4*u - a = 17, -u + a + 4 - 2 = o for u.
5
Let r = -785 + 797. Suppose 3*u - 2*g = r, 12*g - 15*g = 4*u - 16. Solve -u*i = -0*q - 4*q + 8, -6 = i - 3*q for i.
0
Let r = 10804 - 10801. Solve 2*x - 6 = 3*v, -4 = r*x - 2*v - 3 for x.
-3
Let w = -19 - -44. Suppose -260 = 22*z - 370. Solve z*o = 3*d - 5*d - w, -4*d - o - 23 = 0 for d.
-5
Let j = 149 + -179. Let a(q) = -q**2 - 33*q - 68. Let z be a(j). Solve 7 = -c - s, -3 = -c - 5*s - z for c.
-4
Let y = 153 + -153. Let r(h) = -4*h**2 + h + 5. Let n be r(y). Solve 0 = b - n*z - 13, 0 = -b + 3*z - 2*z + 5 for b.
3
Let h(z) = -8*z - 5. Let t be h(-4). Suppose 0 = 820*v - 163*v - 594 - 498 - 879. Solve y - 24 = 4*y + 3*u, t = -4*y - v*u for y.
-3
Suppose -3*g = g. Suppose g = 2*r + 5*p - 3*p - 4, -2*r + 20 = -2*p. Suppose -18 = -2*d + 2*z - r, 0 = 4*d + 4*z. Solve 0 = -d*h - 12, h + h + 20 = -3*u for u.
-4
Suppose 4*b = 5*j + 6*b - 350, 3*b = 0. Suppose 28*x - j = 21*x. Solve -c = -4*c - 5*g + x, 15 = 2*c - 5*g for c.
5
Let w be 412/16 + (-8)/(-32). Suppose -35*x + 31*x = 16, 5*v - 4*x = w. Solve -4*l - v = 5*r - 10, -9 = -l - 3*r for l.
-3
Let i = -774 - -778. Suppose 31 = 5*n - i*m, n + m + m + 5 = 0. Solve -5*f = -y - n + 26, -4*f = 3*y + 7 for y.
3
Let l(t) = -2*t**3 - 8*t**2 + 10*t - 15. Let i be l(-7). Suppose i*n = 205*n + 20. Solve h - 2*h - 3 = 0, h = -n*a + 17 for a.
4
Let p = 20187 + -20186. Solve f + 0*f - b - p = 0, 3*f + 7 = -2*b for f.
-1
Let s = 264 - 222. Let n be ((-18)/(-8))/(s/112). Solve 3*y = -2*r + 16, 2*r - 5*y + 10 + n = 0 for r.
2
Let k(g) = g. Let i(a) = -16*a + 57. Let z(t) = -i(t) - 2*k(t). Let j be z(6). Solve -4*q + 3*r = j, -q - 13 = 4*r - 6*r for q.
-3
Suppose 0 = -6*q + 12, 5*s + 8*q = 13*q. Solve -s*c = -2*g, -14 = -2*c + 4*g - 16 for c.
1
Let w be -2*2/(-34) - (-6909)/2397 - 3. Solve -4*t + a - 7 = -18, -2*a - 6 = w for t.
2
Let r = 1567 + -1544. Solve -r*b + 19*b - 5*p