 r, 8 = b - 5*w + 8*w for b.
2
Suppose 18 = -3*h, 28*h - 25*h = c - 21. Solve -6*u + 7*u - 6 = -2*g, c*g + 5*u - 16 = 0 for g.
2
Let o be (-6*1)/3 + -9. Let w = o - -16. Suppose -4*c = -2*m - 6, -3*c - 69 = 3*m - 60. Solve -5*l - w = c, -4*z - 2*l = 20 - 2 for z.
-4
Let m(t) be the first derivative of -5*t**2 - 54*t + 20. Let k be m(-6). Solve 4*f + 3*a = k, 0*a + 4*a = -3*f + 8 for f.
0
Let n be (-1)/(3/(-102)*1). Suppose 0 = -j + n - 32. Solve 5 = -l - 4*g, -j*g + 1 = -3*l - 0*g for l.
-1
Let g = -9 + 27. Let p be (402 - 16)*(4 + -3). Let f = p - 383. Solve -4*z + g = -z - f*u, 2*z + 3*u = -8 for z.
2
Let p be 18*(-21)/(819/(-52)). Solve -23*v + p*v - 2*a + 7 = 0, 5*v = 5*a - 15 for v.
1
Suppose -2*h + 178 = -k - 3*k, -k - 5*h - 61 = 0. Let x = k + 38. Let m = -7 - x. Solve w + 3*z = m, -z + 17 = -3*w - 0*z for w.
-5
Let c be 2/1 - 189/(-42)*12/18. Solve h = -4*y, 19*y + c*h = 18*y for y.
0
Suppose 2*k = 7*k - 4*m + 76, 5*m = 4*k + 59. Let o(s) = -s**3 - 16*s**2 + 2*s + 35. Let r be o(k). Solve n - 3 = 5*n - r*c, 3*n + 15 = -2*c for n.
-3
Let o = -30351 + 30353. Let u(h) = -h - 2. Let l be u(-5). Let j be (l/9)/((-2)/(-18)). Solve 5*k - j = y, -y + o*k + 1 = k for y.
2
Let o(i) = -17*i**2 - 14*i + 7. Let k be o(2). Let y = k - -93. Solve 0 = w - 5, y*v - 4*w + 12 = -0 for v.
2
Let w(p) be the third derivative of 0 + 8*p**2 + 14/3*p**3 - 1/12*p**4 + 0*p. Let q be w(12). Solve q*i - 3*c + 7*c = 0, 6 = 5*i + 2*c for i.
2
Let k(h) = h**2 + 9*h - 10. Let m be k(-10). Suppose 5*p - 11 - 39 = m. Suppose 0 = 2*r - 4 - 0. Solve -4*j - r*b + p = 0, 5 = -5*j - 4*b + 16 for j.
3
Let q be 1 - (18/72)/(1/(-284)). Let f be 16/q + 208/36. Solve -4*s - 5*r = 14, -2*s + f = 2*s - 5*r for s.
-1
Let o(u) be the first derivative of -u**4/4 + 7*u**3/3 - 3*u**2 - 13*u + 115. Let r be o(4). Let a = -3 - -7. Solve a*z = -3*i - r, 2*z + 8 = -2*i - 0*z for i.
-5
Let h be (6/(-5))/(-7 + 238/35). Suppose 2 + 106 = h*o. Suppose -21*q + o*q = 0. Solve -w = -i + 7, q*w - w - 5*i = -17 for w.
-3
Suppose x + 2*h = -22, -2*h = -x - 87 + 109. Let b be -7*(-5 + -1 + 3). Solve -5*f + 21 = -x*s - 4*s, 5*s = f - b for f.
1
Let s be 3/(-15) + (-348)/(-15) + -2. Suppose -27*k + 60 = -s. Solve 0 = -2*i + k*v + 2 - 1, -4*i - 2*v = -26 for i.
5
Let z(b) = 24*b - 54*b + 16*b + 18*b - 26. Let o be z(4). Let l be 145/7 + o/(-35). Solve 5*u - a + 27 = -0*u, -3*a + l = -3*u for u.
-5
Let i be 90/8 - (-2)/(-8). Suppose 0*k = -3*k + 9. Let d(v) = v**3 - 27*v**2 - 27*v - 25. Let z be d(28). Solve -k = 4*r + z*n - i, -5*n = 0 for r.
2
Suppose 167 = 5*r + 27. Suppose b - 2*x = -2*b + 64, -b - 4*x - 2 = 0. Let v = 20 - b. Solve 8*q - 4*q + 24 = -i, v*i + 4*q = -r for i.
-4
Suppose -16*i + 46*i - 9*i - 189 = 0. Suppose 3*c = d + 4, 0*c = -2*d - 4*c - 8. Let y = d - -7. Solve 3*u - 5*u + 11 = -3*q, -i = y*q for u.
1
Suppose -4*s + 3 = -5. Suppose 0 = -9*l + 19 + 17. Solve s*b + 2 + 0 = 0, 0 = -4*z - l*b + 4 for z.
2
Let l = 27 - 20. Suppose l*g + 3 = 17. Solve d + 1 = 3*x, 0 = 4*x + x - g*d - 1 for x.
1
Let h = 10 + -5. Suppose -2*r + 7*r = -h*b + 100, -2*b = -8. Let x be (-4)/r - 159/(-12). Solve -4*c = 3*t + x, -t + 0*c = 5*c + 19 for t.
1
Let v = 21 - 17. Suppose v*n = -12*n. Solve -3*u = 3*x - 15, -4*x - 3*u + 24 - 8 = n for x.
1
Let z(b) = -b**2 - 9*b + 56. Let m be z(-14). Let n be (4 - (-6)/(-12))*(-12)/m. Solve -l - h + 5 = h, -n*h + 3 = 3*l for l.
-3
Let h be (176/24 + -5)*9. Suppose h = 12*c - 63. Solve d + 4*z - 5 = 0, -4*d - 2*z - 15 = -c*d for d.
5
Let s be (-7)/2*(4/12 - (-50)/(-42)). Solve -u - s*z - 4 = 0, -3*u + 2*z - 5*z - 6 = 0 for u.
-1
Let x(a) = a**3 + 32*a**2 - 94*a - 6. Let l be x(3). Solve -5*m - l = -u + 1, 2*u - 2*m - 16 = 0 for u.
3
Suppose 2*o - 155 = -5*y, 18 = 2*o + 28. Solve 12*h + 2*m = 16*h + 24, 4*m - y = 5*h for h.
-5
Let u be -4*(-3)/(-1 + 4). Let i = 94 - 78. Solve u*f = i, 0 = -4*t - 2*f - 0 - 12 for t.
-5
Suppose -2*r = 2*o - 98, 0 = 5*o + 3*r - 4*r - 245. Suppose -72 = -67*n + o*n. Solve 0 = -4*q + i + 8, i = -4*q + n*i + 16 for q.
1
Let t be (33/(-6))/((-3)/12). Suppose t*l = 19*l + 12. Solve -2 = 2*q - 3*m, l*q = -5*m - 5 + 23 for q.
2
Let q(n) = n**2 - 3*n + 3. Suppose t = x + 4, 2*x + 6 = 3*t - 5. Let a be q(t). Suppose 0 = 48*j - 99 + 3. Solve c + j*y + a = 0, 0*y - 3*y - 32 = -4*c for c.
5
Let j(p) = -12*p - 307. Let o be j(-26). Solve -3*s = 4*b - 25 + o, 5*s + 10 = 2*b for b.
5
Let f be 2*9 - (-34 - -9)/(-5). Suppose -2*a - 3*k = -f, 2*k = -4*a + 22 - 8. Solve 5 = -a*y - 5*s - 5, -y = -4*s + 5 for y.
-5
Let s = -20505 - -20512. Solve -2*x - 8 = 4*c, -4*c = -5*x + s + 15 for c.
-3
Let d be (-13)/52*0*(3 + (-13)/4). Solve s + 5*m + 4 = 0, 0 = 4*m - d + 4 for s.
1
Suppose -2*r = -w + 10 - 8, 5*r = -3*w + 6. Solve 17 = 5*s + 4*t, r = -4*s + 3*t - 14 + 9 for s.
1
Let p be 2 - (-4 + 2 + 4) - -8. Let h(g) = -3*g**2 + 25*g - 8. Let w be h(p). Solve w*a = a - n, 5*n = 0 for a.
0
Suppose 1 = 3*q + 57*s - 58*s - 5, 0 = -4*s. Solve -2 = 2*d, -36 = 2*w - q*d - 30 for w.
-4
Let j(o) = -3*o**2 + 24*o - 27. Let y be j(9). Let l be ((-24)/y)/((-14)/(-63)). Solve -l*m - 8 - 2 = -2*v, v = -4*m - 5 for v.
3
Let w = -1143 + 318. Let l be 12/32 + w/(-40). Solve 3*m + l = 3*s, -4*m - 14 = -3*s + 9 for m.
-2
Let q be 188/(-28) + (-14)/49 + 10. Solve -q*r = -5*f + 31, 3*r = -3*f - 2*r + 5 for f.
5
Let l(m) be the first derivative of -m**4/4 - 7*m**3/3 - 7*m**2/2 - 2*m + 55. Let u be l(-6). Solve h = -2*g + 4, u*h - 3*g + 17 = -0*g for h.
-2
Let r(d) = -12*d. Let g be r(-1). Suppose -4*t + 16*t = -g. Let n be (((-3)/(-6))/t)/(1/(-2)). Solve -2*i + n - 11 = -2*w, -4*w = -2*i - 20 for w.
5
Let q(k) = k**2 - 3*k - 11. Let i be q(5). Let d be 0 + -3 + 3*(-3)/i. Let t(u) = -4*u + 29. Let a be t(d). Solve 2*j + 12 = 5*s, a*s = -j - 2*j + 32 for s.
4
Let g be (35/70)/(1/28*2). Let l(u) = -u**2 + 8*u - 5. Let p be l(g). Solve 20 = -4*t + 5*q, -p*q - 5 = t - 0*q for t.
-5
Suppose -19*f = 3*f + 132. Let u be 11 - ((-1)/f - 6/36). Solve 0*a - 5*a = -5*x + 5, 0 = -3*x - 4*a - u for x.
-1
Suppose 3*f + 3 - 7 = -4*j, 0 = 2*f + 8. Suppose -4*i = -2*n + 6*n - 932, -2*n = -5*i - 473. Let g = 252 - n. Solve g = j*o + w, 0*w + 2*w = o for o.
4
Suppose 4*v - 3*v = 0, 5*v = 3*k + 12. Let r be (k/(-18))/(5/45). Solve -2*z + 6 = -5*h - 4, r*z = 4*h + 10 for h.
0
Suppose 4*x - 4 - 56 = 0. Suppose 5*z - 3*u - 24 = 0, 0*z - 2*z + 3*u = -x. Let f = 144285 + -144280. Solve z = -2*a + f*b, 0*a = 4*a + 2*b + 18 for a.
-4
Suppose -30*l + 336 = -27*l. Let v be (-116 + l)*(3/2 - 2). Solve -2*b = -2*j, -4*b + v*j + 30 = 4*j for b.
5
Suppose 47 + 123 = 26*p - 64. Solve 6*o - 5*m + p = 2*o, 3*m - 3 = 0 for o.
-1
Suppose -87*v + 84*v + 7 = 2*g, -4*v = 3*g - 8. Solve 3*c = -4*n - v, 3 = -3*n + c - 17 for n.
-5
Suppose 5*f = -3*c + 7*f + 26, 8 = -2*f. Solve -4*w - 3*s - 1 = 0, -4*w = -4*s + c + 30 for w.
-4
Suppose -15*o + 44*o = -127*o + 780. Solve -3*c = -y + 3, 0 = -36*c + 31*c + y - o for c.
-1
Suppose -63 = -4*h + 124 + 9. Solve -h*b = -48*b - 5*p - 22, -5*p = 25 for b.
-3
Let x be 12/6 - ((-152)/20 - (-9)/15). Let q(n) = 7*n**2. Let s be q(-1). Suppose s*k + 4 = x*k. Solve -r - 9 = k*b, -4*r + 4 = -0 for b.
-5
Let r be 136/17 + 2/(-6)*-3. Solve -2*y - 2*n = r - 13, -5*y + 40 = -5*n for y.
5
Suppose -9*p = -4*j - 0 + 72, 4*j + 4*p = 20. Solve 0 = -4*m - 4, -3*m - 4 = -5*y + j for y.
2
Let h be 3/2*(-4)/(-2). Suppose 40*u + 10*w = 8*w - 26, -w - 13 = -5*u. Solve h*o = -3*p + 6*o - 15, 4*o = u for p.
-5
Let j(x) = -4*x. Let r be j(1). Let h be (-17)/r + (-4)/16. Suppose 922*b - 2263 - 503 = 0. Solve -7 = h*i - m, -i - m - 9 = b*i for i.
-2
Let v be 72/(-12 - -6) - -14. Solve 0 = v*y + 2*y - 3*a - 39, -4*y - a = -19 for y.
6
Let p = -4 - -36. Let v = 44 - p. Let w be (-3)/(v/(-32)) + 3. Solve 5*c = -2*d - 14 - 12, d = -2*c - w for c.
-4
Let b be 40/(-15) + (-1)/3 + 1. Let m be 12/(-10)*((b - 0) + -3). Solve -3*o = m, -o + 0*o = j + 6 for j.
-4
Let h(d) = -15*d - 1. Let l be h(-2). Suppose -620 + 573 = -z + 3*a, 5*z - 137 = a. Let m = l - z. Solve t = m*q - 5 - 2, -t - 6 = -2*q for t.
-4
Let p(g) = 8*g**2 - 13*g + 1. Let s be p(4). Suppose -3*d - 13 = s. Let f be 1*(-3 + d/(-5)). Solve -4*l = 4*r - 32, 2 = 5*l - 2*r - f for l.
3
Suppose 0 = 474*p - 450*p. Solve -3*y + 5*r = -5 + 34, p = 2*y - 4*r + 22 for y.