lve b*p - 11 + 1 = 0 for p.
2
Let u(f) = -4*f**3 + 24*f + 311. Let w be u(-7). Solve -w = -4*v - 1527 for v.
-3
Let c be ((-9)/24)/((-267)/111784). Solve -c*d = -97*d + 420 for d.
-7
Suppose 235 = -5*q - b + 78, 0 = -2*q + 2*b - 58. Let x = -35 - q. Let o be 8 - (-3)/(-6)*(x - -4). Solve n = o - 3 for n.
5
Let v(j) = 58*j + 292. Let s be v(-3). Solve -h - s = -119 for h.
1
Let o = -32904 + 33217. Solve -8*h + o = 257 for h.
7
Let n = -7 + 7. Suppose n = -77*g + 75*g - 18. Let a(f) = -f**2 - 11*f - 16. Let i be a(g). Solve i*c - 2 = -0*c for c.
1
Suppose 0 = 9*u - 4*u - 45. Suppose u*c = 3*c + 258. Let h = 43 - c. Solve 4*a = -h*a - 4 for a.
-1
Suppose 4*d + 15 = -17. Let m be (d + 7)/(2/(-18)). Suppose -9*r = -m*r - 13*r. Solve w + w + 4 = r for w.
-2
Let y(c) = -c**2 + 22*c - 104. Let l be y(13). Suppose 22 = 5*f - a, -3*f - 6*a = -2*a - 4. Let j be f/(-3)*9/(-6). Solve -3*n - j = l for n.
-5
Let d be 4/2*((-3)/(-2) + -2). Let m(w) = w**2 + 10*w + 10. Let z be m(d). Solve p - 2 = -z for p.
1
Let m = -150 + 162. Suppose 765*q - m = 761*q. Solve q = 4*b + 15 for b.
-3
Let z = -7 + 3. Let o be 3/((-15)/1460*z). Suppose 0 = -4*i + o + 35. Solve 4*t - 11 = -i for t.
-4
Let p = 5606 - 5565. Solve 2*r - 43*r - p = 0 for r.
-1
Let q(d) = 16*d**2 - 229*d - 148. Let z be q(15). Solve 568 - 483 = z*o for o.
5
Let k(p) = -2*p - 31. Let b = 212 + -228. Let o be k(b). Let n be (-1 - 2)/9*-6. Solve 0 = -n*m + 5 + o for m.
3
Let d = 555195 + -555185. Let b(v) = 5*v - 1. Let w be b(1). Solve -26 = w*n - d for n.
-4
Let b(f) = 3*f**2 - 66*f + 366. Let v be b(10). Let u(z) be the third derivative of -z**4/24 + z**3 + z**2. Let h be u(v). Solve h = -3*c - 15 for c.
-5
Suppose q + 19 = 3*d, -5*q - 9 = 3*d - 40. Let o(s) = -s**3 + 8*s**2 - 6*s + 5. Let l be o(d). Suppose 10 - l = -k. Solve -2*y = k*y - 4 for y.
1
Suppose 13*h = 246 - 1923. Let v = h - -135. Solve 22 - v = -4*z for z.
-4
Suppose 4*m - 4*j = -928, -m - 3*j - 317 = -89. Let r = m - -247. Solve -r = 4*g - 8*g for g.
4
Let l = 92 - 92. Suppose l = 7*y - 4*y. Suppose y = -n + 5*q + 18, -q + 1 = 4. Solve n = -2*a - 3 for a.
-3
Let d = -28 - -30. Suppose -4 = 2*t - 10. Suppose -t*b + 4*k + 16 = -4*b, -d = -3*b - 2*k. Solve -3 = -b*l + 5*l for l.
-3
Let p(n) = -134*n + 1. Let c be p(-11). Solve 0 = 1472*v - c*v + 9 for v.
3
Let x = 3822 + -3813. Solve -g = 7 - x for g.
2
Suppose -3*t + 3*y = -135, -4*t + 205 = -3*y + 24. Solve 172*z = 149*z + t for z.
2
Let r = -28 - -43. Suppose 2*l - 3*l = -p - r, 15 = -5*p. Suppose -u = -0*u - 3*u. Solve u = -5*m + 2 - l for m.
-2
Suppose -1042 = 21*x + 4103. Let y = -238 - x. Solve -5*a + 8 = -y for a.
3
Let o be 18*15/(-945) - 2/(-7). Solve o = -29*i - 18*i - 47 for i.
-1
Let c be -24*(57/2 + 8 + -7). Let m = 723 + c. Solve 5 = 5*z + m for z.
-2
Let z = -26 + 32. Suppose 26 = -2*u + 16. Let i be (1/u)/(-1 - 42/(-45)). Solve -i*f = -z*f for f.
0
Let t be 126/15 - (-4)/(-10). Let c = -1049 - -1057. Suppose -o - t = 4*a - 5*o, a - c = -o. Solve -16 = -a*q - 4 for q.
4
Suppose z + 965 = 77. Let t = z - -890. Solve t*n + 14 = 22 for n.
4
Suppose -45*m - 16 = -50 - 236. Solve -m*z + 136 - 154 = 0 for z.
-3
Let a = -1651 - -1797. Solve -156 = -10*m - a for m.
1
Let z be -4 - (-22)/4 - (-9)/2. Suppose z*s + 6*s - 24 = 0. Solve -s*a = a + 3 for a.
-1
Let h(y) = y**3 - 9*y**2 + 15*y - 6. Let v be h(7). Let m be (v/((-3)/2))/((-14)/105). Suppose m*n - 2*q = 34, -4*n + 7 = -q - 22. Solve a = -a - n for a.
-4
Let f(r) = -3*r**3 - 79*r**2 - 171*r - 70. Let z be f(-24). Suppose 0 = 5*i - 5. Solve -l + z*l = i for l.
1
Let x(w) = -w + 22. Let j be x(-19). Let f = -42 + j. Let k be (f - 0)/(27/(-108)). Solve g + k*g = 0 for g.
0
Let t = 30 - 39. Let j(q) = q + 47. Let u be j(t). Solve u*i = 43*i + 20 for i.
-4
Let d be 26/(-7)*-9 - (-123)/(-287). Solve -7*p - 19 = -d for p.
2
Let o be 0/((-1 - -2) + 0). Let i(b) = b**2 + 59*b. Let n be i(-59). Solve 2*l + n*l = o for l.
0
Suppose -39 - 8 = -x + 4. Solve 12*q - x = 29*q for q.
-3
Suppose 33*l - 312 = 7*l. Suppose 3*z + 0*z = l. Solve 8*t = z*t + 12 for t.
3
Suppose -65 + 35 = -6*p. Suppose 9*d - 5*z - 56 = p*d, -z + 23 = 3*d. Solve -d*f + 7*f + 2 = 0 for f.
1
Suppose -8 - 27 = -3*h + 5*a, 5*a + 30 = 2*h. Let p be (4 + 38/(-6))/((-2)/18). Solve h*z + 6 - p = 0 for z.
3
Let f be (-6 - (-32)/(-24))/(1 + (-4)/3). Solve 0 = -f*x - 19*x - 287 for x.
-7
Suppose s - 19*s + 1152 = 0. Suppose 18*k - 26 = s. Solve -5*r - k = -6*r for r.
5
Let x(s) = -s - 24. Let q(i) = 21 - 40 + 31. Let u(m) = -9*q(m) - 4*x(m). Let j be u(4). Solve -6*v - j = -4*v for v.
-2
Let l be (-1)/((-9)/(-135)*(-5)/2). Suppose 2 - 2 = l*d. Suppose -2*o + 0*o = d. Solve -w + o*w = 0 for w.
0
Let o(t) = 5*t - 4*t**2 + 4*t**2 + 0*t + t**2 + 0*t**2 + 1. Let v be o(-5). Solve 0 = -9*n - 10 + v for n.
-1
Let v(l) = l**3 + l**2 - 21*l - 2. Let i be v(-5). Suppose -i*n + 95 = 10*f - 6*f, 30 = f + 2*n. Solve 14*p - f = 10*p for p.
5
Let w be 11*1 + (-110)/10. Let k be 2*(-6)/(-4) + (-2 - -4). Solve w = -f + k for f.
5
Suppose -3*u + 4*y = 143, 200 = u - 5*u + 3*y. Let x = u + 53. Suppose -o + 5*a = -27, 0 = -5*o - a - x*a + 5. Solve -2*i = o*i - 12 for i.
3
Let q(v) = -v**2 + 7*v + 5. Let h be q(7). Let j(z) = -z**2 + 6*z - 3. Let d be j(h). Suppose 80*l - 83*l = 0. Solve -d*x + l = 6 for x.
-3
Let n(c) = 38*c - 1439. Let i be n(38). Solve i*s = 13 - 3 for s.
2
Let m(z) = -2*z**2 + 34*z + 36*z - 10*z. Let s be m(30). Solve s = -o - 2*o for o.
0
Let a be 24 - (-8 + (-48)/(-3)). Suppose -r - 2 = -3*l, r + r = -4*l + a. Solve r*c - 13 = 7 for c.
5
Let c be (-2)/(-6) - ((-40)/6 - 504/56). Solve c*g - 8 = -24 for g.
-1
Let x(b) = b**3 + 50*b**2 - 157*b - 5406. Let y be x(-51). Solve -57*l - 33 + 489 = y for l.
8
Let f be (6 + -4 - -2) + -5 + 1. Suppose -4*s - 5*c = 4 + 2, f = -3*c - 6. Let t(b) = 3*b + 5. Let a be t(s). Solve 0 = -a*o + 6*o - 6 for o.
-3
Suppose -2*x - 9*x - 3*x = -10*x. Solve x = -6*t + 248 - 194 for t.
9
Let h = 4256 + -4243. Solve 0 = -h*a + 6*a - 35 for a.
-5
Let c be (-8)/((-16)/(-10)) + 6. Let h be (0 + c/3)*(39 - 0). Solve -14*w = -h*w - 4 for w.
4
Suppose -33*z - 11*z + 5081 = -1431. Solve z*p - 20 = 168*p for p.
-1
Suppose -7*i + 2*i = -5. Let z be (-2 + 42)*(-12)/(-20). Let x be ((-28)/z - -1) + 55/6. Solve i + x = -5*n for n.
-2
Suppose 0 = 4*d + 5*l + 16, -4*d + 15 = -9*d - 5*l. Let t be 18/(-5)*50/(-15) - d. Solve 0 = -4*c + t*c - 7 for c.
1
Let t be 6 + 3/(-6)*6. Suppose -10 = -5*a + 5*m, 2*a + a + t*m = 24. Let h(c) = c**2 - c - 3. Let o be h(3). Solve -a*j + 7 + o = 0 for j.
2
Let a(r) = -144*r**3 + r**2 - 90*r - 92. Let y be a(-1). Solve -y*m = -149*m - 30 for m.
-5
Suppose 163 + 389 = 6*q. Suppose q = -3*z + 4*y + 290, 4*y = z - 74. Solve c - 57 = -z for c.
-5
Let y = -886 + 893. Suppose y*z = 34*z - 162. Solve -3*x + x = z for x.
-3
Suppose 21*v + 122 = 39*v - 112. Solve v*g = g for g.
0
Suppose -4*z = -2*s, 2*z + 6*s = 3*s + 8. Suppose -5*f = 4*b - 21 - z, -4*b - 4*f + 20 = 0. Solve -d + b*d + 2 = 0 for d.
-1
Suppose -122 = -4*u - 2*d, 2*u = 2*d - 0*d + 76. Let o = u + -7. Suppose 25*m + 2 = o*m. Solve h = m*h for h.
0
Let y(w) = -6*w + 17. Let s be y(-3). Suppose 12*x - 109 = s. Solve x*u = 9*u - 15 for u.
-5
Suppose 0 = 28*l - 25120 + 8180. Solve -3*x + l - 629 = 0 for x.
-8
Suppose -z + 4*f = -12, -8*z + f + 6 = -7*z. Let q(c) be the second derivative of -c**5/20 + 5*c**4/12 - 2*c**2 - 2*c. Let x be q(z). Solve 3*h + x = 6*h for h.
4
Let t(p) = -751*p + 48073. Let l be t(64). Let m be ((-8)/6)/(2/(-3)). Solve 7*b - l + m = 0 for b.
1
Let b(g) = 3*g + 250. Let y be b(-80). Solve 0 = y*v - 29 - 1 for v.
3
Let b(j) = j**2 + j - 6. Let p(k) = k**2 - 7*k - 11. Let f be p(8). Let u be b(f). Let s be 15/5 + 1 + u. Solve -4 = -s*t + 4 for t.
2
Let g(x) = -2*x + 13. Let d be g(3). Suppose 0 = n - 2*n - 2*l - d, -4*n - l = 7. Let q = n - -3. Solve r + 3 = -q for r.
-5
Suppose -3*i - 1807 = -b, 4*b = -9*i + 10*i + 584. Let s = 624 + i. Solve -21 = -13*v + s*v for v.
-3
Suppose 0*h - 27 = h. Let q = 355 + -386. Let v = h - q. Solve -r = v*r for r.
0
Suppose 3*a + 4*a = 49. Let i be (a/21)/(1/18). Suppose -3*p = -i*p. Solve 0 = -p*u + 2*u for u.
0
Let g be 10 - (-2 + 2 + -2). Let i be (20/(-2))/(-11 - 102/(-12)). Let m(t) = 30*t - 118. Let r be m(i). Solv