-1
Let j = -16 - -19. Suppose j*h + 0*h = -h. Solve -u - 1 = -2*a - 2*u, 2*a + 3*u + 5 = h for a.
2
Let b be 2/3*-6 + -49. Let r = 60 + b. Solve 0 = 4*i + k + r, 2*i + 10 = 4*i - 4*k for i.
-1
Let d = 1205 + -1201. Solve 3*s = 2*p + 9 - 10, -5*p - 32 = d*s for p.
-4
Let t(l) = 2*l**3 + l**2 - 2*l + 2. Let j be t(2). Suppose -3*m = -5*r - 29, -3*r + 16 = 2*m + 3. Solve -m*p + 3*p - f - j = 0, 0 = -3*p + 2*f - 3 for p.
-3
Let u = -389 + 395. Solve 4*j + 16 = -q, -5*q = j + u - 2 for j.
-4
Let p be (-8)/(-1)*6/24. Suppose -5*t + a - p = 0, -3*t - 5*a + 2 = -8. Suppose -w + 3 + 2 = t. Solve 5*o = -y - 9, 2*y - 4*y = w*o + 8 for o.
-2
Let f(j) be the third derivative of -j**5/60 + 11*j**4/12 + 8*j**3/3 + 14*j**2. Let v be f(22). Solve -5*d - s = -v, -4*d - 4*s = s + 4 for d.
4
Suppose -5 = -18*r + 13. Let l be 0 - (1 + 1 + -11). Let n = -4 + l. Solve n*s - r = -y + 18, 0 = -s - 2*y + 11 for s.
3
Let q = 50 + -69. Let m(c) = c**2 + 18*c - 14. Let k be m(q). Solve 4*f + 20 = k*o + 2*f, 4*f = -4*o + 16 for o.
4
Let r(w) = 9*w**2 + 138*w + 49. Let f be r(-15). Solve 0 = -3*s + 21 - 6, -9 = -f*v - s for v.
1
Suppose 0 = 4*h - 4, 8*b + 5*h - 58 + 13 = 0. Solve -5*o - b*d - 30 = 0, o + 4*o - 2 = 3*d for o.
-2
Suppose -40*q + 1640 = 320. Solve 3*j + 24 = -j + z, -2*z + q = -5*j for j.
-5
Suppose 0 = 3*d - 4*z + 4, 0*d + z - 8 = -d. Solve -4*v - 4*h + 3 = 7, -d*v + 4*h + 36 = 0 for v.
4
Let g(c) = -4*c + 1. Let q = -3 - -4. Suppose 0 = -5*d - 2*a + q, 5*d + 3*a - 5*a + 11 = 0. Let s be g(d). Solve 4*r = -4*t + 8, -t - s*r = 3*t - 11 for t.
-1
Suppose 0 = 36*h + h - 37. Solve 0*n + n - h = -3*f, 0 = -5*n + 4*f + 5 for n.
1
Let g(o) = o**3 + 12*o**2 + 21*o + 14. Let m be g(-10). Solve -2*j = -3*w - j + m, 0 = -w - 5*j - 20 for w.
0
Let s be 0/1 + 2 - -9. Suppose 0 = -27*c + 28*c - s. Let l be (1/3)/(3/36). Solve -l*n = 3*y - c, 0 = -n - 2*y + 2 + 2 for n.
2
Suppose 2*q + 39 = 11. Let y = -14 - q. Solve y = 3*u - 3*k - 15, -3*k + 15 = 2*u + u for u.
5
Let j(s) = s**2 - 8. Suppose -3*z = -1 + 13. Let f be j(z). Let o = -17 + 25. Solve -5*r - d + f = -3*r, -2*d + o = 0 for r.
2
Let z be (2*14)/((-7)/(-21)). Suppose 5*y = -2*l + 45, -3*y + z = 5*l - 0*l. Suppose -2*f + 105 = 3*f. Solve 0 = -5*d - l, -3*x + 0*d - 5*d - f = 0 for x.
-2
Let x = -82 + 84. Suppose -x*s + 14*s = 0. Solve s*d - d = k, 3*k - d = -4 for k.
-1
Let p(v) = -v + 4*v + 0*v - 3 - 11*v. Let y be p(3). Let f = -22 - y. Solve q - 3*b = -b - 4, 0 = 3*q - f*b + 11 for q.
-2
Let i = 39 + -34. Solve -4*k + 5*q + 3 + 8 = 0, 2*k - 13 = -i*q for k.
4
Let g = 36 + -26. Let h = 7 - g. Let q be (0 + 6)*h/(-6). Solve -l = 2*z - 3*z, 4*l - q*z + 2 = 0 for l.
-2
Suppose 4*z = -0*r - 4*r + 12, 2*z - r - 3 = 0. Solve 0 = -0*n + n + z*a - 9, 5*a - 18 = 2*n for n.
1
Suppose 2*r + 5 - 3 = 0. Let f = 2 - r. Let g be 7/(-7)*20/(3 + -7). Solve -3*n = 2*j - 4 - f, 5*j + g*n = 15 for j.
2
Let p = 57 - 41. Suppose n = 5*n - p. Let d be (1 + 2/(-4))/(6/24). Solve -3*r + n = -d*k + 14, r = 2*k - 10 for r.
0
Let h(d) = d**2 - 3*d - 4. Let g be h(4). Let n = -234 + 236. Suppose g*w = -n*w + 40. Solve 4*i + 4*a + w = 2*i, 0 = 3*i - 2*a + 6 for i.
-4
Let q be 22/(-121) - 24/(-11)*1. Solve -f + 3*f = -4*j - 22, 0 = -q*f + 2*j + 2 for f.
-3
Let w = 244 + -227. Let g(q) = -q**3 - q**2 + 5. Let s be g(0). Solve x + 20 = -4*x - 5*v, -4*x - w = s*v for x.
-3
Let s(u) = u**2 + 2*u - 8. Let d be s(-6). Let f = -47 - -68. Let k = f - d. Solve 0 = -k*t - 5*w, 2*t + 1 = -3*w - 4 for t.
5
Let f(r) = 2*r + 3. Let i be f(4). Suppose -i = -s - 5. Solve -u - 4*j + s = -0*j, -5*u + 6 = -4*j for u.
2
Let a = -84 + 93. Solve -s + 2*v = -6, -3*v = -2*s + 4*s + a for s.
0
Let g(r) = -r**2 + 16*r + 3. Let z = 81 - 65. Let c be g(z). Solve -5*v + 1 = -3*q - 12, c*v = 3*q + 3 for v.
5
Suppose 4*b = -3*u + 79, -3*u = -0*b - 3*b + 33. Solve 2*c + b = 3*t, -2*c + 2*t = 4*t - 4 for c.
-2
Let b(s) = -23*s + 26. Let h be b(4). Let y = 69 + h. Solve -3*p = 3*d, -y*d - 2 = p - 4 for d.
1
Let g be 42/(-9)*-3 - -1. Let f = -2 + 18. Suppose -11 = -u - 4*d, 3*d + 3 + 3 = 4*u. Solve -u - f = -4*h - a, -5*a + g = 0 for h.
4
Let c(a) = a**2 - 12*a - 14. Let d be c(-4). Solve v = 6*v - 5*r + d, v = -r for v.
-5
Let r be 60*(20/8 - 2). Suppose 3*f = 5*c + r, c = -f + 6*c + 20. Solve -3*w - w + 3*p = 23, -f*w - p - 24 = 0 for w.
-5
Suppose -k = 8*k. Suppose k = -m - 1 + 5. Solve y = -4*l - 3*y, -m*y = -4*l + 40 for l.
5
Suppose 5*b - f = 40, 34 = 3*b - 4*f - 7. Suppose -9 = -4*m + b. Suppose -3*t + 7 = -8. Solve m*n = 16, 3*n = -t*z + 7*n - 21 for z.
-1
Let y be (278/695)/((-2)/(-40)). Solve y = -4*u - 2*z + 2, 2*u - 5*z = 15 for u.
0
Suppose -t + 3*l + 2*l - 16 = 0, -l + 8 = t. Let r = 20 + -24. Let z be 1*(-1 - (r - 0)). Solve 0 = -c + z*y - 14, t*c = 3*y - 29 - 0 for c.
-5
Let m(f) = 3*f - 4*f - 7*f**2 - 1 - 2*f**2 + 3*f. Let n be m(1). Let p = n + 11. Solve 18 = -p*h + 5*x + 5, 0 = -h - x + 1 for h.
-1
Let y(g) = 4*g - 48. Let q be y(9). Let w be (-4)/q*1 - 244/(-6). Solve 0*b + 4*b + 5*m + w = 0, 5*m = b - 21 for b.
-4
Suppose -10*h + 28 = -3*h. Solve -10 = -3*r + r, 0 = -5*b - h*r for b.
-4
Suppose -2*h - 3 = -5. Let p(c) = -c**3 - 11*c**2 - 12*c - 18. Let f = -4 + -6. Let n be p(f). Solve -n*l = -2*b - 14, 0*l + l + b = h for l.
4
Let t(q) = 5*q - 38. Let k be t(8). Solve 4*r - 3*b = -41 + 10, r + 14 = k*b for r.
-4
Suppose 217 = 5*t - 43. Let w = 75 - t. Solve 0 = 5*n - 3*c - 5 + 2, -n - 5*c = -w for n.
3
Let c(l) = -l**3 + 10*l**2 - 8*l - 7. Let w = -11 - -20. Let m be c(w). Let u(i) = -i**2 + i + 10. Let o be u(3). Solve 10 = 5*t, 0 = -3*k - m*t - 7 - o for k.
-5
Suppose -g = -7 + 3. Suppose g*j + 468 = -0*j. Let o be 2/(-4) - j/6. Solve -3*q - 5*r - 8 = q, 5*q - o = r for q.
3
Let c = 49 - 44. Solve 0*o = c*o + r - 17, 4*o - 16 = -2*r for o.
3
Let l be (16/(-14))/((-122)/427). Solve -l*z = y + 19, 27 = -0*y + 2*y - 5*z for y.
1
Suppose -6*l + 3*l + 3 = 3*a, 2*l = -3*a - 3. Let v be 1 - (-4 - -2)/2. Let r be (-20)/(-2) - v/1. Solve -2*o - r = 4*w + 2*o, 0 = -2*o + l for w.
-5
Suppose 7 + 9 = 4*z. Let j be (2 - z)*2/(-1). Let b be (-3)/(-18) - 143/(-78). Solve k + 3*f - 3 = j*k, 4*f - 6 = b*k for k.
1
Suppose -5*z - l = -301, -2*z + 2*l = -2*l - 116. Suppose -5*t - z + 75 = 0. Solve -4*n - h + 13 = 0, 4*n + h - t*h = -2 for n.
2
Let z = -32 - -39. Suppose f + z*f - 16 = 0. Solve -x + 2*x - 5*j - f = 0, -3*j = 0 for x.
2
Let h(z) = -2*z - 9. Let q be h(-10). Let i be 60/(-8)*2/3. Let k = i - -8. Solve k*y - 5*b = 11, 0 = -5*y - b + 2*b + q for y.
2
Let b be (-54)/(-12) + -5 - (-174)/4. Let c = 45 - b. Solve -5*a = -c*o + 5, -o - 2*a = -0 + 2 for o.
0
Let t be 3 + (-42)/18 - 490/(-21). Solve -3*z - 2*l = -5*l + t, 3*z = -3*l - 6 for z.
-5
Let z be (0/1)/((-28)/7 - -5). Solve z*c + 5*c + 25 = 0, 2*c = r - 14 for r.
4
Suppose -2 = -b + 2. Suppose 4*h = -b*s + h + 20, 3*s - 15 = h. Solve 2*p = -p - s*n - 8, 5*n = 5*p - 40 for p.
4
Let o be 5/15*(-4 + 37)/1. Let a be 2/(-6) + (-3)/(-9). Let i be a - (-4 + (2 - 2)). Solve 1 + 1 = -p - i*t, -3*t = -4*p + o for p.
2
Suppose -u - 3 = -2*l, 7 = 3*u - 4*l + 10. Suppose 0 = 5*h - 2*s + 2, 0 = h - u*s + 3. Let w be (8/10)/(2/10). Solve w*n + 7 = -h*k + k, 4*k - 4*n = 16 for k.
3
Let n = 97 + -92. Solve -3*h + 18 = 3*u, -3*h + n*u + 4 - 18 = 0 for h.
2
Let s(o) = o**3 + 6*o**2 + 9*o + 6. Let w be s(-4). Solve w*y + 6 = -3*k, -4*k - y - 8 = 2*y for k.
-2
Let j be (0 + 2 + -2)/2. Suppose 3*g - 1 + j = -2*y, 0 = -3*g - 3*y - 3. Solve -5*u + 25 = -2*o - g*o, -5*u - 15 = 5*o for o.
-4
Let w be (-1)/(5/2) + (-324)/(-10). Let j be w/1 - (-5)/5. Solve 3*z - 12 = 0, -4*q + 3*z + 1 = j for q.
-5
Let x = -45 - -14. Suppose 4*u + 3381 = 3241. Let y = x - u. Solve -3*s + 3*v = 3, 5*s - 13 = 3*v - y*v for s.
2
Suppose 13 = g - 3*m - 2, -2*m = -10. Let f = g + -20. Solve -5*p = -3*h - 19, -4*p - p = -f for h.
-3
Suppose -40 + 376 = 6*l. Let m = -50 + l. Solve -m*b + 19 = -5*b - 4*j, 0 = 4*b + 3*j for b.
3
Let o be 4/(-18)*-3 - 800/(-15). Let j = o - 42. Solve -16 + 1 = 5*c - 5*s, 3*s = 4*c + j for c.
-3
Let w be 13*9/27 - 2/6. Solve -d - 4 = 3*f + w, 0 = -3*d + 3*f for d.
-2
Suppose -2*n + 3 = -1. Suppose -4*w - 4*u = 2 - 22, n*u - 6 = 0. Let t(k) = -k**2 - 9*k + 2. Let j be t(-9). Solve -j = -2*l + w, 25 = -5*v + 5*l for v.
-3
Let q