 Solve 78 = l*k + 54 for k.
2
Let u = -934 + 1434. Solve -2*l - 516 = -u for l.
-8
Let j(y) = -39*y**2 - 81*y - 15. Let r(o) = 5*o**2 + 10*o + 2. Let t(b) = 4*j(b) + 33*r(b). Let q be t(-1). Solve q = -7*c + 4*c for c.
-3
Suppose 0 = -6*q - 3*q + 52 + 191. Solve 19*b - q*b = 32 for b.
-4
Let q be (7 + 120)*2 + -4. Suppose -3*j + 286 = q. Solve 6 = -j*a + 6 for a.
0
Let o be 2/2 + 0/18. Let x be ((-8)/(-20))/(o/5). Let q be ((-39)/(-26))/(x/4). Solve -q*i = i for i.
0
Suppose 8*b - 353 = 215. Let c(q) = q**2 + 18*q + 10. Let l be c(-8). Let i = b + l. Solve 3 + i = 2*f for f.
2
Let j = 254 + -220. Let v = j + -29. Solve -v*r - 5 = -0*r for r.
-1
Let c(x) = -x**2 - 15*x - 16. Suppose -2*i - 3*z = -7*i - 276, -i - 4*z - 46 = 0. Let g = i - -42. Let f be c(g). Solve 6*j - j = f for j.
4
Suppose -694 = -3*j + k, 5*j - 610 = -5*k + 520. Suppose -5*a = -0 - j. Solve -a = 2*z - 36 for z.
-5
Let t be 1/((-1)/37*(-16)/(-240)). Let b = t + 568. Solve 0 = -b*q - 11 - 2 for q.
-1
Let a be 33/2 - 6 - (-45)/30. Solve 0 = -12*j + 24*j - a for j.
1
Let y = -3843 + 3858. Solve -t = y*t - 80 for t.
5
Let v(q) = 5*q**3 + 9*q**2 - 57*q - 71. Let f be v(5). Solve -562 = -17*t - f for t.
4
Suppose 0 = -188*z + 82*z + 6254. Solve -3*c = -41 + z for c.
-6
Let c(t) = -112*t - 655. Let d be c(-6). Solve d*p + 36 = 19 for p.
-1
Let q(y) = y**3 + 10*y**2 - 4*y - 16. Let m be q(-10). Let n = m - 21. Let s be 132/30 + n/5. Solve -s = 3*h + 7 for h.
-4
Let b = -462 + 472. Solve -11*u - b*u = -21 for u.
1
Suppose s + 0*s = 3*f - 17, 0 = -3*f - s + 7. Suppose k + 60 = -4*o + 2*k, 2*o = 5*k - 12. Let z = -11 - o. Solve 1 = -f*v + z for v.
1
Let b = 261 - 199. Let h be (-177)/(-3) - (-1 - -3). Let l = b - h. Solve 1 - 21 = l*t for t.
-4
Suppose -3*j = -2*h - 4251, -3*j + 8*h - 5*h + 4251 = 0. Solve 0 = 10*p - 1447 + j for p.
3
Suppose -9*a + 20 = -4*a. Suppose -27 = -5*h - n, 0 = -a*h + 4*n - 7*n + 26. Suppose -12 = h*q - 17. Solve -q + 3 = -p for p.
-2
Let d(g) = 2*g**3 + 2*g**2 - 14*g - 1. Let j be d(-3). Solve 0 = -11*k + 6 + j for k.
1
Suppose 5*r = -5*f + 420, -2*f = -16*r + 21*r - 156. Suppose 6*i - 2*i - f = -3*u, -3*i + u = -79. Solve -4*j - i = j for j.
-5
Suppose 0 = -55*j + 63*j - 4216. Let r = -523 + j. Solve r*f = 5*f - 4 for f.
4
Let x(r) = -2*r - 2. Let q be x(-2). Let z(c) = 3*c + 27. Let v(u) = -2*u**2 - 14*u - 20. Let l be v(-6). Let s be z(l). Solve s*k = q*k + 3 for k.
3
Let z(t) = 8*t + 4*t + 2*t**2 + 5 - 3*t**2 + 1. Let g be z(12). Suppose u + 11 = g*s - 3*s, 0 = 5*s + 2*u. Solve -4*a = -3*a - s for a.
2
Suppose -2*o + 4 = 0, 0 = q + o + 3*o - 15. Let r(u) = -22 - 29*u + 18*u + 0 + 15*u. Let z be r(q). Solve z*k - 9 = 3*k for k.
3
Let n(m) = -22*m + 68. Let g be n(2). Solve g*i + 212 = 92 for i.
-5
Let u be 7*(3 + 4)*1 + 4. Suppose 4*z - u = 15. Let y = -13 + z. Solve 10*s + y = 12*s for s.
2
Suppose -7*k - 59 = -8*k. Suppose 0 = 6*q - 227 + k. Suppose 7*i - q = 7. Solve i = -3*n - 4 for n.
-3
Let h be 8/20*-1*(1015 + 0). Let b = h + 417. Solve -3*y - b = 1 for y.
-4
Let f be ((-73)/(-2))/(2/(-4)). Let y = -68 - f. Suppose -3*m - 7 = 2, y*m = 5*v - 20. Solve 3*j + 8 = -v for j.
-3
Suppose 10 = 26*h - 24*h. Suppose -h*k + 4*k = -12. Solve -i + k = 14 for i.
-2
Let b = 208 - -264. Solve 32 = -b*u + 464*u for u.
-4
Let l = -19190 + 19221. Solve 3 - 3 = l*b for b.
0
Let d(k) = 19*k**2 + 6*k - 29. Let x be d(-4). Solve -256 + x = t for t.
-5
Suppose -715 + 1935 - 17756 = -318*m. Solve 43*d - m*d = -18 for d.
2
Suppose 0 = -4*h, 0*h - h = 2*n - 2*h - 6. Solve 0 = 10*s - n - 67 for s.
7
Let p = -4906 + 4910. Solve -27 = -23*o - p for o.
1
Suppose -4*g + 54 = 3*m, -3*g + g + 18 = -3*m. Let x(c) = 3*c - 33. Let z be x(g). Solve -3*a - z*a - 12 = 0 for a.
-2
Suppose -2*u + 3*u + 14 = 0. Let p be 9/7 + u/49. Let t be ((-11)/(-33))/(1*p/6). Solve 3*a + 25 = -t*a for a.
-5
Let p(t) = 21*t**3 + 2*t - 2. Let k be (2/4)/(15/30). Let y be p(k). Suppose 2*u - y = -5*u. Solve u - 9 = 3*a for a.
-2
Let a(n) = -15*n + 47. Let h be a(3). Suppose 0 = -x - 2*x - h*c - 10, 25 = -2*x - 5*c. Solve 15*i - 10*i - 10 = x for i.
2
Suppose -88 + 10 = 3*i. Let g = -180 + 166. Let y = g - i. Solve -o = 2*o - y for o.
4
Suppose 145*x + 2*b = 142*x + 86, -x + 20 = 5*b. Solve 0 = -y + x*y - 87 for y.
3
Let o(t) be the second derivative of -t**5/20 + 5*t**4/12 + 7*t**3/3 + 7*t**2 + 4*t - 3. Let y be o(7). Solve -12*v + 10 = -y*v for v.
-5
Let g = 7358 - 7353. Suppose 3*c - 2 = -n, 4 + 4 = 4*c + 4*n. Suppose -y + 2 = -c*y. Solve -y*k + 15 = -g*k for k.
-5
Suppose 35*w - 18*w - 340 = 0. Suppose -2*n + 18 = -n - 2*l, -4*n = 5*l - 33. Suppose -n + 2 = -2*g, 3*p = 4*g - 11. Solve -h = p*h - w for h.
5
Let a = 517 - 521. Let y be (0 + 1)*((14 - -1) + a). Solve -6*h = -y - 19 for h.
5
Let y be (111/185)/(-1*3/(-75)). Let k(f) = -17*f + 269. Let x be k(y). Solve -1 = -15*j + x*j for j.
1
Let w(j) = 32*j - j**3 - 27*j - 3 + 4 + 3*j**2. Let d be w(4). Suppose 2*p + 6 = 4*f - 2, 0 = -d*f + 3*p + 10. Solve -f = -q - 0 for q.
2
Suppose 21*c - 20*c = -f - 2, 5*c = -3*f - 12. Let p(q) = -q**3 - 23*q**2 + 6. Let k be p(-23). Solve -k + f = x for x.
-5
Suppose -3*j + 189 = 6*j. Let i = j + -19. Solve -3*q + i = 14 for q.
-4
Let n(w) = w**3 - 22*w**2 + 21*w + 3. Let r be n(21). Let y(x) = 5 + 2*x**r + 20*x**2 - 4*x - x**3 + 10*x + 13*x. Let p be y(-19). Solve -t + 0*t = -p for t.
5
Let a = 74 + -88. Let v(d) = -2*d**3 - 28*d**2 - d + 14. Let i be v(a). Solve u = -6*u - i for u.
-4
Let j be -5 - ((-47)/(-658) + -3*(-729)/(-42)). Solve -3*z + j - 35 = 0 for z.
4
Let i = -458 - -460. Let k be ((-35)/(-14))/(i/4). Solve -4*o + k*o = -3 for o.
-3
Let k be (-75)/(-50)*(-20)/(-6). Let i be 8/3*(-30)/(-20). Let t = 0 + i. Solve t*q - 3 = k for q.
2
Let z(j) = -2*j**2 - 2*j - 1. Let u be z(-1). Suppose 3*g = -33*g + 144. Let p = u + g. Solve -s = -p*s for s.
0
Let x(p) = p**2 - 50*p + 146. Let y be x(47). Solve 7*s + y*s = -36 for s.
-3
Let g be (3*8/36)/(2/15). Suppose g*h - 55 = -2*k, 18 = -3*k + 3*h + 69. Solve o + k = 5*o for o.
5
Suppose 9*v = 64*v - 440. Solve 36*z = 38*z + v for z.
-4
Let u be (-15)/(-24) + (-2550)/(-16). Solve -42*c = -10*c + u for c.
-5
Let a(q) = -q**2 + 61*q + 1371. Let l be a(78). Solve -l = -8*b - 7*b for b.
3
Let u = 4557 - 4388. Solve -168*q = -u*q + 4 for q.
4
Let k be 4/(((-2)/5)/(5/(-25))). Suppose 2*b = -3*c - 2*c + 92, 0 = -k*b - 4*c + 90. Solve 40*y - b*y + 2 = 0 for y.
2
Suppose 3*z - 380 = -3*b - 47, 0 = -5*b - 2*z + 543. Solve b = 14*d + 9 for d.
7
Let g be (74385/33)/(-5) - 10/55. Let i = 460 + g. Solve 8*u = i*u - 3 for u.
3
Let i be 4/6 - (-6 - (-19)/(-3)). Suppose -i*h + 95 = 6*h. Solve -g = h - 0 for g.
-5
Suppose -147*z + 167*z - 115 = -238*z + 659. Let k be (-1)/4 - 9/(-4). Solve -z*u + k*u = -4 for u.
4
Suppose -2*t + 4*r + 130 = 0, -7 = 2*r - 13. Solve -34*b - 31 - t = 0 for b.
-3
Suppose 0 = -m - 2*c + 17, -3*m - 2*c - 9 + 56 = 0. Suppose -116 = -m*d + 11*d. Solve -d = -4*j - 21 for j.
2
Let i = 4738 + -4073. Solve -f + 668 - i = 0 for f.
3
Let t(b) = 25*b - 476. Let r be t(20). Solve 0 = -4*c - 4 + r for c.
5
Let j(p) = 3*p**2 - 8*p + 1. Let c be j(3). Suppose -5*y + 133 = -2*o - 90, -c*o - 416 = -4*y. Let i be o/(-27) - (-2)/(-3). Solve i*l = -2*l - 10 for l.
-2
Let y = 96 - 123. Let s be (7/(-28))/(y/24 - -1). Solve 0 = -2*j - s*j for j.
0
Let n = -174 - -195. Let t be (-4)/((-36)/n) - 3/9. Solve -t*i = 4 - 14 for i.
5
Let v = -26 + 14. Let a be (9/(-2))/3 - 234/v. Suppose -a*u = -13*u - 20. Solve -2*m = -3*m + u for m.
4
Let s = 7332 + -7328. Solve -19*w - 115 = s*w for w.
-5
Suppose 3*u = 4*n + 16, -3*u - 9*n + 14 = -11*n. Let o be (2/(-4))/((-11)/264). Suppose f + 3*f - 128 = 0. Solve -o = u*m - f for m.
5
Suppose 94 = 5*n + 44. Let q = n + 25. Suppose -20*d + 13*d = -q. Solve -10 + d = b for b.
-5
Suppose -512 = 8*c + 960. Let l = -175 - c. Let j be (-1 - 1) + 3 + 2. Solve -j*h + 3 = l for h.
-2
Let i be (-27887)/(-7) - (-6)/42. Solve -i*s + 3977*s = 28 for s.
-4
Suppose 18*k = 1078 + 812. Let i be (4/3)/(14/k). Solve -i*l = -6*l - 4 for l.
1
Let a = -180 - -183. Let h be -12*6/(-54)*a. Solve h*k + 9 = k for k.
-3
Let k(w) = 9*w**2 + 26 + 7*w + 40*w**3 - 29*w - 39*w**3 - 29*w. Let h be k(-13). Solve -11*z + 10 = -h*z for z.
-5
Let g = 190 + -170. Suppose g = 