 = -3*d - o - 7 for d.
-3
Suppose 2*n = 1971 - 1929. Solve -18*g + n*g = 3 for g.
1
Let v = -6 + 6. Suppose y - 5 + v = -5*j, 2*y - 10 = j. Suppose 0 = 2*p + 12 - 16. Solve -2*g + p = -j*g for g.
1
Let v = 9 + -7. Suppose -f + 6 = v*f. Suppose -f*y + 6 = -6. Solve 0 = -y*t + 4*t + 2 for t.
1
Suppose 3*s + 5*h = 12 - 8, 15 = 4*s - 3*h. Solve s*c = 4*c for c.
0
Let t = -978 - -982. Solve -k = t*k for k.
0
Suppose 3*t - l = 14, -t - 9 - 8 = 4*l. Suppose -t*y + 2*w + 32 = -2*w, 5*y = 2*w + 30. Solve 0*x = -y*x - 8 for x.
-2
Let r = -33 - 1. Let s be (-5)/(-30) + r/(-12). Let y be (2/s)/(3/27). Solve -2*a + 0 = -y for a.
3
Let u(o) be the third derivative of o**4/12 - 29*o**3/3 + 21*o**2. Let w be u(29). Solve 0 = -5*y + 10 - w for y.
2
Let d = -38 + 38. Solve t + 2*t = d for t.
0
Suppose 0 = -5*b + 3*v + 35, b - 5*v + 5 = -10. Let k be (-3)/(18/(-4)) + (-98)/(-42). Solve -k*p + p - b = 0 for p.
-5
Let i(h) = -5*h - 2. Let z be i(-2). Let v be 2/z*-14*-4. Solve -6 - v = -4*g for g.
5
Suppose 0 = -i - 3*g + 46 + 19, 3*i = -3*g + 177. Suppose -4*h + 3*t - t + 40 = 0, 0 = 3*h + 5*t - i. Suppose -h = -8*z + 4*z. Solve -12 = -0*x - z*x for x.
4
Suppose -3*n = j - 3, 4*j + 2*n + 1 = 3*n. Let y be j - -2 - -3 - 1. Suppose -5*h + 10 = -y*w + 2*w, -2 = -3*w - h. Solve w - 1 = -v for v.
1
Let m be (13/3)/((-3)/(-9)). Let t = 9 - m. Let l be 3 - -1 - (-4 - t). Solve -l*f + 2*f = 6 for f.
-3
Let a = 443 - 441. Solve 0 = i + a - 0 for i.
-2
Let w(b) = 64*b**2 + b - 1. Let a be w(-1). Let p = a - 57. Solve -2*q + p*q + 9 = 0 for q.
-3
Let s(i) = -2*i + 2. Let t be s(2). Let a be (-8)/(0 - (-4)/t). Suppose a*d = -0*d + 12. Solve 6*v = 3*v + d for v.
1
Let h = 138 - 133. Suppose 1 = -q - 4*x + 22, -4*x = h*q - 41. Solve 3 = q*w + 8 for w.
-1
Let n be 5/1 - -10*8/(-16). Solve 3*h = -n - 6 for h.
-2
Let p = -24 + 114. Suppose -5*z + p = 2*s + 2*s, -44 = -2*s - 2*z. Let n = -19 + s. Solve 2*y = -n - 3 for y.
-2
Suppose 44*q - 39*q - 10 = 0. Suppose -5*f = 5*p - q - 18, -10 = -2*f - 3*p. Solve f*y = 7*y + 10 for y.
-2
Suppose z = 2*z + 4, -4*q + 2*z + 20 = 0. Solve -q = -2*c - 7 for c.
-2
Let a(u) = 12*u**2 + 12*u. Let w be a(-3). Solve w = -16*r - 2*r for r.
-4
Let i = 25 - 18. Let n be (-2 + 3)*i + 2. Suppose -z - 8*x + 4*x = 6, 5*z + x - 8 = 0. Solve z*f = -f - n for f.
-3
Let p = -2 + -2. Let z be p + 1 + (-3 - -6). Suppose -5*u + 7*u - 8 = z. Solve -13 = -u*s + 3 for s.
4
Let s be (63/105)/((-2)/(-10)). Suppose 3*t - 5*m = 2, s*t - 3 = m + 7. Solve -t*q - 30 = -10 for q.
-5
Let y(u) = -u - 21. Let g(l) = 26. Let w(c) = 4*g(c) + 5*y(c). Suppose -x + k - 4 = 2, -2*x - 7 = -k. Let i be w(x). Solve 2 = 3*r - i for r.
2
Let f(r) = r**3 - r**2 - r - 2. Let z be f(2). Suppose q - 2 - 2 = z. Suppose -q*y - 16 = 0, o + 3 = -y - 0. Solve h - 1 = o for h.
2
Let p(r) = -r**3 - 10*r**2 + r + 7. Let i be p(-10). Let f be ((-2)/(-1) - 3) + -1. Let v = f - i. Solve -5 = -2*d + v for d.
3
Let m = 1289 + -1270. Solve -8*i - m = 13 for i.
-4
Suppose -108 = -12*y + 132. Suppose y*s + 15 = 25*s. Solve -6 = s*c - c for c.
-3
Suppose 3*v = 2*v + 2. Suppose -18*y - 17*y - 16 + 51 = 0. Solve -1 - y = -v*n for n.
1
Let s(r) = -r**3 + 13*r**2 + 18*r - 16. Let c be s(14). Let a = c + -40. Solve 4*v + v = a for v.
0
Let x = -138 + 141. Suppose -2*m + 5*c = 15, 3*m = -c + x - 0. Solve m = -3*s - 3 for s.
-1
Let g = 341 - 338. Solve -g = 2*x - 5*x for x.
1
Let h be (1 - -4) + 2/(-2). Let u be (3/h)/((-3)/(-8)). Suppose -5*r + v + 10 = -0*v, -r - u*v = -2. Solve -r*f = -5*f - 15 for f.
-5
Let x = -943 + 944. Solve 6*c - x = 7*c for c.
-1
Let d(y) = -y**3 + 15*y**2 + 17*y - 14. Let i be d(16). Suppose -5*m - 2 = u + 3, -u - 2*m + 1 = 0. Solve -q = -u + i for q.
3
Let t = 1589 + -1576. Solve t*n - 36 = 4*n for n.
4
Let x(m) be the third derivative of m**5/60 + m**4/8 + m**3/3 - m**2. Let h = -386 + 383. Let w be x(h). Solve -w*y - 7 = -1 for y.
-3
Suppose 2*y + a - 9 = -10, -4*y = -5*a - 5. Solve 36*k - 47*k + 55 = y for k.
5
Let k be (1 + (-3)/6)*50. Suppose u + s - 1 = 6, 0 = 2*s - 6. Suppose u*l = -l + k. Solve -l*n - 3 = 2 for n.
-1
Suppose 0 = o - 4*p - 2, o = -2*o + p + 6. Suppose -2*a = o*a. Let b = 43 - 31. Solve -4*t = -a*t - b for t.
3
Let x = 4 - -2. Let l(b) = b + 3. Let v be l(x). Suppose 0 + v = 2*z + 3*i, -i + 3 = 4*z. Solve z*j = 3*j - 15 for j.
5
Suppose -r + 7 = -5*t + 11, 0 = -4*t - 3*r - 12. Solve t = 4*q - 3*q + 1 for q.
-1
Suppose 3*f = 1 + 8. Let d be (-3)/(2 - (f - 0)). Solve -d*n + 10 = -n for n.
5
Let k(d) = -3*d + 6. Let q(y) = y. Let n(p) = -k(p) - q(p). Let v be n(4). Suppose 0*g + v*g = 6. Solve w + g*w = 12 for w.
3
Let c(s) = -s**2 - 2*s + 2. Let t be c(-2). Let z be (-20)/(-9) - 22/99. Solve -8 - z = t*a for a.
-5
Let s be (-87)/4 + ((-10)/8 - -1). Let m = s - -25. Solve -2*j + m + 7 = 0 for j.
5
Let q = -1 - -22. Solve 17 = 2*k + q for k.
-2
Let p = 112 - 109. Solve 0 = p*v + 1 - 4 for v.
1
Let d = 2868 + -2794. Solve d = i + 78 for i.
-4
Suppose 3*w - 90 = -2*w. Suppose 0 = 14*n - w*n + 16. Solve -f - n = 1 for f.
-5
Suppose -19*g - 25 = -120. Solve -2*b = -g - 5 for b.
5
Let h = 2 + 2. Suppose 4*k - 3*w + 34 = -8*w, h*k = 2*w - 48. Let v = -8 - k. Solve -j = v*j for j.
0
Suppose 17*v = 23*v - 96. Solve 0 = 12*c - 4*c + v for c.
-2
Let k(x) = -6*x**2 - 2*x - 8. Let c(s) = -s**2 + s. Let o(m) = -5*c(m) + k(m). Let d be o(-6). Let w be (d/(-1) - -2) + 1. Solve w*n = n for n.
0
Let k = -76 + 88. Suppose 0 = 2*j + 8 - k. Solve 0 = -2*l + j for l.
1
Suppose 191 - 11 = 4*o. Let x = o + -43. Solve -2*d = x*d - 20 for d.
5
Let b = 34 + -32. Suppose n - 8 = -g - b*n, 2*n + 108 = 5*g. Solve 2*u = 7*u + g for u.
-4
Let j = 144 - 144. Suppose j = m - 0 - 9. Solve 6 = 5*c - m for c.
3
Let c be 1 + (-1)/1 + 4. Let s be (14/4)/(1 + (-5)/10). Solve -c = o - s for o.
3
Suppose -3*x = -4*f - 3 + 31, -5*f = 3*x - 35. Suppose 0 = 2*u + 2*u - 8. Solve -u*b - 3 = f for b.
-5
Let f(a) = -a + 68. Let x be f(58). Solve 0 = -6*z + 14 + x for z.
4
Suppose 0 = m - 6*m + 15. Let h be 744/(-31)*(-1 - (-5)/3). Let g be 1*-20*h/40. Solve -m*z = z + g for z.
-2
Let y be (-40)/(-15) + 2415/63. Solve y = -3*j + 53 for j.
4
Let o be 0/(1 + 0/1). Suppose o = -3*p + 5 + 1. Solve -2 = -0*a + p*a for a.
-1
Suppose 1 + 7 = 8*m. Let z = m - 1. Solve z = 4*a + 1 - 13 for a.
3
Let o(c) = c**3 + 21*c**2 + 19*c - 14. Let g be o(-20). Solve -g*t + 17 - 5 = 0 for t.
2
Let c = -15 + 22. Suppose u - c = -o, u = 5*o - u. Solve 0 = 2*n + o*n for n.
0
Let c be (3/(-2))/((-174)/(-96) - 2). Solve -x = x - c for x.
4
Suppose 0 = -85*i + 82*i + 27. Solve -4*u + 7*u + i = 0 for u.
-3
Suppose -r + 131 = 4*g, 0 = 6*r - 8*r + 2*g + 272. Let o = 141 - r. Solve -2*v = o - 8 for v.
1
Let v = -20 - -13. Let t(w) = w**3 + 8*w**2 + 9*w + 8. Let q be t(v). Let l be (-9)/6 - 9/q. Solve l - 10 = 5*u for u.
-2
Let x(g) be the second derivative of -g**5/20 - 2*g**4 - 23*g**3/6 + 5*g**2/2 - 5*g. Let s be x(-23). Solve 2*p - s = -1 for p.
2
Let f(o) = -o + 8. Let m be f(6). Let i = m - 6. Let n = 8 + i. Solve 0 = -n*k + 4 for k.
1
Let r = -13 + 18. Suppose j + 5*u - 55 = 4*j, r*j + 2*u = -71. Let d be 3/1*(-100)/j. Solve -k = -6*k - d for k.
-4
Let h be (4/14)/((-2)/(-14)). Let u(j) = -j**2 + 20*j - 94. Let d be u(9). Solve -h*m - 5 = d for m.
-5
Suppose 23 = 5*a + 3*s - 34, a = -4*s + 8. Solve -a*p = -9*p for p.
0
Let b(z) = z**2 + 10*z + 29. Let p be b(-4). Solve -g = 10 - p for g.
-5
Let x be (4 - 4) + 0 + -5. Let l(c) = -c**3 - 7*c**2 - 12*c - 8. Let h be l(x). Solve 0 = -u - 3 - h for u.
-5
Suppose t + 3*t = -2*h + 6, 9 = -4*t + 3*h. Suppose -2*o = -3*x + 51, t*o - 4*x = -2*o - 54. Let i = 22 + o. Solve -q = -3 - i for q.
4
Suppose 0 = 40*f - 248 - 312. Solve 6 + f = 4*w for w.
5
Let g be 11*16*5/220. Solve -g = 10*w - 11*w for w.
4
Suppose n + q = 0, -3*q = -3*n - q. Suppose n = -3*o + 6, 3*o + 0*o = -5*k + 16. Suppose -5*i - y + 5 = -8, -3*y - 12 = -k*i. Solve -i*b = -0*b - 15 for b.
5
Let u = -1420 + 1568. Solve 153*o = u*o - 10 for o.
-2
Let a = -227 + 227. Solve a + 3 = -d for d.
-3
Let h be (-1)/(-2) - (0 + (-133)/14). Let o = 14 - h. Let p(w) = -6*w - 4. Let k be p(-4). Solve -k = -0*m - o*m for m.
5
Let q = 26 + -21. Let w = 1 + q. Solve 0*j + 2*j + w = 0 for j.
-3
Let u be -7 + 17 + 100/5. Solve 9*x = -15 - u for x.