 for o.
4
Let h(t) = t**3 + 21*t**2 + 27*t + 11. Let v be h(-19). Suppose 0 = 215*l - v*l + 60. Solve 0 = 2*w - w - 3*n + l, -5*w - 3*n - 6 = 0 for w.
-3
Let z be -5 - (70/(-49))/(2/14). Suppose -2*m = m - 54. Solve -4*d = 2*y - m, -3*y - z*d = -5*y - 9 for y.
3
Let t = 58 + -29. Suppose 2*g - k = t, -g + 3*g = -5*k - 1. Let l = g + -5. Solve -22 = 3*n - 3*f + 2, n = -4*f + l for n.
-5
Suppose -5*q = -10*q - 0*q. Solve -c + 3*t + 3 - 13 = q, 3*t - 5 = 2*c for c.
5
Let u be 41/(820/8) - (-56)/10. Solve 20 = 3*d + j, -u*j - 25 = -11*j for d.
5
Suppose 5*s + 338 = 358. Solve 4*l + 32 = p + 3*p, -s = 4*l + 3*p for l.
-4
Suppose 4*k = h - 2, h + 3 = k + 5. Suppose h*s - 12 = -2*s. Suppose -3*d = d + 4, s*n - d - 1 = 0. Solve w - 2*j + 2 = n, 0 = -5*j + 2 + 3 for w.
0
Let m(q) = -q**2 + 8*q + 9. Let i be m(9). Let w be i + (-3)/3 - 11. Let l = 32 + w. Solve -x = -3*o + x + 23, 0 = 5*x + l for o.
5
Let b = -997 - -1002. Solve -2*a = -0*a - g + 10, b*a + 14 = -3*g for a.
-4
Let u be 4 + ((-156)/40 - 12/120). Solve -5 = -g + 4*v, u*v = 5*v for g.
5
Suppose 5*b + 3*v - 45 = 0, 4 - 15 = -b - v. Solve 5*f - 4 = -j + 2, f = j + b for f.
2
Let s(w) = w**2 - 8*w + 2. Let b be s(8). Let v(r) = -r**3 - 6*r**2 + 4*r + 6. Let o be v(-6). Let g = o + 22. Solve 3*c = -z - 0 + 2, -3*c - g = -b*z for c.
0
Let b(x) = -4*x + 8. Let v be b(0). Suppose 2*a - 1 + 6 = g, -5*a = -g + v. Solve -q - g*i = 9, 3*q + 5*i - i = -7 for q.
3
Let i(u) be the first derivative of -7/2*u**2 - 3 + 0*u + 1/3*u**3. Let t be i(7). Solve 5*a - 3*r - 5 = t, -2*a + 1 = -a - 4*r for a.
1
Suppose 5*r + 6 - 21 = 0. Suppose 0 = 3*a + 6, -2*h - r = 2*a - 5. Solve 5*t + 3*k = 31, -h*k + 14 = 2*t - k for t.
5
Let n = 21 - 2. Suppose f - 3 = -s, -3*f - 7 + n = 4*s. Solve f = -5*y - 3*h - 14, 2*h - h = 5*y + 22 for y.
-4
Let k = 8 - 4. Let b(o) = o**2 - 5*o + 6. Let z be b(5). Let a be (1 + (-3)/z)*0. Solve 2*t - 6 = 2*h, k*t + h - 1 - 1 = a for t.
1
Suppose 0 = 4*n - 74 - 82. Let b = n + -34. Solve y = -b*d - 16, 0*y = 2*y - 5*d - 13 for y.
-1
Let w(z) be the second derivative of z**4/12 - 7*z**3/6 - 5*z**2 + 10*z. Let v be w(6). Let h = 16 + v. Solve 3 = -x + d, -d - 9 = 2*x - h*d for x.
-4
Let z be ((-12)/(-10))/(-1 - 130/(-100)). Solve 3*n + 3*r = -9, z*n - 6*r + 18 = -4*r for n.
-4
Suppose 31 = -4*x + 9*x - 2*t, -3*t = x + 4. Solve -2*h - j + 8 = 0, x*h - 8 = -j + 6 for h.
2
Let c = -8 + 12. Let s(w) = w**3 + 6*w**2 + 3. Let z be s(-6). Suppose -h - c = -z*h. Solve -5*p + 5*o = 2*o - 9, 0 = h*p - o - 3 for p.
0
Let t(l) = l**3 - 12*l**2 + l - 10. Let k(b) = 12*b**3 + b**2 - b. Let w be k(1). Let d be t(w). Solve d*u = -4*q - 5 - 21, 2*u = 4*q + 14 for u.
-3
Let t(l) = 14*l + 102. Let u be t(-7). Solve -u*p - 7 = -5*q, 5*p - 5*q = -0*p - 10 for p.
-3
Let i(v) = -5*v**3 + 2*v**2 - 1. Let l be i(-1). Let g(n) = 8*n - 4*n - 1 + 3*n + l*n. Let d be g(2). Solve 2*j - 5*q = -d, 2 = q - 3 for j.
0
Let j(m) = -m + 14. Let t be j(13). Let g be ((-60)/48)/(t/(-8)). Solve x - 14 = -5*y, g = -0*y + 5*y for x.
4
Let c be (-195)/(-35) + 6/14. Let i(s) = 3*s - 6. Let y be i(c). Suppose -y + 8 = -2*b. Solve b*n = -4*d - 12, 4*d = -0*d + 2*n - 28 for d.
-5
Let u(x) = x**3 - 4*x**2 - 6*x + 4. Let t be u(6). Let w = -35 + t. Solve -o + 6 = -2*s, -w*o + 11 = -s + 26 for s.
-5
Let m = -127 + 54. Let r = m - -76. Solve 0 = -6*a + 3*a - 3*h + r, -3*h - 5 = -a for a.
2
Suppose -10*a + 14*a - g = 16, -5*a + 5*g = -35. Solve f = -2*p - 3 + 12, -2*p + f + a = 0 for p.
3
Let k(z) = -4*z + 3 + 18 - 4*z + 6*z. Let d be k(8). Solve -3*a + 0*y + 3*y + 18 = 0, -24 = -2*a + d*y for a.
2
Let c(o) = o**3 + 3*o**2 - 4*o + 5. Let k be c(-4). Solve -4*p - 2*f + 12 = 0, -3*f = k*p - 0*p - 13 for p.
5
Let q(m) = -m**2 - 18*m + 18. Let h(s) = s**2 + 19*s - 18. Let n(o) = 5*h(o) + 6*q(o). Let x be n(-13). Solve -3*u - x = 3*p, -u - 2*u - 2 = -p for p.
-4
Suppose 7 = f + 23. Let v be f/(-24)*15/2. Solve 2*j + v = -h + 14, -2*h - 3*j + 13 = 0 for h.
-1
Suppose 3*s = 5*b + 8, -13 = -5*s - 2*b - 41. Let w be s/18 + 228/54. Let q be 2/(2/(-3)) + 7. Solve 0 = -w*j + v - q*v - 15, 4*j = 5*v + 25 for j.
0
Let p(s) = 15*s - 10. Let y be p(3). Let j be ((-8)/7)/((-10)/y). Solve -5*i + 4 = -2*g, 0*g - 2*g - j = 3*i for i.
0
Let w(d) = 183 + 3*d - 226 + 0*d. Let o be w(15). Solve -2*g - 1 = -o*u + 5, 4*u = -3*g - 2 for g.
-2
Let w = -47 - -41. Let y(j) = -j**3 - 5*j**2 - 4*j - 31. Let t be y(w). Let x(m) = -m + 2. Let l be x(0). Solve 5*f - t = -4*i, 0 = 2*f - 4*i + l - 8 for f.
5
Suppose 2*f - 49*s = -47*s - 2, 0 = -4*f + 2*s + 2. Solve -6*l = -7*l, f*x - 3*l = -10 for x.
-5
Let w(q) = -4*q**3. Let h be w(-1). Suppose h*i - l - 13 = 4*l, l - 17 = -2*i. Solve -i*c + 2*c - 13 = 3*d, d - 5*c = 9 for d.
-1
Let a be (-3)/2*(-40)/20. Suppose -4*r + 103 = a*z, z - 29 = -2*r + 24. Let v be 132/r + (-6)/(-21). Solve 4*d = 4*l + 32, 2*d + v*l = -3 - 2 for d.
5
Let i(d) = -2*d + 6. Suppose -4*f - 3*c + 9 = 0, -c - 6 = 5*f - 31. Let y be i(f). Let r be (4/(-3))/(y/99). Solve -s - v = 0, 3*s - v - 10 = -r for s.
-3
Let d be -5*(-5 + (-44)/(-11)). Solve -3*b = -d*g - 25, 0 = 5*g - g - 3*b + 20 for g.
-5
Suppose 0 = -h - 0*h + 4. Suppose 3*x - 19*k + 24*k - 41 = 0, 7 = x - 5*k. Solve x = o + 3*o - 4*b, b = -h*o + 17 for o.
4
Let m(a) = 4*a - 64. Let z be m(25). Let g = z + -36. Solve -4*d = 2*h + 2, -2*h - 5 = -g*h + 5*d for h.
5
Suppose 3*m - 16 = o, -2*m + o + 9 = -3. Suppose 2*u + 1 = 3*u. Let h(w) = w + 1. Let i be h(u). Solve 0*s = -m*s - i*q - 22, s = 4*q + 17 for s.
-3
Let c be 37/7 - 10/(-315)*-9. Solve 10 = -3*d - 4*z, d + 3*z = -c - 0 for d.
-2
Let u = 5 - 0. Suppose 2*r - 123 = 3*p - r, 2*p - 4*r + 92 = 0. Let s = p - -37. Solve -5*c = -4*j + u, -s = -j + c + 1 for j.
5
Let v(j) = -j**3 + 23*j**2 + 105*j + 83. Let f be v(27). Solve 6*u + 14 = 2*u - f*t, -10 = 3*u + 2*t for u.
-4
Let y = 9 + -5. Let o be (1/2 - 1)/((-2)/340). Let i = o - 82. Solve y = -2*t - 5*r + r, i*r - 15 = 3*t for t.
-4
Let n be 1/((-1)/3*-1). Suppose 11 = 4*r + n*p - 0, 0 = -5*r + 2*p + 31. Let g = 115 - 80. Solve -3*f + 2*f = -4*z - 17, -r*z - g = -4*f for f.
5
Let d(v) = 0*v - v + 10 - v**3 - 5*v**2 + 3*v**2 + v**2. Let k be d(0). Let m be (-203)/(-35) - (-2)/k. Solve -m = -3*y, -s + 6*s - y = 13 for s.
3
Let q(j) = -j**2 + 11*j + 317. Let l be q(-13). Let f = 2 - 0. Solve 0 = 4*z + f*p + 14, -z = -0*z - l*p - 13 for z.
-2
Let u = -147 - -149. Solve -u - 10 = 3*j, v - 4*j = 13 for v.
-3
Let p be -5 - (12 + -7)*-6. Solve 0*l = -2*q - l + 5, -5*l = -p for q.
0
Let g = 1022 - 1018. Solve 0 = g*u - 4*x + 16, -17 - 2 = 5*u - 4*x for u.
-3
Let r be (5/2)/((-6)/(-12)). Suppose 2*y - 5*y + 1 = d, -4*y = -5*d - 33. Suppose -f = -y*f + 2. Solve 0 = r*k - 3*l - 8, 0 + 4 = f*k - 2*l for k.
1
Suppose -2*z - 4 = -l, 5*l + 0*z = -3*z + 7. Suppose -l*k + 2*c - c = -30, c + 62 = 4*k. Solve 7*r - 3*r - k = 0, 4*q + r = -16 for q.
-5
Suppose 0 = -4*p + 3*u + 52, -p - u + 5*u = 0. Solve -c = -5*g + 19, 4*c - g + p = -3 for c.
-4
Suppose -2*n - 20 = -4*n. Let k = 12 - n. Suppose d = -k*d + 18. Solve -5*y + 22 = r, d*r - r = -3*y for y.
5
Suppose -j - 17 = -5*r, 2*j = -j - 5*r - 91. Let p = j - -31. Solve 0*s - 2*t + 2 = -2*s, p*s = 2*t + 2 for s.
2
Let a(g) = -2*g**3 + g**2 + 17*g - 17. Let c(x) = x**3 - 9*x + 9. Let z(b) = -4*a(b) - 7*c(b). Let h be z(5). Solve 9 = q - 4*i, 2*q = h*q + i + 12 for q.
-3
Let v be -8 - (-5 - 0) - -7. Solve v*t = -0*t + 2*g - 6, 0 = 2*g + 10 for t.
-4
Let z(t) = 2*t - 2. Let j be z(2). Let a = 128 + -126. Solve 0 = -j*m + g + 1, -a*m + 4 = -0*g + 2*g for m.
1
Let l be 0 - (4/(-4) + 11). Let g = -9 - l. Let r be (-10)/(-4) - g/(-2). Solve -3*d = r*y + 12, -2 - 1 = -3*y + 2*d for y.
-1
Suppose 0 = 82*g - 67*g. Solve 5*k - 5*n - 5 = 0, -3*k + g*k + 2*n = -5 for k.
3
Let t(n) = 5*n**2 + 11*n - 3*n**2 - 12*n**2 - n**3. Let s be t(-11). Solve s = m + b, 0 = 2*m + b + 4 for m.
-4
Suppose 0 = -4*k - 16, 2*k = -4*h + 5*k + 32. Let t be 25 + -5 + (12 - 7). Solve 3*j - 30 = 4*f - 7, -3*j + t = -h*f for f.
-2
Let c be (-5)/20 + 362/8. Let q = c - 41. Solve -q*o = 2*w, -6 = 3*o - 0*o + 3*w for o.
2
Let u = 20 + -17. Suppose 0 = 5*r + d - 8, -r - 4 = r + 4*d. Let j be -1 + r + 3 + -3. Solve 0 = u*z - y - 14 + j, 17 = 3*z + y for z.
5
Let k(n) = 3*n + 1. Let h be k(1). Solve 10 =