 - 18 = 2*p, 0*p - s*p - 16 = 0 for b.
2
Let h(r) = 2*r**2 + 5*r. Let n be h(-4). Suppose -2*j = j - n. Suppose 7 = 2*p + 3. Solve 0 = x - s - 1, 6 + j = -p*x - s for x.
-3
Let w be 426/60 + (-2)/20. Solve -2*x + 2 = 3*y, 2 = w*y - 2*y + 2*x for y.
0
Let j = -30 - -34. Solve 14 = 3*u + j*x, -u - 2*x = 2*x - 18 for u.
-2
Suppose 0 = -c + 4*c - 2*i - 9, -4*c + i = -17. Let j(b) = b - 1. Let t be j(c). Solve t*f = 4*u, -3*f - 3*u + u = 0 for f.
0
Let w = 49 - 37. Suppose 13 = 4*q + 1. Solve 3*u - 9 = 3*b + 3, q*b = 4*u - w for b.
-4
Let y be (2 - (1 + -2)) + -1. Solve y*u + 34 = 3*m - 3*u, 0 = -2*m + 5*u + 31 for m.
3
Let o = 5 - 1. Let a(s) = -3 + o + 5 + s. Let k be a(0). Solve q = 5*v + 25, -v + 1 = -4*q + k for q.
0
Let r = -8 + 12. Let y = 1 + r. Solve -5*l = -3*g + 5, -y*l - 15 = g - 2*g for l.
-4
Let x = 31 - 11. Solve 0 = b - 4*p + 19, 2*b + x = -2*b + 2*p for b.
-3
Let u = 14 - 12. Suppose -u*o + 20 = 3*o. Solve -4*f = -0*f - o*v - 12, 4*f + 18 = -2*v for f.
-2
Suppose -4*k + 33 = -a + 6*a, -3*a + 17 = k. Let r be (-1647)/(-18) + k/(-4). Let t be (-2)/(-5) + r/35. Solve -21 = 4*i + 5*o, 2*i - t*o - 1 - 16 = 0 for i.
1
Suppose 3*h - 5*n - 25 = 0, -n = 2*h - 6 - 2. Suppose y - 4*y + 5*g = -1, -2*y + h = g. Solve v + 0*b - y = 3*b, -5*b - 10 = 5*v for v.
-1
Let u(r) = r**3 - r**2 - r + 12. Let b be u(0). Solve -2*o - 2*o - b = -2*p, -3*o - 11 = -p for p.
-4
Let v be (-11 - 3) + (-4)/4. Let n = v + 22. Solve -k - x = 2*x + n, 2*k + 2*x + 2 = 0 for k.
2
Let h = -5 + 3. Let g = 6 + h. Let a = 19 - 11. Solve s - g = -u, 4*s = u + s + a for u.
1
Let l(w) be the third derivative of -w**4/12 + w**3 - 7*w**2. Let f be l(3). Solve f = -2*j - 5*d - 6, 0*j - d = j for j.
2
Suppose 2*w = -w - 5*j + 2, -20 = -3*w + 4*j. Suppose 4*u + 6 - 2 = 0. Let b be 1 + u + (5 - 3). Solve 2 = 2*z - b, 0 = 3*n - w*z + 2 for n.
2
Suppose 8*j - 6*j = 5*c - 19, 4*j + 8 = 4*c. Solve 5*o = 15, -3*o + j = 3*k - 0*o for k.
-2
Let p(d) = -d - 1. Let a be p(-6). Solve 2*g = g + 2*i - 2, 5*g - a*i = 0 for g.
2
Suppose 8*l - 30 = 10. Solve 4*c = 3*g + c + 21, -l*g - 4*c = -1 for g.
-3
Let o(m) = m**2 + 10*m + 12. Suppose -3*k = -2*j + 29, 3*k + j = k - 17. Let n be o(k). Solve 0 = 3*w + 2*w - a - 23, -2*a = -n*w + 11 for w.
5
Let m(s) be the second derivative of -s**4/12 + 5*s**3/6 + 4*s. Let k be m(5). Solve -t - 5*d + 0*d = 0, 3*t - d = k for t.
0
Let r be 22/18 + 6/(-27). Suppose r = q - 5. Let t = q - 3. Solve -4*z + 3*b = -23, 2*z + t - 32 = 5*b for z.
2
Suppose 4*r - 32 = 2*r. Let x = 26 - r. Solve 5*b + a + x = 0, -b = -0*a - a + 8 for b.
-3
Suppose 4*u + 0*g - 35 = 3*g, -3*g - 46 = -5*u. Solve -3*y + 6 = 0, -2*i - 4*y + u = -3*i for i.
-3
Let l(w) = w**2 - 8*w. Let t be l(8). Suppose -2*b + b = t. Solve b = -3*u - 5*a - 13, 0*u = 5*u + 4*a for u.
4
Suppose 3*u + 0*d - 9 = -2*d, -4*u - 3*d = -11. Suppose 31 = q - u*o, -2*o + 38 = 5*q - 63. Solve -4*t = -z - q, -t + 40 = 4*t - 4*z for t.
4
Let h = -19 - -24. Solve -h*q = -0*g + 4*g, 2*q + 2*g = 2 for q.
-4
Let h = -1 - -7. Let d(j) = -j**2 - j**3 - 4*j**3 + 4*j**3 + 1 + j. Let a be d(-2). Solve -2*p + 4 = y, h*y = a*p + y - 19 for p.
3
Let t be 4 - (-2)/4*0. Solve t*s + 4*b - 14 = 7*s, 4*s = -4*b for s.
-2
Suppose 0 = 4*s - 5*n - 51, -2*n - 2*n = -4*s + 48. Suppose 0 = v - 2 - 0. Let i be 6/v*2 - 1. Solve i*h = 5*b, 3*h - 8 = -s*b + 4*b for b.
1
Suppose -3*h - h = -12. Suppose 0 = -h*w - w + 16. Suppose w = p + 3*p. Solve -t + 8 = t, -5*s - p = t for s.
-1
Let d = 34 + -30. Solve -3*a = -5*a + d*x + 18, 0 = -4*a + 2*x + 24 for a.
5
Let l be (1/3)/((-1)/(-15)). Let w(q) = 3*q + 1. Let g be w(3). Suppose -x = -g - 22. Solve 12 = -4*m + x, 2*a = l*m - 15 for a.
5
Let j be 3/((-18)/4)*-3. Let w = j + 6. Solve -h + 2*r - r = w, -5*h - 5*r = -10 for h.
-3
Let h be (-3)/((-31)/14 + 2). Solve -4*q + 5*b = -27, -4*b = q + h - 5 for q.
3
Let s = 18 - 14. Solve -s*k + 4*w + 11 = -1, k - 3*w = 11 for k.
-1
Let w be 160/(-120)*(1 - 4). Suppose 0*p = -4*p + 4. Solve -6 = w*x + g, -x + g = -p - 0 for x.
-1
Let t(d) = -d**3 + d**2 + 4. Let q be t(0). Solve -2*a + q*a = -3*l - 6, -4 = l for a.
3
Let t(w) = 9*w - 22. Let s be t(3). Solve 2*n + 0 = 3*u + s, -u - 1 = 0 for n.
1
Let v(z) = z**2 + 2*z - 11. Let s be v(-5). Solve -p - 9 = -s*a, p + 4*a - 7 = -0*a for p.
-1
Let p = -16 - -22. Let v(f) = -7 + 5 + f + 0*f. Let j be v(p). Solve 4*w + 5*s + 32 = 0, j*s = -4 - 12 for w.
-3
Let j(s) = -s**3 + 9*s**2 + s - 5. Let m be j(9). Suppose 0*u + m*u - 12 = 0. Solve 0*i - 16 = 4*i - 3*g, 5*i - 7 = -u*g for i.
-1
Let d(f) = -f**2 + 11*f - 4. Let k be d(10). Solve -3*m + 2*n - k = -3, 0 = -2*n for m.
-1
Let y be (21 - 14) + 2/(-1). Suppose 4*s = 6*s. Let a = s + y. Solve 37 = 3*j - a*z, 4*j - 3*j = -z - 1 for j.
4
Suppose -14*n = -11*n. Solve 4*a = -4*z + 2*z + 8, -3*z + 12 = n for a.
0
Let i(c) = c**2 + 5*c - 7. Let s be i(-7). Suppose 0 = 4*h - s - 5. Solve 0 = -h*a + 4*a + 1, 3*a + 8 = 5*p for p.
1
Let b(d) = d - 3. Let r = -2 + 2. Suppose 0*g = -5*t - 5*g + 50, r = -5*t + 4*g + 5. Let z be b(t). Solve 3*c - 3 = -3*v, -4*c = z*v - 7 + 3 for c.
1
Let x(g) = g**2 - 10*g - 8. Let o be x(11). Solve -o*b = -0*b + 9, 5*m + 3*b - 11 = 0 for m.
4
Suppose 3*i - 7 - 2 = -5*r, -4*i + 4*r + 12 = 0. Let a be (-8 - -20)*1/i. Solve 2*z + o - a*o - 25 = 0, -3*z + 5 = 2*o for z.
5
Let z = -27 - -31. Solve u - 5*i = -3*i - 3, -2*i + 18 = z*u for u.
3
Let n = 0 + 4. Suppose 1 + n = h. Solve -h*z - t + 7 = 0, 2*z - 1 = -t + 3 for z.
1
Let o(x) = -x**2 - 7*x - 2. Let w be o(-6). Solve 10 = 2*b - 4*p, -2*b + 2*p = -12 + w for b.
3
Let n(j) = -j**3 - 9*j**2 - 7*j + 13. Let t be n(-8). Solve -3*z - z - 12 = t*u, 4*z = -3*u - 12 for z.
-3
Suppose 2*j = m + 14, 5*j + 2*m - 48 = -2*m. Solve -3*z + 2*x + 1 = j, -3*z = 2*x - 13 for z.
1
Let w(a) = -a**3 - 8*a**2 + 9*a + 6. Let z be w(-9). Solve -4*g - 14 = 2*s, 0 = 2*g - 2*s - z - 2 for g.
-1
Suppose 3*x = 3*p - 36, -2*p + x + 1 = -23. Solve -4*g - p = 4*z, 4*z - 8 + 36 = 4*g for z.
-5
Suppose 2*f + 3 = 3*f. Let m(b) = -1 + b**2 - 1 - b**3 - 7*b**2 - b. Let n be m(-6). Solve -n*s - 18 = v + v, -f*v + 2*s - 11 = 0 for v.
-5
Let x be -8*(-4)/4 - 0. Let g = 4 + x. Solve g = -3*t - t + 3*b, -3*t = -3*b + 9 for t.
-3
Let a = 106 + -95. Solve -3*n + 3 = 3*g, -2*n - 5 = -2*g - a for n.
2
Let t be 0 + -8*(-16)/4. Solve -4*r + t = -3*o, r + 7 = -3*o - 0*r for o.
-4
Suppose -5*c - 29 = 4*y - 109, y + 3*c = 20. Suppose 4*g + 0*g - y = 0. Suppose 0*v = -g*v. Solve -p - 2 = 2*r, -5*r - 4*p - 5 = -v*p for r.
-1
Let h be (-10)/4*12/(-10). Let z(d) = d**3 - 2*d**2 - 3*d + 2. Let j be z(h). Let s be (-1)/((-2)/20*j). Solve -s*v + 5*k = 0, -3*v = -k + 3*k + 5 for v.
-1
Let c be ((-8)/14)/((-4)/28). Solve c*z + 4 = 2*y, y - 4*z = -4*y + 4 for y.
0
Let i(m) = 2*m**3 - 33*m**2 - 17*m + 12. Let a be i(17). Let c be (-4)/6 - 8/(-3). Solve 4*v = b + a, 5*b - 17 = -c*v + 11 for b.
4
Let v = 12 - 7. Solve -3*g + 2*s + 6 = 3, v*s + 11 = 4*g for g.
-1
Suppose 0 = -2*q + 6*q - 12. Suppose -q*u = 4*t - 27, -1 = 2*u - 4*u + 3*t. Solve 0 = -2*c + u*k - 1 + 20, 3 = -k for c.
2
Let w(y) = 3 - 6*y + 3*y + y**2 - 1. Let j be w(2). Solve p = -3*f + 3 + 13, j = 5*p + 5*f - 30 for p.
1
Let l = -19 + -9. Let y = l - -49. Solve -3*v = 2*z - y, -2*z = -3*v + 3*z for v.
5
Let u = -1 + 11. Let i be (6/u)/(2/10). Solve 9 = -3*z + 3*n, -z - 6 = -i*n + 7 for z.
2
Suppose 0 = -0*w + w. Suppose 2*v - 1 - 1 = w. Let x be (5 + -3)/(v + 0). Solve 3*h - 8 = -x*r, h - 2*r - 3*r = -20 for h.
0
Let f be (-8)/4 + -1 + 8. Solve -3*i + d + 2 = 0, i - 3 - f = 4*d for i.
0
Let u = 31 + -24. Let c(a) = -a**2 - 6*a - 3. Let d be c(-3). Solve f - d*f + 4 = 2*q, -2*f + u = -q for q.
-3
Suppose -p - 8 = -13. Solve 9 = g - u, -4*g - 2*u + 31 = -p*u for g.
4
Let r(o) = o**3 + 8*o**2 + 6*o - 4. Let d be (-2 + 3)/((-8)/56). Let c be r(d). Solve c*f = p + 4, 3*p + 13 = -4*f + 1 for p.
-4
Suppose -3*b + 5 = -10. Solve 2*i + c + c = -4, b*c + 24 = 2*i for i.
2
Let n(b) = b**3 + b. Let r be n(0). Suppose r = 2*y - y - 16. Solve -c = 3*a - 8, y = 6*c - c + 3*a for c.
2
Let q be (-3 + -2)/(15/(-6)). Solve -4*c - q*m - 3 = 3, -5*c + 2*m = -15 for c.
1
Suppose 2*a = -203 + 227. Solve -3*w = -3*i + 15, 2*w - 4*i = 6*w + a for w.
-4
Suppose -1 + 46 = 9*m. Solve 0 = -5*q - 2*d - 35, m*q + 15 = 2*