 2*j + 5 for j.
2
Let o(g) = -g**3 + 2*g**2 + g + 10. Let i be o(0). Let q be (i/(-2) - -5)/3. Solve 4*k = -2*u + 2 + 2, q = -5*u - 4*k + 4 for u.
0
Let b(r) = 86*r + 177. Let a be b(-2). Solve 33 = -5*p + 34*f - 38*f, -a = -p + 5*f for p.
-5
Let j(u) = u**2 + 7*u + 15. Let a(s) = 7*s**3 + s**2 + s. Let m be a(-1). Let c be j(m). Solve -5*r + r = -3*y + 25, -y = -3*r - c for y.
3
Suppose -2*r + 5 = k + 4*k, 2*r - k - 11 = 0. Solve s - 6*w + 10*w - 5 = 0, r*s + 4*w - 25 = 0 for s.
5
Let l be 2 + (0 - (1 + -1)). Let a(t) = -55*t + 16. Let o be a(2). Let v = -81 - o. Solve k + l*j + 1 = 0, 2*j - 4*j - v = -3*k for k.
3
Let g be 4 + 28/21*-3. Solve g = 2*k - 4*p - 10, -4*k - 3*p = -p + 20 for k.
-3
Suppose 26*c + 23 = 127. Solve 0 = -4*h + 2*z, c*h - z = 3*h for h.
0
Let k be 18/(-117) - (-230)/(-26). Let g be ((-12)/k)/(6/45). Suppose -g = -d + 2. Solve 2*x - 27 = 5*v, 0 = x - 5*v - 14 - d for x.
1
Suppose w + 2*i + 4 = 3*w, -5*w = -i - 10. Solve 2*j = -3*p - p + 10, 0 = w*p - 5*j + 1 for p.
2
Let q(s) = s**2 - 6*s - 5*s + 44 + 5*s - 7*s. Let z be q(6). Solve -3*o = i - 2, -4*o - 6 + z = -2*i for i.
2
Let u(o) be the second derivative of -o**4/6 + 23*o**3/6 + 17*o**2/2 + o. Let r be u(12). Solve -k = -3*w - 0*k + 12, 0 = -r*w - 5*k for w.
3
Suppose -v = -2*v + 8. Suppose 0 = s - 15 + 1. Let q = 17 - s. Solve -2*z = 4, -2*t - q*z = -v*z - 14 for t.
2
Let d(b) be the second derivative of -b**4/12 - 19*b**3/6 + 5*b**2/2 - 28*b. Let p be d(-19). Solve -3 - 15 = -p*c - n, 3*n = 9 for c.
3
Let z(m) = m**2 + 2*m - 1. Let b be z(-3). Suppose -2 + 0 = -2*x - d, -3*x - d + b = 0. Suppose 0*n - 2*n = x. Solve 2 = g - 3*c, n = 2*g + c - 11 for g.
5
Suppose -4*q - 29 = -45. Solve -17 = -5*s + b + q, -4*s + 11 = 5*b for s.
4
Suppose -3*l + 5*p = -46, p - 5*p + 40 = 4*l. Solve -k - 3*a - 3 = -8, 0 = 4*a - l for k.
-4
Let u = 1031 - 1029. Solve -4*g + 8*g + b = 0, 0 = u*g + b + 2 for g.
1
Let g be (-24)/9*15/(-10). Suppose 0 = -3*f + 8 - 2. Solve 14 = f*a + 4*u, -g = 5*a + u + 6 for a.
-3
Let n be (-39)/(-15) + -3 + 108/(-30). Let u be (-111)/(-148) + (-5)/n. Solve -m + 1 = u*x - 5*x, -2*m = -x + 8 for x.
-2
Let k(a) = -2*a - 2. Let l be k(-3). Suppose 57 = -w - 2*p + 61, 4*p = -3*w + 8. Solve 4*g = 6*g - f - 1, w = l*g + 3*f + 23 for g.
-2
Suppose 3*k - 61*o + 65*o = 7, -5*k - 5*o = -20. Solve 3*r + k = 3*v + 8*r, -14 = v - 4*r for v.
-2
Let o(k) = k**3 - 3*k**2 - k + 3. Let b be o(2). Let r be ((-1)/(-3)*b)/(-1). Solve -5*s = 15, u = -u + s - r for u.
-2
Let a be (-31 + -1)*2/(-4). Let r be (-2)/6*(1 - a). Suppose -2*o - 3*l = -25, -o + 0*l + 30 = r*l. Solve 2*u + 20 = o*i, 5*i - 3*i = -4*u - 16 for u.
-5
Suppose 7*t = 4*c + 10*t - 5, 0 = -c + 3*t + 20. Solve -5*b - 2*k + 1 + 10 = 0, -c*k = 3*b - 18 for b.
1
Let l be -1*10*12/(-8). Let p be 15*5/l*1. Solve 0 = -2*f - 2*f + j + 20, 3*f = p*j + 15 for f.
5
Let r be 14/4*(17 - 7). Let o = r + -33. Solve b + 0*b + x - 3 = 0, o*b = 3*x - 4 for b.
1
Let c(x) be the third derivative of x**5/60 + x**4/3 - 13*x**3/6 + 7*x**2. Let f be c(-9). Let b = 6 - f. Solve b = 2*v + g - 4*g, 3*g = 0 for v.
5
Suppose -11*i + 31 = -13. Solve -v + i = -2*z + z, 2*z = v - 9 for v.
-1
Let m = 15 - 29. Let w = m - -19. Solve q = -w*x - 0*q - 15, 3 = x - q for x.
-2
Let n(u) = -12*u + 38. Let s be n(3). Solve -d = 4*v + 6, 0 = -s*d - 3*v - 3 - 4 for d.
-2
Let c be (6 - -2) + -8 + 5. Let z = 9 - -3. Suppose -z = -6*o + 2*o. Solve -o*i = -2*l - c, l + 0*i = 3*i - 10 for l.
5
Suppose -2*x + 3*c + 27 = -0, -3*x + 2*c + 33 = 0. Suppose x = 5*q - 1. Solve 3*i = -6*j + j - 16, -6 = 5*j - q*i for j.
-2
Suppose -107 - 124 = -5*r - 6*r. Let g be 0/(-2) - (-5 - -1). Solve g*j + 1 = 3*u - 18, -4*u + j + r = 0 for u.
5
Suppose 0 = -4*r + 20 - 4. Suppose 5*q - 10 = -5*o + 5, 0 = -r*q + 5*o + 3. Suppose c - 5 = -q. Solve -k + 12 = 3*f - 0, -5*k - c*f = -12 for k.
0
Let j be (-10)/50 + 1*(-12)/(-10). Solve -2*s + 2*l = 3*s + 1, -3*s + 2*l + j = 0 for s.
-1
Suppose 0 = 6*i - i. Suppose -7*t - 190 + 29 = 0. Let u = t + 25. Solve -k - 5*o - 13 = i, -3*k + 4 - 9 = -u*o for k.
-3
Let m(x) = x**2 + 12*x - 44. Let u be m(-15). Solve 1 = c, -3*c + 6*c = i - u for i.
4
Suppose -4*i = i - 10. Suppose 0 = -m + n - i, -3*m - m + 37 = 5*n. Solve -5*l + 3 = 4*j, -2*j + 0 + 7 = -m*l for l.
-1
Suppose 3*n + 2 = -d + 1, 4*n - 1 = d. Let l(t) = -6*t - 22. Let c be l(-8). Suppose 8*o - c = -2. Solve 1 = w + q, -o*w - 5*q + 1 - 2 = n for w.
3
Suppose 4*h - 6 = 6. Let x be 3 + 0 + 6/h. Suppose -1 = -x*l - 6, 3*l = 2*p - 9. Solve 4*n = -2*a - 5 + 13, -p*n = 4*a + 4 for a.
-4
Let l(p) = -8*p - 25. Let c be l(-7). Suppose 26*b = c*b - 10. Solve -1 = 5*j - b*o, 3*o + o + 7 = j for j.
-1
Let l = -9 - -11. Suppose l*w = -g + 6, -3*w + 3 + 6 = -3*g. Let m = 0 - g. Solve 2*q = -5*j - 10, m = -4*q - 2*j - 0 - 4 for q.
0
Let d = 52 - 56. Let r be (-81)/18*d/6. Solve 3*n - 19 = -4*j, 4*n = 4*j + r + 13 for n.
5
Let r = 162 + -92. Let m be ((-18)/(-21) + 0)/(15/r). Solve -j + 4*o - 11 = 6*o, -m*j + 2*o = -6 for j.
-1
Let c be 1*(4 + -11) - -11. Solve -4 = -t, -3*j - 15 - 10 = -c*t for j.
-3
Suppose -5*w - 2*w = 6*w. Solve -4*d - 16 = j - w*j, 3*d = 2*j - 12 for d.
-4
Suppose 0 = 3*v - 4*b, 2*b - 7*b + 31 = 4*v. Solve -v*l - 4*y - 28 = -12, l + 3*y + 2 = 0 for l.
-5
Suppose -8*c = 14*c - 0*c. Solve -4*a - 4*w + w - 7 = c, w = 3*a - 11 for a.
2
Let d(t) = 11*t + 59. Suppose 2*l = 4*c + 26, 2*c - 2 = -2*l - 6. Let z be d(c). Solve 0 = -z*g + 4*n + 28, -3*n = 4*g - 0*n for g.
3
Let d = -94 + 98. Let l be (-13)/(d + (-5 - 0)). Solve -f + 0*f + l = 2*a, -a + 9 = f for a.
4
Suppose -83*l + 45 = -68*l. Solve 3*n - 10 = p, -2*p + 8 = -l*p + 2*n for p.
-4
Let r be 10/45 - (-68)/18. Suppose -9 = -3*w - 5*x, 3*w - 5*x = w + 6. Suppose -w*n + o = 5*o - 16, -n = -4*o. Solve v = a, -3*a + n*a + v = r for a.
2
Let y = 2007 - 1999. Solve -l + 2*s - y - 2 = 0, 6 = -3*l - 2*s for l.
-4
Let z = 601 + -598. Let a(i) = 6*i**2 - 4*i + 10*i + i**3 - 4 + i**2. Let x be a(-5). Solve v = -z*m + x, 5*m - 23 = -3*v + m for v.
1
Suppose 0 = 5*c - 9 + 4. Let f be 1 - (2 + -3 - 0). Suppose c = m - f. Solve -4*n - 7*k = -m*k - 36, 14 = n + 2*k for n.
4
Suppose 2*t - t + 13 = 5*c, 4 = -t + 2*c. Solve -3*u + 0*u - 2*g - t = 0, 0 = 5*u + 4*g for u.
-4
Let q be (-30)/(-9) + (-4)/(-6). Suppose -4*s = q*j - 20, -4*j - 8*s = -3*s - 19. Let g be -2*j/(-4) + -1. Solve -v = -3*o - 9, -g*o - 5*v - 6 = 17 for o.
-4
Let f be (5/6)/(16/32)*3. Solve -3*t = -4*a - f*t + 14, 5*t - 28 = -3*a for a.
1
Let o be (-1)/(2*4/120). Let b be 18/o*30/(-9). Solve 0 = 2*z + 5*u - 25, 13 = z + b*z - 4*u for z.
5
Let u be (-1 - (2 + -2)) + 3. Suppose 5*m - 233 = 3*i, -4*m + i = -0*i - 192. Suppose 2*d = m - 19. Solve u*b + 19 = a + 4*a, 0 = 5*a - d for b.
-2
Suppose -4*y + 3*x + 60 = -3, 2*y - 25 = -5*x. Suppose a + 28 = y*a. Solve 4*h - a*u + u = 25, -h - 2*u - 5 = 0 for h.
5
Let p(n) be the second derivative of n**4/12 + n**3/3 - 2*n**2 + 6*n. Let y be p(2). Solve 5 = o, -2*o + o = 3*s + y for s.
-3
Suppose 5*x - 4*x + 5 = -5*w, -x = -w + 5. Let s = w + 5. Suppose s = 5*o - 15. Solve -2*r + 4*a - 8 = 0, 0*a = -5*r - 2*a + o for r.
0
Suppose -4*d - d - 85 = 0. Let b = -15 - d. Solve -5*o - 3 = -b*a + 14, o + 4 = a for a.
1
Let l = -15 - -39. Let i = l + -22. Let q = 3 - i. Solve 5*r = -2*w, w = -4*r + 4 - q for w.
-5
Let i = 23 - 7. Let s = 18 - i. Solve 0 = -2*k - 4*y + 20, 0*k + s = -k + y for k.
2
Let u(b) = 10*b - 3*b - 9*b - 25 - 4*b. Let p be u(-8). Solve 4*w - w + 20 = -5*m, -p = 5*w - 2*m for w.
-5
Let o(j) = 14*j - 39. Let g be o(3). Suppose -f + 3 = 3*v - 5, -8 = -g*f - v. Solve -4*x + f*d = 7 - 1, x + 2*d = -9 for x.
-3
Let v = 228 - 226. Solve -5*i + 7 - 17 = -5*j, 4*i - v*j = -6 for i.
-1
Suppose -5*b = q - 97, b = -5*q - 13 + 18. Solve 2*k - b - 3 = -5*d, -5*d + 7 = -2*k for d.
3
Suppose -3*c - 1 = -22. Let a be 14/(-4)*(-12)/c. Let w(b) = b**3 + 6*b**2 + 3. Let z be w(-6). Solve -4*l = -a*l - z*i + 8, -i = -4*l + 16 for l.
4
Let i be ((-2)/(-3))/((-1)/3). Let z = 2 + i. Suppose 0*s + 2*s - 8 = z. Solve 10*w - 5*w - 11 = -s*f, 5*w = f - 9 for f.
4
Let f = 1006 + -1003. Solve -2*p - f*v - 4 = 9, 2*v = -3*p - 12 for p.
-2
Let u(h) = -h**2 + 7*h - 2. Let z be u(6). Let c be (5 - (4 - 1)) + 1. Solve c*f - 4 = 4*g, g - 4*f + 22 = z*