= j + 17, 15 = 2*r + 5*j. Solve 3*n - r = f, -4*f = -3*n + 4 - 2 for f.
1
Suppose 15*a - 37*a = -44. Let v(h) = h**2 - 5*h - 1. Let b be v(6). Solve -u + a*u + b*l = 16, 2*u - 4*l = -10 for u.
1
Suppose 4*y - 17 = 4*b - 1, 4*b = -3*y - 9. Let p = 3 + b. Solve p = 5*v - 20, -2*u - 14 = v - 6*v for u.
3
Let a(h) = -h**3 + h**2 + 5*h - 2. Let n be a(-2). Solve n*j + 4*j - w = -2, 0 = 4*j + 4*w - 8 for j.
0
Let l(d) = d - 4 + 1 + 3. Let a be l(4). Suppose 15 = -0*k + 3*k. Solve -3*q - k*g = -0*g + 21, a = q - 2*g for q.
-2
Let a = -2 + 2. Let i(g) = -g**3 + g**2 + 5. Let j be i(a). Solve j*b + 18 = h, -3*b + 2*h = -0*h + 8 for b.
-4
Let l(v) = v**3 + 6*v**2 + 6*v + 9. Let i be l(-5). Solve 0 = 3*a + f + i*f + 1, f = -3*a - 5 for a.
-2
Suppose -2*a = 3*k, 4*a - 5*k = 26 + 18. Solve 0 = 3*d - d + 2*r, -5*d - a = -r for d.
-1
Suppose 0 = -0*c - 3*c - b + 13, -14 = 2*c - 5*b. Solve -5*l = -d - 9 - 11, 3*d + 24 = c*l for l.
3
Let w be 82/7 - (-4)/14. Suppose 14 = 3*r - l, 4*r = l + 14 + 4. Solve 28 = r*c + 4*k, 4*c + k - 4 = w for c.
3
Suppose -5*n = -4*n + 1. Let i be (12/(-2))/n - 2. Solve 24 = 2*b - i*p, -b + 2*p + 20 = 2*b for b.
4
Suppose -2*h = 3*h, -5*n - 5*h + 150 = 0. Suppose 2*z + 0*z - n = 4*a, 0 = 3*z - 5*a - 46. Solve 0 = 4*k - z - 3, u - 10 = -k for u.
5
Let b be (6/(-4))/(-1)*6. Suppose -3*q + b = 4*o - 2*o, -4 = -3*o + 5*q. Solve m + o*f - 5 = 4, 5*f - 23 = m for m.
-3
Let r be ((-34)/(-4))/(2/4). Let g be ((-20)/25)/((-2)/10). Suppose 8 = -4*o, 5*w - o - 51 = 2*o. Solve -g*t + w = -t, -2*z = 5*t - r for z.
1
Let x(d) = -8*d - 9. Let q be x(-3). Suppose q = 4*y - y. Solve 2*z + 23 = 5*g, -4*z - 23 - y = -4*g for z.
-4
Let f(a) = 2*a**2 + 2*a + 4. Let s be f(-1). Solve i - s = 4*i - 2*w, -3*i + 4 = 2*w for i.
0
Let v = -213 + 217. Solve -2 = -2*h - 6, -v*h = 4*y - 8 for y.
4
Let v = 12 + -5. Let l = -6 + 5. Let k = l + v. Solve -2*b - 4 - k = 4*c, -2*c = -3*b - 7 for c.
-1
Suppose 4*w - 100 = 5*u, 17 = 2*w + 2*u - 15. Let c(b) = 2*b**2 + b. Let p be c(-2). Let y be (57/p + -2)*2. Solve 3*t = -2*z - y, -2*t - 5*z + w = -6*t for t.
-5
Suppose -t + p = -4*p - 9, -5*p - 5 = 0. Solve -4 = -2*a + m, t*a - 3*m + 6*m = 28 for a.
4
Suppose 23 = 2*d + 3. Suppose 0 = 4*m - 6 - d. Solve -5*u + 0*u - 7 = m*p, 0 = -4*p + u - 13 for p.
-3
Let z be (-9)/(-6)*(-2)/(-3). Solve 5 = -3*i + 2*n, -3*n - 2 + z = 4*i for i.
-1
Let m(p) = -6*p - 13. Let q be m(-3). Solve k - q*h - 5 = 0, 0*h + 20 = 4*k + 3*h for k.
5
Let a = 212 + -125. Suppose h - 21 = j, 3*h - a = -2*h - j. Let p = -12 + h. Solve 25 = -p*o + 3*o - 2*w, -15 = 4*o - w for o.
-5
Let x = 5 - 5. Solve -2*t = 3*v - 4, -4*t + 7*t + 3 = x for v.
2
Let m = -10 + 16. Let s be (2 - -1)/(m/4). Solve 0 = -4*y - s*o - o - 16, -3*y = 5*o + 12 for y.
-4
Let z be (2 + -1)*(3 + -2). Solve z - 5 = 3*s - h, -20 = -5*h for s.
0
Let c(r) = r**2 + 7*r - 6. Let z be c(-8). Solve -o = -0 - 3, 5*q - 4*o = -z for q.
2
Let l be (-28)/(-6) + (-2)/(-6). Suppose o - l*o = -8. Solve 3*z = o*s + 10, -7*s + 3*z - 7 = -2*s for s.
1
Suppose o + 1 = 2. Suppose -7*u + o = -6*u. Solve -2*t + 3*p - u = -0*t, 2*p = 2*t for t.
1
Let h(k) = -2*k**2 + 12*k + 34. Let p be h(7). Solve 5*c - 3*i = -6*i + 4, -p = -5*c + 5*i for c.
2
Let i = -15 - -21. Suppose -i = 5*u - 6*u. Let b be u/3*2*4. Solve -2*c = -g + 1, 4*g + c + b + 7 = 0 for g.
-5
Suppose 2*k = 3 + 3. Solve w = 4*w - k*z + 3, -3*w - 4*z = -4 for w.
0
Let o = 76 - 73. Solve 5*b - 23 = -d + o*d, 0 = -d + 3*b - 13 for d.
-4
Let w = -5 + 10. Solve 0 = 4*g - 2*d - 14, w*g + 21 = g - 5*d for g.
1
Suppose h + x = 5 + 5, -5*x = -2*h + 13. Suppose 1 = -2*n + h. Let g(t) = -t**2 + 7*t - 2. Let c be g(6). Solve -p + 4*s + 0*s = -n, c*p = -s - 1 for p.
0
Let f be 5 + -3 + 1 - (3 + -11). Solve -4*h = -5*j + 3 + f, 5*j = 5*h + 15 for h.
-1
Let k be (-4)/40*-34 - (-2)/(-5). Solve 4*r = -2*l - 18, -k*l - l = -r + 9 for r.
-3
Suppose 3*l + 79 = 2*d + 29, 5*l + 66 = -d. Let n = 23 + l. Suppose 8 = b + 2*r, 0*b - n = -3*b - r. Solve -3*p - 4 - 8 = -3*w, b*w = 2 for p.
-3
Suppose -b + 8 = -1. Let x(o) = o**2 - 10*o + 13. Let g be x(b). Solve -v + 2*v - t = -10, 0 = g*v - 3*t + 35 for v.
-5
Let z = 101 + -99. Let d(h) = -h + 8. Let j be d(8). Suppose j = -4*f - 2 + 46. Solve z*b = -k - 8, 2*k = k - 3*b - f for k.
-2
Suppose -2*g + 0*g + 8 = 0. Solve 7 + 3 = 2*p - g*d, 0 = 5*p + 3*d - 12 for p.
3
Let p be (3/4)/(3/8). Solve 3*r = -0*r + p*w + 14, 2*r = -w + 7 for r.
4
Suppose -5*z = -4*z - 3. Suppose -4*l + 3 = -j, 5*l - 15 = z*j - 4*j. Solve y + 0*v - 12 = -l*v, -v + 9 = 2*y for y.
2
Let d be ((-30)/(-25))/((-6)/(-20)). Solve n - 2*c = 5, -c - 2 - 4 = -d*n for n.
1
Let l(d) = d**2 - 3*d + 4. Let v be l(2). Solve 4*c - 12 + 41 = -5*k, v*k + 14 = -4*c for k.
-5
Suppose 2*z = 3*w + 22, 0 = 4*z + 5*w - 0*w. Suppose -z*y + 19 = -4*l + 7*l, 0 = 3*l + 6. Solve y*t = -4*j + 3, -6*j - 9 = -t - 4*j for t.
3
Let r be (-4 - 16/(-2))*(-2)/(-4). Solve -2*j + 4*j + 2*i = 4, r*i - 6 = -3*j for j.
2
Suppose 0 = q - 11 + 9. Solve 23 = 3*t - 4*p, -t = -5*t - q*p - 6 for t.
1
Suppose 0 = -4*j + j - 4*b + 32, 3*j + 5*b - 37 = 0. Let p(h) = -2*h + 8. Let l be p(j). Solve i - 3 = 0, -4*u - i = -l*u + 17 for u.
-5
Suppose -2*p + 40 = -6*p. Let z = 18 + p. Solve -5*x + 14 = 4*h - 5, 3*x = h + z for h.
1
Let y be (0/(1 - -3))/(-2). Solve -12 = 4*w + i, w + 3*i = -y*w - 3 for w.
-3
Suppose -i - 3*u + 9 - 1 = 0, 3*i - 5*u + 4 = 0. Solve -2*s - 2*k - 5 = k, 0 = -i*s - 4*k - 8 for s.
2
Let o(t) = t - 5. Suppose 0 = 2*w - 19 + 5. Let m be o(w). Suppose 2*a - 2*j = 30, -j = 2*j + 3. Solve -5*z = 3*f - 5, m*z + a = 6*f - 4*f for z.
-2
Suppose -2*s - 44 + 10 = 0. Let i be ((-2)/(-1))/((-2)/s). Solve 5*x = -v - i, -v + 16 = -3*x + 1 for x.
-4
Let a(g) = -6*g - 27. Let f be a(-5). Solve -4*l - 8 = -f*l + 2*t, 0 = 2*l - 4*t for l.
-4
Suppose 2 + 13 = 3*i. Solve 0 = i*g + 3*c - 19, g - 24 = -4*c - 10 for g.
2
Let t(d) = d**2 + 2*d + 1. Let y be t(-1). Let s(p) = -4*p + 11. Let b be s(6). Let g = 16 + b. Solve 0 = 4*v - 4 - y, 0 = o + v - g for o.
2
Suppose 2*d - 1 = -0*m - m, -2*d = -5*m + 17. Solve 2*q + 14 = -4*c + q, 10 = -c + m*q for c.
-4
Suppose 2*y = 5*y. Solve -2*x + 4*j = 4, 3 = 3*x - y*j + 3*j for x.
0
Let c = -3 + 3. Solve 5 = -5*a, v + 2*a - 6*a - 5 = c for v.
1
Suppose 0*t = -t - t. Solve t = -4*b - 3*w + 15, -w - 25 = 5*b - 6*w for b.
0
Let u = 11 - 7. Suppose -2*a = -f - 13 + 5, -2*a = -3*f - u. Let m be 22 + (-1 - (-2 + 3)). Solve -4*k = -v - m + 7, 0 = -f*k + v + 9 for k.
2
Suppose n = 5*n. Let v = n - -3. Let q(c) = c**3 + 8*c**2 - 18*c + 22. Let l be q(-10). Solve -5*t = v*x - l*t, 0 = -x - 4*t + 12 for x.
-4
Let a = -2 + 5. Suppose -7*h + 120 = -a*h. Solve 0 = -v - 5*p + 20, 0 = -4*v + p + p - h for v.
-5
Suppose 0 = a - 4, -5*q + 0*a + 3*a = -8. Solve -4*w + 3*p - 11 = 0, 0 = 3*w - q*p + 2*p + 8 for w.
-2
Suppose 0 = 4*a + 8*a - 36. Solve 22 = -y + 4*s, a*y - 3*s + 26 = s for y.
-2
Let d(v) = -51*v**2 - 2*v - 1. Let n be d(-1). Let s = 7 + -3. Let i be (-6)/5*n/s. Solve -5*r + i = 5*w, -r + 0*r - 4*w = 0 for r.
4
Let q(p) = -p**2 - 9*p - 16. Let o be q(-3). Solve -x + a = -3, -2*x + a = -0*a - o for x.
-1
Let y be (-3)/15 + (-21)/(-5). Suppose a - y = -0. Solve 0 = s + a*w + 15, -5*w + 3 - 30 = 4*s for s.
-3
Let f(y) = -2*y - 16. Let r be f(-8). Solve 4*n = z + 12, -7*z + 3*z - 2*n + 24 = r for z.
4
Let z be ((-210)/(-66) - 1) + 6/(-33). Solve -6 = 4*a + z*v, -4*v = a + 3*a + 8 for a.
-1
Let d(n) = n**2 + n - 6. Let y be d(3). Suppose 12 = 4*j, 0 = -i + y*i + 3*j - 24. Solve -i*o = -5*q + 10, -5*o + 0*q = -5*q + 20 for o.
-5
Let k be (-2)/2 + 102/(-6). Let w be (-8)/3*27/k. Solve -2*g - y = 4, -8*y = 3*g - 4*y - w for g.
-4
Suppose v = 4*n + 60, 2*n - 5*v = -v - 16. Let d(t) = -t**2 - 15*t + 16. Let g be d(n). Solve -k + 2*y + 0 + 4 = 0, 3*y + 6 = g for k.
0
Let t(o) = o**3 + 7*o**2 - 7*o + 10. Let x be t(-8). Let a be x/12 - (-11)/6. Solve -4*s + r = -12, -3*s + 2 = -a*r - 2 for s.
4
Let p(y) = y + 1. Let m be p(-3). Let o = m + 2. Solve 5*z = 4*q - 8*q + 40, -q + 5 = o for z.
4
Let t be (10 + -1)*17/51. Solve t*z = -2*s - 3*s + 12, 19 = -4*z + 5*s for z.
-1
Suppose 3*i + i + 11 = -3*a, 2*a = -10. Let x be (i + -1)*(6 + -7). Solve -11 = -2*q + 3*j, x = -2*q - 2*j + j - 1 for q.
1
Let t(k) = k - 1. Let v be t(2