 = 3*k - j. Solve -5*d = -d, c = k*o - 3*d + 8 for o.
-2
Suppose -40 = u + 3*u. Let a = u + 6. Let d be a/(-6)*6*4. Solve j = 4*c - d, j = -c - 4*j - 17 for c.
3
Let h(a) = 5*a. Let x be h(1). Suppose 20 = -x*b + 60. Solve 4*l + 3*u - b = 0, 2*l = -u - 0 + 4 for l.
2
Let d = -79 + 225. Let r = d + -86. Let i be r/(-8)*2/(-3). Solve 0 + 5 = -i*x - 3*l, x = 4*l + 22 for x.
2
Suppose 6*z - 3*z = 12. Let o = z + -2. Solve o*p = 3*h - 14 + 2, 8 = -3*p + 2*h for p.
0
Suppose -4*u - s = s - 2, -u = -2*s - 8. Let r be u/(-3) + (-4)/(-6). Suppose 4*f = 4 + 4. Solve 0 = -h + z - 2, -f*h = -r*h + z + 7 for h.
-3
Suppose 2*i - 48 = 14. Suppose 3*q - s = 3*s + i, -q + s = -9. Solve -q*j = 3*b + 4, 2*j = 2*b - 4*b - 4 for b.
-3
Let q(d) = 2*d**2 + 3*d. Let g be q(-2). Let n be (-7)/(-3 + (-6)/(-3)). Solve n*a + 8 = -4*y + 2*a, -g*a = y + 2 for y.
-2
Let x be (-2 + 2)*2*(-2)/12. Solve g - b + 0*b = -5, x = 4*g + 2*b - 4 for g.
-1
Suppose -2*g - 6 = 12. Let z = -4 - g. Solve 0 = -5*y, -6*v - 4 = -z*v - 5*y for v.
-4
Let n be (-2)/3 + (-120)/(-18) + -4. Solve 0 = -5*x + 4*m + 16, -3*x - 3*m + n*m + 13 = 0 for x.
4
Let f(x) = -4*x - 31. Let r be f(-9). Let i = -3 - -15. Solve 5*p + 4*w = -i, p - r*w = -12 - 2 for p.
-4
Suppose 5*c = -2*m + 25, m - 4*m - 3*c + 15 = 0. Let l(i) = 3*i**2 - 6*i**2 + i + 4*i**2. Let y be l(m). Solve -3*v = -4*z + 20, y = 4*v - 5*v + 4*z - 12 for v.
-4
Suppose 77*q = 54*q + 92. Suppose c = 3 + 3. Solve n + 3*g = 4*n - 3, -q*g = -5*n + c for n.
2
Suppose -4*b = -7*b + 18. Solve -2 = -u + r + b, 0 = 3*u - r - 14 for u.
3
Let d = 3 - -2. Solve -15 = 2*b - 3*l, -d*b + 3*b = -l + 5 for b.
0
Let u(h) = -2*h + 8. Let r be u(7). Let x = r + 8. Solve -x*w - 2*o = 2, 4 - 1 = -4*w - 3*o for w.
0
Suppose -h + 46 = 3*m, -6*h + h = -4*m - 287. Let f be (-2 + 3)*(1 - 1). Suppose f*p - h = -5*p. Solve r + 8 = 5*y, 0*r = -3*r + 2*y - p for r.
-3
Let a(m) = -31*m - 1. Let g be a(-1). Let p be 4/10 + (-12)/g. Solve 2*v - 2*i - 2 = -3*i, p = 4*v + i - 6 for v.
2
Let i be -2 + 3/6*8. Let a be (-1)/(i/6) + 4. Solve 3*j - v = -a, -j + 5*v - 4 - 15 = 0 for j.
1
Let l(q) = q**2 - 3*q - 1. Let r be l(4). Solve -4 = -x - y, -4*y + 16 = -r*x - 0*y for x.
0
Let i = 2 + 0. Suppose 0*m - i = -m. Solve 5*p = 2*n - 6, 5*p + m = -2*n + 6*n for p.
-2
Let l = 31 - 21. Let n be (-36)/(-10) + (-6)/l. Let a = 5 - n. Solve -m = 3*h - 15, -a*h + 2 = -2*m - 8 for m.
0
Suppose 3*h + 2*h + 2 = 2*f, 0 = h + 4*f - 4. Solve -u - 2*g - 8 = 0, h*u + 2 = u - 3*g for u.
-4
Let d(j) = j + 15. Let r be d(0). Let s(q) = -4*q**3 + 2*q + 1. Suppose -3*a - 2 = 1. Let u be s(a). Solve 0 = g + 4*x - r, -x = 2*g + u*g - 18 for g.
3
Let n(r) = r + 1. Let f be n(-1). Let g(k) = 4*k + 1. Let u be g(7). Solve f*m - 14 = -2*m - 2*a, -u = -2*m - 5*a for m.
2
Let a be -4*(0 - 2/4). Let f = a - -1. Suppose 4*p = -6*u + 4*u + 4, -4*u + 4*p + 8 = 0. Solve k - u*k + c = -1, -4*k - f*c = 17 for k.
-2
Let i be 2/(-3)*(-171)/6. Let b = i - 10. Suppose b*h - 4*h - 50 = 0. Solve 0 = -3*v - s + h, -20 = -v - 3*v + 2*s for v.
4
Let w(z) = -z**2 - 7*z. Let f(d) = d - 1. Let t be f(-5). Let g be w(t). Solve 0 = -4*b - 2*r - g, -b = b - r + 1 for b.
-1
Suppose 5 = -k + 8. Suppose -h + k = 2. Solve -g = -h, -2*c - c + 5 = 2*g for c.
1
Let x(v) = 13*v**2 - 3*v + 1. Let l(c) = -66*c**2 + 16*c - 6. Let b(j) = 2*l(j) + 11*x(j). Let o be b(-1). Solve -2*i = -4*a + 10, 1 = -a - i + o for a.
5
Let r = -4 - -8. Suppose -94 = -r*y - 2*m, y + 5*m = 27 + 10. Suppose -5 = -3*b + y. Solve 3*w + 6 = -4*c, 4*c + b = 4*w - 11 for w.
2
Suppose 2*t = 9 + 15. Let h = t - 10. Solve j - 9 - 3 = -2*c, 8 = h*j for c.
4
Let n(l) = -l**3 + 17*l**2 - l + 18. Let o be n(17). Solve -p = a + o, -4*p + 3*a - 22 = -2*a for p.
-3
Suppose -4*c = -0*c - 8. Suppose -t - 13 = -5*j, 0*j - 2*t = -c*j + 10. Solve -16 = -3*w + p, 4*w + w + j*p = 23 for w.
5
Let f(c) = c**2 + 6*c + 7. Let a be f(-5). Suppose 4*w = b - 2*b + 18, 2*b + 4 = 0. Solve -11 = w*p + a*j + 9, 0 = -5*p + 2*j - 20 for p.
-4
Let p = -17 - -20. Solve p*t - 5*v - 6 = 0, t - 3*v - 2 = 4 for t.
-3
Let o be (144/324)/(2/9). Suppose 0 = s, s - 20 = -0*p - 5*p. Solve -2*k + k = -2*f + o, p*k + 11 = 5*f for f.
-1
Suppose -p - 12 - 12 = -3*s, 5*s = -4*p + 40. Solve 4*b = 2*j - 18, 0 = 3*j + b - 0*b + s for j.
-1
Let i = 19 - 33. Let x = i - -32. Suppose 0*z - 2*z = -2, 4*p + z - 9 = 0. Solve -3*r + b = 14, -2*r + p*b = -3*b + x for r.
-4
Let j(c) = 8*c + 17. Let w(g) = 7*g + 16. Let u(h) = -6*j(h) + 7*w(h). Let p be u(-7). Suppose 15 = 2*d + d. Solve -2*k - d*f = 15, -2*k + p = -k - f for k.
0
Let d(t) = t**2 - 2*t - 5. Let f be d(4). Let m be f*3*(-3)/9. Let h be ((-8)/m)/(-4)*-6. Solve 7 = 5*j + 3*r, 3*j - 2*r = h*j for j.
2
Let p(z) = -z. Let b = 4 + -9. Let o be p(b). Suppose -3*h - 5*k = -46 + 17, 0 = o*h + 5*k - 35. Solve -4*a = -j + 16, j - h*j + 3*a = -12 for j.
0
Suppose 32 = -10*y + 26*y. Solve 9 = 3*x + q - y, 0 = 5*x + 4*q - 9 for x.
5
Suppose 2*d - 2*j = 94, 4*d - 164 = -4*j - 0*j. Let o(w) = 3*w - 1. Let a be o(-7). Let l = a + d. Solve -l = 5*p - t, t = -3*p + 6*t for p.
-5
Let x(p) = p - 3. Let m be x(5). Let c be ((-2)/5)/(m/(-10)). Solve -5*t + 4*s = 5, -4*t + c*s - 3 = 1 for t.
-1
Let l(t) = -t - 6. Let n be l(-8). Solve -4*k = -g - 1, 0 = -4*k - n*g - 5 + 3 for k.
0
Suppose 1 + 2 = -3*i. Let t be (1/3)/(i/(-9)). Solve 0*a = t*o + 3*a - 12, -2*a + 6 = 0 for o.
1
Suppose 5*f - 48 = 2*f. Solve k + 2*z - 6 + 0 = 0, -f = -4*z for k.
-2
Suppose 2*r + 17*i - 18 = 13*i, 3 = -r + 4*i. Solve -u = 2 + 1, 13 = -q - r*u for q.
2
Let d = -2 - -7. Solve -b = -d, 0*i + 16 = 4*i + 4*b for i.
-1
Let r = 87 + -52. Suppose -4*m - 3 = -r. Suppose 4*g - 23 = -y, -4*y = -4*g - 0 + 8. Solve 3 = -y*c + 4*x, 4*c + 32 = -m*x + 4*x for c.
-5
Let y = 7 + -3. Let v(h) = -h**3 + 7*h**2 - 6*h + 2. Let t be v(6). Solve y*m = z - 11, -t*m = -7*m + 3*z - 12 for m.
-3
Let f(m) = m**2 - 4*m + 2. Let p be f(4). Suppose v = -2*g - 6, -p*g + 7 = -2*v + 25. Solve 5*y = -j + 11 + 1, 8 = v*j for y.
2
Let y(v) = -180*v + 21. Let i(d) = 18*d - 2. Let z(x) = -21*i(x) - 2*y(x). Let f be z(-1). Solve -5*u - f + 5 = -a, 0 = 2*a - u + 1 for a.
-2
Let a be 9/7 - 10/35. Let z be 5 - (5 + a + -3). Let s = -5 - -9. Solve -r - j - 1 = 0, -z*j + 3 = -3*r - s*j for r.
-1
Let o be 9/((-30)/(-9) - 3). Let w be (o/(-6))/(3/(-4)). Solve -5*r + 2*n - 7 = 0, 4*r + 3*n = w*n - 7 for r.
-1
Let x(y) = -y**2 - 3*y. Let w be x(-3). Solve -t - 5 = 2*t - 5*j, -4*t - 2*j + 2 = w for t.
0
Suppose 5 = -7*o + 19. Solve 0 = 4*x - o*a + 6, 2*a + 4 = -3*x + 2*x for x.
-2
Let x(g) = g**3 - 4*g**2 - 4*g - 3. Let y(p) = -p**2 - 7*p + 2. Let s be y(-8). Let r = 11 + s. Let h be x(r). Solve -v - 3*l = 11, h*v - 20 = 6*v + 4*l for v.
-2
Let v(l) = l**3 + 6*l**2 + 6*l + 9. Let g be v(-5). Solve r = -1, -4*r - 5 = t - g for t.
3
Suppose j - 7 = 16. Suppose -83 = -5*b - j. Let q = 50 - 47. Solve -o = -3*k + 2 - b, -q*k + 4*o = 4 for k.
-4
Let n = 55 + -52. Solve n*l + t + 4*t = 16, 3*t = l + 4 for l.
2
Let g = 34 + -25. Solve v + 3*t = g, 10 = 3*t + 1 for v.
0
Let s(x) = x**3 + 10*x**2 + 7*x - 15. Let h be s(-9). Solve -28 = h*d - 5*l, 3*d = -d + 3*l - 19 for d.
-1
Let v be 2 + 4*5/10. Solve h - v*r = 24, -10 = -5*h - r - r for h.
4
Suppose -5*u + 4*a + 21 = 0, -u + 4*a = -4 - 13. Solve 0 = -3*r + 2*o - 1, -2*o + u + 3 = -4*r for r.
-3
Suppose 4*z - 10 = 50. Solve -3*i + 10 = -5*j, -4*j - i - z = 10 for j.
-5
Suppose 0 = 4*y + p - 59, y + 0*p - p = 16. Solve -5*w + y = i, -w + 15 = 4*w for i.
0
Let a = 1 + 0. Let j(x) = x - 8. Let f be j(11). Let h = a + f. Solve z = -h*t + 16, -3*t + z + 10 = -2 for t.
4
Suppose 4*z - 2*z - 16 = 0. Suppose -t = 3*t + 4*m - z, m = -3*t + 6. Solve -n - 5*j + 12 = 0, -n + 6*n - t*j - 6 = 0 for n.
2
Suppose 0 = -4*l - l + 10, -g - 1 = -2*l. Suppose -1 = 2*u - 9. Solve u*f + 4 = -2*d - 0*d, d = 3*f + g for d.
0
Let m(n) = 3*n - 3. Suppose 0 = z - 4, z = 3*c + 4*z - 18. Let l be m(c). Suppose 4*p - l - 33 = 0. Solve 5*x - 2*w - 23 = 0, 0*x = x + 4*w - p for x.
5
Suppose 3*b + 5*h + 0*h = -6, 0 = 2*b - 3*h - 15. Let n = 7 - 10. Let z(u) = u**2 + 3*u + 4. Let i be z(n). Solve -b*l - 3*r - 5 = -4*r, 0 = 2*l - r + i for l.
-1
Let s = 62 + -62. Solve -4*x + g - 2 = s, -1 + 14 = -5*x - 4*g for x.
-1
Suppose 0*i - i - y = 0, y = 