 3*g + 21 = c for b.
4
Let h(t) = 75*t - 127. Let j be h(9). Let m = j - 545. Solve 0 = -5*w + 5*l - 10, m*w - 8*l = -4*l - 8 for w.
0
Suppose -2*k - 31*k = -119 - 13. Solve 25 = w - 5*p, 200*w + 20 = 201*w - k*p for w.
0
Let g(y) = 2*y**2 - 15*y + 26. Let m be g(6). Let n be 2 - m - (-3 - 3). Solve -4*s - 12 = 4*j, n = -s + 4*s - j + 5 for s.
-2
Suppose 2*j - 142 = -2*r, 5*r = j - 2*j + 371. Let z = r + -73. Solve -z*s = 2*y + 2, -s + 10 = 3*s - 3*y for s.
1
Let b = 32 + -356. Let w = 327 + b. Let z(q) = -q - 4. Let s be z(-5). Solve 0 = w*f + i - 1, 1 + s = 3*f + 2*i for f.
0
Let z(t) = 5 - 2*t**2 - 5*t**2 - t - t**3 + 0 + 5*t**2. Let a be z(0). Solve -2*s = 4*g - 4*s + 20, -19 = a*g - s for g.
-3
Suppose 2*j - 4 = -14, 0 = -a - 4*j. Suppose -a*l + 10*l = -40. Let h = 16 + 0. Solve 0 = -5*u + l*s + h, 5*u + 3*s - 6*s = 17 for u.
4
Let i(a) = -a**3 - 8*a**2 + 201*a - 119. Let l be i(-19). Let d(x) = -4*x - 3. Let f be d(-2). Solve -f*z = 2*n - l, 2*z - 2 = -3*n + 5*n for n.
4
Suppose 3*n + 6*a - 6 = 8*a, 2*n + 5*a - 23 = 0. Suppose -3*y + 4*g + 4 = y, y + n*g = 6. Solve -y*d + 5*k - 4 = 19, 5 = -5*d - 5*k for d.
-4
Let l(r) = -r**3 + 5*r**2 + r - 13. Let q = -81 - -85. Let z be l(q). Solve 2*p = u - 5, 4*p + z = 5*u - 0*p for u.
-1
Let b(y) = -12*y**3 - 12 - 2*y**2 - y**3 - 9*y - y**2 + 12*y**3. Let c be b(-2). Solve u + u - 4 = -c*l, u + 23 = 4*l for u.
-3
Let x = 670 + -622. Let t be x/20*(-10)/(-4). Let s be 20*(-1 + 3/2). Solve -5*g = 5*r - 5, g - s = 2*r + t*g for r.
5
Suppose -3*f + 17 = -2*k, 3*f - 3*k - 29 = 2*k. Suppose -15 = -h - 3*g, 32*h + 2*g = 34*h - 6. Solve -f = 4*y - 3*d, y + h = d - 2*d for y.
-3
Suppose -2*f = 3*k + 3 - 6, f = k - 11. Let c(d) = -d**2 - 5*d + 8. Let z be c(f). Suppose 2*o = z + 16. Solve -4*b = 5*a + 24, a + 0*a + 5*b = -o for a.
-4
Let m be (-37)/222*(-1 - -1). Solve -2*o + 6 = m, -a + 5*o = 4*a for a.
3
Let r(t) = -28*t + 122. Let l = 668 + -664. Let y be r(l). Solve 0*a + 3*a + d = -2, 2*a + 5*d = -y for a.
0
Let m(z) = 98*z - 2349. Let v be m(24). Solve 15 = 5*x + 2*f, v*f + 17 = -3*x + 7*f for x.
1
Let f(v) = 129*v**3 - v**2 + 7*v - 6. Let p be f(1). Suppose 0 = -6*o - p + 195. Let u = -3 - -3. Solve -4*d = m + 10, 3*d - 5*m + 4*m + o = u for d.
-3
Let l = 105 + -105. Suppose l = 4*i + b - 26, b = 8*i - 3*i - 28. Solve 4*d + 7*a - 12 = 3*a, 4*a - i = 2*d for d.
1
Let k(z) = 2586*z - 18097. Let s be k(7). Let d(b) = -b**2 - b + 2. Let m be d(0). Solve 0*i - m*r = -4*i - 2, s*i + 16 = -2*r for i.
-2
Suppose -2*l + 3*m - 3 = -5*l, -5*l + 5 = m. Solve 4*f - c - 14 = 0, 0 = 5*f - 2*c - 18 - l for f.
3
Suppose 2*s - 69 + 89 = 0. Let a be (s/(-20))/((-1 - -2)/10). Solve -2*f + a*y + 35 = 0, 2*f - 5 = 4*f + 3*y for f.
5
Let d be -2 - (8 + -38)*(-1 + (-21)/(-15)). Solve -5*l + d = 5*p, 2*l + 3*p = -2 + 9 for l.
-1
Let y = 135 + -142. Let c be (3 - -14) + y + -7. Solve -3*v - 32 = -5*h, 4 = 2*h - c*h - 2*v for h.
4
Let n(i) = 469*i + 941. Let u be n(-2). Solve 0 = -17*h + 16*h + u*j - 2, -4*h - 8 = 4*j for h.
-2
Suppose 0 = 12*f - 7*f. Let d(w) = -w**2 - w + 6. Let s be d(f). Solve 5*y - 3 = -z, -3*y - 9 = -s*z + 3*z for y.
0
Let w = -21311 - -21314. Solve -3*m = -w*o - 27, -83 = 2*o + 5*m - 100 for o.
-4
Let g = 1344 - 1339. Solve -g*n + k - 3 = -8*n, 2*n - 13 = 3*k for n.
2
Let l(h) = 0 - 4510*h**2 - 20*h - 7 + 4508*h**2 - 8. Let b be l(-9). Solve b*a + 7 = 2*q, 3*q - a - 17 = 6*q for q.
-4
Let d(i) be the second derivative of -i**5/5 - i**4/3 - 5*i**3/6 - 16*i. Let f be d(-3). Let t = f + -87. Solve -3 = -4*s - s + 2*b, t = -5*b - 20 for s.
-1
Let p be 6/((-16)/((-576)/54)). Solve 2*v + 3*f = -2*v + 11, -5*v - p*f + 15 = 0 for v.
-1
Let k(v) = -4*v**2 - 2*v + 1. Let l be k(-2). Let j be (-115)/(-8) + (-15)/40. Let z = j + l. Solve -g - 20 = 3*b, 3*b - 2*g - 10 = z*g for b.
-5
Let d(l) = -l**2 + 19*l - 60. Suppose -45 - 91 = -34*m. Let g be d(m). Solve g = 2*i - 3*x + 11, -16 = -2*x - 6 for i.
2
Let a be 11 + (-4 + -14)/2. Let t = -2 + 11. Let x be (24/(-9))/((-3)/t). Solve -q = k - 5*k + 8, -a*q = 4*k - x for q.
0
Let u(x) = 2*x**2 + 145*x + 424. Let y be u(-3). Solve y = -i - 4*a + 7*a, -4*i - 1 = -3*a for i.
2
Let c(s) = -s**3 + 31*s**2 - 73*s + 438. Let z be c(29). Solve 3*r - 1 = -x, x - 4 = z*r - 3 for x.
1
Let d = -296 + 304. Suppose -2*t - 6 = -5*t. Let s be (t/(-6))/(4/(-24)). Solve 0 = -m + l - d, 4*l + 3 = -s*m - m for m.
-5
Let r = -743 - -747. Suppose -81 = -r*l - 13. Solve -2*f = -t - f - 5, -3*t + 5*f = l for t.
-4
Let l = -126 - 90. Let i = l - -221. Solve -4*y = u + 15, -i*y + 7 - 32 = -5*u for u.
1
Let s(l) = 5*l**2 - 228*l + 2602. Let y be s(21). Suppose 0*d + 3*x = -4*d + 12, -2*d + 6 = -5*x. Solve -q + 18 = 5*w - w, -2*q + d*w = y for q.
-2
Let o(a) = -29*a + 7*a**2 + 59 - 39 - 4*a**2 + 47. Let b be o(6). Solve g = 5*s + b - 24, -s + 5*g - 5 = 0 for s.
5
Let t = 1740 - 1740. Suppose -7 = -2*k - 3*q, -2*q = 4*k - 0 - 26. Solve -2*z - k = -2*n, t*z + 3*z + 3*n - 18 = 0 for z.
1
Suppose -3*r + 47 = -4*s, -4 = 4*s - 4*r + 48. Let j be 36/(-10)*20/s. Solve 4*f = -q + 2, -3*q + j = -5*f + 3 for q.
2
Suppose 131*n = 135*n + 4*o + 8, 0 = -5*o - 35. Solve -m - 5*s = m, -2*s = -n*m + 29 for m.
5
Let q be (-42)/(-9) + (-23)/(-69). Suppose 0 = o + 2*a - 6 - 9, a + 10 = 3*o. Suppose n - o = -3. Solve 0 = -0*p + p - n, q*x = -4*p + 3 for x.
-1
Let z be 0*(-143)/(-26)*2/11. Solve g - 5*t + 2 = 20, z = -4*g - 3*t - 20 for g.
-2
Let r be (-14)/(-3) - 2/(-6). Let z be 16 - 0 - 6/(-24)*0. Suppose 6*h = -z + 34. Solve -4*y - 32 = r*g, -h*y + 2*g - 1 = -0*g for y.
-3
Suppose -2*a + 20 = 442*l - 445*l, 0 = 2*l + 8. Let t be (3/9)/((-2)/6). Let y = 16 + t. Solve -n + a*p = -2*n - y, -14 = -2*n + 3*p for n.
1
Suppose 5*d = 2*d, 3*d = -2*v - 2 + 16. Solve -4*q + h = v, 2*q + 2*q + 5*h = -37 for q.
-3
Let n(b) = -b**3 + 14*b**2 - 4*b - 13. Let h be n(13). Suppose 0 = 7*x - 3*x - 392. Suppose 3*i - h = -x. Solve 0 = 2*g - 6, 5*g - 2*g - 19 = -i*z for z.
5
Let j be (0 + 3)*(306/27 - 11). Suppose 1 + 7 = 4*o. Solve -j = -2*n - q + o, q - 6 = n for n.
-1
Suppose -68 = -5*q - 53, 4*t + 2*q - 58 = 0. Let d be (-3)/(-4)*(-9 + t) - -4. Solve -c + w - 7 = -2*w, d = 5*c - w for c.
2
Suppose 3*k - f - 42 = 0, 3*k - 20*f + 23*f - 54 = 0. Solve -6*y - 6 = -y + 2*v, 0 = -y + 5*v + k for y.
0
Let z = 23764 - 23436. Solve -z*b = -331*b + 3*g - 6, 5*b = -2*g + 18 for b.
2
Let n be (-1)/2 + -7 + (-304)/(-32). Solve -u = 3*i + 14, n*u - 3*u + 10 = -5*i for i.
-3
Let u = -447 - -465. Suppose u*k - 2*k = 48. Solve -4*p + 5 = k*g - 7, 0 = 4*g for p.
3
Suppose -4*b - 5*c = b - 10, -2*b = c - 5. Suppose b*f - 8*f = l - 13, -2*f - 3*l = -13. Solve 5*g = -3*z - 19, 3*g + 23 - 4 = f*z for z.
2
Let i be 30*(1/1)/2. Let j = -163 + 136. Let z(m) = -6*m - 162. Let y be z(j). Solve y = -5*h, 0*k - i = 3*k - 4*h for k.
-5
Let j(h) = -3*h**2 + 217*h - 818. Let v be j(4). Solve -v*p - 4*i - 15 = -p, 0 = 4*p + 3*i - 5 for p.
5
Let o(n) = -n**3 + 7*n**2 - 9*n - 12. Suppose -h + 3*b - 2 = 0, 3*h - 5*h - b = -10. Let g be o(h). Solve -11 = -2*m - g*m + 3*w, -3*m - w + 11 = 0 for m.
4
Let s be 12/(-20) - 26/(-10) - 0. Let z be ((-3)/(-8))/((-2)/(-8))*s. Let j(y) = -2*y - 66. Let f be j(-36). Solve -6*w + 3*b - 6 = -11*w, f = z*w + b for w.
3
Let i be (0 - -1 - 1)/(-255 - -254). Let y = 8 + i. Solve 5*r - 5*n + 9*n - 8 = 0, -y = -2*r - 4*n for r.
0
Suppose -7*y = -59 + 234. Let d be ((-50)/40)/(y/60). Solve -3*v + 6 = d*w, -2*v + 3*w + w + 10 = 0 for v.
3
Let i = -23 - -25. Suppose -8*g - i = -50. Suppose g*o - 18 = -0*o. Solve -5*b = -4*z - 5, o*z + 4 - 3 = b for b.
1
Let w = -825 - -387. Let f = -433 - w. Suppose 5*s = 7*g - 3*g + 28, -3*g = 3*s - 6. Solve -3*u - s*c = -f*c + 14, 2*u - 4*c = -16 for u.
-4
Suppose 5*k - 60 = 2*h - 300, 0 = -4*h - k + 480. Let c be 0 + h/6 + 6. Solve 0 = 4*p - 0*l - 2*l - c, 3*l = -p - 4 for p.
5
Suppose 18*b - 176 = 2*b. Let d(t) = -t**3 + 10*t**2 + 13*t - 12. Let q be d(b). Suppose -13 = 5*j - 23. Solve 0*o = 3*m + 5*o + 25, -j*o - q = -3*m for m.
0
Let s(k) = -k - 21. Let w be s(-23). Suppose 2 = -w*z + 6. Solve -o = z*o + 4*p + 3, -2*o - 3*p = 2 for o.
-1
Suppose 0 = 5*d - 2*v - 6 - 6, 4*v = 2*d - 8. Solve 0 = -5*t - 5*r - 25, -2*r - 10 = -d*t + 3*t for t.
0
Let u(c) = c + 13. Suppose -r - 4*r = 3*z - 50, -50 = -