 2*m = -4, -4*f - o*m = 20 for f.
0
Let x be (7 - -2 - 3)*2/3. Suppose 10 = x*f - 2. Solve -2*w + 2*c - 1 + f = 0, 0 = -c for w.
1
Let w = 4632 - 4618. Solve -5*u + 3*n = 10, 6*u - 5*u + w = 3*n for u.
1
Let p(l) = -l - 9. Let j be p(-6). Let m be (122 + -6)*j/(-12). Suppose h = -17 + m. Solve -2*u = 2*f + f + 16, -5*f + 4*u - h = 0 for f.
-4
Suppose -19*z = -18*z + t - 9, -3*z - 3 = -2*t. Let q = -52 + 57. Solve -q*r = -2*h - 11 - 15, z*r - 3*h = 21 for r.
4
Let s(h) be the second derivative of -h**5/2 - 3*h**4/2 + h**3/6 - h**2/2 + 106*h. Let q be s(-2). Solve 5*r = 3*t + t - 10, 0 = 2*t + q*r + 10 for t.
0
Let x be 95*(-4)/(-180) - (-3)/(-27). Solve 5*h = 5*c + 5, -4*h = x*c - 1 + 9 for c.
-2
Suppose 14*g + 1515 = -3749. Let r = 380 + g. Solve 4*v - 4*t = -r, -2*t = -2*v + t for v.
-3
Let o = -6435 + 6438. Solve -k + o + 1 = -4*h, -2*h + 5*k = 2 for h.
-1
Let q(c) be the first derivative of -9*c**2/2 + 87*c + 26. Let j be q(9). Solve -h + 14 = 3*r, -h + 3*r - 10 - j = 0 for h.
-1
Suppose 9*r + 198 = -585. Let d = r - -51. Let f be (-42)/(-9) - 12/d. Solve 2*q + 3*b - 8 = -2*q, 0 = -4*q - f*b + 16 for q.
-1
Let a be ((-30)/(-75))/(2/(-35)) - 44. Let z(g) = 54*g**2 + 1. Let s be z(1). Let d = s + a. Solve 5*h = -2*u - 15, 7*h + 30 = d*h + 3*u for h.
-5
Let c(w) = w**2 - 9*w - 33. Let o be c(13). Suppose 0 = -6*k + o*k - 52. Solve 0 = 5*h - 3*i + 7, k*h - i = -4 - 3 for h.
-2
Suppose 46*w - 148 = -56. Let c(k) = -k**2 + 8*k + 2. Let m be c(8). Suppose -3*p - 15 - w = -m*g, -5*p + 54 = 3*g. Solve -5*f + 3*f + g = x, 3*x - 9 = 0 for f.
5
Suppose 17*u - 15*u - 2 = 0. Let d(h) = 5*h**3 - 3*h + 3. Let l be d(u). Suppose 7*k - l = 30. Solve -k*y - 3 = 4*t + 17, y + 4 = t for y.
-4
Let q(t) = t**3 + 10*t**2 - 3*t + 37. Let s be q(-9). Let k = 164 - s. Solve 2*d = v + 13, 3*v + 0 = 2*d - k for v.
-3
Suppose 0 = -0*r - 2*r + 4. Let u = 76 + -75. Let t be (11 - 13)*(2/(-1) + u). Solve 4 = r*o + 2*m, 35 = 2*o + t*o - 5*m for o.
5
Let l = -730 + 1028. Suppose -l*w = -288*w - 20. Solve 0 = -6*v + 7*v + w, v = 4*p + 18 for p.
-5
Let s(x) = x**3 - 33*x**2 - 111*x + 110. Let o be s(36). Solve -3*b + 6*b + 31 = -5*i, -4*i - 24 = o*b for i.
-5
Let p = -12 + 12. Let g be (0 - 5/2)*32/40. Let o(u) = 3*u**2 + u - 6. Let z be o(g). Solve -z*y + 3*y = -3*b, -5*y = p for b.
0
Let z(b) = b**3 + 23*b**2 - 23*b + 24. Let v be z(-24). Suppose 4*d - 19 = 5*f, -4*f = -v*d + 3*d - 53. Solve -3*o - 6 = 5*s - 2, -d = -2*s + 3*o for s.
1
Let m = -20 + 24. Suppose -z + 2*x - 13 = 2*z, z - 3*x + 9 = 0. Let d be (((-30)/(-4))/z)/((-10)/20). Solve -d*b + 40 = m*r, b - 9 = r - 2*r for b.
4
Let t(o) = 11*o**2 - 350*o - 60. Let z be t(32). Solve -11*p + 12 = -13*p - z*n, 4*p = n + 12 for p.
2
Suppose 0 = 3*i + o + 17, 10 = -5*i + 5*o - 3*o. Let r be 100/(-16)*2 - 2/i. Let a = r + 12. Solve 0 = -4*g + 16, -4*z + 0*z + g = a for z.
1
Suppose -11*s = 20*s - 57*s + 130. Solve -2*t - s*x = -8, -2*t - 6*x = -16 + 6 for t.
-1
Suppose -a + 45 = 14. Let p = 2 + a. Suppose -5*g + p = 3. Solve 2*i - 3*u + 1 + g = 0, 4*u = -2*i + 28 for i.
4
Suppose 2*u - 2 = -4*t - 8, 4*u - 2*t = -42. Let s be (-1*(-4)/u)/(24/(-108)). Solve 0 = 5*w + 15, 0 = -s*j + 2*w + 2*w + 20 for j.
4
Let k(o) = -2*o**3 + 9*o**2 - 12*o + 44. Let y be k(6). Let g = y - -138. Solve 3*w + 2*h + 11 = 3*h, g*h - 6 = -2*w for w.
-2
Let z = -3 + 5. Suppose 0 = -2*q - z*q + 12. Let x = 111449 - 111447. Solve 4*g - 1 = -5*c + 6, q*c - 13 = x*g for c.
3
Let i = -176 + 180. Suppose -43*c + i = -41*c. Solve 5*w - 6 = -c*f + w, -5*f + 4*w + 29 = 0 for f.
5
Let m be 24/(-20)*(-15)/9. Let r be m/(-10) + 2114/70. Let t be (-3 - 0)*(-5)/3. Solve 2*k = t*g - r, -4*g + k - 9 = 6*k for g.
4
Let f = 1615 - 1593. Solve 0 = -23*t + f*t + 2*h - 11, -3*t + 3*h = 18 for t.
-1
Let x = 207 + -203. Solve 4*n - 5*v + 8 = 0, 3*n + x*v = -v - 6 for n.
-2
Let q(h) be the first derivative of 7*h**2/2 - 116*h + 13. Let c be q(17). Solve 0 = -3*x + z + 5, -z + c*z = -4*x + 10 for x.
2
Suppose 2*h - 9 = 18*l - 21*l, 0 = -4*h + 4*l + 8. Solve 2*z - 2 = 5*d, -2*d - 5*z = -2*z - h for d.
0
Let x = -23 - -20. Let v be (-4)/12 + (-19)/x. Solve b - 2 = -3*p - 12, b + v = -p for p.
-2
Let y = -18136 + 18139. Let m be 8/(-3)*6/(-4). Solve -2*h + 0*p = -y*p - 1, -h - 3*p = m for h.
-1
Suppose 296*q = -140*q + 1308. Solve -4*r = q*x + 1, -27*x = -32*x - 4*r - 7 for x.
-3
Suppose -4*b = s - 12, b + 2 = -4*s + 5. Let g = 13 + -16. Let h = -2 - g. Solve 2*u = -2*k + 12, -b*u - 2 - h = -4*k for k.
3
Let r be (280/60)/(6/9). Solve 17 = a + r*c - 2*c, 2*c = -a + 8 for a.
2
Let i(c) = c**2 + 8. Let b be i(0). Let h(n) = -419*n - 11730. Let u be h(-28). Solve 0 = -4*m - u*r, -b = 2*m - 4*r + 3*r for m.
-2
Suppose 4*b = 3*w - 2873, -2*w - 2*b = 342 - 2248. Suppose w*q - 954*q = 3. Solve 0 = 2*s - 3*s - 5, q*z - 3*s = 0 for z.
-5
Suppose -5*f - q - 5 = -7*f, 3 = 4*f + 5*q. Suppose -f*z - 2*m = 0, 5*m = -4 - 6. Solve -2*a + 4*p + 2 = -0*p, 0 = p + z for a.
-3
Suppose 15*v = 7*v - 192 + 376. Solve o = 5, v*o - 18*o - 16 = 3*x for x.
3
Suppose 0 = 8*r + 1134 - 1134. Solve n + 5*o + 0 = -10, 2*n + 5*o + 15 = r for n.
-5
Let p be (-1)/(-2) + (-7)/(-2). Let h = 392 + -390. Suppose 8 = h*f - c, f + 8*c = 6*c - 1. Solve 2*v + 3*v + p*i = -8, -i - 2 = f*v for v.
0
Let z(y) = -4*y - 12. Let r be z(-3). Suppose 2*x = -10, 4*b = 5*x - r*x + 41. Solve t = -n + 1, 2*t + 3*n - 11 = b*n for t.
4
Suppose -4*i - n = 2, 7*i - 9*i - 3*n = 6. Suppose 2*t + 8 = -4*c, -5*t - 3*c + 2*c + 7 = i. Solve 0 = 3*x + 5*w + 2, -26 = 2*x + t*x - 5*w for x.
-4
Suppose 0 = -5*o - 12*d + 127, 14*o - 13*o = d + 5. Let f be (-304)/(-171) + 4/18. Solve c = -f, 5*u + 3*c = 6*c + o for u.
1
Suppose -35*j = -40*j + 20. Solve -j*n - 13 = c - 1, 4*n + 16 = -2*c for c.
-4
Let x(i) = -i**3 + 8*i**2 - 14*i + 6. Let w be x(7). Let u = w - -52. Solve 10 = g + 5*y, -2*g + 2*y - 7 = u for g.
-5
Suppose -10*q = -3*q + q. Suppose -3*r + 102 - 93 = q. Solve 2*y - 23 = -3*y - 3*h, -y + r = -h for y.
4
Suppose 10 - 20 = -39*x + 68. Solve -2*l + x = -o, -o = -3*l - 3 + 4 for o.
-4
Let u(f) = -6*f - 9. Let v be (3*(-4)/3)/2. Let m be u(v). Solve 2*i = -4*g - 6, 0*i = -2*i - m*g - 4 for i.
1
Suppose -5*h + 35 = -3*p, 5*h + 14 = 4*p + 59. Let n be (p/4)/(7 + (-99)/12). Solve -w - 4*q - 18 = n, -3*w = q + 5 for w.
0
Let j be ((-65)/25 - -2)/(3/15). Let g be (6 - 5)/(j/(-6)). Suppose 3*x - 7 + 1 = 0, g*x = -2*y + 8. Solve y*b + 0*o = -o - 3, -2*b - 3*o = 9 for b.
0
Let y be (-44)/(-10) + 4 + 44/(-10). Suppose 2*b + 3*n + 29 = -3*b, 2*b - y*n = 4. Let l be (b/8)/((-52)/16 + 3). Solve -w - l*z + 14 = -4*z, -25 = 5*z for w.
4
Let k(j) = -8*j**3 + 3*j**2 + j - 3. Let n be k(2). Let p = 55 + n. Solve -p*i + 11 - 1 = -4*g, -5*g = -3*i + 14 for g.
-1
Suppose -104*j + 30 = j - 390. Solve -7*x + 9*x = -4*q + 16, -28 = x - j*q for x.
-4
Suppose 0 = -q - 5*n + 1, 0*n = 4*q + 5*n - 4. Let l be 3/((-15)/80) - (1 + q). Let i = 20 + l. Solve 2*u + 2 = 4*f - i, 5*f - 4*u = 5 for f.
1
Let z(f) = f**2 + 7*f - 6. Let n be z(-4). Let a be -7 + 1/((-2)/n). Solve -1 = r + 2*q, -4*r - 5*q = a - 1 for r.
1
Suppose 3*x - 195 = -216, -3*x - 31 = -2*w. Solve -2*q + 10 = 0, 3 = -w*p + 3*p - q for p.
-4
Suppose 5*s = l - 1203, 0*s + 5*l - 954 = 4*s. Let g = 241 + s. Solve -4*m = -2*n + 12, m + n + 3 = -g*n for m.
-3
Suppose -4*w = b - 126, w + 4*b = 7*b + 25. Let o be 4/(-18) - (-48)/(-27). Let d = o + 7. Solve d*h - 2*u + w = 0, -2*h - u - 13 = -2*u for h.
-5
Suppose -214*m + 2*d = -210*m - 2, -3*m + 24 = 3*d. Solve 2*g - 5 = -4*q - g, 3*q + m*g = 0 for q.
5
Suppose 57 = -5*r - 3. Let t be r/(-66) + (-2)/11. Solve -12 = -4*b + 2*p, -4*b + 4*p + 0*p + 8 = t for b.
4
Suppose -m = -4*m. Suppose -2*n + 5*t = -14 - 7, m = -n - 2*t - 3. Let j be (9 - (-5)/(-1)) + (-1 - 1). Solve -n*y + 2*w + 1 - j = 0, y + 5*w - 28 = 0 for y.
3
Suppose 55*f - 6*f = 84 + 14. Solve 4*j = f*g - 2, j + 3*g - 2*g - 7 = 0 for j.
2
Let a(j) = j**3 - j + 30. Let u be a(0). Let g be ((-444)/111)/(34/(-26) + 1). Suppose -u*i + 31*i - g = 0. Solve -q = q - 3*x + 10, 3*x = -q + i for q.
1
Suppose -14*l = -7*l - 476. Let w = l + -70. Let d be (5 + w)/(2/(-20))*-1. Solve b = -4*n - 7, 4*b - b = 5*n + d for n.
-3
Let r = -197 - -357. Suppose -34 = -6*l - r. Let w be (1/(-4)*-1)/(l/(-420)). Solve 4*u 