-2*t - x for t.
0
Let u(f) = -36*f - 468. Let q be u(-13). Solve -18*h - 5*s = -20*h, -2*s + 4 = q for h.
5
Let k(n) = -n**3 + 6*n**2 + 5*n - 7. Let s be k(6). Suppose s + 117 = 28*v. Solve -14 = -3*q - 0*q - 5*r, -v*r = q - 18 for q.
-2
Suppose 164 - 32 = 23*d - 6. Solve -5*f - r = 0, 0 = f - 3*r + 10 + d for f.
-1
Suppose -3*g + 3*l = -9, 8 - 3 = -g - 3*l. Let c be (-7 - -12) + 0/g. Solve c = -z, -3*x - 18 = 5*z - 8 for x.
5
Let s be 4/6*(-8 + -13 + 24). Suppose -3*v - 8 = -23. Solve -s*o = 4*a + 12 + 18, -o - 30 = v*a for a.
-5
Suppose 176*h + 174*h = 354*h - 4. Solve -4*d = 4*y + 16, 7 = -2*d - 4*y + h for d.
-5
Let u(b) = 3*b**2 + 5*b + 5. Let i be u(-2). Suppose 3 = i*q - 6*q. Suppose 3*y = -15, 4*l - q*y + 3 = -6*y. Solve 3*m = 3*v - 21, 0*v + 2*v - 18 = l*m for m.
-4
Suppose 4*p - 9*p - 385 = 0. Let d = 99 + p. Suppose d = 4*w - 5*h, 5*w + 3*h = 1 + 8. Solve -4*g - 27 = -5*q - 0, -w*g - 9 = 0 for q.
3
Let l = 617 - 456. Let d = -156 + l. Solve -5*a + 34 = c - 4*c, -3*a - d*c = 0 for a.
5
Let b be (3 - (-3 + 7))/(28/(-84)). Solve b*d = -3*w + 12, 18*w - 4*d = 15*w + 12 for w.
4
Suppose -2*r + 2 = 4*g, -8 = 5*g - 5*r + 12. Let f be -95 - -96 - 1*8/g. Solve -2*p + 1 = -0*j - j, 3*p = 3*j + f for p.
-2
Suppose 3*a - 17 = v, a - 19*v = -23*v - 29. Solve 10 = a*j + l, 3 = -5*j - l + 17 for j.
2
Let n = -37 - -39. Suppose -8*j + n*j = 6. Let h be (-1)/(j/7) + -3. Solve -h*v + 7 = 3*k - 3*v, -5*v = -4*k - 16 for k.
1
Let y(l) = l**3 - 6*l**2 + 45*l - 200. Let i be y(5). Solve -f - 3*g + i + 7 = 0, -1 = -f + 3*g for f.
4
Suppose 0 = -2*n - 469 - 451. Let u = -455 - n. Solve -u*t + 6*t - 4*m + 4 = 0, 4*t = m - 16 for t.
-4
Suppose -2*r = -0*r + f - 7, -4*f - 8 = -4*r. Let h = -565 - -565. Solve -16 = r*k - 5*g, -3*g = -h*k - 5*k - 16 for k.
-2
Let m = 18 + 28. Suppose 4*a = 5*r + 48, 3*a - 5*r - m + 15 = 0. Suppose -a = -2*q - q - 2*f, -5*q = -3*f - 3. Solve -5*s = -n + 20, -q*n - 2*s + 3 = 2*s for n.
5
Let i be (32/2)/2*(-2 - -7). Let x = i - 36. Solve -x*b + 10 = 2*v, 2*v = 3*b - v + 15 for b.
0
Suppose 15 - 43 = -4*r. Let f be 7462/3640 - 5/100. Suppose 0 = 5*n - 10, -3*p - 35 = -8*p - 5*n. Solve -p*w - r = -h - f*h, 0 = 2*w + 4*h + 8 for w.
-2
Let f(c) = 5*c + 39 - 4*c**2 - 5*c**2 - 127*c + 25*c - 11. Let j be f(-11). Solve -4*m - y - 8 = 0, j + 4 = -5*m - 3*y for m.
-2
Suppose 3*f - 2*h + 424 = 0, 164 = -5*f + 5*h - 546. Let j = f - -151. Solve -x + j = 3*t, -20 = -7*x + 3*x - 4*t for x.
2
Let q be (-24 + 6/3)*(8 + -9). Suppose q = 4*o + l, 5*o - 18 - 3 = 2*l. Solve -z + 8 = o*s, 0*s - s = -2 for z.
-2
Let v(q) = q**2 - 3*q + 2. Let x be v(3). Let j be (-57)/(-15) - x/20*-2. Solve -j*c - 3*z + 6*z - 2 = 0, -5*z - 2 = -4*c for c.
-2
Let d(a) = 2*a**2 - 3*a + 84. Let p be d(0). Suppose p = 2*m + 4*t, 2*m - 60 = -t + 9. Suppose m*g = 37*g - 10. Solve -4*f = g*h + 5 + 1, -2*f + 9 = 5*h for f.
-3
Suppose -3*p = -6, -2*c + 7*c - 2*p = 566. Let g be (c/42 - 2) + 2/7. Solve -4*y - 3*l + 1 = -g, -4*l = 8 for y.
2
Let r(x) = -x**3 - 21*x**2 + 17*x - 106. Let k be r(-22). Solve 24 = -k*i - 4*o, 0*o - 3*o = -i + 10 for i.
-2
Let a = 336 + -332. Suppose -4*x = 62 - 82. Let m(b) = -b**3 - 4*b**2 - 2*b + 4. Let n be m(-3). Solve 0 = a*u + 20, 4*h = x*h - u - n for h.
-4
Let u = 14916 + -14912. Solve -3*l - 15 = q, 7*q + 9 = u*q for l.
-4
Suppose 2*q - 35*w = -40*w + 14, -4*q + w + 6 = 0. Solve -4*m - q*j + 8 = -2*m, 5*j - 24 = -m for m.
-1
Suppose 0*x = x - 2. Suppose 30812*a - 4*l = 30815*a - 57, 0 = -5*a + 6*l - 57. Solve a*s - s = -2*q + x, -1 = -3*s - q for s.
0
Let x be 7/2 + (-1)/2. Let y be 1/((6/30)/((-4)/(-10))). Solve x*a + 4 = -y*w + 2*a, 2*a = 4*w for w.
-1
Let q = 1130 - 1126. Suppose -3*w + 0*w = -12. Suppose -4*j - 8 = w*u, -2*j + 3*u + 20 = -u. Solve -k = j*k + 3*s, 2*k - q*s = 0 for k.
0
Suppose -2*o - 5 + 39 = 5*j, 2*j = -4. Suppose 2*g = 38 + o. Suppose -5*a + u + 4*u = -g, -2*a = -4*u - 14. Solve 4*r - 5*f = a, -r = f - 2 - 6 for r.
5
Suppose a - 5 + 0 = 0. Suppose 4*j - a*x - 8 = 1, -4*j = -3*x - 7. Suppose 2*g + 5*b = 32 + j, 0 = -3*b + 15. Solve -2*f - 5*c - 10 = f, -2*f - 2*c = g for f.
0
Suppose 2*i - 5*w = -55, 3*i - 5*w = 7*i + 125. Let c be ((-24)/i)/((-42)/15 - -3). Let l be 0 + 2 - (2 - 2). Solve -b = l*z - c, 0 + 3 = -3*z + 3*b for z.
1
Let g = 25 + -27. Let s be (-3)/2 + g/4 + -86. Let v = s - -93. Solve v*l = -2*x - 19, l = -4*l + 2*x - 11 for l.
-3
Suppose 2 = 4*x - 6. Let g be -10 - (-5 + 6 - 6) - 3. Let h be x + (-22)/(-8) + (-2)/g. Solve -2*r = -5*r - 4*s + h, -2*r - 20 = -2*s for r.
-5
Let n(j) = 48*j - 1. Let z be n(-19). Let x = -911 - z. Solve 4*a - 16 = 0, -4*f + 30 - x = 4*a for f.
3
Let x(a) be the first derivative of -7*a**2 + 100*a - 6. Let i be x(7). Solve -b = 3*b - 3*m, -3*b + i*m = 0 for b.
0
Suppose -d - 17 = 5*j, -10*d - 5*j + 7 = -6*d. Suppose -v = y - d, 9*v + 3*y = 5*v + 29. Solve 5*a - 6 = 4*u - 2*u, 3*u = -v*a - 9 for a.
0
Let d be 22/187 + 784/272. Solve -3*v - 13*m = -12*m - 3, v - d*m = 21 for v.
3
Suppose z + 3*z + 172 = 0. Suppose j - 2*d + 11 - 51 = 0, d + 44 = j. Let h = z + j. Solve -f + 13 = -b + 4*f, 5*f - h = 5*b for b.
2
Let g = -4701 + 4701. Solve -2*r + 4 = -z - 6, -z + 3*r - 17 = g for z.
4
Suppose -14*q = -12*q + 8. Let p be (2/q)/((-2)/52). Suppose -p = -2*y - 3. Solve y*i + 12 - 41 = 2*b, -3*i = b - 13 for i.
5
Let q = -18104 + 18107. Solve h = -q*f + 5, 6*h = -2*f + 4*h + 2 for f.
2
Suppose 3*r - 2 = -3*n - 20, -4*n + 5*r + 12 = 0. Let j be -1 + 0 + n*6/(-4). Solve j + 2 = -m, -m + 11 = 3*y for y.
5
Let m be (-3)/5 - 560/(-100). Solve -4*r = 5*q + 32, 2*q - m = -13 for r.
-3
Suppose 15*f - 21 = 234. Let k = -3 + f. Solve -4*l - k = 3*o, 3*o + 5 - 36 = 5*l for l.
-5
Let v(m) = 11*m**2 + 6 - 4 - 4*m**2 - 2*m - 21 - m**3. Let r = -72 - -78. Let g be v(r). Solve 5*t = 5*a + 2*t - 19, g*a - t - 13 = 0 for a.
2
Let u(k) = k**3 + 2*k**2 - 2*k + 1. Let f be u(1). Suppose f*c + 7 - 15 = 2*g, 3*c = -3*g. Solve 3*v + 12 = 0, -1 = c*h - 2*v - 5 for h.
-2
Let k = 135 - 117. Suppose 0 = -5*b - t - 3 + k, b + 3 = t. Solve 20 = -4*x - 5*i, -b*x - x + 4 = -i for x.
0
Let f = 3111 + -3111. Solve f = -p + 4*p - 12, -4*b = 3*p + 8 for b.
-5
Let v(x) = x**3 - 20*x**2 + 95*x - 1380. Let m be v(19). Solve 4*i - 25 = -m*l + 59*l, -4*i - 20 = -4*l for i.
0
Let j be 1*1*-43 - -2. Suppose 16*i = i + 645. Let f = j + i. Solve -5*y - n = -4, 6*n = f*n + 16 for y.
0
Suppose 5*x - 5*h + 20 = 0, h - 3*h = 5*x - 15. Let c(g) = 12*g - 1. Let m be c(x). Solve a + 2*w - m = 0, a + w = 2*a + 4 for a.
1
Let x be 32 + (2 - (2 - -1)). Suppose l - 3*h + 11 = x, 5*h = 4*l - 45. Let t(j) = 5*j + 19. Let n be t(-3). Solve -3*g - 12 = 2*v - v, 16 = l*v - n*g for v.
0
Let t(m) = 349*m**2 - 4547*m + 133. Let o be t(13). Suppose -3*d = d - 92. Solve -o*y + y = 3*p - 13, -3*y = -4*p + d for y.
-1
Suppose 55*b + 45*b - 500 = 0. Solve -b*k = 20, -2*g - 5*k + 2*k = 20 for g.
-4
Suppose 0*w + 5*k - 30 = -5*w, -2 = 3*w - 2*k. Let t(b) = 8*b**2 - 12*b + 35. Let u be t(4). Let c = -110 + u. Solve 4*j = 5*q + c, -w*q + 6*q + 10 = 2*j for q.
-5
Let m(t) be the first derivative of -t**3/3 + 3*t**2/2 + 20*t + 98. Let v be m(6). Solve z + 2*u + 6 - 5 = 0, 11 = -3*z + v*u for z.
-3
Suppose -219*m = -209*m - 28 - 12. Let j(n) = -n**3 - 6*n**2 + 7*n + 3. Let t be j(-7). Solve 2*g = 5*r + 31, r - 4 = -m*g + t for g.
3
Let m(s) = -3*s**3 + 47*s**2 + 67*s + 23. Let g be m(17). Solve -w + 4*y = 3*y + g, -14 = 5*w + 3*y for w.
-4
Suppose -11 = -4*s + 1. Suppose 0 = c, i + s*c - c = 2. Suppose i*t = 4*b + 40, -55 = -t - 3*t + 3*b. Solve t = 3*r - 4*p, -r = 2*p - 6*p - 14 for r.
-2
Let u(p) = -p**2 - 56*p - 692. Let b be u(-19). Solve 2*l + 2 = 10*r - b*r, -l - r = -1 for l.
-3
Suppose -3*i = -41 - 4. Suppose -5*m + i = 2*u, 0*u = 2*u. Suppose -204*r = -203*r - m. Solve -4*w + 2 + 15 = r*t, 30 = 5*w - 5*t for w.
5
Suppose -86 = -12*k - 184 + 134. Solve 0 = -k*t - 5*h + 8, -3*h - 139 = -t - 127 for t.
6
Let h(q) = q**2 + 18*q - 51. Let p be h(-22). Let k = -35 + p. Let d = -11 + 22. Solve 3*a + d = -1, 0 = b - k*a - 8 for b.
0
Suppose 100 = -10*o + 35*o. Solve 5*a - 27 = 3*n, -17*n + 21 = -20*n + o*a for n.
1
Suppose 423 = 6*i + 405. Suppose 6 = i*f - 3, -4*f = -3*h + 27. Solve 5*x = -2*m + 30, -m + 2*m - h = -2*x for m.
5
Let r(n) = n**2 - 21*n 