-w*p, 0 = -4*p + 2*t - 4*t + 8 for p.
1
Suppose -5*s - 4*m + 56 = 0, 4 = s - m - 0. Let v be (s/(-24))/((-2)/6). Let t(b) = -3*b - 2. Let f be t(-1). Solve -f = w - 0, v = -2*r + 5*w for r.
-3
Suppose 13*q + 20 = 23*q. Solve -q = 3*t - 5*p, -2*p + 1 = -2*t - 3 for t.
-4
Let b be (1 - -7)/((-4)/(-10)). Suppose 0 = 4*p - b, 0*x + 5*x = -2*p + 15. Suppose 2*m - x = 7. Solve -15 = -3*o, -2*o = m*j + 3*o - 33 for j.
2
Suppose 2*q = 4*q + 6. Let h be 0*(-1 - (3 + q)). Suppose 4*v + u - 11 = 14, -v + u = h. Solve 2 = -j - n, j + v*n = 2*n - 6 for j.
0
Let h be (13 + -14)/(2 - 10/4). Solve 0 = -4*t + 3*c - 8 + 2, h*t + 8 = -c for t.
-3
Suppose 5*j + 2*f + 67 = 0, 2 = -5*j + 2*f - 81. Let t = j - -17. Solve -3 = -b + 3*s + 16, -t*b + 3*s + 23 = 0 for b.
4
Suppose 4*w - 87 = 257. Let u = w - 83. Solve u = 4*m + i, 5*m + 7 = 3*i - 2 for m.
0
Suppose 230*n = 239*n - 162. Let d be (2 + 6/(-4))*6. Solve -5*i = 4*s + n, i + d*s = -i - 10 for i.
-2
Suppose 14*z - 8*z = 282. Suppose -33 = 7*g - z. Solve 5*m + 7 = -3*p - p, 0 = g*p + 4*m + 2 for p.
-3
Let g(k) = -2*k**3 + 43*k**2 - 22*k + 24. Let f be g(21). Solve 5*i + f*x = -2 + 1, -5*x = 5*i - 5 for i.
-2
Let k = -37 + 42. Suppose k*r - 9*r = -4. Solve -2 = -y, r = -n - 4*y + 12 for n.
3
Let k = 17 + -9. Let u = 8 - k. Suppose u*o + 25 = 5*o. Solve 4*b = -5*n + 27, -3*b + o*n + 0 = 6 for b.
3
Let r(m) = -2*m + 8. Let p be r(5). Let c = p + 2. Suppose c*j = 4*j + 2*g - 136, j - 29 = -3*g. Solve -31 = -4*b - 3*o, 0 = -5*b - 0*o - 3*o + j for b.
4
Suppose -12*q + 27 = -9*q. Let x = q + -7. Suppose -3*z + 4 = -2, -3*z + x = -t. Solve 5*b - 7*n + 3 = -3*n, n = -t*b + 6 for b.
1
Suppose j = -5*d - 2*j + 37, 19 = 3*d + j. Solve -7 = -d*i + 2*z + 10, 0 = -2*i + 2*z + 2 for i.
5
Let y(s) = 11*s - 1. Let b be y(1). Suppose -18*c = -30*c + 22*c. Let f be (-6)/(-4) + 2/4. Solve o - h - 4 = c, 4*h - b = f*o - 28 for o.
-1
Let l = 8 - 14. Let o = 15 + l. Suppose 2*r - 13 = -o. Solve 2*s + 0*s - 4*t = 12, 5*s + 2 = r*t for s.
-2
Suppose 0 = m - 18*f + 15*f - 6, 0 = f. Solve 15 = -2*i - 3*t + m*t, -4*i - 4*t + 20 = 0 for i.
0
Let y(b) = -3*b + 23. Let a be y(6). Let s = a + -2. Solve s*p + q - 1 = -7, -4*q = -2*p + 10 for p.
-1
Suppose -4*v + 8 = -4*g, -v = 3*v - 3*g - 11. Solve v*a + 5 = -5*n, -6*a + a - 5 = -2*n for a.
-1
Suppose -h + 5*h = -3*v + 9, h + 5*v - 15 = 0. Let u = h + 0. Let z be (80/((-56)/(-7)))/(6 + -4). Solve 5*j - z = -u, -13 = -2*p - 3*j for p.
5
Let f be 5/(-10)*-2*8/4. Solve 3*z - 6 = -m, 4 = 2*m - 3*m + f*z for m.
0
Let q = 3 + -2. Suppose 3*a - 2 = 3*b + 4, -5*b + 14 = a. Let o be q*2/(b/5). Solve -o = p - 3*s, -p - 3*s + 2*s - 1 = 0 for p.
-2
Let d be ((-3)/(-3))/1 - -3. Suppose -d*s = -3*q + 11 - 1, 2*s = -2*q + 2. Solve -k = -q*b - 14, k - 5*k = -2*b - 26 for b.
-5
Let u be 2/9 - (-55)/(-45). Let s be (2/(-3))/(-1*u/(-3)). Solve 5*l - 6 = -4*o - 0, 4*o = s*l - 8 for l.
2
Let a(u) = u**2 - 12*u + 4. Let y(q) = q**3 + 8*q**2 - 2*q - 4. Let b be y(-8). Let t be a(b). Solve p = o - 4, -t*o + 4 - 23 = 3*p for p.
-5
Suppose -3*j = -9*j + 12. Suppose 2 = 2*a - q + j*q, 4*q = -4*a + 8. Solve 2*s + a = 4*o + 12, 4*s = -4*o - 36 for s.
-4
Let g = 209 + -203. Solve 2 = j, 0 = -4*i - j - g - 4 for i.
-3
Let h = 65 + -62. Suppose -h*w + 0*w + 6 = 0. Solve 5*x + 30 = 2*p + 2*p, 0 = w*x - 3*p + 19 for x.
-2
Let l(r) = r - 17. Let p be l(20). Solve 5*n - 19 = p*z, 4*n - 3*z + 11 = 5*n for n.
5
Suppose 2*l + 4*w = 3*w - 53, -l - 29 = -2*w. Let k = l - -29. Solve -k*t + 0*t + 5*p - 27 = 0, 2*p - 9 = -t for t.
-1
Suppose 5*i - 255 = -46*i. Solve 3*w - 3*t - 19 = 2*t, -4*t = w + i for w.
3
Let x = 1342 + -562. Suppose -x = 2*u + 3*u. Let j be u/(-8) - (-2)/4. Solve -4*m = 4*n + 8, 2*n + 3*n = -j for m.
2
Let j(d) = 58*d + 123. Let p be j(-2). Solve 3*o - w = -10, o + 4*w = 2*o + p for o.
-3
Let w(a) = -a + 5. Let q be w(0). Suppose -o - 3 = -q. Suppose d - t + 2*t + 1 = 0, 4*d - 24 = 3*t. Solve -1 = -o*r - d*c, 3*r - 3*c = 2*c - 8 for r.
-1
Suppose -3*o + 91 = 4*u, 5*o - 2*u = u + 142. Suppose -4*s + o - 9 = 0. Solve 4*c + 3*b = -16, -3*c - s*b - 6 - 6 = 0 for c.
-4
Suppose 3*t = -3*z + 120, 0*z = 4*t - z - 140. Let b = t + -33. Solve 2*o + 10 = 2*g, -b*o - 2 = 1 for g.
4
Let w(j) = j**2 + 41*j - 178. Let q be w(-45). Solve v + 2*u + 0*u = -8, 3*v + q*u + 12 = 0 for v.
-2
Let l(r) = 67*r**3 + r**2 - 2*r - 1. Let g be l(-1). Let k = 68 + g. Solve -3*c = c - 3*y + 32, -k*c - y = 11 for c.
-5
Suppose 466 - 508 = -7*h. Solve x = w - 4, 0 = -5*x + w - h*w for x.
-2
Let u(d) = -d**3 + 13*d**2 + 2*d - 17. Let w be u(13). Suppose -l = 3*h - 9, 0 = -2*l - h + 4 + w. Solve 4*x = -c + l, 0 = c + 4*c + 10 for x.
2
Let t(j) = j**2 - 15*j + 16. Suppose 0*l - 3 = -l. Suppose l*w - 16 = 26. Let d be t(w). Solve d*m = -5*z + 15, -6*z - 3*m = -4*z - 17 for z.
1
Suppose -r + 7 = 4*r - 3*h, 5*h = -2*r + 9. Suppose 2*f = -4, 0 = r*l - 3*l - 4*f - 3. Solve -a + l = -2*p, p + 2 + 1 = a for a.
1
Let g(b) = -3*b - 8. Let w be 1/1*(-18 + 15). Let o be g(w). Solve v - 5 = -v + j, 0 = -v + 2*j + o for v.
3
Let d be 28/7 + 14 + 6. Solve 4*f - d = -4*v + 4, -3*f = -15 for v.
2
Suppose 3*b + 1 = 1. Suppose b = 5*y + c + 5, -2*y - 2*c = -y + 10. Solve y = 3*l + 2*s + 11, 3*l + s = -6 - 4 for l.
-3
Let b = -204 + 204. Solve b = -o + i - 3, -7*o = -3*o + 5*i - 15 for o.
0
Let t(g) = g**3 + 2 - 3*g**2 + 9*g**2 + g + g + 0*g**3. Let f be t(-4). Solve -3*a + 5*a = 3*v - 1, -f = -5*a - 2*v for a.
4
Suppose 5*q + 5*k = -0 + 20, 2*q = -3*k + 7. Solve -p + 17 = q*s, -p - 3*s + 11 = -0*p for p.
2
Let s(l) = l**2 - 6*l + 7. Let v be s(6). Suppose 3*o = 7 - v. Solve -5*y + g - 14 = 0, y - 2*g + 1 = -o*y for y.
-3
Let q(l) = 2*l**3 - 11*l**2 - 20*l + 1. Let n be q(7). Solve 3*h - 2*h + 4*u + n = 0, 4*h - 19 = u for h.
4
Let o be ((-76)/19 - -6)*3/2. Solve -o*q + 9 = -8*q + 3*k, 15 = -5*q + 5*k for q.
0
Let g(n) = n**3 + 5*n**2 - 7*n - 4. Let f be g(-6). Let x be 4/(-14) + (-86)/(-7). Suppose -10*w + 6*w + x = 0. Solve -b - f*s = 6, 2 = -w*b - 3*s - 1 for b.
4
Let v(x) = x**3 + 14*x**2 + 24*x + 4. Let u be v(-12). Solve 0 = -3*a + u*k - 12, -3*a + 2*k = -3*k + 15 for a.
0
Let o = -2 + 2. Let x be (o + -2 - -3)*3. Suppose 5*q - 5*u - 12 = 13, q + 4*u = -20. Solve 3*m + 2*a - 10 = q, 2*a - 7*a + 16 = x*m for m.
2
Suppose 3*a = 7*a + 48. Let k = a + 9. Let g = k + 5. Solve 4*p + 15 = -g*r + r, -r - p = 3 for r.
1
Let g be -1*(7 - 15) + -8. Solve g = -2*c + 6, -3*c = -4*r - r - 29 for r.
-4
Suppose 2*b - 2*z = 12, -10*b = -9*b + z - 6. Solve -4*r - 3 = 2*p - 3*p, 4*p + b = -2*r for r.
-1
Suppose n = 3*n. Let f(y) = y**3 - y**2 + 13. Let l be f(n). Let q = l + -9. Solve -4*r + 40 = -4*w, -q*r = -0*w + w - 15 for w.
-5
Let y(l) = 14*l + 2. Let z be y(2). Suppose z*i + 16 = 34*i. Solve 12 = i*r, 0 = 7*g - 2*g + 3*r - 34 for g.
5
Let p(g) = 6*g**2 - g + 2. Let t be p(-2). Suppose -33*d + 40 = -t*d. Solve -2*c = -5*h - d, 7*c + 3*h = 2*c - 11 for c.
-1
Let s(b) = 3*b**2 - 6*b + 4. Let p be s(2). Solve -4*g - g = p*q, -5*g - 3*q - 5 = 0 for g.
-4
Let y(a) = -a**3 - 7*a**2 - 7*a - 1. Let b be y(-6). Solve -3*u = -b*v + 12, u = -3*v - 0 + 10 for v.
3
Let i(k) = -3*k + 8. Let x be i(2). Let n = x - -28. Solve 28 = -3*o - 4*c - c, n = -5*o - 5*c for o.
-1
Suppose f = -3*o + 11, 0 = -5*f + 2*o + 78 - 6. Solve -d = 2*d + j + f, -5*j = -4*d - 25 for d.
-5
Let n(h) = -h**3 - 5*h**2. Let s be ((-3)/(-9))/((-7)/105). Let p be n(s). Solve -5*x = -20, -2*o + 12 + p = 4*x for o.
-2
Let z(f) = 12*f + 43. Let o be z(-8). Let w = -49 - o. Solve 0 = w*a + 4*k - 24 - 0, a - 4*k = -19 for a.
1
Let z = 415 - 413. Solve z*s - 8 = v, -5*v = 2*s - s + 7 for s.
3
Let w(m) = -m**2 + 27. Let t be w(-5). Let d be (-8*t/(-6))/(2/6). Let f(p) = -p**2 - 5*p + 2. Let q be f(-5). Solve -s = -5*i + i + d, 2 = q*i for s.
-4
Let y = -91 - -100. Let w be -4 - ((0 - y) + 0). Solve 3*n + 27 = 5*f, f + 4*n + 8 + w = 0 for f.
3
Let q(l) = -l + 10. Let i be q(0). Let a = 14 - i. Suppose -4*z = r - 6*r, -a*r = -3*z. Solve z = -t + x - 1, 0 = -t - 4*x + 10 - 1 for t.
1
Let w(f) = -f**3 + 4*f**2 + 4*f - 14. Let d be ((-81)/(-12))/3 + (-8)/32. Let n be w(d). Solve -2*z - 7 = -n*q + 9, 12 = -z + 2*q for z.
-4
Suppose 0 = -4*p + 16 + 8. Solve 0 = p*i - i - v - 1, 0 = -3*i + 2*v - 5 for i.
1
Suppose y = -3 + 4. Le