j - 12 = 3*o, 3*o + 2*o + d*j = g for o.
0
Let q be (-8)/(-48)*18 - -2. Solve 0 = 2*j, -2*v - 5*j - q = -7*v for v.
1
Suppose -100 = -4*v - 0. Suppose 10*o - 5*o - v = 0. Suppose 2*a - 45 = -a + 3*t, -3*a = o*t - 77. Solve -4*g + u = -10, -g = 4*g + 2*u - a for g.
3
Let r(v) = 2*v - 24. Let f(c) = -c**3 + 6*c**2 + 9*c - 2. Let q be f(7). Let a be r(q). Solve 4*y = -4*d + 4 + 12, -2*y + 2 = a for d.
3
Let c be (-2)/(-9) + 178/9 + 0. Solve c = 4*u + 4*q, 0*u - q + 9 = 2*u for u.
4
Suppose 4*l + l - 45 = 0. Suppose -2*m + l + 5 = 0. Let z be 1*(4 - m - -3). Solve n + 3*v + 3 = z, -3*n - 3*v - 3 = -0*v for n.
0
Suppose 2*y = -m + 6, y + 4*m = 3*y + 4. Suppose -3*q - y*q = 10, -2*q - 10 = -2*g. Solve -5*n - 20 = 0, -16 = -3*o + n + g*n for o.
0
Suppose 4*y - 3*n + 20 = 5*y, 3*n = 3*y. Solve y*i - u = -15, i - 18 = 3*i + 2*u for i.
-4
Suppose 7 = 4*i - 5. Suppose 11 = -3*z + i*u + 2, 3 = -2*z + u. Solve 2*t = 0, z*t - 12 = 4*l - 2*t for l.
-3
Suppose -2*c + 3*q + 5 = -4, 4 = c - q. Let z be (-9)/(((-1)/c)/(3/9)). Solve -3*n + z = -3*t + 3, 5*n = 20 for t.
2
Let v be (93/(-18) - -5)*(-100 + -2). Solve 3*r - 3*c = 21, c + 10 + v = 5*r for r.
5
Suppose 0 = -3*m + 4*u + 3, 7*u + 16 = 5*m + 4*u. Let s = -24 + 38. Suppose 0 = 8*h - 10*h + s. Solve 2*p - m*p = -v - h, 5 = 4*p + 3*v for p.
2
Let o(x) = 17*x - 39. Let i(p) = -11*p + 26. Let w(u) = 8*i(u) + 5*o(u). Let f be w(4). Solve -q - 3*b = -13, -f = 5*q - 4*b + 10 for q.
1
Let o(n) = 2*n**3 + 2*n**2 - 3. Let u be o(-2). Let g be u/22 + 1/2. Suppose g*p = p - 2. Solve 2*v + 15 = 4*d + 3, p*d = -v + 10 for v.
2
Suppose -1673*c = -1666*c - 14. Solve 12 = 2*w - c*y, -4*w - 3*y - 3 - 1 = 0 for w.
2
Suppose 176 = 66*q - 22*q. Solve 2*c - 4*m = -2, 0 = 4*c - 4*m + m + q for c.
-1
Let c(j) = -j**3 + 49*j**2 - 52*j + 196. Let d be c(48). Let w(i) = -3*i**2 - i. Let h be w(-1). Let z = d + h. Solve 5*o - z*o = 3, -5*o + 9 = -b for b.
-4
Let a = 12 - 12. Let x(v) = -v - 1. Let m be x(-6). Suppose 3*w - 5*l + 20 - 6 = a, 4*l = m*w + 6. Solve 3*i = -4*f + 6, 0 = -w*i - f + 4 for i.
2
Let k be 12/20*5*14. Let z = -42 + k. Solve 2*d + 4*n - 2*n + 4 = 0, z = 2*n for d.
-2
Let p(g) = -7*g**2 + 52*g - 17. Let f be p(7). Solve 3*h + 0*h - 4 = f*k, -5*h + 3*k + 3 = 0 for h.
0
Let b = 25 - -1. Suppose -x - 5*p = -2*p - 17, -2*x = 4*p - 28. Suppose -2*d = -5*n + 14, -d - 3*n = d - 18. Solve -d*r = -y - x, b = r + y - 6*y for r.
1
Let l be ((-2)/(-6))/((12 + -18)/(-54)). Solve 22 = -l*n + 5*q, 3*n = 3*q - 11 - 7 for n.
-4
Let f(m) = 10*m + 165. Let t be f(-16). Solve 0 - 4 = 3*c + t*z, -c + 10 = -4*z for c.
2
Let u(k) = 3*k**2 + 3*k + 2. Let v be u(-3). Suppose 3*l - 2*l = v. Suppose -12*s = -23 - 37. Solve 5*y - s*j = -25, y + 2*j = -2*j + l for y.
0
Let j = 91 + -87. Suppose -4*u + 124 = -j*l, 5*l = -2*u + l + 86. Solve 5*p + 4*x - u = -0*p, -4*x + 11 = -3*p for p.
3
Suppose 29*b = -20 + 165. Solve -20 = 4*k, -u + b*u + k = 3 for u.
2
Let r(s) = -s**3 - 8*s**2 - 16*s - 19. Let j be r(-6). Solve -j*d - 4 + 14 = -5*i, i + 5 = 4*d for d.
1
Let p = 219 - 216. Solve -2*d + 30 = -5*c, 5*c = -2*d + p*d - 25 for d.
5
Let j = 0 - -3. Let r = -5 - j. Let h = r - -8. Solve h*n + 4*d + 32 = 3*n, 4*n = 4*d + 36 for n.
4
Let t be ((-6)/21)/((-5)/35). Solve -5*v - 5*z - 5 = -6*v, -t*z - 2 = v for v.
0
Let y(i) = -i**2 + 4*i + 3. Let k = -2 - -6. Let o be y(k). Let t(j) = j**3 + 25*j**2 - 50*j + 118. Let h be t(-27). Solve o*c = 0, 6*u = u - 5*c + h for u.
2
Suppose -y = -5*c - 10, -3*y - 2*y = 4*c + 8. Solve -5*l = -y*h - 3*h + 10, -4*h - 2*l - 4 = 0 for h.
0
Suppose 5*j = -3 + 18. Suppose -4*s = a - 10, 5*a - 16 = s + 13. Suppose a*w = 10*w - 16. Solve j*u + 2 = -3*t + 8, -t = -w*u + 23 for t.
-3
Let t = 14 - 11. Solve -4*m - 17 = t*w, -4*m - m = 2*w + 23 for w.
1
Let s(w) = -w**3 - 3*w**2 - 3*w - 5. Let z be s(-3). Let h be (z + 6/(-2))*(4 + 7). Solve 0 = -0*c - 3*c + a - h, -2*c = -a + 6 for c.
-5
Suppose 0 = -3*u - 0*u + 117. Suppose p + u = 4*p. Suppose -p = -c - 10. Solve 0 = c*n + x - 15, n + n + 4 = 4*x for n.
4
Let i(m) = 14*m. Let r be i(-1). Let q be 1/(-6) + (-776)/(-48) + 1. Let j = r + q. Solve 9*n - 4*n = -10, j*n + 6 = 2*d for d.
0
Let o(p) = 10*p + 124 - 127 + 0*p**2 - p**2. Let g be o(7). Solve 0 = -0*f - 2*f + 3*z + g, -32 = -4*f + 5*z for f.
3
Let s be 70/(-175) - 34/(-10). Solve -4*a = -3*t + 9, s*t + 15 = -2*a - 2*a for a.
-3
Let s = 122 + -91. Suppose a + 2*i - s = 0, 0 = 5*a - 3*i + 1 - 91. Solve 2*y = -y - u - 16, -4*u = -5*y - a for y.
-5
Let r(i) = i**2 + 4*i - 2. Let u be -3 + -2*(2 + -1). Let z be r(u). Solve 0 = -3*w - 4*a - 12, -2*w - w = a + z for w.
0
Suppose -8 = 3*l + 10. Let g be ((-8)/l)/(42/63). Solve -c = -2*n + 3*n + 7, -g*c + 6 = -3*n for c.
-3
Suppose -4*o - 11 = 2*q - 73, 0 = 3*o - q - 34. Suppose -z - 2*z = -12, -4*t - 4 = -3*z. Solve 5*y = -l - 2*l - 34, -t*y = l + o for y.
-5
Let z(k) = 2*k**2 + 5*k + 3. Let c be z(-3). Let t be -3*((-22)/c + 2). Solve -4*h - 6 = 2*m, 4*m - 5*m - 6 = t*h for m.
-1
Let f(w) = w**3 + 32*w**2 + 15. Let o be f(-32). Solve 2*h = 2*b - 13 + o, -4*b = h - 6 for h.
2
Let m(i) = -8*i - 52. Let x be m(-7). Solve 0 = x*a - w + 11, -a + 5*w - 11 = -3*a for a.
-2
Suppose -3*y = -3*g - 2*g - 64, 10 = y + 4*g. Solve -2*k = 5*f - y, 1 = -4*f + 9 for k.
4
Suppose 4*l - 20 = 0, 3*l - 4*l + 13 = 4*w. Suppose -w*y = -j - j + 34, 6 = 2*y. Solve z - j = 5*m, -2*z + 19 = 3*z + 2*m for z.
5
Let y(k) = k**3 + 6*k**2 - k - 3. Let q be y(-6). Solve 2*x + 5*f = -14, -7*f - 10 = x - q*f for x.
-2
Let h(i) = -i - 7. Let p be h(-11). Suppose -3 = -3*q, q + 6 - 4 = r. Solve 0*c + c - 22 = p*u, 15 = -r*u for c.
2
Let u(i) = -i**2 - 9*i. Suppose 16 = k + 5*n, 0 = 5*k - 3*n + 2*n + 50. Let q be u(k). Solve -2*l = 5*m - 13, q = -2*m - 2*m - 4*l + 20 for m.
1
Let n = 2 - -1. Let r(t) = 2*t**2 - 2*t - 2. Let i be r(2). Let x = 7 - i. Solve 0 = n*q - 2*o - 15 - 2, x = 3*q + o for q.
3
Let p = -665 + 675. Solve -5*b = -10*b - 4*v + 7, 4*b - 2*v + p = 0 for b.
-1
Let n = 59 - 23. Suppose 11*u + n = 10*u. Let x = 41 + u. Solve -4*m + 3 + 17 = 5*y, -25 = 2*y - x*m for y.
0
Suppose 14*u = 15*u - 2*y - 12, -2*u - 11 = 3*y. Solve 4*j + 3*l = u*l - 16, -2*j + 3*l - 8 = 0 for j.
-4
Suppose 0 = -3*d - 5*i, 0 = d - 2*i - 7 - 4. Solve 3*y + 6 = 5*y, -5*y + d = 2*q for q.
-5
Let g(u) = 11*u + 3. Let b be g(3). Let s = b + -36. Suppose s*d + 7*d = 105. Solve q = 3*q - 5*a + d, -a = 2*q - 3 for q.
0
Suppose -4*w = -2*l + 14, -4*l + 5*w - 4*w + 7 = 0. Solve 0 = 5*a + n - 1, a + l + 1 = 2*n for a.
0
Let d be -4 - (8 - 15) - -2. Solve 17 = -p + 5*o, -3*p + d*o + 5 = 26 for p.
-2
Suppose -d - 78 = -5*p, -12 - 27 = -2*p + 3*d. Solve -3*m = -5*x - 21 + 6, p = 3*m for x.
0
Let h(k) = 2*k**2 - 4*k - 2. Let c be h(4). Let n(u) = u - 16. Let f be n(6). Let r = f + c. Solve -3 = -3*d + 2*d, 5*y + r*d - 32 = 0 for y.
4
Let f = 18 - -7. Suppose 7*i = f + 3. Solve 4*t + 2*d = i*d + 8, -2*d + 20 = 3*t for t.
4
Suppose -21*l + 180 = 15*l. Solve l*f + 4*y - 13 = 0, -7*f + 3*f + 12 = 4*y for f.
1
Suppose -3*y + 24*y - 42 = 0. Suppose -6 = -5*h + 4. Solve 0 = -g + h*m - 9, y*g - g + 3*m - 1 = 0 for g.
-5
Suppose -33*m + 106 = -59. Suppose 6*u - 10 = u. Solve 5*y - 2*n - 3 = u*n, 0 = m*y - 3*n - 1 for y.
-1
Suppose 0*f + 3*f - 3*r - 15 = 0, 0 = f - 4*r - 20. Let x(i) = i**2 + 4*i + 3. Let z be x(-4). Solve -5*s - 3*a - 31 = f, -s + 2*a = z*a + 7 for s.
-5
Let d(r) = r**2 - 23*r - 48. Let z be d(25). Solve u + p = 3*u, -6 = z*u - 4*p for u.
1
Let g be (3/2)/(3/6). Suppose g*k - 2*k = 9. Suppose k = y + 2*y. Solve -5 = s + y*m, 5*m = 6*s - 2*s + 20 for s.
-5
Let i = 177 - 169. Solve -2*m = -2*l - i, 2*m + 4 = 3*l + 17 for l.
-5
Let y = -284 + 285. Solve 5*g = 3*t - 8, -2*t - 2*g = -g - y for t.
1
Suppose 0 = d - 2*d + 3*k - 2, -2*d + 4 = -2*k. Suppose 0*a + 2 = -2*a + 4*u, 2*u = d. Solve 2 = o, a*c - 8*o - 5 = -3*o for c.
5
Suppose -4*i + 4 = l, 6*i - 3*i - l - 10 = 0. Solve c + 5*k - 3 = 0, -i + 15 = -5*c + 3*k for c.
-2
Suppose 0 = -2*x, n - x - 6 = 2*n. Let l be 2/n*-9 + 2. Solve 2 - 5 = l*j + 4*s, 5*j + 2*s = 1 for j.
1
Let c = 9 + -5. Suppose -c*d + 64 + 36 = 0. Let l be (-1 - -1) + 0/1. Solve l = -t - 4*t - 3*h - 31, 3*t = -5*h - d for t.
-5
Let r = 3 + -7. Let o = 40 + r. Suppose -q = -4*t - 27, -2*q = -4*t + 2*t - o. Sol