 + 5*l - 35 for v.
5
Let a = -770 - -607. Let w = a - -165. Solve -2 = -2*j, w*m - 5*j = -0*m - 13 for m.
-4
Let t(v) = -4*v + 69. Let w be t(16). Suppose w = -3*j + 2*r + 27, -2*j = 2*r - 8. Solve -j*p + 4*p - 7 = l, 3*l + 3*p = -6 for l.
3
Suppose 8*g = 4*d + 3*g - 16, 0 = 4*d + 3*g - 48. Let l(k) = -2*k**3 + 16*k**2 + 24*k - 49. Let n be l(d). Solve 0 + 7 = -n*m + 3*z, -3*m - 5 = -2*z for m.
1
Suppose 326*j - 824 = -78 + 884. Solve -j*b - 5*m - 20 = 0, -15*b = -19*b + m - 11 for b.
-3
Let h be ((-3)/2)/(12/(-848)). Suppose h*j = 110*j - 12. Solve 3*u = t + 5, j*u - 2*t - 10 = -0*t for u.
0
Let f = -24 - 5. Suppose 8*p + 167 = -89. Let w = f - p. Solve 4*r - 31 = -w*b, -r - 4 = -b - 3 for r.
4
Suppose -3*j - 19*u + 18*u = -28, -3*j + 5*u + 40 = 0. Solve 4*h = 2*f + 18, 6*f - 2*h = 4*f - j for f.
-1
Suppose 8*q - 6*q = 6. Let w(n) be the first derivative of -n**2/2 + 2*n - 4. Let r be w(2). Solve 5*v - 4*z + 7 = 2*v, r = -q*z + 3 for v.
-1
Suppose 9*o + 1969 = 5*o + m, 0 = 5*o - 2*m + 2459. Let v = -489 - o. Solve v*c - 5*z = 16, 0*c - 3*z + 16 = 4*c for c.
4
Let y be (19 + -36)/17*-15. Solve 0 = -5*m + 3*g - 20, -20 = 5*m + y*g - 10*g for m.
-4
Let r = -7068 + 7070. Solve 3*w = 5*i - 30 - 10, -25 = r*w - 3*i for w.
-5
Let u(t) = 2*t**2 + 23*t + 15. Let a = 30 - 31. Let n be (-21)/2 - a/(-2). Let k be u(n). Solve -42 = 5*r - k*f + 3, -25 = -5*f for r.
-5
Let d(s) = -2*s + 6. Let k be d(5). Let u be (k/(-8))/(42/(-48) + 1). Solve 5*t - u*x = x - 10, 0 = 3*t + 2*x + 6 for t.
-2
Let m = 48 - 18. Let s be (-12)/m + (-52)/(-5). Suppose -s = -27*q + 22*q. Solve -4*y - 16 = q*l - 7*l, -l + 3*y + 1 = 0 for l.
4
Let h(q) be the second derivative of -5*q**3/6 + 61*q**2/2 + 151*q. Let i be h(12). Let n = 5 + -5. Solve n = 4*t + w + i, -w + 3*w + 13 = 3*t for t.
1
Suppose 3*y = 7*y + 20, -3*y - 105 = 2*u. Let c = -41 - u. Let d be 143/44 - (-3)/c. Solve -v + 14 = -0*v + d*a, 2*v + 2*a - 10 = 0 for v.
2
Suppose -33*c + 36*c = 18. Suppose -c*u + 31*u = 250. Solve 2*d = -5*i - 9, 4*d + u*i - 5*i + 13 = 0 for d.
-2
Let m be (12 - (-403)/(-26))/(1/62). Let o = -214 - m. Solve 0 = o*z + a + 3*a - 31, 2*z - 2 = 2*a for z.
5
Suppose 0 = 17*l - 740 + 553. Solve 0 = 4*a - v + 17, -4*a - l*v - 37 = -16*v for a.
-3
Let v(g) = -1827*g + 12792. Let o be v(7). Solve 3*n - o*x = -21, -263*n + 261*n - x = 2 for n.
-3
Let i be (-11 - -6)*133 + 5. Let w = i + 683. Solve 3*l - 3*r = 3, 8 - w = -3*l - r for l.
4
Let b be -12 + 8 - (-9)/1. Solve 0 = -p - 3*r + 10, 18*p - b*r = 20*p - 16 for p.
-2
Let q = 9262 - 9262. Solve -6*t + 4*v = v, q = -4*t - v + 12 for t.
2
Suppose -4*u - 6*i + 4*i = 6, 3*u + i = -2. Let p be (u + -2)/((-17)/119). Solve 2*o = -f - o - 2, -p = 2*f + 3*o for f.
-5
Let w be (26 - 31) + 0 + 5. Let v be (-4*12/16)/(5/(-30)). Solve -2*m + i = -3*m, w = -4*m + 2*i + v for m.
3
Suppose -3*z = -3*u + 12, -2*u = -7*u - 5*z + 10. Solve 0 = -2*o + u*x + 7 - 0, 5*o - 28 = -3*x for o.
5
Suppose n = -b + 10, 24 = 3*n + 2*b - 0. Solve n*q + 2 = 5*m, -4*q - 143 = 4*m - 159 for m.
2
Suppose -16*v + 15 = -65. Solve v*k - p + 23 = -2*p, 4*k - p + 13 = 0 for k.
-4
Let s(y) be the third derivative of 0 + 1/6*y**4 + 0*y + 23/3*y**3 - 21*y**2. Let p be s(-11). Solve 0 = p*f - 5*f - 3*b - 6, 5*f = 3*b + 6 for f.
0
Let u = -18826 - -18828. Suppose 0 = -4*p + 4 + 12. Suppose -j = -z - 18, -2*j = -5*j - p*z + 89. Solve -5*g - 5*l = -3*g - 33, -3*l = u*g - j for g.
4
Suppose -4 - 39 - 71 = -57*k. Solve -32*q + 8 = -34*q, -4*n + k*q + 20 = 0 for n.
3
Let i(f) = f - 5. Let p be i(7). Suppose 16*c - 11*c = -4*u + 66, c - 2*u - p = 0. Solve -g + 2*x + 22 = -5*g, -2*x - c = g for g.
-4
Suppose -30 = -33*s + 38*s. Let t be (s/4)/((-183)/488). Solve -2*m - 5*u + 6 = -5*m, 0 = -2*m + t*u - 6 for m.
3
Suppose b = 0, 0 = -r - 4*b + 15. Suppose -i = j, -2*j = -5*i + r + 13. Solve 2*o - 5 - 11 = i*w, -o + 12 = -3*w for o.
0
Suppose 33*l - 2*d = 38*l - 133, 5*d + 105 = 5*l. Solve 6*a + 20 = 4*g + 10*a, -l = 5*g - 5*a for g.
0
Let x(g) = 31*g - 28. Let s be x(10). Suppose s = 4*w + 2*o, 5*w - 220 - 135 = -3*o. Let a = w + -39. Solve -3*f = -2*d - 6, -3*d + a = 3*f + 8 for f.
4
Let y(p) = -p**3 - 19*p**2 + 40*p - 44. Let n be y(-21). Let r be 15/(-25)*(n + -3). Solve -1 = x - 5*m, 2 = x + r*m + 3 for x.
-1
Suppose 4*v - 4 = -2*j, 4*j = 8*j - 7*v - 53. Solve 2*o - 12 = d, -2*o = j*d - 12*d - 18 for o.
5
Suppose 20 = -5*c, -4*d + 16 = -0*c - 2*c. Let l = 9 - d. Let b(p) = -p**3 + 8*p**2 - 8*p + 15. Let o be b(l). Solve 2*g - 25 = 3*s - o*s, 11 = 2*s + g for s.
3
Let d = 6538 + -6536. Solve 0 = m - 2, -2*i - d*m = -7 - 5 for i.
4
Let j = -12331 - -12413. Solve 3*f = t + 6, 3*t = -5*f + j - 86 for f.
1
Suppose 5*s - 4*g = -17, 4*s - g = 1 - 8. Let j be s*1/(8/(-4) + 1). Let u = 5 - -2. Solve t - f = f + u, 0 = -3*t - 4*f + j for t.
3
Suppose 0 = 243*x - 689 + 446. Solve 3*m = -n + 1, 0*m - x = 3*m + 2*n for m.
1
Suppose -56 + 54 = -x. Suppose -x*l = l. Let i(m) = 7*m - 21. Let t be i(3). Solve 3*r + f + 4 = t, -3*f + l*f = 3*r + 6 for r.
-1
Let i(g) = -g**3 - 19*g**2 - 48*g + 59. Let r be i(-16). Solve 3*a + 4*w + 39 = r, 0 = w - 5 for a.
0
Let s = -91 + 100. Let y(j) = -j + 19. Let h be y(12). Suppose h*w - 77 = 56. Solve 5*d + w = -2*p, 3*d = -0*d - 2*p - s for d.
-5
Let k(h) = -24*h + 504. Let l be k(21). Solve -2*f - 3 = -3*u, u - 5 + l = 2*f for u.
-1
Let j be 56/182 - (-732)/156. Solve 5*r + 4*o + 25 = 0, -3*r + 0*r + 22 = -j*o for r.
-1
Suppose 35 = 5*j, -5*j + 44 = 18*r - 15*r. Solve -2*h - 8 = r*l - 4*h, -2*l - 4*h - 16 = 0 for l.
-4
Suppose 3*h - 7 = 4*d, 5*d + 4*h = -64 + 94. Solve -b = d*n - 3*b, n + 4*b = 5 for n.
1
Let j be 4/(-16)*9*(-11 - (-2 + -5)). Solve 3 = 4*u + 5*b, 0 = 13*u - 18*u - 2*b - j for u.
-3
Let z(f) = f**3 - 4*f**2 - 7*f + 17. Let k be z(5). Solve 10*d - k*d = -5*w + 26, -w + 14 = 5*d for d.
2
Let l be (41/(-82))/(1/(-56)). Let z = 28 - l. Solve 4*n + 0*n + 2 = -2*b, z = -3*b + 5*n + 8 for b.
1
Suppose 0 = -5*v + 17*v - 36. Suppose -5*c + v*y = -28, 4*c = 2*y - y + 21. Solve w - 6 - 1 = 4*u, c*u - 4*w = -17 for u.
-1
Let h(p) = p**2 + 4*p + 15. Let u be h(-6). Suppose 4*t + 183 = u. Let d = t + 41. Solve -3*n = 3*o, -d*o + 7*o = 15 for n.
-3
Let a(t) be the second derivative of -t**4/12 - 11*t**3/6 - 13*t**2/2 - 22*t - 3. Let f be a(-9). Solve k - g = 1, 0*k - 13 = f*k + g for k.
-2
Let v be 10/3 - (-5)/(-15). Suppose -104*y + 107*y - 15 = 0. Suppose 4*l = l + 2*h + 10, y*h = -10. Solve -l*d - 2*w - 14 = 0, -v*w = 8 + 4 for d.
-3
Let q(c) = -2*c**2 + 9*c + 13. Let p be q(5). Solve 0 = -3*y + 3*d, 2*y + p*d - 6*d = -4 for y.
-1
Let t(i) = i**2 - 11*i + 13. Let q be t(9). Let l be 0*(4/(-1) - q). Solve 5*n + 4*g - 5 = l, n = -2*n - 3*g + 3 for n.
1
Let i be ((-28)/(-8)*(-130)/(-364))/((-2)/(-8)). Solve 3*f = m + 7, -i*m - 4*f + 11 = -6*m for m.
5
Suppose 4*j - 20 = -j. Suppose -10 = -5*h, 2150 = 4*m + h + 188. Let w = m - 486. Solve 2*i = w*v - j, 6*i - v = i - 19 for i.
-4
Let y = 586 + -562. Suppose 9 = -y*m + 57. Solve 5*b = -2*p - 16, m*p = -4*b + 7*p - 26 for b.
-4
Let j(x) = -14*x - 341. Let c(l) = -2*l + 2. Let q(t) = 5*c(t) + j(t). Let f be q(-14). Solve -y = s + 4, 2*y + 14 = -f*s - 0 for s.
-2
Let y = -18779 - -18797. Solve t + 12 = -2*t, -z - y = 4*t for z.
-2
Suppose 17*w - 14*w = 9. Let d = 1682 - 1680. Solve d*q = w*c + c - 14, -q - c - 1 = 0 for q.
-3
Let m = -215 + 277. Let r be 9/6 - 565/(-10). Let x = m - r. Solve 2*h = -6, 0*h - h - 11 = x*t for t.
-2
Let g be ((-8)/(-5))/(26/325). Solve 4*a - g = n, 5*n + 4*a = -7 + 3 for n.
-4
Let i be (-79)/(-7) + 2/(-7). Suppose i*c - 108 = 7*c. Solve -12 = -3*u - o, -2*u + 5*o - c = -6*u for u.
3
Let z be 10*(-1 + 2)/2. Suppose -64 = c - 192. Suppose -20*m + 28*m - c = 0. Solve 0 = 5*d + 4*n, m = -d + n - z*n for d.
4
Suppose -4*t - 67 + 45 = 3*c, c + 19 = -3*t. Solve -c = -2*o + q, -5*o - 24*q + 19*q - 10 = 0 for o.
0
Suppose -4 = -2*s - 0, -4*s = 4*n - 112. Suppose k - n - 84 = 0. Suppose -3*u + k - 86 = 0. Solve 5*g + 4*w - u = 4, -g = -w - 6 for g.
4
Let c = 410 - 376. Suppose -43*a + c*a + 36 = 0. Solve -2*o - o - 3 = 0, -w = 5*o + a for w.
1
Suppose -37 = 3*b + o - 97, -48 = b - 11*o. Solve -3*r - j - 10 = 0, 0 = -5*r + 14*j - b*j - 26 for r.
-2
Let q = -22766 - -22769. Suppose 0 = 5*g + 3*h - 26, -22