-1
Let r(c) = -84*c**3 + c**2 + 2*c + 2. Let u = -8 - -7. Let k be r(u). Suppose 13 - k = -6*l. Solve 4*d = l, d + 5 = -0*s + 4*s for s.
2
Let g(x) be the third derivative of 3*x**4/8 - 7*x**3/6 - 30*x**2 + 3. Let u be g(3). Solve 2*t + 7 = c, c + 3*c - u = 4*t for c.
3
Suppose -3*f + 84 = 11*f. Let q be (4 + -8)*((-45)/f)/(-5). Let j be -3 + (5 + -3 - q). Solve -1 = 4*k - j*y - 10, k + 29 = -5*y for k.
-4
Let t(r) = -4*r - 13. Let u = 60 - 60. Suppose 2*m - x + 4 = 0, m + 2*x = -u*x - 12. Let j be t(m). Solve 0 = w - j*v, 2*w + 3*w - 20 = -5*v for w.
3
Let l(h) = h + 15. Let b be l(-11). Let k be (-1)/5 + b/(-5). Let a be 1 + 0 + k/1. Solve 9*i - 16 = 4*i + r, a = 3*i + 5*r - 32 for i.
4
Let n(h) = -h**2 + 55*h - 404. Let k be n(9). Solve d + c + 9 = 7, -k = -5*d + 5*c for d.
0
Let d(c) = c**3 - 3*c**2 - c + 2. Let q be d(2). Let t be ((-33)/2)/(((-2)/q)/(-1)). Solve 0 = 5*l - g + 23, 5*l + 2*g + t = -2*g for l.
-5
Let g = -32 - -36. Suppose 5*y - 14 = -h - h, -10 = -y - g*h. Let f be ((-2)/(-4))/((-1)/y) + 10. Solve 1 = -4*n + f, -3*i - 3*n - 6 = 0 for i.
-4
Suppose -4*l + 24*d + 760 = 20*d, 3*l - 5*d - 566 = 0. Let b = l - 189. Solve 3*g - 3 = b*f, 4*g = f + 6 + 1 for g.
2
Let r be 3/((9/220)/((-21)/(-35))). Solve 3*z = -2*h + 7, 5*h = 5*z - r - 1 for z.
5
Suppose -6*q = -q + 17*q - 110. Solve 5*d + q*u = -10, 5*d - 4*u = 102 - 67 for d.
3
Let t be (7 - 18/6)*-3. Let y be (t/8)/(12/(-136)). Solve 4*q + 5*j - y = 0, 3*q + 2 - 7 = 4*j for q.
3
Let b be (-228)/(-1710) + (-1164)/(-45). Solve -4*l + 3*v = -19, 23*v - 3 = b*v for l.
4
Suppose -2*p - 3*r - 21 = 0, 5*p - 6*r - 17 = -2. Let j be (-58)/(-1)*1/(-2). Let q be (4 + p + j)*1/(-4). Solve -3*k = 5*i + 5, -3*i - 27 = 4*k - q*k for i.
-4
Suppose 3*u = 215 + 76. Let y = 109 - u. Solve h = -3*l + y, l + 37 = -4*h + 6*l for h.
-3
Let z be (-204)/(-84) - (-3)/(-7)*1. Suppose 5*o - 5*c = 4*o - 25, -20 = -z*o - 4*c. Solve -3*d + o*n - 1 = -2*n, 4*d + 2*n = 22 for d.
3
Let s = 10 - 21. Let g be s/(-5) + -2 - 238/(-10). Suppose -8*q + 2*q = -g. Solve -11 = -q*i - 4*d + 5, -i - 16 = -4*d for i.
0
Let q(j) = j**2 - 33*j + 286. Let a be q(21). Suppose -54 = -a*u + 82. Solve 5*r + 5*m = 3*r - 16, -u*r = 3*m + 18 for r.
-3
Let k = 3486 + -3483. Solve 10*y - k = 9*y, -4*o = -4*y + 32 for o.
-5
Let v = 216 - 219. Let s be (23 + -2)/v*6/(-21). Solve p = -4*z - s*p - 4, -4*z - 4 = 4*p for z.
-1
Suppose 36*h - 47*h = -319. Suppose -2*v + 3*r = 7, v + 6*r - h = r. Solve -v*z - 5 = -4*s - 1, 4*z - 2 = -2*s for s.
1
Let w = 62 - 170. Let a = 111 + w. Suppose -a*m + 3*q - 21 = -5*m, m = -4*q + 8. Solve -2*y = -3*c + c - m, 4*y - 26 = 5*c for c.
-2
Let n be (0/141)/(3 - 1). Solve -5*c = -4*x + 21, n*c - 2*x = 2*c - 6 for c.
-1
Suppose 4*x - 17 = 3*w, 2*x + 4*w + 7 - 21 = 0. Solve -5*j - x*p = 10, -14*p = j - 10*p - 1 for j.
-3
Suppose 4*p - 5*p = -4. Let q(i) = -2053*i + 20562. Let y be q(10). Solve -2*h + y = -5*h - p*x, -x + 3 = -2*h for h.
-4
Let z = -6 - -11. Let w(t) = -263*t + 86*t + 86*t + 170 + 86*t. Let f be w(33). Solve 5*c - c - 8 = 2*n, 5*c = f*n + z for n.
2
Let z be -2 - (69/(-3) - -2). Suppose z*b - 8 = 15*b. Solve -b*j - 10 = 2*v - 4*j, 0 = -2*v - 5*j + 18 for v.
-1
Suppose 5*w + 2125*f = 2121*f + 24, -3*w - f = -20. Solve -3*g - 4*j + w = -5*g, -2 = -3*g - j for g.
0
Let u(b) = -3*b**2 - 254*b + 1450. Let v be u(-90). Solve -11*d + 2*n = -10*d + 6, 2*n = -d + v for d.
2
Suppose -6*i + 10*i + 86 = 2*u, 5*i = 4*u - 106. Let p = -21 - i. Solve 2*k = -n + 3*k - 1, -5*n + 3*k = -p for n.
2
Suppose -294 + 1 = -r. Let w = r - 290. Solve -l - 2 = l, 4 = w*z - 4*l for z.
0
Suppose 26*v - 187*v + 483 = 0. Solve -2*q = 3*i, 5*q - 6 = -v*i + q for i.
-2
Let g = 4 + 0. Suppose 1 = m - 4. Suppose -14*s = -15*s + 2. Solve c - z - 3 = 0, s*c = -z + m*z + g for c.
4
Suppose -287 = -50*n - 137. Solve 0 = 3*m - n*b + 6, 5*m - 2 - 24 = -4*b for m.
2
Let l(h) = h**3 + 3*h**2 - 58. Suppose -o - o + o = 0. Let c be l(o). Let t = c + 59. Solve 0 = 2*s + 5*v - 2 + t, -s = -2*v - 5 for s.
3
Suppose -11*y + 39 = i - 7*y, 0 = 2*y - 10. Solve 5*x - 15 = -3*h + i, -h + 5*x - 22 = 0 for h.
3
Let v be 10*(2/(-11) - (-1794)/429). Suppose -12*h + 8 = -v. Solve -h*c = -q - 15, -5*q = -0*c - c - 1 for c.
4
Suppose 3*o - 6 = 0, -4*a + 5*a = -3*o - 9. Let c = a + 17. Let t be c/(-6)*((-9)/1 + 3). Solve 0 = -2*k + t, -5*g - 2*k + 5*k = -17 for g.
4
Let a(m) = -6*m + 33. Let d(n) = -5*n + 27. Let h(y) = 4*a(y) - 5*d(y). Let s = 13 - 5. Let r be h(s). Solve r*j - 5*g = -15, 3*j - 7 - 14 = -3*g for j.
2
Suppose -7 = -5*o + 13. Suppose -4*r - 31 = -3*u - o, 5*r + 5 = -2*u. Solve 2*x - 14 = -5*c, c = u*c - 8 for x.
2
Suppose 4*p - 345 = -5*d, d - 20*p + 18*p = 69. Suppose 59*w + 40 = d*w. Solve -3 = -w*j - 5*q - 15, 0 = -3*j - 5*q - 9 for j.
-3
Let v = -16708 - -16717. Solve 5*j - 11 = -g + v, -5*g = 5*j for j.
5
Let i be (-2)/38 + -30*19/(-10830) + 28. Suppose 5*k - 21 = -2*u, 2*k - 5 = -3*u - 1. Solve -k*x + i = -2*j - 0, 5*j - 2*x = -28 for j.
-4
Let y = -140 - -568. Let b = 431 - y. Solve -6*r = -4*t - 2*r - 4, 3*t + 3*r = b for t.
0
Let l(b) = -b - 1. Let w be l(-3). Suppose -7 - 5 = -33*a - 12. Solve a = 3*n + 6, 0*j - 4*j + 5*n = w for j.
-3
Let h(o) = 48*o**2 + 2*o + 6. Let s be h(3). Let a = s - 440. Solve -2*c + 7*c = -a*u + 2, 3*u - 11 = c for u.
3
Suppose 8*k + 20 = 4. Let h(p) = p**3 + p**2 - 8*p - 16. Let b be h(k). Let s be (-2)/(8/5)*b. Solve -s*y - 2 = -a, 5*a - y = -6*y + 10 for a.
2
Suppose 63 = -t + 214. Let q = t - 128. Suppose 1 = -g, -4*g = -3*a + g + 14. Solve -a*f - 4*l = 14, 0*f + f + 5*l = -q for f.
2
Let n(h) = -6*h + 45. Let v be n(10). Let u(w) = 5*w + 46. Let t be u(v). Let d = t - -32. Solve 4*b + 2*y = -10, -d*b = b - 5*y + 31 for b.
-4
Let s = 1864 - 1291. Let f = 575 - s. Solve 7 = -4*n + 5*u, n - f*u - 5 = -3*u for n.
2
Let m(k) = k**2 - 19*k + 123. Let y be m(7). Solve 5*q = y*j - 44*j, -2*q + 2*j + 16 = 0 for q.
4
Let x = -6749 - -6761. Solve x = -4*q, -19*h + 24*h - 34 = 3*q for h.
5
Suppose -20*n + 612 = 14*n. Solve 0 = y - 2*f - n + 6, -3*y = 2*f + 4 for y.
2
Let t be ((-1908)/8)/9 - 1/2. Let f = 36 + t. Let v = f + -4. Solve i + i = -5*c, i = -v*c for c.
0
Suppose 18*j + 143 = 539. Suppose 3*w + a = 4, -4*w - 5*a - j = -3*w. Solve 3*c - w - 4 = n, -4*c - 4 = 2*n for n.
-4
Let n(f) = 2*f**2 - 16*f - 53. Let s be n(16). Let k = -199 + s. Solve 0*h = 2*h - 3*d + 13, -k*d - 1 = h for h.
-5
Let o = 7 + 2. Let u = o + -8. Let a(k) = k**2 - 38*k - 37. Let b be a(39). Solve -5*j = 15, b*d - j - 4 - u = 0 for d.
1
Let z(c) = -4*c - 35*c - 7 + 0*c. Let w be z(-1). Suppose -30 = d - w. Solve -7*l = -d*l - 5*t + 10, -l = -2*t + 3 for l.
-1
Let r be (-144)/(-15) - (-4)/10. Let x be (r/(-14))/(47/(-329)). Solve 4*y + x = -3*t + 1, -2*t - y + 4 = 0 for t.
4
Let z(n) = -14*n + 326. Let r be z(23). Solve 100*h + 2*o + 2 = 104*h, -2*h = -r*o + 8 for h.
2
Let l(j) = -2*j + 58. Let c(h) = h + 0 + 0 - 8 - 11. Let n(t) = 8*c(t) + 3*l(t). Let p be n(-10). Solve g - 2 = -0*k - k, 0 = 5*k + p*g + 2 for k.
-2
Suppose 0 = 4*q + j - 15, -20*j + 3 = 2*q - 15*j. Solve -5*k + 40 = 5*s - 5, 5*s = -q*k + 41 for s.
5
Let m(x) = 37*x**2 + 4*x - 4. Let q = -56 + 57. Let d be m(q). Let v = -35 + d. Solve -v*r = 3*g + 2, -6*r = -4*g - r - 18 for g.
-2
Suppose 0 = -5*r - 4*x + 17, 0 = 3*r + 5*x - 221 + 229. Solve -8*n + r*n - 4 = 0, -3*t = -4*n + 7 for t.
3
Let k(m) = -m**3 - 27*m**2 + m + 31. Let w(l) = -3*l**3 - 4*l**2 + 9*l - 5. Let o be w(2). Let y be k(o). Solve 0*c + y*c = -4*g - 16, -20 = 3*g - 5*c for g.
-5
Suppose 4*b - 354 = -110. Let c(r) = 61*r + 250. Let s be c(-5). Let p = s + b. Solve -3*m - 3*a + p = 0, 2*a + 18 + 13 = 5*m for m.
5
Let d be 1/3 - 260/(-30). Let t = d + -5. Solve 2*c + t*q + 8 = 0, -5*c + 9 = -q - 4 for c.
2
Suppose 3 = -3*b + 12. Suppose 4*y + b = 23. Let r be (-954)/(-1590) - (-62)/5. Solve 0 = 4*u - 0*o + o - r, -y*o = -25 for u.
2
Let w(z) = z + 7. Let f be w(10). Let p be f/(-4) + 5 + (-34)/(-8). Solve 2*c + i = 7, -p*c + 17 = -c - i for c.
4
Suppose 3*h = -4*i + 17, -5*h - 5*i = -10*i - 5. Solve -4*t - h*j - 159 + 134 = 0, t + 4*j + 16 = 0 for t.
-4
Let g be (63/(-12))/(3/16). Let t be (-10)/(-15) + g/(-21). Solve -5*q = 5*a + 10, -7*q = -t*q - 5*a for q.
-1
Suppose -10*w = -490 + 110. Let u be 