ve j = 3*t - 9, -2*j - 2*t + 6 = -b*j for j.
0
Suppose x + 4 = -2. Let v(w) = -w - 5. Let m be v(x). Suppose 0 = -5*d - 5*p - 25, 5*d + 3*p = -16 + m. Solve 4*l = -3*a + 20, -a - 5*l + 17 - 3 = d for a.
4
Suppose -5*w + 95 = 5*a, 7 = 2*w - 2*a - 15. Suppose 2*f + 7 = w. Solve -4*j = -d - 20, 0 = 4*d + 5*j - f for d.
-4
Let h be 3/(-2)*(-1 + -1). Let s be 5/2*(-6)/(-3). Let i be s + -8 + (3 - -2). Solve 5*f + 18 = 2*c + h*f, 3*f = i*c - 23 for c.
4
Let k = 66 + -31. Let a = 65 - k. Solve 3*s - 2*s = -2*d + 10, 0 = 5*d + 5*s - a for d.
4
Let o = 119 + -117. Solve k + o*d = -d + 12, -3*d + 9 = 0 for k.
3
Suppose 130*g + 140 = 135*g. Solve -4*s - 4 = -12, -4*s = 4*n - g for n.
5
Let n = -1340 + 1340. Solve n = r - 4*y - 15, -2*r - 4*y = -9*y - 18 for r.
-1
Let x be ((-12)/8)/(-3)*-8. Let z(n) = -6*n - 20. Let a be z(x). Solve 0 = -a*c - p + 1, 0 = 5*p - p + 12 for c.
1
Let k be (-10)/(-25) + (-32)/(-20). Solve -8 = 4*i - s, -k*i = i - 3*s - 3 for i.
-3
Let r(h) = -h**3 - h. Let q be r(0). Solve -5*g - 3 = 2*w, -5*g + w + 9 = -q*g for g.
1
Let m = 23 + -23. Let j = 2 - m. Suppose 0 = -4*a + 4, j*o - 17 = -o - 2*a. Solve -6*q + q + 33 = 2*t, 0 = 5*t - 5*q + o for t.
4
Let z = 179 + -171. Solve l = 5*k + 12, -k + z + 0 = 5*l for k.
-2
Let u be 16/24*45/6. Solve v + 5 = -3*v - 3*t, -u*v = -4*t - 17 for v.
1
Let f = 124 - 105. Solve 3*i + 13 + 10 = 5*r, i - f = -5*r for r.
4
Let s be (-1)/3 - 3/((-27)/552). Let b = s - 60. Solve -4*w - b = o, -o + 0*o = 2*w + 1 for o.
-1
Suppose 4*m - 182 = -3*g, -2*g + 90 = 2*m - 0*g. Suppose -m*f = -46*f - 4. Solve 0*n - 4*n + 4*y = -f, 0 = 4*n - y + 5 for n.
-2
Suppose -3*f = -6*f + 2*q + 15, -3 = q. Solve -3*r - f*v = 0, r + v = -v - 3 for r.
3
Suppose -x + 5 = -0*x. Suppose 2*t = -5*n - 10, -3*n = -x*t + n + 8. Suppose -4*g + t = -16. Solve 4*l - r = 7, 2*r + r = g*l + 3 for l.
3
Suppose 0 = -60*l + 59*l + 2. Solve -5*r + 2*h = -11, h - 3 = r - l*h for r.
3
Let g(b) = -b + 4. Let h be g(-5). Suppose -h*s - 2 = -7*s. Let j = s - -1. Solve -4*v - 1 = -2*p - 3, j = 5*p - 3*v + 5 for p.
-1
Let n be 9/(-315)*-7*10. Solve 2*i + 5*v + 21 = 0, 0 = -3*i - n*i - 5*v - 30 for i.
-3
Let n = -34 - -37. Suppose -v + 3*k = 4*k - 6, 4*v - 25 = -3*k. Let h = -4 + v. Solve h*x - n*f = f - 13, -f - 8 = 3*x for x.
-3
Let v be (-3)/(12/64*2). Let u be (1/((-4)/v))/1. Solve o + u*a + 3*a = 5, 0 = -a for o.
5
Let q(a) = 2*a**3 + 7*a**2 - 33*a - 16. Let h be q(-6). Solve k = -4*l - 15, 2*l - h*k + 30 = 2*k for l.
-5
Suppose 18*g = -0*g + 216. Let p be 0 - (-2 - 2/1). Solve 2*s - 2 = 4*s + p*v, v - g = -3*s for s.
5
Let s be (1 + -1)/(4 - 2). Suppose 3*n = -4*n. Suppose p + 4*h - 12 = n, p = 4*p - 2*h + 6. Solve s = 4*x + 5*l - 19, 3*x + p*l = -l + 6 for x.
1
Suppose 5*r + 4 - 17 = -4*z, 3*z + 3*r - 12 = 0. Solve 2*g - z*g - 10 = 0, 11 = 5*t + 2*g for t.
3
Suppose 2*n - 80*d + 75*d - 89 = 0, -105 = -3*n - 2*d. Solve n = 5*i - 12*z + 16*z, -z - 22 = -5*i for i.
5
Let j = -493 + 350. Let u = j + 143. Solve u = 3*b - 3*z - 4 - 14, -5*z - 18 = -b for b.
3
Let l be ((-29)/174)/(((-2)/(-24))/(-1)). Solve 4*a = 3*d, 17 = l*d - 0*d + 3*a for d.
4
Let q be 91/21 + 2/(-6). Let f(x) = -x**3 + 40. Let a be f(0). Let o be a/7 - 8/(-28). Solve 3*r + o = -3*l, 0 = -3*r + 5*r - 4*l + q for r.
-2
Let s be ((-5)/(-2))/(15/6). Solve -3*c + 35 = 4*x, -5*x + 9 = -3*c - s for c.
5
Let q(k) = k + 2. Suppose 4*j - 2*j = 0. Let z be q(j). Solve 0 = 4*t - 3*y + 20, 0 = t - 2*y + z + 8 for t.
-2
Suppose 20 = -4*c, 7*j + 4*c = 2*j. Let n be 2*(18/j - 3). Solve -3*u = 4*z + 16, 4*u + n*z + 4 = 2*z for u.
0
Suppose g - 17 - 40 = 0. Suppose 3*a = 2*c + 4*a + g, -a + 125 = -5*c. Let n = c + 36. Solve 5*x - 3*f - 22 = 0, 2*f - n = -2*x + 2 for x.
5
Suppose -4*q = -5*g, -3*g = -0*q + q. Solve -5*p + 6*s - 5 = s, g = -p - 4*s + 14 for p.
2
Suppose 2*u = 8, -5*u = 4*t - u - 36. Let a be (-4)/26 + ((-7620)/(-39))/(-4). Let f be ((-84)/a)/(2/7). Solve -t*j - 10 = -z, -f*j - 10 = -j - 4*z for j.
-2
Let r = -9 + 60. Let i = r + -47. Solve i*t - t = m + 1, -4*m + t + 18 = 0 for m.
5
Suppose 12*b = 24*b - 36. Solve -3*y = 5*l - 11, y = b*l - 4*l + 1 for y.
-3
Let n = -18 - -14. Let x(p) = -p**3 - 5*p**2 - 5*p. Let s be x(n). Let z be (-2)/6 - (-39)/9. Solve -s*d = -z*q - 12, 6 = 3*q + 2*d - 0 for q.
0
Let m(u) = -2*u. Suppose 4*w + 22 = 14. Let r be m(w). Solve -4*o - 4*j + 8 = -9*o, r*o + 5*j - 10 = 0 for o.
0
Let j = 102 - 69. Suppose 3*c - 14 = -i, c + 26 = 5*i + 4. Solve o - 3 = -y - 0*o, 0 = 4*y - i*o + j for y.
-2
Let w(l) = 2*l**2 + 23*l + 25. Let p be w(-11). Solve 0 = -3*k + 3*o - 9, -4*o + 16 = 5*k - p for k.
2
Let q = -390 - -399. Solve -p - 4*l + 0 = -3, q = 3*p - l for p.
3
Let q(k) = 2*k + 20. Let f be q(6). Solve -5*d - f = 3*g, 2*d - 5*g - 9 = 3 for d.
-4
Let c(z) = 5*z**3 - z + z**2 - z**2 - z**2 + 1. Let p = 558 - 557. Let j be c(p). Solve 3*l + 3*q = 12, j*l = -2*q + 5 + 1 for l.
-1
Suppose -11 = -5*w - 2*n, -2*w + 14 = 5*n - 3. Let d be (w - 1)/(14 + -12). Let h(x) = -x + 5. Let t be h(4). Solve -3*r + 2*r = u + 7, d = -r + u - t for r.
-4
Let a = -267 - -286. Solve 0 = -2*l - l + 4*o, l = -5*o - a for l.
-4
Let l(n) = -4*n**2 - 16*n + n**2 + 4*n**2 - 4*n. Let r be l(20). Solve -5*f + 5*q - 20 = 0, r = -4*f + 3*q - 22 + 6 for f.
-4
Let i(d) = -d - 2. Let o be i(-5). Let z(f) = -f - 1. Let m be z(-3). Let w = -405 + 409. Solve -2 = o*s - m*b - 2*b, -4*b + w = -4*s for s.
-2
Let m be -3 + (-4)/(-2) - (-144)/2. Let b = -68 + m. Solve -4*d - 3*y = -24, -d - 5*y + 11 = -b*y for d.
3
Let v(r) = -r**2 + 20*r - 1. Let i be v(19). Solve -3*f + w = -4*f + 6, w = -5*f + i for f.
3
Let w(x) = -x**2 - 6*x - 5. Let r be w(-4). Let u be (-27)/15 - (-2)/(-10). Let c = r - u. Solve 3*y = -c*a + 3 + 4, 0 = 5*y + 5*a - 5 for y.
-1
Let v(n) = -n**2 + 4*n - 2. Let q be v(4). Let a be (-4)/q - (0 - -4). Let g be 27*(a/3 + 2). Solve -g = t - 5*y - 13, t + 7 = y for t.
-3
Suppose -1 + 7 = 3*z. Suppose 3*s - 5*i + 2 = 0, 4*s + 4*i = s + 34. Let t be (s - 2) + 8 + -11. Solve b + t = -3*a - 3, -a - z*b + 2 = 0 for a.
-2
Let m(h) = -h**3 + 22*h**2 + 75*h + 1. Let d be m(25). Solve -j = j - 3*i + 13, 3*i = -5*j - d for j.
-2
Let i(m) = -m**2 - 7*m - 8. Let n be i(-5). Solve -f = 3*p + 10, n*p + 2*p = -4*f - 8 for f.
2
Suppose 0 = 10*q - 11*q. Suppose -4*l - 5*m + 44 = -89, -2*l - 4*m + 74 = q. Let k be (-6)/(-4)*36/l. Solve -5*i = -4*d + 17, -3*d + k*d + 2*i = -8 for d.
-2
Let s be ((-8)/3)/((-11)/33). Let b be (s/(-10))/((-10)/25). Solve -5 = -x + 2*x - b*u, 20 = 4*u for x.
5
Suppose 13 = 5*y + 6*g - 2*g, -5*y = -g - 28. Suppose 3*l - 5*l = 5*a + y, 5*a - 3*l - 20 = 0. Solve -c + a = -s, c - 1 = 2*s - 0*c for s.
0
Let z be 16/(-12) + (-3)/(-9). Let w be (-3)/((-12)/20) + z. Solve -3*t = -w*r - t + 6, -4 = -4*r + 4*t for r.
2
Let j be 1 - (-1 + (1 - 2)). Suppose 2*g = t + j*t + 24, -4*t - 16 = -g. Suppose -7 = -3*w + 5. Solve 2 = 4*v - 3*o, -2*v - g = -o + w*o for v.
-1
Let k be (-21)/(-28) + 2/8. Let g be 0/((2 - 0)/k). Solve g = 3*v - 3*m - 18, -5*v - 24 = 4*m - 9 for v.
1
Let y be 348/8 + 6/(-4). Let d = y - 38. Suppose 5 = -j + 2*j. Solve -i - j = 4*i - 4*g, -10 = d*i - 2*g for i.
-5
Let c be ((6/(-9))/2)/((-9)/54). Solve -j - x = -2 - 1, -j = 2*x - c for j.
4
Let x be (-1)/3 + (-16)/(-3). Suppose -4*s + 20*b + 4 = 19*b, -3*b = -5*s + 12. Solve 0 = -c + x*i + 18, -4*c + s*c - i - 12 = 0 for c.
-2
Let t(s) = 3*s - 21. Let c be t(9). Let p(d) = -d**3 + 6*d**2 + d + 3. Let u be p(c). Solve 5*w = -l + u, -12 = -2*l - 5*w + 1 for l.
4
Let t be (0 + (-10 - 3))*-1. Let p = -11 + t. Let r = -34 + 56. Solve -q = 4*m + p*q + 11, -5*m - r = q for m.
-5
Let y = 44 - -28. Suppose -5*w - y = -9*w. Suppose -8*a + 9*a - w = 0. Solve 2*b - 6 = -4*s, -2*s - 2*s + a = -2*b for b.
-3
Let x(h) = h - 8 - 9 + 0 + 5. Let n be x(5). Let m be (-459)/(-63) + 2/n. Solve 15 = -4*q + i, m*i = -5*q + 2*i for q.
-3
Let c = -172 - -174. Solve -h + b + 2*b - 6 = 0, -b - 3 = -c*h for h.
3
Let v(l) = l**3 + 31*l**2 + l + 47. Let y be v(-31). Suppose -y = -c - 7*c. Solve 5*n + 4*p = -40, 2*p + 6 = c*n + 4 for n.
-4
Suppose -4 = -4*j + 16. Suppose 5*s = -4*o - 8, j*s + 7 + 4 = -3*o. Solve 2*q - 2*z - 3*z + 9 = 0, 0 = o*q + 3*z - 18 for q.
3
Let t be 4/(-8) + 15/2. Let f = 10 - t. Suppose -7*u = -f*u - 36. Solve 0*j =