 Let c be p(7). Let r = 14 + -9. Solve -c*y - 35 = -5*m + 3*y, -r*y - 32 = -4*m for m.
3
Suppose 2*a - 3 = a. Suppose -2*d - 4*f - 105 = -7*d, -a*f + 40 = d. Solve 0 = -5*s + j - d, 3*j + j + 15 = -3*s for s.
-5
Suppose -3*u = 3*k - 18, 2*k - 4*k + 2*u + 8 = 0. Let n = -3 + k. Solve 4*i - 2*i = 2*p - 8, -3*p - n*i + 17 = 0 for p.
5
Suppose -4 = -o - o. Solve 5*b - v = 0, 6*b - b + 15 = -o*v for b.
-1
Let m(f) = f**3 - 5*f**2 + 3*f + 6. Let b be m(4). Let z be (2 - 2)/(2/1). Let w = 0 - z. Solve p + b*r - 3 = -w, -2*p = -2*r + 18 for p.
-5
Suppose 5*z + 3 = 158. Let g = z - 60. Let h = g - -40. Solve -2*j - 3*u - h = 0, -5*u = 4*j - 0*j + 17 for j.
2
Let l be (-5)/(10/(-198)) + -3. Suppose l = 5*w + d, 0 = 5*w + 2*d - 94 + 2. Solve -5 = -2*c - 5*x + 5, -x - w = -4*c for c.
5
Let g(b) be the second derivative of b**3/3 - 9*b**2/2 + 4*b. Let h be g(6). Solve 0 = -3*w + 2*w + 5, -6 = -h*m - 3*w for m.
-3
Suppose 0 = -0*m + 6*m - 5*m. Solve m = -2*z + 3*o + 2 - 5, 4*o - 4 = -z for z.
0
Let l be (4 - -1)*(-8)/(-5). Suppose 0 = 3*d + d - l. Solve -2*v = -8, 7*v = 2*f + 4*v + d for f.
5
Let b(h) = -h + 20. Let s be b(10). Suppose -2*k - g = 3*k - 19, -4*k = 4*g - 12. Solve 0*i - 5*i - s = w, i = k*w + 19 for w.
-5
Let w = 23 + -8. Suppose -3 - 5 = -2*s. Suppose 0 = -2*n + 4*u - s, -2*n + n - 5*u + 12 = 0. Solve r + w = -4*b + 2*r, n*r = -2 for b.
-4
Let n be ((-2)/(-3))/(3/9). Suppose -n*j + 10 = -0*j. Solve p = -j*l - 23, -4*p - 4*l = p + 10 for p.
2
Let a(u) = -u**2 + 7*u - 2. Let q be a(6). Suppose 4*j = 3 - 7. Let y be (23/3)/(j/(-3)). Solve q*f = 3*v + y, -5*f + 0*v = -5*v - 30 for f.
5
Let n(d) = -4*d - 3 - d + 4*d + 2. Let t be n(-3). Let w be (-4)/(1 + -3)*t. Solve -14 = 2*m - w*k - 0*k, -5*m - 27 = -2*k for m.
-5
Let d(m) = -41*m**2 - m - 2. Let o be d(-2). Let u be 6/(-39) + o/(-52). Solve 3*l + 27 = 3*b, 5*b - 41 = u*l - 6 for b.
4
Let b be (-6)/8 + (-45)/(-12). Solve -2*z + 4*h + 16 = 0, 0 = 2*z + b*z + 5*h + 5 for z.
2
Let g be 5/((-10)/6) - -3. Suppose g*r - r = 0. Solve z + 4 + r = 4*y, 3*z - 10 = y for y.
2
Let x = -4 - -7. Solve -4*a = -x*p - 16, 5*p - 2*a + 7 + 15 = 0 for p.
-4
Suppose 0 = -3*z - 21 + 36. Suppose 8 = -w + 3*w. Solve 18 = -y - 3*o, y = -4*y + w*o + z for y.
-3
Let y be -12*4/(-8) - 2. Solve r + 1 = 2*l + 2*r, y*l = 2*r + 14 for l.
2
Let x = -12 - -7. Let i be 2 + -2 - 0/x. Solve c + 2*h = i, c - 4*h = -3*c + 12 for c.
2
Let z(o) = 5*o + 0*o - 3*o + 24. Let d be z(-10). Solve -3*i = 3*t + 3, 2*t - 2*i + d = 6 for t.
0
Let p = -13 - -18. Let w be 11 + (-3)/3 + 4. Suppose 2*g + 6 - w = 0. Solve -f - p = 2*d, 5 = -g*d - 4*f + f for d.
-5
Let j(l) = 2*l - 10. Let b(r) = -r + 7. Let h be b(0). Let q be j(h). Solve 0*s - 2*s - q = 4*v, -2*s - 4 = 3*v for s.
-2
Let p be (-2)/3*(-6)/(-4) + 3. Solve -18 = -p*c - 4*w, 2*c + 0*w = -2*w + 10 for c.
1
Suppose -1 = 5*r - 11. Suppose -q + 7 = -2*d, r - 21 = -3*q + 5*d. Solve 3 = -q*x, -5*x - 17 = 4*i - 7*i for i.
4
Suppose -5*w + 10*w = 10. Solve -2*d + 10 = -w*k - 0*k, -5*d + 13 = -k for d.
2
Let i = 6 - 8. Let k be 4/i - 9*-2. Solve s + 0*s - t - 1 = 0, 0 = -5*s - 2*t - k for s.
-2
Suppose 5*c - 24 = -4*z, c + 0*c = 4*z. Suppose c*w - 2 = 3*w. Solve -h - 6 = 2*y, w*y - 5 - 5 = 3*h for h.
-4
Suppose -5*p + 0*z + 15 = 3*z, 0 = 4*p + 3*z - 15. Solve 8*i + 6 = 3*i + 3*d, -5*i + 2*d - 4 = p for i.
0
Suppose 15 = 2*i + 3*f, -6 = 5*i - f - 1. Solve 4*q = i, 4*a - 33 = -3*q - 13 for a.
5
Let m(j) = -j**3 - 13*j**2 - j - 11. Let d be m(-13). Solve -1 - 3 = -d*n + 2*p, 5*n = -p + 22 for n.
4
Suppose -u = u - 10. Suppose -3*j = 6, 1 = -3*a - 4*j - 1. Solve 30 = -2*h - h + u*l, -l - a = h for h.
-5
Suppose 2*i - 4 = -0. Let c = -6 + i. Let q be 125/10 - 2/c. Solve -4*v + 4*k + 17 = -v, k - q = -5*v for v.
3
Let x(f) = f**2 + 2*f - 5. Let d be x(-4). Suppose 2*n = -d*n - u + 4, -3*n - 20 = -5*u. Solve -5*z = -2*q - n*q - 20, -5*z = 4*q + 10 for z.
2
Suppose -x + 5*n - 22 = 0, -2 = -3*x - x + 2*n. Solve 2*k + x*k - 5 = i, 2*k - 24 = -4*i for k.
2
Suppose 16 = -5*j + 51. Solve -2*w + j = m, -3*m = 5*w + m - 13 for w.
5
Let p be (72/(-32))/((-6)/32). Let o be 38/14 + p/42. Let u = -2 + 2. Solve 3*n - 2*n + o*c - 15 = u, -3*n + 4*c = 7 for n.
3
Let y(h) = h + 8. Let n be y(-8). Let t be n/3 - -3 - -3. Let r be 11/3 + (-4)/t. Solve -3*w + 8 = -5*o, 0 = -4*w + r*w - 4 for o.
-4
Let z(v) = -3*v - 3. Let s be z(-3). Let x(f) = f - 4. Let r be x(7). Let l = -15 - -18. Solve 2*g = 3*q + 8, -l*g + r = -3*q - s for g.
1
Let t be 3/(-3) + (-4)/(-3)*3. Solve t*v = -3*n - n + 7, 5*n = 20 for v.
-3
Let x = -16 + 16. Solve x = o + 4*t + 9, -2*t = -5*o + t + 1 for o.
-1
Let u(t) = t**3 - 8*t**2 + 9*t - 5. Let z be u(7). Suppose -z - 7 = -4*q. Suppose r + w = 0, 2 = 3*r + w - 4. Solve -m - m - 21 = 5*d, -r*m + 26 = -q*d for m.
2
Suppose 4 = 3*i - 2*i. Let p be 2/4 + (-2)/i. Solve -4*s = 2*y + 16, p = 3*s - 0*y - y + 12 for s.
-4
Let w = -5 - -7. Let r be (-1)/((-21)/(-9) - 2). Let v(q) = q**3 + 4*q**2 - q - 2. Let g be v(r). Solve 5*k = -g, -w*z + 3*z - 2*k + 1 = 0 for z.
-5
Let n(z) = z**3 + 5*z**2 + z + 7. Let k be n(-5). Suppose k*c - 4 = 2. Solve -5*h = -v + 5, 2*h + c*v + 4 = -2*h for h.
-1
Suppose i + 5 = 2*i. Solve -z + 0*z - 2*f = i, -3*f - 40 = -5*z for z.
5
Suppose g - 3 = 3. Let f = -174 - -177. Solve 4 = -3*b + 3*c - 5*c, f*c + g = -b for b.
0
Suppose -4*z + 2 = -3*z. Suppose -p + 3 = 4*f, -3*p - 19 = f - 3*f. Let h = -1 - -3. Solve -f = -h*s - i, -3*i = s - z + 6 for s.
2
Let g = 43 + -35. Let d = -2 + 7. Solve 0*j = 5*k + j + g, 0 = -d*k - 3*j - 4 for k.
-2
Suppose 5*z = -30 - 75. Let k be 27/2 + z/14. Solve -3*a - k = -2*v - 0, 4*a + 16 = -4*v for a.
-4
Let i be (0/1)/((-3)/(-3)). Solve -3*f = 3*p + 6, -f + 2*f + 2*p + 2 = i for f.
-2
Suppose 3*w = -i - 152, 68 = -w - 0*w + 4*i. Let n = -73 - -42. Let c = n - w. Solve -3*b = 2*h - c, 15 + 7 = 5*b - h for b.
5
Let b be 1*(0 + 0)*(-1)/2. Solve -5*x = -b*n - 5*n + 20, 2*n = -x - 1 for n.
1
Let o be (-4)/(-14) - (-26)/7. Solve r = -o*s - 9, 4*r = 4*s - 12 - 4 for r.
-5
Suppose -4*o + 2 + 6 = 0. Solve -5*i + 0 + 2 = -2*l, o*i - 2*l - 2 = 0 for i.
0
Let i(h) = h - 1. Let y be i(1). Solve 2*p + 0 = -5*j - 19, 5*p - 3*j - 30 = y for p.
3
Suppose -2*d + 12 = -c, -12 = 3*c - 0. Let m be (-4 - 0)*(2/(-4) - 0). Let w = -7 - -12. Solve w*q + 12 = m*h, -q + 4 = -d*h - 8 for h.
-4
Let f = -13 + 13. Suppose f = -c + 8 - 3. Solve 20 = -5*k, 2*q + 2*q - c*k = 36 for q.
4
Suppose u = -3 - 5. Let k be (-162)/u - (-6)/8. Let j = 34 - k. Solve j = -t - t + 3*d, 0 = -2*d + 6 for t.
-2
Let c(v) = v**2 + 3*v + 4. Let x be c(-3). Let b = x - -4. Let h(w) = 3*w**2 + w + 1. Let g be h(-1). Solve 2 = -2*l + 3*l + g*i, -4*i + b = 0 for l.
-4
Suppose -u - 12 = 2*q + 2*u, 0 = -4*q + 4*u + 16. Let o = q + 3. Solve -o*v + l + 2 = 0, 2*v + 1 + 1 = 4*l for v.
1
Suppose 0 = 5*a - a + 5*o + 12, -30 = -5*a + 5*o. Solve 27 = 4*p - 3*k, a*k - 3*k - 17 = -4*p for p.
3
Let t(d) be the first derivative of d**3/3 - d**2/2 - 4*d - 2. Let g be t(-2). Solve -6 = g*z - q, 3*q + q = -16 for z.
-5
Let w be ((-1)/2)/(1/(-20)). Let i = 5 - 0. Let s = w - i. Solve 4*v - o = 8, 4*o = -s*v + 3*o + 1 for v.
1
Let s = -96 - -96. Solve b + 3*r - 9 = 0, s = 5*b + r + r + 7 for b.
-3
Let h = 7 + -9. Let z be ((-16)/(-6))/(h/(-9)). Solve -3*u - 10 = 4*q + 6, -4*q - 2*u - z = 0 for q.
-1
Suppose 0 = -2*i + 4 - 6. Let f = i + 1. Solve g - p - 4*p + 3 = f, -11 = -5*g - p for g.
2
Suppose 0*q = -q + 1. Let a be (2 + -1)*15 + -1. Suppose -u + q = 3*j + a, 0 = 4*j + 20. Solve u*p - 1 = 3*k + 3, 0 = 2*k + 4 for p.
-1
Let b be 1/((-5)/(-4) + -1). Solve -3*t - 15 = 0, 7 = 2*z - b*t + t for z.
-4
Suppose 19 = 4*t - 45. Let z be 0/2*(-2)/(-4). Let n be (1 - 2) + 5 + z. Solve -n*b = -4*i - t, b + 2*i + i + 4 = 0 for b.
2
Let d(u) = u - 8. Let r be d(10). Suppose 5*n - 34 = -5*p - 4, -4*p - r*n = -20. Let i = 0 - 0. Solve -2 = -5*v - i*c + c, p*v = -c - 2 for v.
0
Let d(z) = 5*z**3 - 4*z**2 - 4*z - 4. Let v(a) = a**3 - a - 1. Let y(x) = -d(x) + 4*v(x). Let c be y(4). Solve -3*w + c*j = j + 9, j = 0 for w.
-3
Suppose 3 = n + m, -5*m - 2 = n - 9. Suppose n*x + 0 + 2 = 0. Let t be (x + 2)*(0 + 16). Solve 0*u = -3*u - 2*h + 14, -2*u + 5*h = t for u.
2
Let n be (-16)/(-112) - (-194)/14. Solve -5*f + 4*f - 6 = -2*z, 2*z = 