+ j*p, 3*z + 3 = -2*p - 6 for z.
-3
Let k be 3*(-30)/18 + 35. Suppose -k = -4*n + 6*b - 4*b, 2*b = -10. Solve 2 = -2*l, -j - 2 - 4 = n*l for j.
-1
Let h = 492214 + -492213. Let y(n) = -n**3 - n**2 - n + 2. Let g be y(0). Solve -g*x + 2 = 4*c - 0, -c = -h for x.
-1
Suppose 4*v - 89 = 22*x - 17*x, 4*v = -2*x + 110. Solve 0*k - 4*k + 3*p = v, 3*p - 6 = 0 for k.
-5
Suppose 0 = -5*j + 2*v - 75, 10*j + 5*v - 45 = 13*j. Let n be ((-3)/((-60)/16))/(j/(-75)). Solve d + 3*h + 3 - 1 = 0, 3*d + n*h + 11 = 0 for d.
-5
Suppose -4*c = -13 - 11. Let g(l) = l**2 - 3*l - 14. Let h be g(c). Suppose -h*n = 0, -3*u + 8*u + 2*n = 0. Solve u = x + 4*x - 4*o - 21, -4*x - 3*o = 8 for x.
1
Suppose f = 157 + 92. Let g = f - 246. Solve -4*h + 17 = -m, 0 = -g*h - 2*m - 3*m - 16 for h.
3
Let b(w) = w + 1. Let v be b(8). Suppose 0 = -v*x + 7*x + 8. Suppose -5*y - 17 = -3*i - 11, -3*i + 6 = -2*y. Solve -6*k - 16 = -2*k - x*g, i*g = 6 for k.
-1
Let x be ((-1)/2)/(21/(-294)). Solve -5*r = -5*o - 5, -2*o + 35 = 4*r + x for o.
4
Let q = -42 - -47. Suppose 2*d - 5*i = -5, 5*d + i = q*i + 30. Solve g - d = -5*c + 4, 18 = 4*g + c for g.
4
Let l be (2 - 1)/(3/30). Suppose -3*s + 8 = 2*y, 14 - 6 = -4*y. Let o be (129 - 133)/(0 - 1). Solve -o*c = -s*n - l + 2, -5*n = -c + 18 for n.
-4
Let g(p) = p**3 + 10*p**2 + 2*p + 22. Let u be g(-10). Let o = 1014 + -993. Solve 4*y + 5*r + 3 = -2, u*r - o = 3*y for y.
-5
Suppose -33*f = -38*f + 110. Suppose 2*l + 140 = -f. Let q = l - -87. Solve -5*i - 12 = -5*c - 2, 3*c - q = i for i.
0
Let n = -4 + 14. Let k be 7 - ((-132)/(-176))/((-26)/32 + 1). Solve q - k*j = -4*q - 30, -j - n = 5*q for q.
-3
Let w = 529 + -501. Suppose w*d - 33*d = -q + 18, 5*q - 148 = -4*d. Solve -3 = -5*x - q, -5*z = x + 30 for z.
-5
Suppose -2*k - 606 = 4*o, -2*k + 106 + 647 = -5*o. Let g = o - -153. Solve 2 = g*w - m, 3*w - 4*m - 10 = m for w.
0
Let t(k) = 29*k**3 + 8*k**2 - k - 6. Let a be t(1). Solve -2*y = 4*h + a, 3*y = 10*h - 5*h + 10 for y.
-5
Suppose -181*r = -237*r + 224. Solve -5*w + 2*n + 12 = 0, 0 = -3*w - r*n + 9 - 7 for w.
2
Let b(p) = 22*p**2 + 104*p - 22. Let c be b(-5). Solve c = -u + 4*q, -2*u + 47 - 45 = q for u.
0
Suppose g + 2*j = 19, 2*g - 25*j = -28*j + 33. Suppose 5*c + 2*x - 2 = 18, 2*c - g = -x. Solve 4*i - 3*d = 28, 4*i + c*d - 4 = 4 for i.
4
Let i = 27892 + -27887. Solve -8*n = -2*n - 3*l + 45, i*l - 35 = 2*n for n.
-5
Let t(q) = 11*q - 13. Let x be t(2). Let r be ((-6)/(-4))/((-7)/((-294)/x)). Suppose -4*a = -9 - r. Solve 0 = 3*h + 2*s, 3*h = -s - a*s - 9 for h.
2
Let q(o) = 5*o. Let a be q(1). Let d(k) = k**3 + k**2 + 82*k - 741. Let p be d(6). Solve 2 = u - 0*u - p*j, -3*u - 2*j = a for u.
-1
Let y(b) = -14*b + 76. Let t be y(9). Let d be (-2)/5 - (-2)/(t/(-135)). Solve -x = 0, 0 = -d*w + 3*x + 2*x + 10 for w.
2
Let x = 7869 - 7861. Solve -3*p = 5*q, -p + x - 16 = -q for q.
3
Suppose m + 176 = 23*m. Suppose 0 = 4*a - 2*x - 8, -6*x + 7 = 3*a - m*x. Suppose -4 = -o - 0*o. Solve 3*l - o*c = 4*l - a, 0 = 3*c - 3 for l.
-3
Let f be ((-6)/4)/(5/10) - -27. Suppose 10*p = 6*p - 2*o + f, -3*p - 5*o = -25. Let c = 6 - 3. Solve -y = -3*a - 7, 5*y = a - p*a - c for y.
1
Let w(f) = -f**3 - 6*f**2 - 6*f - 3. Let z be w(-3). Let o be -2 + (-16)/z*(-6)/(-4). Solve t - 1 = -o*b - b, 4*t = -b + 13 for b.
-3
Let g(a) = 135*a + 4595. Let y be g(-34). Solve 6*i - y*i = -5*w - 21, w = -5 for i.
4
Let l = 3687 - 3658. Solve y - 2*a = -2, 31*y - 3 = l*y - 3*a for y.
0
Let m = 99 - 97. Let b be (-33 + -3)*m/(-6). Let j be ((-8)/5)/(b/(-30)). Solve -18 = 3*d + d - o, -28 = j*d + 4*o for d.
-5
Suppose -41 = 6*y - 17. Let w be (-34)/(-8) - y/(-16) - -4. Solve -5*h - 4*q = -w, 0 = 4*q - 3 - 5 for h.
0
Suppose -y + 9 - 11 = a, 4*y = 5*a + 37. Solve -3*u = y*x + 6, 16*u = 17*u - 4*x - 13 for u.
1
Let m = 178 - 180. Let j be -5 - (-2 - (7 + m)). Solve -3*b = -x + 17, -x = j*b + 3*b + 15 for b.
-4
Suppose 5*l - 5 = -30. Let j be ((-4)/l)/((-20)/(-250)). Let b be j - 6 - (-2)/(-1). Solve 0 = -2*n - 4*t - b - 0, 4*n - 14 = t for n.
3
Let b = 778 - 1261. Let k = b + 487. Solve -4*c = k*g - 3*g + 5, 3*c - 5 = g for c.
0
Let b(j) = 2*j**3 - 22*j**2 + 12*j + 82. Let f be b(10). Solve 10 = 5*x, l = -0*x - f*x for l.
-4
Let m = -19 - -41. Let s = 110 - 75. Suppose -9*t = -2*t - s. Solve a - 5*f = -f - m, -4*a - t*f = -17 for a.
-2
Suppose -j - 72 = j. Let n = j + 96. Let l be (-6)/(-21) - n/(-35). Solve 4*m + 3*b - 5 = 0, 0*b - 2*b + 8 = -l*m for m.
-1
Let j = -59 - -62. Suppose q + 2*q - 9 = 3*r, -j = -2*q + 5*r. Solve 8 = 2*c, q*v + 16 = 4*c - 16 for v.
-4
Let m(r) = -r**3 - r**2 + 5. Let u be m(0). Suppose -u*z - 42 = 2*z. Let h be z*(-2 - (-15)/10). Solve -3*s + 1 = -h*l - 8, -5*s = -l - 7 for l.
-2
Let a = 8402 - 8400. Solve -4*j - 4*i + 7*i = 26, 0 = 4*j - a*i + 24 for j.
-5
Suppose i + 12 = 5*i. Let g be (1 - (0 - 2)) + -3. Suppose 15*h - 47 - 208 = g. Solve -p + 4*n = -h, -i*p + 19 = -5*n + n for p.
1
Let o = -135 + 133. Let b be o/(-14)*179 - 276/(-644). Solve -3*w - 5*y = -10*y - 11, 5*y + b = -2*w for w.
-3
Suppose -5*x = l + 1210, 5*x - l + 1347 = 127. Let z = -243 - x. Solve 4*q - 2*g + 4 + z = 0, -4*q - 3*g - 14 = 0 for q.
-2
Let g(t) = -138*t + 715. Let k be g(5). Solve k*j - 20*j + 10 = 3*n, 25 = -5*n for j.
-5
Let q = -553 - -558. Suppose 5*k - 5*z = -17 + 22, 0 = q*k + 2*z + 2. Solve x - 3*l + 1 = -k, 0 = -5*l - 5 for x.
-4
Suppose 33 = 3*q + 45. Let p(a) = -10*a - 13. Let v be p(q). Suppose v = 5*h + 7. Solve 4*j = -h*i - 4, 4*i - 5*j + 5 = -8 for i.
-2
Suppose 40*f - 22*f = -792. Suppose -4*g = -5*o + 364, 2*o - 42 = 2*g + 104. Let k = f + o. Solve -3*u + 0*z - 4*z - k = 0, 3*z = 3*u for u.
-4
Let m(n) = 2*n**3 + 116*n**2 - 9*n - 517. Let w be m(-58). Solve -2*c - 2 = w*h, -8*c + 7*c = 1 for h.
0
Let k be (-10 - -1)*(7 + (-66)/9). Suppose 0 = 5*o - 18 - 22. Let m = o + 3. Solve -4*t - 2*n = 6, -46 + m = 5*t - k*n for t.
-4
Let n(u) = u**3 + 35*u**2 - 46*u - 357. Let v be n(-36). Solve 4*c + 15 = -4*r + v*r, c - 5*r = -9 for c.
-4
Let f(n) = -n**3 + 44*n**2 + 4*n - 176. Let d be f(44). Solve 0 = -3*s - 3*m + 26 - 2, d = -5*s + 5*m - 10 for s.
3
Suppose -2*h + 2 = -60. Suppose h = 4*x + 31. Solve -2*o + d - 13 = x, -3*o - 7*d + 8 = -3*d for o.
-4
Suppose 0*o + 8*o - 34 - 126 = 0. Solve -q - 35 + 12 = -4*k, -5*q = -k + o for q.
-3
Let q(g) = 2*g**2 - 297*g - 1723. Let z be q(155). Solve 0 = -2*w - 3*k + 11, z = 3*w - 3*k + 298 for w.
1
Let k(y) = -1034*y**2 + 8341*y + 1. Let i be k(8). Solve 2*s + 2*n = 10, -5*s = 3*n + i - 578 for s.
5
Let o be 28/((-49)/7) - 1. Let j be (o + 119/21)*(-36)/(-8). Solve 4*l - 4*u = -24, 4*l + 9 + j = u for l.
-2
Suppose -336*z + 596 = 501 - 1249. Suppose -15 = -5*q - 5*h, -29 = -3*q - 0*h + h. Solve -z*g + q = 4*c, -3*g - g - 19 = -5*c for c.
3
Suppose -3*n - 3*o = -35 + 11, 2*o = 0. Suppose -1 = 4*a + q - n, a = -2*q - 7. Solve 2*d + a*d + y + 25 = 0, 0 = d + 3*y + 5 for d.
-5
Let v be (-21*(-4)/(-64)*8)/(12/(-32)). Solve -2*t - 10 = 0, 4*t = -l + 8 - v for l.
0
Suppose 9*o - 294 = 1533. Let p = o - 200. Solve -3*i = 3*f + 10 - 1, 0 = -p*i + f + 3 for i.
0
Let w = -11608 - -11612. Solve -2*s = -5*h + 35, -w*s + 3*h + 4 = 39 for s.
-5
Let c = -15210 + 15219. Solve w - c = r, 0 = -4*r - 33*w + 35*w - 24 for r.
-3
Let s = 10 - 1. Suppose -114*x = 94*x - 7567 - 1793. Solve -5*n - x = -4*l, s*l + 5*n = 4*l for l.
5
Let x = -9619 - -9623. Solve -a + 4 = -3*t, 4*a + x = t + 9 for t.
-1
Let g be (4/10 + 33/(-45))*-6. Suppose -2*j + 2 - g = 0. Suppose 4*p - 12 = m, 0*m - 3*m = 2*p - 6. Solve p*l = c - 10, c - 4 = -j*c for l.
-2
Let o(x) = -16*x - 382. Let w be o(-24). Solve -8*s = -3*s + 20, 5*s + 26 = -w*h for h.
-3
Let o be (-12)/270*-18 - (-91)/5. Solve -4*t = 3*n - o, -6*n - 4*t + 29 = -n for n.
5
Let c be -5 + 11 + -1 + -2. Suppose 3*w = 2*j - 9, -6*w + 3*w = c*j - 6. Solve j*v + 2 - 11 = -d, 0 = -2*v + 3*d - 5 for v.
2
Let g(f) be the third derivative of f**6/120 + 3*f**5/20 + 13*f**4/24 + 15*f**3/2 - 63*f**2 - 1. Let v be g(-8). Solve -v*z + 35 = 4*y, y - 4 = 3*z - 8 for z.
3
Let t(y) = 2*y**3 + 2*y**2 - 15*y + 9. Let z be t(2). Let s be (2 - (-1 + 4)) + 2. Suppose -2*x = -25 + s. Solve -2*f + 16 = -3*d, f + 5*d + x = -z*f for f.
2
Let t(b) = -b**3 - 2*b - 18. Let w be t(-3). Let d be w/(-9)*(-10 - -8 - 7). Solve -5*h + 18 = 3*i