*p + 4*k for p.
0
Let z(y) = -265*y - 792. Let d be z(-3). Suppose 0 = -0*u + 2*u - 12. Solve 4 = -t + d*n, u*n - 2*n - 8 = 0 for t.
2
Let l be (-4 - (-10)/4)*2276/(-6). Let f = -564 + l. Solve -y + f*j = y + 13, 5*j - 14 = y for y.
1
Let s = 1 - 7. Let w(a) = -a**2 - 8*a - 9. Let d be w(s). Suppose -3*x = -3*f + 3, -2194*f + 17 = x - 2192*f. Solve d*v - x = 1, 4*v = t + 5 for t.
3
Suppose 3*r + 16 - 40 = 0. Let b be r/(-16) - (-2)/4. Suppose 5*s - p = 1, -3*s + 4*s - 4*p - 4 = b. Solve s = -3*o - 5*g + 6 + 6, -o + 4*g = -4 for o.
4
Suppose 4*a - 20 = c, 16 - 50 = -5*a - c. Suppose j + 20 = -5*h, -2*h - a = j - 1. Solve 0*s + j*p + 7 = 2*s, -s - 4*p - 16 = 0 for s.
-4
Let x(m) = -10*m + 62. Suppose -5*z + 6*z + 3*k = -6, -z = 4*k + 10. Let j be x(z). Solve 0 = c - 2*s + j, 3*c + 13 = 3*s + 10 for c.
0
Let b(t) = 3*t**2 + 299*t - 298. Let h be b(1). Solve -2*n + 4*r - 2 = -20, h*r = -16 for n.
1
Let f be (3/(-4))/((-10)/40). Solve -5*a - 22 = 4*r, f*r + 15 = -2*a - a for r.
-3
Let n = 62 + -55. Suppose -34 = -n*c + 1. Solve 0*w + i - 25 = -c*w, -2*w - 2 = -2*i for w.
4
Let d(i) = -13*i - 11. Let c be d(-1). Suppose -13*a + 12*a + c = 0. Solve -5*t + a*t = 0, 10 = -2*l - 3*t for l.
-5
Let a(b) = 281*b + 1689. Let l be a(-6). Solve 5*c - l*s = 14, 5*c - s = 15 - 7 for c.
1
Suppose 15*a - 4 = 19*a, 0 = b - 2*a - 2. Solve b = -5*u - 5, 14 = -8*h + 5*h + u for h.
-5
Let f = -18690 - -18717. Solve -l = -4*o - 9 + 37, -o = 4*l + f for l.
-8
Suppose 4*u + 22 - 123 - 27 = 0. Solve -27*l + 31*l - 4*p + u = 0, 0 = -3*l - 5*p for l.
-5
Suppose -3*g = -5*y + 994, -y - 37 = 4*g - 222. Suppose 4*w - 253 = -y. Solve -v + 23 = -10*u + 5*u, -4*u = -3*v + w for u.
-5
Suppose 24 = 462*q - 447*q - 21. Solve q*u + 9 = -8*z + 9*z, -12 = -4*z for u.
-2
Let g be (165/(-44))/(57/(-304)). Solve -10*o + 11*o + 5*l = g, -4*o = l - 23 for o.
5
Let o = -14638 + 14704. Solve o = 3*w + 57, 3*w = -3*v + 24 for v.
5
Let n(t) = t**2 + 22*t + 65. Let d be n(-19). Suppose d*y + 4 = 10*y. Solve -2*i - 4*h = -y, -4*i + 2 = -2*i + h for i.
1
Let s(p) = p**3 + 8*p**2 + p + 6. Let a be s(-8). Let i be (-12)/a + -1 + 1. Suppose 4*r + i - 6 = 0. Solve -4*w + r*w - q - 3 = 0, -10 = -2*q for w.
-2
Let p = 15340 + -15340. Solve -y - 5*x + 8 = p, -5*y + x - 6*x = 0 for y.
-2
Let b be (-332)/5 - 6/(-15). Let l = -63 - b. Suppose -3 = y - 5*h, 7*y + l*h = 2*y + 13. Solve -2*a - s - 3 = 0, -2*a - 1 = -y*s - 7 for a.
0
Let b be ((-108)/(-30))/(2/50). Let r = b - 85. Suppose -7*k + 20 = 4*g - r*k, -5*g = -k - 18. Solve -m - l - g = 0, 4*m = -l - 5 - 2 for m.
-1
Let m = 263 + -373. Let j = 111 + m. Suppose -4*v - 5*t - 3 = -j, 2*t - 2 = -3*v. Solve -7*o + 29 = -v*o + 2*r, 0 = -r + 2 for o.
5
Suppose 7 = -s + 31*q - 28*q, -3*q = s - 17. Solve s*u = -15, 5*u + 5 = 2*x - 0*u for x.
-5
Let m(w) = -12*w**3 - w**2 + 2*w + 6. Let s be m(-2). Suppose -h + s = h. Let o = 65 - h. Solve 2*l = -4*r + o, 0*r - 3*r = -5*l - 7 for r.
4
Let i be (413/(-14) - 4)*4/2. Let a = 71 + i. Suppose 3*f + 2*f - 5*d - 30 = 0, -a*f + 19 = d. Solve -2*o + 16 = -4*w, -f*w + o + 4*o = 15 for w.
-5
Let t = 15317 + -15312. Solve -3*d = 5*y + 18, -4*y + t*d - 9*d = 16 for y.
-3
Let j = 18 - 13. Let s be (-10)/3*3/(-5). Solve 3*c - j*w = -7, -c - 3*w - s*w + 11 = 0 for c.
1
Suppose -3*x - 18 = -4*x - 3*g, 3*x - 62 = -5*g. Let p = -20 + x. Suppose -q + 2*l + 2 = -3, p*l = -q - 1. Solve 5*v + 15 = -4*h, 0 = q*h - 6*v + v + 20 for h.
-5
Let k = 1467 - 1462. Solve 2*q - 12 = k*z, 5*z + 1 = -q - 23 for z.
-4
Let w = 38 - 38. Suppose -660*u + 659*u = w. Solve d = -3*v + 9, -v + 2*d + u*d + 10 = 0 for v.
4
Let c be (15 + (-3 - 12))/6. Solve -a = c, -j + 3*a - 1 + 4 = 0 for j.
3
Suppose 5*a - 10 = 2*f, 15 = a - f + 13. Solve 0 = a*h + 2*v - 2, -10*h = -7*h + 4*v + 1 for h.
5
Let l(m) = -7*m - 80. Let k be l(-19). Suppose 0 = -k*p + 65*p - 36. Solve p*y - 19 = -4*s + 6*y, 2*s - 2*y = 10 for s.
4
Let g be (5/15)/((-6)/(-90)). Suppose -20 = -5*p - o - 4*o, -4*p = -g*o + 20. Solve p*u + 3*u = 0, -4*h = -u for h.
0
Suppose 0 = 386*i - 388*i + 30. Let h be -5*(-12)/i + -3 + 2. Solve 2*q = -h*x - 10, 0*q + 3*q - 2 = 4*x for x.
-2
Let r(b) = -5*b**2 + 18*b + 64. Let m be r(-2). Solve 13*t + 2*j + m = 16*t, 3*t - 20 = -4*j for t.
4
Let j(d) = -d + 12. Let p be j(7). Suppose 30 = -3*g + 4*f + f, 2*g + 20 = 4*f. Let u be (-186)/g + 12/30. Solve 0 = 3*q - 12, c + 0*q - p*q + u = 0 for c.
1
Let x(m) = -m + 1. Let w be x(-2). Suppose 3*z = 24, -401*z - 12 = 5*t - 405*z. Solve -w*h - 26 = -t*g, 2*h + 5*g - 23 = -2 for h.
-2
Let i be (-1 + 6)/((-5 - 1)/(-6)). Suppose 84 = -i*d + 8*d. Suppose -2*j = -4*q - d, -2*j - 3*q = j - 15. Solve 8 = 4*y, -2*r + 3*y + 0 = j for r.
-1
Suppose -t = 3*t - 20. Suppose -13*f + 22 = t*s - 16*f, -3*s = -5*f - 10. Solve b + 2*q + 1 = -q, 17 = s*b + 4*q for b.
5
Let v = -2 - -19. Suppose 10*g = 8*g - 5*t - 2, t = 3*g - 31. Suppose a = 3*a - g*a. Solve 2*s + v = y + 4*y, a = -y - 2*s + 13 for y.
5
Let g be (-185)/(-45) + 1/(-9). Suppose -5*h + h + 0*h = 0. Suppose 5*b = 0, h = 8*c - 3*c - 5*b - 25. Solve 18 = g*x - 2*s, 29 - 12 = c*x + 3*s for x.
4
Let u = 433 - 381. Suppose -20*m - 6*m = -u. Solve -h - 4*n = -m - 8, 3*n = -4*h + 1 for h.
-2
Suppose 3*k + 6 = -3. Let j be (22*(-2)/(-154))/((-1)/35). Let c be 1/(j*(-5)/16 + k). Solve -3*o - 5*w + w - c = 0, 8 = 2*o - 4*w for o.
0
Suppose 4*l - h = 25, -19*h - 10 = 2*l - 15*h. Solve 4*j + f = 11, 10 = 9*j - l*j + 2*f for j.
3
Let z = 24568 - 24555. Solve 17*c - 12*c + z = -y, -c + 5 = 4*y for c.
-3
Let o be 100/4 + 1/(-1). Suppose 89*t - 10203 + 9847 = 0. Solve 4*b + 4*u - 18 = 5*u, -t*b + 4*u = -o for b.
4
Let s be 46 - (-50)/(-650)*598. Suppose -n = -5*f + n + 28, 3*f + 4 = -4*n. Suppose o = h - 6, f*h - 2*o = 4 + 14. Solve -i = s, i - 11 + h = -4*b for b.
2
Let k = 10 - 0. Let q = k - 11. Let p be (-1 + -1)/q*(-102)/(-68). Solve 0*m = 3*m, -5*m = -p*h + 6 for h.
2
Suppose 30 = -4*p - 1408*s + 1413*s, 3*p + 12 = 2*s. Let t(h) = h**3 - h**2 - 4. Let d be t(3). Solve p = -5*i + 2*n - d, -i = 2*i - 5*n - 3 for i.
-4
Let j(u) = 2*u**2 - 40*u + 179. Let x be j(15). Solve 2 = -2*i, 0 = y - 24*i + x*i + 4 for y.
1
Let r be (9/12)/(3/72). Suppose -3*o - r = -24. Suppose o*z = -3*z + 130. Solve -2*j = -5*v - z, 3*v + 5 + 7 = 0 for j.
3
Suppose 62*p - 7119 = -277*p. Solve -4*i + 20 = -4*t, -6*i + p = -3*i - 5*t for i.
2
Suppose -4*y - 975 = 357. Let d = -315 - y. Solve -4*v = 2*u - 5*u - d, 2*u = -4*v + 8 for v.
3
Let s = 10 + 3. Let l be (1/6 + s/(-26))*-63. Solve -5*y + 31 = -0*u - 2*u, 3*y = 2*u + l for y.
5
Suppose 3*k + 115 = 26*k. Solve 4*g + j - k = 4, 0 = -2*g - 5*j + 27 for g.
1
Let j = -2815 - -2821. Solve -c - 20 = -j*c - 5*r, -5*c - r = -24 for c.
5
Suppose -15*f + 440 + 1675 = 0. Let r = 157 - f. Solve -3*u = -o - r, -2*u - o + 12 = -2*o for u.
4
Let n = -10 - -16. Suppose 20 + 16 = n*z. Suppose -6 = -3*v + 4*x - 14, 3*x = -5*v + z. Solve v = -4*l + 2*w - 8, -4 = 7*l - 2*l - w for l.
0
Let m(k) = -k**3 - 30*k**2 - 168*k - 129. Let a be m(-23). Solve -a*w + 3*t = -37*w - 6, 4*w = -2*t - 6 for w.
-3
Let z(k) = -12*k**2 + 61*k + 7. Let u be z(5). Solve -9*v + 8*v - 11 = -4*f, 4*f = u for v.
1
Let r(o) = 10*o**2 - 22*o + 6. Let p be r(2). Solve z - 41 = -4*l - 4*z, p = -2*l + 2*z for l.
4
Let w = 18 + -300. Let s = -280 - w. Solve -z - 19 = 4*z - 4*b, s*z + 4*b = -2 for z.
-3
Let m(l) = 26*l**2 + 7*l + 4. Let z be m(4). Suppose 6*j - z = -8*j. Let s = 36 - j. Solve -3*o + s*g = 4 - 15, o - 2*g = 5 for o.
1
Let a be 2/6 + 5 + (-477)/(-27) + -8. Solve -4*r = -8*r - 12, a = 3*t - 4*r for t.
1
Suppose 10*k = 294 - 244. Solve -k*h - 2*r - 5 = 5, 2*h - 17 = -5*r for h.
-4
Suppose -81*t - 53*t = -670. Solve 8 = 4*s + g - t, 2*s + 4*g = 10 for s.
3
Let k(z) = 5*z**2 - 11*z + 4. Let u be k(2). Let y be (-4 - -3)/(3/2 - u). Solve 4*r = -4*s - 12, y*s - 2*r = -r + 9 for s.
2
Let h(a) = 2*a**2 + 36*a + 69. Let r be h(-2). Solve 3*v + 4*f - 4 = 0, -2*f - 17 = -r*v + 7 for v.
4
Let v = -291805 - -291819. Let b be 10 - (1 - 2)*-2. Solve 0*r = 2*r - b, s + 4*r = v for s.
-2
Let o(w) = w**2 + 4*w + 6. Let u be o(-4). Suppose -u + 25 = 2*z + h, -5*z = -4*h - 41. Let y = -12 - -21. Solve 5*i + 5*k = z + 6, i = 2*k + y for i.
5
Let b = -132 + -138. Let g = -266 - b. Solve -4*f - 16 = -g*c, 0 =