 3*t for p.
1
Suppose -26*f + 736 = 34. Suppose f = k + 3*n, -2*k = 3*k + n - 65. Solve 0 + k = -4*g, 0 = 5*z - 2*g + 14 for z.
-4
Suppose 0 = 145*u - 273*u + 256. Solve -f + o = -7 + 1, -u = -f - 3*o for f.
5
Suppose 2*h = 90 + 140. Let d = h - 115. Let r be (-2 - d) + 6/(-9)*-3. Solve 0 = -3*y - w + 10, r = y + 3*w - 2*w for y.
5
Suppose 18*i = 2219 - 2201. Solve i = u + 4*k, 4*u - 2*k - 2*k + 16 = 0 for u.
-3
Suppose -5*t - 2*a = -3, 3*t + 8*a - 11*a = 6. Let h be (2/(-6))/(2/6). Let k be 1*h - t/(-2)*10. Solve -k*w = -w - 3*f + 6, 0 = -4*w + f - 14 for w.
-4
Let v(z) = -58*z + 44. Let x be v(-4). Let t = x + -257. Solve 5*g + t = -3*o, -4*g - 6 - 4 = 5*o for o.
2
Let v(w) be the third derivative of w**4/12 - 11*w**3 + 77*w**2. Let p be v(33). Solve 3*b + 2*f + 0*f = -14, 2*b + 2*f + 10 = p for b.
-4
Let m be (-1170)/(-312) - (-14)/(-8). Solve -5*t + 49 - 48 = -2*l, -m*t = 3*l + 11 for t.
-1
Suppose -27*l - 18 = -99. Let g(s) = -1 - 3 + 1 + 6*s + 2*s. Let y be g(l). Solve -4*m = 3*x + 3, x = 4*m - 2*x + y for m.
-3
Let z(s) be the first derivative of -s**4/4 + 4*s**3/3 - 2*s**2 + 6*s - 201. Let b be z(3). Solve -a + 4 = -4*i, -2 = -5*a + 5*i + b for a.
0
Suppose 13 - 34 = -21*o + 105. Solve 4*f - o = 2*c, -54 = -2*f - 4*c - 46 for f.
2
Suppose 102 = 93*q + 42 - 126. Solve -3*b + q*z - 35 = -2*z, 3*b = -2*z - 5 for b.
-5
Let m = -37513 + 37786. Solve -5*c = j - 13, 2*c = -m*j + 270*j for c.
3
Let c be (9 - (-112)/(-14))*3. Solve -3*a + 9 = -0, 0 = h - a + c for h.
0
Suppose -5*p - 873 + 8 = 0. Let k = p + 175. Solve -k*b = 4*t + 8, 2*b + 9 = 2*t + 1 for t.
0
Let x be ((-7)/3 - -2) + (-999)/(-81). Suppose -w = 0, 4*r - 5*w + x = 8*r. Solve 0 = 3*z + u - 13, 0*u + 3*u = 5*z - r for z.
3
Suppose 23*s + 1128 = 305*s. Solve -z + s*o = 18, -4*o + 12 = -o for z.
-2
Let y(l) = 2*l**2 - 21*l + 53. Let o = -286 - -293. Let d be y(o). Solve d*t - u = -2*u + 5, 5*t - 4*u = -20 for t.
0
Let r = -21 - -25. Suppose -9 = -r*j + j. Suppose j*z + z - 20 = 0. Solve -s - 13 = z*y + 7, -2*y = 4*s + 8 for s.
0
Let d be -2*(-8)/((-112)/(-35)). Suppose -d*l = 4*k - 35, 0 = 13*k - 11*k - 10. Solve 3*z + 3 = -t, -l = t + z - 3*z for t.
-3
Let s(r) = -2*r**2 - 30*r + 29. Let j(d) = d**2 + 29*d - 29. Let p(v) = -3*j(v) - 2*s(v). Let n be p(26). Solve -n = 3*w - 5*x, 4*x - x = 0 for w.
-1
Let f = 20 - -42. Let v be 4 - 1/((-2)/f). Let h = -33 + v. Solve 27 = -u - 5*m, 4*u - u = -h*m - 16 for u.
-2
Suppose 3*g - 2*a = 0, -53*a + 48*a = 3*g - 42. Solve g*v = -124*q + 122*q - 14, -q - 4 = -v for q.
-5
Suppose -3*v + 5*y + 18 = 0, 12 + 12 = 4*v - 3*y. Solve -16 = 5*d - j, -v*j = -5*d - 3*j - 18 for d.
-3
Suppose -55*n - 4 = -57*n. Suppose 4*v - 3*v - n*r = -5, -2*v = 3*r - 25. Let q be (20/8)/v*8 + -2. Solve 5*a - 20 = 0, -y + 3*y = q*a + 2 for y.
5
Let u = -119 - -124. Suppose -u*r = 14*r - 266. Solve 0*m - 3*b = -m + 17, -2*m + r = -b for m.
5
Let o be 285/19*2/5. Suppose -1 = -o*v + 23. Solve -4*s + 9*s - v*p = -3, 5*s + 2*p = 9 for s.
1
Suppose 0 = 15*u - 22*u - 77. Let o be u/(-33) + 5/(-15). Solve -3*b - 4*i + 2*i - 11 = o, -i = 5*b + 9 for b.
-1
Let g be (-6)/21 + (-37)/(-7). Let r(v) = -700*v + 7008. Let p be r(10). Solve -f = s + s + p, g*s = 3*f - 9 for f.
-2
Let l(r) = -3*r**3 + 16*r**2 - 7*r - 18. Let x be l(4). Solve -2*o - 3*j + 2 + 2 = 0, 4*o + j - x = 0 for o.
5
Let y = 195 + -175. Let v be ((-2)/(-11))/(y/220). Solve -v*m - 14 = m - n, 2*n - 13 = 3*m for m.
-5
Suppose -203*k + 1637 = -461 - 744. Solve -10 = -y - 4*y - 5*l, 3*l = 2*y - k for y.
4
Let m(w) = w**2 + 23*w + 86. Let d be m(-39). Let s = d + -710. Solve 3*p + 10 = -2*p + 2*g, s = -2*g - 10 for p.
-4
Let h(a) = -4*a**2 + 145*a + 126. Let w be h(37). Solve 8*t - 10*t - 30 = 5*m, -t + w = -5*m for t.
-5
Suppose 0 = -2*p - 5*g + 18, -24*g = 3*p - 21*g - 18. Let n(q) = q + 16. Let a be n(-16). Solve 4*l - 4 + 3 = -y, p*y - l - 4 = a for y.
1
Suppose -881*p - 96 = -929*p. Solve o - 4*j = -13, p*o = -2*j + j + 10 for o.
3
Let d be -1 - 1 - (-276 + 271). Solve d*x - 4 = -2*j, 3*x - 22 = -3*j - 16 for j.
2
Let x(t) = -48*t - 2. Let g be x(-2). Let v = 97 - g. Solve v*n = -0*n - 2*h - 2, 0 = 5*n + 2*h + 10 for n.
-4
Let k = 55 + -52. Let j = -49 + -31. Let m = -66 - j. Solve s = -5*x + 6, -2*x - k*x = -s - m for x.
2
Let v(h) = 7026 - 2*h + 2*h**2 - 6988 - 10*h. Let p be ((-24)/20)/((-2)/10). Let x be v(p). Solve 5*z - 5*y = -x - 7, 2*z + 6 = -y for z.
-5
Suppose 6*i - 13*i + 462 = 0. Suppose -21*c + i - 3 = 0. Solve -3*p = 3*v - 2*v - 3, -3*p - 3*v = c for p.
2
Let a = 144 - 136. Suppose -4*f + a = -8. Solve -b + 10 = -f*w - 2, w + 16 = -3*b for w.
-4
Suppose 4*d - 8 = -4. Let x be (-6)/15*-10*d. Suppose 7*s = -x*s + 13*s. Solve 0*z + 13 = -4*z - 5*w, -5*z + 4*w + 35 = s for z.
3
Let z be 8*1*(-1550)/(-372)*3/20. Solve -z*a = -3*p - 16, 3*a + 5*p = 8*p + 12 for a.
2
Let y = -256 - -267. Suppose 5*o = -4*v + 59, -46 = -3*o + 3*v + y. Solve 0 = 4*x - 5*l + 22 + o, -2*x = -l + 11 for x.
-3
Let k(a) = -5*a**2 - 88*a + 38. Let z be -9 + -1 + 5 + 6 + -19. Let q be k(z). Solve -2*l - 5 = q*v + v, 0 = -l + 4*v + 25 for l.
5
Let z be (2/3)/((-2)/(-9)). Suppose -10*w + 873 + 617 = 0. Suppose 52*f - w = 59. Solve 2*o - 4 = -2*i, o - f = -3*i - z*o for i.
4
Let o(l) = 2*l. Let w be o(1). Let r be (-2 + (-2)/(-3))*12/(-8). Suppose -5*d = v - 20, d - 14 = -r*d - v. Solve -d*p = -w*j - 1, -3*j + j - 3 = -p for p.
-1
Suppose -1 + 4 = m. Solve 0 = -2*d + 4*d, -m*a + 15 = -2*d for a.
5
Let h be ((-108)/(-15))/(-2*2/20). Let p = h - -40. Suppose -g + 2 = -0. Solve 9 = 3*l + p*v, -4*l - v + 5 = g*v for l.
-1
Let t(k) = -2*k - 1. Let q(o) = 6*o - 123. Let d(s) = q(s) + t(s). Let g be d(32). Solve 0*v - 2*v - 4*n = 10, g*n + 15 = -3*v for v.
-5
Let f = 6480 + -6459. Solve -3*b = -4*d - 7, -5*b + f = 7*d - 9*d for b.
5
Let h(v) be the first derivative of -4*v**2 - 44*v + 89. Let k be h(-6). Solve -2*g = 5*u - 8, -4*g - 6 = -k*u + 6 for g.
-1
Let x be 46/253 - ((-106)/(-11))/(-2). Suppose -x*i - 76 = -4*b, 5*b - 3*i - 2*i = 95. Solve w - b + 3 = 5*g, -3*w - 3 = 2*g for w.
1
Suppose 457 + 404 = 3*t. Suppose -293 + t = -3*q. Solve -2*w - w + 3*i = -3, q*w + 2 = 3*i for w.
5
Let d be 175/7 - (57 - 35). Solve d*z = 5*s + 10, 12 = 2*z - 5*s + 7 for z.
5
Let b be (20/6 - (-12 - 1704/(-144)))*2. Solve k + 7 = 3*w - b, 5*k - 25 = -4*w for k.
1
Let c(v) = 2*v - 18. Let q be c(0). Let b = q + 21. Let k = -5 + 7. Solve f - k*w + 11 = w, -3*f - 9 = -b*w for f.
1
Suppose -3*a + 15 = 2*a. Let z = 45 + -49. Let s = -1 - z. Solve l + 8 = s*o, -2*o - l = a*l - 10 for o.
3
Let l(p) be the second derivative of -p**3/6 - 9*p**2 + 120*p. Let c be l(-25). Solve i = -2*o - 0 + c, -2*o = 4*i - 10 for o.
3
Let v(x) = 3*x - 6. Let o be v(2). Suppose o = -2*p - 2*p. Let c(i) = 2*i + 7. Let j be c(2). Solve p = 4*t + 4*a + 12, 0 = t - a + 4*a + j for t.
1
Let u be ((0 - 2) + -1)*-45. Suppose -13*v + 8*v = -u. Suppose 0 = -5*q + 3*c + v, 10*c - 5*c + 26 = 2*q. Solve 4*t + 8 = -z, 0 = -2*t - 8*z + q*z - 4 for t.
-2
Let n be (-406)/(-140) + (-2)/(-20). Let g be 0/((-2 + 5/10)*2). Suppose g = 27*t - 16*t - 33. Solve t*m - 23 = -2*k, n*m = -k + 6 + 13 for m.
5
Let c(k) = -695*k - 14595. Let o be c(-21). Solve o = -2*d - 3*n + 2, 2*d + 7*n - 2*n + 2 = 0 for d.
4
Suppose -45*m + 467 = -28. Solve -5*b + l - 26 = 3*l, 2*b + m = -l for b.
-4
Let u be -5 - (1 + 4 + (-56)/4). Let c(o) = 7*o - 25. Let z be c(u). Solve -16 = -4*y - 4*t, -4*y = -2*y - z*t - 13 for y.
5
Let k = -278 + 283. Suppose 0 = k*y - 7*y + 60. Solve -y = 3*t + 3*f, -4*f - 10 - 20 = 2*t for t.
-5
Let m be (3/(-9))/((-2)/12). Suppose -t + 47 = 7*f - 12*f, 0 = -3*f + 2*t - 24. Let a be (-12)/f*5 - 3. Solve 2*c = -m*v - 2, -4*v - c - a - 1 = 0 for v.
-1
Suppose 0 = -3*b - 5*l - 117, 2*b + 17 = 4*l - 83. Let t = b - -44. Suppose 0*c + 5*c = t. Solve 0 = -2*d + 10, 3*d + c = 4*j - 1 for j.
4
Let x be -5 + 11 - 6/3. Suppose x*u + g - 4 = 0, 0 = -3*u - 10*g + 9*g + 4. Solve u = -4*a + 4*f, 16 = -3*f + 4 for a.
-4
Suppose 3*n - 4*a = -10, n = 4*n - 2*a + 2. Suppose n*c - 5*l + 11 = c, -c + 4*l - 8 = 0. Solve c*v - 4*k = k - 10, 2*v = -4*k + 8 for v.
0
Suppose 4*o = -2*j + 50, 4*j - 3*j - 38 = -3*o. Suppose -9*d = -o*d. Suppose l + d*l = 4. Solve 0 = -3*w + 3*z - 6*z + 12, l*w + z - 1 = 0 for w.
-1
Let 