 b*v + 60 = 0 for v.
5
Let s be 18/((-216)/30)*-10. Solve s*l - 27 = 48 for l.
3
Let l be 2/(-21) + (2/(-3) - 14415/(-315)). Solve 34*b - 57 - l = 0 for b.
3
Let m(h) = h**3 - h**2 + 6*h - 17. Let x be m(5). Suppose 5*a + 43 = x. Suppose 8 = 2*n - 0*n. Solve 6 = n*z + a for z.
-2
Let c = 24 + -21. Let d(l) = l**3 - 19*l**2 + 23*l - 45. Let w be d(18). Suppose -4*x - w = -13*x. Solve c*i + x = 8*i for i.
1
Let l be 36 + (0 - 0)/(-3). Let k = 0 + -34. Let o = k + l. Solve 0*s + o*s = 2 for s.
1
Suppose 0 = 5*l + 2*r + 4, 13*l + 13 = 9*l - 3*r. Solve 27*v = 26*v + l for v.
2
Let s = 182 - 180. Suppose 0 = -4*k - s*h + 6, 0 = 3*k - 4*h + h - 18. Solve 0*r = -k*r + 12 for r.
4
Let l(s) = 5*s + 43. Let n be l(-8). Suppose 4 = n*m - 3*i + 8*i, 0 = -2*m - i + 5. Let v be 2 + (-21)/(-3) + -3. Solve 0 = -0*k + m*k + v for k.
-2
Let c(g) = g**3 - 3*g**2 - 8*g + 5. Let r be c(5). Suppose -125 = -4*d + 4*k - 9*k, -r = 5*k. Suppose -8*i + 21 + d = 0. Solve m = i - 2 for m.
5
Suppose 9*a = -97 - 263. Let c be (-7)/((-56)/a) + 8. Solve -20 = c*y + y for y.
-5
Let i(u) = u**3 + 11*u**2 - 31*u + 10. Let b be i(3). Solve 22 + b = 13*s for s.
5
Suppose q - 17 - 20 = 0. Let z be (-1)/(-1)*-1 + q. Solve 0*d - z = 9*d for d.
-4
Let n(b) = b**3 - 6*b**2 - 8*b + 9. Let c be 5/(-15)*1*-57. Let l(s) = s - 12. Let y be l(c). Let x be n(y). Solve 5*p - x = -12 for p.
-2
Let r(s) = -3*s - 4. Let t be r(-2). Suppose -5*c + 1 = -3*f - 0, 0 = t*c + f - 7. Suppose 5*y = c*d - 0*d - 28, 4*d = -5*y - 4. Solve -k + 5 = d*k for k.
1
Let o(n) = 2*n**2 + 33*n - 88. Let b be o(-20). Solve -180 - b = -29*v for v.
8
Suppose -22*d + 362 = -562. Let w be ((-28)/84)/((-2)/d). Solve w*h - 10*h + 6 = 0 for h.
2
Suppose 1801 = 4*z - 2*b + 269, 0 = -2*z + 2*b + 766. Solve -4 = z*g - 384*g for g.
4
Let u be -6 - -17 - 5 - -1*3. Let g(a) = a**3 + 8*a**2 - 2*a + 68. Let n be g(-9). Solve u*w + 13 = -n for w.
-2
Let n = 190 - 109. Suppose n = 2*s + s. Let d = s + -24. Solve 0 = 2*o + d + 1 for o.
-2
Suppose 0*y - 13 = -2*y - k, -5*y = -5*k - 10. Let g(w) = w**3 - 7*w**2 + 13*w - 6. Let q be g(y). Suppose 2*v + v - q = 0. Solve 0 = -v*o + 5*o - 4 for o.
2
Let t = 55 - 65. Let n be 44 - (1 + -2)*(t - -8). Suppose -n = -3*o - 12. Solve -3*d + 8*d + o = 0 for d.
-2
Let r = 5646 - 5619. Solve r*i = -195 + 6 for i.
-7
Let l = 1 + 3. Suppose -5*s + l*p = -16, 0 = -3*s - 4*p - 11 - 5. Suppose 35*r - 123 = -6*r. Solve -n = r - s for n.
-3
Let m(c) = 27*c - 27. Let h be m(1). Solve h = -n - 4*n + 10 for n.
2
Let z be (12/2 - 1) + 2. Let s(p) = 20*p**2 + 4156*p - 826. Let c be s(-208). Solve -c*w = w + z for w.
-1
Let k be 4*(-78)/(-16) + (-1)/(-2). Let s be 50/k - (-4)/8. Solve 0 = 2*v + s + 1 for v.
-2
Let j be (5/(-4))/(450/(-4320)). Solve -4*c + j = -4 for c.
4
Suppose -3*o + 5 = 2*r, -15*r + 12*r + 6 = 4*o. Suppose -o*s + 23 = -5*d, 0*d = s + 2*d + 7. Solve -3 = -2*q - s for q.
1
Let x = 476 - 571. Let o = x + 104. Solve -2*w + 13 - o = 0 for w.
2
Suppose 20*j + 28*j = 5*j + 344. Solve -23*u = -25*u + j for u.
4
Let v(i) = 22*i - 154. Suppose 0 = 2*k + 2, 3*l - k + 6*k = 16. Let c be v(l). Solve -6*t - 2*t + 8 = c for t.
1
Let j(z) = 612*z - 4440. Let p be j(8). Solve -20*r - 56*r + p = 0 for r.
6
Let t = 0 - -2. Suppose 4*b + 5*j = -0*j + 57, b = -t*j + 18. Suppose b = 4*v - 2*v, v = -4*k + 16. Solve -k*o = -4 + 19 for o.
-5
Let h(t) = -4*t**3 - 2*t**2 - t + 2. Let k be h(-1). Solve -73 = -k*m - 73 for m.
0
Suppose 24*d = 26*d - 128. Let j = d - 62. Let a be j/(-8) - (-294)/56. Solve n = -0 - a for n.
-5
Let j = 183 - 106. Suppose 78*k - j*k = 5. Solve 0*f + f - k = 0 for f.
5
Let s = -6769 - -6830. Solve 59 - s = -2*o for o.
1
Let h be (-465)/(-15) + (0 - -3) + 0. Let n(u) = -3*u**2 - 4*u + 2. Let d be n(-4). Let i = d + h. Solve -i*v - 4 = -8*v for v.
1
Let o(t) = t**2 - 11*t - 37. Let h be o(14). Suppose h - 20 = -5*v. Solve -5*q + 12 = -v for q.
3
Let w = -194 - -209. Let f be -8 - -2 - (-90)/w. Solve f = 5*m - m - 16 for m.
4
Suppose 0*p = -2*p. Let a = -58 + 114. Let s = 59 - a. Solve s = -p*j + j for j.
3
Suppose -u = 4*f - 11, 0*f + 4*u + 12 = -2*f. Suppose 4*t - 15 = 5. Suppose -2*w - t*y = -f*y - 1, -14 = -w + 4*y. Solve x = 3*x - w for x.
1
Let w(b) = 0*b**2 - 3*b - 2 - 10 + b**2 + 4. Let v be w(5). Let p be (6/(-12))/((-1)/v). Solve -3 = -4*s + p for s.
1
Let w = 16743 - 16700. Solve w*c + 86 = -43 for c.
-3
Let p = -43 + 39. Let r be ((-85)/(-10))/(2/p). Let b = 22 + r. Solve b*y = -24 + 4 for y.
-4
Let h(f) = f**2 - 54*f + 585. Let w be h(12). Solve 0 = w*q - 76*q for q.
0
Let p(n) = n**3 + 10*n**2 - 78*n - 28. Let k be p(-15). Solve 5*z - 66 = -k*z for z.
3
Let k(j) = 3*j**2 - 6*j + 2. Let o = -32 + 34. Let t be k(o). Suppose 5*z - 21 = 9. Solve t*h + h - z = 0 for h.
2
Suppose -2*b + t = -5, -35 = -0*b - 5*b - 2*t. Suppose -2*j = -3*h - 1, -b*j + 0*h = h - 11. Suppose 91 = j*g + 85. Solve 0*x - 6 = -g*x for x.
2
Let v = -272 + 265. Let g(n) = n**2 + 2*n - 20. Let q be g(v). Solve 10*o = 5*o + q for o.
3
Suppose -2*q + 0*a - a + 2 = 0, 0 = -4*q + 5*a + 32. Suppose -2*i + q = -1. Let j(u) = -u**2 + 50*u - 555. Let w be j(17). Solve i*r - w*r = -8 for r.
2
Let n(r) = 10*r - 46. Let k = 544 + -537. Let b be n(k). Solve -9*l - 6 = -b for l.
2
Let w be 2075/100 - (6/(-8))/(-1). Solve 0 = -13*f - 32 - w for f.
-4
Let m be (-36)/126*-14 + 10. Solve 2 - m = -3*d for d.
4
Let h be (0/(-2))/(-1)*-1. Let o(f) = -3*f + 57. Let i be o(5). Suppose -21*q + i = -42. Solve h = 3*s - q + 1 for s.
1
Let v(r) = -r**2 - 13*r - 38. Let p be v(-7). Suppose 3*b + 72 + 0 = 4*w, 2*b = 0. Let u = w + -16. Solve 2*n - u = p for n.
3
Let s(g) = -41*g**2 - 19 + 21*g**2 + 13*g + 21*g**2. Let f be s(-15). Suppose -2*u + 23 = f. Solve u*r = 2*r for r.
0
Suppose -90 + 71 = w - 4*n, 2*n - 13 = -3*w. Suppose 20 = -4*y, -2*i - y = -3*y - 10. Solve -z + i = -w for z.
1
Let x = 13871 + -13809. Solve x*o + 268 = -104 for o.
-6
Suppose -7 = 6*h - 19. Suppose y - h + 0 = 0. Let x(i) = i**3 + 4*i**2 - 117*i. Let t be x(9). Solve y*g - 3*g + 4 = t for g.
4
Suppose -840 = -4*b - 8*b. Let n = b + -23. Let p = -47 + n. Solve 4*w = -p + 12 for w.
3
Let f be -79*-6*(116/24)/29. Solve f = -46*v - 59 for v.
-3
Suppose 0 = 4*d - 12. Let w(i) = -i**3 + 3*i**2 + 3*i + 2. Let b be w(-2). Suppose -7*q + b = -d*q. Solve -4*n - q = -0*n for n.
-1
Let g be (22 - 37) + 138/6. Solve -g*l + 175 = 151 for l.
3
Suppose 5*a - 29 = -0*a + 3*c, 3*a - 13 = 4*c. Suppose -11 = -a*j + 3. Suppose 0 = 4*m + 2*t - 8, 3*t = 2*m - 0*m - 20. Solve 6 + j = -m*l for l.
-2
Let x(f) = -f**3 + 8*f**2 - 3*f - 44. Let k be x(4). Suppose 4*j - 6 = 2. Suppose -j*w = -3*w + 3. Solve v + w = k for v.
5
Let y be ((-30)/(-18))/(((-510)/(-72))/17). Let p(a) = a**2 + 3*a - 2. Let h(w) = w**2 - 8*w + 3. Let z be h(7). Let n be p(z). Solve 0 = -0*c + n*c - y for c.
2
Let k(b) = -2*b**2 + 144*b - 215. Let h be k(70). Solve h - 79 = -7*m for m.
2
Suppose -5*v = -4*u + 26, 6*u - 5*v = u + 35. Suppose -39*s + 36*s + u = 0. Solve s*f + 3 + 6 = 0 for f.
-3
Let q(k) = k**2 + 5*k - 8. Let n be q(-10). Suppose -5*s = -198 - n. Let b be s/22 - 2/11. Solve 0*l = 2*l + b for l.
-1
Let l(f) = 29*f - 4. Let y be l(1). Let x(h) = -h**3 - 8*h**2 - 25*h - 78. Let w be x(-6). Solve w*v = -5*v - y for v.
-5
Suppose 2*q - 67 = 3*h, 3*q = 9*h - 5*h + 102. Suppose -q*m - 24 = -44*m. Solve 9*w = m*w + 20 for w.
4
Let q(j) = j**3 - j**2 + j. Let w(n) = 7*n**3 - 19*n**2 + 4*n + 28. Let z(y) = -6*q(y) + w(y). Let d = -834 + 847. Let g be z(d). Solve 0 = g*t - t - 5 for t.
5
Suppose 0 = r + 40 + 37. Let g = r - -81. Let i be 1/((-1)/6)*(-2)/g. Solve i*j + 20 = -j for j.
-5
Suppose 69 = 10*d - 9*d. Let w = 81 - d. Suppose w*r - 7*r = 10. Solve -4*l = -6*l + r for l.
1
Let q = -11100 - -11110. Solve -6*b - 4 = -q*b for b.
1
Suppose 4*t = 4*q - 12, -228*q + 230*q + 5*t = 20. Solve -26 + 26 = q*v for v.
0
Suppose -9*r - 51*r = -1080. Solve y - 7*y = -r for y.
3
Let n be ((-24)/4)/(3/(-2)). Suppose 0 = -n*c - 4*k + 8*k + 128, 0 = -2*c - 3*k + 69. Solve 5*d + 13 = c for d.
4
Let s = 2719 - 2656. Solve s - 66 = -g for g.
3
Let y(w) be the second derivative of w**4/12 - w**3 - 40*w**2 - 139*w. Let n be y(13). Solve 0 = -n*p + 3*p + 32 for p.
4
Suppose -414 = -3*s - 2*l, -s - 4*s + 668 = -4*l. Let d = 138 - s