 d*p = -12, 2*h - h - p = -4 for h.
0
Let x be 0/1*-3*(-2)/12. Let m(j) = -2*j + 8. Let p be m(x). Solve -3*d - 5*w = -32, -4*d + p*d + 2*w = 24 for d.
4
Let a be -7 + 7 + 7 + 7. Solve 0 = -f + 5*m - a - 11, 15 = f + 5*m for f.
-5
Suppose 3*w - 8 + 20 = 0, -4*m + 3*w + 16 = 0. Solve -2*q + o = -m, 18 = -4*q - 4*o + 2 for q.
-1
Suppose -3*g - 10 = -5*g. Suppose 2*k = -2*k. Let w = g + k. Solve 5*o + 13 + 13 = -a, -5*o = -w*a + 20 for a.
-1
Suppose -7*b = -0*b. Suppose b = -4*d - d - y + 24, -y + 8 = d. Let i = -4 + 6. Solve -i*o - t = 2, -d*t = -0*t + 16 for o.
1
Let r(j) = 22*j + 3. Let w be r(1). Solve 0*g - 5 = -4*g + b, 5*g - w = 5*b for g.
0
Let r be 2 - -3 - (2 - 2). Suppose -r*s + 15 = -0*s. Solve -d - 1 = 2*d + u, 4*d = s*u + 16 for d.
1
Let t be 1/(-4 + ((-2480)/(-156))/4). Let h = t + 49. Solve -6*r + r + h = l, r - 11 = -2*l for l.
5
Suppose -95 + 135 = 2*n. Solve 3*o + 0*r + 5 = 2*r, 0 = -5*r + n for o.
1
Suppose 4*t + t = 25. Suppose -t*f + 0*f + u = 143, -43 = f - 5*u. Let g be 8/20 - f/5. Solve 0 = -q - 4*w - 0*w - g, 10 = -5*w for q.
2
Let i be ((-4)/3)/(4/(-30)). Let h be (682/385 + 3/7)*5. Solve 0 = z + 4*c + h + i, -21 = 5*z - c for z.
-5
Let n be 11 - (-6 - 2 - -14). Solve 0*v + 4*g + 1 = -3*v, -n*g = -v + 25 for v.
5
Let y(u) = -10*u + 113. Let k be y(11). Solve h + 5 - k = -l, 5*l + 12 = -4*h for l.
-4
Let a(d) = -d**3 + 5*d**2 + 16*d - 9. Let n be a(7). Solve -n = -2*o + 6*o + i, -i + 3 = 0 for o.
-2
Suppose -27 = -7*c + 4*c. Suppose -10*m + 11*m = c. Suppose m*q - 4 = 7*q. Solve -2*y = q*w, -w - 3*w - 8 = -4*y for w.
-1
Suppose 0 = z - 1, -2*n - 9 = 5*z - 40. Solve 9*s + t = 12*s + n, -s + 4*t = 8 for s.
-4
Let h be (-2)/(-8) + 19/4. Solve -2*i + 27 = -h*c, -2*i - 12 = i + 3*c for i.
1
Let r(o) = -o**2 - 9*o - 23. Let i be r(-7). Let u = i + 12. Solve 4*j + 8 = 0, u*h - 4*j + j - 12 = 0 for h.
2
Let g = 0 - 0. Suppose 14*f + 94 = 61*f. Let x be f + (0 - g) + 2. Solve -i = -x*c + 9, -3*i = -3*c - 0*i + 18 for c.
1
Let m = -20 + 24. Solve 0 = -u - 3*y + 7, -u + 5 + 4 = m*y for u.
1
Suppose -107*u + 80 = -91*u. Solve -3*b - 2*b = -u*a - 10, 4*a - 2*b - 2 = 0 for a.
3
Let m = -101 - -104. Let r(p) = p**3 - 4*p**2 + 6*p - 6. Let w be r(m). Solve c + 2 = 3*l, 0 = 2*l - w*l + 3*c - 10 for l.
2
Let c be 6/(-2) - (-4 + 1). Suppose -2*v + c = 5*z - 22, 0 = 5*z - 4*v - 16. Solve 0*y + z*y - 4 = -j, 3*j - 12 = -y for j.
4
Let f = -151 + 151. Let c = -3 + 6. Suppose f*d = d - c. Solve 2*w - 5*b = -w, -d = -b for w.
5
Let u(m) be the first derivative of m**2/2 - m - 13. Let d be u(6). Solve s - 3*s - b = -7, 20 = d*s + 5*b for s.
3
Suppose 0 = -5*v + 15. Suppose -3*x + 10 = a, 0 + 2 = 2*a - v*x. Solve -2*w + 12 = -0*w + a*y, -4*w - y + 3 = 0 for w.
0
Let k be 1 + (-39)/(-4) + (-2)/(-8). Suppose 2*t - k = -1. Solve t*r = 3*l, 2*r = -2*l + r for l.
0
Let f be -6 - (-17)/((-34)/(-16)). Solve 0*l + f*n = -2*l, -n + 4 = -3*l for l.
-1
Let a = -48 - -53. Suppose t = 4*j - 14, 0*j = -a*j - 5*t + 5. Solve 8 = m + j*x, 2*m + 2*x + 0*x - 12 = 0 for m.
5
Let m = 114 - 114. Solve -3*o + 0*b = -4*b - 20, m = -4*o + 2*b + 20 for o.
4
Let z be (-10*-1*(-3)/(-6))/((-115)/(-46)). Let u be (-1 + (-9)/(-5))*5. Solve -n - 8 = -u*y - 3*n, -z*n = y - 8 for y.
0
Let t(q) = q + 17. Let b be t(-6). Suppose -4*m - b = -5*m. Suppose m = -5*u + 71. Solve -4*g + 5*g + 4*o = u, 6 = 3*o for g.
4
Let a = 69 - 64. Solve 0 = a*t - 2*j - 4, 2 + 2 = -t + 2*j for t.
2
Let a = -22 + 20. Let s be (-2)/4 + (-1)/a. Solve 0 = 3*z - 6, s*j - 3*j + 5 = -5*z for j.
5
Suppose -5*a + 40 = -5*l, -5*a + 0*a + 2*l = -49. Suppose 12*i = a*i + 2. Solve 14 = -i*d + 4*k, 17 + 4 = -5*d + 3*k for d.
-3
Let o be (8/(-12))/(2/(-9)) + 0. Solve 2*y + o*j + 19 = 6*j, 1 = 2*y + j for y.
-2
Suppose -4*x = -0*g + 2*g - 34, 2*x = -2*g + 20. Suppose 5*i - 74 = -3*z, -z = -i + z + x. Solve -3*j + s = 13, 7*s + i = -j + 3*s for j.
-5
Let z be (0/(-3) - -5)/((-1)/(-1)). Solve 18 = -0*r + r + 4*n, z*r + 5 = -n for r.
-2
Let u(f) = f**2 - 5*f - 1. Let o = 16 - 10. Let i be u(o). Suppose -1 = -3*d + i. Solve -3*v + 0*v - 3 = -3*j, -5*v + 16 = d*j for v.
2
Suppose 0 = d + 3*f, -2*f - 5 = -6*d + 5*d. Solve 3*t = -2*g + 11, d*t + g - 15 + 2 = 0 for t.
5
Let h be 20/(-8)*(-42)/(-15). Let l(r) = -r**3 + 5*r**2 - 6*r + 1. Let z be l(4). Let q = h - z. Solve q = 3*d + 2*d + 10, -d = -2*a - 4 for a.
-3
Suppose 2 = -c + 6. Let n(z) = -z + 2. Let m be n(2). Let q = m + 0. Solve 2*x = -5*j - 17, q = x - c - 0 for j.
-5
Let r be 8*3/6 + -4. Suppose -2*o = -r*o + 3*z - 33, -4*o + 61 = z. Solve -2*c - p + 5*p - 10 = 0, -3*c - o = -5*p for c.
-5
Suppose 234 = -10*u + 36*u. Solve -4*b + 7 = 2*f + u, -3*b = 2*f - 1 for b.
-3
Let w = 203 - 200. Solve -w*s = 4*o + 2*s - 35, 2*s + 14 = 4*o for o.
5
Let j = -56 + 59. Solve -m = r, 0 = j*r - 4*r - 5*m for r.
0
Suppose -23*x - 52 = -49*x. Solve x*o + 10 = n, 8*o + 8 = 6*o for n.
2
Let b be (2 - (-27)/(-2))/((-4)/8). Let q(v) = -v + 26. Let c be q(b). Solve 2*a - 4*j = 3 + c, 3*j = 3 for a.
5
Let i = -12 + 27. Let v = 25 - i. Suppose 11*k = v*k. Solve -2*f + 12 = -4*u, k = f + u + u - 2 for f.
4
Suppose 2*k = m - 4, -3*m + 11 = -m - k. Suppose 0*h + m = 2*h. Let a = 5 - 0. Solve 3*f - a = 4*g + h, 4*f = 5*g + 10 for f.
0
Let h = -1337 - -1341. Solve 0 = 3*a - h*j + 1, 4 = 3*j + 1 for a.
1
Let t be 122/4*(-8 + 6)*-1. Let w = -45 + t. Solve -4*u - 4*b = 0, -6*u + 3*u + w = -b for u.
4
Suppose 4*y + 0*y + 4*p - 296 = 0, -y = 5*p - 78. Suppose -y*r = -71*r - 10. Solve -k + 1 = o, r*k - 19 + 4 = 5*o for o.
-1
Suppose -4*t + m + 21 = 0, 0 = t - 2*t - 4*m - 16. Let s(q) = q**2 + q. Let o be s(1). Solve -18 + 6 = -4*v + o*r, -2*r = -t for v.
4
Suppose 53*w - 54*w + 2 = 0. Solve -3*s - z + 3 = 0, -w*z + 4 = 4*s + s for s.
2
Let m be (2*-2)/(4/(-18)). Suppose 3*v = 12 + m. Let t be 6/(-30) + 22/v. Solve -k = 1, 2*k - t - 2 = -2*l for l.
3
Let m = 666 - 661. Solve 5*h = -m*k - 20, k = 5*h - 2*k + 4 for h.
-2
Let s be (-1)/(-4)*0 + 54. Suppose -5*m - 34 = -s. Let o be 0/(m + (-3 - 0)). Solve -4*x - 4 + 2 = 5*n, o = 5*n - 2*x + 14 for n.
-2
Let m = -17 - -23. Let z be 6*(20/m + -3). Solve -4*g - z*u + 18 = 0, -4*u = -5*g + 3 - 0 for g.
3
Suppose 0 = -2*p - 3*v + 21, 2*p + 0*p = 2*v + 26. Let w be (-15)/p - (-75)/12. Solve 0 = -x - 3*t + t - w, 4*x - t + 11 = 0 for x.
-3
Suppose -2*q = -6*r + 4*r, r = 5. Suppose -l = -q*l - 64. Let s = l - -21. Solve 5*h = t - 3*t - 9, -4*t + 27 = -s*h for h.
-3
Suppose 3*r = 3 - 0, 5*p - r - 34 = 0. Suppose -12*b = -10*b - 4. Solve 2*q - 7*q - 7 = 4*h, q = b*h - p for q.
-3
Suppose -197*n + 180 = -177*n. Solve -5*p + 4*p + 8 = -3*i, -p = -4*i - n for i.
-1
Let r(i) = -i + 3. Let h be r(-4). Let w be (-30)/(-4)*(-12)/(-9)*(200 - 199). Solve -l - y + 5 - w = 0, l - h = 5*y for l.
-3
Let b = 4 - -1. Solve 2*l = 3*m + 7, b*l = m - 5*m + 29 for m.
1
Let j be (5/(-2))/(9/(-18)). Let q be 15/30*(j + 2/2). Solve 11 = q*y - 0*x + x, 2*y - x - 4 = 0 for y.
3
Suppose 1 = 3*v - 2*q, q + 9 = 5*v - 2. Suppose 0 + 25 = 5*m. Solve -4*i - 15 = m*z, 3*z + v*i + 7 = -5 for z.
1
Let h(g) = 22*g + 25. Let m be h(-1). Let n(j) = -j**3 + 2*j**2 + j - 2. Let f be n(2). Solve -x + 19 = -5*k, 3*k + 0*k + m*x - 3 = f for k.
-3
Let u = -22 - -34. Let d be (1/((-2)/u))/(-2). Suppose 2*f + 4*t - 8 = 18, -f + 3*t = 7. Solve 3*k = d*h + 21, k + f*h = -25 + 8 for k.
3
Let p(r) = r**3 - 5*r**2 - r + 7. Let z be (-15)/6*(0 + -2). Let c be p(z). Solve -c*q = 3 + 3, -2*v + 2*q = 2 for v.
-4
Let j = 1076 + -1061. Solve h - 6 = 2*g, 4*h - 7*g = -2*g + j for h.
0
Suppose 0 = -s - 5, 4*k - 27 - 303 = -2*s. Let v be (102/k)/(3/10). Suppose -4*r = -v, -4*p - 10 = r - 59. Solve -2*q = 2*d + p, d = -2*d - 4*q - 19 for d.
-5
Let o(m) = -m**3 + 7*m**2 + 16*m - 60. Let d be o(8). Solve 2*t = 4, 21*c - d*t = 17*c - 24 for c.
-4
Suppose 14 = 13*t - 12. Solve -3*g + 5*y - 13 = 0, y = 2*g - y + t for g.
4
Suppose -2*w = -w + b - 1, 0 = w - 2*b - 4. Let q(n) = n**3. Let m be q(0). Let i be (m/(-3)*1)/(-2). Solve 0 = -w*s - 2, -5*s + 20 = -5*u - i*s for u.
-5
Let y(u) = -2*u**2 - 24*u - 10. Let j be y(-10). Let w be (j/12)/(2/4). Solve q - 4*k + 14 - 1 = 0, -12 = -3*q - w*k for q.
-1
Let m be (7/(252/(-48)))/(4/(-15)). Solve 6 = -q + m*p, 4*p = -18*q + 13*q - 1 for q.
-1
Let t = 16 - 13. Suppose 0 - t = -h