 - 2*p for p.
-5
Let j(i) = -51*i + 133. Let k be j(8). Let p = k - -278. Solve -2 - p = -5*x for x.
1
Let w = -1048 + 1060. Solve 2 = w*o + 14 for o.
-1
Let k(n) = n**3 + 22*n**2 + 22*n + 18. Let u be k(-21). Let v be (-8)/20*(-15)/(u + 6). Solve -b = -3 + v for b.
1
Let n = -639 - -1085. Let z = n - 443. Solve -4*j - z*j = -21 for j.
3
Suppose -6658 = -4*x - 1382. Suppose -x = -2*w - 1311. Solve w = 2*t - 4 for t.
4
Suppose -v + 11 = 5*m, -3*m - 27 = 6*v - 11*v. Solve m = -j + 2 for j.
1
Let z be (68/(-24) + (-1)/(-2))/(610/(-691740)). Solve -2574 + z = -12*o for o.
-6
Let p(j) = j**2 + 9*j - 10. Let t be p(-10). Suppose 2*y + 442 = -t*w - 4*w, -5*y + 5 = 0. Let g = 114 + w. Solve 2*b = -b - g for b.
-1
Suppose f + 5*k = -0*f, 0 = 5*f - 4*k. Suppose -5*h = 28*y - 32*y + 30, 0 = -y + 5*h + 15. Solve f = -r - 4*r + y for r.
1
Let w = -221 - -238. Suppose 24 - 24 = -w*s. Solve 3*h + 6*h + 27 = s for h.
-3
Suppose 0*k + 5*k - 64 = -4*g, -53 = -4*k - 5*g. Suppose 3*t + 119 = 5*d + 104, 0 = -5*t + 4*d - 12. Solve -4*l + 8*l - k = t for l.
3
Let t(q) = -q**3 + 26*q**2 + 92*q - 99. Let o be t(29). Solve o*p + 55 = 57*p for p.
5
Let q = -5911 + 5918. Solve -208 = q*n - 229 for n.
3
Let q(j) = 1081*j - 3200. Let g be q(3). Solve -12*r + 5 = -g for r.
4
Let b(p) = -p**2 - 2*p + 22. Let c be b(-4). Solve 3*x + c = 23 for x.
3
Suppose -144 = -39*i + 17*i + 54. Solve -12 = 3*k + i for k.
-7
Let h be ((-33)/(-6))/(4/440). Suppose 12*r - r = h. Let w = 56 - r. Solve 3*s + w = -2 for s.
-1
Let f(o) = -2*o**2 - 28*o - 21. Let r be f(-13). Let l be 1*((-15)/r + 7). Solve -l*c = -9*c for c.
0
Let l be 2/(14/(-245)*-25)*(-20)/(-2). Solve -4*h = -l*h - 2*h for h.
0
Let m be (14/21)/((-4)/(-6)). Let f(t) = t**2 + 8*t + 17. Let n be f(-4). Let l be ((-6 - -4)*n)/(4/(-10)). Solve -4 = l*u + m for u.
-1
Let q be (18/(-15))/(16/(-40)). Suppose -4*b - 2*y = -2, 7 = 2*b - 2*y - q. Solve b*u + 8 = 16 for u.
4
Suppose -5*o + 29 = -11. Let m(p) = 55*p - 132. Let n(d) = -19*d + 44. Let l(w) = -6*m(w) - 17*n(w). Let r be l(6). Solve -2*k + o + r = 0 for k.
5
Let z be (-2 + -1 + 5)*6*(-54)/(-108). Solve 14*u + 20 = -z*u for u.
-1
Let d be (1 + -7 - -6)/(-7). Suppose d = 5*x - 3*j - 20, -x - j + 22 - 18 = 0. Solve -x*a + 10*a = -6 for a.
-1
Suppose -5*n + 57 = 2. Suppose 2*x + 6*s - 25 = s, -x + n = 4*s. Solve 0*j - 5*j = x for j.
-3
Let g = -24 - 19. Let f = 49 + g. Solve -6*d - f = -0*d for d.
-1
Let z = 372 + -267. Let r be 2/(20/z)*(-16)/(-28). Solve 0 = -7*a + 5*a + r for a.
3
Suppose 3*a - 3*d - 84 = 0, 5*a - 4*d + 13 = 6*a. Solve a*f + 13*f = -114 for f.
-3
Suppose x - 1 = 1. Let o be 17/5 - 70/175. Suppose 2*y + o*r - 21 = 0, -2*y + 2*r + 7 = 1. Solve x*f - 4 = y for f.
5
Let i(a) = 3*a**3 - 10*a**2 + a - 4. Let w be i(4). Let d be 8 + 5/((-40)/w). Solve -y - d = -5*y for y.
1
Suppose 3*k + 978 = 198. Let j = k + 270. Solve 2*r = 7*r + j for r.
-2
Let m(s) = -s**2 - 6*s + 5. Let f be m(-4). Let k be 1 + (6 - f) + 20. Solve 0 = k*i - 15*i for i.
0
Let z(r) = -r**3 - 18*r**2 + r - 9. Let k be z(-18). Let t be -2 - (-10)/(-15)*k/2. Solve -5*x - t + 2 = 0 for x.
-1
Let f = 10 + -6. Suppose -3*s = -2*x - 7, 0 = -f*s - s - 4*x - 3. Let m = 5 + s. Solve 6 + m = -4*r for r.
-3
Suppose 4512 = 44*i + 72*i + 25*i. Solve 15*a + 13 = -i for a.
-3
Let m(a) = -7*a + 2. Let f be 0*(2/(-4) - 12/(-12)). Let q be m(f). Solve -q*c + 7*c + 5 = 0 for c.
-1
Let v(t) = -t**3 + 44*t**2 + 241*t + 202. Let g be v(49). Solve 0 = 13*b - g + 19 for b.
-1
Let w(s) = 2*s**2 - 36*s - 463. Let p(i) = -i**2 + 18*i + 232. Let x(j) = 9*p(j) + 4*w(j). Let k be x(-8). Solve -k*l = -27*l + 4 for l.
-4
Suppose -4*t - 4*s - 28 = -8*s, 16 = -2*t + 3*s. Let y be (-3)/t*(4 + 1). Let c = 293588 + -293588. Solve c = -x + y - 2 for x.
1
Let o = 12 - 8. Suppose o*a = 3*g + 4 + 9, -2*g + 3*a - 8 = 0. Let x be (-10)/(-14) - 2/g. Solve 0 = b - x for b.
1
Let r(x) be the third derivative of x**6/120 - 3*x**5/10 - 3*x**4/4 - 17*x**3/6 - 509*x**2. Let j = 61 + -42. Let w be r(j). Solve w*n + 10 = 2 for n.
-4
Let b be 9*(-7 - ((-204)/108 + -5))*-12. Let o(i) = i + 4. Let p(k) = k + 5. Let u(y) = -3*o(y) + 4*p(y). Let g be u(-6). Solve 0 = -5*v + g*v - b for v.
-4
Let m = 24 + -22. Suppose 5*n + 2*g - 15 = 6*g, -3*n - m*g = -9. Suppose -n*t = -6*t + 3. Solve -3*x + t = -4*x for x.
-1
Let x be (2/4)/(13/468). Let q(b) = -b**2 + 18*b - 8. Let c be q(x). Let l(h) = -h**2 - 10*h - 14. Let d be l(c). Solve d - 7 = -i for i.
5
Let p = -17 - -19. Suppose -p*o = -o. Suppose -5*j + 3*a + 12 = o, -12 = -0*j - 3*j - 3*a. Solve 2*b = -j*b for b.
0
Let p = 215 - 209. Let w(n) = n + 31. Let m be w(p). Solve -6*v + m = 7 for v.
5
Suppose 3*f = w + 22, -2*f + 4*w = 2*f - 32. Suppose -29 = -5*o + j, 6*o - f*o - 5*j - 15 = 0. Suppose o = -4*u + 21. Solve -2*v + 3*v = -u for v.
-4
Suppose 27 = 6*s + 3*s. Let p(b) = -b**3 + 4*b**2 - b - 3. Let i be p(s). Suppose 0*l = i*l - 60. Solve -4*n + l = n for n.
4
Let n be (-5 - (-10)/2) + 0. Solve n = -34*x - 164 - 6 for x.
-5
Let j = -15 - -5. Let o be -2*2 + (-40)/j. Suppose f - 3*z - z - 9 = o, -9 = -3*f + 3*z. Solve -2*m - f = -m for m.
-1
Suppose -c + 0*c + 9 = 0. Suppose i - c = 4*i. Let b be (-6)/i - -2 - 0. Solve g + 3 = b*g for g.
1
Let d be (-2)/3*(-144)/32 + 0. Suppose -10 = -d*h - 5*i, 6 = h + 7*i - 4*i. Solve h = -2*s - 3*s for s.
0
Suppose x = 5*y - 232, -23*y + 4*x + 146 = -20*y. Solve 58 = -3*l + y for l.
-4
Let i be 3 - (-168 + (-12)/(-3)). Let s = -161 + i. Solve 5*n - 16 + s = 0 for n.
2
Suppose -16*x - 4 = -4. Suppose 4*m - 8 = -x*m. Suppose 0 = 4*c + 4 - 12. Solve -m = -c*f - 0*f for f.
1
Let w(f) = f**3 + 68*f**2 - 53*f + 1113. Let n be w(-69). Solve 10*q - q = n for q.
1
Let r be (-240)/(-36) + (-12)/(-9). Solve 54*a + r = 46*a for a.
-1
Suppose 15*r = 24*r + 9. Let z(y) = y + 4. Let n be z(r). Solve -n = -3*c + 6 for c.
3
Suppose -5*n + 3*c = -649, c - 372 = -3*n - 3*c. Let l = n + -115. Suppose -l*w = 5*w - 72. Solve -o + 3 = w for o.
-1
Let w(c) = c**3 - 5*c**2 + 8*c - 5. Let v be w(3). Let n(h) = -10*h**3 - h**2 - h + 1. Let j be n(v). Let d = j - -23. Solve -o + d = -4*o for o.
-4
Let v(b) = -b**2 + 5*b + 6. Let z be v(5). Let j(c) = 2*c**2 + 6. Let g be j(4). Suppose -4 = g*p - 40*p. Solve 8*u - p = z*u for u.
1
Let p be ((-10)/8)/((-16)/128) + 4. Suppose -p*h = -189 - 91. Solve 0 = -9*u + 2 - h for u.
-2
Let n(y) = 3*y**2 - 1. Let d be n(1). Suppose 0 = -3*h - d*h + 80. Suppose -61 = -5*o - h. Solve 1 - o = 4*f for f.
-2
Suppose -4 = m + 2*b - 7, 0 = m + 4*b + 7. Solve 6*h = m + 5 for h.
3
Let x = 5 - 5. Suppose 2*v - 4 = -5*i + 7*i, 18 = -3*i + 5*v. Solve x = -d - i*d for d.
0
Suppose 0 = 2*i - 7*i. Suppose i*k = k. Let u be (2 - k)/((-4)/(-8)). Solve 0 = -t + 5 - u for t.
1
Let n(o) = o**3 + 5*o**2 - 106*o + 16. Let u be n(8). Solve u = -13*v - 8 + 21 for v.
1
Let o(h) = 5*h**2 + 9*h - 10. Let r be o(1). Solve -r*f + 9*f = 10 for f.
2
Suppose 219*z + 270 = 224*z + 5*v, 5*v = 30. Solve z*w - 39*w = -27 for w.
-3
Let z(h) = 7*h - 11. Let x(c) = 6*c - 11. Let b(t) = 5*x(t) - 4*z(t). Let k be b(5). Let i be 2/2*0*k. Solve 3*n + 0*n - 15 = i for n.
5
Suppose -39*d = 9*d - 6*d - 126. Let k be ((-2)/(-6))/(5 - (-74)/(-15)). Solve -2 = k*y - d*y for y.
-1
Let z = -2743 - -2750. Solve -192*t - z = -199*t for t.
1
Let c = -48585 + 48585. Let g be 12 - 5 - 4/(-2). Suppose -5*s + 0 = 3*i - 7, -i + 2*s = -6. Solve c = -i*w + w + g for w.
3
Let g be ((-3)/(-3 + 6))/(-1). Suppose 5*y = -6 + g. Let c(r) = 12*r**2 + r + 1. Let v be c(y). Solve m = 5*m + v for m.
-3
Suppose 7*p - 16 = -6*p - 3*p. Solve p = 8*x + 33 for x.
-4
Let x = -3094 - -3106. Suppose -s = -3 - 9. Solve 9*c - x*c = s for c.
-4
Let h = -31187 - -31351. Solve -189 = -185*d + h*d for d.
9
Let j be (-3*(-6)/45)/(8/80). Let z(n) = n**2 - n - 8. Let x be z(j). Suppose 0 = 3*r - 2*w - 15 + 2, 5 = -r - x*w. Solve -r*d = -2*d for d.
0
Let t(u) = -177*u**3 - u**2 + 12*u + 12. Let w be t(-1). Solve 0 = 8*p + 160 - w for p.
2
Suppose 266 = p + 259. Let i(b) = b - 4. Let l be i(4). Solve l = -2*g + p - 17 for g.
-5
Let k(w) = 38*w**2 + 14*w + 43. Let v be k(-4). Let z = v - 564. Solve -z*s + 3 = -32*s for s.
-3
Suppose -19*p + 27*p = 88. Let s be 0 - (3 + 3*-2). Suppose -2*n + j = -11, -7 = -s*n + 2*j + p. Solve -2*o = -n*o f