 for o.
5
Let o(q) = -q**2 - 8*q - 4. Let f be o(-7). Suppose f*d - 6*d + 6 = 0. Solve -v - 9 = d*v - 2*z, 5*v - 3*z + 14 = 0 for v.
-1
Suppose -3*x + 3 = -0*x. Let j = x - -4. Suppose j*t = 2*t + 3*r + 12, -5*r - 14 = -2*t. Solve -4*o - 8 = 2*f, 0 = f - o - 1 + t for f.
-2
Let i be 3*(-1)/(-6)*0. Suppose i*z - z = -16. Solve -z = 2*a - 5*d, -1 = -4*a + a - 5*d for a.
-3
Let w = -54 - -54. Solve d - 4 = -2*j + 3, w = 5*d + 3*j - 14 for d.
1
Let a(g) = 3*g - 2. Let b be a(2). Suppose -2*t = -b*t. Suppose 0*x + 5*x = t. Solve h + 1 = w, -25 = -4*w - 3*h - x*h for w.
4
Suppose v - p - 3 = 0, 4*v - 19 = -0*p - 3*p. Suppose 4 + 12 = v*u. Solve -2*q + 10 = 4*a, -3*q + u*a - 14 = -q for q.
-1
Suppose 11 = 3*a - 0*u + 4*u, -3 = 3*u. Let s(t) = -4*t + 1. Let z be s(-1). Suppose -8*h = -7*h - z. Solve 0 = -a*g - h*r + 35, 4*g - 5*r = -0*g + 10 for g.
5
Let y be (-13)/13 + (5 - 0). Solve -w = -3*j + y*w + 30, j + w = 2 for j.
5
Let s be 6/(-2)*(-128)/24. Suppose 5*g - s + 1 = 0. Solve 4*a = -2*r - 2, -1 = -g*a - r - 5 for a.
-3
Suppose -2*o = -3*s + 73, -2*s - 4*o + 17 = -21. Solve q - 3*q = 5*h + s, 0 = -4*h - 2*q - 18 for h.
-5
Let z be 14 - (-3 + 2) - -2. Solve h = f + 8, 4*h - 3*f - z = -2*f for h.
3
Suppose -2*s = 2*s - 28. Suppose -2*l = -19 + s. Solve y + 29 = a - l*a, -2*y - 18 = 2*a for a.
-5
Let c = -9 - -14. Suppose g - 5 = -3. Solve -2*f - 4*b - 11 = -3*f, 19 = c*f - g*b for f.
3
Suppose 0 = -3*y + 4*h + 7, 2*y + 2 = 4*h - 0. Let f be 4 - ((-6)/2 - -4 - 1). Solve 29 = f*w + 5*j, 5*j - 15 = w + y for w.
1
Let l = 8 - 6. Suppose 0 = -3*n + 4*u + 7, 3*n + u = l*n + 7. Let b be 1/3 - (-11)/3. Solve 0 = b*j + i - 13, -2*i - 30 + 4 = -n*j for j.
4
Let k be (-102)/(-14) + (-4)/14. Let o be 2/(-4) - (-1)/2. Suppose o = -k*a + 2*a + 50. Solve -5*p = -a, -3*y + 3*p = -p + 2 for y.
2
Let j = 115 + -115. Solve -3*k - 24 = -3*c - j*c, -20 = -2*c + 3*k for c.
4
Suppose 4*l - 21 = -1. Suppose 8*b - u = l*b, 2*b = 5*u. Solve 4*m - 3*i + 1 = 0, -3*m - 2*i + b*i + 12 = 0 for m.
2
Suppose -3*a = -7*a + 4. Suppose 4*x - 13 = -a. Solve b - x*i - 3 = 0, -5 = -2*b + 4*b + 5*i for b.
0
Let s(i) = i**2 + 1. Let h be s(1). Let q = h + -6. Let b = q + 7. Solve b*g + 4*x + 29 = 0, g - 12 = 5*x + 10 for g.
-3
Suppose -3*i + 3*g = 21 + 102, 0 = 4*i - 5*g + 169. Let h be (i/(-45))/((-2)/(-5)). Solve -5*n = 5*c - 50, -c - 5*n + 40 = h*c for c.
5
Suppose -2*l - 8 = -4*k, -l + 3*k = 6 - 0. Suppose -5*b - 4*w + 40 = l, 5*b + w = 2*w + 15. Solve 4*c - 5*h + 32 = 0, h - b = -0*h for c.
-3
Let o(h) = 3*h - 4. Let u be o(6). Solve -4*q = 4*k + k - 16, 4*k = -2*q + u for k.
4
Let n(g) = g**3 + 4*g**2 + 2*g - 2. Let k be n(-2). Suppose -7*l = -k*l - 15. Suppose 2*h - l = h. Solve t - 17 = h*m, 3*m + 27 = 3*t - 0*m for t.
5
Suppose 0*b + 40 = 4*b. Suppose 5*q - 5*d - b = 0, -2*d + 0*d - 12 = -4*q. Solve 0 = q*u + 5*c + 36, -2*u - 20 = u + 2*c for u.
-4
Let u = -46 - -46. Solve -5*j - 4*a - 7 = -27, u = 3*j - 2*a - 12 for j.
4
Suppose 0 = -5*o + 2*q, o + 2*q = 4*o + 4. Solve 0 = -4*y - w + 2, o*w + 8 = -0*y + 4*y for y.
1
Suppose 13 = 4*m - 7. Suppose -4*g - g = -45. Let c be (78/g)/(4/6). Solve v = -2*u - 3, c = -4*v - m*u - 2 for v.
-5
Suppose 0 = -2*y - 5*u + 16, 8 + 1 = 5*y - 3*u. Solve -2*b + q - 3 + 7 = 0, 12 = -y*q for b.
0
Let k be (1 + 21/(-12))*-4. Let c be (-24)/(-1 - k/6). Solve 8 + 12 = 5*g - 5*y, 2*g + c = -4*y for g.
0
Suppose -11 = -3*m - 2. Suppose -h + 4 = -m*a, -3*a = 3*h - 10 - 2. Let i be (-2)/h + (-33)/(-6). Solve 5*w = i*r + 3*w + 3, -5*r + 5*w = 0 for r.
-1
Let f = 30 + -25. Solve -4*c = f*u - u - 16, -5*c + 24 = u for u.
-1
Let j be 19 + -15 - (-1 + 1). Solve 5*d = 2*d + p - 11, -5*d - j*p - 41 = 0 for d.
-5
Suppose 0 = 16*b - 21*b + 140. Solve 35 = -3*r - 5*z, 4*r + z = -z - b for r.
-5
Let v(s) = -s**3 - 4*s**2 + 12*s + 3. Let i be v(-6). Solve 3*c = 2*w - w, 0 = -i*c for w.
0
Let t = 305 - 301. Let d = -25 + 50. Solve 3*r = -4*g + 4 + 1, -t*g + d = -r for g.
5
Let p = 99 + -83. Solve x + 14 = 2*v, x + p = -3*x for v.
5
Suppose 0 = -t + 24 - 13. Solve -4*h + t = -g, g - 10 = -4*h + 3 for g.
1
Suppose -r - 4 = 1, -3*j - 2*r - 13 = 0. Let i(m) = -10*m**3 + m. Let c be i(j). Solve 4*f = -2*q - 3 - 11, 3*f = -q - c for f.
-2
Let s = -9 + 15. Suppose 7 + 5 = 2*a. Solve -2*l - 2*x + a*x + s = 0, -29 = 5*l + x for l.
-5
Suppose 5*d - 2*u = 126, -4*d + 46 = -5*u - 65. Solve 5*r + 0 = -f + 16, -f + 5*r - d = 0 for f.
-4
Suppose -5*l = 2*u - 10*l - 9, -5*u - 3*l = -7. Solve -2*i = f - i, 0 = u*i - 6 for f.
-3
Suppose -5*c - 4*j = -2*j - 41, -c = j - 10. Solve -5*p = 4*m + 6, -m + c + 4 = -5*p for m.
1
Let d = 14 + -10. Suppose 0 = -d*w + 2*w + 8. Solve -w = 4*a + 4*u + 4, 0 = -4*a - u + 1 for a.
1
Let i = -8 + 16. Let t = -3 + i. Let k(m) = m - 2. Let h be k(t). Solve -h*c + 2*a = -0*a - 1, 0 = 2*c + a + 11 for c.
-3
Let c(t) be the third derivative of t**4/24 - t**3/3 + 5*t**2. Let u be c(4). Solve f - 2 = 3*k - 5, u*f - 1 = -k for k.
1
Let a(s) be the third derivative of -s**5/60 - 11*s**4/24 - s**3 + 2*s**2. Let f be a(-9). Solve -3*p + p + 4*v + 14 = 0, -3*v = f for p.
-1
Let r = -21 + 25. Solve 3*c - r*v - 5 = 0, -4*c + 15 + 2 = 5*v for c.
3
Suppose 3 - 7 = -4*s. Suppose -x + s = -4. Solve -4*h - x = -3*l, -4*h - 2*l + 5 = -7*h for h.
-5
Suppose -2*r - 5*j + 2 = 0, -2*r + 2 = -0*r + 4*j. Solve 0 = -3*z - 5*v - 21, -4*z - v + r = -4*v for z.
-2
Suppose -f + 2 = -0*f. Let d be 7 - (-2 + f - -3). Solve d*q - 20 = 4*g - 0, -5*q = 5*g + 15 for q.
1
Let y(r) = 2*r - 1. Let x(d) = -6 + 0*d**2 + 0 - 9*d - d**3 - 7*d**2 - 2*d**2. Let t be x(-8). Let s be y(t). Solve -2*b - s*h + 4*h = -5, -14 = b + 5*h for b.
1
Suppose -s + 25 = 6. Suppose -o - t + 7 = 0, -5*o - 4*t + s = -3*t. Solve m - 5*j - 4 + 1 = 0, o = m - 3*j for m.
3
Suppose -2*h + 3 + 9 = 2*k, -17 = -3*h - 2*k. Suppose 3*i + 17 = 2*t, -t + 5 - 1 = 0. Let m = i + h. Solve m*z + r + 3 = 0, 3*r - 2 = -11 for z.
0
Let n(o) = o**2 + 3*o + 3. Let b be n(-3). Let j(m) = m**2 - 5*m + 1. Let s be j(5). Suppose f - s = b. Solve 0 = 2*g - 4*p - 14, 0 = -f*g - 2*p - p + 17 for g.
5
Suppose -4*z + 16 = 4*h, 3 = 2*z + h - 4. Suppose -4*a + 3 = -z*a. Let s = -3 + a. Solve p + 3 = 0, -5*w + 3*p - 2*p + 28 = s for w.
5
Let y(d) = d**3 - 12*d**2 + 16*d - 34. Let i be y(11). Solve 0 = 3*q - 2*k - 7, 10*q - k = 5*q + i for q.
5
Let u = 1 + -7. Let b be ((-105)/u)/(-5)*-2. Solve -3*j - b = -v, -v + 5*j - 15 = -6*v for v.
4
Let i(a) = -2*a + 2*a + 2*a - 6. Let o be i(4). Let l(y) = y**3 - 5*y**2 - 5*y - 4. Let k be l(6). Solve -o*d + 6 = 2*x - 4, -3*x = -k*d + 5 for x.
1
Suppose -10 = 3*w - 22. Solve -3*j + 3*d - 12 = 0, 16 = 3*j + j + w*d for j.
0
Let u(w) = w**2 - 12*w + 15. Let k be u(11). Solve 2*t - k*t + o = 12, 0 = 5*t + o + 23 for t.
-5
Let z be (2 + (3 - 4))/1. Let k be ((-2)/4)/(6/(-48)). Suppose 8 = -2*b, 0 = t + k*b - 9*b - 23. Solve 7 - z = -t*m, -5*y + 13 = -4*m for y.
1
Let o = 13 - 11. Suppose -7*z = -6*z - o. Solve z*d = -3*w + 2, w + 8*d + 21 = 3*d for w.
4
Let x(z) be the second derivative of 2*z + 5/6*z**3 - 1/12*z**4 - 3/2*z**2 + 0. Let a be x(3). Solve g = t - 1, -3*g + 4*g + 9 = -a*t for t.
-2
Let m = 2 - 0. Let x(k) = 2*k**3 - 3*k**2 + k - 1. Let t be x(m). Let v(g) = g + 5. Let c be v(t). Solve j = 3*o + c, 4*j + 8*o = 4*o - 8 for j.
1
Let b(l) = l**2 + l + 10. Let y be b(-8). Let g be (-1)/4 - y/(-8). Solve -g - 16 = -4*n - 2*k, k - 7 = -n for n.
5
Let t(r) = 15*r**2 - r. Let w be t(1). Let a = w + 0. Let x be 60/14 - 4/a. Solve 3*q + 5*s = 3, 5*s - 2 = -x*q - 3 for q.
-4
Let z(c) = c**2 + 6*c - 5. Let v be z(-7). Let t be 1/4 + 19/4. Solve 2*i + v = t*b + 7, -8 = i + b for i.
-5
Suppose 32*i = 39*i. Solve 3*t - 2*s - 1 = i, 4*t = s - 5*s + 8 for t.
1
Let d = -15 - -19. Solve -4*g = 5*z - z + d, -4*z = -8 for g.
-3
Let k = 15 + -13. Suppose -x - 8 = -k*x. Solve -4*d = 3*q - x, 5*q - 3*q - 13 = 5*d for d.
-1
Let m = -132 + 136. Let k(r) = r**2 + 2*r - 3. Let o be k(-3). Suppose 3*l - 6 = -o*l. Solve 4 = -5*f + 4*w, -l*f = 2*w - m*w for f.
-4
Suppose d - 5*k - 14 = 0, -3*d + 7*k - 2*k + 22 = 0. Let j be 1*(-2 - -24) + -2. Solve 2*h - 8 = 4*h - 4*m, -j = -4*h - d*m for h.
2
Let t be (0 + 3)/(1 - 0). Suppose -t = u, -3*u = -5*y - 2*u + 13. Solve -3*p + p - y*n - 14 = 0, -5 = -p + 2*n for p.
-3
Let h(u) = u**