 for q.
2
Let t(d) = -6*d**3 + 71*d**2 + 7*d + 71. Let f be t(12). Solve f*l + 0*l = 11 for l.
1
Suppose -4*i - p = -0*p - 58, 0 = -2*p + 4. Let y be (-7)/21*-2 - (-56)/6. Solve -y*n = -i*n + 4 for n.
1
Suppose 3*v = -4*v - 0*v + 105. Solve -145*i = -130*i - v for i.
1
Suppose -44*j + 43*j - 57 = -b, -4*b + 225 = -j. Solve -50 = -6*o + b*o for o.
-1
Let t be 228 - (32/(-2) + 5 - 1). Solve x = 31*x - t for x.
8
Let i(q) = -7*q**2 + 259*q - 142. Let j be i(36). Solve j = 54*b + b for b.
2
Let s = 122 + -121. Let d be 4 - (-2 - (-5)/s). Solve v - 3 = d for v.
4
Let c = 11400 + -11354. Solve 0 = -20*t - 146 + c for t.
-5
Let j(u) = 10*u**3 - 5*u + 4. Let v be j(1). Solve 0 = -4*p + 7 + v for p.
4
Let x be (-2)/6 - (27 + (-2324)/42). Solve 14*f + x - 84 = 0 for f.
4
Let s(t) = t**3 - 7*t**2 + 6*t + 6. Let u be s(5). Let b be (10/(-35)*1*u)/1. Suppose 0 = 3*n - b*f - 16, 2*n + 4*f = -12 - 4. Solve -2*g + 0*g - 10 = n for g.
-5
Suppose 30 = -7*w - 663. Let p = w - -107. Solve 0 = p*m - 10*m + 6 for m.
3
Suppose 2*t - 69 = -5*b - 23, -4*t + 44 = 4*b. Let h = -28 - -21. Let k be (-2)/h + (-4)/14. Solve -2*f - b = -k*f for f.
-4
Let f be (3 + 1)*204/16. Let q = -21 + f. Suppose 0 = -0*y - 3*y + q. Solve r + r + y = 0 for r.
-5
Let q be 4/(-6) + (-28)/(-6). Let m = -347295 - -347334. Solve -q = m*g - 40*g for g.
4
Let y(v) = -v**3 - 20*v**2 + 391*v + 224. Let d be y(-32). Solve d = 11*a + 91 - 14 for a.
-7
Let c(q) = 84*q + 149. Let n be c(-1). Solve n = 5*w + 50 for w.
3
Let t(p) = -3*p**2 + 19*p + 50. Let l be t(-2). Solve l = d + 6*d - 21 for d.
3
Let l(n) = 2*n**3 + 17*n**2 + 44*n + 163. Let t be l(-7). Let s(m) = 4*m - 1. Let d be s(1). Solve 3 = -t*r - d for r.
-3
Let x = 4053 - 4021. Solve 0 = 9*q + x + 22 for q.
-6
Let p(o) = 2*o**3 - 9*o**2 + 8*o - 44. Let b be p(5). Solve -694*w = -701*w + b for w.
3
Let d = 2349 + -2241. Solve d = -4*b + 92 for b.
-4
Suppose 0 = -3*r + 10 - 4. Let v(u) = 11*u - 12. Let f be v(1). Let i(o) = 8*o**2 - 10*o - 10. Let z be i(f). Solve r*b + 2*b = z for b.
2
Let a be (-268)/10*10/(-4). Suppose 0 = -9*h - 14 - a. Let v = h + 11. Solve v*x + 11 = 1 for x.
-5
Let i(u) = u**2 - 9*u + 5. Let b be i(8). Let z(v) be the second derivative of -v**4/6 - v**3 + 3*v**2/2 - 17*v. Let g be z(b). Solve g*r + 12 = -3 for r.
-5
Let m(b) = 2*b**2 + 51*b - 135. Let t be m(3). Solve -30*y - t + 6 = 0 for y.
-1
Let q(p) = 172*p - 1064. Let i be q(7). Solve -81*b = -101*b - i for b.
-7
Let l(w) = 34*w**3 - w**2 - 8*w + 33. Let f be l(3). Let r = 920 - f. Solve 0 = r*o - 15 + 21 for o.
-3
Let t(y) = -y**2 - 2*y + 28. Let h be t(5). Let u = -2 - h. Suppose -128 = -u*o - 3*o. Solve -4*v - o + 4 = 0 for v.
-3
Let a(u) = u**2 + 349 - 186 - 180 + 2*u. Let t be a(5). Solve -w - t = 8*w for w.
-2
Let v(d) = 873*d - 6052. Let f be v(7). Solve -290 = 33*h - f for h.
-7
Let c = -184 - -179. Let w be ((-60)/c)/4 + 6. Solve -w = -2*d + 1 for d.
5
Suppose -5*p + 35 = 3*s - 37, 4*s + 8 = 2*p. Suppose 0 = -p*k + 26*k - 84. Suppose 5*o = 4 + k. Solve 3*i = -o*i for i.
0
Suppose -4*u - 315 = -w, -38*u + 965 = 3*w - 40*u. Solve -324*s + 2 = -w*s for s.
2
Let x(q) = -q + 26. Let b be x(14). Suppose -11*y + b*y = 95. Let o = y - 76. Solve o = -3*s + 4 for s.
-5
Let f(h) be the first derivative of -9*h**2/2 + 201*h - 252. Let l be f(22). Solve -l*a = -a - 8 for a.
4
Let l = 31 + -37. Let s be (4/2 + -2)/2 + l. Let j(d) = -5*d - 27. Let q be j(s). Solve -5*w = -q*w for w.
0
Suppose 0 = -3*o - 1 + 100. Suppose -o = -11*v + 22. Let b(a) = 5*a**2 + a. Let z be b(1). Solve v*x = z*x - 5 for x.
5
Let o(u) = u**2 - 25*u - 88. Let i be o(29). Solve i*p - 7 = 27*p for p.
7
Let f(s) = 2*s**3 - 11*s**2 + 6*s - 1. Let k be f(5). Suppose -5*v - k*v = 36. Let n(t) = t**3 + 3*t**2 - 4*t. Let o be n(v). Solve o = -0*j - 3*j - 9 for j.
-3
Let r be (7 - 0)/((-1)/2). Let o be (-17 - 1)*r/42 + -4. Solve 3*k = 5*k + o for k.
-1
Let p be (2/(-24)*4)/(1/9). Let n be 2 - (-2 + 5 + -1). Let t be p - ((5 - n) + -10). Solve -t*u - 1 = 5 for u.
-3
Let z(x) = 2*x**3 + 35*x**2 + 22*x + 98. Let n be z(-17). Solve -13*k + 39 = n for k.
2
Let x be (-3)/(4/88*-2). Suppose -x*r = -38*r + 25. Let k = -21 + 23. Solve r*q - 9 = k*q for q.
3
Suppose 11*t = 4*t + 14. Suppose 4*x - 8 = w, -t*x + 2*w - 3*w = -4. Suppose -c + 4 = x*u - 5, 21 = 4*u + 3*c. Solve -g - u*g = 0 for g.
0
Let g(c) be the second derivative of -c**3/6 - 2*c**2 - 96*c. Let t be g(-9). Solve t*x = -x for x.
0
Suppose 2*f - 36 = -2*f. Let k be 18/24 - (-279)/12. Suppose -24*y = -16*y - k. Solve 0*t = -y*t - f for t.
-3
Let g be (-15)/(-2)*16/36*(-216)/(-90). Solve g*f - 33*f - 150 = 0 for f.
-6
Let f be -1*(-8 - (-1 - 7)). Solve -48*i + 33*i + 120 = f for i.
8
Let l be ((-48)/20)/(4 - 22/5). Let w(d) = d + 2*d**2 + 21 - 22 + l*d**3 - 3*d**2. Let i be w(1). Solve 0 = 3*h - i - 7 for h.
4
Suppose 6*b + 2*y = 3*b + 24, 5*b + y - 40 = 0. Let h(o) = -5*o - 12. Suppose q + 30 = -4*a, 4*a - 2*q = 2*q - 20. Let t be h(a). Solve 5*d + b = t for d.
3
Let w(c) be the third derivative of c**6/180 + 5*c**3/2 - 17*c**2. Let v(h) be the first derivative of w(h). Let n be v(1). Solve -5*u + n*u = -6 for u.
2
Let h be -350 + 2 + -7 + 9. Let y = h + 346. Solve y = 2*a + 8 - 0 for a.
-4
Let p(u) = -17*u**2 - 371*u + 74. Let q be p(-22). Suppose 7*r - 5*b - 165 = 2*r, -45 = -r - 5*b. Solve -r = k - q*k for k.
5
Suppose 4*k = -5*u + 3*k + 41, 2*u - 6 = -3*k. Suppose 3*o + 2*q + 491 = 0, 4*o + 664 = 12*q - 10*q. Let b = 165 + o. Solve b = -u*i + 4*i for i.
0
Let g(y) = -4*y**3 + 6*y - 7. Let j(x) = x**3 + 10*x**2 + 9*x + 3. Let f be j(-9). Let w be g(f). Let a = -95 - w. Solve a*l - 3 = -l for l.
1
Suppose -3*j = -c + 1, 5*c - 4*j = -2*j + 31. Suppose -27 = -c*a + 29. Suppose -4*l = 4*v - 24, -4*v = -5*l - 7 - a. Solve -1 - 9 = v*f for f.
-2
Let o = -19697 + 19741. Solve 7*g = -o + 30 for g.
-2
Let j = 29 - 7. Suppose g = 28 - j. Suppose -g*z - 11 = -53. Solve 3 = 5*r - z for r.
2
Let b = 403 + -179. Let h = b - 212. Solve -12*n = -8*n + h for n.
-3
Suppose -3*d + 45 = 27. Suppose -d = -s - s. Suppose s*u - 9 = -0. Solve t + u = 5 for t.
2
Let j(t) = -t**2 + 10*t + 8. Suppose -4*h - h - 4*a + 404 = 0, 0 = 3*h + 5*a - 245. Suppose 5*k + 3*k - h = 0. Let b be j(k). Solve 5*y + 7 = -b for y.
-3
Suppose -7 + 29 = 8*k - 2. Suppose -2*a = -3*a. Solve a*v - k*v = -3 for v.
1
Suppose -14*d + r = -16*d + 20, -r - 52 = -4*d. Solve -d - 4 = 8*v for v.
-2
Let a = 2 + 2. Suppose -3*t + 32 = -4*s, -2*t = -a*s - 8 - 20. Suppose -10*x + 3*j + 185 = 0, 5*x - 54 = 2*j + 36. Solve -u = t*u - x for u.
4
Let c = -36 - -57. Let v be (6/c)/((-1)/28*-2). Suppose 2*r + v*r = 60. Solve 8*q - 10*q = -r for q.
5
Let y = -28 + 58. Let w be (-2 - 1)*34/(-51). Solve w*c + y = -4*c for c.
-5
Suppose -d + 1438 = -x, 5*x + 2*d = -d - 7206. Let w be (14 + x/105)/(2/28). Solve -a = -7 + w for a.
3
Let u be (0 - 15)*8/(-6). Suppose 4*t = -2*f + 100, 0 = -4*t + 34282 - 34330. Solve -f*m - u = -69*m for m.
-4
Let c = -142 + 140. Let w be (c/(-3))/((-4)/(-12)). Solve 6*r - w*r = 0 for r.
0
Let v(i) = -i**3 + 2*i. Let x be (9 + -6)/(-12) + 14/(-8). Let f be v(x). Solve -f*d = -d + 9 for d.
-3
Suppose 14*g - 13*g = -4*c + 87, -2*g - c + 167 = 0. Solve g*x = 80*x + 3 for x.
1
Let u(p) = p**3 - 22*p**2 + 39*p + 27. Let i be u(20). Solve 128 - 121 = -i*l for l.
-1
Let n(g) = g + 17. Let y be n(-5). Let i(h) = 11*h**2 + 111*h + 18. Let l be i(-10). Solve -8*p = -y*p + l for p.
2
Let q(n) = -7*n**3 - 26*n**2 + 31*n - 53. Let d(u) = u**3 - u - 1. Let s(g) = -6*d(g) - q(g). Let j be s(-27). Solve -j*h - 4 = -h for h.
-1
Let w be (0/(-1*(-42)/(-7)))/(-3). Solve w = 9*n - 4*n + 15 for n.
-3
Let y = 40203 - 40203. Solve y = 27*n + 34*n + 183 for n.
-3
Let r(o) = -2*o**3 + 2*o**2 - o + 5. Let x be r(-5). Let i = 310 - x. Solve i*n = 4*n - 4 for n.
1
Let v(d) = d**3 - 13*d**2 + 20*d + 20. Let y be v(11). Let o be ((-1 - 0)*10)/y. Suppose -o*z + 7 = -x, 2*z + 8 = 6*z. Solve s + 6 = x*s for s.
3
Let n(p) be the second derivative of p**3/6 + 7*p**2/2 + 11*p + 2. Let b be 1 - (0 - 12/(-2)). Let v be n(b). Solve -c = -3 - v for c.
5
Let c = 33 - 258. Let s = 228 + c. Solve -5 - 1 = -s*l for l.
2
Suppose -320 = -50*o + 10*o. Suppose o*k - 284 = -68. Solve -3*b - 42 + k = 0 for b.
-5
Let a be (-6 - -152)*