ve d = -n, -10*x = -7*x - 3*d - 15 for x.
1
Let g(d) be the second derivative of -d**5/20 - d**4 + 13*d**3/6 + 9*d**2 - 3*d. Let x be g(-13). Solve -3*o - 3*t = 12, -3*t - x = 2*o + 3*o for o.
-3
Suppose 0*f + 13 = 2*f + 3*c, -3*f + 18 = 3*c. Solve 2*r + 0*r = s + f, 0 = -5*s - 2*r + 23 for s.
3
Let h = -14 - -14. Suppose -4*n + 7 + 10 = m, -3*m + 3*n + 6 = h. Suppose 16*q = 13*q + 3. Solve 2*w - 5*u = -q, m*w - 6 - 6 = -2*u for w.
2
Let w be (4/(-9))/((-2)/9). Suppose -l + 110 = 5*a, a + l + 120 = 6*a. Solve 3*n = 5*c - a, c = -c + w*n + 10 for c.
4
Let t = 854 - 852. Solve -3*n + t*n - 2*k = 0, 0 = -4*k - 4 for n.
2
Let i = -1646 - -1650. Solve 4*k + 4*o + 6 = o, k = -i*o - 8 for k.
0
Suppose -3*l + 50 = 41. Let q be -1*(2 + l)/(-5). Solve -r = 3*y - 2*y + q, -2*r = 5*y - 7 for y.
3
Let y be 7/14*4*2. Let i = -24 + 28. Suppose p = -2*n + i + 3, n - 14 = -4*p. Solve 11 - 1 = p*q + y*g, -3*g + 10 = q for q.
-2
Let c be (60/(-8))/(130/(-312)). Solve -5*w + 2*t - c = 0, 2*t = 3*w - 7 + 17 for w.
-4
Let d = 246 - 242. Solve 2*h - d = -4*x, 2*h = h + 2*x - 6 for h.
-2
Suppose -82*n = -83*n + 3. Suppose 0 = 5*b - n*d - 26, 12 = b - d - 3*d. Solve -3*i - 19 = b*l - 4*i, 3*l + 12 = 3*i for l.
-5
Let o = -483 - -488. Solve -6 = 2*f - 4*t + 7*t, 10 = -5*f - o*t for f.
0
Suppose -2 - 6 = -4*h. Suppose 4*r - 10 = h. Solve i = -2*i - y - 7, 5*y = 4*i + r for i.
-2
Let h(u) = u**2 - 11*u - 70. Let y be h(16). Solve -2*r - 3 = -4*r + w, -5*r + 3*w = -y for r.
-1
Suppose -18*i - 33 = -29*i. Solve -2*j - 5*t + 17 = 0, t - 8 = -3*j - i*t for j.
-4
Let i be 2*-20*6/(-24). Solve 0 = 5*s - i, 0 = v + 5*s - 2*s - 1 for v.
-5
Let a(x) = 3*x - 10. Let y be a(4). Suppose 0 = -3*p - y*p - 5*n, 0 = -2*p - 3*n + 2. Let g be (-3)/p*4/2. Solve -6 = -5*q + g*s, 2*s + 3 = 3*q - 0 for q.
3
Suppose 18*u - 12*u - 6 = 0, 7 = 3*t + u. Solve -3*q + 8 = 6*y - y, 2 = t*q for y.
1
Suppose 0 = 85*b - 61*b. Solve 2*v - 8 = -5*n - b*n, -2*n + 4 = 0 for v.
-1
Let b(g) be the first derivative of -9*g**2/2 - 13*g + 13. Let w be b(-2). Solve w*d + 5*i = -15, d + 3 + 8 = -3*i for d.
1
Let f be 1/((-29)/7 - -4). Let c be 2/7 - (-2)/f. Let y(h) = -h**3 + 4*h**2 - h - 3. Let v be y(3). Solve -10 = v*n - 3*w + 4*w, w + 1 = c for n.
-3
Suppose -9 = -4*j + 63. Solve -14 = -2*d + 3*c - 5*c, 0 = -3*d - 2*c + j for d.
4
Suppose -2*g = 5*h - 20, 79*g - h = 74*g + 23. Let v(c) = -c**3 + 4*c**2 - 2*c - 3. Let f be v(3). Solve -3*k + 7*k = f, 10 = 2*i - g*k for i.
5
Let h(s) = -3*s**3 + 2*s**2 - 2. Suppose -12*i + 15*i = -3. Let r be h(i). Solve -d = -3, -x + r*d - 10 = -0*x for x.
-1
Suppose z - 30 = 6*z. Let s be (132/(-9))/(4/z). Suppose s = 2*v - 4. Solve 5*k + 0*k + v = 2*y, 3*k - 2*y + 7 = 0 for k.
-3
Let p(s) = -s**3 + 10*s**2 - 12*s - 5. Let g be p(9). Let m = 8 - g. Suppose -3*h = -h. Solve 25 = -3*u + 2*v, h = 4*u - 4*v - 0*v + m for u.
-5
Let a = 5 - 2. Suppose -a*x + 70 = -8*x. Let s = x - -16. Solve s*c = -2, -2*r + 6*r - 2*c = -18 for r.
-5
Suppose 5*m - 3*m + 28 = 0. Let w(t) = -t**2 - 12*t + 31. Let p be w(m). Solve -2*x + 6 = -3*x + p*z, 2*x = z + 3 for x.
3
Let t be 39/5 + 6/30. Solve -4*f + 14 = -3*u, 0 = -2*f + u + t for f.
5
Suppose -2 = -w + 1. Let n be w/5 + 288/20. Suppose -4*m = -7*m + n. Solve 0 = 2*g - g - 5*p + 1, -5*p = -m for g.
4
Suppose -o + 20 = -p + 18, p + 14 = 4*o. Solve -o*q + 19 = -z, 0 = -5*q - z - z + 27 for q.
5
Let j be 5 + (-3)/(9/6). Suppose 68 = j*d + 2*n, -4*d + 3*n + 137 - 52 = 0. Solve 6*g - 2*i + d = 3*g, 4*i = 20 for g.
-4
Suppose 0 = 6*x + 29*x - 105. Solve 24 = 2*s - 5*s - x*z, -3*s = -5*z for s.
-5
Suppose 0 = -10*h - 0 + 10. Let j be (-20)/(-8)*(-2*h)/(-1). Solve o + 2 = 0, j*u + 2*o = 2 + 4 for u.
2
Let h(j) = 2 + 3*j + j - 9*j**2 - j + 14*j**2. Let u be h(-1). Suppose 0*n = -u*n + 12. Solve -5*p = i - 28, -i + n*p - 22 = -2*p for i.
3
Suppose -5*h - 30 = -b - 4*b, -b + 2*h = -9. Let o be 2/4 + 456/(-16). Let t be 8/o - (64/(-7))/4. Solve t*m - 5*m - 11 = -2*p, m + 11 = -b*p for p.
-2
Suppose -6*k - 10 = -k - 5*z, z + 10 = -k. Let d be k/((2 - 3)*3). Solve d*c + 3*x = -5 + 2, -5*c - 18 = -3*x for c.
-3
Let w = -13 - -22. Let c be 2/w - 21/(-27). Solve -3*y - 1 - c = -p, 6 = p + y for p.
5
Suppose r - 5*o = -2*r + 56, o - 2 = 0. Suppose -27*p + 30 = -r*p. Solve -3*c = v + 13, 4*c - 4*v + 6 + p = 0 for c.
-4
Let i(w) = -3*w + 20. Let f be i(4). Solve -r - 8 = b + r, 4*b - 2*r = f for b.
0
Let k be (7 - 6)/(1*-1). Let s be 2*(3 + 1/k). Suppose 2*u + n = 3, 2*u - 1 = -0*u - 3*n. Solve 2*j + u*t - 10 = 0, -2*j + 22 - s = 4*t for j.
1
Let y be 12/(-42) - 6/(-21). Solve -i = -y*i - 5*k - 12, -4*i + 5*k + 18 = 0 for i.
2
Let y = 650 + -625. Solve 5*h - 2*k = 2*h - y, -2*h + 5 = 3*k for h.
-5
Let q(c) = 5*c**3 + c**2 + 135*c - 274. Let u be q(2). Let s(w) = -w**3 - 8*w**2 - 8*w - 3. Let y be s(-7). Solve 33 = -2*x + 6*z - z, u = -5*x + y*z for x.
-4
Suppose 19*x - 75 - 96 = 0. Solve k + x - 22 = -3*f, 2*k = 3*f - 19 for k.
-2
Suppose -30 = -4*k + k. Let u be 22/(-6) + (-4)/12. Let d be 48/(-18)*6/u. Solve 0 = 2*w + 4*n + k, 5*w + n = d - 2 for w.
1
Suppose a - 2*j + 10 = 0, -4*a = a + 4*j + 120. Let w = 20 + a. Let s be 20/6 + 2/3. Solve -s*x = -12, 5*x = -w*t + t + 19 for t.
-4
Suppose 0 = a - 23. Let k be (-2)/(((-8)/10)/2). Let j = -25 - -30. Solve -d = -k*x + a, -j*d + x - 20 = -1 for d.
-3
Suppose 5*s - 66 = 3*s. Suppose s = 4*l + 101. Let b = l + 19. Solve 4 = -3*w - 5, 0 = 5*z + b*w + 6 for z.
0
Let v(k) = -2*k**2 + k + 2. Let w be v(3). Let u(f) = f**2 + 14*f + 13. Let q be u(w). Solve 5*x = -q*l - 2*l - 4, x = -3*l - 6 for l.
-2
Suppose 2*s + 80 = -3*d, 0 = -5*d - 4*s - 150 + 18. Let q = d - -30. Solve q*v + 7 = v + 5*m, 0 = 4*v + 4*m + 4 for v.
-2
Let n(l) = 13*l + 50. Let x be n(-8). Let u be (0 - 0)*(-18)/x. Solve -3*r - 13 = i, i + 2 + 2 = u for r.
-3
Let v = 24 - 21. Let r be -2 + v/(3/11). Solve -1 = n - c + r, -2*n - 4*c + 10 = 0 for n.
-5
Suppose 0 = -2*g + 11 - 3. Suppose -8 = -t - g*d, -t + 2*t - 5*d = -10. Solve t = j - 2, -2*m = -3*m - j for m.
-2
Let s be 28/70*(36 - 1). Let g be ((-4)/s)/(((-4)/(-14))/(-2)). Let y be 0 - 2*(-5)/2. Solve 2*r + g*u - 1 + y = 0, 24 = 3*r - 3*u for r.
3
Let y = -2 + 5. Let p be (-2 - -2)/((-3)/(-3)). Suppose p = -b - 5, y*j = -2*j - b - 5. Solve j*k - 20 = 4*k - l, 5*k - 5*l + 25 = 0 for k.
-5
Suppose 29 = -6*r + 68 - 15. Suppose 0*k - 2 = -k. Suppose -3*g + 2*v + 3*v = 5, -k*v = -2*g + 2. Solve -15 = -g*z - 5*y - 5, 0 = 3*z + r*y - 4 for z.
4
Suppose 36*y = 44*y - 24. Solve -3*h = -y*l - 3, 4*l + 4*h + h + 31 = 0 for l.
-4
Let h(o) be the second derivative of 5*o**3/6 - 5*o**2 - o. Let x be (1/(((-7)/3)/(-7)))/1. Let c be h(x). Solve -1 = c*n - 3*g, 5*n + 3 = 4*g - 0*g for n.
1
Let u = 27 - 24. Solve 3*b - 11 - 17 = 5*c, -u*b = 4*c + 17 for c.
-5
Suppose -4*w + u + u = 2, 5*w - u = -1. Suppose w = 5*r - 3*r - 42. Suppose -r = 5*a - 1, 0 = -3*g + 5*a + 29. Solve -5*t + 31 = 2*v + 5, g*t - 21 = -3*v for v.
3
Let g(k) = k + 11. Let u be g(-4). Suppose u*q - 25 = 2*q. Suppose -2*j - 1 + 9 = 0. Solve -z - 5*b - 16 = 0, 0 = -j*z - z + q*b + 10 for z.
-1
Let d(f) = 2*f**2 + 4*f - 1. Let h(w) = -w - 10. Let k = 10 + -17. Let q be h(k). Let o be d(q). Solve 3*b - 21 = -4*j, -o*j - 4*b + b = -24 for j.
3
Let z(g) be the first derivative of -3/2*g**2 - 11*g - 5. Let p be z(-5). Solve 28 = 3*x + 5*i, -3*x - 16 = -p*x - 3*i for x.
1
Let q be (4/8)/(1/4). Suppose -33 = 7*r + 2. Let b(t) = t + 13. Let c be b(r). Solve c = x - q*s, s = 1 - 4 for x.
2
Suppose -5*n + 18 = d, -25*d + 29*d + 4 = -n. Solve -3*m = -n*o + 22, -2*m + 2*o + 0*o = 12 for m.
-2
Let o = -1 - -6. Let u = o + -1. Let v = 12 - u. Solve -3*r - n = -6*n, -v = r + n for r.
-5
Suppose 32*p = 36*p - 16. Solve -5*x = b - 13, -p*x = -5*b + 3*b - 16 for x.
3
Suppose 2*n = -42 + 130. Suppose 4*p = 3*c + 29, 2*p - 3*c - c - 22 = 0. Suppose -53 = -3*q + p*g, 2*q = -g + n - 0. Solve a = -f, a + q = 3*f - 3*a for f.
3
Suppose -3*q + 6*q = -f + 16, 5*f = 3*q + 8. Suppose -36 = -5*o + q*l, -3*o = -4*o + l + 8. Solve 4*m = 2*y + 24, 0 = -o*m + 15 + 1 for y.
-4
Let y(x) = x. Let s = -10 - -12. Let m be (-3)/((-3)/5) - s. Let g be y(m). Solve 0 = -3*t - 3*f - 6, 2*t - 6*t + 20 = -g*f for t.
2
Suppose 0 = -34*c + 104*c - 280. Solve 10 = -2*i, -3*b - 2*i + 4 = -c*i f