for n.
-1
Let i = -245 - -256. Solve 7*h = 3*h + 5*n + i, 6 = -2*n for h.
-1
Suppose -180 = -45*u + 45. Solve 5*n - 16 = u*g + 19, g + 9 = 2*n for n.
2
Suppose -q + 28 = 2*w, w - q = 2*w - 12. Suppose 0 = 8*t - t - t. Solve -m - 2*m + w = -4*i, t = -m - 3*i - 12 for m.
0
Let y(l) = -8*l**2 + 5 - 4 + l**3 + 1 + 12*l. Let b be y(6). Solve -2*u - u + 4 = -j, 0 = 3*j + b*u - 10 for j.
2
Suppose -4*z - 36 = -7*z. Let h be (2 - 2)*6/z. Solve -5*p = -5*a + 15, -3*p - 3*a + 2 + 1 = h for p.
-1
Let j be (6 + -1)*(11 - (16 - 6)). Solve 4*m - 1 - 13 = 2*y, -j*m - 5*y = -25 for m.
4
Suppose -25*i + 24*i = -2. Let y = 5 - i. Solve -8 = y*x - j + 3*j, 5*x = 3*j - 26 for x.
-4
Let z be 92/506 + (-766)/(-22). Solve -x = -2*v + 5, z + 0 = 5*v + 2*x for v.
5
Suppose -4*h = 0, z - 5*h - 69 = -16. Let g = 56 - z. Solve g*v = 4*v, -v - 10 = 5*p for p.
-2
Suppose 61 = 4*j - n - 4*n, 0 = -3*j - n + 41. Solve o + 4*k = -0*o + 7, -3*o - 5*k + j = 0 for o.
3
Let k(o) = -2*o + 17. Let t(n) = n - 9. Let x(h) = 2*k(h) + 5*t(h). Let d be x(11). Suppose 2*a + d*a = 6. Solve 9*p + a = 2*v + 4*p, 2*p - 2 = 4*v for v.
-1
Let n be 12/(-16)*-4 + 0. Suppose n*f = -f + 16. Suppose -f*t + t = 0. Solve 3*y - 3 = k - y, 2*k + 2*y - 14 = t for k.
5
Let x(m) = -11 - 5 - m + 5 + 3*m. Let l be x(8). Suppose -2*o + l + 3 = 0. Solve -r - o = -3*r + 3*c, 0 = 3*r + 3*c - 21 for r.
5
Suppose -3*i = -3*c - 36, -4*i = 11*c - 9*c - 24. Solve 2*q - i = y - 2, -2*y = -3*q + 8 for q.
4
Suppose 21*c - 115 + 31 = 0. Solve -7*n - c*o = -2*n - 13, -2*n + 12 = 5*o for n.
1
Let v be 205/9 + 2/9. Let w = -7 + v. Suppose 0 = 5*f - 19 - w. Solve -3*k = 2*n + f, -n + 4 = 3*n for k.
-3
Suppose -30*x + 29*x + 30 = 0. Let y = x - 25. Solve 2*o + d + 1 = -6, 0 = 4*o - y*d - 21 for o.
-1
Let h be ((-12)/(-20))/(6/30). Let q = h + 8. Solve -t + q = 4*n + 2*t, 2 = 3*n - 4*t for n.
2
Let o(h) = h**3 + 10*h**2 + 8*h - 9. Let f be o(-9). Solve f*i - 2*i + x = 1, -3*i - 4*x = 29 for i.
-3
Let r = -109 - -113. Solve r*p + 3*i + 35 = -p, -p + 2*i + 6 = 0 for p.
-4
Let g(b) = 16*b - 96. Let s be g(6). Solve 5 = -3*k + u, 0 = -2*k - s*k + 2*u - 10 for k.
0
Suppose -22 = -4*p - 2. Suppose 0 = p*i - 6 - 109. Solve -5*y = -2*t - 4 - 10, 0 = 5*y + t - i for y.
4
Let v = 921 + -906. Solve -2*k - 1 = z, -6*z + 2*z - v = -3*k for k.
1
Suppose 147 - 57 = -3*t. Let z be -2*(t/4)/5. Suppose c - 10 = -4*d, -d = -2*d - 1. Solve 0*k - c = 4*b + 2*k, -z*b = -3*k - 3 for b.
-2
Suppose -23*w = 226 - 387. Solve -5*z - 3*f = -w - 3, -4*f - 20 = 0 for z.
5
Let d = 438 - 436. Solve -3*c = -5*a + 35, 0 = -d*c + 2*a - a - 14 for c.
-5
Let i(p) = -2 - 1 - p + 2. Suppose -11 = f + 2*f + g, -f = 2*g + 7. Let w be i(f). Solve -k - 18 = 5*o, -o - w*k = -k + 2 for o.
-4
Let x(y) = -y**2 - 10*y + 13. Let q be x(-10). Suppose -q + 8 = -j. Solve -2*t = 3*n + 2*n - 25, 3*t - 25 = -j*n for n.
5
Let r(f) = -f**3 + 6*f**2 + 3*f - 18. Let z be r(6). Solve -g + u = 8, -g + 2 = u - z for g.
-3
Let r be 11/(-44) + (-90)/(-40). Solve -3 = 2*b - 4*b - 3*t, -r*t + 2 = -5*b for b.
0
Suppose -4*q = -j - 5, -q + 5*q = -16. Let b = 26 + j. Solve -b*k + w - 28 = 0, -3 = -0*w - w for k.
-5
Let s = -7 - -6. Let y be (-1)/((-15)/(-18) + s). Suppose -2*l + 5 = -l - 2*n, l - 3*n - y = 0. Solve -3 = 3*b - l*w, 5*b - 3*w = b for b.
3
Let c be (-4)/(32/(-28))*-4. Let f = -10 - c. Suppose 3*l = 2*l + 3*o + 14, f*l - 5 = -5*o. Solve v + 2*v - 12 = a, l*a + 5*v = 40 for a.
3
Let u = -82 + 99. Suppose n = -0*y + 2*y - 13, -y + 4*n + u = 0. Solve 0 = a + 2*m - 10, -y*m + 2 = 3*a - 24 for a.
2
Let x(a) = 2*a - 42. Let k be x(25). Solve -3*b + 18 + 2 = -5*n, k = b - 3*n for b.
5
Suppose -3*c + 0 + 6 = 0, 3*w + 360 = -3*c. Let i = w - -124. Solve -i*g + 3 = -0*g + 3*x, -2*g - 21 = -5*x for g.
-3
Suppose 5*r - 2 + 14 = 3*f, -r = 0. Solve -4*q - f*n - 35 = n, -2*n = 4*q + 26 for q.
-5
Let d be (-6)/(-4)*20/6. Let n be (-637)/(-65) + 1/d. Solve p - l + n = 2*l, -3*p = -2*l + 2 for p.
2
Let z be (-63)/(-15) + 4/(-20). Solve 5*o + 4*k = -20 - 8, -z*o + 2*k = 12 for o.
-4
Let s be 8/(-20) - (-2)/5. Suppose 2*u = 2*g - 8, s = -0*u + 2*u - 4. Let l = 0 - -3. Solve r + c = -g, -l*c - 10 = 2*c for r.
-4
Let s = 21 - -6. Suppose 3*u - 3*f + s = 0, 0*f = -2*f + 4. Let z(i) = -i**3 - 7*i**2 + i + 9. Let y be z(u). Solve 3*k + 2*v = -9, -3*v - 6 = -y*k - k for k.
-1
Let r(s) = s**3 - 7*s**2 + 7*s. Let x be r(6). Suppose -8*i - 50 = -x*i. Let n = 30 + i. Solve 3*t - 4 = -j + 8, j - n*t = -20 for j.
0
Suppose w - 1 = i, -w - 3*i = -6 - 7. Solve -3*g = p - 13, 31 = 2*g + 3*g + w*p for g.
3
Suppose -4*u = -3*u. Let v(g) = g**2 + g - 2. Let d be v(-2). Suppose -4*n + d*n = -28. Solve 5 = -3*w - 5*k - n, u = -5*w - 5*k - 10 for w.
1
Let u be ((-1)/3)/(1/(-15)). Suppose -3*o - 15 = -8*o. Solve 0*l = -3*c - 2*l + 8, o*l - u = -c for c.
2
Let c = -254 - -155. Let h = -99 - c. Solve -3*g - 4*z - 5 = -3, 2*g - 5*z - 14 = h for g.
2
Let s be (18/(-45))/(6/(-30)). Solve -3*d = s*t + t, -5*d - 2*t + 9 = 0 for d.
3
Let j be (8/10)/(47/235). Solve 3*i + 9 = -5*w, 0 = -j*i + 5*w - 9 - 3 for i.
-3
Suppose -4*m + 2 = -p - 1, -3*p + 46 = -m. Let o = -138 + 79. Let q = 61 + o. Solve -4*h + b - q = 9, 4*h = 3*b - p for h.
-2
Let p(q) = 3*q + 2*q + 2 - 4*q - 1. Let a be p(3). Suppose -3*u - 25 = -5*u - 3*r, r + 57 = a*u. Solve -c + 6*c + 19 = v, -2*c - u = -2*v for v.
4
Let o(z) = -3*z - 10. Suppose -3*r = -q - 0*r - 20, -q - 10 = -r. Let c be o(q). Suppose -4*f = -0*f - 40. Solve 0 = c*d + 2*k - f - 15, 2*k + 25 = 5*d for d.
5
Suppose -5*h = 5*i - 5, 0 = -0*i - 3*i - 9. Suppose -10 = -5*l - m, -13*l + 15*l - 3*m - 21 = 0. Solve -15 = 6*r - r + 5*n, 0 = -r - h*n + l for r.
-5
Let q = -113 + 129. Solve 2*z + 5*x - 2 = 26, -x = 3*z - q for z.
4
Suppose 12 = 2*u + 3*b, -u + 0*b + 5*b = 20. Let x(p) = 2*p - 2*p + 2*p - 6 + u*p. Let v be x(6). Solve 2*f - o - 2 = 0, 3*o - 16 = -v*f + f for f.
2
Let g = 2185 + -2178. Let d be (-4)/(-18) + (-16)/(-9). Suppose 20 = 2*w - 4*b, 0 = -b + d - 6. Solve 4*k + 5*n = -1 - 10, 0 = -w*k - 3*n - g for k.
1
Let n(t) = 2*t - 35. Let f(i) = i + 1. Let x(w) = -f(w) - n(w). Let o be x(11). Solve 4*h = -5*u + 7, -u = -2*u - h + o for u.
3
Let q(n) = n**3 - 13*n**2 - 2*n + 28. Let v = -25 - -38. Let m be q(v). Let i be 82/8 - 1/4. Solve -m*x - 2*o + 4 = 0, 0*o = 3*x + 4*o - i for x.
-2
Let o = -1088 + 1091. Solve 3*v - o = 3*r, 4*v + r - 11 - 3 = 0 for v.
3
Let o(i) = -i**3 + 21*i - 7. Let a be o(-5). Solve -l - a = -4*m, -4 = -5*l - 4*m + 3 for l.
-1
Let v(u) = -u + 3. Let k be v(0). Suppose k*z - 9 + 6 = 0. Solve -2 = -2*c - 3*l, 2*l - z = -4*c + 3 for c.
1
Let r(g) = -8*g - 77. Let y be r(-10). Suppose 4*t - 4*f = 12, t + 2*f + f = -9. Suppose 0*l - l + 8 = t. Solve -4*n + l = -y*b, -5*b - n + 2 = -4*b for b.
0
Suppose 16*k - 12 = 13*k. Solve 5*w = k*a + 13, 4*w = 1 + 19 for a.
3
Let c(q) = -q**3 - 14*q**2 - 2*q - 230. Let v be c(-15). Solve 4*l + 20 = -5*z, 8*l - 3*z = 13*l + v for l.
-5
Suppose 0 = -0*y + 2*y + 9*y. Solve 3*r + r - 20 = 2*t, -2*r - t + 10 = y for r.
5
Suppose 2*i + 5*u = 4*i - 3, -3*u = -15. Solve 14 = 2*m + 2*h, -6 = -5*m - 2*h + i for m.
2
Suppose 5*z = 4*z + 3. Suppose 3*w + 2 = 26. Suppose w = -l + 11. Solve -6 + 1 = z*a - 4*v, l*v - 7 = -a for a.
1
Let j = -576 - -578. Solve -2 = b - j*g + 3, -5*g + 14 = -3*b for b.
-3
Let d be (-10)/(-3) + (-4)/(-6). Let n(t) = 2*t**2 - 4*t - 12. Let h be n(d). Solve -p = h*y + 4*p + 10, p = 2 for y.
-5
Suppose -2*d + 0*d + 34 = 0. Let w = -288 - -293. Solve -4*o + p - 13 = 0, -d = o - w*p + 2*p for o.
-2
Let p be 143/(-572)*0/(-1). Solve -6*t = -5*b - 9*t - 14, p = 2*b - t + 10 for b.
-4
Let d = -1257 - -1266. Solve -3*x = 4*c + 25, -2*x - x = d for c.
-4
Let y(k) = -3*k + 14. Let g be y(-10). Let u = g + -42. Solve 0*s - 2*s + 6 = 2*v, -2*v - u = 0 for s.
4
Let f = -22 - -31. Suppose -f = 5*y - 9. Solve 5*j + y*j + 6 = -3*t, -t - 4*j - 9 = 0 for t.
3
Suppose -17*z + 22*z = 15. Solve -2*j + 0*g + 8 = 3*g, z*g - 18 = 3*j for j.
-2
Let k(x) = x**2 + 2*x - 11. Let q be k(-5). Let z be (-8)/(-2) - (5 - 6). Suppose -z*v + 3 + 17 = 0. Solve 2*i = 4*p - 14, -4*i - q*p = -4 - v for i.
-1
Suppose -7*l + 2*l - 10 = 0, 5*p - 4*l - 78 = 0. Let z be 9/21 - (-22)/p. Let k be 12/8 + z/4. Solve -r = 5*g + 4*r - 15, -5*r = -k*g - 22 for g.
-1
Let