lve m*n + 4 - 7 = 0 for n.
1
Let o = -352 - -380. Solve 13*h = 6*h - o for h.
-4
Let h = 34 + -29. Let f = 12 + -7. Suppose f*v + 0*v - 15 = 4*m, -2*m - 4*v = -12. Solve -3*b + 8*b + h = m for b.
-1
Let a = -536 - -549. Solve 18 - a = -5*v for v.
-1
Suppose -14*m + 8*m = -30. Solve -2*h + h + m = 0 for h.
5
Suppose -128 = 43*h - 59*h. Solve -8*f + 10*f = -h for f.
-4
Let a(c) = -c**3 + 13*c**2 + 3*c - 33. Let h(v) = v + 6. Let u be h(7). Let n be a(u). Solve 0 = -5*s + 9 + n for s.
3
Let t(s) be the second derivative of s**4/12 - 4*s**3/3 - 19*s**2/2 - s. Let y be t(10). Solve 0*x + x - y = 0 for x.
1
Let b(z) be the second derivative of z**4/12 + 4*z**3/3 - 9*z**2/2 - z. Suppose 4*v = 4*d - 56, 2*d - d = 5. Let u be b(v). Solve -l - 2*l = u for l.
0
Let o(p) = -2*p - 6. Suppose y + 2*y = -12. Let h be o(y). Let i(u) = u**2 - 3*u - 24. Let v be i(7). Solve v*g + h = 6*g for g.
1
Let w(q) = -21*q - 193. Let y be w(-10). Solve 0 = y*s - 22*s + 25 for s.
5
Let i be (66/(-55))/(4/10). Suppose 3*p + 8 = -19. Let d be 10 - (-12)/p*i. Solve d = 4*r + 2 for r.
3
Suppose 5*q - 5*g = 440, 4*q - 5*g = 492 - 135. Let s = -83 + q. Solve 0 = -s*k - 3*k for k.
0
Suppose 4*o + 9*j - 5*j - 44 = 0, 3*o - 4*j = 5. Solve 0 = -o*p - 14 + 49 for p.
5
Let s be (2 + -3 + -4)*(-1 - 0). Solve s = -q + 6 for q.
1
Suppose -2*x - 3*n + 18 = -n, -3*x + n = -7. Let p be (-3)/(13/x + -4). Suppose p*c - 3 = -s, -c + 0*c = 0. Solve 3*h = 15 - s for h.
4
Suppose 4*u + 5 = -u + 4*j, 5*u - 2*j = 5. Suppose l - 2*l = -3*c + 2, c - 4*l + 14 = 0. Solve u*x - 25 = -c*x for x.
5
Let t = -8 + 12. Let u be ((-3)/(-2))/(t/(-24)). Let s be 16/2 - u/(-3). Solve -p - 16 = -s*p for p.
4
Let t be 0/(-11) + 154/2. Let s = t - 50. Let d = -17 + s. Solve -6*w + 4*w + d = 0 for w.
5
Suppose 12 + 0 = 6*x. Solve 0*k + x*k = -10 for k.
-5
Suppose 3*t = -3*i + t + 6, 4*i + 3*t = 8. Let h = -7 + 10. Suppose -3*k = h*y - 12, 5*y = -3*k + k + 17. Solve i*a - y*a + 1 = 0 for a.
1
Suppose -55 = -2*k - 3*j, 2*k + 2*j = 223 - 173. Solve k = -5*m - 5 for m.
-5
Let y = -4 + 10. Suppose -13 = -f - y. Suppose f = c + 2. Solve 8*v - c*v + 12 = 0 for v.
-4
Let u be (-6 - -2) + 42 + -1. Suppose u - 30 = 7*h. Solve -h + 9 = -4*o for o.
-2
Suppose -22*k = -2574 - 1276. Solve 176*y + 3 = k*y for y.
-3
Let n(l) = -l + 15. Let p = 40 + -25. Let g be n(p). Solve g = -0*s - 2*s for s.
0
Suppose 24*g = 59*g - 5530. Solve 159*k - g*k + 5 = 0 for k.
-5
Let n(s) = -2*s - 12. Let i(g) = -g - 31. Let a(b) = 30. Let v(k) = -4*a(k) - 5*i(k). Let h(x) = 8*n(x) + 3*v(x). Let z be h(6). Solve -5*t = z + 7 for t.
-2
Suppose 0 = 5*y - 8 - 47. Suppose p + 0*p + 5 = 0, -2*o - 3*p - y = 0. Solve 3*v + o*v + 15 = 0 for v.
-3
Suppose 3*k - 50 = o, 1 = o - 0*o. Suppose -38*t - 5 = -39*t. Solve -t*y - 8 = k for y.
-5
Suppose -5*a + 14 + 6 = 0. Let w be 9/11 - a/(-22). Solve 0 = -2*k - 3 + w for k.
-1
Suppose 0*v = 2*w - v - 34, 5*w = -v + 71. Let n = -14 + w. Let r be (-282)/(-14) + n/(-7). Solve s = -3*s + r for s.
5
Suppose 0 = 2*p - 72 + 294. Let d = -107 - p. Solve -2*r + 10 = -d*r for r.
-5
Suppose -3*l = 12*l. Solve -12 = 3*m - l*m for m.
-4
Suppose a - 3 = 4*w, w - a = a + 8. Let f be 448/72 - w/(-9). Let k be (2/1)/(-2) - -5. Solve -5*q + k = -f for q.
2
Let h = -332 - -335. Solve -h*p - 113 + 110 = 0 for p.
-1
Let k(u) = 3*u + 40567 - 40567. Suppose 4*t + 0*t = 4. Let w be k(t). Solve 5*h - 2 = w*h for h.
1
Let g be -4*3/8*-2. Let c(n) = n - 137 + 137. Let j be c(g). Solve 0 = -5*y + j*y - 6 for y.
-3
Let w be 2/(6/9) - 3. Let d be (-3 - -1) + 7 + -5. Suppose -3*p + 2*p + 1 = d. Solve -t = -p - w for t.
1
Suppose -5*i + 15 - 40 = 0. Let b be (-5 - 8/(-2))*i. Solve 3*r = 1 + b for r.
2
Suppose 3*m - 2*p = 7, 3*p + 2*p - 20 = 0. Solve 2*a = -1 + m for a.
2
Let d be (1 + 11)*(-2)/(-3). Suppose -5*p + 7 = -d. Suppose 14 = 6*x - 4*x. Solve x = p*t + 16 for t.
-3
Suppose -4*r - 5*c = -2, 4*c = 2*r - 0*c - 14. Suppose -5*k + 4*a = -49 - 57, -50 = -r*k - a. Solve 5*j + 3 = k for j.
3
Let b be -4 + 1/(3/6). Let r be b + 1 + 1 + 2. Solve -w - r*w = -12 for w.
4
Let f = 18 + -28. Let c be 4/f + 14/10. Suppose -o = 3*w - 10, -5*w - c = -3*o + 1. Solve -1 + o = -h for h.
-3
Let w be (3/(-7))/((-1)/7). Suppose -w*s - 5*m + 20 = 0, 2*m - 10 = -3*s + 7. Solve -3*c = -4*c + s for c.
5
Let n be 4 - 0/(2 + 0/2). Solve -2*u + n*u = 0 for u.
0
Let p be ((-20)/(-30))/(1/216). Let d be (2/(-6))/((-8)/p). Solve -d = 3*s - s for s.
-3
Let c be (-14 - -6)*6/(-8). Let u be (-13 + 6 + 7)/1. Solve u = r + r + c for r.
-3
Suppose 0 = -4*a + 3*a, 30 = 5*x + 5*a. Solve 5 = x*u - 7*u for u.
-5
Let i = -68 + 70. Let z be -24*5/10*i/(-4). Solve 4*r = -10 - z for r.
-4
Suppose -w - 2*w + 15 = 0. Suppose 0 = s + w*k - 31, 3*k - 8 = 7. Suppose 61*m = 55*m + 18. Solve -s - 9 = -m*r for r.
5
Let g(f) = f**3 - 16*f**2 + 2*f - 28. Let j be g(16). Suppose j*v + 0 = 12. Solve -v - 1 = w for w.
-4
Suppose 4*j - 4*o = 56, 3*j + o = 2 + 32. Suppose 17*t - 20 = j*t. Solve t = -r - r for r.
-2
Let c be 8/(-32) + 18/8. Suppose -c*i - 3*j - 2 = 2*j, -14 = 4*i + 5*j. Let b(u) = -u - 6. Let l be b(i). Solve 0 = -2*x - 2 - l for x.
-1
Let z be (-4)/14 + (-312)/(-14). Let r(p) = p**3 + 8*p**2 - 11*p - 20. Let x be r(-9). Let b = z + x. Solve -b = 5*y - y for y.
-5
Let w be 8/6*33/22. Suppose -x = w*x - 12. Suppose 3*u + u = 5*v - 37, v + 3*u = -x. Solve v*z = 5 - 0 for z.
1
Let o(y) = -13*y**3 + y**2 - y. Let m be o(1). Let q be (9 - -1)/(22/6 - 3). Let j = q + m. Solve 4 = j*f - 0 for f.
2
Suppose 3*l - 18 = -3*c, 32 = l + l - 2*c. Solve 0 = -5*r + l + 4 for r.
3
Let r(k) = 2*k**2 + 3*k + 5. Let m be r(-2). Suppose -4*w + 13 = -m. Suppose -w + 1 = -u. Solve b + 6 = u*b for b.
2
Let k(i) = 8*i. Let w be k(2). Let f be -2 - (57/(-9) + w/12). Solve -p = f*p + 12 for p.
-3
Let m = -29 - -9. Let j = m - -30. Solve -2*y = -7*y - j for y.
-2
Let q be (-1 - -1)/(-20*(-21)/84). Solve 15*h + 60 = -q*h for h.
-4
Let i = 344 - 339. Solve -i - 7 = 4*c for c.
-3
Let p be ((-4)/(-3))/((-11)/(-165)). Suppose -5*i + 20 = 5. Solve 2*o + i*o = -p for o.
-4
Let a = 276 - 273. Solve a = 2*u - 1 for u.
2
Suppose 4 = t + 2. Let g = 0 + t. Suppose -30 = -2*y - g*c + 10, 0 = 5*c. Solve y = -7*l + 2*l for l.
-4
Suppose 65*n - 77*n = 0. Solve n = 3*q - 7*q for q.
0
Let c = -83 + 83. Let s be -4*(46/(-8) + 3 + c). Let d(o) = 2*o**2 + 3*o + 3. Let w be d(-2). Solve 0 = 4*n - w - s for n.
4
Let t(n) = -2*n + 3*n - 2*n - 14 - 2*n. Let k be t(-6). Let q = -75 - -85. Solve -2*p + k*p - q = 0 for p.
5
Let l(u) = -u**3 - 5*u**2 - u - 4. Let i be l(-5). Let g = i - 0. Let v = -97 - -99. Solve g + 1 = v*o for o.
1
Let i = -82 - -86. Solve i*j - 3*j - 4 = 0 for j.
4
Suppose -2*r + 14 = 4. Let w(s) = s**3 + 6*s**2 - 9*s + 2. Let l be w(-7). Let t be (6/4)/(8/l). Solve -t*q = 2 - r for q.
1
Suppose -66*r = -74*r + 8. Solve -5*t + r = -14 for t.
3
Let f be (-60)/(-21)*(-7)/(-2). Suppose -3*n - f + 16 = 0. Solve 9 + 1 = n*z for z.
5
Let f(u) = 2*u - 22. Let l be f(12). Let v be 2*-6*1/(-2). Solve -4*x - l - v = 0 for x.
-2
Suppose -4*k - 20 = -5*x, 3 = 3*x - 5*k - 22. Solve -63*u + 58*u + 15 = x for u.
3
Suppose 12 = -4*r - 4*x, 0 = r + 2*x - 13 + 19. Suppose -5*m = -3*d + 35, 3*m = -5*d - 2*m + 5. Solve r*t = d*t for t.
0
Let d(w) = 2*w**3 - w**2 - w + 1. Let z be d(0). Let n be (-1)/(z + (-3)/2). Solve n*p = -2*p for p.
0
Let u be (3/(-6))/((-1)/6). Let i(m) = -m + 19. Let x = 4 + 3. Let l be i(x). Solve l = u*q + q for q.
3
Let h = 8 + -4. Let b = -9 + 7. Let s be ((-4)/16)/(b/8). Solve h = -u + s for u.
-3
Let m be ((-3)/(-3))/(1/9). Suppose -60*l = -63*l - 2*f + 20, 3*l - 5*f = 13. Solve 0 = -3*z - m - l for z.
-5
Let f = 2517 - 2505. Solve 0 = -8*z + 13*z + f*z for z.
0
Suppose 2 + 0 = 4*q + 3*a, 0 = -5*q - 3*a + 4. Suppose -f - 2*u = 2*f + 10, q*f + u + 5 = 0. Suppose 0 = 3*d - f*d - 30. Solve -d = 5*l - 0 for l.
-2
Suppose 2*z + 25 = -5*a - 3*z, 21 = -3*a + 3*z. Let w = a - -8. Solve -6*v + w*v = 12 for v.
-3
Let d(v) = -50*v - 246. Let p be d(-5). Solve w - 7 = -p for w.
3
Let a(t) be the third derivative of 5/6*t**3 + 0 + 7*t**2 + 1/24*t**4 + 0*t. Let i be a(-2). Solve i - 9 = -3*k for k.
2
Suppose 0 = x - 3*r + 10 - 23, 0 = 7*x + 4*r - 66. Solve x*u - 17*u = 0 for u.
0
Let f be (1/(3/2))/(77/3927). Solve f*z =