*q, 2*q - q + 5 = -t*b for b.
0
Let c(z) = -z - 9. Let x be (-9660)/798 + (-2)/(-19). Let o be c(x). Solve o*r + 3*d + 3 = 0, -3 = r + 4*d + 1 for r.
0
Let s(y) = -y**3 - 9*y**2 + 22*y. Let m(x) = -11*x**2 - 6*x - 6. Let i be m(-1). Let p be s(i). Solve -a - 20 = 5*w - 3*a, -4*w - a - 3 = p for w.
-2
Let u(b) = -b**2 - 21*b + 105. Suppose 26*f + 32 = 136. Let z be u(f). Solve -g - 10*c - 16 = -5*c, -z = -g + 2*c for g.
-1
Let h(t) = -t + 12. Let d be h(9). Let f be 4 + 2 + -9 + 7. Let y be (1 - 2)*(-1 - f). Solve 0 = -3*u - 5*z, 0 = -y*u - 5*z - 7 - d for u.
-5
Suppose -23*k = -3*k - 22*k + 8. Solve -5*q = -6*q + 6*p + 20, 8 = -2*q - k*p for q.
2
Let c be 3/((-21)/2) + (7380/252 - 12). Solve -3*w - w - 3*p - 1 = 0, w - 5*p - c = 0 for w.
2
Suppose -8*w = -3419 + 3379. Solve -y + 42*v + 13 = 46*v, -y = 2*v - w for y.
-3
Suppose 5*n + 90 = 5*c, 4*n = c + 243 - 300. Suppose -3 - 2 = -y. Suppose 0 = -5*l + 204 + 16. Solve 0 = 3*p + 2*j - 18, 0 = -y*p - c*j - 9 + l for p.
4
Suppose -2*z + 10 = 3*v, 2*z - 5*v + 4*v - 10 = 0. Let r = 320 + 137. Let x = 464 - r. Solve l + 3*l - q = x, z*q + 11 = -4*l for l.
1
Suppose b - 66*x + 64*x - 4 = 0, 5*b = 3*x + 20. Solve 2*t - 3*u - 7 = 0, t + 0*t = -b*u - 24 for t.
-4
Let x(a) = 2*a - 41. Let i be x(23). Solve i*t = l - 4, 3*t + 3*l - 9 - 3 = 0 for t.
0
Let q(r) = -2*r**2 - 8*r - 2. Let f be q(-7). Let g = -39 - f. Let x be g/15*9/6*8. Solve -3*v - 4*d = -2, x*d + 2 = -v - 0*v for v.
2
Let s be 1 + 3 - (-41 - (27 - 70)). Let c = -2 + 1. Let f be 2 - (-1)/c*0. Solve 0 = -s*w - f*b, -w - 8 = -5*w - 2*b for w.
4
Let o be (10 + 2)/3 + -2. Suppose -c - o = -24. Suppose -5*u = -4*w - w + 10, -4*u + c = 2*w. Solve 2*p - u = -p - 3*q, 3*p + q - 3 = 0 for p.
1
Let c(r) = 6*r**2 - 14*r + 43. Let h be c(5). Suppose -117 = 3*z - h. Solve 6*n = -w + n - 18, 0 = z*w - n + 3 for w.
-3
Let g be -8 + 7 + -1 + (-50 - -52). Solve -2*h + 3*o = o - 4, -4*h - o - 7 = g for h.
-1
Let m(b) = -5*b**2 + 40*b. Let j be m(8). Suppose 8*n + 5*i = 3*n + 15, 5*n - 15 = -3*i. Solve 11 = -n*s + z, j*z + 3 = -4*s - z for s.
-2
Suppose 0 = 4*q + 35 - 3. Suppose -4*o - 28 = -5*p, o + 2*p = -2*o + 2. Let g be o/(-6)*q*-3. Solve -8 = -4*v, -v + 0 = 2*d - g for d.
3
Let d(b) = b**2 - b - 2. Let m be d(-2). Let y(f) = 14*f - 14*f + 161 - 22*f - 6*f. Let t be y(5). Solve t = 3*c - 3*x, -4*c - 4*x - m = -0*c for c.
3
Let w(b) = b**3 + 19*b**2 + 20*b + 34. Let l be w(-18). Let v be l + (0 - 16/(-8)). Solve v = h - 5*h - 3*a, -3*h = -4*a for h.
0
Let g = 0 - -2. Suppose -3*k + 13 = -11. Suppose -4*j + k = -3*i, -2*j + 3 = -3*i + 5. Solve -3*r = -2*b - 4*r + 15, -b = -g*r + j for b.
5
Let c(q) be the first derivative of q**3/3 - 7*q - 31. Let m be c(2). Let x be (18/m)/(4/(-2)). Solve -4*k + x*z - 4*z = 5, -z - 4 = 3*k for k.
-1
Let w = -343 + 343. Suppose 5*i + 3 = 53. Solve -a + 2*o - 2 = w, o - 3*o + i = -5*a for a.
-2
Let p(s) = -16*s - 125. Let f be p(-8). Suppose 0 = 4*c + 5*k - f, -2*c + k = -6 + 1. Solve -z - c = o, -5*o + 0*z + 2*z + 25 = 0 for o.
3
Let s = -747 + 398. Let v = 353 + s. Solve -2*i = v*a + 14, a + 4 = -i - 2 for i.
-5
Let w be (-1)/1 - (-33 + -3 - -2). Let j be -4 - 294/(-77) - (-138)/w. Let y = 8 - 6. Solve y*l + x = -11, 2*l = -j*x + x - 21 for l.
-3
Suppose 15*h = 14*h + 20. Let i = h - 10. Suppose -2*v + i = -0*v. Solve -3*j + 2*u + 3 = -2*j, -v*u = j - 10 for j.
5
Suppose 0 = 313*c - 311*c - 10. Solve 0 = -4*x + 3*g, -x - c*g = 25 - 2 for x.
-3
Let y(s) = -2*s**3 + 24*s**2 - 27*s + 69. Let p be y(11). Solve p*w - 16*w - 7 = 3*b, b + 9 = -4*w for b.
-1
Let o(m) = 18*m**3 + 2*m**2 + 3*m - 3. Let j(d) = -6*d + 25. Let k be j(4). Let x be o(k). Solve t = -4*u + 16, -4*u + x = 4*t + u for t.
0
Let n = -289 - -294. Solve t = 4*y - 3, 3*t + n*y - 3*y = 5 for t.
1
Let m be (-2)/8 - (-389)/4. Let q(b) = b - 58. Let t be q(70). Suppose 0 = 94*g - m*g + t. Solve g*s = -3*x - 4, s + 2*s - 4*x = 22 for s.
2
Let l(p) = -p + 30. Let q be 29*4/6 - (-68)/102. Let h be l(q). Solve -m - h = -3*o - 0*o, -3*m = -5*o + 18 for m.
-1
Let b(g) = -g**3 - 4*g**2 + 8*g + 35. Let d be b(-3). Suppose -6*f + 3*f - 23 = -d*o, -3*o + 2*f + 32 = 0. Solve k - 4*k = -5*i + o, -i = 3*k - 2 for i.
2
Let f = 12482 + -12477. Solve -f*m = 7*s - 2*s - 5, -1 = 3*s + 2*m for s.
-3
Let q(t) = 342*t - 1706. Let z be q(5). Solve a = 3*k - 15, z*a = -a - 3*k + 15 for a.
0
Let u(i) = -656*i**3 + 50*i + 18 + 655*i**3 + 12*i. Let a be u(8). Let m be ((-2)/(-6) + 1)*3. Solve -m*o - a*y + 4 = -18, 3*o - 3*y - 12 = 0 for o.
5
Let o be 1/(-2) + 14/4. Suppose -s = 3*b - 14, 2*b + 164*s = 165*s - 4. Solve a = 5*t, -b*a - o*a + t = 0 for a.
0
Suppose -40 = -9*g + 5. Let d(f) = 264*f**3 + f**2 - 2*f + 2. Let j be d(2). Let z be j/105 + 4/(-30). Solve 2*n + 2*n + 4*o - z = 0, -n - 3*o = -g for n.
5
Suppose 2 + 45 = -o. Let p = o - -48. Solve -3*u - 4*t = -3, 0 = -2*u + 3*t - p + 3 for u.
1
Let w = -3273 + 3276. Solve -4*m - 3 = -5*s, 2*m = 37*s - 36*s - w for s.
-1
Let m(p) = -7*p**2 + 2*p - 2. Let h be m(2). Let s(k) = 2*k + 58. Let w be s(h). Suppose 11*d = w*d + 45. Solve 4*c + 0*c + 3*z = -d, c = 4*z - 7 for c.
-3
Let r = 711 + -718. Let u be ((-2)/r)/(35/490). Solve 2*t = -5*n - 12, 3*n - t + u*t = 0 for n.
-4
Let i = -90 + 110. Let c be i/1 - (-13)/(104/32). Suppose 0 = -5*k - 2*y + 3*y + c, -3*k + 4 = 2*y. Solve -t + 4*t = -3*r, -k*t - 30 = -2*r for t.
-5
Suppose -16*w + 2*y + 17 = -15*w, -20 = -w + 3*y. Suppose -13*v + w = -15. Solve -8 = -4*x - 4*j, -4*x + x + v = -j for x.
1
Let q(x) = x**3 + 9*x**2 + 11*x + 26. Let g be q(-8). Let p(h) = -2*h**3 - 11*h**2 + 6*h + 5. Let a be p(-6). Solve 2*d = 3*d + 3, g*d = m - a for m.
-1
Let j = 541 + -537. Suppose 0 = -0*x - x + j*k + 12, 16 = 5*x + 2*k. Solve x*g - a + 1 = -0*a, 3*g + a = 8 for g.
1
Let a be (-3 + (-9)/(-2))/((-3)/18). Let r be (-1 - a)/((-4 - -8)/2). Solve 3*t = -r*x + 15, x - 3*t + 3 = -12 for x.
0
Suppose 127 - 10 = 13*t. Suppose 2*k - 2*h + 4 = 0, -3*k = -2*h - t + 11. Solve -4*o - 21 = 3*c - 8, -k*c - 2 = -4*o for c.
-3
Let b(w) = 13*w + 57. Let z = 511 + -515. Let h be b(z). Solve -h - 3 = -4*j + 3*v, -j = -v - 2 for j.
2
Let u be 14 + -23 + 66 + -53. Let j = -15 - -26. Solve -5*o + l = j, l = -u*o - l - 6 for o.
-2
Let f(a) = 32*a - 861. Let t be f(27). Solve -u = -3*m + 3, -m = -3*m + t*u + 2 for m.
1
Suppose -3*i = -5*c + 92, -c + 2 + 22 = -2*i. Suppose c = 3*g + 4*b - 5, 4*g - 6 = 2*b. Solve -4*f - 21 = 3*v, 0*v = -3*v + 4*f + g for v.
-3
Let s = -278 + 280. Suppose s*q = -3*b - 2*q - 8, 2 = 2*b - q. Solve b = g + 4*c - 24, -c = -3*g + g + 3 for g.
4
Let h(a) be the first derivative of -5*a**3/3 - 29*a**2/2 - 12*a + 55. Let u be h(-5). Solve 4*r + x + x = -2, 3*x + u = -r for r.
1
Suppose 0*k - 24*k + 2*k = 0. Solve 0 = t - 4, k*b + 8 = 4*b + 5*t for b.
-3
Let b be 3*-4 - -16*60/80. Solve 10*q - 8*q + 10 = -c, b = 2*c - 5*q - 7 for c.
-4
Suppose 0 = 34*p + 9*p - 159 - 13. Solve -5*r + 3*j = -2*j + 10, p*r = j - 2 for r.
0
Let q(p) = -1 - 23*p + 50*p - 26*p. Let f be q(3). Let x be -14*((-5)/f)/5. Solve g - x = 2*c - 3, -4 = -g - 4*c for g.
4
Suppose 12*b + 11 - 107 = 0. Let g be (-10)/(-4)*b/4. Solve 4*t + 4 = -x, 0*x + g*x = 2*t + 2 for t.
-1
Let f be ((-8)/(-6))/(-15*(-5)/225). Solve -5*k + 7*k + 4*v + 16 = 0, 0 = f*k + 2*v + 2 for k.
2
Let t = 2041 + -2036. Solve -t*w = j - 3*j - 9, -j - w + 6 = 0 for j.
3
Suppose -211*t = -187*t - 3672. Solve -3*j + 3*f = 6, 7 = -3*j - 149*f + t*f for j.
-1
Let x(k) = -7*k**2 + 13*k + 26. Let h(s) = s**2 - s - 1. Let r(g) = 6*h(g) + x(g). Let t be r(9). Solve -4*b = -b + 5*p + 1, t*p = 5*b - 19 for b.
3
Suppose -122*n = 91*n - 47*n - 6806. Solve n = -4*i + 5*r, -i + 21*r + 6 = 23*r for i.
-4
Let f(a) = -4*a + 16. Let p be f(3). Solve l + 0*l + 2*h + 10 = 0, -2*l = -p*h - 20 for l.
0
Let h(a) = -a**3 + a**2 + a + 2. Let u(i) = 5*i**3 - 4*i**2 - 12*i - 11. Let y(c) = -4*h(c) - u(c). Let f be y(3). Solve f*g - 3*g = 5*r - 1, 1 = g + r for g.
2
Let i(a) be the first derivative of -a**4/4 + 8*a**3/3 - 5*a**2/2 - 9*a + 18. Let l be i(7). Solve -2*r + l*j = 29, 2*r + 5*j + 5 = 26 for r.
-2
Let v(u) = -2*u - 16. Let c be v(-7). Let b be -2 + 2 - 3 - 10/c. Let h(o) = 15*o - 5. Let w be h(b). Solve 0 = -5*q + w, g - q + 5 = -2*g for g.
0
Let k(j) = 193*j + 3098. Let f be k(-