4 for x.
-4
Let r(h) = -h**3 + 16*h**2 - 14*h - 5. Let k be r(15). Let x = k - 6. Solve -5*j - 23 = x*z, -5*z - 2*j = -6*j - 2 for z.
-2
Let q(s) = -s**2 + 5*s + 5. Let u be q(5). Solve -t - 16 = -4*m - m, 15 = u*m for t.
-1
Suppose 3*w = 12 + 3. Solve w*f = j, -3*f = -2*f for j.
0
Suppose 5*z - 7 = 23. Suppose -3*j = j + 2*y - z, 4*y + 6 = -2*j. Suppose 2*k = -10, 5*g - 3*k = 6*g. Solve 3*a - g = 3*u + 6*a, -5*u = -j*a - 15 for u.
0
Let j(t) be the second derivative of t**3/3 + 3*t. Let b(z) = 5*z. Let s(g) = 3*b(g) - 5*j(g). Let h be s(1). Solve 3*u + h*m = -14, 5*m + 3 + 15 = -u for u.
2
Let v(g) = g**2 + 6*g - 14. Let p be v(-8). Solve b - p*r - 5 = 3*r, 2*b + 4*r + 18 = 0 for b.
-5
Suppose -5 = -3*o + 4. Let v(k) be the second derivative of k**4/12 - k**3/6 - k**2 + 3*k. Let r be v(o). Solve -2*a - 3*w - r = 2, 12 = -4*a - 5*w for a.
-3
Let q be ((-1)/2)/((-3)/78). Let m = -8 + q. Solve 6 = t - v - 2, 4*v = -m*t - 5 for t.
3
Suppose 4*r - 12 = 0, r - 13 = -6*m + 4*m. Let c(f) = -f + 8. Let b be c(m). Solve -5*z + 0*t = -b*t, 7 = z - 2*t for z.
-3
Let v(w) = 33*w - 1. Let m be v(1). Let o = -18 + m. Let i = o + -10. Solve -2*h = -s - 0*h - 5, -4*s - 20 = -i*h for s.
-5
Let v = -13 + 15. Solve 0 = 2*r + 4*t - 10, 4*t = -5*r - v - 3 for r.
-5
Let t be (5/(-2))/1*(-112)/70. Solve 3*i = -a - t*a + 11, i - 3*a = -1 for i.
2
Suppose -4*y + 16 = -2*z, -2 = -y - 3*z - 5. Suppose y*c + c + 4 = 0. Let t = c - -3. Solve -4*j = -16, t*x - 4*j + 2*j = -6 for x.
1
Let n be 12*((-8)/(-6) + -1). Let t be (n/1)/2 - 0. Solve 0 = 2*l + a - 5, 6*l = t*l - 3*a + 11 for l.
2
Let g be -6 + 10 + 1 + (0 - -2). Solve 4*z - g = -3*i, i + 8 = 5*i + 4*z for i.
1
Suppose -3*q - 13 = -5*c + 14, 0 = 5*c + q - 31. Let g = c - 1. Solve 20 = g*l, i + 10 = -0*i + 2*l for i.
-2
Suppose 0 = 3*a - 4*a. Suppose -5*p + 10 - 35 = 0. Let o(h) = h**3 + 4*h**2 - 8*h - 4. Let x be o(p). Solve a = -3*d + 4*q, -4*q - 17 = 4*d + x for d.
-4
Let y be (-2)/4 + 9/(-6). Let r = y - 3. Let b = -2 - r. Solve -16 = 7*s - 3*s + 5*h, b*s + 4*h + 13 = 0 for s.
1
Suppose 4 = -2*p + 5*g, 0*p + 3*g = -4*p - 8. Let r be (-5 - -8) + p/2. Solve -5 = -4*q + h - 3, r*h - 8 = -4*q for q.
1
Suppose 5*t - 2*o - 4 = -0*o, -5*t - 4 = 2*o. Let j be 28 + 0 + t/4. Solve -5*y - 6 = -4*u + 6, j = -5*y - 4*u for y.
-4
Let v = 29 - 27. Suppose -4*n + 20 = v*c, 3*c - 3*n + 6 = -0. Solve 5*h + 4*r + 21 = 0, h + 2*h + c*r = -13 for h.
-5
Suppose -4*i = d - 18, 3*i + 3 = d + d. Let h be (-7)/(-3) + 4/d. Suppose h - 1 = a. Solve 3*k = a*b + 3*b - 16, 2*k = 2*b - 8 for b.
2
Suppose 5*a + 1 = -2*l - l, 1 = -l - a. Let o be 3*((-16)/3)/l. Solve 2 + o = 2*w + 4*p, -w - p = -3 for w.
1
Let u(l) = -l**3 + l**2 + 3*l - 2. Let w be u(2). Let z be ((-8)/6)/((-2)/6). Let j be (-51)/(-15) + z/(-10). Solve -4*x - 14 = 2*p, -4*x = -j*p - w + 19 for x.
-4
Let o(v) be the second derivative of 5/6*v**3 + 0 - 3*v**2 + 1/12*v**4 + 3*v. Let a be o(-7). Solve 4*q + 11 = 3*d, -4*q - 3*d - 5 = -a*d for q.
-5
Let t be 1 - (-2 + (-2 - -3)). Suppose -o + k + t*k = 12, 4*o + 5*k = 20. Solve c - f - 1 = o, -c - c + 6 = -3*f for c.
-3
Let x(a) = 2*a**3 + 20*a**2 - 2*a - 14. Let k be x(-10). Solve -17 = -5*s + 3*g + k, s = 3*g + 7 for s.
4
Let x be (12/8)/((-3)/(-4)). Suppose 2*m - 2*a + 0 - 6 = 0, x*m - 16 = -3*a. Solve 4*o = -m*j - 11 + 31, 0 = -4*o + 2*j + 20 for o.
5
Let h(y) = -y**3 - 5*y**2 + 10*y + 25. Let a be h(-6). Solve 5*o = -4*d - 0*o + 6, 5*d = -2*o - a for d.
-1
Let u(s) = s**3 - 5*s**2 - 5*s. Let n be u(6). Suppose 2*p - 9 = -z, z - 9 = -3*p + 3. Let y = -11 + 16. Solve z*d - 3 + y = -4*o, -n = 4*o + 5*d for o.
1
Let p be 18/3*(-1 + 2). Let j be p/27 - (-104)/18. Let r = j - 4. Solve 0 = -2*u - 3*o + 1, -o = -4*u - r*o - 3 for u.
-1
Suppose -5*h = 5*s - 30, -10 + 37 = 5*h + 4*s. Suppose -r - h = 0, 3 = -4*q + 4*r + 23. Solve 0*b + q*b - 6 = -c, 0 = 4*b + c - 16 for b.
5
Let o = 34 + -27. Solve 0 = -4*y + 5*j + 4, 3*y = -2*j + o*j + 8 for y.
-4
Suppose -2*a + 40 = 3*a. Suppose -61 = -12*o + 35. Solve -j + 5*d = -0*j + o, 5*j - d = a for j.
2
Let i = 3 + -2. Let h be ((-1)/(2/(-2)))/i. Let v be (-1 - h) + -1 + 6. Solve -v*g + 32 = -5*r - 0, 4*g - 5*r - 36 = 0 for g.
4
Suppose -4*r - 2*r = 0. Solve 4*a + 5*p = -14, r*a - 9 = a + 4*p for a.
-1
Let m be -1*(2 + 3) - -1. Let c = m - 0. Let r(z) = -z**2 - 6*z - 6. Let g be r(c). Solve 2*b - 9 = g*u + b, 4 = 4*b for u.
-4
Let f(b) = -b**3 + 5*b**2 + 6*b + 3. Let t be f(6). Let a = -1 + 6. Let l be 3/(((-3)/a)/(-3)). Solve -l = t*c - 4*q, 0 = c - 3*q + 5 for c.
-5
Suppose 0 = -2*x + 3*r - 10, 2 = 3*x + r - 5. Solve -3*q + 10 = -k - x, 0 = -4*k + q + 11 for k.
4
Let q(m) = m**2 - 7*m - 2. Let t be q(9). Solve 4*u = -3*l + t, -4*u + 9 = 5*l - 15 for l.
4
Suppose 5*v - 45 - 15 = 0. Solve 0*r = 3*r + j + v, -r + 4*j - 4 = 0 for r.
-4
Suppose -3*s = 2*s - 25. Solve o + 3*o + 6 = -3*a, 3*o = -s*a + 1 for a.
2
Let p = 79 - 54. Suppose 0*f = -5*f + p. Solve -f*m + 10 = -3*i, m + 16 = -5*i - 10 for m.
-1
Let c be (2/(-3))/((-13)/39). Solve -3*j + 4*o - 10 = 0, j + 1 = -c*o + 11 for j.
2
Let s(v) = v**2 + 4. Let a be s(0). Let z(p) = p**2 + p. Let l be 8/(-6) - (-6)/18. Let h be z(l). Solve a*m - 3*o + 5 + 3 = h, 0 = 4*m + o - 8 for m.
1
Let q = 27 + -10. Suppose -4*z + 20 - 4 = v, 3*z - q = -2*v. Solve -2*u = -v*g - 4 - 0, -2*g - 4 = -2*u for g.
0
Let z(h) be the third derivative of -h**6/120 - h**5/15 + h**4/8 + 5*h**3/6 + 3*h**2. Let j be z(-5). Solve -2*n = -2*s + 14, -5*s - 2*n = 3*n - j for s.
5
Suppose 0 = -2*n - 2*g + 32, -4*n - 4*g = n - 85. Solve 0 = 2*c + 2*c - 5*i - n, -i = 5*c + 10 for c.
-1
Let o = 2 + -2. Let v be 1 - ((o - 13) + 3). Solve -8 = -3*y - 4*j - 2, 0 = -2*y - 5*j + v for y.
-2
Suppose a + 2*y - y - 1 = 0, -3*a + 3*y - 3 = 0. Let i = a + 0. Solve i*o + 3*m - 14 = o, 3*o = -2*m - 9 for o.
-5
Suppose -q = -4 + 2. Solve -q*n - 8 = -3*p, 0*p = 5*p - n - 4 for p.
0
Let t(u) = u**3 - 11*u**2 - 10*u - 24. Let y be t(12). Solve 5*r + x - 28 = 0, 2*r - 3*r + 4*x - 7 = y for r.
5
Let w = 37 + -21. Suppose -4*j + 4 = -w. Solve 4*b + 3*r = -4, -33 + 7 = -j*b + 4*r for b.
2
Let g(y) = 2*y**2 - 3*y. Let w be g(3). Solve t + 0*t - 5 = r, -3*r = -t + w for t.
3
Let l(r) = -5*r**3 - r - 1. Let v be l(-1). Solve v*m + 5*a + 7 = 2, 4*m + a - 2 = 0 for m.
1
Let g be (8/5)/((-1)/(-5) - 0). Solve 0 = w + a + 2 - 1, 0 = 4*w + 2*a + g for w.
-3
Let q(w) = -w**3 - 6*w**2 - 5*w + 3. Suppose 9 + 1 = -2*i. Let j be q(i). Solve -4*x = 4*b + 36, -5*x + x - j*b = 31 for x.
-4
Let y be -2 - (-3 - (0 - -2)). Solve -5*s = 5*r + y + 12, 5*r + 23 = 3*s for r.
-4
Let g be 1 - (-2 - 1) - -2. Let x = -4 + 7. Suppose -x*l - n + 0*n + 13 = 0, -n = l - 5. Solve -3*v + 2*v + g = l*m, -2 = 4*m + 5*v for m.
2
Let x be 3 + (-1)/(3/(-78)). Let w = 40 - x. Solve 3*v + w = -4*j + 31, -3*j + 2 = -v for j.
2
Let s be ((-1)/2)/(6/(-36)). Let m(y) = y**2 + 1. Let c be m(s). Let q(a) = -a**2 + 7*a - 3. Let k be q(6). Solve -12 = 3*u, -k*b + b - 4*u = c for b.
3
Let d = -10 - -6. Suppose 4*i = -2*i + 6. Let o be i + -2 + d/(-2). Solve 2*c - 1 = -v - 0*v, o = v - c for v.
1
Let g(n) = n**2 + 7*n + 1. Let i be g(-8). Let b = i + -5. Solve -5*y - b*j + 0 = -20, -4*y = j - 5 for y.
0
Let z(h) = h**3 - 3*h**2 + h - 3. Let o be z(3). Suppose 3 - 16 = 2*g - 3*k, -k = -4*g - 1. Let j = -8 + 15. Solve v + j = 3*l + g, o = 4*v + 4*l + 8 for v.
-3
Let t be 5 - ((-18)/(-1))/6. Solve 5 = c - t*p, 2 = c - 3*c - 2*p for c.
1
Let h(u) = 2*u. Let d be h(-5). Let c(a) = a + 12. Let p be c(d). Suppose 0 = -f + 4, -b + p*f = -f + 12. Solve b = -3*v, -5*v - 5 = -2*j - 1 for j.
2
Suppose -4*z = -4*h - 32, -z = 2*h - 5*z + 24. Let m(b) = b**2 + 2*b - 4. Let q be m(h). Solve 5*g = q*l + 10, -3*l - 4*g + 7 - 30 = 0 for l.
-5
Let a(g) = 2*g**2 - 2*g + 1. Let t = 4 + -3. Let d be a(t). Let p(b) = 9*b**3 + b**2 - b + 1. Let h be p(d). Solve 3*j + 1 + h = -4*q, 2*j = -3*q - 7 for q.
1
Suppose -3*v - 24 = -3*f, 0*f - 5*v + 50 = 5*f. Solve n + 4*t - f = -0*n, 0 = 3*t - 3 for n.
5
Suppose d + 0 - 1 = 0. Suppose d - 3 = -a. Solve 5*o - n = 2*n - 19, 2*o + a*n = -14 for o.
-5
Let a = -4 - -7. Let z be (-2)/6 + 1/a. Let b = 119 + -119. Solve 2*u = -b*k + 3*k - 6, -2*u = z for k.
2
Suppose -4 = -4*a + 4. Suppose 0 = -d - a + 4. Suppose -5*s + 8 = -d. Solve -u - 