 -4*v - z + t = 0, v - z + 2 = 6 for v.
1
Let b be -2 + (-6 - 1 - -327). Let v = 323 - b. Solve 26 = v*w + 3*z, 3*w - w - 10 = -z for w.
4
Suppose 2*z = 0, -340 + 26 = -2*m - z. Suppose 10*x + 7 = m. Solve -4*b = 5*y + 11, -3*b - y = b + x for b.
-4
Let t = 31 - 61. Let q be (-10)/(-6) - 70/t. Suppose -q*j = -10*j + 12. Solve -u + 8 = u + 2*z, -4*u + 22 = -j*z for u.
5
Let r = -246 - -249. Suppose -13*u - r*b = -11*u + 9, 4*u = -2*b - 6. Solve u = -t + 2*d + 1, 4*d - 6 = 5*t + 7 for t.
-5
Let t = 22 - 2. Let r = 3524 - 3540. Let y = t + r. Solve 3*j = -5*n - 24, 5*n = j + y*j for n.
-3
Let c be (-3)/(6/(-28)) - (8 + 2). Solve -c*k = d - 0*k - 11, 2*k = d + 1 for d.
3
Let b = -5814 - -5818. Solve -3*d - 4*r + 8 = 0, -5*r + 53 - 12 = -b*d for d.
-4
Suppose 4*d + 3*r = 5*r + 30, -4*d - 4*r + 36 = 0. Suppose 0 = -7*v + 27 + d. Solve 2*t = -v*z + 28, 2*z - t = z for z.
4
Let w = 2 + 21. Suppose i + 23 = 4*y, 2*i + 3*i = -3*y + 23. Let z be (8/y)/(-6*(-7)/126). Solve z*g = -3*m - 14, 7*g - 2*g = -m - w for m.
2
Let t(o) = 9*o**3 - o**2 + 9*o - 7. Let k be t(2). Let s = k - 74. Solve 2*c = -5 - s, 3*q - 16 = 5*c for q.
-3
Suppose 11 = 2*m - 17. Let k be 112/18 + -1 - 282/1269. Suppose -k*r - 33 = -4*g, 0 = 3*g + 3*r - 14 + 23. Solve -6 = -4*t - q, -4*t = 3*q + g*q - m for t.
1
Let p = 15 - 13. Let k be (-8)/(-1) - (p - (-7)/7). Solve -k*n + 25 = -u + 6*u, -n - 1 = -u for n.
2
Let l = 9 + -9. Let j = 3 + l. Suppose -3*c = -0*c - 5*c. Solve 2*d + 15 = -0*r - j*r, c = -r - 5*d - 18 for r.
-3
Let q = -99 - -168. Suppose -r = 67 - q. Suppose -4*p + 53 = v, 7*p - r*p = -3*v + 61. Solve -x + 5*x = 5*g - 18, p = 3*g - 4*x for g.
2
Let z = -9 + 8. Let g be z*1 - 130/(-13). Solve -v - l - l + g = 0, 3*l = -2*v + 15 for v.
3
Let p = -47 - -37. Let y(l) = -11*l - 104. Let c be y(p). Solve 5*z - 6 - c = -2*r, -4*z = r - 12 for z.
4
Let y be (1971/(-6))/9*-2 - -4. Suppose -5*i - 75 = -5*n, -i - 6 = -5*n + y. Solve -4*f - 3*x = 2*x - 1, -5*f + n = x for f.
4
Suppose -4*c = c - 40. Suppose 12*f = c*f + 8. Suppose t = 3*g - 20, 9*g - 14*g + 40 = 5*t. Solve 0 = -3*x + f*u + g, 0 = -4*u + u - 6 for x.
1
Let l be (-1612)/(-16) + (-3)/(-12). Let q be (198/(-8))/((-43)/(-172)). Let f = q + l. Solve -f*y + 6 = o, y = -9*o + 4*o + 21 for y.
1
Let z(o) = -2*o**3 + 3*o - 3. Let v be z(1). Let l be (-3)/((-1 - v)*-1). Solve -18 = l*w + 3*g, -2 = -5*w - g - 12 for w.
-1
Let m be (-6 - (-41)/3) + 8 + 92/(-12). Solve 5 = -n + 4*i - 12, 4*n - i + m = 0 for n.
-1
Let o = 50 + -48. Suppose o = -2*s - 0*s. Let x be 5 + (0 - -1 - (2 + s)). Solve 4*u = -x*m - 13 + 3, -3*u - 13 = m for u.
-5
Let i = -105 - -117. Suppose 43*p = 39*p + i. Solve p*b = -b + r + 23, -2*r = -5*b + 31 for b.
5
Let y(t) = 2*t**3 + 8*t**2 + 3*t - 7. Let h be ((-3)/9)/(9/(-108)) - 7. Let u be y(h). Solve 0 = -5*b - u*n + 17, 2*n - 1 = -3*b + 6 for b.
5
Let o = -2 + 5. Let s(t) = -2*t**3 - 59*t**2 - 26*t + 89. Let x = 389 + -418. Let h be s(x). Solve -h*j + 11 = o*b, 3*j - 4*b + 2 = -7 for j.
1
Let m be 111/4 - 8/(-32). Suppose 4 + m = 16*r. Solve -3*w = 2*q + 2*w - 10, 2 = r*q + w for q.
0
Suppose -32*d + 18 = -26*d. Suppose 0 = -3*x - 0 - 6, -f - 6 = d*x. Solve -3*v = -4*u + 23, f = -5*v + 7*v + u - 3 for v.
-1
Let z(l) be the third derivative of -l**4/4 - 7*l**3/6 + 11*l**2. Let j be z(-2). Suppose -4 = j*r - 29. Solve -8 = -4*c + k, -r*c - 3*k = k - 10 for c.
2
Suppose -4*d + 108 = 4*o, -5*d = 47 - 42. Solve -13 = p + 2*l, 5*p + o + 1 = -l for p.
-5
Let l be 11 + (-5 - -4) + (-9 + 2 - 1). Solve -l*q + 6*q = u - 25, 5*q + 4*u + 5 = 0 for q.
-5
Let b be (-4)/(8/(-6)) + 1 + 1. Let m(d) = -3 - 4*d**2 - b - d + 9 - d**3 - 2*d**2. Let f be m(-6). Solve 3*v = -5*z + f*v + 20, 0 = 4*v for z.
4
Let p(w) = 2*w**3 - w**2 + 2*w - 2. Let a be (6/4)/((-18)/(-24)). Let t be p(a). Solve 2*l = -l + 4*v + 19, -4*v = 2*l + t for l.
1
Suppose 3*a = 5*a + 2*r - 162, 0 = 3*a + 4*r - 238. Let t = -84 + a. Suppose 0 = 2*i - 3 - 7. Solve -x = 5*k - 24, -t*k + i - 1 = -x for k.
4
Suppose -10*l + 24650 = 23840. Solve 84 = b + l, -5*b + 13 = k for k.
-2
Suppose 3*i - 3 - 7 = -4*a, -3*a = i. Suppose i = x + s, -s + 16 = 3*x - 0. Solve x*v + 0*z + 10 = -3*z, -4*v = -3*z + 8 for v.
-2
Suppose -4*b = -12 + 4. Suppose -b*r + 86 = 68. Solve -l + 4*k = -3, 2*l = -2*l - 5*k - r for l.
-1
Suppose 0 = 3*h - 2*i - 149, 164 = -2*h - 5*i + 257. Solve l + 45*t = h*t + 23, -4*l + 17 = -t for l.
3
Suppose 3*n + 2 = 3 + 8. Solve -g - 5*v = 27, -g - 5*v = n*g + 33 for g.
-2
Let h(c) = c**2 - 5*c - 46. Let b be h(-5). Suppose -10*s = -b*s - 24. Let g be -5*(8/s)/(-2). Solve r + 25 = -g*j, -4*r - 13 = -j + 3 for j.
-4
Let x be (-1 - 1)*13/(117/(-45)). Solve 2*d = -12*f + x*f - 2, -11 = -f + 2*d for f.
3
Let t(c) = c**2 - 29*c + 107. Let f be t(4). Solve -3*y + 15 = -3*l, -2*y - 2*l + f*l = -19 for y.
2
Suppose -30 = -2*f - f. Suppose f = 14*l - 4*l. Let t be (33 - 34) + 10/(l*2). Solve -5*k - 10 = -3*v + 21, -5*v + t*k = -30 for v.
2
Suppose -u = 4*u + 15, -4*u - 24 = -3*d. Let l be 7 + -12 + 12 + (2 - 9). Solve d*s + 5*r = l, -2*s = -7*s + 2*r + 33 for s.
5
Let c(n) = n**2 + 12*n + 2. Suppose o = -5*z + 2*o, z = 5*o. Suppose 5*t + 60 + 0 = z. Let y be c(t). Solve -b + 3 = 4*d - 2*b, -b = y*d - 9 for d.
2
Let t be (11 - -4) + 12/(-30)*-10 + -1. Solve -5*i = -k + t, -12 - 6 = 4*i - 2*k for i.
-3
Let o = 342 + -348. Let t be 1 + 5 + 24/o. Solve 2*p = t*g, -5*g - 30 = 5*p - 0*p for g.
-3
Let h = -4584 - -4588. Solve 29*o - 26*o = h*q - 6, 5*q + 2 = -o for q.
0
Let w = -5243 + 5248. Solve 0 = -m + w*t + 20, -2*t - 40 = 4*m + 2*t for m.
-5
Suppose 5*q - 29 = 3*d, 27 = 3*q + 51*d - 48*d. Solve 4*y - q - 1 = -x, 2*x - 6 = -3*y for y.
2
Suppose 0 = 4*w - 12, 0 = x - 3*w + 4 - 0. Solve -3*j + 0 + 14 = 5*b, -7 = x*b - 4*j for b.
1
Suppose -5*p = -5*r - 15, -2*r = -5*r - 3. Suppose p*m = 12 + 10. Suppose 141 + 257 + 602 = 500*a. Solve 0 = a*d - 5*n, -2*d + 5*d = 2*n - m for d.
-5
Let x be (-80 + 86)/(3/(-7)). Let p be (-1 - x/6)/(396/594). Solve 0 = -b - 3*d - 2*d - 25, -p*d - 23 = 3*b for b.
-5
Suppose 0 = -25*x + 16*x + 18. Solve x*z + 2*z + 1 = -3*w, 10 = -2*w - 5*z for w.
5
Suppose -24*q + 22*q = 19*q + 17*q. Solve q = -u - 22*s + 19*s + 7, 8 = 4*u + 2*s for u.
1
Let c(a) = a**3 - 29*a**2 - 2*a + 38. Let i be c(29). Let g be (15/i)/(3/(-32)). Solve 0 = b + 4*m + g, 4*b - 18 = m + 1 for b.
4
Suppose 29*a = -6*a + 19*a. Let k be 1/1*3 - -8. Solve -5*w + 4*m + k + 6 = a, w - m = 4 for w.
1
Suppose 2*k + a - 50 = 57, 4*k - 184 = 4*a. Solve -5*g = -5*b, 48*g + 2*b + 3 = k*g for g.
3
Let a be 1*2*27/3. Let f(l) = l**2 + 13*l + 16. Let u be f(-12). Let o be (3 + 31 + -40)*4/(-6). Solve -m + a = -o*d, d = -4*m - 17 + u for d.
-5
Let m(i) = i**2 + 2*i + 4. Let b be m(-2). Suppose 2*r - 8 = f - 26, -8 = b*r + 5*f. Let c be 18/63*r/(-1). Solve -3*d - 5*o - c = 0, 2*o + 2 = 3*o for d.
-4
Let r(i) = i**3 - 18*i**2 + 21*i - 66. Let c(o) = o**2 + 44*o + 101. Let q be c(-42). Let p be r(q). Solve u + 2*a - 4 = 4, -p*u = -5*a + 20 for u.
0
Let u = -25 + 50. Let z = u - 22. Let b = 118 - 115. Solve 2*p = -5*d - 0*p + 13, 9 = -b*d + z*p for d.
1
Let d be 16/3 + 72/(-54). Let j be 1 - (7 - 1)/(d/(-2)). Solve -2 - 2 = -2*y + 3*x, 24 = -j*y - 2*x for y.
-4
Let u be (-1)/13 - (-30240)/3744. Solve v - 2*w + 4 = 3*v, v = -2*w + u for v.
-4
Let h = 3217 + -3208. Solve 0 = 5*s + g + 7, 0 = 3*s + g + 2*g + h for s.
-1
Let x be (-9)/(-6)*52/6. Let l(t) = t**3 - 6*t**2 - 6*t - 5. Let y be l(7). Suppose -23 + x = -y*w. Solve w*d + 8 + 17 = 5*m, 5*d + 15 = -5*m for m.
1
Let i(a) = -12*a**3 - 2*a**2 + 1. Let v be i(-1). Let d = 21 - 19. Suppose -8 = -z - 4. Solve -z*b + 3*g + v = 0, 3*b + 3*g - 14 = d*b for b.
5
Suppose 0 = 150*b - 46 - 554. Solve -u = -5*u + 4*n - 4, 4*u + b*n + 20 = 0 for u.
-3
Let d = 92 - 90. Suppose -d*k = 5*y + 3*k + 690, -683 = 5*y - 2*k. Let a = -117 - y. Solve -5*r + 3*t - a = -t, r = -3*t + 15 for r.
0
Let w be 8 - ((-12)/(-22))/((-37)/(-407)). Solve -2*q - 8 = w*g, 0*q - 3*q = -g + 8 for g.
-1
Let u(q) = q**3 - 8*q**2 + 6*q + 7. Let i be u(7). Let o be 0/((1 + i)*-1). Suppose -10*k + 34*k = 48. Solve 0*m - m + 2*l + 6 = o, 6 = -4*m + k*l for m.
-4
Let u be (33 + -15)/(-3) + 18. Solve -5*f + 22 = -3*j, 62*j - 4*f + u = 61*j for j.
-4
Suppose 0 = -22*l - 7*l + 1044.