 - u, -2*v - 20 = -15*t + 20*t for v.
0
Let z(u) = -61*u**3 - 2*u**2 + u. Let k be z(1). Let p be (2/14)/(118/(-48734)). Let x = p - k. Solve 2*j + 20 = x*g, -2*g + 2*j = j - 12 for g.
4
Let u = -120 - -134. Let f(b) = -b**2 - 4*b + 1. Let v be f(-3). Let g = -5 + 10. Solve r + g*a + 23 = 0, v*a = -3*r - 39 + u for r.
-3
Let s be (-353)/(52/338 + (-9)/(-26)). Let q = s - -710. Solve k - q = -2*c - 3*c, 4 = k for c.
0
Let o be (-12)/120 + (-213)/(-30). Let k = -29 + 49. Let g = 449 - 446. Solve 0 = -g*y + 4*i - k, 0 = o*y - 2*y - 4*i + 20 for y.
0
Let g(v) = v**3 - v**2 - 49*v + 153. Let c be g(4). Let u = 13 + -9. Solve 0 = -0*i - 2*i - 4*r + 4, -c*i - u*r = 2 for i.
-2
Suppose 23*m + 22 = 12*m. Let z be (62/(-15) + (-10)/(-75))/m. Solve 0 = 2*y + 3*s, -z*s + 2 = 3*y - 3 for y.
3
Let b(r) be the third derivative of -r**6/120 + r**5/4 + 11*r**4/12 - 14*r**3 - 62*r**2. Let j be b(16). Solve 4*m = -4*i + 16, 5*m = -2*i - i + j for m.
0
Suppose s = 4*h + 32, -2*s + 44 = -18*h + 14*h. Solve -11*x + s*x = -4*o + 21, -2*o = -x - 3 for x.
5
Let l be ((-2)/4)/((-3)/(-54)). Let f = l - -13. Suppose -5*u = 10, -5*b - 3*u = -u - 255 + 259. Solve -4 = -4*d + 4*i, b = f*d + 4*i - 1 + 5 for d.
0
Let h be 2/(-3) - (-3 - (-2891)/(-21)). Suppose 0 = -4*m - m + h. Solve m = -5*y - 4*n, -3*n - 12 = 2*y + 2 for y.
-4
Let t = -590 - -626. Suppose t*l - 30*l = 0. Solve -4*a + 27 = 3*c + 8, l = c - 5*a + 19 for c.
1
Suppose -60*h = -61*h + 76. Solve 74*n - 4*o - 12 = h*n, -2*n - 14 = 5*o for n.
-2
Suppose -4*v + 4*f = 0, 0 = v + 6*f - 4*f. Suppose v = -21*l + 26*l - 25. Solve 0 = -2*g - 8, -b = l*g + 24 - 2 for b.
-2
Let h(t) = -t**3 + 7*t**2 + 45*t - 146. Let r be h(10). Solve r*d - 16 = 0, 13 = -w - 5*d + 7*d for w.
-5
Suppose 1099 + 756 = 35*f. Solve -3*j - 5*s = -6, 2*s + 59 = -4*j + f for j.
-3
Let h(d) = -350*d + 764. Let x be h(2). Solve 3*m + 5*a = 30, 4*a - x = 3*m - 67 for m.
5
Let z be (-36)/(-4)*11/(132/60). Solve -d - 53 + z = -5*q, 2*q - 12 = -4*d for q.
2
Let b be (-2 + 4)/((-6)/129). Let u = b - -61. Solve -4*c + 3*c + 6 = t, 2*t - u = -5*c for c.
2
Let s = -562 - -562. Solve a - 4*t = s, 20 = -2*a - 2*t + 30 for a.
4
Suppose 7*w - 29 = 174 - 7. Solve -12*f - 5*t + 27 = -11*f, -4*t + w = 4*f for f.
2
Let n(w) be the second derivative of -w**4/6 - w**3/6 - w**2/2 - 5*w. Let v be n(1). Let m be 9/6*(6 + v). Solve -g + 6*g = 5*o, -4*o + m = -5*g for o.
-3
Let m be 0 - (-3)/(-9) - (7 - 9)/6. Solve 3*n + 12 = 6*n, -4*d - 2*n + 4 = m for d.
-1
Suppose -12*k + 17656 = 17152. Solve 0 = -2*c + 3*q - 17, 2*c = -5*q + 49 - k for c.
-4
Let l be (2 - 0)/(2/(-12)*2). Let b be 1/(14/l) - 468/(-14). Solve 3*y + 0*t = t + 13, -5*y - 4*t = -b for y.
5
Let q(n) = -8*n**2 + 4*n + 2. Let x be q(-1). Let l(m) = -3*m + 10. Let r be l(x). Let i = r + -33. Solve 4 = 4*s - 2*t, i = s - 3*t + 1 for s.
0
Suppose -4*d = -4*a - 4, -40*d + 5*a - 9 = -42*d. Solve -2*s = 2*u - 8, s + 2*s + u - d = 0 for s.
-1
Let q = 136948 + -136945. Let w(h) = -h**2 - 4*h + 7. Let t be w(-5). Solve -f - t*k - 3 = 2, 0 = -f + q*k + 10 for f.
1
Let a = -24880 + 24883. Solve 5*g = 2*j + 15, 60*j + a*g + 12 = 57*j for j.
-5
Suppose -147*a = -128*a - 152. Let q be (1/3)/(a/120). Solve -4*t - q*r = 0, 4*t - 2*r + 6*r + 4 = 0 for t.
-5
Let w = 417 - 249. Let s = 170 - w. Solve -m - 2*b - 3 = 0, -6*m + s = -5*m - 3*b for m.
-1
Let u be 198/15 - (-5)/(-25 + 0). Suppose -2*f - 5 = -s, s - 14 + u = -2*f. Solve i + c = 2, c + 1 - 7 = s*i for i.
-1
Let w = -212 + 215. Let y be 5/w - (-4)/(-6). Solve 5*v = -3*l + y - 0, 0 = -3*v - 3 for l.
2
Suppose -10*i - 6*i + 288 = 0. Let u = 25 - i. Solve 0*a + 2*a - 3 = -c, 0 = -c + 2*a + u for c.
5
Let w = 466 + -317. Suppose w = 6*i + 53. Suppose -i*g + 6 = -13*g. Solve 3 = p, -2*p + g = 4*v - 24 for v.
5
Suppose -l + 66 = 288. Let i be l/(-42) - (-3 + (-69)/(-21)). Solve -2*c + 17 = -5*z + 2*c, 5*c - 20 = i*z for z.
-1
Suppose 0*k + 19 = -3*y - 5*k, -2*k = 2*y + 6. Let c(d) = 0*d - 5 + 3*d + 2*d - 6*d. Let o be c(-10). Solve o*x + 9 + 8 = -3*a, 0 = -y*a + 2 for x.
-4
Suppose 750 = 555*g - 405*g. Solve 0 = -2*i + 20*k - 22*k + 22, 0 = -5*i + g*k - 5 for i.
5
Let i = 3524 - 3494. Solve -3*y = 3*y + i, -n - 5*y = 30 for n.
-5
Let k(q) = -3*q + 15. Let p be k(4). Suppose 16 = i - 2*a + 4, p*i - 36 = -3*a. Solve 0 = -3*w - 3*t + i, t - 4 = -0*t for w.
0
Suppose -5 = -4*n - x + 9, -2*n = 5*x + 2. Solve 5*g + b = -20, -5*g + 4*b = -6*g - n for g.
-4
Suppose -13*t - 6*t + 11*t + 32 = 0. Solve 5*v + 4*a = -7, -v - 11 = -0*v - t*a for v.
-3
Let q be (30/(-9))/(1*(-8)/12). Suppose 0 = 4*o + 3*p, 5*o = -2*p - 3*p - q. Solve o*v - 5 = -2*c, 8 = -v + c + 3 for v.
-1
Let b be (-45)/(-2145)*13*11. Solve 4*i = 5*g + 9, -4*i = -b*g + 3 - 2 for i.
-4
Let o = 186 - 275. Let q = o + 94. Solve -2*t = -2*y - 4, -q*y - 3 = t + 1 for t.
1
Let l be 70/(-4)*(-180)/(-21). Let v = l - -153. Solve -2*h + 12 = 4*z, v*h + 2*h = -4*z for h.
-4
Let m(p) = p**2 + p - 28. Suppose 2*h = -4*k + 15 + 13, h + 16 = 4*k. Let f be m(k). Solve -3*b + 2*b + y = 2, 4 = b + f*y for b.
0
Suppose 0 = -b - 7*b - 1152. Let x = b + 151. Solve j + 4*l + 15 = 0, -j = -6*j - 3*l - x for j.
1
Let v be 2/(-8*(-3)/972). Let b be v/2*(-2)/6*-2. Solve 2*r = -o + 3, 2*o = 2*r - 3*o + b for r.
-1
Suppose 5*j = -8*j - 65. Let z be 4/5*((-225)/(-10) + j). Solve -d = 3*t + d + 13, 2*t + 4*d + z = 0 for t.
-3
Suppose -7*i = -12*i - 19*i + 48. Solve -i*v - 7 = b, -14 = 3*b - 4*v - 3 for b.
-5
Suppose -2*h - 18 = 0, -12*h = 5*y - 9*h - 13. Solve -24 = 4*j + y*k, 9*j + 8 = 11*j - k for j.
2
Let z be (-2)/(-19) - 20*(-209)/1444. Solve -7*m + 6*m + 2 = -3*c, 0 = -4*c + z*m - 1 for c.
-1
Let h(j) = -5*j**2 - 357*j + 2327. Let m be h(6). Solve -m*t + 28 = -l + 14, 2*l + 18 = 5*t for l.
-4
Let r(j) = -j**3 + 17*j**2 + 20*j - 30. Let q be r(18). Let m be (-1 - -1)*(0 + -3)/q. Solve -k + 8 = -0*k - 3*v, m = v + 3 for k.
-1
Suppose -b + 34 + 16 = -5*i, -3*i + 3*b = 42. Let k be ((-1110)/i)/5 - 5/(-15). Let a = 20 + -20. Solve -k = 3*h - 5*y, -y = -a*y - 5 for h.
0
Let w = 99 + -156. Let g = 59 + w. Suppose c + j = g, -2*c - 2 = -2*j - 6. Solve 4*n = 3*a - 3, 2*a = -c*n + a + 1 for n.
0
Let r be (23 - 18)*(-1 + 9/5). Solve r*j = 4*w + 2*j + 14, -w + 3*j - 16 = 0 for w.
-1
Suppose 6 - 2 = q. Let v be 18 + (8 - 26) + 4. Solve 3*i + 3 = -v*g, q*i - 4*g - 18 = -2*g for i.
3
Suppose -2*r + 8*r - 1938 = 0. Let y = r - 314. Solve -3*p - 2*i = -y, 3*p + 0*p - 18 = i for p.
5
Suppose k - 4*j = 5*k - 1540, -4*k + 1537 = 5*j. Let y = k + -383. Solve y*w = 2*c - 20, -3*w + 2*c - 8 = 4 for w.
-4
Let m = 2436 - 2436. Solve 5 = 4*g + 5*h, 4*h + m*h = 3*g - 27 for g.
5
Let h(m) = -2*m - 24. Let x be h(-13). Suppose 4*g + t = 19, 11 = -g + x*t + 3*t. Solve g*u = s + 21, 2*s - 2 = -2*u + 6 for u.
5
Let x be (-75)/(-60)*4/1. Solve -l - x*g = -23, 4*l + 12*g = 15*g for l.
3
Suppose 298 = 87*h + 37. Suppose 28 = -6*x + 8*x. Suppose 2*n = 4*f, -3*n - 4*f + x = -6. Solve 5*o + n = t, -2*o + 16 = h*t + t for t.
4
Suppose -3*n - 3*f = -2*f - 6, 6 = 4*n + 2*f. Suppose 39*s + 11 = 5*j + 38*s, 9 = n*j - 3*s. Solve 3*w + 13 = -j*x, -w - w = -3*x - 13 for x.
-5
Suppose 26*q + 9*q + 3*q = 1444. Solve 42*a = q*a + 2*f + 2, 8 = 4*a - 4*f for a.
-1
Let s(x) = -6*x**3 - x**2 - 2*x - 11. Let p be s(-3). Let w = 153 - p. Solve 0 = 2*m - 8, -4 + 20 = 4*c + w*m for c.
-1
Suppose 0 = -3*t - 3 + 15. Let x = -13 - -18. Suppose -3*k = -2*y + k, -14 = -x*y - t*k. Solve -3*r + y*z - 3*z = 11, -5*r - 2*z = 17 for r.
-5
Let k(h) = -h**3 + 37*h**2 + 519*h - 92. Let o be k(-11). Solve -2*g + o = -5*g - p, 1 = -p for g.
-2
Let a be 11 + -17 + (-15 - -30). Solve 0 = 3*s - z + 1 - 4, 2*s - 3*z = a for s.
0
Suppose -24 = -4*o + 4. Let f be o + 33 - -2*2. Suppose f = 10*j + 14. Solve 4*l = -5*u + 23, -3*u + j = -4*l + 2 for u.
3
Let d = -116 + 115. Let g be d/5*(25 - 40). Let k be (-2)/(-6) - (-33)/9. Solve -4*z + 4*j - 16 = 3*j, g*j = z + k for z.
-4
Let f = 574 + -534. Suppose 0 = 4*v + t - 15, 5*v - t - f = 2*t. Solve 0 = -h - 3*j + 1 + 14, 10 = v*h + 2*j for h.
0
Suppose 30*u - 36 + 15 = 39. Solve -2*i + 3 = u*d + 7, 5*i = 2*d + 4 for i.
0
Let i(j) = 7*j**2 - 45*j + 25. Let s be i(6). Solve l + 2 = -2*p, 4*p = -l + 5*p + s for l.
4
Suppose -11*n - 1058 - 768 = 0. Let z = -164 - n. Solve z*t