 Let q be l(-8). Let k(o) = 3*o + 65. Let c be k(-20). Suppose 4*j = 6 + 14. Solve -4*t = j*i - 13 - q, c = -5*t + 2*i for t.
1
Let t(a) = -a**3 + 10*a**2 - 23*a + 17. Let o be t(7). Solve -2*d + d - o = 3*v, 4*v - 4 = -4*d for d.
3
Let o(i) = -i**3 + 7*i**2 - i + 10. Let q be o(7). Solve -q*v + 10 = 4*d, -4*d = -2*v - 5 - 15 for v.
-2
Suppose 2*v + 3 = 4*a + 11, -3*a = -4*v + 16. Let n be (1/(-2))/(126/(-36)) + 3/(-21). Solve n = v*h - 4*q, -h = -2*h + 3*q + 4 for h.
-2
Let m(d) = -d**2 - 3*d + 30. Let o be m(-7). Let t(c) = c**3 - c**2. Let x be t(1). Solve 0*k - 2*k + o = -4*f, f + 4*k - 22 = x for f.
2
Suppose -284 = 5*d - 299. Solve 12 = -d*m - g, 3 = -3*g + 12 for m.
-5
Let x be 5 - ((2 - 3) + 1). Solve p = -2*a + 3*p - 2, -5*p = x*a + 45 for a.
-5
Suppose 33*w - 49 - 50 = 0. Solve -t - w = 4*f - 6*t, 0 = 2*f + 2*t - 12 for f.
3
Let n = -2030 + 2030. Solve -2*k + n = m + 3, -4*m = -3*k - 32 for k.
-4
Suppose -55*i + 90*i - 525 = 0. Solve 5*t - 3*k = t - i, -t - 5 = -k for t.
0
Let n = -14 - -25. Let s be (-2 + 3)/(1/n). Suppose 0 = 15*x + x - 32. Solve 0 = -x*b + z - 8, 0 - s = b - 4*z for b.
-3
Let r(c) = 2*c - 13. Let d be r(10). Let z(i) = -i**3 + 8*i**2 - 6*i - 7. Let y be z(d). Solve g - 9 = -y*j - 3*j, 0 = 3*j - 12 for g.
-3
Let y be 1/((-18)/4) + 116/36. Suppose 3*j + 35 = 5*a, 4 = 2*a + y*j + 11. Solve -a*x = 4*t - 3*t - 25, t + x = 10 for t.
5
Let i = -83 + 76. Let k = i + 31. Solve 1 = 5*h - k, -2*h + 7 = -o for o.
3
Suppose 1 = 2*y + 5. Let n be y - (-1 - (7 - 4)). Solve 4*q - t = -12, t = -n*q - 0*t for q.
-2
Let o = -56 - -46. Let r = o - -15. Solve -z - 1 = y, 2*z - r = 2*y + 1 for z.
1
Suppose 4*t - 20 = -5*a, 0*a + 3*t = -4*a + 16. Let u be a/(-4)*(1 + -4). Solve 2*l + 3 = -u*v - l, -4*v + 4*l + 20 = 0 for v.
2
Let b be 21 - (6 + -6 + 4). Suppose -5*d + 22 = -83. Let m = d - b. Solve 0 = -g + 3*h - 11, -3*g + m*h = h + 3 for g.
4
Suppose 0 = 5*z + 5, 14 = 2*d - 4*z - 22. Let t be d/5 - 1/5. Let b = -1 + 6. Solve t*p + 2 = -4*s + p, -b*s + p = -1 for s.
0
Suppose a - y = 71, 0*y - 375 = -5*a - 5*y. Let z = a + -69. Solve k + z*k = -s + 6, -24 = -4*k + 4*s for k.
2
Suppose 8*i = 3*i + 5. Let u(l) = 5*l - 2. Let p be u(i). Solve 2*b - 4*m + p = 21, -3*b - 9 = 3*m for b.
1
Let k(g) = -g**2 - 8. Let s = 3 + -3. Let a be k(s). Let j be ((-12)/a)/((-3)/(-10)). Solve 2*q + 10 = -z - q, 4*z - j*q = 28 for z.
2
Let k(o) = -8*o - 4. Let p be k(-1). Solve -d - 15 = 4*d + z, 0 = p*d + z + 12 for d.
-3
Suppose 3*q - 41 = 2*f - 61, 0 = -4*f + 3*q + 28. Solve -u - 7 = 5*z, 0*z - 14 = z - f*u for z.
-2
Let f be (-24)/(-9) - (4 + 40/(-12)). Solve -12 = -3*i - 2*u, 5*i - i - f = 2*u for i.
2
Let s = 10 - 5. Let w(p) = 2*p - 6. Let m be w(5). Suppose 3*l + 0*l - s*r - 15 = 0, 0 = -m*r. Solve 2*d + d - l = 2*n, 0 = -d - n - 5 for d.
-1
Suppose -61 + 56 = -y. Solve -y = -5*d, 2*b - 4*b - 3*d + 11 = 0 for b.
4
Let m be 13 - (3/((-15)/(-20)) - 2). Solve -w - 2*n = 2*w + 1, 0 = w - 2*n + m for w.
-3
Suppose -77*m = -75*m - 80. Let p(i) = i**3 - 5*i**2 + 2. Let z = 4 - -1. Let j be p(z). Solve j*b + 37 = -b - 5*q, 5*b + 4*q = -m for b.
-4
Suppose -22*r + 226 = -302. Solve 10*b - 5*b = -4*t + r, -23 = -3*t - 5*b for t.
1
Let j(s) = -s**3 + 3*s**2 - s. Let d be j(2). Suppose 3*w = -2 - 22. Let q be (-1)/(-2) - 28/w. Solve d*k + 2*o + q - 20 = 0, 2*o = k + 1 for k.
5
Let u be (-279)/(-99) - 2/(-11). Solve 2*i = -7*v + 2*v - 5, u*i = -v + 12 for v.
-3
Suppose -2*n - 5*l = -38 - 9, 2*l - 10 = 0. Suppose 0 = -3*s + n*s - 16. Solve -2*f + 3 = 9, -s*i + 2*f + 4 = 0 for i.
-1
Let x = 3 + -4. Let q be 4 + x - (4 - 1). Suppose 2*t + 9 - 15 = q. Solve 0 = -2*y + t*g - g - 6, -5*g + 29 = 2*y for y.
2
Let q = -666 + 670. Solve 4*a + 4 + 2 = -2*d, -q*d + 3*a + 21 = 0 for d.
3
Suppose -2*y - 5*v = -94 + 61, 18 = y + 4*v. Solve -r = 5*h - 10 + 3, 2*r - 4*h + y = 0 for r.
-3
Let a(b) = -4*b**2 + 8 - 5*b - 5*b**2 + 7*b**2 + b**2. Let n be a(-5). Solve 5*x - n + 33 = 5*r, 0 = 4*r - 12 for x.
-2
Let g be (-3)/(-18) - (-83)/6. Suppose g = 4*s - 18. Solve -4*c = -n + 8, 4*n + 3*c = s + 5 for n.
4
Let r = 220 - 213. Solve -n - 2*s - 11 = 0, 4*n + s + r = 3*n for n.
-3
Let c be 288/(-16)*4/(-18). Solve 0*q + f = -c*q + 1, -4*f = 5*q - 4 for q.
0
Let s(h) = -h**3 - 3*h**2 - 2*h - 18. Let z be s(-4). Solve z = 4*j + 2*a - 16, -j + 2*a = 7 for j.
3
Let g be ((-4)/9 - (-20)/45)/(-2). Solve g = 3*k + 9, c + c = -3*k - 1 for c.
4
Let r = -103 + 108. Solve 2 = 4*y + 2*a, 0 = -0*y + 3*y + r*a + 9 for y.
2
Let z = -14 - -12. Let c be (-7 - -1)*-1*z/(-6). Solve c*t - n = 6*t + 21, 2*t + n + 13 = 0 for t.
-4
Let n = 201 - 166. Solve -2*k = -5*u + n, 2*k = 4*u + 2 - 32 for u.
5
Suppose -8 - 8 = -2*k + 5*g, -2*k + 8 = -g. Solve -5*v - 20 = -5*t + k*t, 0 = 4*v + t + 16 for v.
-4
Let u = -342 + 345. Solve 4*l + 3 = 3*d, u = -0*d + 3*d for l.
0
Let k be 1/(4/(-17 + 1)). Let b be 38/(-8) - (-1)/k. Let x = -3 - b. Solve -5*a + 4*p + x = 5, -4*a + 4*p = 4 for a.
1
Let c = 58 - 40. Suppose -6*t = -3*t - c. Suppose 3*q = f + t*q - 18, 5*q = -3*f + 34. Solve -3*s - o = -7*s - f, o = -5 for s.
-2
Suppose -b - 2*a - 3*a = 37, -2*a = b + 22. Let i be (1 + 10/(-4))/(b/40). Solve 5*x + 19 = -1, i*x = 2*d - 18 for d.
-1
Suppose -11*z = 182 - 237. Let b be 5 + (-1)/2*2. Suppose -i = -b*i + 27. Solve -y = -c - 2*y - i, 5*y + z = 3*c for c.
-5
Let y = -24 - -21. Let u = y - -3. Solve -4*c - q - 20 = u, 2*c = -2*c + q - 12 for c.
-4
Suppose -10*w + 26 = 16*w. Solve 8 + w = -y + 5*v, -1 = -v for y.
-4
Let u = 7 + -7. Suppose 2*m = 3*n + 2, 6*m = -5*n + 10*m - 6. Solve h = 3*y + n*y - 10, -4*h + 5*y - 10 = u for h.
0
Let v = -346 - -354. Solve v*n - 4*n - 8 = 2*t, 2*n - 3*t = 8 for n.
1
Let a(r) = -3*r - 17 + 13 + 27. Let v be a(7). Suppose 2*p + 0*w = -w + v, 0 = p + 3*w + 9. Solve -3*t + 17 = -2*t + p*s, 4*t + 4*s = 36 for t.
5
Let w(h) = -h - 1. Let f(d) = -4*d + 7. Let x(g) = -f(g) + 3*w(g). Let z be x(16). Suppose -z*r = -r. Solve -3*v + 5*a - 22 = r, -2*v - 3*v - 14 = 3*a for v.
-4
Let y(n) = -n - 10. Let z be y(-10). Suppose z = -s - 9 + 13. Let k be (-7)/(-28) + 23/s. Solve 5*d = -15, -l - d = 2*l + k for l.
-1
Suppose 2*n - 107 + 87 = 0. Suppose n*x = 5*x + 25. Solve 0 = 2*s - 4*r + 6, 2*s = 3*r - x - 1 for s.
-3
Let k be -1 - (0 + 2 + -2). Let g be (0 + k)/((-14)/28). Suppose g*w + 2*w = 20. Solve x + 3 = -n, -7 = -w*x + 2*x + n for x.
1
Suppose h = -2*v + 11, 23 = 2*v + 7*h - 2*h. Solve -5*p - v*q = -22, p - 3*q = -3*p - 1 for p.
2
Let z(x) = x**3 - 17*x**2 + 30*x + 12. Let k be z(15). Suppose -145*b - k = -149*b. Let n be (-2 + 0)/2 + 1. Solve 2*s + s - 3*c - b = n, 4*s = c + 1 for s.
0
Suppose 112*h - 354 = 94. Solve 0 = 5*s + 2*q + 20, -30 = s + h*s + 4*q for s.
-2
Let g = -104 - -106. Let d be -2 - -2 - -2 - -2. Suppose -10 = -d*n + 2. Solve -o + 4*u = -n + 19, 2*o - 2*u + g = 0 for o.
4
Let d(o) = 2*o**2 - 16*o - 13. Let g be d(9). Let h be (-8)/(-44) + 40/22. Suppose -3*v + 10 = h*v. Solve -3*a = -3*n + 27, v*a + g*n = -2*a for a.
-5
Suppose 0 = 4*o + 49 - 9. Suppose -43*y + 60 = -40*y. Let i = y + o. Solve 4*h - i = c + c, -5*h + 2 = c for c.
-3
Let i be 6/(-21) + (20/14)/5. Solve 2*x - 3*p - 11 = i, 3*x + 0 = p - 1 for x.
-2
Let y be -6*6/(-27)*3. Suppose -10 = -h - y*h. Suppose -2*m + h = -0*m, -5*z + 2*m = -13. Solve -z*t + 2 = 4*g - 0, -3*t = 5*g - 1 for t.
2
Let v be (-257)/5 + (-54)/(-135). Let j = v + 53. Solve 4*s + j*k = 5*k, 3*s + 13 = -k for s.
-3
Let n be (-236)/14 - 9/63 - -3. Let y = 31 + n. Solve -5*g + 2*g + y = o, -o - 5*g = -25 for o.
5
Suppose -12 = 4*d - 6*d + 2*w, 0 = -5*d - 4*w + 21. Solve -2*u + m = -5 - 1, -4*m = -d*u + 9 for u.
5
Suppose 5*a = 3*a + 8. Solve -2*k = n - 6, -a*n = k + 1 - 18 for k.
1
Suppose 2*h = -2*h + 60. Suppose n = -11*n - 36. Let t be 100/75*n/(-2). Solve 3*s - h = -5*y, 4 = t*y + s - 1 for y.
0
Suppose 0 = -17*k - 24*k. Solve 2*u - 12 = -5*r, 0*r + 5*r - 10 = k for u.
1
Suppose 18*k + 148 = 220. Solve -u + 8 = 2*v, -4*v + 3*v = -u - k for u.
0
Suppose 26 = 23*t - 43. Solve -3*x = t*u - 5*x - 9, -4*u - x + 1 = 0 for u.
1
Let w be 14/5*10/4. Let q be w/(-2)*12/(-14). Solve 3*f + 3*h + 16 = 2*h, 3*h + q = 0 for f.
-5
Let l = 1074 - 1050. Solve 17*b - 4*c + l = 14*b, -3*c - 7 = 4*b for b.
-4
Suppose 4*y + 0*x - 4*x = 12, -5*x = 4*y - 3. Let