p = 6 for p.
-3
Let a = -3387 + 3419. Solve -8 = 10*y + a for y.
-4
Suppose 4*w = 4 + 8. Suppose w*b - 2*b - 1 = 0. Let x be (-27)/126*580/261*-21. Solve 3*h - b = -x for h.
-3
Let b be (-6)/(0 + (-12)/40). Suppose 143 - 153 = -2*h. Let q = 12 + -12. Solve h*p + q*p = b for p.
4
Let b(x) = x + 6. Let p be b(-3). Suppose 0 = 4*q + 5*m + 28, -6*q - 8 = -8*q + p*m. Let u be 32/14 - q - (-2)/(-7). Solve -11 = u*y - 31 for y.
5
Let h(u) = 8*u**2 + 75*u - 42. Let c be h(-10). Solve c*o - 5 = 19 for o.
3
Let a be (17 + (-21 - -8))*23/4. Solve 0 = 20*j - a*j + 9 for j.
3
Let c = -2241 + 2673. Solve c - 442 = -2*v for v.
5
Let k = 7 - 13. Let v be 9/6 - 111/k. Let u(s) = s + 7. Let x be u(-3). Solve v = -0*q + x*q for q.
5
Let z(a) = -2*a**3 + 19*a**2 + 11*a - 1. Let p be z(9). Suppose p*y = 175*y + 16. Solve -4*d - y = -2*d for d.
-2
Let g = -14641 - -14641. Solve 59*m - 220 - 134 = g for m.
6
Let y = 121 - 77. Suppose 364*x - 1206*x = -14631 - 15620 - 11007. Solve -5*q + x = y for q.
1
Let o(n) = -15*n. Suppose -26*u + 21*u = -30. Let c be o(u). Let a be (28/42)/((-4)/c). Solve 6*y = y - a for y.
-3
Let a(m) = -2*m**2 - 6*m + 8. Let r be a(-4). Let h = 211 + -209. Suppose h*q - 2 = 0, -13 = -4*t - q - r*q. Solve 2*i - t + 1 = 0 for i.
1
Let k be (10*(-4)/8)/((-2)/(-6)). Let n(g) = g**2 + 17*g + 33. Let c be n(k). Solve 12*d = 9*d + c for d.
1
Suppose 8*q - 2861 = 1323. Let n = q + -511. Solve -n = -d + 5*d for d.
-3
Let j(o) = -o**3 + 5*o**2 - 5*o + 2. Let f be ((-9)/6)/(((-84)/(-32))/7). Let t(q) = q**2 + 2*q - 5. Let z be t(f). Let i be j(z). Solve 4 = i*d - 1 for d.
1
Suppose -2*g + 5*h = -636 + 598, -86 = -4*g + 5*h. Solve 16*i = g*i + 40 for i.
-5
Suppose -24*d - 9*d - 58*d + 1365 = 0. Solve 37*c = 42*c + d for c.
-3
Let q(g) = -g - 5. Let r be q(-9). Let x be 5 - (19/19 - (-31)/1). Let b be (39/(-9) + r)*x. Solve -3*j = 6 - b for j.
1
Let m(o) = o**3 - 20*o**2 - 3*o + 63. Let g be m(20). Suppose -g*y + 30 = -5*j, 3*y + 17*j - 12*j = 0. Solve 0 = -3*d - 8 + y for d.
-1
Suppose -a = -0*a - 7. Suppose -264 = -70*p + 114*p. Let r be p + (-42)/(21/(-7)). Solve a*f = r*f for f.
0
Let l be (-2)/(-10) - 38/(-10). Suppose -12946 = 5*r - 12951. Let w be -2 + 14*(-5 + (-33)/(-6)). Solve -l - r = w*o for o.
-1
Let g = -1 - -4. Suppose -l - 79*z = -84*z + 63, -5*l - 5*z = -75. Solve -5 + l = g*d for d.
-1
Suppose t - 11 + 1 = 0. Suppose -2*x - t = -2*l, x - 19 = -3*l - 4. Suppose y - 2 - 14 = x. Solve 8 = 18*k - y*k for k.
4
Let p(a) be the first derivative of 3*a**2/2 - 30*a + 16. Suppose 6*l + 22 = 8*l. Let f be p(l). Solve 2*z = -f*z - 25 for z.
-5
Let m(o) = -5*o - 6*o + 21*o - 6*o - 27. Suppose -5*n + 5*r = -0*r - 40, -5*r + 23 = 2*n. Let p be m(n). Solve -1 - p = 2*a for a.
-5
Suppose -3*r + 5*n = -394 + 400, 3*n = 2*r + 2. Suppose 3*l - 5 = 2*l. Solve -k + r = -l*k for k.
-2
Suppose -37*k + 21*k = 0. Suppose -2*u - u + 48 = -3*n, -44 = -3*u + 2*n. Solve k = 2*l + 2*l - u for l.
3
Let z(w) = -w**3 + 18*w**2 + 115*w. Let l be z(23). Let r(f) = -2*f**3 - 2*f + 6. Let v be r(l). Solve -v*s = 8 - 14 for s.
1
Let q(f) = 98*f**2 + 191*f - 6. Let l be q(-2). Let t(h) = -h**3 - 6*h**2 - h - 3. Let k be t(-6). Solve l*x + k*x - 35 = 0 for x.
5
Let v(q) = 10*q + 137. Let k be 890/(-70) + 2/(-7). Let c be v(k). Solve -y + 8*y = c for y.
1
Suppose 0 = 4*t - 12, -6*a + 7*a - 31 = -4*t. Suppose 5*g + 5*s - a = 1, 0 = -4*g + 5*s + 34. Solve 2*o = -o + g for o.
2
Let w = -17102 - -17239. Solve -w*f = -55*f - 574 for f.
7
Let i = 2 - -9. Suppose i = 3*b + 5. Solve 0 = 3*d + b*d - 10 for d.
2
Suppose 8*b + 155 = 851. Solve -45 - b = 33*o for o.
-4
Let h = 71 - 30. Suppose 2*r + 5950 = 5958. Solve -49 + h = -r*d for d.
2
Let i(f) = 3*f**2 + 21*f - 12. Let w(v) = -v**2 - v. Let p(y) = -i(y) - 4*w(y). Let d be p(17). Suppose 0 = -3*s + d - 3. Solve 0 = s*u - 5*u - 6 for u.
-3
Suppose 0 = -4*p - 6*p - 40. Let i be (984/410)/(p/(-30)). Solve s - i = -15 for s.
3
Suppose -23*g = -18*g - 15. Let t(d) = 8*d + 2*d**2 + 5*d**2 - 6*d - 6*d**2. Let r be t(-2). Solve g*w + r + 3 = 0 for w.
-1
Let f be (18/14)/((-41)/(-287)). Solve 31 + 14 = f*t for t.
5
Suppose 23*i + 5*i = -168. Let j(r) = -18*r - 105. Let f be j(i). Solve -6*v + 9 = f*v for v.
1
Let t(g) = -1449*g - 78231. Let i be t(-54). Let w be (2 + -1)/((-2)/(-8)). Suppose 4*k - 4 - w = 0. Solve k*p - i = 7*p for p.
-3
Let u(b) = 41*b**2 - 604*b + 1799. Let d be u(3). Solve 49*k - d - 36 = 0 for k.
8
Let b = 44 - 7. Suppose 71*h = -2*h + 2920. Solve h = -i + b for i.
-3
Let a = -217 - -219. Suppose 3*s - 1 = 3*k + 20, -5*s - 3*k + 11 = 0. Solve -s*x + a = -5*x for x.
-2
Let a be (-8)/(-30) + 97384/1110. Solve a*p = 87*p for p.
0
Suppose 3*s + 73 - 200 = -64 - 57. Suppose -3*i = 4*f - 196, 3*i - 121 = 4*f + 67. Solve 63*y - i*y + s = 0 for y.
2
Let f = 285 - 229. Suppose -22*r + f = 6*r. Solve -r*c = -3*c + 3*c for c.
0
Let r(q) = -2*q**3 + 6*q**2 + 11*q + 6. Let a be r(6). Let t = 135 + a. Let f = t - -12. Solve -f*u = u for u.
0
Let f(t) = 3*t**2 - 3*t + 118. Let w be f(0). Suppose 33*u = -w + 349. Solve -17 = 5*q - u for q.
-2
Suppose 5*q = 2*r + 130, -3*q - r = 65 - 154. Solve -7*v - q = 7*v for v.
-2
Suppose -3*y - 5*l - 13 = 0, -4*y + 3*l = -3*y - 5. Let a be (0 + y)/(-3 + 2) - -11. Suppose -4*w = 3*c - 17 - a, -5*w + 10 = -5*c. Solve c*x + x = 0 for x.
0
Suppose -22*k + 12900 = 3*k. Let u be (-3)/10 - k/(-120). Solve -u*r - 2*r = -18 for r.
3
Let d = -45050 + 45079. Solve d*o - 11 = 18*o for o.
1
Let o be -1*(520/(-80) - -6)/((-2)/(-36)). Let b(l) = l - 8. Let j be b(11). Solve j*n = -0*n + o for n.
3
Let g(b) = 2*b**2 + 57*b + 540. Let h be g(-14). Solve h*f + 24 = 128*f for f.
-4
Let c(t) be the first derivative of -t**4/4 - 20*t**3/3 - 43*t**2/2 - 34*t - 2. Let f be c(-18). Let q = f + -90. Solve q*a + 8 = 6*a for a.
2
Suppose -104*g = -141*g. Solve -35*s + 9*s - 52 = g for s.
-2
Let y be 13/(52/48) - (2 + -7). Suppose y*g = -20*g. Solve g - 5 = -f for f.
5
Let k be (2 - (-3)/(-2))*4. Let m be (-12)/(-16) - k*51/(-24). Let r be 247/52 + 2/8. Solve m + r = -5*j for j.
-2
Suppose 0 = -5*z, 4 = -4*k - 4*z + 220. Solve 0 = k*q + 491 - 167 for q.
-6
Let j = 519 + -859. Let d = j - -348. Solve m - d = -m for m.
4
Let r(l) = 7*l**2 + 104*l + 26. Let m be r(-15). Solve 16*c = -m + 41 for c.
0
Let o be 11 - ((-85)/(-10) + (-30)/12). Solve -o*j - 68 = -22*j for j.
4
Suppose 100 = -13*d - 12*d. Let x be (-6 - -5)*-5 + (-8)/d. Solve -a - 6*a = -x for a.
1
Let l = 939 - 927. Suppose 0*p = -5*p. Let v be (-3 - -1) + p + 4. Solve 0 = -v*d - 2*d + l for d.
3
Let h be (-70)/(-15)*(-17 + -1). Let a = h - -88. Let r be 8*(1/4 - -1). Solve -a*w + 2 = -r for w.
3
Suppose 26 = 2*w - 5*f, -3*f = 3*w - 4 + 7. Let t be 14/2*12/14. Suppose 2*u - 4*u + t = 0, 37 = j + 5*u. Solve w + j = -5*h for h.
-5
Let g = -3138 - -3313. Solve -g = -4*s - 191 for s.
-4
Suppose -3*v + 4*s = 2309, 3*s + s + 4 = 0. Let f = 784 + v. Solve 7*l - f = -13 for l.
0
Let k(x) be the first derivative of -2*x**3/3 - 17*x**2/2 - 32*x - 35. Let z be k(-5). Solve -z = -3*w - 12 for w.
-3
Let d = -778 - -794. Let z be (d/(-12))/(24/(-270)). Solve 5*u - z = 2*u for u.
5
Let y = 5 - 1. Let c be -15 + (-7)/(14/(-54)). Solve -c - 8 = -y*m for m.
5
Suppose 8*n - 107 = 85. Solve 5*b - 174 = -n*b for b.
6
Suppose -4*h = -3*v - v + 148, 189 = 5*v - 4*h. Suppose -2*c - 11 = 4*k - v, -45 = -5*k - c. Solve -k = 4*m + 6 for m.
-4
Let k = -68 + 71. Suppose -27 + k = 4*q. Let l be 3/7 + q + 265/35. Solve -u - 7 + l = 0 for u.
-5
Let w = 4 - 1. Suppose 117*h + 149*h - 81*h = 740. Solve -w*r + r = h for r.
-2
Let h be 1/(-1) + -11 + 15. Let a = -1 + h. Let u(k) = 26*k - 98. Let p be u(4). Solve a*l - p*l - 12 = 0 for l.
-3
Let a(u) = -910*u + 1827. Let y be a(2). Solve -17 = -y*s - 52 for s.
-5
Let x be 16 - -3*8/24. Suppose 78 = x*z - 7. Solve 0 = 2*o + 3*o - z for o.
1
Let s(r) = -5*r - 27. Let c be s(-5). Let m be (-2)/(c/5) - 4. Suppose 0 = p + m - 26. Solve 4*y - p = -y for y.
5
Suppose 0 = 39*x - 37*x. Suppose x = -2*v + 3 - 1. Let d be 0/2 + -15 + 20 - v. Solve d*o + 0 = 4 for o.
1
Let a = -314 + 340. Suppose 0 = 19*i - a*i. Solve i = -4*x - 6 + 10 for x.
1
Let h be 3*1 + (-10 - 59). Let t = h + 57. Let o be (1*-1)/(t/45). Solve -3 = o*n + 17 for n.
-4
Let v(w) = -w**2 + 5*w 