 0*v for n.
2
Let i = 54 - 48. Suppose -3 = -v, 7*t - 5*v = i*t - 15. Let d be (-5)/(-2)*2/1. Solve 2*g - y + 9 = t, -d*y + 4 = -y for g.
-4
Let l be 16/(-20) + 16/20. Suppose l = 2*d - 0*d - 20. Solve -4*z + d = -2*z - 4*b, -3*z = 2*b - 15 for z.
5
Let q = -5 - -49. Suppose -4*u = -2*h - q, 2*u - 15 = -u. Let x be -2*3/(h/10). Solve -2*p - 20 = x*t, t - 2*p = p - 4 for t.
-4
Let i(n) = n**2 - 4*n + 3. Let w be i(7). Let p = w + -22. Solve -2*k + 10 = v, 0*v + 16 = p*v + 3*k for v.
2
Let n(j) = -12*j - 8. Let k be n(8). Let x = k + 46. Let f = -39 - x. Solve 4*g = d + f, 5*d = 3*g - 6*g + 20 for d.
1
Let p = -102 - -103. Suppose -p = -k - 1. Solve 2*y + f - 8 = -k*y, 3*f - 15 = -3*y for y.
3
Suppose -37*j + 34*j = -24. Solve -v - v - j = 4*s, 0 = 4*v - s - 20 for v.
4
Suppose 4*w - 4 = -4*n, 3*w + 22 = 2*n - 0*n. Suppose 2*q - 2 = -5*s + 8, 0 = q + n*s - 5. Solve 0 = 4*i + o - 0*o - 1, -3*i + q*o = 28 for i.
-1
Suppose -10 = -2*g - 0. Suppose g*f = 4*f + 5. Solve a + 3 = -5*m - 1, f*m + 5*a = -20 for m.
0
Let k be (-33 + 29)*(2 + -1)/(-1). Solve -k*s = -3*c + 15, -3*c - 3*s + 15 = -2*s for c.
5
Suppose -2*f = -x - 3 - 10, 5*f = -3*x + 16. Suppose -f = -2*o - 3*h + 3, 0 = -5*h. Suppose 5*z - 36 = z. Solve q + 0*q = o*n - z, 5*n = 5*q for q.
3
Let d(k) = -k**3 - 10*k**2 - 10*k - 7. Let u be d(-9). Suppose u*g - 28 = 4. Solve 4*v = 5*w + 9 - 2, -4*v + g = 4*w for v.
3
Let i = -139 - -143. Solve -5*k = -y - i*k + 1, -5*y = -3*k - 5 for y.
1
Let r = 1196 + -1193. Solve -5*s = 3*l + 6 - 10, r*l - 6 = -3*s for l.
3
Suppose 0 = 2*o + 3*o - 3*t - 48, 0 = -2*o + 4*t + 22. Let g = 955 + -952. Suppose g*w - o*w = 0. Solve w = -3*z - 0*l - 2*l - 4, -5*l + 28 = -2*z for z.
-4
Suppose 0 = 5*q + 5*r, 3*q = 4*q + 5*r - 4. Let g be 12/5 - 4/10. Let w be q - 9/((-6)/g). Solve -l - w*l = -2*y - 15, -2*l - 3*y = -10 for l.
5
Let w = -16 + 56. Suppose o + 4*o = w. Suppose 0*u - o = -2*u. Solve -20 + 2 = -z - u*s, 0 = -4*z + 3*s - 23 for z.
-2
Suppose 0 = 8*o - 32. Solve -t - 2 = 4*h + 2, 2*t = o*h - 8 for h.
0
Suppose 36 = 2*p + 4*d, -3*p = 5*d - 7*d - 14. Solve -p = k + k, -4*f = -2*k - 20 for f.
3
Suppose 24 = 4*v - 0*v. Suppose 3 - v = -3*f. Solve 4*b - 17 = s, 2*b - 9 = f for s.
3
Let h = -65 - -68. Solve 2*f + 5*r = -2*f + 12, f = -3*r + h for f.
3
Let p be (-2 - (1 + -1))*(-78)/52. Solve -u + 17 = -5*v, p*v - 3*u + 4*u = -7 for v.
-3
Let l be (-2)/4*(-220)/10. Let r = -4 + 16. Suppose 5*t - t - 2*n - r = 0, -t - 4*n = -12. Solve -t*b - l = -3*a, 0*a - 2 = -a + b for a.
-3
Let p(f) = -11*f + 2. Let x be p(-6). Let i = x + -41. Let w be i/8 + (-9)/24. Solve n + 2*r = w, -4*r + 15 = -2*n - r for n.
-3
Suppose 5*d + 10 = -u, -2*u - d - 2*d - 6 = 0. Let s be 8/6*(u + -3). Let o = s + 9. Solve 4*g + o*v + 36 = 12, 0 = 4*g + 3*v + 16 for g.
-1
Let o(t) = -3*t + 92. Let z be o(28). Solve 2*d = 4*l + z, -2*l + 0 = 6 for d.
-2
Suppose 0 = -v - 2*r - 8, 8 = 2*v - 0*r - 2*r. Solve -3*n + p + 10 = v, -3*n - 4*p + 8 = n for n.
3
Suppose 0 = 6*r - 583 + 571. Solve -4*j = -2*h + 14, 2*j + 11 = -r*h + 7 for h.
1
Suppose -5*f + 5*y - 110 + 435 = 0, -f + 4*y + 74 = 0. Let h = 13 + -34. Let q = h - -26. Solve q*b - 3*k + f - 22 = 0, 0 = 2*k - 10 for b.
-5
Let y(s) = -s**2 + 24*s - 113. Let b be y(17). Solve 3*d - 3*k = 21, d + k = -b + 5 for d.
3
Let p be (-5)/15 - ((-12)/9)/4. Suppose p = 5*y - 3*y. Solve 0 = -5*d + w + 8 + 15, y = -4*w - 12 for d.
4
Let g = -1 + 3. Let u(c) = g*c + 14 - c + 0*c. Let d be u(-12). Solve 3*r + d*r + 17 = -2*z, 0 = -r + 3*z - 17 for r.
-5
Let g be 1/((4/20)/((-12)/(-15))). Suppose -i - 16 = o + 3*i, 0 = o - g*i - 24. Solve 3*z + 7 = -o*c, 11 = -4*z + z - 5*c for z.
3
Let k = -44 - -69. Suppose 5*r - k = i, -i = -2*i. Solve 5*y + 4*v = 5, -r*y + v - 30 = -2*v for y.
-3
Let i(g) = -4*g**3 + 2*g**2 - 1. Let v be i(1). Let x = 169 + -152. Let z = v + x. Solve 3*w - 2*w = 3*a + 11, 4*a - w = -z for a.
-3
Let p be -23 - ((-6)/(-3) + -1). Let q = -24 - p. Solve 3*y + 3*g + 3 = -q*y, 2*g = 3*y + 23 for y.
-5
Suppose -3 + 5 = a. Suppose 5*h = -40, -2*i - 4*h - 329 + 303 = 0. Solve -8 = 3*g + z + a, 2 = i*g - 2*z for g.
-2
Let d = -2 - -26. Suppose 3*o - 2*r + 12 = 5*o, -d = -5*o - 3*r. Suppose -5*k = -o*f - 32, -2*f - 25 = -4*k - 1. Solve 5*b = 2*a - k - 3, 3*b = -a - 13 for b.
-3
Let o be -3 - 1 - (6 + -7). Let x be o/(6/(-4)) + 1. Suppose -2*a - a = -15. Solve 3*z + 3*y - 6 = 0, x*z = y - a*y + 8 for z.
0
Suppose 2*c + 4 = 3*c. Let g(x) = -x**2 + 7*x - 4. Let s be g(6). Let h = s - -3. Solve h*n - c*o + 35 = 3, n - 4*o + 16 = 0 for n.
-4
Let x = 3256 - 3252. Solve -5*g + 2*p + 2*p + 3 = 0, g = x*p - 9 for g.
3
Let q be (-58)/5 - (-6)/(-15). Let d = -4 - q. Solve -2*r - 4 = 0, -6*j + 5*j = 3*r + d for j.
-2
Let t = 1489 - 1484. Solve -2*n = 3*i - 14, 4 = -t*n + 4*i - 7 for n.
1
Let i = 274 + -259. Solve 4*z = -5*k + 20, -3*k - 2*k + i = 3*z for k.
0
Let w(a) = 45 - 38 + 4*a - 5*a. Let o = -2 + 5. Let g be w(o). Solve -g*u - u - 22 = 2*r, 4*u + 14 = 2*r for r.
-1
Suppose f = 6*f - f. Solve 0 = 3*q + u - 6*u - 19, f = -4*q + 2*u + 2 for q.
-2
Suppose -3*d + 20 = h, 3*d - 4*h + 5 = 15. Let l(q) = 2*q**2 + 2*q + 4. Let s be l(-6). Suppose -d*g - s = -10*g. Solve 0 = -4*n - g, -4*a - 4 = a - 4*n for a.
-4
Suppose 2*i - 2 - 38 = 0. Suppose i = 5*t - t. Let m be 70/245 + 24/14. Solve 4*h - 2 = m*b, -5*h + 4*b - t = -0 for h.
3
Let j(y) = -y**3 - 11*y**2 + 12*y + 13. Let n be j(-12). Let w = n + -11. Suppose 25 = 3*q + w*q. Solve -16 = 2*s + 3*u, -3 = -q*s + u - 9 for s.
-2
Let i be 18*1*(-12)/(-18). Solve -5*m + 15 + i = v, -5*v - 5 = -3*m for m.
5
Suppose 0*h = 3*h - 288. Suppose 3*k - h = -k. Let w = 46 - k. Solve w = 3*b - 2*z, 4*b - 4*z = 3 + 33 for b.
4
Suppose 21*m - 18*m - 2*z - 1 = 0, 3*m - 5*z + 11 = 0. Solve 2*w + r - 10 = m*r, 5*w = -r + 1 for w.
1
Let f be (-15)/(-3) + 3 + -38. Let v be 2/(-3)*225/f. Solve v*i - 4*u = 10, 0 = 5*i + 7*u - 2*u + 35 for i.
-2
Let j = -17 - -25. Let n be (2/j)/((-11)/(-748)). Let l = 0 + n. Solve -s - 3*v - l = v, -v = -2*s - 7 for s.
-5
Let y be (0 - -4)*(-12)/(-3). Suppose 2*q = 4*i - y, -q - 20 = -8*i + 3*i. Solve -5*t + 2*d - 8 + 0 = q, 4*d = 2*t + 16 for t.
0
Let i = -276 + 281. Solve -m - m - i*b = -26, 4*m + 4 = 4*b for m.
3
Let v = -1 - -3. Suppose -4*p + 0*p = -3*k + 3, -v*k = -2*p - 2. Suppose 4*s + k = 9. Solve 5 = s*b - g - 0, -5*b = -2*g - 13 for b.
3
Let c be (8 - 3) + 0 - (35 + -30). Suppose -3*t - 5*j + 9 + 58 = 0, -4*j = 2*t - 48. Solve c = -2*n + 5*l + t, 0*n - 5*n + 2*l - 7 = 0 for n.
-3
Let c(t) = -8*t**2 + 10*t + 5*t**2 + 2 - 4*t + t**2. Let v be c(3). Solve 5*s = -5*u - 5, s = v - 1 for u.
-2
Suppose 0 = 4*k + 5*a - 13, -5*k - 4*a + 23 = 9. Suppose -27*u + 30*u - 42 = 0. Suppose 2 + u = 4*m. Solve -f + 0*f - 13 = -k*d, -4*d = m*f + 4 for d.
4
Suppose 0*u + 5*u - d - 70 = 0, 2*u + 4*d - 50 = 0. Let x be (20 - 22)/(-2 + 1). Solve -8*q - h - u = -3*q, 0 = x*h for q.
-3
Suppose 7 = 2*o + 11. Let d be 12*(2/o)/(-2). Suppose d*s = s. Solve 5*w + s*x - 25 = -x, -5 = -x for w.
4
Let k(y) = -y**2 + 3*y - 3. Let m be k(2). Let z be m + (4 - 3) + -2. Let u be -1 - z - 0 - -3. Solve -3*g + 13 = o - 0*g, 20 = u*o + 4*g for o.
1
Let c = -10 + 12. Suppose 0 = c*m + 2*k + 4, -4*m + 7*m = 4*k + 8. Suppose m = 2*j - 19 - 45. Solve 4 = s + b + 5, 4*s - 3*b + j = 0 for s.
-5
Suppose g + b - 2 = 0, -5*b = 2*g - b + 4. Solve 3*j - 9 = -z, -2*j + g = -0 for z.
0
Let l(c) be the first derivative of 3*c**2 + 38*c + 1. Let u be l(-6). Solve -3*s = u*n + 2, -n + 4*s + 0 - 1 = 0 for n.
-1
Let z be (-5)/15 + 3 + (-2)/(-6). Suppose z*w = 4*w - 12. Suppose -3*p - 13 = 4*i - 35, 4*i = 5*p + 6. Solve -w = 2*q - 4*v, 0 = p*q + q - 2*v + 2 for q.
2
Suppose 4*f + 32 = 4*v, 5*v - 4*f - 52 = -16. Solve -3*n = v*r - 1, 2*n + 2 = 4*n + 4*r for n.
-1
Suppose 77*i - 67*i = 40. Solve -i*g - 10 = -3*u - 9*g, -3*u = 3*g for u.
-5
Let h be 580/120 - 5/(-30). Solve 3 = -3*q - 0*q, 0 = -v + h*q + 4 for v.
-1
Let g = -6 + 11. Suppose -8*n = -2*q - 9*n + 2, -5*q - 4 = -2*n. Solve k - i + g = 0, q = -3*k - 4*i - 3 + 23 for k.
0
Let l = -84 + 82. Let t be (l - -3)/1*(-7 - -10). Solve i + 3*i = 5*q + 17, -9 = -3*i + t*q for i.
-2
Suppose -h + 0*h - 2*z + 3 = 0, -3*z = -4*h - 32. Let t be ((-18)/30)/(1/h). Suppose 2*f + t*f = 0. Solve 5*v + 4*q - 