 - t for d.
-2
Suppose r + 8 = -3*p, -3*r - 84 = -p - 2*p. Let k(m) = -24*m + 411. Let d be k(16). Let h = d + r. Solve 4*g = -t + 6*t + 7, -2*t = -h*g - 2 for t.
-3
Let d be 1 - ((-28)/10 + 18/(-15)). Solve -8 = -4*g, -g + 13 - 1 = d*l for l.
2
Suppose 0 = -6*h + 215 - 167. Solve g = -5*o + 2 - h, 14 = g - 5*o for g.
4
Let k(q) = q**2 - 5*q + 6. Let u be k(4). Solve -5*b = -t - 4, 2*t - u*b + 6 = -2 for t.
-4
Let h be (-702)/(-10) + 3 + (-48)/15. Let c = -70 + h. Solve 0 = -2*m + 3*b - 4, -5*m + 3*b + 9 - 1 = c for m.
4
Suppose -2*w - 7*k + 4*k + 63 = 0, 3*w - 108 = -9*k. Solve 5*g + w = -5*m + 62, 25 = 3*g + 5*m for g.
5
Suppose 61*z - 144 = 13*z. Solve -3*u + 15 = j, -4*j + 6*u - z*u - 15 = 0 for j.
0
Let v be 17/1 - -1 - 28/7. Solve -3*y + 4*y - 5*a = v, -2*y - 5*a = 17 for y.
-1
Let h be 96/(-240) + 8/20. Solve -g - 4 = h, -1 - 7 = 5*z - 3*g for z.
-4
Suppose -140 = 5*c + 2*l - 3*l, 2*c + 4*l = -78. Let z = 8 - c. Solve 0*u = 5*q - u - 28, 5*q - z = 4*u for q.
5
Suppose -11*q = -13*q + 6. Suppose 3*w = -2*d + 4*w + 1, -17 = -4*d - q*w. Solve 3 = g + d*g + r, 5*g + 5*r + 5 = 0 for g.
2
Let h be (-4 - -10)*1 - 4. Solve -5*b - 5*v = 40, h*b + 0*v - 3*v = 9 for b.
-3
Let n(f) = -f**3 + 9*f**2 - 10*f + 3. Let d be n(8). Let a be (d + 24)*(0 + 1). Solve -32 = 4*k - r - a, -k - 4*r + 16 = 0 for k.
-4
Suppose -d = -2*d + 5. Suppose r + 3 - d = 0. Let n = 0 + r. Solve 0 = 2*l + 2*w - n, -4*l - 5*w = -2*w - 4 for l.
1
Suppose -10 = 2*q - 4*w, -q + 4*q - 4*w + 9 = 0. Solve 0 = -3*m + 2*l - 1, 4*m - 5*l = q - 7 for m.
1
Suppose -16 = 7*o - 51. Solve -b = -o*i - 27, 2*i - 5*b + 24 = 4 for i.
-5
Let g = 18 - 15. Suppose -q - q - 3*o = -8, 4*q - g*o = -20. Let a be 1*(-3 + (-12)/q). Solve 0 = m - 5*n - 6, m + a*n - 2*n = 0 for m.
1
Let u = -580 - -584. Solve 5*s = 4*p - 0*p - 11, -5*p = -u*s - 16 for s.
1
Suppose 0 = 2*l - 41 + 37. Solve 4*i + 3*z + 27 = -2*z, -l*z - 21 = 5*i for i.
-3
Suppose 5*s - 11 = 4. Let d = 54 + -49. Suppose -4*y = -3*y, 0 = 3*k - d*y - 6. Solve -k*g + 3*v = 10 - 1, 5*v - 15 = -s*g for g.
0
Let q be 2/(-4)*-1*8. Let b = 20783 - 20771. Solve -3*f = -4*g - b, 5*g - 2*f = -f - q for g.
0
Let j(h) = -4*h + 48. Let o be j(8). Let t be -1 + o + 0 + 1. Solve 4*w = z, 5*z - 6*w = -2*w - t for z.
-4
Suppose -6*b + 8*b - 8 = 0. Let a be 6 - 15/(1 + b). Solve 2*h - 3 = n, -4*h + a = 5*n + 4 for n.
-1
Let v = 7 - 3. Let u = 85 + -64. Let p be 66/u - v/28. Solve 0 = -j - h - 6, -2*j - j + 12 = -p*h for j.
-1
Let p(r) = -r**3 + 7*r**2 - 6*r + 5. Let t be p(6). Let n = 82 - 77. Solve -n = -2*q - t*m + 17, 4*q - 5*m + 16 = 0 for q.
1
Suppose -2*i - 47 = -3*t, -2*t - 3*i + 28 = -25. Suppose c - 5*a - t = -c, 0 = 2*a + 6. Solve 6 = -3*h - 3*g, 4*h + g = c*g + 7 for h.
1
Suppose 2*h = -209 + 237. Solve -3*k + 13 = -4*z, -z + 5*z + h = 2*k for z.
-4
Suppose 21*z - 12 = 19*z. Let o(y) = y**3 - 5*y**2 - 3*y - 4. Let w be o(z). Solve 2*t - v - v = -w, 2*t = 3*v - 19 for t.
-2
Let h(j) = 43*j + 133. Let q be h(-3). Solve q*i = 4, 0*f - 3*f + 14 = -i for f.
5
Let q = -127 - -137. Solve 22 = -p + 5*z, 3*z - q = -3*p - z for p.
-2
Suppose -5*u - 11 = 2*d, -5*u - 1 = 5*d + 4. Suppose -3*h + 11 = -2*h + d*w, -h - w = -7. Solve -h*f - 20 = 2*f + 5*v, f + 10 = -4*v for f.
-2
Let h = -64 + 34. Let b be 38/12 + 5/h. Solve 12 = 2*l - 4*r, b*l + 5*r + 22 = 2*l for l.
-2
Let j(a) = a**3 - 2*a**2 - 4. Let l be j(4). Let w = -753 + 734. Let p = l + w. Solve -2*c + p*t - 4*t + 3 = 0, -4*c - 7 = 3*t for c.
-1
Let u be 8/(-6)*(-27)/18. Suppose u*s + 3 = -27. Let y be (-24)/s - 2/(-5). Solve y*q - 1 = 5*a, -5*a + 0 = 5 for q.
-2
Let z be 3 + (-5 + 33/6)*2. Suppose 5*l + 50 = 5*f - 0, -5*l - 39 = -4*f. Solve -t + f = -z*y + 2*t, -y = -3*t + 14 for y.
1
Suppose 17*d = 12*d + 750. Suppose -3*f = -8*f + d. Solve -5*m = -q - m + 3, 4*q + f = -5*m for q.
-5
Suppose 5*f = 8*f - 6. Let u be (0/4)/((-1)/(-1)). Suppose -p - 1 + 3 = u. Solve 2*w - 2 = 3*h + 1, -p*h = -f*w + 2 for w.
0
Suppose -2*k + 7*k - 4*w = -8, 2*k + 3*w + 17 = 0. Let j = k - -6. Let r be 33/44*((-8)/(-3) - 0). Solve -r*y + y + 4*t = 0, 2 = -j*t for y.
-4
Let k be 10 - ((-8)/(-3) + 10/(-15)). Solve 3*q = 5*y - 14, -3*q = -4*y + k + 2 for y.
4
Let g = 5 + -3. Solve 0 = 2*o - 5*p - 33, -3*o - 1 = -g*p - 23 for o.
4
Suppose 0 = 2*j - 4*k - 30, -4*j + 143 - 92 = k. Solve 2*s + 22 = -5*w, 4*w + 17*s + 20 = j*s for w.
-4
Let r be (-2)/(-8) + (-147)/12. Let n be (r/9 + 2)*3. Let m be (-40)/12*3/(-2). Solve 5*j = n*l + m, -10 + 1 = -3*j for l.
5
Suppose -z = 5 - 9. Suppose 2*b - 26 = z. Solve -3*g + 9 = -h, -4*g + 2*h = g - b for g.
3
Let c = -89 + 93. Solve 3*m = c*u - 15, 4*m + m - 10 = -5*u for u.
3
Suppose -1 = -3*k + 5. Let x be (2 - 3)/(k - 3). Suppose -q + 3 = -x. Solve -r = 0, -n + q*r - 4 = -5*n for n.
1
Let j(z) = 20 + 2*z - z - z + 3*z. Let o be j(-6). Suppose o*c - 38 = -4*l - 0*c, l - 11 = c. Solve 3*x + x + 28 = 5*d, -l = -4*d - 3*x for d.
4
Let k(p) = -p**2 + 23*p - 19. Let j be k(22). Let g(w) = w**3 - w. Let f be 2/6 - (-4)/6. Let r be g(f). Solve -y + j*h + 13 = r, 0 = -3*y + 2*h + 11 for y.
1
Let i(o) = -12*o - 26. Let l be i(-4). Let w be 70/(-4)*8/(-10). Let r = l - w. Solve -4*t - 7 = -5*a, -2*a - 2*t - r = -0*t for a.
-1
Let q = -26 - 19. Let m be q/(-5) + (-5 - -1). Solve -2*b = b, m*y = -3*b + 15 for y.
3
Suppose 0 = -11*g + 19 + 58. Solve -3*o + 2*c - 7 = g*c, 5*o + c + 19 = 0 for o.
-4
Suppose 6*d - 4*d - 34 = 0. Suppose -d = -5*w - g, 0*w + 4*g + 4 = 4*w. Solve -4 = -2*m, 4*z - w*m + 0*m = -22 for z.
-4
Let x = 36 - 31. Suppose 2*v - 6*v = -x*c - 7, 0 = 3*c - 5*v + 12. Solve 3*u = 0, 5*u + c = 2*t - 3*t for t.
-1
Suppose -38*y + 128 = -62. Solve -5*c - y = 3*o - 15, 2*c - 4*o - 30 = 0 for c.
5
Suppose h - 45 = -8*h. Solve -h*i = c - 4 - 3, 2*i = c for i.
1
Suppose 6*x - 15 - 93 = 0. Let z be (-3)/x*16*(-6)/4. Solve 2*i + 4*k = -2*i - z, -3*k = 2*i + 2 for i.
-1
Suppose 5*m = -2*m + 28. Suppose 2*r = 6 - m. Solve 4*d + 2*b + 9 - r = 0, 0 = 2*b + 4 for d.
-1
Suppose -8*c - 38*c = -138. Solve -5*y - q - 8 = -c*q, -4*q = -3*y - 2 for y.
-2
Let h(q) = -7*q**2 - 2 + q**3 - 7*q - 2 - 1. Let l be h(8). Suppose 3*o = -0*f - f + 3, l*f = -5*o + 17. Solve -i - 3 = -3*c + c, -4*c = 3*i + f for i.
-3
Let y(o) = 2*o**2 + o + 10. Let i be y(0). Let v be 6*-1*(-4)/(-6). Let m be v/i + 14/35. Solve m = 2*b + 5*a - 4 - 8, 0 = -b - 5*a + 11 for b.
1
Suppose 7*q - 282 + 212 = 0. Solve q*n - 6*n - 9 = -3*i, 0 = i - 3*n - 3 for i.
3
Suppose 3*r - 2 = 13. Let i be (6/10)/((-6)/(-120)). Let v = 11 - 7. Solve 2*q + 8 = 2*t, i = 4*t - r*q - v for t.
4
Let s(w) = w**3 - 13*w**2 + 12*w + 2. Suppose a = -3 + 15. Let f be s(a). Let j be 12/(-7)*(-21)/f. Solve -j = -2*g + 4*v, -3*v - 2*v = 5*g for g.
3
Suppose -2*s - 3*s + 41 = z, 0 = s. Let a = -38 + z. Solve 0 = -2*x + 3*m + 1, a = -x + 4*x - 5*m for x.
-4
Suppose 0 = 4*p - 3*d - 20, -41*d = -p - 42*d + 5. Solve 0 = p*h + 2*u - 6, h + 4*u = -2*h + 12 for h.
0
Let l be 1/((4/(-2))/(-56)). Let z be (-100)/6 - -3 - 2/6. Let x = z - -19. Solve 2*w + x*a - 11 - 9 = 0, 0 = -4*w - 4*a + l for w.
5
Let z = -1454 + 1461. Solve 0*q + 2*n = 3*q - z, -3*q + 5*n = 5 for q.
5
Suppose 19 = -7*z - 30. Let j(x) be the first derivative of -x**3/3 - 7*x**2/2 + 3*x + 2. Let l be j(z). Solve 2*k - u = 1, 2*k + 0 + 3 = -l*u for k.
0
Suppose -51*z + 19*z + 64 = 0. Solve -18 = 5*q + 4*g, -4 + z = -3*q + 4*g for q.
-2
Suppose -193 = -3*l - 178. Let c be (4/3)/((-2)/(-6)). Solve -l*v - 4*n = 1, -6*n = -4*v - c*n - 6 for v.
-1
Suppose 395 - 371 = 12*h. Solve -5*t = 4*m - 13, -h*m + 5*t = -3*m + 7 for m.
2
Let c be 3/(-1) - ((-48)/2)/3. Solve c*j - 5*o + 5 = 0, -4*j + 0*o - o + 21 = 0 for j.
4
Let x = 36 - 36. Let g = 2 + 32. Suppose -3*j + 26 = -g. Solve x = -4*r - 4*c - j, -3*c = 2*r + 5 + 8 for r.
-2
Let m = -83 + 97. Suppose -2*b + b = 3*v - m, 5*b = 2*v - 15. Solve -f + 6*f = -3*n - 28, -v*f - 22 = -3*n for f.
-5
Let d(g) = g - 10. Let k be d(16). Let b(y) = -y + 11. Let o be b(k). Solve 2*q + 25 = -q + 5*n, o*n - 35 = 5*q for q.
-5
Let y(h) = -14*h - 3 - 10*h**2 - 4*h - 2*h**3 + h**3. Let r be y(-8). Solve 3*o + w + 0*w = -r, -26 = 2*o + 5*w for o.
-3
Let r be 15/4 + (-1)/(-4). Suppose u - 2 = -2*b + 7, -3*u + 2*b + 19 = 0. Suppose -20 = 3*m - 8*m. Solve 5*d - r*g = -m, -2 = -5*d + 5*g