7*t + 46 + 444. Let m = t + 72. Solve 4*q + 3 = -m*u + 15, 3*q = -u + 8 for u.
2
Suppose -4*g - 2*n = -12, 3*n = -5*g + 5 + 9. Suppose -6*s + 2*s + 18 = 2*t, -g*t = 2*s - 42. Solve u = -3*i + t, -4*u - 4*i = -39 + 11 for u.
5
Suppose 0 = -2*k + y, 4*k + 1 + 5 = -y. Let a be (6/(-15))/k*5. Solve 4*c + 6 + 15 = -q, -2*c - 12 = a*q for q.
-1
Suppose 4*o + 212 = 292. Solve 0 = 5*d - o, -h - d = -5*d + 17 for h.
-1
Let p(g) = -23*g - 409. Let s be p(-18). Solve y + 4 = -5*c, 2*y - s*c = -3*y + 10 for y.
1
Let c(n) = 9*n**2 - 2*n - 2. Let j be c(3). Let p = j + -68. Solve -5*b = p*s, 3*s + 0*s = -5*b - 2 for s.
1
Suppose 0 = -l + 152 - 109. Let f = l - 40. Let n = 2 + -2. Solve 2*b + 10 = n, f*b = d - 6 - 7 for d.
-2
Let l = -333 + 337. Solve 5*m + 3*b = 20, -3*b + l = -m - 2*b for m.
1
Let a(p) = 73*p + 369. Let g be a(-5). Solve -3 = -3*k, -g = 2*i - 5*k + 1 for i.
0
Let o(x) = -x**3 + 2*x + 1. Let z be o(-1). Suppose z = -3*b + 71 - 14. Let g = 21 - b. Solve 2*n - 2*f - 14 = g, -2*f - 28 = -5*n for n.
4
Suppose -13*d = -25*d + 48. Solve q - 1 = 3*m, -d*m = -0*m - 4*q + 12 for m.
1
Let w be (1/2)/((-4)/(-48)). Let q = w + -4. Let b be (-2)/4*16/(-2). Solve 2*d = -q*i - b - 4, -3*i = -4*d - 9 for i.
-1
Suppose -10*q + 12 = -28. Suppose 6*i - 17 = 2*i - a, -2*i = -3*a + 9. Let b be 56/12 - i/(-9). Solve -h + b*m + 10 = q*h, -3*h + m + 8 = 0 for h.
3
Let n = 2544 - 2542. Solve -i - n = 3*t, 0 = 5*i + 8*t - 6*t - 16 for i.
4
Let l be (-2)/7 - 800/(-56). Suppose 4*f - 2*u - u = 12, -2*u + l = f. Let z be 15/f + 4/(-8). Solve -4*s - z*y = 2 - 14, -4*s = 5*y - 24 for s.
1
Let y(s) = s**3 - 35*s**2 + 69*s - 97. Let h be y(33). Solve -2*r - 5*c - 7 = 2*r, 0 = -h*c + 2 for r.
-3
Suppose -9*n + 7 = -47. Let i be n/3 + 0/4 + 2. Let k be (-2)/5 + 6/15. Solve -r + 5*l - 17 = k, -r + 19 = i*r + l for r.
3
Let t(i) = 3*i - 3. Let q be t(6). Let j = -35 + q. Let o = j - -25. Solve 0 = -3*c + c - o*l + 2, 0 = -4*c - l - 14 for c.
-4
Let h(x) = -x**3 + 39*x**2 - 37*x - 32. Let b be h(38). Solve -b = -5*t - 0*t + z, 0 = 4*t - 2*z - 6 for t.
1
Let n(o) be the second derivative of -o**5/20 - o**4/6 + o**3/3 + 10*o. Let k be n(-3). Solve 2*p + k*j - 17 = 0, 0 = -2*p - p - 5*j + 28 for p.
1
Let s(o) = 2*o**3 + 12*o**2 + 4. Let m be s(-6). Let v = -11 - 0. Let t(f) = -f - 8. Let j be t(v). Solve h + 3*h + j*z - 16 = 0, 0 = 2*h - m*z + 14 for h.
1
Let r be 57/4 - (-15)/20. Solve -4*v + 4*i + r + 9 = 0, -5*v - 5*i = 0 for v.
3
Suppose 6*s - 5*s + 2 = 3*z, s = -4*z - 2. Let h(c) = -c + 8. Let x be h(6). Suppose -7*p + x*p = 0. Solve p = 4*b - 8*b - 3*m - 28, z = -3*m - 12 for b.
-4
Let u be 36/15 + 22/(-55). Solve 0*r + i = -4*r - 22, 0 = 5*r - u*i + 21 for r.
-5
Let u(n) = 2*n + 3. Let s be u(0). Let d(m) = -3*m**2 + s*m**2 - m**3 - 2 + 13 - m**2 - m. Let q be d(0). Solve -o - q = 3*i, 0 = -8*i + 3*i - 3*o - 25 for i.
-2
Suppose -5*y = m - 39, -6*m = -5*m + 1. Solve 2*s + 4*t - y = 0, 1 = 3*t - 5 for s.
0
Let z be (-4)/6 + ((-6)/(-9))/(-2). Let h be 5/7 + z + 23/7. Solve h*u = 3*n + 6*u, 5*n = 2*u for n.
0
Let c = 30 - 28. Suppose c*l - 15 = -3*l. Solve 0 = p - 0*p - s - 9, -p - l = 2*s for p.
5
Suppose v - 16 + 52 = 3*g, 2*v = -2*g + 24. Let n be (-21)/(-2)*g/18. Solve 2*p + 2*z - 6 = 0, 2*p = 3*z - 1 + n for p.
3
Let y = -252 - -256. Solve 5*n + 5*i + 16 = -29, 3*n = y*i + 8 for n.
-4
Let c(n) = n**3 - 23*n**2 + 62*n - 36. Let i be c(20). Solve -2*u + 4 = -4*s - i, 4*u - 16 = 0 for s.
0
Let s = -403 + 405. Solve 0*l + 2*h + s = -l, 3*h = 3 for l.
-4
Let n(l) = 2*l - 7. Let z be n(5). Suppose 5*g + 0*g = 215. Let t = g - 24. Solve -w + 2 + 0 = 2*d, -4*w = -z*d - t for d.
-1
Suppose -2*f = 0, -3*z - 2*z = f - 10. Let s be ((-55)/(-20) + -2)*4. Solve -s*l = l + 3*j - z, 0 = -2*l - j for l.
-1
Suppose -45 = -2*v - 41. Solve 2*y + 5*s - 5 = 0, -5*y - 14 - 5 = v*s for y.
-5
Let z(y) = y**3 - 16*y**2 + 13*y + 35. Let j be (-2)/(-4) - 203/(-14). Let i be z(j). Solve -7 - i = 4*q - s, 5*q + 4*s - 6 = 0 for q.
-2
Suppose 87 = 3*i - 3*z, -4*i - 2*z + 110 = -0*z. Suppose -31*a = -i*a - 6. Suppose -o + a*o = 0. Solve -4*c - 2*h - 25 + 3 = o, -4*c + 5*h - 15 = 0 for c.
-5
Suppose 14 = 7*o - 5*o + 2*w, 1 = o - 5*w. Solve l - 6*l + i - 9 = 0, -i = -2*l - o for l.
-1
Let q = 5 + 0. Suppose -q*j + 28 + 2 = 0. Solve -3*o = m + j, -2*o + 0 - 4 = -2*m for o.
-2
Let u(q) = q + 5. Suppose 0 = 39*b - 40*b - 2. Let a be u(b). Solve k + k - 5*h = -a, -3 = -4*k + h for k.
1
Let g = -267 - -272. Solve -u + 7 + 5 = -5*q, 5*q - g*u = 0 for q.
-3
Let j = -60 - -30. Let o = -18 - j. Let z(n) = -n**3 + 12*n**2 + 4. Let q be z(o). Solve -5*k = 2*w + 24, -q*w - 2 = -2*k + w for k.
-4
Suppose 2*h - 3*q + 2 = 0, 5*h - 2*q = 6*h - 6. Let l be 1/4 + (5 - 2191/28). Let k = l + 74. Solve -4*j - 26 = -2*f, 2 = -h*j - f - k for j.
-4
Let z(y) = y**3 + 7*y**2 + 0*y**3 + 3 - 7*y - y**2 + 0. Let t be z(-7). Solve 9 = -f + t*u - 1, 5*f = -3*u + 4 for f.
-1
Let t be (-5)/((-30)/9) + 27/2. Solve d + t = 4*d - 5*l, 0 = -2*d - 4*l + 10 for d.
5
Suppose 6*j = 4*j + 5*j. Let d(r) = -2*r**2 + r + 22. Let l be d(j). Solve -x + 2*i = 0, -x - 4*x - l = i for x.
-4
Let v = 3 - 1. Suppose 0 = -o - v*c + 2, c + 1 = -o - 4*c. Solve 2*r + m + 11 = 0, -2*r + 7 = -m - o*m for r.
-4
Let x = -29 - -35. Let l be ((-3)/(-1))/(x/8). Solve 4*d + 8 = 3*u, -l*u + 14 = -3*d + d for u.
4
Let p be 15/(-18) + 1 - (-1268)/24. Let q = -48 + p. Solve 2*h - 2*z + 1 = -1, -q*h = -z - 11 for h.
3
Suppose -45 = -2*g - 3*g. Let k(x) = 6*x - 41. Let r be k(7). Solve z = 2*l + 3*l + g, -5*z + 3*l + r = 0 for z.
-1
Let i be ((-15)/(-25))/(3 + 42/(-15)). Solve 2*k = 3*z + 6, 4*k + i*z = k - 6 for k.
0
Let x(a) = 2*a + 5. Let j(b) = 3*b + 6. Let u(f) = -3*j(f) + 4*x(f). Let s be u(2). Let m be (s - 9/(-3))*2. Solve -2*r - r - l + m = 0, 0 = r - 2*l - 9 for r.
3
Let k = 5 - -7. Let l = 6 - -5. Suppose -14*t + l*t + 12 = 0. Solve -t*r + 4*b = 0, -2*r - 2*b + 0 = -k for r.
3
Let u(h) = h**3 - 12*h**2 - 9*h + 110. Let y be u(12). Solve 2 = y*m + 2*a, -a + 11 = -m - 3*m for m.
-2
Suppose -5*j + 4*t - t = -52, j - 3*t = 8. Let s = j + -8. Solve 0 = -s*w + 5*w + 4*g + 12, 3*g + 15 = 0 for w.
4
Let k = -60 - -80. Suppose 19*d - k = 14*d. Solve -11 = -4*g - 3*t - 27, -d*g = -2*t + 16 for g.
-4
Suppose 0 = -n + 4 + 1. Suppose 3*h + 5*h - 24 = 0. Let i be ((-5)/5 + 1)/(-1). Solve n*q = -i*q, h*q = -2*p for p.
0
Let g(c) = c + 1. Let p(q) = -5*q + 7. Let w(d) = 6*g(d) + p(d). Suppose 29 = 6*o - 1. Let v be w(o). Solve 2*f - 4*f = 3*h - v, h + 2 = 2*f for f.
3
Let q(b) = b**3 + 7*b**2 + 6*b + 4. Let p be q(-6). Solve -2*k + 28 = -p*m, 4 - 8 = -k for m.
-5
Let g be 2 - (0 + 3)*-1. Suppose -v - 3*v + 24 = 3*a, -5*v = -15. Solve 2*o = a*p + 10, -g*o - 2 = 3 for p.
-3
Suppose -2*b + 2 = 10, 0 = 2*w + 4*b + 30. Let u(t) = -t**3 - 6*t**2 + 6*t - 1. Let q be u(w). Solve -2*x - x = -q, 2*j + 4*x = 6 for j.
-1
Let a = 22 - 13. Suppose 4*t - t = a. Suppose -5*i = -25, -3*j = -6*j - 5*i + 40. Solve j*q - t*q + p + 3 = 0, 4*q - 2*p = -26 for q.
-4
Let u(t) be the first derivative of -t**2/2 - 13*t - 7. Let x be u(-15). Solve 0 = 7*m - x*m + 3*l - 11, 0 = m + 4*l + 8 for m.
4
Let a = 29 + -32. Let n be -2 + (4 - 1) + a. Let x be n + 21/12*4. Solve 0 = -2*i + u + 2, -5*u = x*i - 2*u + 17 for i.
-1
Let r be (145 - 144)*0/((-6)/(-3)). Solve r = -4*f - 5*t, -32*f + 31*f - 2*t = 0 for f.
0
Let h = 65 + 45. Let i = 110 - h. Solve -3*g + 2*g - 13 = -4*a, i = a - g - 7 for a.
2
Let u(g) = g**2 + 8*g - 16. Let a be u(2). Let p be 0 + 2/a - (-5)/(-10). Solve 0 = 2*q - 2 - p, 5*t - 5*q = 15 for t.
4
Suppose n + 3*w = -1, -3*n = n - w - 22. Suppose -n*y = -j - 5, -3*j - 26 = -5*j - 2*y. Solve c + j = -l, -28 = 3*l + c - 8 for l.
-5
Let h(n) = 14*n + 345. Let x be h(-24). Suppose 0 = s + 2*s. Solve 0*g - k - 2 = -4*g, s = -g - 4*k + x for g.
1
Suppose 0 = -27*o + 271 - 28. Solve 6*y - 4*t - o = 3*y, -3*t - 12 = -4*y for y.
3
Let l = 442 + -439. Solve -3*o + 6 = -4*s, 0 = -4*s - l*o - 0*o + 6 for s.
0
Let u = 1 + 3. Suppose -k + u*k = 276. Let c = -64 + k. Solve 4*l = 2*v + c, -3*v + 5*l - 13 = 24 for v.
-4
Let v be (5 - (69/9 + -3))*12. Solve -4*x + 8 = -v*h, 4*h + 8 = -2*x + 7*x for h.
-2
Let l(o) = 16*o**2 - 8*o + 6. Let r be l(1). Solve -h - 3*s = -6*h - 9, -4*h - s = r for h.
-3
Let q = 9