2 + 3)/((-2)/(-12)). Suppose -4*j - w + 116 = 0, -3*w + 96 = 3*j - 0*w. Let h = 30 - j. Solve -h - y = 4*n for n.
-2
Let m = 12 + -30. Let j = 14 + m. Let u be ((-3)/(-2))/((-3)/j). Solve 0 = u*d - 3 + 7 for d.
-2
Let y(c) be the second derivative of c**5/20 + c**2 + 5*c. Suppose 0 = 2*r + r. Let t be y(r). Solve u + u = t for u.
1
Let u be (-26)/(-7) + 2/7. Suppose 0 = -4*t - 5*q - 30 - 0, 4*q = -u*t - 28. Let p = -1 - t. Solve -4*y + 4 = -p for y.
2
Suppose -16*c + 19*c = 9. Let m be (-3 + (c - 1))*0. Solve m = 4*x - 5 - 3 for x.
2
Let t be (4/(-5))/((-4)/10). Let g be t - (-3)/(3/(-2)). Suppose 121*k - 8 = -4*y + 123*k, 2*y + 5*k - 28 = 0. Solve 2*v + y = -g*v for v.
-2
Let s be 6/(0 + 3/4). Let f be s/(-20)*(-1 + -9). Solve f*u = 5*u for u.
0
Let d = -3390 - -3400. Solve -o + d = o for o.
5
Suppose 1536 = 6*j + 1500. Solve 3*x = -3 + j for x.
1
Suppose -36*m + 195 = -165. Solve -m*k + 3 = -13*k for k.
-1
Let n = -13 + 10. Let y = n - -9. Let p be (0 + 2 - 0)*y. Solve a = -2*a + p for a.
4
Suppose q + 3*w = 3, -5*q + 15 = w - 5*w. Suppose -u + 14 - 6 = -z, -4*z - 4 = q*u. Suppose 2*s + 6 = -u*t, 2*s - 4*t = 11 + 7. Solve 5*c + 18 = s for c.
-3
Let n = 1107 + -1103. Solve 60 = -n*w + 16*w for w.
5
Suppose 6*s - s - 2*k = 35, 5*k = -4*s - 5. Suppose s*r - r = 0. Suppose -g = 3*a + 2, 8 = -a - 4*g - r*g. Solve a = -4*f + 21 - 1 for f.
5
Let s(c) = -c + 3. Let j be s(1). Suppose 0 = 3*m + j*w - 50, 4*m + 5*w + 11 - 66 = 0. Solve 3*a + m = -a for a.
-5
Let p(x) be the second derivative of -x**4/12 - 5*x**3/6 - x**2 + 15*x. Suppose -5*w = 3*k + 27, 3*k = 4*w - 2*w - 6. Let o be p(k). Solve -o + 17 = -3*b for b.
-5
Let q(p) = -p**3 + 3*p**2 - 3. Let t be q(3). Let k be ((-5)/(-10))/(t/(-6)). Let x be 3*((-2)/k - -3). Solve x*u - 2 = 7 for u.
3
Suppose 21 = 4*w + 5*z, -w = z - 5*z. Let q be (24/w)/((-6)/(-4)). Let k = 40 + -28. Solve -q*r + r - k = 0 for r.
-4
Let v(g) = g**3 - g**2 - 2. Let p(t) = 2*t**3. Let c be p(1). Let a be v(c). Let s be (-33)/18*-3*a. Solve -3*w + s = 5 for w.
2
Let q(y) = 2*y**2 + 12*y + 4. Let m be 2/(-4)*(-2 + 6). Let i be (-12 - -3)*m/(-3). Let l be q(i). Solve f = -l*f for f.
0
Let f be 56/(-8)*(-1 + 0). Let y(n) = 2*n - 18. Let z be y(f). Let d = 6 + z. Solve -i + 4 = -d*i for i.
-4
Suppose 0 = -17*m + 21*m - 44. Solve 3*r + 5 = m for r.
2
Let t be (-17)/(-68) + 6/8 + -1. Suppose 12*d + 0 + t = 0. Let f = -2 + 2. Solve f = -d*u + u - 1 for u.
1
Let v(o) = -5*o - 39. Let f be v(-8). Solve 0*b + f = b for b.
1
Let b be 1/(-2)*(0 - 4). Let o(s) = -12*s - 13. Let x(w) = -3*w - 3. Let c(h) = -2*o(h) + 9*x(h). Let i be c(-2). Solve -3*z = -b + i for z.
-1
Let r = 28 - 84. Let w be ((-6)/(-16))/((-7)/r). Let z be 29/9 - 2/9. Solve z*j - w = 9 for j.
4
Let j be -3 - (-9 - (3 - 2)). Let h = j - 6. Let g be h*(-2 + 0)/(-1). Solve -g*d - 12 = -6*d for d.
3
Suppose 0 = 12*i - 9*i - 9. Let z be 10*(i + (-10)/4). Solve -3*w = -z + 2 for w.
1
Suppose 0 = 5*h + 4*g - 60, h + 2*h = -5*g + 49. Let u = h - 6. Suppose -4*n = -4*a + 16, 2*n - 4 = a - 3*a. Solve a - u = -c for c.
-1
Let g be (-6)/8*(-8)/3. Suppose -4 = -2*k + g. Solve -2*y + k + 5 = 0 for y.
4
Suppose 131 = 3*d - 34. Let j = d + -46. Suppose w = 4*w. Solve w = 3*o + j + 3 for o.
-4
Let s be 12/9 + (-168)/(-9). Suppose s = 9*o - 7. Solve 7*t = o*t - 4 for t.
-1
Let a(g) = -g**2 + 2*g + 26. Let o be a(7). Let y be 3/(o/6) - -5. Solve y*s = -0*s + 15 for s.
5
Let c = -166 + 169. Solve -4 - 2 = -c*o for o.
2
Let i be ((-54)/(-15))/(2/5). Suppose -10*r - i = -13*r. Solve 0 = 2*c + 11 - r for c.
-4
Let j = -681 - -729. Solve -44*v = -j*v for v.
0
Let d be 0/((2/3)/((-2)/3)). Let p = d + 3. Solve -p*b = -5*b - 10 for b.
-5
Let c(z) = z**2 - 6*z - 7. Let o be c(7). Suppose 0 = -5*n - o*t - 2*t + 24, -5*t = -3*n + 2. Let q be ((-26)/(-7) - 1) + 4/14. Solve 0 = -q*f - f - n for f.
-1
Let z be (23 - 18)*(-4)/(-10). Let w be (-3 - 1 - -1) + 3. Suppose 3*f + 2*f = w. Solve -z*b + 6 + 4 = f for b.
5
Let l = 1816 - 1813. Solve 18 - 12 = l*i for i.
2
Let t = 42 - 37. Let j(n) = n**2 + 6*n + 2. Let v be j(-6). Solve -v*i + t*i = -9 for i.
-3
Let n(x) = -11*x - 19. Suppose 7 = -5*z + 3*p, -5 = 2*z - 0*z + p. Let w be n(z). Solve w*j - 1 = 4*j for j.
-1
Let a be 2/7 + (-7 - 1097/(-7)). Solve -154*b = -a*b for b.
0
Let l = -16 - -14. Let w be (-2 - l)/(6/(-6)). Solve -1 + w = -u for u.
1
Let k(w) = w**3 - 3*w**2 - 5*w + 6. Let l be k(4). Suppose 32*c - l = 31*c. Solve c*t - 2 = -8 for t.
-3
Let d = 41 + -41. Suppose 3*u + 0 - 18 = d. Solve -4 = -5*j + u for j.
2
Let h = 162 + -152. Suppose m + h = 6*m. Solve -m*n = 3*n for n.
0
Suppose -5*g = 13 - 28, 18 = 3*d + 4*g. Solve -9*n = -7 - d for n.
1
Let t be (-123)/(-861) - (-34)/28*4. Solve -x = t - 9 for x.
4
Suppose 4*c = -5*x + 16, -1 = 4*x + 15. Solve -6 = l - c for l.
3
Suppose 2*j + 133 = -33. Let z = j - -84. Solve z = p + 3 for p.
-2
Let v(t) = 12*t + 1. Let a be v(2). Let r(j) = 2*j + 7. Let g be r(-2). Let n = 11 - 11. Solve -2*q - g*q - a = n for q.
-5
Let n = 1933 + -1903. Solve -25 = -l - n for l.
-5
Let b be -1 - -1 - -6 - 0. Let q = -150 - -158. Let k = q - b. Solve 2*w + k*w = 16 for w.
4
Let x(f) = f**2 + 8*f + 17. Suppose -3*c + 22 = -5*t - 2*c, 22 = -3*t + 5*c. Let j be x(t). Solve -2*y = -j - 3 for y.
2
Suppose -5*h - 308 = -4*g, -g + 5*h = 3*h - 80. Suppose x + 3*x = g. Let a be (2/(-6))/((-2)/x). Solve -c - 12 = a*c for c.
-3
Let a = -26 + 39. Suppose 5*j = a + 7. Suppose -4*i = 4*y - 28, 5*y + 2*i - 14 = j*i. Solve 3*b - y = 2 for b.
2
Let z(h) be the first derivative of -h**4/4 + 7*h**3 - 21*h**2/2 + 23*h + 7. Let u be z(20). Let q be (1 - 4)/u*-4. Solve 17 = -q*a + 5 for a.
-3
Let w(k) = -k**2 + 5*k - 2. Let m be w(3). Let n = -83 - -85. Suppose -n*z + 3 = 2*d - 19, -3*d + 3*z = -9. Solve -d = m*s + 9 for s.
-4
Suppose j + 56 = 5*z, -z + 2*z - 5*j + 8 = 0. Let a be (5/(-4))/((-3)/z). Let k = 27 + -27. Solve -a*f = 5 - k for f.
-1
Suppose -4*d + 5*c + 3 = 0, 3*d - c - 5 = -0. Let w be ((-6)/(-4))/((-1)/(-2)). Suppose w*z = 9 + 6. Solve 11 = d*h + z for h.
3
Suppose -p - 5 - 28 = 0. Let o = p + 38. Solve o*u = -6 - 4 for u.
-2
Let i = -622 + 625. Solve 0 = 9*v - 12*v + i for v.
1
Suppose -35 = -12*f + 5*f. Let z(h) = h + 8. Let v be z(-7). Let y(o) = -2*o - 2. Let c be y(-3). Solve -c*g + v = -f*g for g.
-1
Suppose 308*t = 271*t + 148. Solve -6 = -t*z - 2 for z.
1
Let s = -57 + 59. Suppose 0 = z + 3*m, -s*m + 0 = 4. Solve 3*k - 18 + z = 0 for k.
4
Let v(z) = -5*z**2 + 31*z - 26. Let g be v(5). Solve 0 = 5*u + g*u - u for u.
0
Suppose -i = 4*f - 16, i + 3*f - 23 = 3*i. Let z be 855/165 - i/(-22). Solve -b + 2 = z for b.
-3
Suppose 4 = z, -6*m - 4*z + 216 = -2*m. Suppose -3*t = 5*s - 2*t - 2404, 5*s + 2*t - 2408 = 0. Let o be s/m + (-4)/(-10). Solve -o = -0*a - 2*a for a.
5
Let v = -48 + 33. Let c = -13 - v. Solve -3*u - 17 = -c for u.
-5
Let n = -1092 + 1095. Solve 0 = n*w - w - 2 for w.
1
Let x be (7*1)/((-9)/(72/(-8))). Solve 4 = x*y - 3*y for y.
1
Let d(b) = b - 12. Let z be (2/(-6))/(((-48)/234)/8). Let a be d(z). Solve -5*s - a = -11 for s.
2
Let l = 64 + -59. Suppose 4*s - 4*f + 0*f - 16 = 0, 0 = l*s - 3*f - 16. Solve 4*b - s = -14 for b.
-3
Let g(l) = 6*l**2 + 5*l. Let y be g(-5). Let x = -123 + y. Solve x = o + 7 for o.
-5
Suppose 2*d = n + 3*n, 2*d + n = 0. Solve 7*s - 8*s = d for s.
0
Let c(t) be the first derivative of -t**2/2 - 2*t + 4. Let b be c(-6). Suppose -9*y + 7*y = -b. Solve -y*r + 3*r = 0 for r.
0
Let o(x) = -x**3 + 5*x**2 + 8*x - 8. Let g be o(6). Suppose 4*s = -3*s + 98. Let p = 18 - s. Solve -g = 2*z + p for z.
-4
Suppose -3*w = b - 15 + 8, -2*w + 1 = -3*b. Solve -7 = -8*d + b for d.
1
Let p(n) = -6*n**3 - n**2 - 2. Let j be p(-2). Suppose 3*g - g = 3*a + j, 16 = -4*a. Suppose -4*o = 5*b - 9 + 34, -o = 3*b + g. Solve -4*s + o*s + 4 = 0 for s.
1
Let w be 1*-3 - 24/(-4). Suppose -2*y = -3*d - 4, -2*y = -3*d + w*y - 19. Solve b = d - 0 for b.
2
Let z be (-1 + -2)*(-28)/3. Let k(f) = 14*f + 90. Let s be k(-7). Let r be (32/z)/(s/(-28)). Solve -d + r = -3*d for d.
-2
Let f(z) = z - 2. Let j be f(-3). Let c be (j + 1 - 0)/(-1). Solve 0 = -c*g + 6 + 2 for g.
2
Suppose 0 = 31*d - 3*d - 1428. Solve k = d - 48 for k.
3
Suppose -302*j + 296*j = -30. Solve 5*y + 20 + j = 0 for y.
-5
Let h be ((-182)/(-28))/