 = 34*x - 4*b. Solve 0 = -i*p + 4*c + 6, c + x = p - 2*c for p.
-2
Suppose -4950 = -30*f - 25*f. Let s be (2/6 - 1)/((-15)/f). Solve p - s*p + 12 = -4*z, -2*p + 8 = 5*z for p.
4
Let b(z) = z**2 + 6*z. Let y be b(-6). Suppose -4*l + 0*l + 8 = y. Let f = 711 - 710. Solve -l*d = -3*k - f, -2*k - 3*d - 13 - 5 = 0 for k.
-3
Suppose 4*d - 1009 = 143. Let l be (-6)/15 + d/20. Suppose -l = -2*h - 6. Solve 0*k + k + 4*p = 9, 2*k + h*p = 6 for k.
-3
Suppose 42 = 31*n - 32 - 50. Solve -3*k = 4*d - 14, -n*k + 18 = 13*d - 8*d for k.
2
Suppose -2*k + 0*k - 3*r + 8 = 0, 5*r = k - 4. Suppose l - k*l + 6 = 0. Suppose 3*w - 8 = -2. Solve 5*g = -l*n + w + 16, 0 = -3*n - 3*g + 9 for n.
-1
Let r be (-6)/21 + (-357)/(-49). Let t = 0 + -5. Let p = r + t. Solve 2*m + 15 = -m + p*n, 3*m - 5*n = -24 for m.
-3
Let o be (-10 - -7) + 7 + (-2 - -3). Suppose 5*d = 3*d + 8. Solve 0 = -5*y + t + d*t - o, y + 9 = 3*t for y.
3
Let t be 6/(-12) - 3*(-2)/4. Let c be (-1 - (-14)/4)*12/15. Solve -5*n = -0*f + 2*f + 12, -3*f + t = -c*n for f.
-1
Let o = 451 - 441. Let j(b) = b**3 - b + 2. Let r be j(2). Suppose -o*v = -r*v - 8. Solve -4 = 3*s - 2*s + 2*d, -v*d - 36 = -5*s for s.
4
Suppose -905*t = -937*t + 608. Solve 3*b = -m - t, 13*m - 3*b = 18*m + 35 for m.
-4
Let v(g) = 12*g - 10254 - 10*g**2 + 10264 - 40*g. Let q be v(-3). Solve 4*x - 6 = 2*j, 0*x - q*j - 18 = -2*x for x.
-1
Let o(g) = -g**2 + 9*g + 58. Let m be o(-6). Let j = m - -35. Suppose -4*l + 40 = -0*l. Solve f = 5*w + l, 8*w - j*w - 4*f = -25 for w.
-1
Suppose -3*w - 5*j = -24, 68*w + 2*j = 72*w - 6. Suppose -2*a + 5 = -a. Solve t + 8 = -2*f, 8 - 34 = w*f + a*t for f.
-2
Let d = 463 - 458. Suppose 10 = -d*h, 5*h + 10 = 42*l - 38*l. Solve 3*a = -l*p - 2*p, a = p - 5 for p.
3
Let k(t) = -t**3 + 27*t**2 + 28*t + 10. Let n be k(28). Suppose 33*s = 28*s + n. Solve 4*b = -u - s*u + 20, 0 = -2*b - 3*u + 16 for b.
2
Let i = 59 - 57. Suppose 0 = -4*a + 2*n + i, -5*n + 2 = 2*a - 5*a. Suppose -k = 3*v + a - 13, k = v + 12. Solve -k = -3*w + m, 0*m - 12 = -3*w - m for w.
4
Suppose 35*a = 37*a - 2*s + 8, -3*a - 2*s + 8 = 0. Solve -3*x + 8 = -2*g, -4*x + a*x - 3*g = -5 for x.
2
Let h be 15/((-17)/(-10) + (-1)/5). Let c be (3 + (-42)/h)/((-3)/30). Suppose 4*z - c = 3*z. Solve u - 5*w = -16, 3*u - 5*w + z - 4 = 0 for u.
4
Suppose -3*b = 5*f - 16, 36 = -3*f + 4*b + 63. Solve -4*c + 2*c - 6 = 2*k, 4*c = f*k + 33 for c.
2
Suppose -5*m + 4*m = -3*l - 13, 5*l = 2*m - 23. Suppose m*k + 16 - 24 = 0. Solve -25 = 2*a - 5*c - 1, k*c = -2*a + 4 for a.
-2
Let c(f) be the first derivative of f**4/4 + 13*f**3/3 - f**2 - 24*f - 27. Suppose -32 = 4*z + 20. Let r be c(z). Solve u - 5*b = -3, 4*u + b + 6 = r*u for u.
-3
Let r(y) = y**3 - 6*y**2 - y + 6. Let v be r(6). Let k(i) = i**3 + i**2 + i + 40. Let p be k(v). Solve u = -b - 2 - 7, 5*u + p = -4*b for u.
-4
Suppose -4*u + 7*u = -2*f + 17, u - 3*f + 9 = 0. Suppose -u*t - 2*c + 17 = 0, -1 = -t - c + 6. Solve -3*j + 2*v - 4*v = 3, t = -v for j.
1
Suppose -u - 11*z - 9 = -43, -4*u - 4*z + 56 = 0. Solve -5*n + 5 = -5*c, u*n = 16*n + 8 for c.
-3
Let q be -6 - ((-2 - -8) + -4). Let y be 178/9 + q/(-36). Solve 0*t - 2*t - 20 = 5*b, -5*b + 4*t - y = 0 for b.
-4
Let q(z) = -145*z**2 + 1012*z + 23. Let f be q(7). Solve -9*r = f*w - 8*r + 12, -4*w - r = 22 for w.
-5
Let m = 469 - 464. Suppose -10*l - m = -65. Solve 0 = 3*r + 4*t + l, 4*t + 3 = 3*r - 15 for r.
2
Let h = -72 + 77. Suppose -h*p + 9*p - 8 = 0. Suppose 7 - 15 = -2*v. Solve -2*t + f - v = 0, 4*t - p*f + 8 = -f for t.
-2
Suppose -2*n - x = 0, 7 - 17 = n + 3*x. Solve n*u - 13 = -h - 0, 5*h + 4*u - 41 = 0 for h.
5
Suppose y + 23 = 5*o, y = 4*o - 8 - 12. Let w be 123/(-2) + y/16. Let h = w + 73. Solve 0*a + 2*a = 4*d, -5*d = 3*a - h for d.
1
Let r = -479 - -1150. Let b = 690 - r. Solve -u = -2*d + 13, -3*u + d - b = -0*u for u.
-5
Suppose -5*u + 14 + 6 = 0. Suppose u*s + 4*s = 24. Suppose 4*v = 2*w + 26, 4*v - s*w - 24 = v. Solve 0 = -3*m - v*f - 9 + 1, -5*m + f = -24 for m.
4
Let p be -8*((-385)/(-2))/(-7). Suppose 0 = -67*k + 12*k + p. Solve 2*g = k*w + 14, 0*g - 2*g - 6 = 0 for w.
-5
Let u = -3626 + 3628. Solve -5*b + 43 = u*y + 37, -y - 4*b + 3 = 0 for y.
3
Let u be (2 - (-7)/(-2)) + -3*33/(-18). Solve -3*f = u*h + 12, f + 9 = -5*h + 2*h for f.
0
Suppose b + 44*r - 2 = 45*r, 0 = -5*b - 4*r + 28. Suppose -15*k + b + 41 = 0. Solve -k = -3*g + 2*a, -4*g = g - 2*a - 1 for g.
-1
Let j = 3416 + -3413. Solve 3*x = j*u + 6, -2*x - x + u + 10 = 0 for x.
4
Let u(c) = 2*c**2 + 138*c - 1064. Let o be u(-76). Solve 0 = -100*r + 97*r + 2*f - 11, r + 4*f + 13 = o for r.
-5
Let w(y) = -y**2 + 12*y - 1. Let b be w(8). Let p(t) = 57*t + 3310. Let a be p(-58). Solve j - 3*m + 7 = -2*m, 0 = -5*j + a*m - b for j.
-3
Let y be 2 - -3 - (-7 + 0 + 6). Solve 0 = 2*k + y, 2*d - 10 = 3*d + 3*k for d.
-1
Let y be (11/((-22)/(-4)))/((-1)/(-2)). Solve 4 = -y*b + 5*c - 8, 2*b + 8 = 3*c for b.
2
Suppose 4*a = 3*a + 36. Let y = 994 + -958. Let v = y - a. Solve g = 3*n + 8, -5*g = -v*n - 3*n - 4 for n.
-3
Suppose 0 = -0*s + 14*s + 5*s. Suppose -3*m - 4*l = -34, 2*m + s*m - l - 19 = 0. Solve -i = 3*h - 19, 0 = 5*h + i - 19 - m for h.
5
Let m(f) = -2*f**3 + 79*f**2 + 41*f - 34. Let g be m(40). Suppose x = 4, -2*s - 2*x = -8 - g. Solve 0 = -5*p - 2*y - 19, 9 = -4*p - s*y - 2 for p.
-5
Let s(n) = -n**2 - 14*n - 13. Let h be s(-12). Suppose -3*t - 8*x + 6*x + 7 = 0, -3*t + 2*x = -h. Solve c + 0*c - t = -4*l, 0 = 2*c + 4*l - 2 for c.
-1
Let w(p) = -10*p - 12. Let c(l) = -6*l + 136. Let m be c(23). Let a be w(m). Let d(n) = n - 5. Let o be d(7). Solve -f = -o*f - 2*y - 13, 2*y + a = 0 for f.
-5
Suppose -542*i = -507*i - 350. Solve q + 0*y + 3*y - i = 0, -2*y = 5*q + 2 for q.
-2
Let y be (-12095)/(-533) + 40/130. Solve h + 3*n = -2, n + 17 = -2*h + y for h.
4
Suppose 0 = 9*o - 2*o - 154. Suppose 19*j - o*j = -6. Suppose -5*s + j*a = -s - 2, -a = -4*s + 1. Solve -3*l = -4*r + 10, 4*r + s*l = -3*l + 22 for r.
4
Let i = -5458 - -5461. Suppose -w + 0 + 5 = 0. Solve -w*h + 5 = -2*k - i*k, -h = -5*k - 13 for k.
-3
Let i(u) = -15*u**3 + u**2 - 83*u - 84. Let t be i(-1). Solve r + 1 = q, 2*q = -3*r - q - t for r.
-3
Suppose 4*m = -119*j + 116*j + 17, -5*m = -j - 7. Let d = -77 - -81. Solve -j*q - i + 2 = -d, 2*i - 8 = -2*q for q.
1
Let w(b) = -b**3 - 29*b**2 - 34*b - 134. Let d be w(-28). Solve i - 4*l + 25 = 0, d*i - 22 = 29*i - l for i.
3
Let s = 0 - -2. Suppose 5*g - 205 = s*q + 145, -2*g + q + 141 = 0. Let y = 77 - g. Solve -2*v + y = -a, -2*v + 3*v = 3*a + 12 for a.
-3
Let l = 13005 + -12969. Solve -5*b + 33 = -39*y + l*y, -4*b + 6 = y for b.
3
Let y(q) = -78*q**2 + 9*q + 24. Let w be y(-2). Let m = w - -309. Solve 14 = -5*f - m*z, 3*z - 16 = 4*f + 6 for f.
-4
Let l be (-462)/(-385)*80/12. Solve 3*c - 3*y = 21, l*y = 2*c + 5*y - 16 for c.
5
Let x be (-16 + -1 + -1)*(-5 + 531/118). Solve -h - 4*d = -x, -4*d = -9*h + 7*h + 6 for h.
5
Let y be 2/(-6) - (-3)/(45/590). Let v be 6/((5 - y/6)/(-1)). Solve -30 = 2*a + 5*z, -3*z = -v*a - a - 13 for a.
-5
Let n be 4/8 + 6/4. Suppose 4 - 6 = -d + f, 2 = n*f. Let h(c) = -c**2 + 2*c + 4. Let m be h(d). Solve 4*w = -4*y + 3*w - 19, 2*y - 3*w - m = 0 for y.
-4
Let o = -1794 - -1798. Solve -3*q = -5*a - 8, -o = q - 2*a - 8 for q.
-4
Let b be (-2 + -1)*(-18 + 15). Let r be 222/54 + (-1)/9. Solve -v - v = 5*n + 27, -r*v - b = n for n.
-5
Suppose -2*s + 120 = 58*s. Solve 4*k - s*j = -8, k - 2*j + 69 - 61 = 0 for k.
0
Let l be 25 + 37 + 6/4*-2. Solve -3*n + w + 11 = 0, l*n = 57*n + 4*w + 4 for n.
4
Let x = 187 - 189. Let r be x*((-5)/2 + 3)*-2. Solve -8 = -4*j, r = -3*y - 2*j + 3*j for y.
0
Let t = 2101 + -2094. Solve -s = -2*o + t, -5*o + 14 = -0*s + s for s.
-1
Let s be (-1 - 1)/(54/(-81)). Let f be ((-2)/5)/((88/40)/(-11)). Solve f*m = s*n - 16, -1 = 2*n - 5 for m.
-5
Suppose 8*b = 9*b + 2*m + 22, -4*m + 112 = -4*b. Let p = -26 - b. Solve -l = l + 3*i + 6, p = -3*i for l.
-3
Let f be -1 + 51/34*(-28)/(-6). Suppose 0 = -13*l + 9*l - 20, 2*l = -3*o - 4. Solve 0 = -5*v - 3*i - 15, f = -5*v - o*i - 9 for v.
-3
Let b(h) = 48*h - 2832. Let w be b(59). Solve 6 = -5*y + 1, w = 3*f + 5*y - 10 for f.
5
Suppose 20 = 11*q - 7*q. Let m be 5/25 + q - 2/10. Solve 0 = -3*t, -4*t = -m*c - 0*c + 25 for c.
5
Suppose 0 = 54*f + 223 - 385. Solve -c = 0, 0*c = 5*w + f*c - 25 fo