4*g + o, 2*i + 2*g = -x for i.
-2
Let a(w) = -3*w + w**2 - w - 3*w**2 + 4*w**2 + 2*w**3 - 5. Let n be a(-2). Let u = n + 9. Solve -2*g + 12 = -2*r, -u*g + 13 = -g + 2*r for g.
5
Suppose 5*q - 52 = -8*s + 5*s, 3*s = 5*q + 2. Solve -w + 4*w = 3*z - s, 0 = -z + 4*w + 18 for z.
-2
Let c(s) = -s**3 - 12*s**2 - 11*s - 8. Let w be c(-11). Let m be (-6)/4 - 36/w. Suppose 1742 = -43*j + 177*j. Solve i + m*i - j = -d, -5*i = d - 16 for d.
1
Let z = -48022 - -48031. Suppose -3*f + 0*f = -6. Solve -f*o + 6 = 5*w - z, -4*w + 12 = 5*o for o.
0
Let x(r) be the third derivative of r**4/6 - r**3/3 - 11*r**2. Let j be x(1). Solve 31 + 0 = -j*c + 5*d, 3*c = 3*d - 24 for c.
-3
Let z(q) = 4*q + 40. Let i be z(-9). Suppose y - 2*w = -w + 3, -i*w = -4. Suppose 3*b = y*b - 2. Solve -s = -b*c + s + 6, 3*s - 6 = 0 for c.
5
Let c = 215 + -213. Suppose c*y - 7*y + j + 22 = 0, 0 = -4*y - 3*j + 10. Solve -2*g + 6*g + 20 = y*l, -3*l = 5*g + 1 for l.
3
Suppose 0 = 37*p - 20*p. Solve 2*o + 9 = k, 24 = -5*o - p*k + 3*k for o.
-3
Suppose -5*d - m = 27, 3*d = 4*d + 2*m. Let y be 8 - 3/((-9)/d). Let n = y - 1. Solve 2*k = n*s, -2*s + 0*k = -4*k for s.
0
Suppose -141 = -7*h + 41. Let v be 13/h - 70/(-4). Let q be 2/(-4 - (-76)/v). Solve -6*k + 3*k - 16 = r, -r + q = -2*k for r.
-1
Let b(g) = -17*g + 13. Let f be b(9). Let t be f/245 - 64/(-14). Solve -2*k + 4*k - 8 = -t*u, -4*k - 32 = -4*u for k.
-4
Let y(l) = 101*l + 108. Let z be y(-1). Solve 0 = 4*t - 3*t - 5*j + 4, -z = -5*t - 2*j for t.
1
Let y = -806 - -814. Solve 4*z - 2*x = 18, -5*z + 4*x = -y - 13 for z.
5
Let r be (5 + -7)*-11*(-13)/(-2). Let f = r + -143. Solve 2*z + 19 = 3*t, -t - 2*z = -f - 1 for t.
5
Let w be (8 + -5)*4/(-4). Let i be 14 - (-2 + 7 - w). Solve u + u = 4*n + 18, -i = -2*u + n for u.
1
Let s(o) = -52*o + 54. Let m be s(1). Let d(w) = w**3 + 12*w**2 + 9*w - 14. Let q be d(-11). Suppose 4*g + 0 - q = 0. Solve m*r - 8 = -g*r - 4*v, 3*v = 0 for r.
2
Suppose 0 = 377*x - 374*x + 165. Let c be x/(-4) + 1/4. Solve -4*w + 5 = -3*t - c, -t - 2*w + 7 = 0 for t.
-1
Suppose 3*p - 21 = -3. Suppose 163 - 67 = 32*r. Suppose -p = -n - r*z, 3 = 2*n + 2*z - 21. Solve -12 = -2*s + y, 5*s + 2*y + 3*y - n = 0 for s.
5
Let u(h) be the third derivative of -h**4/12 + 16*h**3/3 + 153*h**2 - 1. Let w be u(9). Solve -4*v - w = 2*r, -2*v + 11 = r - 6*r for r.
-3
Let q(b) = b**3 + 2*b. Let m be q(2). Let j = -5895 - -5898. Solve 5*r + m = -3*p, -5*r - j*p = -6*p - 12 for r.
0
Suppose 11*c - 130 = -15*c. Suppose c*n + 45 = 8*n. Suppose 5*s = 10*s. Solve -x - d - 3 = -s, -5*x - 2*d = n for x.
-3
Let w(p) = 27 - 3*p + 23*p - 5. Let o be w(-1). Solve -o*q - 3 - 1 = -4*i, -5*q - 21 = i for i.
-1
Suppose 0 = -3*o + a + 12, 33*a - 16 = 4*o + 37*a. Let v = 8 + -5. Solve o*g = -0*g, v*y + 5*g = 3 for y.
1
Let m(o) = 15*o**2 - 5 - 7*o**3 - 2 - 2*o - 4*o + 5*o**3. Let v be m(7). Solve -h = -4*k, -k + v*k = -2*h for h.
0
Suppose 4*r - 4*c - 32 = 0, -5*r - 23*c + 18*c = 10. Solve 2*q - 1 - 5 = 0, -r*h + 2*q - 21 = 0 for h.
-5
Let s be (-715)/110*-2*(-7)/((-364)/8). Solve 2*w - 4 = -s*u, 20*w + 4*u = 18*w + 12 for w.
-2
Suppose -2*s - 29 = -2*c - 19, c - 4*s = 5. Solve k = 2*d - 4*k + 9, c*d + k = -9 for d.
-2
Suppose -32*u - 195 = -19*u. Let d be 124/(-93)*(u/2)/5. Solve 4*t - d*t - 3 = -h, 0 = 3*h - 3*t - 9 for h.
3
Let x(m) = 5*m**2 + 13*m + 13. Let v be x(7). Let r = 351 - v. Suppose 2*h + 2*d = -d + 1, -h = 4*d + 2. Solve 3*b + 5*o - 7 = 0, -r*b - o + h = -5 for b.
4
Suppose 391 = 89*n - 54. Solve m + 4 = 3*m + n*h, 2*h = 4 for m.
-3
Suppose 12*n - 9 - 15 = 0. Let q(s) = 3*s**2 + 3*s - 1. Let w be q(-3). Let u = 412 + -407. Solve n*a - 3*j - w = 0, 0 = -5*a - u*j + 2 - 22 for a.
1
Let c(v) = v + 14. Let j be c(-12). Suppose j*f = -3*m + 20, -f - f + 12 = m. Solve 28 = m*b - 0*b - 5*d, 4*b = -4*d - 8 for b.
2
Suppose -2*v + 5*j - 3 + 44 = 0, j = -3*v + 36. Solve v*x - 12*x = -3*n + 10, -4*n = 4*x for x.
-5
Let d(n) = n**3 + 4*n**2 - 8*n. Let j be d(4). Let q = 109 - j. Suppose -v + q = 9. Solve -3*c - f - v = 0, 0 = -5*c + 2*c + 5*f + 2 for c.
-1
Let d(s) = -3*s - 44. Let f be d(-18). Suppose -12*k = -f*k - 16. Suppose -5*o = -5*h + 15, -o = -2*h + k - 1. Solve h*z - 5*g = -0*z + 9, 5 = -5*g for z.
1
Suppose 75 = 2*q + a, 46 = 3*a + 31. Solve v - 3 = 12*x - 11*x, -5*x + q = 5*v for x.
2
Let g be 4/8 + (-717)/(-6). Suppose 2*r = -6*r + g. Suppose -8*j + 3*j + r = 0. Solve 0 = -4*d + 5*a + 19, -j*d + 3*a - 2*a + 6 = 0 for d.
1
Suppose 8 = 3*h - h - k, -3*h - 3*k = 6. Solve h*d = 3*g + 2, -5*d + 2 = 3*g + 18 for d.
-2
Let z(u) = -550*u - 10446. Let m be z(-19). Solve 0 = 49*v - 48*v + m, 0 = -o + 3*v + 11 for o.
-1
Let d be -5 - (3 + 2 + (-4 - (11 - 3))). Solve -2 = k + 4*r, 3 - 7 = -3*k - d*r for k.
2
Let s be 0 - 5/(-20)*0. Suppose -3*j + 2 = -k, s = 3*j - 2*j - 3. Solve -3*i = -0*i + o - k, 0 = -4*i + 4*o + 20 for i.
3
Let g be 0/12*1/2. Let q(r) = 3*r + 5 + g + 0. Let h be q(0). Solve -3*k + 7 = -2*y, 17 = h*k - 0*y - 2*y for k.
5
Let y be (-102)/30*10/(-2). Let q be (-2 + 1)/(45/(-90)). Solve 0 = 3*f - x - 3*x + y, 3*f + q = x for f.
1
Let l be (-5 - 2) + (-2)/2. Let k be 1 - l/((-4)/(-2)). Let a = -10270 - -10298. Solve -2*b + a = -5*s, -s - 16 = -2*s - k*b for s.
-4
Let t(s) = 16*s + 58. Let i be t(-4). Let c be 4/i + (-104)/(-39). Solve g + 8 = 5*g - w, 0 = -c*g - 3*w + 18 for g.
3
Suppose -2*h = h + 486. Let i = h + 100. Let a = -55 - i. Solve -3*f + 6*f = 4*c + a, 0 = -4*f + 20 for c.
2
Suppose -4*w + 5*d = 46, -d + 0*d - 16 = 2*w. Let t be w + 12 - (-1)/1. Let k = -156 - -160. Solve -t*p - 3*v = 3, k*v = 2*p - 0*v - 26 for p.
3
Suppose 4*d - 2*d - 36 = 0. Suppose 13*l - 16*l - d = 0. Let z be -2 + 9 + 7/(21/l). Solve -3*b = b + 5*y - 10, -y + 2 = z*b for b.
0
Let n be (-127)/(-4) + ((-14)/(-91) - 342/(-312)). Solve s = -l - 1, -7*s + 5*s = -5*l - n for s.
4
Suppose 0 = -b - 2*b + l + 235, 3*l = 3*b - 237. Let m = 85 - b. Let s(q) = -6*q - 3. Let v be s(-1). Solve -j - c = m, v + 15 = -4*j - 2*c for j.
-2
Let l(z) = -15*z**2 + 14. Let d be l(-2). Let h = 2 + -44. Let m = h - d. Solve m*w = 5*g, -1 - 4 = -5*w + 5*g for w.
5
Let x be (-6 - (-1056)/(-56))*-7. Suppose 59*l = 30*l + x. Solve -4*z + 5 + l = -b, -z = 4*b - 7 for z.
3
Let h be (11/(220/(-152)))/(1/30). Let b = 234 + h. Solve 0 = 4*v - 2*k + b, 2 = -k + 3*k for v.
-1
Suppose -3*y + 14*a = 19*a + 114, 0 = 2*a. Let s(p) = p**3 + 37*p**2 - 35*p + 114. Let m be s(y). Solve m = 2*g + 10 - 4, 4*z - 5*g + 1 = 0 for z.
-4
Let y = -303 - -313. Suppose -4*c = 2*m - 4, 3*c - 5*m + y = 5*c. Solve -q = -a + 9 - 3, c = 3*a + 2*q - 13 for a.
5
Let l(r) = r**2 - 12*r - 24. Let z be l(-2). Solve -z*s + 3*a + 3 = 0, -2*s = 5*a - 28 + 7 for s.
3
Suppose -6 = -3*p - 0*p. Suppose p*j + 16 = 7*x - 3*x, -x = -j - 4. Suppose -x - 6 = -2*z. Solve 0*v + 3*v = -r, -v = z*r for v.
0
Suppose 108 = -439*i + 493*i. Solve i*o = -2, -2*o - o + 13 = 4*z for z.
4
Let x be (2/(-5) - 2)*(-35)/14. Suppose x*w - 5*w = -9*w. Solve -g + 5 = -3*a + 4, 4*a + 3*g + 10 = w for a.
-1
Suppose 42*m + 960 = 1044. Solve -m*f - 14 = -5*x, -3*f + 4*f - 3*x + 9 = 0 for f.
3
Let c = 25979 - 25969. Solve -m + v + c = 0, 6*v + 36 = m + 1 for m.
5
Let q(g) = -g**2 + 8*g + 69. Let b be (-1)/(2/16) - -3. Let h be q(b). Solve y = 5*a + 15, y + 0 = h*a + 11 for a.
-4
Let k(u) = u - 5. Let w be k(8). Suppose w*m - 5 = 10. Let o = 1589 - 1585. Solve -2*s + 2 = 0, 0 = -o*f - m*s - 7 - 4 for f.
-4
Let x = 10505 + -10501. Solve -4*a = x*b - 20, -b = -a + 3 - 6 for b.
4
Let p be 8/2 + 23 + -216. Let b = p + 191. Solve 0 = b*y + 3*y - 25, -36 = -4*s - 4*y for s.
4
Let l = -480 + 975. Let m = l - 494. Solve 2*u + 2*a + m = -3, 5*u = 5*a + 20 for u.
1
Let o be -240 + 7 + 2 + -5. Let s = 239 + o. Suppose -2*y = -5*y + 12. Solve 5*a = s*v - 5, 4*a + y = -v - v for v.
0
Let j be 327/327*3/1. Solve -t = -2*p + 10, -5*p = -j*t + 21 - 46 for t.
0
Let r = -26295 + 26295. Solve r = -j - 4, 0 = -v - 49*j + 52*j + 13 for v.
1
Let b(u) = -2*u**3 + 13*u**2 + 50*u - 326. Let s be b(6). Solve -i + y + 6 = 0, 4*i - 6*y + 16 = -s*y for i.
1
Let p = -137 + -216. Let m = 358 + p. Solve 0 = 4*n + 4*l - l + 16, 0 = m*l for n.
-4
Let c = 1136 - 1134. Suppose 2 = -5*i - 3. Let l be i + 2 - c/(-2). Solve 2*f - l*h = 0, -3*h - 2 = 13 for f.
-5
Let v be 3172/(-61)*(