3*v - 3 for t.
3
Let i(l) = 22*l + 59. Let r be i(11). Suppose r = -b - j, 2*b = b - 4*j - 286. Let q be b/(-60) + (-1)/10. Solve -3 = g, 3*g = q*m - 6*m - 7 for m.
2
Let f be (-30)/(5/5 + 14/(-8)). Let n = f - 52. Let d be (6/(-12))/(2/n). Solve -2*m - d = -m - 2*p, -5*p - 10 = m for m.
-5
Let l be 21 + (-8)/36 + (-25)/9. Suppose -n = c - 0 - 4, 0 = -5*c - 4*n + l. Suppose 0 = x - c*x + 4. Solve 4*m = -m - 3*u - 15, 12 = -x*m - 3*u for m.
-3
Suppose 7*s + 12 = 10*s. Suppose 3*o - 9 = 4*r, 5*o = 4*r + 3 + s. Let z be 284/24 + r/(-18). Solve 3*a + 3 = -h - 0, -3*a = -2*h + z for h.
3
Suppose 0 = 3*a + r - 38, -3*a + 42 = -3*r - 0. Suppose 10*m = -a*m - 27*m. Solve m = y + d + d, 3 = y + 5*d for y.
-2
Let f = 1 + 2. Let i(n) = 6*n + 72. Let t be i(-12). Suppose -m = -t*m + 13*m. Solve f*j + 5*o - 3 = m, 0*o + 3*o - 17 = 2*j for j.
-4
Suppose 0 = 2*j + 5*u - 4 - 11, -15 = -5*u. Suppose j = 5*i - 8*i. Suppose 0 = x + 2150 - 2153. Solve i = 5*s, c + x*s - 1 = 3 for c.
4
Suppose 6 + 2 = 4*f. Suppose f*g = 20 - 4. Suppose g*w = 4*w + 16. Solve w*o - 5*z = -0*o + 24, 0 = -5*o + z + 9 for o.
1
Suppose -g - 4*w = -7, -w - w + 2 = 0. Solve -10*j + g*u - 19 = -5*j, -j + 4*u - 14 = 0 for j.
-2
Let t be 259/49 + (-4)/14. Suppose 4*u = m + 17, u - 2 = t*m + 26. Solve 3*x + 21 = -u*n, x + 1 = 5*n - 3*x for n.
-3
Let f = -1537 + 2232. Solve 3*o = -5*h + 7, 690*h = f*h + 4*o - 6 for h.
2
Let w be (-1520)/(-360) - ((-4)/14)/((-198)/154). Solve w*k + s = 9, -3*k + 16*s + 8 = 17*s for k.
1
Let d(x) = x**2 + 18*x + 17. Let k be d(-17). Solve 5*o = 0, 3*b - 4*o + 3*o - 15 = k for b.
5
Let u be 1/2*(23 + 1). Let o = -424 + 428. Suppose -4*x = -o - u. Solve x*w - 19 = -w - a, 5 = 3*w - a for w.
3
Suppose -3*n + 18 = -4*x, n - x - 5 = -0*x. Let c be ((-11)/(-2) - n)*(-1 - -3). Suppose c*t - 80 = -t. Solve -3*m + 0*m + 2*p = t, 0 = 3*m + 5*p + 17 for m.
-4
Suppose -918 = 9*z + 3645. Let s = 512 + z. Solve 6 = 2*t, -22 = -5*m - 4*t + s*t for m.
5
Let b = 0 + 3. Suppose -2*d + d + 2 = 0. Suppose 2541*p - 4666 - 6708 = -3751. Solve d*w - b*h = -3*w + p, h + 1 = w for w.
0
Let v = -2583 + 2604. Solve -2*b = -5*m + 2 + 15, 4*b + m = v for b.
4
Let j = 24 + 37. Suppose -43 - j = -4*i. Suppose -5*l + 4 = -i. Solve -l = 3*a + 2*z - 3*z, 2*a + z = -4 for a.
-2
Let g = 69 + -70. Let o be (-1)/(-1)*g + 1 + 2. Suppose -2*s + o - 2 = 0. Solve s = 3*d + 3 + 3, 5*d = 4*n + 10 for n.
-5
Let d(y) = y**3 - 17*y**2 - 19*y - 358. Let s be d(19). Solve -k - 7 = -l, -4*l = s*k - 2*k - 3 for l.
2
Let x = 6768 + -6763. Solve -5*v = -y + 3 + 22, -v = x for y.
0
Let l(q) = 2*q**2 + 5*q - 7. Let x be l(-7). Let a = x + -84. Let r be (-6)/(24/a) - 1*3. Solve 5*u + 5*t - r = 6, 2*u = t + 13 for u.
5
Suppose -2 = 3*t + 5*v - 7, 3 = -5*t + 3*v. Suppose -12 = -2*j + 2*x, -29*x = -j - 33*x - 19. Solve 3*n - 5*o - j = t, -2*o = 2*n - 8 + 2 for n.
2
Let s = 3 + -14. Let t(o) = 2*o + 26. Let b be t(s). Suppose -b*a = -0*a - 20. Solve 3*d + 17 = -v - d, -a*v - 5*d - 40 = 0 for v.
-5
Suppose -p = -5 + 3. Suppose -5*w - 2*g + 3446 = 0, -4*g = 2*w - 7*g - 1386. Suppose 693*d - 12 = w*d. Solve d*k = p*o - 5 + 11, k + 2 = -3*o for k.
1
Suppose 7*f - t - 30 = 6*f, 0 = -5*f - 4*t + 96. Solve -2*n + 4*o = -8 + f, 0 = -2*n - 4*o for n.
-4
Let x(s) = 2*s**3 + s**2 + 14*s + 63. Let j be x(0). Solve j*o + 30 = 58*o + 4*d, 3*d - 11 = -2*o for o.
-2
Suppose 43 = 5*f - 2*t, 2*f + 3*t - 132 + 130 = 0. Solve 5 = d + 3*i, 4*d - f = 3*d - 4*i for d.
-1
Suppose -65 + 77 = -4*x, 2*q = -3*x + 1. Solve -4*a + 113*k = 112*k - 21, 25 = -q*k for a.
4
Suppose 2*p = 5*o - 4, 2*p + 23 = 4*o + 21. Solve -5*z + p = 4*m, 2*z - 21 = -4*m + 9*m for m.
-3
Let f(a) = -4*a**3 + 4*a**2 - 4*a - 8. Let x be f(-1). Suppose -5*b + 1 - 12 = -x*o, -5*o = b - 21. Solve -v = -2*c - o, 3*c - 5*c - 16 = -4*v for c.
0
Suppose 10*q - 20 = 230. Suppose 6*d = -10 - 2. Let s be 5 - (d + (1 - -1)). Solve s*v - 4*g + q = 0, -15 = v + 2*v + 2*g for v.
-5
Let d be (0 + (-32)/(-12))*(3 - 0). Suppose -2*r + r - d = 5*y, r = -3*y - 4. Let p = 11 - r. Solve -4*u + k = -p, 4*u + 4*k + 0*k + 16 = 0 for u.
1
Let f = -15 - 24. Let j be f/(-6) + (-7)/14. Let a be (3 - j - -5)*2. Solve 2*v + 0*b = 2*b - 4, 2*v + 4 = -a*b for v.
-2
Suppose z = -z + y + 8, 3*y = z + 1. Solve -8 - 2 = b + 3*c, -2*c - 35 = -z*b for b.
5
Suppose -3*c = 1117 - 1126. Solve 5*v = 4*d - 20, 11 = -c*d + 26 for v.
0
Suppose 0 = -134*z + 117 + 553. Solve 0*o - 5*o + 13 = m, z*o - 5*m - 25 = 0 for o.
3
Let c be (-768)/18 + ((-4)/3 - -1). Let g = c + 45. Solve 3*q = -3*l, g*q + 5 = 4*l + 29 for l.
-4
Let p be ((-4)/(-6))/((-1)/(-6)). Let m(k) = 17*k**3 + 7*k - 4*k**2 + 6 - 6*k + 17*k**3 - 33*k**3. Let y be m(p). Solve -2*f = -2*r + y, r - 5 - 4 = 2*f for f.
-4
Suppose 3*l = -2*a + 7*l + 4, 0 = 3*a + 3*l + 3. Solve a = -m - q - 1, 2*q - 3 = 3 for m.
-4
Let m be (12/15)/((-16)/(-10400)). Let b be (-80)/m + (-56)/(-26). Solve 3*y = t - 18, -11 = y - 0*t - b*t for y.
-5
Let h = 794 + -790. Solve -15 = h*l + 3*t, -54*l = -59*l - 5*t - 20 for l.
-3
Suppose -30*s - 712 = -119*s. Solve -4*f - 16 = -10*i + s*i, -3*f = 2*i + 12 for f.
-4
Suppose -185 = -22*l - 119. Solve 17 = -l*c + 2*m, -2*c + 2*m + 13 = -5*c for c.
-5
Suppose 0 = 1998*u - 2054*u + 1400. Solve 0 = -21*j + u*j + 2*m + 8, 3*j + 5 = -m for j.
-1
Let t be -11 - (-327)/21 - 12/21. Solve q + 4*a - 9 = a, 28 = -t*q + 4*a for q.
-3
Let w be (-493)/(-116) + 3/(-12). Suppose 0*u = 3*u + 126. Let f = 62 + u. Solve 0 = -5*j + z + 1, w*j + 4*z = -0*j + f for j.
1
Let b(c) be the second derivative of c**5/10 - c**4/4 - c**3 + 7*c**2/2 + 25*c. Let r be b(3). Solve 2*x + 3*k + r = 0, -5*x + 5*k = 12 + 3 for x.
-5
Suppose -17*k - 19*k = 6948. Let w = k + 228. Solve 5*n + 5*h = -w, n - h + 3 = -0*n for n.
-5
Let z be (-8)/(-12) - (-310)/93. Solve -z*i - 6 = 3*a, a - 6*a - 10 = 5*i for a.
-2
Suppose 326*w = 53689 - 16199. Solve -q = -120*o + w*o + 20, 4*q + 4*o = 16 for q.
0
Let x = -107 + 111. Let f(l) = -3*l**2 + 6*l - 9. Let u be f(x). Let r = 42 + u. Solve 2 = p, 0 = z - 2*z - 3*p + r for z.
3
Let i(a) = a + 2. Let o be i(7). Suppose o*r + 0 = -0. Suppose r = -9*p + 6*p + 9. Solve 0 = p*u - v + 2, -2*u + 3*u + 2*v + 3 = 0 for u.
-1
Let v = -16 + 16. Suppose v = r - 2*r + 3. Let m = 68 + -62. Solve 0 = 5*p - 2*k + 1, -r*p - 3*k - 3 = m for p.
-1
Let d(n) = -5*n + 10. Let t be d(2). Suppose -4*c = -4*m + 56, t = 4*c - 2*c. Suppose 5*q - 16 = m. Solve 5*i + q = 3*z, i = -4*z + 5*i for z.
-3
Let o(l) = l**2 + 7*l + 2. Let d be o(-7). Let h = 165 - 165. Suppose 3*n + h = x + 1, -4*x + 47 = 5*n. Solve 3*r - 5*z = -35 - 0, 0 = -d*z + x for r.
-5
Suppose -4*k = -2*i + 6, -7*k + 6*k - 6 = -5*i. Suppose -47 = -12*f + i. Solve v - 3*w + 5 = 4, -3*v + 2 = -f*w for v.
2
Suppose -9 = -s + 3*b, b + 9 + 2 = 3*s. Suppose 0*v + 3*n = -s*v - 12, -3*n - 12 = -5*v. Solve v = j - y - 10, -j = 2*y + 2 + 3 for j.
5
Suppose 0 = 26*c - 76*c + 200. Suppose -2*r - 4*p = -2*p - 2, -4*r + 36 = -c*p. Solve 7 = -r*k + 3*v, v - 16 = -3*v for k.
1
Suppose 2*c + m + 81 = c, -20 = 5*m. Let o be (2 - 3)*(c + 51). Solve -6*z + 3*n - o = -z, 2*z + 5*n - 2 = 0 for z.
-4
Let v(r) = -82*r - 23. Let t be v(-4). Suppose -d - 5*s - 32 = 0, -t = 5*d - s - 3*s. Let o = 57 + d. Solve w - 5*z = 27, o = 2*w + 5*z + 1 + 20 for w.
2
Let s(c) = -c**3 + 21*c**2 - 32*c - 105. Let r be s(19). Solve 3*t - 3*q = -27, q = 4*t + 12 + r for t.
-4
Let l be ((-1)/(4/8))/(-2)*5. Suppose -5*c - 5*n + 7 - 12 = 0, -5*n = c + l. Solve 2*t - 4*o + 2 = c, -3*o = 5*t + 2*o - 10 for t.
1
Let w = -47 + 49. Suppose 0 = s + w - 1. Let j be 2/(-3)*s + (-2)/3. Solve 4*b - 3*y + 6 = j, 2*b - 8 = -y - 3*y for b.
0
Let c(m) = -m**2 - 38*m + 51. Let b be c(-32). Let z = b + -219. Solve 5*s = 3*j + 20, -s + j = 6*j + z for s.
1
Let h(p) = 21*p**2 + 5*p + 44. Let z be h(-5). Suppose -2*r - 540 + z = 0. Solve 4*c - l = -2, -r*c + 5*l = -6 - 2 for c.
-1
Let n be (-1 + -3)*(14/(-4))/7. Suppose -4*q = -v - 8, -n*v + 6*q + 5 = 5*q. Suppose -1 - 4 = -w. Solve -23 = -v*u + 3*k, w*k - 18 = -5*u + 2 for u.
5
Let y(j) = 28 + 47*j + 74 - 64 + j**2 + 198 - 22. Let h be y(-5). Solve h = -2*f + 2*d, -1 = -f + 2*d - 8 for f.
3
Let z be (-3 - 25/(-10)) + 134/4. Suppose p = -z + 38. Suppose -10 - 5 = -p*o. Solve 2*s - 2*d = -6, -3*s + s - o*d + 4 = 0 f