- 2*q = n, 3*n + 3*q = 0 for n.
0
Let j be -8 - (0 - 2)*5. Solve -2*k = j*n - 10, 5*k + 2*n - 4*n - 18 = 0 for k.
4
Suppose -10*c + 6*c = 4. Let d be (0 - (2 - -1)) + 4. Let j be (c - -36)/(d - 0). Solve l - j = 5*g + 6*l, -4*l - 24 = 3*g for g.
-4
Let u(a) = 4*a**2 - a - 1. Let d be u(-1). Suppose d*y + 5*x - 166 = -43, 0 = y - 3*x - 52. Solve 5*g - 4*z = -y, 5*z = -4*g - 4 - 1 for g.
-5
Let j = 1159 + -1154. Solve 5*x - 2*x - 4*r + 5 = 0, 3*r + 10 = j*x for x.
5
Suppose 7*p - 456 = -p. Suppose 0 = -52*g + p*g - 20. Solve 2*b + 4*f = -2, 0*b = 3*b + g*f + 7 for b.
-5
Suppose 0 = 9*i - 6*i + 4*p - 52, 20 = 5*p. Solve 8*a - 3*a - 4*g = 16, -i = 3*g for a.
0
Let v be (-3)/(-4)*(4 - 0). Suppose -12 = -t - 17, -2*k - 3*t = -3. Solve 0 = -4*j + 12, v*o + 3*j = 5*o + k for o.
0
Suppose -9*k + k = -136. Suppose -6*v + 8 = -q - 4*v, 4*q - 5*v = -k. Solve 3*p - 3 = -q*i, -i + 6 = 2*i + 5*p for i.
-3
Let y be (-4 - 2)*2/(-3). Suppose 3*v = -d - 0*d + 2, 0 = d - 2. Suppose 0 = -v*z - 5*z + 10. Solve 8 = -z*u + 4*u, y*j + 16 = 4*u for j.
0
Suppose -5*x - 27 = -v, -5*v + v + 3*x = -40. Solve -2*d + n + 14 = -n, -4*d - 3*n + v = 0 for d.
4
Let v(r) = -166*r + 6. Let n be v(-3). Let b be (n/(-15))/(-6) - 3/5. Solve 0 = 3*l - 0*l, 0 = b*o + 2*l - 5 for o.
1
Let v be -1 + 2 + 4 + 0. Suppose -v*j - 105 = -10*j. Solve -5*g - 14 = -2*a + j, -a + 2*g + 15 = 0 for a.
5
Let q(j) = -6 + 9*j - 5 - 4*j. Let v be q(3). Solve 3*b + 3*u = -b - 17, 0 = v*u + 12 for b.
-2
Let s = -366 - -369. Solve 3*o + s*g = 12, 0 = -o + 2*g - 1 - 4 for o.
1
Let j = 38 + -37. Let h be j/2 - 15/(-10). Let a = 5 + -2. Solve 0 = -h*f + d, f - 16 = -f - a*d for f.
2
Suppose 411*r = 404*r + 49. Solve 5*a + 4*d = -41, 0 = 5*a - 2*d + 24 - r for a.
-5
Let r(c) = -3*c**2 - 34*c - 6. Let b be r(-11). Solve 3*q = -b*z - 25, 2*q + 2*z = -2*q - 24 for q.
-5
Let r be (-14*2 + 0)/(-67 + 65). Suppose -r*o = -50 - 6. Solve -o*a + 2*q + 4 = 4*q, -2*q = -2*a - 10 for a.
-1
Suppose 4*r = 9*r - 50. Suppose 5*w + r = 7*w. Solve p = -4, k + 3*p + 6 + w = 0 for k.
1
Let a = -1552 - -1562. Solve c + 12 = -3*g, 4*c + 8*g = a*g + 22 for c.
3
Let k be (-11)/66 + (-7)/(-6) + 2. Solve 32 = 4*c - 3*a, -5*c + 0*a + 13 = k*a for c.
5
Let c = -68 - -75. Solve -2*a - 4*u = -16, -4*a - c*u = -2*u - 20 for a.
0
Let p(o) = 4*o - 5*o + 2*o. Suppose 5*j - 25 = 0, -4*r + 0*j - 2*j + 58 = 0. Let q be p(r). Solve -3*m + 0*u + 4*u + q = 0, 0 = u for m.
4
Suppose -g = 2*g - 6. Suppose 0*t + 53 = 3*t - 4*c, 2*c - 26 = -g*t. Let v be 0 - (-5 + 6*4/8). Solve 0 = k + v*m - 6*m + 15, -5*m = -t for k.
-3
Suppose 4*f - 1 - 3 = 0. Let m be 7 - (-1 - (-3 - f)). Suppose -2*y - 4*n + 22 = 0, n - 3*n = 4*y - 26. Solve 4 = -g + 3*w - 0, y*g + 1 = -m*w for g.
-1
Let c(l) = -l**2 + 2*l + 6. Suppose 11*q - 6*q = 15. Let n be c(q). Let m be 26*4/24*n. Solve -i = j, -5*i + 37 = -5*j - m for i.
5
Let y = -1 - -8. Suppose 22 = 2*h + 4*d, -4*d = 7 - 3. Suppose -5*o - 2*f + 37 = 0, -5*o + 5*f + 17 = -h. Solve o = -2*k + 3*j - 4*j, 3*k - y = 2*j for k.
-1
Let y = -30 - -33. Suppose 5 = y*h + 4*a, 0*h = -4*h + 3*a + 15. Solve 0 = 2*o - h - 1, 5*j - 4*o - 7 = 0 for j.
3
Let a be (-3)/21*-2 + 416/112. Solve a*f - 2*x - 2*x = 8, -3*f - 2*x = 9 for f.
-1
Let k(t) = -t**3 - 5*t**2 + 7*t + 9. Let b be k(-6). Let m = 80 + -69. Solve -b*y - 4*c = -m, -2*y - 2*c + 13 = -3*y for y.
-3
Let w = 12 + -11. Let g be (24/10)/(5/(-50)). Let j = 28 + g. Solve 3*i + 4 = -j*f + w, 4*i - 4*f + 4 = 0 for i.
-1
Suppose 2*t - 3*c - 19 = 0, 5*c = t - 0*c - 27. Suppose t*q - 13 + 5 = 0. Solve 2*a + q*x + 0 + 2 = 0, 7 = 5*a + 4*x for a.
3
Let l be ((-136)/(-12))/(34/51). Solve -3*q = 4*b - q + 22, -3*b - l = 2*q for b.
-5
Suppose 0 = u - 13 + 32. Let o = u + 21. Solve -3*d - 2 = t, -d - 14 = -t - o*t for d.
-2
Let p = -333 + 337. Solve 2*t - t = -p*a + 15, 4*t + 3*a = 21 for t.
3
Suppose 4*p = 47 + 49. Suppose 5*q + 7 = -3*i - 1, -3*i + p = -3*q. Solve i*r - 21 = 5*j, -2*r - 2 = -5*r + j for r.
-1
Let n(o) = 2*o**3 - 34*o**2 - 8*o + 139. Let b be n(17). Solve -b*w - 23 = x - 6*x, 5*x - 16 = -4*w for x.
4
Suppose -45*m + 115 = -50*m. Let n = -19 - m. Suppose 0 = -2*g + 13 + 5. Solve -n*v - 5*t - 20 = -5, v - 4*t = -g for v.
-5
Let i = -8 + 25. Suppose -7 - i = -4*x. Solve 2*c = -x, 2*k - 3 - 16 = 3*c for k.
5
Suppose 3*w + 4*s = 4*w - 14, -3 = 3*s. Suppose 0 = -4*d + d + 21. Solve 2*h - d*h - 4*f = -15, 2*f = w for h.
-1
Suppose -155*k + 42 = -149*k. Solve w = -3*n - k, -2*w + 5 + 2 = -n for n.
-3
Let q be (-4)/(-26) + 22/(-143). Solve -4*c - 20 = -2*m, -3*m = -q*c - 5*c - 27 for c.
-3
Let z be -1 + (2*2 - 0). Suppose -608*b + 609*b - 3 = 0. Solve z*a - 3*v = a, b*v = 0 for a.
0
Let m(c) = c**3 - 2*c**2 + 7*c - 27. Let q be m(3). Solve -t = -x - 1, 3*x + t + 6 = q for x.
-1
Let d = -328 - -338. Solve -2*i - 14 = -4*q, 2*q + 4*i = 2*i + d for q.
4
Let s be (-3)/(-3 - (-6 - -4)). Suppose -3*p - 60 = -s*l - 0*p, -l = 3*p - 8. Let g = -1 - -1. Solve 2*t + l = -3*t + 3*n, g = 3*t - 3*n + 9 for t.
-4
Let v = 96 + -88. Suppose 4*q = -3*c + 5, 5*q - 3 = v*q. Solve 0 = 3*p + 5*r + 6, 3*p - r = 15 - c for p.
3
Let k(o) = o**3 + 8*o**2 + o + 11. Let u(q) = 9*q**3 + q**2 + q + 1. Let r be u(-1). Let z be k(r). Solve -3*t + 8 = -0*t - 4*d, z*d + 1 = t for t.
4
Let p(d) = -d**3 - 3*d**2 + 3*d + 7. Let w be p(-3). Let c be 0*(1 + w) + 4. Solve 0 = -5*v - 4*g - g, -2*g - 12 = -c*v for v.
2
Let s = 970 + -970. Solve -r + s*l + 4 = -4*l, -2*r = -2*l + 4 for r.
-4
Suppose 4*m = 5*m - 7. Suppose -m = -o - 9. Let p be (0 - (o + 3)) + 1. Solve 2*t + p - 5 = -d, -2*d - 5*t + 11 = 0 for d.
3
Let g = -7 + 31. Let r = g - 20. Suppose -l = -5*l. Solve -2*k + l*z = 2*z - r, -4 = -2*z for k.
0
Let i(s) = -s - 21. Let k be i(-26). Solve -m + k*p - 11 = 5, -4*m - 2*p = -24 for m.
4
Let i = -31 - -7. Let t = i + 26. Suppose -t*n - 3*n + 25 = 5*o, 0 = -n. Solve -v = -o*a + 12, -2*a = 4*v + 3 + 1 for v.
-2
Let p(d) = 4*d**2 + 3*d. Let t be p(-2). Suppose t = g + g. Suppose 0 = g*w - 0*w - 20. Solve -a - 3 = c + 3, 3*a = w*c - 11 for c.
-1
Suppose -21 = -4*d - 13. Suppose 0*s + d*s = 10. Suppose 32 - 2 = s*g. Solve 0 = 2*p - g, -6*p = -2*h - 3*p - 9 for h.
0
Let x(o) = o - 10. Let u be x(7). Let g be (-8)/u*147/28. Solve w = -z + 3 + 1, -g = -4*z - 3*w for z.
2
Suppose 0 = 4*y, 2*r - 3*y - 5 = 3. Solve p + 5*i = -r*p, -3*p - 5*i = 0 for p.
0
Let a be (9 - -2 - 9)*3/2. Solve 5*i - 2*u + 4*u - 15 = 0, a*u = 5*i - 15 for i.
3
Suppose 0 = -11*l + 8*l + 6. Suppose -2 = l*k - 12. Solve -2*w - 7 = -w + 2*q, k*q = 2*w - 13 for w.
-1
Let r(o) = o**2 + 104*o + 498. Let n be r(-5). Solve -z + 3*v - 7 = 0, 3*z + 6 + n = 5*v for z.
2
Suppose 4*b - 4 = -2*h, b - 5*h - 2 = 10. Suppose -b*j = -14*j + 24. Solve -f - 3*u - j = -4*u, 3*f = -3*u + 24 for f.
3
Let f = 30 + 22. Suppose -3*d = -7*b + 2*b + f, -d + 20 = 3*b. Solve b*m + 22 = 3*m - 3*v, -4*v = -4 for m.
-5
Let c = -191 + 215. Solve 3*x + 2*t + t + c = 0, -2 = x - t for x.
-5
Let s = 268 - 265. Solve -6*o - 2*t = -o - 6, -5*o + s = t for o.
0
Let h = -41 - -66. Let o = h + -22. Solve 5*x - 12 + 0 = -o*p, 2*x - 2*p = -8 for x.
0
Let n(i) = -i**2 - 4. Let a be n(0). Let y be 10*3/(-24)*a. Let p be 0*3/(-6)*1. Solve 4*u - 2*d - 2 + 16 = p, 0 = -y*d + 15 for u.
-2
Suppose 5*u + 86 = 3*g, -4*u - 5 - 19 = -g. Let f = -27 + g. Suppose 0 = -3*r - 5*v + 6, -f*v + 12 = 5*r + 2. Solve 3*n - 1 = q - 6*q, 2*n + 2 = -r*q for n.
-3
Suppose 2*j + 7*x = 2*x + 31, -3*j - x + 66 = 0. Let m = j - 18. Solve -5*c - 35 = -0*s - m*s, 0 = -4*s + 3*c + 26 for s.
5
Suppose -5*n + 28 = -29*f + 32*f, f + 19 = 4*n. Solve 0 = 2*c + 4*j + 2, -3 - f = 3*c + 5*j for c.
-3
Let b(o) = -12*o**2 + 9*o - 1. Let v be b(3). Let t = -79 - v. Solve -2*u + 33 = 2*c + 3*c, -2*c + 22 = t*u for c.
5
Suppose 23*f = -11*f + 19*f. Solve f = r - 2 + 4, 3*r + 6 = -5*v for v.
0
Let v(m) = -29*m + 322. Let i be v(11). Let o be ((-6)/(-4) - 1)*-6. Let y be o - (-1 - 1) - -12. Solve -3*w - y = 2*x, -i*w - x + 0*x = 7 for w.
-1
Suppose 5*n = 5*r - 85, 24*r - 22*r - 3*n - 30 = 0. Let g(x) = -x + 4. Let q be g(4). Solve f + 5*l = l - r, q = -5*f + l for f.
-1
Let x(i) = 2*i**2 - 3*i - 1. Let q be x(3). Let h = -41 + 93. Let a be (h/16)/(1/q). Solve -d = 2*l + 2*l + 7, 0 = 4*d - 2*l - a for d.
5
Let v = 0 - -3. Suppose -440 = 2*i