t.
-3
Let w = 513 - 508. Suppose -9 = -3*n - 4*t + 5*t, -15 = w*t. Solve 5*h - 5*b - 35 = 0, 0 = -4*h - n*b + 10 for h.
4
Suppose 0 = -2*p + u - 5*u + 28, -15 = -3*u. Suppose -3*c = -c - p. Let b = -6699 + 6717. Solve 4*v - i + 4 = 0, -5*v + 0*i - c*i = b for v.
-2
Let q be 342/(-27)*-2 - ((-32)/12 - -3). Solve -5*x = -5*c + 10*c + q, 0 = -x + 2*c - 5 for x.
-5
Let g(m) = -2311*m + 9406. Let s be g(4). Solve -5*q + 1 = -158*j + s*j, 3*j = 4*q - 7 for j.
-1
Let v = -11 + 32. Let x be -2 + 36/v + (-990)/(-35). Suppose x*s - 31*s = -18. Solve 2*i = -2*i - 5*b - 7, -2*b = s for i.
2
Let r be (9/6)/(2/(3 - -25)). Let c be (-361)/(-57)*(r + 0). Suppose 135 = w + c. Solve -4*t + 3*b = -3, 0*t = -w*t + 4*b + 4 for t.
0
Let u(w) = -w**3 - w. Let y = 74 - 74. Let r be u(y). Suppose -4*k + r*k - 5*d = 0, 5*k = -3*d + 13. Solve -k*s + 2*z = -2*z - 21, -s - 15 = 4*z for s.
1
Suppose 4872*b = 4862*b. Solve 3*s - v - 2*v + 9 = b, -20 = -5*v for s.
1
Suppose 167 + 158 = 55*w + 50. Solve -5*t + 5*c + 21 = c, -c + 1 = w*t for t.
1
Let s be (9 + -11)*((-36)/(-8))/(-1). Let r be (-12)/(-16)*24/s. Solve 3*x + r*i = 3, 2*x = 3*x - 3*i + 10 for x.
-1
Let f(d) be the first derivative of d**3/3 - 19*d**2/2 - 15*d - 25. Let n be f(20). Let u = 106 - 82. Solve 5*q + 4*c = u, c = -n*q - 1 + 22 for q.
4
Suppose -747 = -2*j - 631. Suppose -j*k = -63*k + 35. Suppose 0*c = c - 2. Solve -p - c*p - 8 = 2*n, n + k = -3*p for n.
-1
Let n(g) = -2*g**3 - 4*g**2 - 10*g + 17. Let t be n(0). Solve -u - 10 = 4*p, -t = 5*u - 7 for p.
-2
Let l = 354 - 347. Solve -10*n + 28 = -l*n + 4*r, 16 = 4*r for n.
4
Suppose 9 = -2227*z + 2230*z. Solve 5 = -3*h - 4*q - 3, q = -2*h + z for h.
4
Let b(l) = -96*l + 1730. Let j be b(18). Solve -3*h = 2*x + 2, -j*x + 1 - 3 = -5*h for h.
0
Suppose 5 - 1 = 2*w. Let p be -6*(-6)/(-45) + (-784)/(-5). Let k = p + -153. Solve -2*l - 11 = k*a, 2*a - w*l = -l - 5 for a.
-3
Suppose 3*q - 3*d = -2*d + 37, 5*d - 53 = -2*q. Let s be -3 + 0 + q/2. Suppose 0 = 171*t + 93 - 435. Solve 0 = -s*j + 3*y + 1, -t*j - 1 = -y for j.
-2
Let k = -123 + 152. Suppose 2*w - 61 = 7. Let o = w - k. Solve 15 = -5*c, -3*c = -a + o + 2 for a.
-2
Let z = -4978 - -5035. Solve -3*y = 5*r - 4, -r + 59 = y + z for y.
3
Suppose 37 - 307 - 50 = -64*r. Let n(v) = 3*v**2 + 7*v + 4. Let b be n(-4). Solve 33 = r*t + 2*f, 0 = 5*t + 5*f - b - 21 for t.
5
Let q = 25286 - 25278. Let c(s) = s**3 + 4*s**2 + s - 4. Let w be c(-3). Solve 3*v - 4*y = 6*v + 15, 2*y = -w*v - q for v.
-1
Suppose -1 = 5*j + 2*v + 3, j + v + 5 = 0. Solve -f - 2*y - j = 0, 0 = 5*f - y + 10 - 0 for f.
-2
Suppose -82*g - 828 = -79*g. Let t = 280 + g. Solve -f = 3*v - 16, -4*f - t*v + 15 = -17 for f.
4
Let g(w) = 5*w**2 + 42*w + 7. Let u be g(-8). Let y be -9*28/1134 - 20/u. Solve y*k + 37 = -4*i + 7*k, 0 = -5*i - 4*k + 5 for i.
-3
Suppose -21*d - 1869 = -42*d. Let p = d + -85. Solve -p*f + s - 18 = -s, s + 19 = -5*f for f.
-4
Let n(a) = -a**3 + 19*a**2 - 35*a + 37. Let o be n(17). Solve 25*c - o*c - 5*z - 45 = 0, 4*z + 11 = -c for c.
5
Let x = 11 + -7. Let b(c) = 931*c - 2781. Let o be b(3). Solve -18 = -2*q - 5*v, x*q + 2*v - o = 4*v for q.
4
Let z be (15 + 1 + (2 - 25))*4/(-1). Let f = 4 - 0. Solve -2*p + z = 5*b + p, f*p = 4*b - 16 for b.
5
Let d = -86 + 93. Suppose -d*b + 15 = 1. Solve 4 = -2*p, b = -r + 5*r - 5*p for r.
-2
Suppose -494 = -109*j + 619 + 195. Solve -m + x + 5 = 0, -j*x - 38 = -3*m - 5 for m.
3
Let j be ((-2)/(-8)*(-12)/(-11))/(224/2464). Let c = 15 - 10. Suppose -n - 1 = -c*l, 0 = -3*l + l - 4*n - 4. Solve 2*u - 5*b + j + 1 = 0, l = 2*b for u.
-2
Let m(z) = -26*z - 156. Let y be m(-6). Solve -3*d + 2*a + 20 - 16 = y, -4*a = -d + 18 for d.
-2
Suppose 58*s - 22 = 36. Solve -8*k = -6*k + t + 1, -k + s = t for k.
-2
Suppose -67*c - 12*c + 535 = 28*c. Solve 3*q + c*v = 5, -13 = -4*q - 3*v + 1 for q.
5
Let n be ((-2754)/45 + 52)*(0 - 1)*5. Solve 0 = -2*x + 3*p - 26, 10*x = 6*x + 5*p - n for x.
-4
Suppose 128 + 736 = 288*g. Solve 3*t - g = 3*f, 4*t - 2*f - 24 = -3*f for t.
5
Suppose -18*a + 259 = 223. Solve a*w = -2*s - 4 - 0, -5*w - s = 2 for w.
0
Let c be 35/21 + (2 - 15/9). Suppose -p = 3*r + 9, 9*p - c*r - 17 = 6*p. Solve -8 = -p*h - 4*a - a, a + 3 = 4*h for h.
1
Suppose 4536 = 169*c - 500 + 473. Solve 3*k + 4*d + c = 0, 12*k + d = 7*k - 28 for k.
-5
Suppose -7*p + 12*p - 30 = 0, -2*x - 26 = -5*p. Solve j + 7 = x*a, -2*j - 14*a = -9*a - 22 for j.
1
Suppose -437*r + 441*r - 80 = 0. Suppose -n - 5*j - 25 = 2*n, 3*n + 4*j + r = 0. Solve 5*q + 2*t = 7, n = 4*q - 2*t + 3*t - 5 for q.
1
Let f(h) = -h**2 + 27*h - 19. Let r be f(26). Let v = r - 11. Let m be 1/4*-4*v/2. Solve -5*t + m*n - 3*n + 11 = 0, t = n + 1 for t.
2
Let o = -148 + 146. Let r be 440/231 + o/(-21). Solve 3*y - r = -0*y + 2*w, 0 = -5*y + 4*w + 6 for y.
-2
Suppose 4*t = -9*l + 4*l - 505, -3*t = 4*l + 404. Let j = -101 - l. Solve 0 = -s + 2*k - 6, j*s - 3 = s + k for s.
-4
Let t(r) = 118*r - 2814. Let v be t(24). Solve v = -u - 2*g + 20, 4*u - 2*g + 2 = 0 for u.
0
Suppose 12 = -2*u - 4*l, 4*u + 4*l = 3 - 31. Let p = -25 - u. Let y be ((-1)/(-5))/(p/(-255)). Solve -r - y = x, 0 = x + 2*r - 3 + 6 for x.
-3
Suppose 101 = 5*o + d, 18 + 6 = o + 4*d. Let w = 2973 - 2973. Solve 5*q = -5*f - 50, -f + 5*q = -w*f - o for f.
-5
Let z(f) = f**2 + 8*f - 3. Let d be z(-10). Let w = d - 22. Let q be ((-10)/(-6))/(w/(-6)). Solve -t = -6*t + q*y - 3, -5*t - 7 = 2*y for t.
-1
Let p be (-1)/((-2)/10 + (-4)/(-22)). Suppose j = x - 27, 3*x - 95 = -59*j + p*j. Solve -2*o = 5*r + x, -3*r - 10 = -5*o + r for o.
-2
Suppose 6*z + 3 - 3 = 0. Suppose z = -5*q + 52 + 3. Solve -h - 3 = -2*x - 2, 3*x = -h - q for h.
-5
Let x = 630 + -670. Let n = 43 + x. Solve -4*y = 2*t - 10, t = n*y + 2*t - 7 for y.
2
Let d be (3 + -7 + 3)*10. Let u = 41 - 29. Let r = d + u. Solve -k + 1 = p + r, 0 = 3*k + 4*p + 4 for k.
0
Let r(w) = -3*w**2 - w - 11. Let f be r(-6). Let y = 170 + f. Let j = 80 - y. Solve -j = -5*c + k - 0, -c + 7 = k for c.
5
Let n(c) = c**2 - 102. Let f(b) = b**2 - b - 101. Let p(d) = -4*f(d) + 3*n(d). Let q be p(-8). Solve 0 = q*o - 5*h - 4, 5*o - 2*o = -h - 11 for o.
-3
Suppose -3*n - 4 = -4*c, -3*c = -0*c + 5*n + 26. Let t = 3 + c. Let k be (t/4)/((-7)/(-56)). Solve -4*v + 2*v + 4 = j, v - k*j = -3 for v.
1
Let k(s) be the third derivative of s**5/15 - s**4/24 - s**3/3 - 4*s**2 + 3*s. Let i be k(-1). Solve -i*t + 3*c = 21, 6*t - 2*c + 20 = t for t.
-2
Let o = -1927 + 1954. Solve 3*m - o*h - 14 = -28*h, 0 = 3*m - 2*h - 17 for m.
5
Suppose -22*b + 27*b = 15. Suppose 5 = b*u + 5*n - 5, 4*u = -5*n + 10. Solve a - r + 3 = -u*r, -4*a + 33 = 5*r for a.
2
Let t be (-8)/32 + 53/4. Suppose 61*i + 420 = 56*i. Let x = -80 - i. Solve -2*s - x*h + 7*h = -t, 7 = 2*s - h for s.
2
Let h = -61 - -65. Suppose 0 = m - 5, 5*d + 7*m - h*m = 30. Suppose -w = -d*w. Solve 4*p - 5*g + 25 = w, -2*p + 3*g = 6*g - 15 for p.
0
Let p(s) = s + 1. Let i be p(1). Suppose 2*j + i*j - 14 = -2*d, 5*j + 80 = 4*d. Suppose d*k + 8 = 17*k. Solve -x = -1, k*x + 1 = 3*z - 1 for z.
2
Let g = 7051 - 7045. Solve 4*r + g*m - 4*m = -4, -4*r - 24 = -3*m for r.
-3
Suppose -3*l = 2*i, l - 6*i - 66 = -46. Solve l*n - 87 = 4*k - 101, -4*k + 4*n + 8 = 0 for k.
5
Suppose -5*g + 2*i + 1 = -2*g, 32 = 4*g + 5*i. Let k be (5/g)/(8/24). Suppose 0 = -4*t + 14 + 2. Solve t - 24 = -4*n - 2*a, -k*a = -20 for n.
3
Let x(l) = -l + 21. Suppose 133 = 5*g + 38. Let s be x(g). Suppose s = -9*c + 10*c. Solve c*k + 0*w - w = 12, -5*k + w + 24 = 0 for k.
4
Suppose -2*u + 5*h = -47, 4*h - 5*h - 3 = 0. Let d = 25 - u. Solve r = 5*k - 19 + 2, -3*r = -d for k.
4
Suppose -1 + 5 = k. Suppose 21*q - 19*q - k*y - 4 = 0, q - 2 = 5*y. Solve -2*z = -2*h, 5*h + 10 + q = z for z.
-3
Let x(r) = 4*r + 10. Let l be x(6). Suppose 0 = 5*h - 10, 3*w - 2*h = -h + 16. Suppose -4*t + w = -l. Solve f - t = -4*o, -o - 4*f = 3*o - 4 for o.
3
Suppose 3 = 3*p + 18, -21 = -4*a + p. Suppose -w = -9*s + 7*s, -a*w = -s. Solve w = 3*z + g, z + 4*g - 10 = -z for z.
-1
Suppose 2*f - 222 = -3*l + l, f = 5*l + 117. Let t = f + -109. Solve -3*m - t*x = 27, -14 + 2 = -2*m + 4*x for m.
-4
Suppose -3*m = -s - 13, 4*m = -2*s + 5 - 1. Suppose 12*v + 190 = 107*v. Solve 5*q = p - 28, v*q - 29 = 6*q - m*p for q.
-5
Let c(s) = 2*s - 2. Let q be c(3). Let f be (-16)/6*4/8*-3. Suppose 58*u - 