= -3*g + q*g + x for p.
2
Let q = 7 - 3. Suppose -2*m + m = 5*j - 16, j + q = -2*m. Suppose 4*y - 26 = 5*i + 3, -3*i - 16 = -y. Solve o = y, -b = 4*o - 3*o - j for b.
3
Let y = 6 + -1. Suppose 0 = -0*z + y*z. Solve z = -v + 2*k + 2, v - k - 2 = -2*k for v.
2
Suppose -5*n = 7*n - 6*n. Solve -v - 1 = -n*y + 4*y, 0 = 2*v + 4*y - 2 for v.
3
Let r = 4 - 0. Solve -2*p + 21 = 4*v - v, -20 = -r*v for p.
3
Suppose 0 = 14*i - 11*i - 9. Solve -x + 2 = -o, -2*x - 2 = -2*o + i*x for o.
-4
Let u be (2 - 0 - 1)*(25 + -21). Suppose 7 = 4*o - 13. Let v(c) = c**3 - 4*c**2 - 4*c. Let r be v(o). Solve -5*b = -2*b + 4*h, -u*h = r*b for b.
0
Suppose 6 = 5*c - 3*c. Solve -w = 5*l + 18 + 4, -6 = -c*w + 3*l for w.
-2
Suppose -2*w - 14 = -a, -6*a - 12 = -3*a. Let y be (4/3)/((-6)/w). Let j(v) = 5*v**2 - 2*v. Let l be j(1). Solve y*b - l*f = -b + 24, -14 = 2*b + 4*f for b.
3
Let f be 1*((-1)/(-1) + -1). Suppose -2*i - 62 = -3*d - f*i, d = -5*i - 2. Let u = 52 + -48. Solve 4*b = -m + d, -2*m - u*b + 30 = 10 for m.
2
Suppose -n = 2*n. Solve 5*t + 6*i - 3*i + 21 = n, 14 = -4*t - i for t.
-3
Let c(g) = g + 4. Let m be c(-2). Let r = -2 + 5. Solve -r*k + 2*a - 15 = 0, 0 = k - 2*k - m*a + 3 for k.
-3
Suppose 2 = -2*j + 6. Suppose j*g + 9 = 2*d + g, -d + 5*g = 0. Suppose 4*m + 4*u - 20 = 0, -u = 4*m - 3 - 2. Solve -5*c - 10 = -t - 1, m = -3*c - 2*t + d for c.
-1
Let q = -10 - -38. Solve 3*a - q = -a + 4*o, o - 8 = -4*a for a.
3
Let d(z) = 2*z**2 - 11*z + 13. Let q be d(6). Let k = -8 + 13. Solve -k*f + q = 2*m, 2*f + 0*m = -3*m + 1 for f.
5
Let s be (-2)/6*(0 + 0). Suppose s + 4 = 2*h. Solve -2*w = 5*z + h*w - 4, -2*w + 2 = 2*z for z.
0
Let z = -39 + 41. Solve 22 = -3*h - 5*a, 3*a + 7 = 2*h + z*a for h.
1
Suppose 3*p + 15 = -4*b - 0, 0 = -b - 3*p - 15. Let x be 0 - -2 - -15 - 2. Let d = x + 3. Solve 2*f - 4*j - d = b, -3*j - 10 - 4 = -2*f for f.
1
Suppose 3*a = -4*c + 8, -2*c - a = 3*c - 10. Solve 8 = -4*s, 0*s - s + 6 = -c*y for y.
-4
Let v(c) = -c + 8. Let o be v(4). Solve 2 = 5*y + 2*b - 0, -12 = -o*y + b for y.
2
Let j be 2/4*14/7. Let i be (-10)/(-1)*j/2. Solve -c - 4*a = 10, 0 + 1 = i*c + 3*a for c.
2
Let g(q) = -q**3 + 5*q**2 - 4*q + 3. Suppose 5*f = -1 - 9, -4*d + 12 = 2*f. Let x be g(d). Solve 0 = b + 4*c + 13, x*b - b + 4*c = -18 for b.
-5
Let y = 67 + -63. Solve y*x - 20 = 0, -x = -3*b + 6*b + 7 for b.
-4
Let r(t) = 7*t - 5. Let i(s) = 6*s - 4. Let a(l) = 6*i(l) - 5*r(l). Let v be a(4). Solve 4*m + 6*y + 13 = y, -4*m + 3*y = v for m.
-2
Suppose a - 8 - 2 = 0. Solve -4*m + 3*r = 18, 6*m + r = 2*m - a for m.
-3
Suppose 0*p = p - 5*w + 20, -8 = -2*p - 2*w. Let z = 0 - p. Solve 0 = -3*q - 3*k - 3, -3*q + 3*k - 21 = -z*q for q.
-4
Suppose -2*g = -2*i + 3*g - 21, 0 = 5*i - 5*g + 15. Solve -v - i*v + 5 = w, 2*v = -w + 2 for w.
-4
Suppose 4*f + 23 = 5*o + 2*f, -o - 5*f - 17 = 0. Suppose 32 = -q + 9*q. Solve -n = -o*x + 1, 0*x + q = -5*x - 4*n for x.
0
Suppose 4 = 2*d - 0. Let i be (-6)/(-2) + (d - 2). Solve i*b = -0*b + 9, -4*p = -2*b + 2 for p.
1
Suppose 6 = 2*t + t. Suppose t = r - 2. Solve -3*o + r*v - 2 = 2*v, 10 = -5*v for o.
-2
Let h = 6 + -4. Suppose 4*u = -5*g - 6 - 0, 0 = -5*g + u + 14. Suppose c - 4*c = 0. Solve h*v + v = g*z, 4*v - 5*z = c for v.
0
Let i(l) = -l**3 - l**2 - l. Let a be i(0). Suppose -4*h - 41 = -5*t, -3*h - 2 + a = 2*t. Solve -q = 3, -4*q = -t*w + q + 40 for w.
5
Let r(k) be the third derivative of k**4/24 + 5*k**3/2 + k**2. Let f be r(-15). Solve 4*u + o + 6 = 0, o - 6 = 2*u - f*o for u.
-2
Let r be (-2)/(-4)*0 - 1. Let z be (r + 11)*(-5 + 4). Let a = -6 - z. Solve 2*h + 10 = q + 21, 0 = -h + a*q + 9 for h.
5
Let h(q) = 3 - 9 - q**2 + q**2 + 8*q + q**2. Let k be h(-9). Solve 8 = r - n + k, n + 5 = 4*r for r.
0
Let g = 3 - -3. Suppose 0 = c - 3*x - 6 + 3, 2*x + g = 2*c. Solve 0*o = c*r - o - 1, 0 = 4*r - 2*o for r.
1
Suppose 31 = 5*o - 4*f, 2*o - 5*o + 5*f + 16 = 0. Let s(c) = -c**3 + 8*c**2 - 6*c - 3. Let u be s(o). Solve y + 5*g = -0*g + 25, g = -u*y + 24 for y.
5
Let o(b) = -b**3 - 5*b**2 - 2*b - 4. Let y be o(-5). Let s be (2/y)/((-1)/(-39)). Let q = s + -8. Solve -4*u - x = x + 10, 0 = q*u - 2*x + 26 for u.
-4
Let g be (2/(-4))/((-3)/(-144)). Let w = 17 + g. Let t(r) = -r**3 - 6*r**2 + 6*r - 1. Let c be t(w). Solve -u - 4*u = -2*i - 4, 3*i = 4*u - c for i.
-2
Let u be (2/5)/((-1)/(-25)). Let x = 0 - 0. Suppose -2*w + 2*o + 2 = -x*w, -5*w - 4*o + 41 = 0. Solve 3*t - u = -5*d, w*d - 2*t = d + 8 for d.
2
Let h be -2*1 + (2 - -4). Suppose -3*g = -5*r - 6, h*g - 2*r = 7 + 1. Suppose -3*z = -g*z. Solve -5*p + f + 7 = z, -p + 3*f = f + 4 for p.
2
Let v be ((-1)/(-2))/(1/4). Let k(x) = x**2 - x + 4. Let y be k(3). Solve -c = 4*g - 11 + v, -c + y = 5*g for c.
5
Suppose -9*q = -8*q. Suppose q = 2*s + 5*k + 16, -3*k - 3 = 9. Solve -5*c - 14 = -7*y + 5*y, -s*c = -2*y + 2 for c.
-4
Let d be (-31)/(-6) + (-5)/30. Suppose o = d*o + 12. Let a = 6 + o. Solve -4*i + 16 = -4*h, -10 - a = 2*i + 5*h for i.
1
Suppose 2*y - 1 = -3*n, 3*n + 17 = 5*y + 4. Let h be -5 + y + 4 + -3. Let p be 6/(-21) + h/(-7). Solve 2*b - 1 = -a, 5*a - 17 = -p*b + 2*b for b.
-1
Let p(w) = -2 + 4*w + 5*w**2 - 3*w**2 - w**3 + 3*w**2. Let l be p(5). Suppose -2*t = -6 - l. Solve -7*s + t = -2*s - 3*f, 5*f = -4*s - 20 for s.
0
Let v = 4 - -8. Suppose a - 6*a - 5*k = -25, -4*a - 2*k = -v. Solve -i - 10 + a = -3*n, -5*n + 15 = -5*i for i.
0
Let h(g) = g + 1. Let w be -1*(1 + 1*-5). Let r be h(w). Suppose 8*y - r*y - 15 = -4*j, 4*j - 6 = -2*y. Solve -y = u + u + 3*v, -u + 1 = -4*v for u.
-3
Let j be 2/(-4) + (-55)/(-10). Solve -j*s + 4*s = 5*m, -2*s - 5*m = 0 for s.
0
Suppose 3*s - 76 = -2*m, -2*m = 3*s + 3*m - 73. Solve 0 = v - 2*j - 5, 5*j = -2*v - s for v.
-3
Let k = -7 - 4. Let s = k + 15. Let b be 4/(-14) + s/14. Solve -4*p + 32 = -4*z, b = 5*z - 4*p + 6 + 29 for z.
-3
Let w(j) = -3*j + 1. Let i be w(-1). Solve -7 - 18 = 5*x, i = -p - x for p.
1
Suppose -5*i + 4*w + 89 = 0, -2 = -i + 5*w - 1. Suppose -t = 4*t - 20. Solve -3*q = 2*x - 5, -4*x + q + i = -t*q for x.
4
Suppose 6*v - 10 = 2. Solve 4*i = -n - v*n, 0 = 5*n - 2*i + 26 for n.
-4
Suppose a - 2*p = -p - 1, 5*a = -5*p + 25. Suppose 0*b = a*q + 3*b - 30, -4*q - b = -50. Solve i + 3*f = -q, i - f - 4 = -0*f for i.
0
Suppose -2*b - b + 45 = 0. Let p = 27 - b. Solve 5*k = k + 2*x + p, 4 = x for k.
5
Let c = -78 + 138. Suppose 0*m - 5*m = -c. Let t = m - 7. Solve t*b - f = 28, 5*b - f - 22 = -2*f for b.
5
Suppose 17 - 5 = -4*b, b - 6 = -w. Suppose 3*u - 3 = 12. Solve k = 2*o + w, u*k = -2 + 17 for o.
-3
Suppose -u - 2*u + 11 = 2*y, 27 = u - 4*y. Solve 3*w - 1 = 3*s - u, 4*s = 12 for w.
1
Suppose 2*h = h - l + 3, 0 = -2*h - 3*l + 5. Let k = -3 + 4. Suppose h*o - 7 = k. Solve z - 10 = -3*z + o*a, 5*a = 4*z - 25 for z.
0
Suppose -3*i - 103 = -4*p, 0 = 5*p + 2*i - 99 - 24. Suppose 2*r + r - 4*j - p = 0, 5*r - 2*j = 37. Solve v = 3*k - 18, 2*v - r = v - 2*k for v.
-3
Let y be 0 + 48/4*1. Let i = 17 - y. Solve 11 - 2 = 2*o + j, 5*j + 15 = i*o for o.
4
Let o = 5 - 2. Suppose j = o*j. Suppose y - 4 = -0*y. Solve u - y*a = 6*u + 36, -4*u + 3*a - 4 = j for u.
-4
Let t be 3/((-45)/(-6))*5. Solve 3*n = 2*j - 13, -4 = -2*n - t*j + 4 for n.
-1
Let b(v) = -2*v + 1 - 3 - 1. Suppose 0 = -i - 5*n - 24, -n = 2*i + 2*i + 20. Let h be b(i). Solve 4*f + 3 = c, -3*c - 10 = c - h*f for c.
-5
Let w = 33 - 31. Solve w*u - 18 + 3 = -5*h, 4*u = -5*h + 25 for h.
1
Suppose -3*w + 3*y = -3, 0*w - 2*w = -5*y + 13. Solve -w*a + 20 = -a, 3*m + 27 = 3*a for m.
-5
Let n be 0 + (0 - -6)/3. Suppose 7*d - n*d = 25. Solve -25 = d*h, 0*h - 5 = -2*x - h for x.
5
Let v be -3*((-28)/12 - -3). Let r be (-8 - v) + 4 - -3. Solve -h - 5*y = -1 - 2, -5*y - r = 3*h for h.
-2
Suppose -3*j + 0 = 9. Let x = 0 - j. Solve -x*y + 2*q - 3*q = -4, 0 = 4*y - 2*q + 8 for y.
0
Let q = -31 - -31. Solve 4*d = 3*l + 6, q = 3*l + 3 - 9 for d.
3
Suppose -4*v + 32 = 4*y, 4*v + 0*y - 3*y - 18 = 0. Solve 0 = -d + r - v, 3*r - 12 = 3*d + 6*r for d.
-5
Suppose 5*i - 20 = 3*d + 5, i + 3*d + 13 = 0. Let o = 76 - 74. Solve 3*q + 2*x = -i*q - 13, -8 = o*q - 2*x for q.
-3
Suppose 0 = 2*x - 4*x + 6. Let c(u) = u**2 - 2*u - 1. Let d be c(x). Let r(i) = -3*i - 4. Let w be r(-5). Solve -8 = d*s, -l + 4*s + 7 = -w for l.
2
Let h(u) = 2*u + 30. Let g be h(-13). Solve 0 = -5*n - g*x - 25, -x = -3*n - 6*x - 15 for n