1 = -10*a for l.
-3
Suppose -4*d + 43*s - 39*s + 4 = 0, 0 = 4*d + 4*s - 60. Solve -d*o = -5*o + 9, 5*h - o - 23 = 0 for h.
4
Suppose 4*p = 6*p - 6. Let l(i) = 3*i + 223. Let q be l(-33). Suppose -16*f + 124 - q = 0. Solve f = 5*k - p*r, r + 2 + 18 = -5*k for k.
-3
Suppose 0 = 2*m - 3*c - 1777, 8*m - 6*m - 1802 = -2*c. Let p = m - 892. Solve -2*a + 2 = 4*v + 6, 0 = p*v - 2*a - 12 for v.
1
Let q = -220 - -208. Let t be (-6 - q) + -9 + 3. Solve -3*f = -f - d + 12, t = -5*f + 4*d - 33 for f.
-5
Let s = 793 + -740. Suppose 3*v - s = q, 3*q + 31 = v + 6*q. Solve 0 = -c + 5*h - v, -h - 3*h + 13 = -3*c for c.
1
Let g(b) = -b**3 + 26*b**2 + 11*b + 42. Let h be g(27). Let v = h - -398. Solve -13 = -q - 5*l, 2*q + 2*l - v = l for q.
3
Let y = -80 + 12. Let v = y - 25. Let m = 95 + v. Solve -10 = 2*n, -5 = b + 3*n - m*n for b.
0
Let u = 222 + -331. Let l = 155 + u. Let i = l - 41. Solve -a + 3*t - 2 = 0, i*a - 2*t + 3 - 6 = 0 for a.
1
Let k(v) = -7*v**2 + v**3 + 19*v**2 - 11*v + 46 - 13*v**2 - 3*v**2. Let d be k(4). Solve 4*i - 5*a + 10 = -6, 4*a = d*i + 14 for i.
1
Let l be 7 + (-32 - -18) + 82. Solve -4 = g + k, -79*k - 7 = -5*g - l*k for g.
-1
Let x(w) = 4*w - 4. Let m be x(3). Suppose 89 = m*l - 47. Let u = 19 - l. Solve u*h = o + 4*h + 10, h = -o - 7 for o.
-4
Let t be ((-476)/(-153)*(-12)/(-14))/(2/3). Solve -t*y + y - 3*f - 12 = 0, 5*y - 5*f = -30 for y.
-5
Suppose 4*s - 5 = 3. Let h = 1340 + -671. Let q = 679 - h. Solve 2*t = -s*j - j - 7, -3*t - 4*j - q = 0 for t.
-2
Suppose 1580 - 1844 = -33*p. Solve 129*g + 3 = n + 128*g, 2*n - g = p for n.
5
Let d be (-9)/(-3 - (-45)/(-30)). Solve 0 = 2*k - 5*q + 5, -5*k + d*q + 37 = 6*q for k.
5
Let t = 359 - 314. Suppose -t - 31 = -19*o. Solve 0*q - 2*q - 4*d = 18, -o*d = -4*q - 12 for q.
-5
Suppose 0 = -109*f + 124*f - 45. Solve -f = -5*x + r, 4*x - 4*r - 15 = -3 for x.
0
Let g(a) = 3*a + 138. Let o be g(-31). Suppose 362 = o*y - 538. Solve p + 2*c - 20 = -4*p, 5*p - 5*c - y = 0 for p.
4
Suppose 0 = 3*u - 15, -5*n + 3*u + 25 = 7*u. Suppose -5*r - 13 = 2*g, -2*r - 3 = 3*g - 0. Suppose -w - g = -n. Solve 2*b + 15 = p, 0 = p - w*p + 3*b + 10 for p.
5
Suppose -30 = -2*z - j + 6*j, 0 = -2*z + 3*j + 22. Let g = -5918 + 5920. Solve -5*y = 3*k - 29, 3 - g = -z*k + 4*y for k.
3
Let t(r) be the second derivative of r**4/4 - r**2 + 13*r. Let c be t(2). Suppose c*i + 51 - 151 = 0. Solve -4*h + 15 = -p, 3*h + h - 2*p = i for h.
5
Let o(a) = -11*a + 246. Let s be o(-14). Suppose -3*n + 415 = s. Solve 0 = 7*q - 3*q + n*x - 33, 2*q + 6 = 2*x for q.
2
Let k(j) = -2*j**2 + 26*j + 34. Let u be k(14). Let o be (-28)/u*36/(-42). Solve -4*v = o*l - l + 26, -3*v = 3*l + 21 for v.
-5
Let x(q) = -10*q**2 - 19*q - 4. Let a be x(-1). Solve 0 = 10*p - 6*p + 5*g + 31, -5*g + 5 = -a*p for p.
-4
Suppose -44*c + 3091 = 237*c. Solve c = -2*s - 3*t, 1 = 3*s + 2*t + 5 for s.
2
Let n be (2 + -2)/(-135 - -128). Solve n*r = 3*t - r - 10, -3*t = r - 20 for t.
5
Let n = 137 - 121. Suppose n*u - 4*u - 6*u = 0. Solve u = k + k - 2, 0 = 5*v - k + 16 for v.
-3
Let k(h) = 4*h**2 - 8*h - 9. Let c be k(-1). Suppose 8 - 8 = -c*a. Solve l = -2*s + 1, a = -2*s - 3*l - 2*l + 5 for s.
0
Let x = 2933 + -2932. Solve -2*r - 18 = 5*p - x, -5*r - 2*p = 11 for r.
-1
Suppose 95*s = 108 + 82. Solve 5*w = 3*i - 25, 74*w = -s*i + 73*w - 5 for i.
0
Let s(r) = r**3 + 10*r**2 - 8*r + 38. Let l be s(-11). Solve 0 = 5*i + 5*q + 25, -26*i = -25*i + 2*q + l for i.
-5
Let r = -270 + -22. Let b = 294 + r. Solve 3*u + 0*n = 4*n + 14, -n = -b*u + 1 for u.
-2
Let l(d) = -10*d + 78. Let v be l(-8). Let z = -153 + v. Let w(a) = -a**3 - 7*a**2 + a + 10. Let u be w(-7). Solve u*i + z*f - 6 = 0, 4*i + 5*f - 3 = 5 for i.
2
Let k(g) = -g**3 + 10*g**2 - 34*g - 3. Let y be k(7). Let m = -94 - y. Suppose 8 = 2*x + 2. Solve -2*b = -m*b + 3*t + 1, x*b + t = 9 for b.
4
Let y be (-28)/70*((-16)/2 - 2). Suppose 2*w = 3*c + 27, 9 = y*w + c + 2*c. Solve -2*s - w = 4*z, 4*s - 21 = 5*z - 7 for s.
1
Suppose -4*a + r + 8 = 0, 2*a = -3*r + 193 - 203. Solve 2*x - c = a, -8*x + 6*x - 3*c - 11 = 0 for x.
-1
Let f(v) = -7*v**2 - 5*v + 8. Let b be f(4). Let t = -117 - b. Let z = -29 + 49. Solve 4*s - z = -s, 3*s - t = y for y.
5
Suppose 15*q = 94 + 26. Suppose -7*g + q = -13. Solve 0 = -2*k - 8, j - 10 = 2*j + g*k for j.
2
Suppose 39*o = 40*o. Suppose -5*b - 20 = h - o*b, -4*b - 16 = 4*h. Solve -2*n + 4*p - 8 = 0, -3*n - 3*p + h*p = -24 for n.
4
Let p(g) = g + 2. Let a be p(4). Suppose 6 = 4*m - 2*q, 3*q = 7*m - 3*m - 9. Solve -v - b + 2 = 0, 4*v + 3*b + m = a for v.
0
Suppose -8*h - 33 = -1. Let j be (h/11)/(3/(-33)). Solve j*l + 15 = -0*f + f, f - 2*l - 7 = 0 for f.
-1
Suppose -79 + 22 = -12*n + 171. Solve a + 4*l + n = 0, -6*a = 2*l - 1 + 5 for a.
1
Let m(f) = -11*f + 91. Let s be m(8). Let b(i) = -i**3 + 4*i**2 - 2*i - 1. Let j be b(s). Solve o + 12 = 2*l - o, -j*l - 6 = 4*o for l.
3
Suppose 4*w - 3*r - 1 + 7 = 0, 0 = 3*r - 6. Suppose 25 = -a + 4*j, -4 = -2*j + j. Let t be (a + -1)*(-10)/4. Solve -4*b = -4*m - 4, m + 5*b = -w*m - t for m.
-5
Suppose 39*q = 36 + 81. Solve -w + 15 = q*m, m - w - 3*w = 5 for m.
5
Suppose 0 = 66*m + 449 - 713. Solve -33 = 54*x - 51*x + 5*i, m*i + 24 = -2*x for x.
-6
Let n(m) = -2*m**2 + 5*m - 13. Let g(i) = i**2 - 5*i + 12. Let u(k) = -3*g(k) - 2*n(k). Let h be u(-7). Solve 2*j - 2 = h*t - 4, j = 1 for t.
1
Let g be (3 + 2 + -4)/((-1)/6). Let b be 469/91 + (-7)/((-273)/g). Solve -2*h - 18 = 4*m - 0*m, -b*h = 4*m + 21 for m.
-4
Suppose -42*p = -5*p - 185. Let c(q) = -9*q**3 - 2*q**2 - q - 2. Let a be c(-1). Solve -u = -p*u - 2*n, u + 2*n = -a for u.
2
Let g = 996 + -629. Suppose -g = 6*r + 101. Let h be (-144)/r - 2/(-13). Solve d - 4*a - 3 = -h*d, -3*d + a + 3 = 0 for d.
1
Suppose 25 = 5*s + 5. Let z = 153 - 127. Suppose -23 = -7*a + z. Solve 0 = -5*f - s*x + 23 + a, -4*f + 4*x - 12 = 0 for f.
2
Suppose -20*x = -25*x + y + 34, y - 14 = -x. Let v be 1 + -3 + (0 - -7). Suppose z = 2*z - 3*a, 4*z = v*a. Solve z = -4*r - 2*j + 6, -r = -3*j + x*j + 21 for r.
4
Suppose -4*t + 244 = -2*l, t = -5*l + 2*t - 646. Let v = 136 + l. Let m = -66 + 69. Solve 4*x + 2*k = v*k - 28, -k + m = 0 for x.
-4
Suppose 0 = 101*l + 5589 - 5993. Solve -2*v + 33*j = 29*j + l, -4*v + 7 = -3*j for v.
4
Suppose -1 = 2*q + 1. Let u(w) = -15*w - 3. Let m be u(-1). Let x be ((-4)/m)/(q/6). Solve 2*a + x = -i - 0, -4*i - 8 = -4*a for i.
-2
Suppose -62*y + 744 = 31*y. Solve -2*b = y*s - 6*s + 2, 10 = 5*b for s.
-3
Let v = -67 - -110. Suppose -v = -5*h - 33. Solve 21 = 5*j - x, 0*x - 22 = -h*j - 3*x for j.
5
Suppose 0 = 12*i - 61 + 37. Suppose -15 = 3*v, i*j + 25*v - 30*v = 31. Solve 0 = 3*u - 6*u + 2*n - j, 0 = 4*n + 12 for u.
-3
Let x(r) = -r**2 + 19*r - 15. Let a be x(18). Let j(v) = -v**3 + 18*v**2 - 24*v - 128. Let n be j(16). Solve -9 = -2*m + s, -7 = -n*m - 2*m + a*s for m.
5
Let r = -17108 - -17108. Solve r = -3*d + 9*w - 11*w + 9, d = -5*w + 16 for d.
1
Suppose 35 - 24 = 3*n + 5*w, 4*n = 2*w + 6. Solve n*u + 5*j = -u - 26, -8 = 2*j for u.
-2
Let w(o) = -4*o**2 - 75*o + 33. Let r be w(0). Solve -2*q = -t + 3*q - 21, 5*q - r = -2*t for t.
4
Suppose 2*v - 6*v + 4*t + 16 = 0, 3*v - 14 = 5*t. Solve v = -a - h, -5*a + h - 22 = -h for a.
-4
Let z = 1841 + -1836. Solve -z*p - 4*q = 45, p - 4*q - 20 + 5 = 0 for p.
-5
Let l(y) = 3*y**2 - 6*y. Let g be l(2). Suppose 6*a - 82 + 64 = g. Solve i + k - 2 = 0, -k - a*k = -4*i + 16 for i.
3
Let t(d) = -d**3 + 11*d**2 - 13*d + 16. Let z be t(10). Let v be z/2*(-2)/7. Solve -5*x = 5 - 0, g + 5 = -v*x for g.
-3
Let u(h) = -h**2 + 18*h - 10. Let y be u(17). Suppose -y*q = -24 - 4. Solve -4*c - 4*a = -24, a + 2*a = -q*c + 22 for c.
4
Let n be -4 - (-159 + -6) - 6. Suppose -5*j = 5*i - n, 4*i + 5*j - 28 = 95. Solve 4*p + 0*p - t = -20, -5*t + i = -3*p for p.
-4
Let p(j) = j**2 + 35*j + 286. Let i be p(-22). Solve i = q - 4*m + 5, m = -5*q - 24 - 1 for q.
-5
Let x = -12485 - -12487. Solve -x*q - 16 = -f - f, -3*f + 5*q = -30 for f.
5
Let h be 15 - 140/(2 + 12). Solve 2*j = 3*s - h, s - 2*j - 54 + 55 = 0 for s.
3
Suppose -12*m = -9*m + 141. Let f = m + 47. Solve -5*q - x = -11, 2*q + x + 3*x + 10 = f for q.
3
Let o be 0 + 5 - (7 - (266 + -6)). Let p = -256 + o. Solve 0 = -2*l - 4*c - 14, -p = c - 1 for l.
-5
Suppose 2*v + 2 = 2*q, -14 = -2*v - 10*q + 8*q. Solve 3*o - 3 =