 2*c + 45, -30 = 2*c + 4*j for c.
-5
Let d(p) = p**3 + 6*p**2 - 2*p - 9. Let n be d(-6). Suppose 3*u + 5*k + 4 = 0, 5*u - k - 4 = -4*k. Solve -3*f + 28 = n*y + u*y, -5*f = -y for y.
5
Suppose 3*l + 8 = -5*x - 0, -5 = 2*l + 3*x. Let b be l/(-1)*(0 - 3). Let v be 1 + -1 + 7 + b. Solve 0 = -3*n - 2*n - v*f + 21, 4*n + 4 = 2*f for n.
1
Let k = 165 - 252. Let g = k + 92. Solve -5 = g*r - 3*f, r = -r + f - 2 for r.
-1
Suppose -c + 2*c = -2. Let p(g) = 2*g**2 + 3*g + 2. Let v be p(c). Suppose 81 - 81 = 10*h. Solve v*o - 14 = 2*d, h*d - 3*d - 14 = o for d.
-5
Suppose -z - 20 = -11*z. Solve -25 = -5*r + z*x - 6*x, -16 = 4*r - 4*x for r.
1
Suppose -3*s + 9 = 3*k, -5*k + 4*s - 12 = -36. Solve -r = -l - 4, -k*r - 2*l + 5 = 1 for r.
2
Let c = -57 + 63. Solve 0 = y - 4*b, -c*y + y = 5*b for y.
0
Let z be (63/6)/(8/16). Suppose 2*f - 4*q - 20 = 0, -2*f - 14 + 2 = 4*q. Solve 3*j - z = 3*n, 6 = -n - f*n - 2*j for n.
-4
Suppose 96 = 31*x - 7*x. Solve -f = -5, -4*z = -x*f - 5 + 29 for z.
-1
Let h(v) = -v**3 - 9*v**2 + 34*v - 22. Let m be h(-12). Solve -4*y + 2*j - 14 = 0, -3*y - m*j = 3*j + 4 for y.
-3
Let m(j) = -j + 14. Let y be m(6). Let v = -11 + y. Let l = 1 - v. Solve -l*b = -z - 25, z + 3*b = 6*b - 20 for z.
-5
Let y be 8 + (-13)/(78/36). Solve -2*m = -y, 4*j = m - 0*m + 7 for j.
2
Suppose 13 - 58 = -5*q. Suppose s + 0*s = q. Let i = s + -9. Solve -4*h - 5*y = -h + 11, -2*h + 4*y = i for h.
-2
Let g = 0 - -2. Suppose -h + 31 = 19*h + 11*h. Solve 4*a - 20 = -5*w, -4*a - h = -g*w + 7 for a.
0
Suppose -4*f = -4, -13 = -4*w + 2*w - 5*f. Suppose -3*h + 2 = -w*j - 1, 4*h = 20. Solve 0 = -2*g + 2*t - 12, -4*g + 5*g - 2 = -j*t for g.
-4
Let b = -27 - -27. Suppose 3*w + 5 = -4*y, -w = 3*y - b*y. Solve -1 = 4*s + 5*x, 5*s + 4*x = -0*x + y for s.
1
Let x(m) = -18*m - 15. Let s be x(-1). Solve 0*q + s = q, 0 = 5*j + 2*q - 21 for j.
3
Suppose 3*b = 5*u - 94, -b - 89 = 2*b - 4*u. Let i = b + 39. Let x = i + -9. Solve k + 7 = -3*k + l, k + x = 2*l for k.
-1
Suppose -22 = -3*p - 2*c, -2*p + 2 = -2*c - 3*c. Suppose 32 = p*y - 2*y. Solve -q + 2 - y = 2*j, 2*q = -j for q.
2
Let i(j) = -j**2 + 18*j + 19. Let s be i(15). Let y be s/(-56)*(-7)/2. Solve n = -3*f - 18, -n + 0*n + y*f = -17 for n.
-3
Let x(n) = n + 1. Let k be x(2). Suppose p + 3*p - p = 0. Let z = p + k. Solve 5*b - z*o + 33 = 6, 0 = 3*b + 2*o + 1 for b.
-3
Let k(b) = 2*b - 9. Let s be k(6). Let h = -76 - -48. Let x = 33 + h. Solve m + s*m = -x*o - 18, 0 = -4*o + 2*m - 4 for o.
-2
Suppose -k + 2*j = 5, -j - 14 = 2*k - 6*j. Solve -k*d = 5*u, 3*u - 2 - 7 = 0 for d.
-5
Let j(o) = -o**2 - 7*o + 6. Let q be j(-7). Suppose 0 = 9*f - 15*f + 24. Solve -5*a + 3*c + f = 0, -a - 3*c + 2 = -q for a.
2
Suppose -2 = 2*o - 2*b, 2*o - 3*o = -4*b + 16. Suppose 0 = 4*y - l - 4, 3*l - 4*l - o = 0. Solve 5*u - t + 29 = 2*t, 3*u + 4*t = y for u.
-4
Let d = 750 + -748. Solve 2*k = -8, -s - 1 - 2 = d*k for s.
5
Let w = -67 + 70. Suppose -s + 3*o + 17 = 0, -w*o - 32 + 9 = -4*s. Solve -6 = -s*x, 2*x - 2 - 6 = -2*m for m.
1
Let j(d) = d**3 - 2*d**2 - 2*d - 3. Let w be j(3). Suppose -6*b + 9*b = w. Solve 4*q + q + 20 = h, 3*q - 4*h - 5 = b for q.
-5
Let m be -4 + 380/(-57)*(-6)/5. Solve 2*q = 5*s - 8 + m, -4*q = -s + 8 for s.
0
Suppose c = 4*r - 12, 0 = 13*r - 14*r + c. Solve 0 = m + 5*n - 20 + r, 3*m + 5*n = 18 for m.
1
Let c = 91 - 87. Suppose 0 = j - 2, -5*t + 2*j + 66 = -0*j. Solve -5*p - t = c*y, 3*y + 3 = -5*p - 10 for y.
-1
Let u(i) = -5*i**3. Let m be u(-2). Let o be m/32 - (-1)/(-4). Solve j - 2*p = 6*j + o, 3*j - 7 = -5*p for j.
-1
Let w(h) = -h**2 - 11*h - 25. Let f be w(-4). Solve 4*v + f*y - 5*y + 22 = 0, -5*v - 40 = -5*y for v.
-3
Let y = 29 - 29. Suppose -2*x + n + y*n - 3 = 0, -3 = x - n. Solve -4*k + 5*i - i = x, 10 = -2*i for k.
-5
Suppose -w + 7 = 3*p, -35*w + 39*w - 12 = 4*p. Solve n - 30 = 6*n + 5*y, -n + w*y = -4 for n.
-4
Suppose 8*c - 10*c = -4*t + 6, t - 7 = -5*c. Solve 3*h = -2*v + 16, -2*v - 3 + 9 = -t*h for v.
5
Suppose -3*x - 4*q = -3, 11 = x + 58*q - 60*q. Solve -3*s = -s - l + 10, -x*s - 25 = 4*l for s.
-5
Suppose -28 - 39 = -3*q + 4*b, -4 = 4*b. Suppose 22*w = q*w + 13. Suppose -w = -r - 8. Solve 4*p + r*f - 45 = 0, -4*f = -p - 2*f - 5 for p.
5
Suppose -2*n = c - 3*c - 32, 2*n - 7 = -3*c. Solve 0 = -b - 4*z - n, -5*z = -10*b + 14*b + 22 for b.
-3
Let x be 8 + -2 + (-3 - -1). Solve 2 = -o - 3*l, l + 15 = -4*o - x for o.
-5
Let x(m) be the second derivative of -3*m - 1/12*m**4 + 1/2*m**2 + 1/3*m**3 + 0. Let b be x(0). Solve -r = 1 + b, -3*i = -4*r - 2 for i.
-2
Suppose 3*n - 29 = 2*y, 4*y = n - 4*n + 5. Let i(p) = -4*p + p - 10 + n*p. Let b be i(3). Solve 4*g + 1 = -11, b*s - 4*g - 10 = 0 for s.
-1
Suppose 0 = 7*u + 393 - 414. Let g be 2*(1 + 0 + 0). Solve 0 = g*i + 2*b - 6, -5*b + u = -i - 0*i for i.
2
Suppose 11*h - 10*h = 3*c - 8, 3*h = 3*c - 12. Solve -c*f - q - 4 = 0, 3*f - 2*q = -2*f - 1 for f.
-1
Let o = 266 - 266. Solve 5*t + o = q - 2, 4*q = -2*t - 14 for t.
-1
Suppose -4*p + g + 18 = 0, -2*g = 2*p - 6 - 8. Solve 0 = -4*o - f + 2*f + 8, f = o - p for o.
1
Suppose -l = -5*s - 29, 0 = -5*l + 2*s + 28 + 2. Suppose -j + 2*b = 2 + 3, l*j + 2*b = 10. Solve -3*x + 1 = 2*c, -x = 4*c - j + 4 for x.
1
Let j(b) be the first derivative of -b**3/3 - 6*b**2 - 6*b - 6. Let s be j(-11). Solve 0 = 3*d - 2*m - 10, 0*d = d - s*m - 25 for d.
0
Let v(m) = m**3 - 13*m**2 + 12*m + 4. Let b be (0 + -21)*10/(-6). Let q be b/3 - (-1)/3. Let f be v(q). Solve -8 - 3 = f*a - y, -20 = 4*y for a.
-4
Let d be (9 + -14)*(-2)/2. Solve 5*w = -5*t + 2*w, -d*t + 4*w + 35 = 0 for t.
3
Let q = 251 - 247. Solve 4 = -2*t + q*b - 6, -5 = -b for t.
5
Let s(q) = 2*q**3 - 3*q**2 + 2*q + 1. Let n be s(1). Solve -5*b - 16 = 2*p, 3*b + 4 = -n*b + 2*p for b.
-2
Let q = -8 + 10. Suppose 5*r = 2*r + 111. Let t = 40 - r. Solve -t*y - 4*o = q*y + 7, y + 3*o + 8 = 0 for y.
1
Let i = 25 + -21. Solve l = s + 2, -i*s = -0*s - 3*l + 6 for s.
0
Let p(u) = -3*u**2 + 13*u - 2. Let m be p(4). Solve m*t + 4*h - 2 = 0, 3 = 5*h + 8 for t.
3
Let u be 9*(-1 - (0 - 2)). Let o = 55 + -48. Suppose 0 = 2*w + 2*q - 6, -4*w + o = -2*w + 3*q. Solve -z = 0, -z - u = 3*n - w*z for n.
-3
Suppose 4*z = 3*z + 4*o - 15, -3*z = 3*o + 90. Let b be 2/18 - (-30)/z. Let v = 1 - b. Solve 2 = 3*x - 2*x + g, 0 = x - 4*g - v for x.
2
Let z(d) = -7*d - 290. Let y be z(-42). Solve -3*v + 0 = -2*c - 5, 4*c = -y*v for c.
-1
Let q be 1 + (-2)/((-2)/9). Suppose 96 = -485*i + 493*i. Let z = i - q. Solve -6*b - 1 = -b - z*h, 4*h = 12 for b.
1
Let g = 5 + 9. Let m = -35 - -41. Suppose -35 = -m*c - 5. Solve 2*o + c*k - 13 = 6, -3*o = -k + g for o.
-3
Let j(b) = -b + 22. Let f be j(18). Solve 2*s = -3*k - 18, -s - f*k - 15 = -k for s.
-3
Suppose 5*f - 5*n - 40 = 0, -4*f + 4*n + 39 = f. Let y = 18 + -16. Solve 4*c - k = f, 0 = 3*c + 4*k + y - 12 for c.
2
Suppose -2*a + 4 = -2*g, -5*a - 2 = 4*g + 6. Solve -5 = -3*c - 0*o - 2*o, -c - 5*o - 20 = a for c.
5
Suppose 3*y - 2*j - 30 = 0, -2*y = -0*j + 5*j - 1. Solve 5*k + 3*w - 23 = 4*w, -4*w = -y for k.
5
Let y = 62 - 153. Let u = y - -91. Let q(f) = f**2 + 2*f - 3. Let a be q(-3). Solve -4*o + 4*b + b + 5 = u, a = -4*b - 20 for o.
-5
Let a = 24 - 21. Suppose 80 = 3*b - 5*r, a*b + 2*r = -2*b + 185. Suppose -8*l + b = -5. Solve 3*p - 5*p - 4 = -l*m, p = -3*m + 9 for m.
2
Let v be (225/(-50))/((-1)/2). Solve -17 = 2*j + v*b - 4*b, 14 = j - 5*b for j.
-1
Let x be (-3)/(-5) + 94/10. Let b = -5 + x. Solve -2*r + 4*f = 8, -b*r + 2*f = 5 + 15 for r.
-4
Let t = 6 - 3. Suppose 3*s + t*k = -k + 19, -s + 4*k + 1 = 0. Suppose -s*q = -3*q. Solve 4*n + 12 = 0, 2*m - n = -5 - q for m.
-4
Let v(b) = -9*b. Let w be v(1). Let c(s) = -s - 5. Let g be c(w). Suppose 5*f = 24 - g. Solve 0 = -3*l - 5*m - 20, f*l - 13 = 2*m - 5 for l.
0
Suppose 3*r + 8 = -b, 2*b + 19 = r - 6*r. Let t = b - -18. Let u be 5 - (-1)/(-1)*t. Solve -u*g - 4*c = -8, g + g = 5*c + 25 for g.
5
Let z(g) = 2*g + 1. Let u be z(2). Suppose y - u = 4. Let n be (y - -1)*2/4. Solve -2*r + 16 = -n*l - 4*r, -5*r = 3*l + 21 for l.
-2
Suppose 3*c + 11 = -5*q, -1 = 4*c - 4*q - 29. Suppose -c*w - 3*u + 3 = 0, -4*w = -u - u - 34. Solve -5*m = 4*n + 4, n + 16 = m + w*n for m.
-4
Let m(z) = 12*z - 259. Let s be m(22). Solve -s*q + 3*q - 2*r + 4 = 0, 0 = -4*r + 12 for q.
-1
Let r be 39/12*2*2. Let b(v) = -v**2 - 9*v