4*l + 28 = 3*h for h.
4
Let c(b) = -b**3 + 6*b**2 - 5*b - 9. Let q be c(3). Solve -2*i = -9*k + 12*k + 8, q*k - 3*i + 3 = 0 for k.
-2
Let o(r) = -r**2 + 13*r - 13. Let m be o(16). Let p = 58 + m. Let w be p*(12/(-6) - (-2)/3). Solve 0 = -w*h + t - 9, -h - 4*t - 5 - 10 = 0 for h.
-3
Suppose 4*m + 18 = 3*r, -4*m - 133 = -5*r - 103. Suppose 3*y + 2*y - 15 = 0. Solve m*v + 18 = -4*z - y*v, 5*z + 11 = 2*v for z.
-3
Let k(o) = 48*o - 13. Let p be k(3). Suppose -3295 = 2*q - p. Let u be q/(-70) + (-3)/5. Solve -4*r + u = -h, -4*h + 3*h + 2*r - 12 = 0 for h.
-2
Suppose -10047*r + 96 = -10015*r. Solve -5*o - r*s = -26, 8 + 17 = 4*o + s for o.
7
Suppose 0 = -623*y + 640*y - 48 + 14. Solve -2*d + 25 = 5*r, -y*r - 13 = -4*d - 23 for r.
5
Let n = 4 - -16. Suppose 0*d = 5*d - n. Let o(q) = q**3 - 13*q**2 + 7*q + 62. Let j be o(12). Solve -2*g - 6 = -2*v, 0 = 3*g + j + d for v.
1
Let w = 594 - 586. Suppose t + p = w, t + 12 + 10 = 5*p. Solve u + 7 = t*h, h - 9 = 5*u - 3*u for h.
1
Let s be (-4)/6 + 62/3. Suppose -s*t = -10*t - 50. Solve -w = i - t, 0 = -i - w - 3*w + 8 for i.
4
Suppose -2*b = 23*a - 27*a + 58, -4*b - 140 = -10*a. Solve x - 3*h = -a, 0*h - 2*h + 8 = -4*x for x.
0
Suppose 18 = 15*o - 9*o. Let c be o*2/(-6)*11. Let i(z) = z**3 + 9*z**2 - 20*z + 24. Let u be i(c). Solve 0*w + 6 = -3*r - 3*w, 0 = 2*r - u*w - 12 for r.
2
Let p be (-20)/(-70) + (-3711)/(-21). Let i = 180 - p. Solve 0*s = 3*m - s + 5, -m = -i*s + 7 for m.
-1
Let w(g) be the first derivative of g**4/4 - 3*g**3 - 4*g**2 - 12*g - 101. Let f be w(10). Solve 2*j = 3*t - 8, -3*j = -f*j - 2*t - 1 for j.
-1
Suppose -15*h + 2 = 242. Let c(r) = -2*r - 27. Let n be c(h). Solve z + 7 = -4*w + n*w, -5*z - 21 = 2*w for w.
2
Suppose 5*x - 25 = 5*i, -55*i + 57*i + 10 = -x. Solve 5*m + x*a = a + 15, 5*a = 5*m - 35 for m.
2
Let d = -12 - -21. Let p(m) = m + 9. Suppose h = -3*h - 24. Let x be p(h). Solve -x*y - d = 5*z, -5*y = -0*y - 10 for z.
-3
Suppose 5*k - 2*h = 46, -1321*k = -1319*k + h - 31. Solve j = 5*x + k, -5*x + 10 = 3*j + 14 for x.
-2
Let h be 5*8/(-220) - ((-2254)/77)/7. Solve -5*j = -u - 20, -4 = h*u - 5*j + 16 for u.
0
Let g(s) = 5*s**2 - 3*s + 1. Let u be g(1). Suppose -10 = -u*i + 5. Let l(q) = -q**2 + 5*q + 5. Let v be l(5). Solve -3*t - i = -3*d + 4, 0 = t - 5*d - v for t.
-5
Let g be (4/16*4 - -1) + 5. Suppose -g*q = -10*q + 12. Let v = -6 - -8. Solve -u + 16 = -h - v*h, 6 = -2*h - q*u for h.
-5
Suppose -4*p + 19 = -5*g - 14, p = 2*g + 12. Suppose -x + p = 5, 0 = -2*k - 3*x + 1. Solve 33 = k*i - 3*i + 5*j, -3*i + j = -7 for i.
4
Suppose -3*x = -30 + 3. Suppose 5*n - 11 = x. Let l(d) = 3*d**2 - d + 3. Let q be l(2). Solve 3*u = k - 15, -n*k + 12 + q = -5*u for k.
0
Let w(r) = -r**2 - 390*r - 3054. Let t be w(-8). Solve 0 = -d - x - 4, -t*d + 102*x = 105*x + 10 for d.
-2
Suppose -5*d = 0, 0 = -6*v + 7*v + 2*d - 18. Suppose -171 = -27*m + v. Solve 3*u = m*u + 4*y + 4, -3*y = -2*u + 13 for u.
2
Suppose 47*o + 236*o = 3459 - 63. Solve -5*d + 3*w - 16 = 0, -3*w - w = o for d.
-5
Let b = -85 - -99. Suppose 240 = b*u + 86. Solve -u - 12 = 3*r + 5*h, -4*r + 3*h + 8 = 0 for r.
-1
Let a(s) = -s**3 - 6*s**2 + 3*s + 21. Let k = 365 + -371. Let p be a(k). Suppose 0 = -2*t + 1 + 5. Solve -4*j - 13 = -r, -t*r = -p*j - 11 - 1 for r.
1
Let o = -31838 + 31838. Solve 99*g - 94*g = -v + 25, o = 3*v for g.
5
Suppose 6*c + 33 - 111 = 0. Suppose c = 19*s - 25. Let h be -5*(-7)/(2 - 1). Solve -u - s*q - 5 = -0*q, -2*q - h = -5*u for u.
5
Suppose -5*q = 3*o - 20, 5*o - 4 = 3*o - q. Suppose g + o*g = 3. Suppose 39 + 23 = 31*p. Solve -a + z + g = 2, -z = -p*a - 1 for a.
-2
Let u be (18 - 18) + -9 - -13. Solve 2*y + 1 = u*a - 5, 0 = 4*y + 12 for a.
0
Let p = 2072 - 2070. Solve p*a - 4*d = 8, 3*a - 5 = -2*d + 7 for a.
4
Suppose 0 = -4*b + 6*b + 130. Let r be b/(-10) - 2/(-4). Let l = 33 - 33. Solve 3*s + w - 14 + r = l, 3*w + 15 = 3*s for s.
3
Let t be 26 + -54 - (-10 - -1). Let u be ((19 + t)/(4*1))/1. Solve j + 0*o - o = 4, o = u for j.
4
Let f be (210/(-27) - -10)*(-9)/(-2). Let r(k) = -6*k + 60. Let l be r(f). Solve 4*w - 2*m = 14, 5*w - 5*m = -l + 20 for w.
3
Suppose i = 3 + 7. Let t = -88641 + 88643. Solve 3*f + 1 = -2*j - 5, 4*f + i = -t*j for f.
-4
Let a(k) = k**2 + 235*k - 6751. Let p be a(26). Solve -2*g - 4 = -2*v, p*v + 34 = 32*v - 5*g for v.
-3
Let d = -1628 + 1631. Solve -l - 20 = 5*x, 3*x + 4 = -d*l + 4*l for l.
-5
Let l(n) be the second derivative of -26*n**3/3 - 188*n**2 - 115*n. Let b be l(-8). Solve 4*k - 5*m + b = 0, m - 15 = 5*k + 14 for k.
-5
Suppose k + y = 2, -3*y = 2*k - 6*y - 14. Suppose -k*d + 40 = d. Let l(u) = -27*u + 1436. Let n be l(53). Solve -d = 3*o - 4*a + 7, 15 = -3*o + n*a for o.
-5
Suppose 4*p - 206 = -99*p. Solve p*v - o - 20 = -v, 3*v + 3*o = 0 for v.
5
Let h(k) = k - 1. Let w be h(1). Let g(c) = c + 30. Let y be g(-19). Suppose -y*v + 14 = -30. Solve 4*t + w*t - j + 24 = 0, -4*t + v*j - 36 = 0 for t.
-5
Let x(n) = n**3 - 12*n**2 - 17*n - 6. Let q be x(14). Let a = q + -145. Solve -4*h - a*t = -13, 0*h + 3*h = t + 13 for h.
4
Let c be (-6)/8 - -1 - (9 - (-1106)/(-56)). Solve 4*r = c*o - 6*o, 4*o + 36 = -4*r for o.
-4
Suppose 12*y + 63 = 5*y. Let b be (-6)/y*6*7/7. Solve 3*u = -3*x + 30, 0 = -b*u + 5*x + 2 - 7 for u.
5
Let b = -149 - -154. Suppose -4*x + 3 - 14 = 3*m, x - 10 = -b*m. Solve m*t - 4*k + 4 = 15, -5*t + k = -7 for t.
1
Suppose -12*d + d + 220 = 0. Solve l + d = -0*l + 5*k, k = l for l.
5
Let t be (-23)/23*788/(-1). Let c = -785 + t. Solve 5*z - 25 = -2*g, -c*z = g - 6*g + 16 for g.
5
Suppose t + 2*r = -2, 4*t - 1 - 6 = -3*r. Let g = -209 - 207. Let m = 418 + g. Solve -24 = t*i - 4*w, -3*i + 2*w + m = 4*w for i.
-2
Let o(z) = 3*z**2 + 58 + 12*z - 85 + 46. Let n be o(-2). Solve -2*t + 7 = 2*h - n, -5*h + 14 = -2*t for h.
4
Let f = 60 - 48. Suppose p - 12 = -2*o + 6*o, 2*p - 2*o - f = 0. Let r = -77 + 77. Solve r = p*z - 0*z - 5*b + 20, 5*b = 5*z + 20 for z.
0
Let u(j) = -j**2 + 14*j + 158. Let l be u(-7). Suppose 0 = l*q - 31 - 2. Solve f + z = -4, 7*z = -q*f + 3*z - 14 for f.
-2
Let u = -27 - -51. Suppose -u = -8*g + 7*g. Suppose g = -4*d + 10*d. Solve -5*r - 5*o + 3*o - d = 0, -4*r + o - 11 = 0 for r.
-2
Suppose -73 = 45*l - 70*l + 527. Solve 12*r + 4*f = 13*r + 20, -5*r = -f + l for r.
-4
Let s be (99/4)/9 + (-9)/12. Suppose 13*a = 11*a - 8. Let z(q) = -q**3 - 4*q**2 - 2*q - 2. Let t be z(a). Solve 5*x - t = 2*x - 2*r, -s*x - 3 = -r for x.
0
Let s(v) = v**2 + 16*v + 65. Let p be s(-5). Suppose -3*f = 4*b - 26, -20 + p = -2*b. Solve -2*a + 5*h = 6, 4*a - 3*h = 2*a - f for a.
2
Let f(o) = 185*o + 132. Let n be f(3). Let u = 690 - n. Solve 2*w - 5 - u = 4*i, 5*w = -3*i + 20 for w.
4
Let s = 5732 + -5730. Solve 34*x + 2*l = 29*x - 19, s*x + 16 = -5*l for x.
-3
Let d(a) = a**3 - 11*a**2 - 12*a - 25. Let t be d(13). Let m = 91 - t. Let g be m/(-12) + (-4)/8. Solve -3*r - 17 = -5*f, -r = r + 3*f + g for r.
-4
Let t(c) = -c**3 - 7*c**2 - 9*c - 15. Let q be t(-6). Solve 5*x - q*a - 40 = 0, -102*x + 103*x + 2*a + 5 = 0 for x.
5
Let j(v) = -13*v**2 - 79*v - 2. Let r(q) = -3*q + 21. Let s be r(9). Let b be j(s). Solve 6*c = 3*c - b*z - 7, -5*c - 4*z - 17 = 0 for c.
-5
Suppose -4*k + k - 5*y = -101, -188 = -4*k + 4*y. Let f = 45 - k. Solve 0 = j + t - 2, 2*t = 5*j + f + 8 for j.
-1
Let s be 6 + -6 + -2 + 7. Suppose 2*x - 99 + s = 0. Let k(q) = -q - 5. Let u be k(-9). Solve -4*b - 11 = u*i - x, i + 21 = 5*b for b.
5
Let q = -9679 + 9700. Solve 3*k + 2*s + q - 18 = 0, 0 = -s for k.
-1
Let y be (4/(-10))/(6/(-180)). Let b be (1 - (-40)/y) + 4/6. Solve -h + 24 = b*n, -4*h + n - 14 = -n for h.
-1
Let k(u) = 7*u + 367. Let f be k(-52). Let x(c) = -28*c + 88. Let t be x(f). Solve 4*m - 3 = 5*p, -3*m = -t*p - 2*m + 2 for p.
1
Suppose 5*j + 4*i = 28, 18*i = 4*j + 15*i - 10. Suppose -5*k = j*n - 10, n - 2 = -0*k - k. Solve 3*g = -2*g - 4*u - 17, 2*u + 6 = n for g.
-1
Let x be (-32)/10*(-150 + 145). Solve 5*y + 39*i + x = 36*i, 2*y + 5*i = -14 for y.
-2
Let v(n) = n**2 - 27*n - 120. Let p = -656 - -652. Let z be v(p). Solve -c + 4*i - 8 = 3*c, 2*c + z = -5*i for c.
-2
Let k be 10/35 - (25 - (-6919)/(-259)). Let z(i) = -i**2 + 6*i + 4. Let l be z(6). Solve -k*x + 14 = -l*q, -x = -q - 4 - 1 for x.
3
Suppose -3*o + 4*d + 28 - 27 = 0, 3*d + 6 = 4*o. Solve 3*f - 7*i = -o*i + 3, 0 = 4