2*x, 7 = -2*x + 3*b + 13 for x.
0
Let f(t) = t**3 - 43*t**2 + 43*t - 35. Let v be f(42). Let l be -3 + (2 - (3 - v)). Solve 0 = 5*i - 4*w + 17, -l*i + 3*w + 1 - 13 = 0 for i.
-1
Let u(h) = 19*h - 4. Let w be u(2). Suppose 8*s = -2 + w. Solve 2*j + j - q - 11 = 0, 4 = s*j - 4*q for j.
5
Let y be -2*(-2)/3*3. Suppose 34*s = 82 + 20. Suppose 18 = 3*l + 4*f, -s*l - f + 4*f = 3. Solve 3*t - 2*m + 12 = 0, -y*m = 3*t - l*m for t.
-2
Let u = -53 - -210. Let t = u + -153. Solve -2*b - 16 = 5*k, k + k = -t*b for k.
-4
Let k = 22 + 23. Let z = -15 + k. Suppose -b + 4*n + 0*n = -9, 5*n + z = 5*b. Solve -4*l - 5*j = 5 + 5, b*l + 31 = 3*j for l.
-5
Let n(g) = g**3 + 16*g**2 - 18*g - 12. Let q be n(-17). Solve -q = -b - j - 1, -4*j + 11 = -b for b.
1
Suppose -x - 4*k = -17, 0 = -0*k - 2*k + 2. Suppose 0 = 4*y + y - 60. Suppose 0 = x*n - y*n. Solve n = 5*q + 2*w + 15, -q + 4*w - 9 = 16 for q.
-5
Suppose -7 = -3*g + v + 11, 0 = 5*g + 4*v + 21. Solve 3*d - g*b - 2*b = -10, 0 = 3*d - 2*b + 13 for d.
-5
Let s = 33357 + -33123. Solve -2*f - 41 = 5*q, f + s*q - 4 = 235*q for f.
-3
Suppose -2*q = 4*b + 3*q + 18, -5*q - 15 = 5*b. Solve 0 = -b*v + 4*n + 11, -2*n = 4*v + v - 27 for v.
5
Suppose -2*c - 84 = -37*v + 32*v, -6 = 3*c. Solve w + 2*w + 4*n + v = 0, -n + 3 = -w for w.
-4
Let r(x) = 170*x - 830. Let p be r(5). Solve 2*u - 5 = 3*j, j - 4*u - p = 5*j for j.
-3
Let a(t) = -2*t + 10. Suppose 5*k = 2 + 13. Let h be a(k). Suppose h*n = 11 + 5. Solve 16 = 3*m - 0*v + 4*v, -21 = -n*m - 5*v for m.
4
Let i(m) = -m**3 + 2*m**2 + 5*m - 6. Suppose 2 = 5*s - 13. Let n be i(s). Let v = 45 + -29. Solve n = 4*f + 2*y + v, f = 5*f + 5*y + 28 for f.
-2
Let g be (-3)/(-2)*15*26/195. Let s(r) = -r + 10. Let m be s(5). Solve 2*k = x + m, 0*k - g = -k + x for k.
2
Let g be (-3*1)/((-18)/558). Let c = -80 + g. Solve 4*x + c = -5*z, -6*x = -2*x + z + 9 for x.
-2
Let c be (-39)/(-9) - (-14)/(588/70). Solve f + 2*g + 1 = -0, -c = -3*g for f.
-5
Let o be ((112/3)/(-4))/((-8)/12). Suppose 0 = -5*f + o*k - 18*k + 16, -3*k + 12 = 0. Solve 2*t + 4*s = 10, 5*s = 3*t - f*s + 7 for t.
1
Suppose 0 = 11134*y - 11123*y - 22. Solve 0 = -2*d - y*z + 10, 41*d - 36*d + 3*z - 23 = 0 for d.
4
Suppose -141*d = 53*d - 3492. Solve -11*j + 7*j + 2*x - d = 0, -5*j + x = 24 for j.
-5
Let z = 3031 - 3029. Suppose s - 4 = -s. Let p be (s/2 - -1) + -2. Solve -l + 8 = -5*h, h + 7 = z*l - p*l for h.
-1
Suppose -4*n - 96 = n + 3*p, -5*n = -3*p + 114. Let w = n - 50. Let j = -68 - w. Solve 34 = 5*c - j*z, -3*c + 3*z - z + 21 = 0 for c.
5
Let a(w) = -226*w + 238. Let m be a(1). Solve 2 = 10*h - m*h + 4*n, -3*n + 2 = -h for h.
1
Let w be -9 - (-81)/(8 + 1). Let r be -7 - -7*(1 + w). Solve 3*l + z - 1 - 5 = r, -2*z = 2*l for l.
3
Let l be (-8)/20*70/(-28). Let v be (0/(0 - (-2)/l))/(-2). Solve v = 3*x + 5*g - 6, 0 = 3*x + 5*g - 10*g + 24 for x.
-3
Let w(m) = 4*m - 4 + 7 + m**2 + m - m**3 + 0*m. Let p be w(-1). Solve -t - j = p, -t = -6*t + 5*j for t.
0
Suppose -21*j - 12 = -19*j. Let y be j/2*24/(-36). Suppose 3*d = -6, 2*d + 7 = y*p + 1. Solve 5*t + 4*c + c - 10 = 0, 2*t = -5*c + p for t.
3
Let w(a) = 2*a**2 + 2*a - 10. Let s be w(3). Suppose c = 2 + s. Let i be (-708)/(-51) + c/136. Solve 9*m + 20 = 4*m, 5*t = m + i for t.
2
Let l = -57 - -63. Let d be 4*(-9)/l*-1. Solve -2*r - 6 = -5*n - 4*r, -2*r = n - d for n.
0
Suppose 61 = -1599*d + 1627*d - 79. Solve d*y - 5*u - 10 = 0, 5*u + 11 = 9*y - 5*y for y.
-1
Let l = -22620 + 22645. Solve 0 = -p + 5*v - l, -72*p + 4*v + 1 = -67*p for p.
5
Let x(k) = -265*k - 791. Let z be x(-3). Solve -3*v = -z*y - 20, 0 = y + 4*y - v + 14 for y.
-2
Let t(j) = j**2 - 13. Let n be t(-4). Suppose n*o = 4*o - 3. Solve 3*v - 3 + 0 = -3*s, 0 = -5*s + o*v - 27 for s.
-3
Let g be (20/(-15) + 2)/((-4)/(-18)). Let j be g/((-15)/25) - -10. Solve 0 = -3*p - j*a - 11 + 1, -4*a = -2*p - 14 for p.
-5
Let h(c) = c - 1. Let k be h(7). Suppose w = 5, w + 165 = k*v - v. Let f = 49 - v. Solve -f = 3*u + 3*l + l, l = u - 2 for u.
-1
Let i be (7965/1475)/((-6)/(-20)). Solve 3*q + 9 - i = -d, 32 = 5*q - 4*d for q.
4
Let y(f) = -2*f**3 - 12*f**2 + 10*f - 1. Let v be y(-7). Let h be 5/(0 - -1) + -24 + v. Solve -5*g + h = 3*t - t, -2*g + 4*t - 16 = 0 for g.
0
Let b = 28 - 14. Let o = b + -12. Solve 10 = o*k - x, -2*x + 15 = k + 2*k for k.
5
Suppose -3*y + 28 = -4*r, 4*y - 4*r - 20 = 3*y. Solve -4*o - 1 = 7, y*t + 18 = -o for t.
-4
Let d be 7 + -10 - ((-77)/14 + 7)*-6. Solve 0 = m - d*o + 3*o - 7, 2*o + 2 = -2*m for m.
1
Let t(z) = -3*z - 97. Let n(s) = 1. Let i(h) = n(h) - t(h). Let u be i(-31). Solve 10 = w + 2*p, 5*w - 8 = u*p - 3 for w.
4
Let n = -19 - -28. Suppose 14*h - 11*h = n. Let w be (h/(-2))/((-1)/2). Solve -w*a - 2*a = -3*v, a = 4*v - 17 for a.
3
Let x(s) = 4*s**2 - 43*s - 27. Let t be x(12). Suppose -15*d = -t - 12. Solve -2*r - 4*p + d = -3, p = 5*r + 18 for r.
-3
Let n(z) = z**3 + 21*z**2 + 21*z + 20. Let u be n(-20). Let y be 15/(-30) - (-38)/4. Solve -r - s = y, u*r = -r + 5*s + 15 for r.
-5
Suppose -16*x + 20*x = 0. Suppose x = -3*i - 3, i = -l + 4*l - 25. Solve 0*f = 2*f - 8, -m - 3*f + l = 0 for m.
-4
Let p = 5947 - 5947. Solve 4*b - 5*x = -13, 3*b + 7*x - 5*x - 19 = p for b.
3
Suppose 5*d + 86 = -11*z + 14*z, -90 = -5*z - 5*d. Solve 0 = k + b + 4, 0 = 5*k - 2*b - z + 14 for k.
0
Suppose 0*n - 4*u = -2*n - 12, 3*u - 20 = -4*n. Suppose -6*i - 13 = -4*f - 5*i, n*f - 5*i = -7. Solve -5*d + 3*d - 4*a + f = 0, 3*d + 2*a = -2 for d.
-2
Suppose -364 = -4*m + 4*g, m + 371 = 5*m + 3*g. Suppose -113 = -7*v - m. Solve c - 3*b = -9, -v*c + 4*b = 9*b - 15 for c.
0
Suppose 2*m = 7*m - 15. Let a be (21 + (-1 - -4))*m/(-6). Let d(x) = -x**3 - 10*x**2 + 25*x + 16. Let n be d(a). Solve 32 = 4*i - 0*i + n*k, 2*k = 10 for i.
3
Let m be 4491/(-27) - (-2 - (-24)/9). Let q = -163 - m. Solve q*a + 5*x = -0*a - 24, 0 = 2*a + 3*x + 14 for a.
-1
Suppose 2154 - 1484 = 67*q. Solve -h + 2*j - 6 = 0, 17*h - j + q = 13*h for h.
-2
Let a = -30219 + 30247. Solve -3*v = -a*m + 31*m - 9, m + 2*v = 7 for m.
-1
Let t(o) = -3*o**2 + 2*o + 3. Let i be t(-2). Let v be (-4)/((-8)/42) - 3. Let y = v + i. Solve y*p - 4 = 4*x, 0 = x + 4*x + 5*p - 40 for x.
4
Suppose 17 = 32*a - 36 - 11. Solve -2*s + 2 = a*d, -7 = -s - d + 3*d for s.
3
Let a = -6 + -1. Let o(q) be the third derivative of -q**4/24 - q**3 + 32*q**2. Let r be o(a). Solve -3*n - 3 + r = -2*c, c - 2*n = 0 for c.
4
Let w(m) = -m**3 + 4*m**2 + 20*m - 3. Let k be w(7). Let l(f) = f**3 + 8*f**2 - 19*f + 14. Let j be l(k). Solve 4*g + 2*z = 5*z + 17, 14 = j*g - 2*z for g.
2
Suppose -28*l + 27*l - 252 = 0. Let y be (l/(-210))/((-1)/(-20)). Solve -4*b - 5*v = 22, 5*v = -5*b - 1 - y for b.
-3
Suppose 5*w - 5 = 0, -4*f = 5*w + 9 + 2. Let d = f - -14. Suppose -d - 6 = -4*k. Solve 2*h - 3*y + 15 = 0, -h = 3*y - k*y + 6 for h.
-3
Suppose -60 = -39*z + 35*z + 4*g, 25 = 5*g. Suppose -18*y - 10 = -z*y. Solve y*u + 11 = -4*p, u = 3*p + 9 + 4 for u.
1
Let b(h) = 363*h**2 + 12*h + 13. Let j be b(-1). Let l = 370 - j. Solve -4*u - 21 = -3*q, 2*q + 3 = 3*u - l*u for q.
3
Suppose 50 + 46 = 3*a - 4*h, a + h - 18 = 0. Solve 0 = 2*p + g + 1, -5*g = -2*p + a - 19 for p.
0
Let u be (-54)/(-15) - -2 - (-18)/(-30). Suppose -5*h + 45 = -5*v, 3*h - u*v - 59 = -10*v. Solve 0 = 4*q + 4, 2*o + o + 2*q = h for o.
5
Let b be (-1)/2*-270 - 1*3. Let r = b - 188. Let j = r + 61. Solve i - 2*i + 2*m - 2 = 0, 2*i = -j*m - 13 for i.
-4
Let n be 1/(-5) - (16/(-5) + 3). Suppose n = 4*s - v - 3*v - 316, -2 = 2*v. Suppose -84*b + 24 = -s*b. Solve -4*q = q - b*a - 1, -3*q - 3*a = -6 for q.
1
Let o be 9 - 29/3 - (-4)/((-24)/(-46)). Solve -27*a + o = 2*c - 26*a, 16 = 5*c + a for c.
3
Suppose 2*a + 7*a = 27. Suppose -5*x - 3*k + 1 + 9 = 0, -5*x + a*k + 10 = 0. Let w be ((-4)/(-6))/(2/9). Solve w*p - v + 5 = 0, -3*p - v = x*p + 11 for p.
-2
Suppose -12 + 7 = 5*j, 5*j + 22 = d. Solve 0 = 13*s - d*s + 3*r - 5, -r = -5*s - 9 for s.
-2
Suppose -5*o + 1815 - 455 = 0. Let p be (-2)/6 + 1 - o/(-24). Solve q - w - 6 = 0, 6*q + 3*w = 3*q + p for q.
5
Suppose 11*l - 10 = 6*l. Suppose -3*s - 12 = -l*q, -4*q - 3*s - s = 16. Suppose 3*u = 7 - 1. Solve u*v + i = 5, v + 1 + q = 3*i for v.
2
Suppose -11*w = -14*w, w = -l. Suppose 13*b + 45 - 84 = l. Solve -9 = b*f, 4*h + f + 18 = -1 for h.
-4
Let o(z) = 17*z + 102. Let s be o(-6). Let 