13 = 4*p + 1, y*p = 3*b - 16 for b.
2
Suppose -6*c + 51 = -c + a, 3*a = -c - 1. Let f = c - 9. Suppose 0 = -3*i + 4*o - 0*o + 6, 0 = -i - f*o + 2. Solve w + 5 = 4*v, 2*v - 3*w = i*w + 7 for v.
1
Suppose -36*l = -35*l - 2, -2*l + 84 = 5*v. Solve -14*q + i = -v*q + 6, 0 = 4*q + 3*i - 16 for q.
1
Let b(h) = -h**3 - 12*h**2 - 22*h - 4. Let l be b(-10). Suppose 2*x = 4*z - l, -3*x - 3*z = 2*z - 31. Solve -3*a - 5 = x*c, 2*c + 9 = -3*a - c for a.
1
Suppose 5*z = -2*l - 2 + 10, 4*l - 16 = -z. Suppose 0*o + 3*o - 123 = -l*h, -5*h - o = -140. Solve -5 = -q + 3*i + 12, 3*q - h = 3*i for q.
5
Let b be 13*(-1 + (-20)/(-4)). Let y be 40*8/b + (-4)/26. Suppose 4*p = 10 + y, 4*z - 28 = -3*p. Solve -3*i - 1 = -4*s, 0*i + 10 = s - z*i for s.
-2
Suppose -4*l = 4*a, -3*a + 5*a = -l. Suppose -5*v - 3*w + 8*w - 55 = l, 4*w - 20 = 0. Let d be v/3 - -3 - -7. Solve i = 2*j + 3*i, -i = -j + d for j.
4
Suppose 0 = 3*s + 2*a - 83, 18*a + 11 = 2*s + 13*a. Solve -5*t = -g - 19, -s = -t - 5*g + 10*g for t.
3
Suppose -4*z + 23 = 39. Let y be -2*(-2)/z*-1. Suppose -3 = -m + y. Solve 3*x = -q + 6, 2 = -5*q - 3*x - m for q.
-3
Suppose 2608 - 502 = -9*p. Let x = -210 - p. Solve 4*b + 5*f = 29, -6*f = -b - f - x for b.
1
Let r = 46 + -51. Let u be (10/r + (1 - 2))*-1. Solve -9 = -d + v, v - u - 4 = -3*d for d.
4
Suppose -n - n = -258. Let m be n/((24/2)/4). Suppose 0 = -l + m - 27. Solve 0 = 2*s + 4*r - 14, 2*s + 2*r - l = -2*s for s.
3
Let d = -1 - -5. Suppose -4*h = 4*y, -170*y - 35 = -172*y + 5*h. Solve d*l + 23 = 5*c, y*c - 5*l - 11 = 14 for c.
3
Let i be 93*1*2/6. Let q = -29 + i. Suppose 5 = -5*k, -4*k - 49 = -4*j + j. Solve -j = -4*p + 5*r, 3 = -p - q*r + r for p.
0
Suppose -236*b + 254*b = 18. Solve 2*h + 10 = -2*q, -2*q + 4*q = h - b for h.
-3
Let p be -6*22/(-6) - 1 - 4. Let l(r) = 2*r**2 - 32*r - 29. Let q be l(p). Solve -2*k + 0 = -g + 9, 0 = 5*g - q for k.
-4
Let w be (-56)/(-21) - 1 - 579/(-9). Suppose 67 - w = v. Let q(c) = c. Let h be q(3). Solve -5*t - 17 = f, 3*f - 2 = h*t + v for f.
-2
Let j(u) = -4*u - 1. Let z(r) = 58*r + 40. Let y(t) = -12*j(t) - z(t). Let a be y(-3). Solve -a*g - s = -4 + 16, 3*g + 4*s = -23 for g.
-5
Suppose 16 = -4*r + 4*f, -2*r - 3*r + f = 0. Suppose -r = -10*j + 139. Solve 2*c + 7*v + j = 3*v, -4 = 2*v for c.
-3
Suppose z = u - 4, 3*u - 18 + 14 = -z. Solve -3*j = 0, -j - u = -q + 2 for q.
4
Suppose -7*n - 185 = -213. Let w be ((-48)/(-216))/(n/54). Solve 12 + 4 = -r + 4*g, -3 = 3*r - w*g for r.
4
Suppose -29 + 4 = -5*y + 15. Solve -2*h - 2*n - 1 = -13, 2*h - y = -n for h.
2
Suppose 4*b - 26 = -6*u - 10, 4*u + 5*b = 13. Solve -4*f + 2*s = -6, u*s + 3*s + 27 = -2*f for f.
-1
Let o = -1685 + 1690. Solve 3*i - 1 = 2*z, 0 = -3*z + o*i - 3 + 2 for z.
-2
Let k = 4494 - 4471. Solve -k = 5*q + z, -14*q = -15*q + 4*z + 8 for q.
-4
Let j(n) = 8*n + 54. Let z(r) = 11*r + 78. Let k(t) = -7*j(t) + 5*z(t). Suppose 3*a + 2*a - 45 = 0. Let w be k(a). Solve -2*i = 0, 4*u - w - 1 = 5*i for u.
1
Suppose -6 = -4*a - 5*w, -1 = -5*a + 2*w + 23. Let s be 2/1 - ((-56)/(-2))/a. Let n be ((-6)/s)/((-6)/(-10)). Solve -f - n*b + 4 = -3*f, -f - 5*b = 14 for f.
-4
Let u be (9 + -5 + -3)*1 - -572. Let a = u + -555. Solve -o = -5*o + 2*z - a, 4*o + 4*z = 0 for o.
-3
Let v be 43/9 - (-6)/54*2. Suppose 4*w - 88 = -5*c + 2*w, -5 = v*w. Suppose 5*s = -q - c, 0 = 3*q + 3*s + 6. Solve -5*k - 2 = -5*u - 12, 2 = q*k - u for k.
0
Let i = 38 + -40. Let o(z) = -8*z - 11. Let c be o(i). Solve -c*h - 4*a = -5, -5 = 3*a - 4*a for h.
-3
Let q(b) = 6*b**2 + 2*b - 4. Let u be q(-5). Let v = u + -116. Solve -2*i = -5*c - 17, -8 = -4*c - v for i.
1
Let l be -66*-7*11/462. Solve 3*a + 2*o = -11, 64*a - 63*a - l = 3*o for a.
-1
Let n be (61 - 66) + 3*(-1 + 25). Suppose n = 2*l + 61. Solve 2*k - l*b + 6 = 0, -4 = -k + 4*b - 12 for k.
0
Let n be ((-1592)/(-995))/(4/(-10))*(-66)/8. Solve -15 = -46*a + 43*a, -4*i + 5*a = n for i.
-2
Suppose 18*j + 91 = 235. Solve -6*q + 14 = -j*q - 2*c, c = -3 for q.
-4
Let i be 4*15/(-40)*16/(-6). Suppose -3*t + 4*f = -17, -5*t + 7 = -i*f + 8*f. Solve -11 + t = -2*w, 0 = 2*o - 4*w + 14 for o.
1
Suppose -4*f = -2*r - 264, 3*r + 244 + 24 = 4*f. Suppose -v + 16 = -f. Suppose -4*k - v = -9*k. Solve -k = 5*z + 3*w, -z + 4*w + 10 = -2*z for z.
-2
Let b(v) = 8*v**2 + 47*v - 6. Suppose -22*x - 180 = 8*x. Let p be b(x). Solve -5*c - 8 = s, p*s - 5 = 2*c + s for c.
-1
Let d = 63 - 209. Let t be d/8 - (-30)/(-40). Let z = 21 + t. Solve 0 = -2*c + 4, 0*j + z*j = 3*c - 8 for j.
-1
Let c(o) = -o**3 + 7*o**2 - 9*o + 23. Let k(w) = 6*w - 25. Let v be k(5). Let l be c(v). Solve -8 = p - 2*d - d, 2*d = -5*p + l for p.
4
Let v be ((-22)/60 + (-84)/630)*4. Let p be (-11)/(55/v)*15/2. Solve 1 = -5*o - s + 4, -2*o - s + p = 0 for o.
0
Let y(n) be the first derivative of -n**3/3 - 17*n**2/2 + 5*n + 9. Let o be y(-17). Solve -o*j + 29 = -5*z - 6, -j + 3*z = -17 for j.
2
Suppose -17 + 74 = 46*k - 35. Let x(v) = -6*v - 5. Let i be x(-2). Solve -k*n + i = d + 1, 0 = -4*n + 2*d + 28 for n.
5
Let n(s) = 6*s + s + 2*s + 75 - 3*s. Let c be n(-12). Solve 4*l = 4*j - 7*j + 23, c*l + 4 = 2*j for l.
2
Let m(w) = 119*w**2 - 3*w. Let n be m(-1). Let z = -122 + n. Suppose -r + 5*d - 15 = 0, 9 = r - 0*r + d. Solve -4*l + r*v - 3*v - 12 = 0, z = -v for l.
-3
Suppose 0 = -30807*i + 30799*i + 40. Solve -4*y + 10 + 0 = -m, -i*y = 5*m for m.
-2
Let l(f) = -2*f**2 - 79*f + 2173. Let o be l(-58). Solve 0 = 4*s - 0*c + 5*c - 34, 0 = -3*s - 4*c + o for s.
1
Let t = -3026 + 3033. Suppose 0*w + 209 = 3*w + 4*s, 284 = 4*w + 4*s. Suppose 3*v + 0*v = w. Solve -3*k - t*z = -3*z - 15, -5*k + 5*z = -v for k.
5
Let v = -167 - -178. Suppose -51*q + v = -40*q. Solve 0 = -5*d - 3*r - 2*r - 15, -5*d - q = -2*r for d.
-1
Let n(g) = 2*g**2 + 7*g + 1. Let l be n(-4). Let v(q) = 2*q + 1 - 4*q + 3*q. Let k be v(-1). Solve 4*j = -3*p + l, k = -p + 4*j - 6*j + 3 for p.
-1
Suppose -276 = -18*r - 120*r. Solve -5*i + r*l - 3 = 8, 0 = -5*l - 10 for i.
-3
Let d(k) = -112*k**3 - 2*k**2 + 2. Let b be d(-1). Let y = b + -104. Solve -5*n - 4*q = 2 + y, 5*q + 10 = -5*n for n.
-2
Let a = -58 + 62. Let c = 192 - 294. Let x = c + 105. Solve 20 = -5*r - 5*z, a*r + 23 - 7 = x*z for r.
-4
Suppose 8*y + 5*n = 11*y + 16, n - 11 = -2*y. Solve 2*k - 7 + 0 = -5*w, -y*w = -3*k - 21 for k.
-4
Let z = -153 + 81. Let j = 76 + z. Let n be ((2 - 2)/j)/(-2 - -1). Solve -3*u = d - 2*d + 4, n = 3*u - 3*d - 6 for u.
-3
Suppose -5*r + 10*r = 35. Let l(f) = f**3 - 7*f**2 - 2*f + 2. Let a be l(r). Let c be (53 - 0) + a + 9. Solve 5*k = 5*d - 10*d, 0 = -5*d + 5*k - c for d.
-5
Let q(u) = u**2 - 20*u + 38. Let y(p) = -p**2 + 22*p - 39. Let f(m) = -5*q(m) - 4*y(m). Let j be f(6). Solve 6 = -2*t + j*r, 8*t - 4*r + 11 = 3*t for t.
1
Let q = 114 - 109. Let o be (-6)/(-15) - (54/q)/(-3). Solve -o*z + p + 18 = 0, -z + 4*p - 3 = -0 for z.
5
Let d be ((-22568)/(-130))/31 + (-16)/10. Solve -2*y - y - 7 = -d*c, 2 = -c for y.
-5
Let u be 156/36 + 1 + (0 - (-4)/6). Solve 4*x = x - l - u, -3 = l for x.
-1
Suppose 3*x + 503 - 176 = 0. Let f = -96 - x. Solve 3*w + 4*l + 11 = 0, -4*l - l - f = 4*w for w.
3
Let b be (-13)/((-351)/3438)*3. Suppose 0 = -3*i - 370 + b. Solve 5*q + 0*q = -3*d + 21, 2*q = -i*d + 14 for d.
2
Let g be -5 - 15/(-30)*0/(-2). Let f be ((-9 - -4) + 8)/((-3)/g). Solve 0 = 2*r - f*q - 2, -r = -4*q - 4 - 0 for r.
-4
Suppose -4*v - 3*a = 397, a + 7 = 3*v + 295. Let c = v - -101. Solve -4*r - o - 20 = -6*o, -c*o = -5*r - 16 for r.
0
Let v(i) = i**3 + 2*i**2 - 9*i - 16. Let c be v(-7). Let y = c - -198. Suppose 3*j + 0*j = 6. Solve 5*o = -4*m + 13, y = 5*m - j*m - 2*o - 4 for m.
2
Suppose 8*x = 4*x. Suppose 0*h = 5*h - 3*w, -5*h - 4*w = 0. Suppose z - 6 = -h. Solve -m + z*t - 2*t = -3, -t = x for m.
3
Let n be 2/(-2) - (-60)/10. Solve 5*z + 27 = -4*y, -3*z = n*y - 9 + 33 for z.
-3
Suppose 14*g = 38 + 18. Let w be g + -7 + -7 + 14. Solve 0 = 2*c + 6, -3*n - 3*c - 2 = w for n.
1
Let p(x) = x**3 + 9*x**2 + x - 88. Let d be p(-7). Solve t = -d*y, -2*t + 7*y - 5 = 8*y for t.
-3
Let z(h) = 21*h - 1046. Let t be z(51). Solve -52*a = -48*a - 5*b + t, -4*a - 5*b + 25 = 0 for a.
0
Suppose 2*d + 5 = b, 5*b = 4*b - d - 7. Let q be (b + -2)*(3 - 5). Solve -7*z + 2*z - 7 = 4*s, -q = 4*s + 2*z for s.
-3
Let l be 234/42 + 4/(-7). Let x(d) = d**2 + 5 - 16 - 12*d - l - 2*d