 = -2*p + 10, -4 = -p - 4*h + s*h for p.
2
Let k = -19 + 21. Suppose j - k*j = 0. Suppose j = -4*v - 6 + 14. Solve v*x + 0*x + 4 = 3*c, 4*x - 4*c = 0 for x.
4
Let h(f) = -f**3 + 7*f**2 - 7*f - 12. Let s be h(5). Solve -5*b - 17 = -3*k + k, b - s*k = -6 for b.
-3
Let r be (-10)/(-6) + ((-198)/(-27) - 7). Solve 4*c - 9 = -s + r*c, 5*c = s + 26 for s.
-1
Let x be 2 - (-43 - (-9)/3). Let w = -39 + x. Solve -w*m + 5*p = m + 13, -p = 2*m - 11 for m.
3
Let a = 117 - 82. Solve -35 + 5 = -4*v + 2*n, -4*n = -3*v + a for v.
5
Suppose 6*t + 29*t = 175. Solve c + 20 = -t*i, -c + 3*c = -3*i - 5 for i.
-5
Let l be (7/4)/1 - 17/(-68). Solve 5*n + 6 = f + l*n, 2*n = -2*f - 4 for f.
0
Let p(g) = 12*g - 93. Let k be p(8). Solve 2*l - 5*l + 18 = k*x, -5*l + 12 = -4*x for l.
4
Suppose 12*p - 4*g - 6 = 10*p, -2*p - 4*g + 14 = 0. Solve -3*z - 7 = p*r, -4*r - 18 = 4*z - 6 for z.
-4
Let p be (2 - (9 + -4 - 8)) + 6. Solve 6 = -3*z - 3*h, 5*h = 5*z - p - 19 for z.
2
Suppose 25 + 0 = 5*l. Suppose -15 - 5 = -l*b. Solve -2*x = -4*i - b, 2*i = -5*x + 3 - 29 for i.
-3
Let p(w) = 11*w + 68. Let x be p(-6). Solve x*g + 3*y = -5, 3*g - 4*y - 1 = -0 for g.
-1
Let q = 2 - -3. Let s(n) = n**3 - 6*n**2 + 6*n + 2. Let w be s(q). Solve 3*h - 3*u = h + w, 0 = -u - 1 for h.
2
Let y = 3 - 1. Suppose 6*c = y*c. Suppose c = -l + 1, 1 + 0 = a - 3*l. Solve 2*f - 1 - 3 = q, -2*f - 6 = a*q for f.
1
Suppose -3*r + 0 = -9. Suppose r*l = 2*l + 5. Solve -l*m + 3 + 19 = -y, -m + 2*y + 8 = 0 for m.
4
Suppose -z = 2*c - 3, 2*z - 4*c + 9 = 5*z. Let d be (9/z)/(6/4). Solve -16 = 4*o - 4, 0 = d*q + 5*o + 13 for q.
1
Let b be 6/(-24) + (-82)/(-8). Let i be (5 - b)*(-3)/5. Suppose 7 - 22 = 5*c, -i*c = -3*h + 51. Solve 2*d = 5*k - 16, -5*k + k = -d - h for d.
2
Let j = -138 + 146. Solve 3*n - j*n = 2*b - 16, -4*n - 4*b = -8 for n.
4
Let j = -113 + 121. Solve -3*g - 6 = 0, j = 4*r - 4*g - 0 for r.
0
Let g = -24 + 38. Suppose b + 6*b - g = 0. Solve u + 5*a = -11, 0*u + 2*a = -b*u + 2 for u.
4
Let j(z) = -z**3 + 7*z**2 - 7*z + 8. Let n = 81 - 75. Let b be j(n). Solve 0 = -3*g - 3*c + 15, -2*g = b*g + c - 11 for g.
2
Let r(i) = i**3 - 7*i**2 + 8*i - 9. Let a be r(6). Let x(l) = l + 28. Let p be x(-25). Solve 0*n - 8 = -5*q + p*n, q = a*n + 4 for q.
1
Suppose 15 = 4*t + 5*x, 4*t - x + 3 = 6*t. Solve 3*v - s = -2 - 1, t = s for v.
-1
Let b = -34 - -36. Suppose 17 = -b*h + 5*x, -29 = -h - x - 4*x. Solve -h*g - 5*q + q - 12 = 0, g - 4*q = 12 for g.
0
Let m = 21 - 18. Suppose m*z - z = -6. Let w = z - -7. Solve -4*r = 5*p - 3*r + 11, 0 = -5*p + w*r - 31 for p.
-3
Let o(i) = 2*i + 32. Let g be o(-6). Suppose 0 = 2*m - 6*m + g. Solve n + 5 = -2*s + 10, s - 2*n + m = 0 for s.
1
Suppose 3*m - 5*q - 18 = -2*q, m = -3*q - 10. Let x be -1*m*(-20)/8. Solve 5*s - 11 = 2*c + 2*c, -c = -x*s - 1 for s.
-1
Let k = -2 - 13. Let q = k + 23. Solve 4*g - q = -4*l, -2*l - 3*l + 5 = 0 for g.
1
Suppose 1377*o - 1386*o = -36. Solve -p + 1 - 8 = -3*c, -o*p - 2*c = -28 for p.
5
Let g be 33/(-4) - (-3)/12. Let t = -5 - g. Solve 3 = -3*z - t*s - 0*s, -z - 5*s - 9 = 0 for z.
1
Let w = -801 - -814. Solve 3*u + w = m, -u + 0*u = m - 1 for u.
-3
Suppose 3 = -5*y - 2. Let x(u) = -u + 103*u**2 - 34*u**2 - 1 - 35*u**2 - 32*u**2. Let z be x(y). Solve -k + 3 = 5*l - z, 4 = 3*k + 4*l for k.
0
Let q be (2 + (-28)/12)*-57. Suppose -4 = -2*p + 12. Let j be ((-2)/(-4))/(2/p). Solve j*f + q = -2*o - 3*o, -o = 5*f - 10 for o.
-5
Suppose 225 = -0*a - 15*a. Let l = 20 + a. Solve -2*g - 2*b - 2 = g, l*b = -20 for g.
2
Let g be (14/(-4))/((-504)/576). Solve -4*p + g*n = 24, 3*p - 2 = 3*n - 5*n for p.
-2
Suppose 4*w - 170 = -30*w. Solve -4*i = -w*g - 1, -3*g + 0*g = 2*i - 17 for g.
3
Suppose 5*o + 40 = 4*a, 57*o - 55*o = -2*a + 2. Solve a*w + 20 = 3*x + x, -4*w = 0 for x.
5
Let l be 8/48 - (-116)/24. Solve -3*m + l*m + 16 = -4*t, 2*m + 3*t = -11 for m.
2
Let x = -34 + 44. Suppose l = -l + x. Solve -p = -l*d + 22, 13 = 4*d + 4*p + 5 for d.
4
Suppose -2*v = -d + 4, -5*v + d = -0*d + 13. Let k be (v + (-13)/(-5))*-5. Suppose p + k = 4. Solve 0 = -2*y - o + p, -2*y + 3*o = o + 4 for y.
0
Suppose 2*q + 2 = 2*b, -5*q = b - 5*b + 9. Let u be (3/(-1))/(b/8*2). Solve 4*y + 6*a - 31 = u*a, 2 = 3*y - 2*a for y.
4
Suppose u + 8 = -5. Let k = u - -26. Let o(d) = d**2 - 13*d + 11. Let w be o(k). Solve -f = 4*q - w, 0*f + q = 5*f - 13 for f.
3
Let r(v) = v**2 - 7*v + 14. Let c be r(6). Let p = 6 - 0. Let f = c - p. Solve 5*m - 10 = -5*g, f*g - 8 = -5*m - 2*g for m.
0
Suppose -4*p - x + 20 = 2*x, 5*x - 24 = -2*p. Let r be 2/6 - 1/3. Suppose 3*q = -r*q. Solve -p = -5*a + 18, -3*d - 4*a + 10 = q for d.
-2
Let j(k) = -2*k + 14. Let r be j(6). Suppose b + 3 = x + 5*b, -5*x = -r*b - 15. Solve -4*c + 2 = -5*o, x = c - 0*c for o.
2
Let t = 34 - 25. Let g(n) = n - 6. Let r be g(t). Solve r*i + 8 = -i - l, 2*i + l = -6 for i.
-1
Suppose 2*a - 14 = -5*k, 0*k = -a - 5*k - 3. Solve 2*l + 3*l = 3*d + 4, 2*l + 5*d + a = 0 for l.
-1
Suppose -o + 3*p = -29, -5*o - 5*p + 45 = -0*o. Suppose -4*r - 240 = -o*r. Solve -4*q + r = -5*c, -4*c = -5*q - 3*c + 9 for q.
1
Suppose -5*q - 20 = -v, 0*v + 4*v + 2*q - 14 = 0. Let n(x) = 0*x + 4 + 3*x + v*x + 0*x - x**2. Let y be n(8). Solve 0 = 2*s + 5*i - 12, s - 7 = 2*s - y*i for s.
1
Let w be (-343)/(-63) + 4/(-9). Solve -2*k = -2*u - 12, w*k - 4*u = -5*u + 24 for k.
5
Let x(v) = 2*v**2 - 21*v + 10. Let j be x(10). Suppose j = -8*h + 5*h + 9. Solve 0*y = 5*y + u + 6, -h*y = -u + 10 for y.
-2
Let n = -13 + 3. Let a(y) = y**3 + 6*y**2 + 3*y + 6. Let b be a(-6). Let r = n - b. Solve -21 = -r*m - m + 3*k, 4*m - k - 16 = 0 for m.
3
Let h = 744 - 743. Solve 0 = -4*u, -2*j - 1 = u + h for j.
-1
Suppose 0*t - 14 = 2*t. Let i = -3 - t. Suppose -4*m = 5*l - 5 + 18, 4*l + 32 = i*m. Solve y = -2*y - 15, -u = -m*y - 17 for u.
2
Let o = -34 - -37. Let y be 6*-1*(-1)/o. Solve y*g + 2*g = -4*a - 32, 5*a - g + 22 = 0 for a.
-5
Suppose -2*m - 2 = -6. Let w = -767 + 787. Solve t + 5 = m*z, 3*z + w = 7*z for t.
5
Let i be 32/(-48) - 4/(-6). Suppose 20 = q - 0*q. Suppose 7*o - 3*o - q = 0. Solve 45 = -5*r - 0*r + o*y, i = -2*y + 8 for r.
-5
Let r(q) = q + 8. Let y be r(-6). Suppose w - 2 = -1, -y*t + 7 = -3*w. Solve -a = 3*a + 16, 0 = t*j + 3*a - 3 for j.
3
Let o = -46 - -52. Suppose 3*a = 4*t - 5, o*t = 5*a + 2*t + 3. Solve -2*j - a + 14 = p, 3*p - 3*j - 3 = 0 for p.
5
Let z(j) = 3*j**2 + 8*j + 5. Let g be z(-6). Let o = g - 62. Let t be (4 - -2)*(-4)/(-6). Solve t = -c + o, -5*u - 3*c - 3 = 0 for u.
0
Let j = -1560 - -1562. Solve -n + 2*n - 1 = 0, 13 = 3*a - j*n for a.
5
Suppose 2*p = 3*h + 38, -5*p + 85 = -0*p - 5*h. Solve 4 = -0*r - 3*r + y, -p = r + 2*y for r.
-3
Suppose 0 = -2*i + 2*r - 60, 2*i = -3*r + 2*r - 66. Let w = -19 - i. Suppose -3*q + 25 - w = 0. Solve 3*a + 4*h - q = a, 3*a - 4 = -4*h for a.
0
Let d(l) = 15*l - 4. Let f be d(-5). Let w = -49 - f. Suppose 2*v = -2*z + w, 3*z = 2*v + v + 27. Solve 0*k = 5*u - 5*k, 5*k = -u - z for u.
-2
Suppose 0 = -w + 4*h, 2*w - 14 + 11 = 5*h. Solve w*i - 3 = r - 0*r, -4*r = i - 5 for i.
1
Suppose 15 - 3 = a - 2*o, -2*a - 3*o + 3 = 0. Suppose a = 2*m + m. Solve 0 = -4*b + 5*z - 7, -b + 5*z - 9 = m*b for b.
2
Let a = -34 + 37. Let b be (2 - 2)/(1 - a). Solve 5*t + 3*w - 11 = 3*t, b = -4*t + 2*w + 14 for t.
4
Suppose -4*f = 4*p - 12, 0*p - p + 15 = 3*f. Suppose 0 = -3*k - 3*s + 15, 0 = -k - s - s + f. Solve -k*d = 4*n - 2*d + 14, -3*n - d = 12 for n.
-5
Suppose 2*j - 3*j - 5*i = -14, -4 = -2*i. Suppose -5*v + 5*b = 16 + 4, 5*b + j = v. Let l = 11 + v. Solve -k + 2*x - l = 0, 7*x - 4*x - 15 = 0 for k.
5
Suppose 2*u - 5*r = 6*u - 26, -4 = u - 4*r. Let h(t) = t + 2. Let k be h(5). Suppose -5*b - 4 = -k*b. Solve 5*m - u*v = -25, 5 - 15 = b*m - 4*v for m.
-5
Suppose 5*j + 6 = 5*r + 61, 4*j + 5*r = 35. Solve -h + 3*l - j = -2*h, -2*h - l = 5 for h.
-5
Suppose s - n = -6*n - 19, 3*s = -n + 13. Solve -3*f + 4 = -w - 0*f, -f + s = -5*w for w.
-1
Let s(x) = x**3 - x + 1. Let y(i) = 6*i**3 + 28*i**2 - 4*i + 38. Let t(w) = -5*s(w) + y(w). Let k be t(-28). Solve 2*f = 4*f + 3*a + 23, -3*f = -k*a - 13 for f.
-4
Let s = -1128 + 1134. Solve -16 = -3*k - u, 0 = -4*k + 3*u + s - 2 for k.
4
Suppose 0 = 4*f + 4*i - 4, -4*i + 0*i - 11 = -f. Suppose -1 = f*c - 13. Solve 4*h - 33 = 5*d, h = 4*h - c*d - 26 for h.
2
Let y be 6*(-7 + 13 + -5). Sol