 2*a = -y + k for y.
-4
Suppose 6*k - 88 = 2*k. Suppose 0 = -3*t - 5*n - 100, -4*t + n = -0*n + 141. Let r be 78/15 + (-28)/t + -1. Solve -r*x + k = h, h = 3*x - 4*h - 2 for x.
4
Let r(k) = 2*k**2 + 18*k - 268. Let n be r(-17). Solve 4*d = n*w - 8, d = -6*w + 9*w for w.
-1
Suppose -5*v - 3*y = 2*y, -v + y = -8. Let f be ((-8)/12)/((-1)/6). Solve -v*n + 4 = -4*o, 2*n + o = -2*n + f for n.
1
Suppose 41*n = 4*y + 42*n - 15, 0 = -2*n - 10. Suppose 8*s - 6*s - 18 = -y*l, -10 = -5*l. Solve 2*b + 4*u + 12 = 6*b, 4*b + 12 = -s*u for b.
0
Let z = 103 - 100. Let i be (30/(-8))/((-30)/8 + z). Solve 0 = i*a + 3*x - 14, -4*a + 3*x = -4 - 18 for a.
4
Suppose 101*r = 107*r - 18. Suppose 2*v - r*n - 34 = 0, 2*v = -5*n + 3*n + 44. Solve 3*t - 7*t - 36 = -5*k, 4*k = t + v for t.
-4
Let l(k) = -3*k**2 + 7*k + 17. Let m(i) = i**2 - i + 1. Let w(f) = -l(f) - 2*m(f). Let a be w(-3). Solve -2*p = a*s + 2*p - 6, -4 = -3*s - 2*p for s.
2
Suppose -23493*n = -23484*n - 9. Solve 4 - 2 = -3*b - f, 3*b + 2*f = -n for b.
-1
Suppose w + h - 1 = -4, 15 = -4*w - 5*h. Solve -3*k - 5*i = w, k + 11 = -i + 3*i for k.
-5
Suppose 5*y - 3*a = 39, 6*a - 4*a = 4. Solve -3*p + u - 8 = 0, -y*u = -10*u + 5 for p.
-1
Let z(q) = 461*q + 1865. Let u be z(-4). Solve 3*k - 2*a - 3 + u = 0, -3*k + 4*a = 24 for k.
-4
Suppose 5*t = 4*o - 149, -2*t + 14 - 196 = -5*o. Suppose -d - 20 = -o. Solve -9 = 5*i + d, -3*i - 17 = 2*c for c.
-1
Let v be 42/6 - (0 + 0). Let t(u) = -u + 7. Let h be t(-2). Suppose n - h = v. Solve 3*s + n = -s, -5*i - s - 29 = 0 for i.
-5
Suppose -4*y + 6 = 3*o, 3*y = -4*o + 1 - 0. Suppose 0 = 31*u + 1 - 94. Solve -2*l - y*d = 13, u*d - 14 = l + 6*d for l.
1
Let p(o) = -4*o. Let j be p(-1). Let y be (-1)/(-4) + 19/4. Suppose -40 = -y*r + 2*r + 5*d, 4*r = 3*d + 35. Solve -c - z = -2, j*z - r = 2*c - 15 for c.
3
Suppose -3*q - 2*q - w = 800, 2*w = 5*q + 815. Let c = 167 + q. Solve -4*y + 4 = 0, -2*t - 4*y + c = -0*t for t.
1
Suppose -3*o + m = 344 - 859, o = -2*m + 167. Let f = o - 166. Solve -6 = -2*d + 2*y, -f*y - 9 = d - 0*d for d.
1
Suppose -19 = -5*m + 2*x, 4*x - 4 = -3*m - m. Suppose 0 = -33042*k + 33052*k. Solve k = g + g - m*h + 3, 3*g - 3*h = 0 for g.
3
Let u(a) = 3*a + 7*a - a**2 - 29*a - 42. Let m be u(-16). Solve -t - 4 = -3*n - m, -3*t = 3*n + 6 for t.
-1
Let q be ((-156)/(-15) - 2)/((-24)/(-320)). Let p be 16/q - (-186)/21. Suppose -3*o + 15 = 2*o. Solve -u - 4*d + p = d, o*u - 4*d + 11 = 0 for u.
-1
Let c be -2*(17/(-6) + 153/459). Solve -4*r + 137*q - 134*q + 18 = 0, -q = -c*r + 17 for r.
3
Let z be ((-18)/8 + 3)/(-6*5/(-80)). Solve 3*i + 0*i - z*k = -3, 0 = 2*i + 2*k + 12 for i.
-3
Let f be (-45)/(675/(-30)) + 3. Solve 0 = -h - 4*n + 33, n = -f*h - 2 - 4 for h.
-3
Let m(z) = -z**3 + 12*z**2 - 4*z + 60. Let y be m(12). Solve -3*k + 4*q - 7 = -2*k, 0 = 4*k + 4*q - y for k.
1
Let l = -7310 + 7315. Solve 0 = 3*p - i + 12, -3*p - l*i = 7 - 13 for p.
-3
Suppose k + 0*h - 3*h - 16 = 0, 2*k - 3*h = 20. Let i be 20/8 - k/((-16)/10). Solve 4*d - 2*n = 34 - 6, 3*n = -i*d + 13 for d.
5
Let z = -1113 - -1116. Solve 0 = 3*x + 2*w - 8, z*x + 7*w = 11*w + 2 for x.
2
Let g be (-62)/93 - 1758/(-18). Solve 100*p - g*p = 9, -5*m + p = 23 for m.
-4
Suppose 4*t = 9*t. Suppose t = -5*o - 3*z - 25, -6*z = 2*o - 3*z + 10. Let j be (-20)/(-4)*(-2)/o. Solve -x = -3*v + 2*v + j, -2*x = 2 for v.
1
Let r(l) = -3099*l - 3097. Let i be r(-1). Solve v + 21*t = 23*t - 3, -5*t = -i*v - 7 for v.
-1
Let q = -23172 - -23180. Solve 0 = 2*i - 12*z + 10*z - q, 5*z - 10 = -i for i.
5
Let g = -91 + 278. Suppose 0 = 3*i + 5*l + g + 179, 0 = -3*l - 9. Let u = i + 135. Solve -3*b - 2*j + u = -0*b, b + j = 7 for b.
4
Suppose 20*i + 140 = -15*i. Let r be 0/(i + 49/7). Solve 3*w - 4*b + 8 = r, 5 = -5*w + 2*b + 3*b for w.
4
Let c be -2 - (-1)/(2*(-3 + 65/20)). Solve -5*a = c, a + 12 = 4*x - 3*a for x.
3
Suppose 514*t = 487*t + 324. Let f be (-2*1)/(2/(-2)). Solve -g + 3 = -4*s, 4*g - f*s - t = -0*s for g.
3
Suppose -4*j + 20 = 4*x, -47 = -2*x - 55. Solve -2*q + j = -0*q - l, 0 = q + 3*l - 1 for q.
4
Suppose -5*z - 181 = q + 107, -5*q + z = 1570. Let c = q + 315. Solve -b + 7 = -a - 3*b, 3*a = c*b + 11 for a.
1
Let f = 23 + -17. Let a = 12 - f. Suppose 10 = -4*q + a*q. Solve g - 1 = 2*g + m, q*g + 13 = 3*m for g.
-2
Suppose 21*t - 20*t = -9*t. Let g be -15*6/(-15) + (t - 4). Suppose -3*l + 10 = -2. Solve -g*d - m + 7 = -4, l*d + m = 17 for d.
3
Let h(k) = -3*k**2 - 16*k. Let q be h(-6). Let a be (-45 - 0)*(q/(-18))/(-2). Let n be (-1 - -2)/(0 + 3/a). Solve n*f + 10 = -y + 38, 2*y + 4 = 2*f for y.
3
Let q(b) = 84*b - 239. Let y be q(8). Let g = 439 - y. Solve g = -4*s - 2, -14 = -4*i + 3*s for i.
2
Suppose -4*f + 0*f - 4 = 0, 506 = -3*v + f. Let l be (-2561)/v + 2/(-13). Let q be 26/9 - l/(-135). Solve 0 = i - p + 6 - q, -4*i - 28 = 4*p for i.
-5
Let p(d) = d**2 + 7*d + 9. Let m be p(-6). Let w be (-10*10/(-100))/(1/10). Solve -2*a - w = k + k, -2*a + m*k = -5 for a.
-2
Let a(v) = 12*v**3 - 2*v**2 + v. Let n be a(1). Suppose n*f = 4*f - f. Solve 5*b - 30 = -3*h, h + f*h + 3*b - 14 = 0 for h.
5
Suppose 0 = -2*s - 2, -5*f + 5*s - 91 = -3*f. Let l = 58 + f. Let y be (44/8 - 3)*2. Solve y*i = -2*h - 16, -l - 4 = 4*h + i for h.
-3
Suppose 1715*i + 35 = 1722*i. Let x(w) = w**2 - 6*w - 9. Let d be x(8). Suppose -2*s + d*s = 0. Solve -4*p = j - 2*j + i, s = -j - 4*p + 5 for j.
5
Let y = -487 - -496. Let p(t) = -t**3 - 3*t**2 - t - 3. Let r be p(-3). Suppose r = 4*l - l - y, -5*l + 6 = -3*o. Solve 2*a + 2*h + 8 = 0, o*a - 4*h = -a for a.
-2
Suppose 0 = -m - 4*d - 20 - 0, -2*m + 25 = -5*d. Let l = 3 - m. Suppose 61 + 16 = 11*n. Solve u + n = 3*o - l, -u - o = 2 for u.
-4
Let u(b) = 5*b**3 - 50*b**2 + 2*b + 4. Let s be u(10). Suppose 3*c + 4*a - 20 = 0, -4*c = 8*a - 4*a - s. Solve 5*k - c*x - 37 = 0, -3*k + 5*x + 25 = -k for k.
5
Suppose -y + 75*r - 78*r = -32, -3*y + 3*r = -96. Solve -4*q - y = -4*u, 10 = -5*u + q - 6*q for u.
3
Let u = 1543 - 1540. Suppose -2 = m - 5. Solve 0 = 3*s - 9, -u*f + m*s - 21 = -0*f for f.
-4
Suppose 14 = 1237*t - 1223*t. Let m = -3 - -3. Let o be m + t/((-2)/(-8)) - 2. Solve 5*z = o*r + 16, -3 + 4 = -z - r for z.
2
Let g be 18/45 + (336/(-35))/(-6). Solve -g*l + 5*j - 7*j = 6, 4*j + 4 = 0 for l.
-2
Suppose -37*r = -32*r - 55. Suppose -r*h + 31 = -2. Solve 0 = -3*o + h, -3*u - 13 = -7*u - 5*o for u.
2
Let m(t) = t**2 + 33*t - 44. Let i be m(-29). Let a = i - -162. Solve 0 = -5*c + a*r - 19, -2*c = 2*r - 2 + 4 for c.
-3
Suppose -18*m = 1965 + 2805. Let x = m - -270. Let g be (-2 - 22/(-4))*2. Solve -2*p = 2*v - v - g, 0 = 2*v - 5*p - x for v.
5
Let h be (-4)/(-11) - 6216/154. Let o = h - -43. Solve z + 4*i = -2*z + 11, 5*i = -o*z + 10 for z.
5
Suppose -r = u - 8, 3*u - 5*u - 2 = -r. Suppose -27 = z - r. Let g = z - -31. Solve -5*w + t = -10, 0 = 3*w - 5*t + g + 6 for w.
3
Suppose 46*o - 73*o = 81. Let f(c) = -c**3 - 4*c**2 - 7*c + 6. Let t be f(o). Solve 4*y + j = -0*y - t, 0 = -y - 3*j - 10 for y.
-4
Let m(b) = 6*b**3 - 3*b**2. Let n be m(2). Let r = 1287 + -1287. Suppose -4*q + n = k, -k + q + 21 = -r*k. Solve 0 = h + 5*a - 0*a + k, 0 = 3*a + 12 for h.
-4
Let i be 1 + (-7)/(63/(-6)) + (-15)/9. Let d = -3 - -3. Let g be (d + 3/(-9))*-6. Solve t + 17 = 4*m, t - 1 = -g*m - i*m for t.
-5
Let t be (1 - -1)/(710/(-60) + 12). Solve 0 = 4*j - 5*j - s, s - t = 3*j for j.
-3
Suppose 6 = 3*s - 0*s. Suppose -63*i = -61*i - 238. Let o = -111 + i. Solve -2*r = -4*z + 20, -3*z = -s*z - 2*r - o for z.
4
Suppose -41*n + 91*n = 250. Solve -3*s + 28 - 21 = t, -n*s = -20 for t.
-5
Suppose 2*j - 68 = -2*j. Suppose 77 = 5*m - 13. Let o(h) = h**3 - 17*h**2 - 19*h + 32. Let w be o(m). Solve i + 4*a = w, -2*i - 5*a = -j + 1 for i.
-2
Let q be (2 - 6/10) + (-552)/(-920). Solve 0 = -q*p + 2, -5*p + 9 = 2*a + 2*a for a.
1
Let v be ((-56)/140)/(1/(-10)). Let q(o) = 2*o + 22. Let w be q(-10). Solve w*m = v*i + i - 35, -m - i = 0 for m.
-5
Let b be ((-2079)/121 - -21) + (-4)/(-22). Solve -6*t = -b*t + 4*p + 6, 5*t + 2*p + 15 = 0 for t.
-3
Let n = 121925 + -121923. Suppose -2*d + 0*i + 8 = i, -5*d - 3*i + 19 = 0. Solve n*s = -5*j - d, -3*s + 0*s + 27 = -4*j for j.
-3
Suppose -186 = 4*w - 35*w. Let h be (1 - -2)/(3/4). Solve 0 = 2*r + 5*x - h + w, 0 = -5*x for r.
-1
Let n(g) = -g**2 - 7*g - 11. Let m be n(-7). Let s(q) = -